Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем

Эндаумент фонд ТГУ!
Впиши своё имя в историю университета
- Сделать пожертвование -

Add to "Quick Collection"

Description	Size	Format
Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем	707 KB	Adobe Acrobat PDF	Read	Download

#троичное моделирование

#синхронная последовательностная схема

#ROBDD-графы

Title: Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем
Title: Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits
Creator: Голубева, Ольга Ивановна
Date: 2017
Description: Рассматривается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием функций переходов в состояния схемы. Функции переходов в состояния строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. Неточные методы троичного моделирования, как правило, требуют меньших вычислительных затрат. Тем не менее, использование неточных методов троичного моделирования, в общем случае, приводит к ухудшению качества решений различных задач. В работе рассматривается возможность использования результатов неточных методов троичного моделирования для сокращения вычислительных затрат точного троичного моделирования.

Relationships: Show Relationship Browser for this Object
collection(s): Факультет прикладной математики и кибернетики (до 01.09.2017 г.)
Identifier: смотреть в электронном каталоге НБ ТГУ
Type: статьи в журналах
Source: Таврический научный обозреватель. 2017. № 4, ч. 1. С. 136-146
Language: rus

Created: 20-10-2017

904 Visitors

705 Hits

207 Downloads

Факультет прикладной математики и кибернетики (до 01.09.2017 г.) Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем