Normal view
MARC view
Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций (Record no. 427955)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 03780nab a2200301 c 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000585497 |
005 - Дата корректировки | |
Контрольное поле | 20220829170916.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr | |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 171016|2017 ru s c rus d |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000585497 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
100 1# - Автор | |
Автор | Голубева, Ольга Ивановна |
9 (RLIN) | 69285 |
245 10 - Заглавие | |
Заглавие | Троичное моделирование синхронных схем с памятью на последовательностях произвольной длины, основанное на ROBDD представлении функций |
Ответственность | О. И. Голубева |
246 11 - Заглавие тома/части | |
Заглавие тома/части | Three-value simulation of sequential circuits on the input sequences of the arbitrary length, based on the ROBDD representation of functions |
504 ## - Библиография | |
Библиография | Библиогр.: 8 назв. |
520 3# - Аннотация | |
Аннотация | Предлагается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием ROBDD функций переходов в состояния схемы. Функции переходов в состояния схемы строятся путем перемножения функций переходов схемы или их инверсий в соответствии с кодами состояний. При построении ROBDD функций переходов-выходов схемы сначала выполняется разложение Шеннона по внутренним переменным, а затем по входным переменным схемы. Предложенный метод троичного моделирования позволяет выполнять точное троичное моделирование на входной последовательности произвольной длины, выполняя пошаговое троичное моделирование по полученным ROBDD. Данный метод является переложением на ROBDD представление функций ранее предложенного метода, основанного на ДНФ представлении функций. Показана возможность решения задач для последовательностных схем с использованием этого метода. Используя методы и свойства, описанные в данной статье, в дальнейших исследованиях планируется решить такие задачи как: построение последовательности, обеспечивающей переход в некоторое состояние из заданного множества, построение установочной последовательности и др. |
653 ## - Ключевые слова | |
Ключевые слова | троичное моделирование |
653 ## - Ключевые слова | |
Ключевые слова | синхронные схемы |
653 ## - Ключевые слова | |
Ключевые слова | последовательностные схемы |
653 ## - Ключевые слова | |
Ключевые слова | ROBDD-графы |
655 #4 - Термин индексирования — жанр/форма | |
Жанр/форма | статьи в журналах |
9 (RLIN) | 745982 |
773 0# - Источник информации | |
Название источника | Таврический научный обозреватель |
Место и дата издания | 2017 |
Прочая информация | № 3, ч. 1. С. 129-140 |
ISSN | 2412-9356 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
856 7# - Электронный адрес документа | |
URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000585497</a> |
908 ## - Параметр входа данных | |
Параметр входа данных | статья |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 427955 |
No items available.