Normal view
MARC view
Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем (Record no. 428196)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 02894nab a2200289 c 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000587159 |
005 - Дата корректировки | |
Контрольное поле | 20230319211716.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr | |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 171020|2017 ru s c rus d |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000587159 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | RU-ToGU |
Код языка каталог. | rus |
Служба, преобразующая запись | RU-ToGU |
100 1# - Автор | |
Автор | Голубева, Ольга Ивановна |
9 (RLIN) | 69285 |
245 10 - Заглавие | |
Заглавие | Использование неточных результатов для сокращения вычислительных затрат точного троичного моделирования последовательностных схем |
Ответственность | О. И. Голубева |
246 11 - Заглавие тома/части | |
Заглавие тома/части | Using inexact results for the reduction of the computational costs of the exact three-value simulation of sequential circuits |
504 ## - Библиография | |
Библиография | Библиогр.: 7 назв. |
520 3# - Аннотация | |
Аннотация | Рассматривается метод точного троичного моделирования синхронных последовательностных схем, основанный на представлении функций в виде ROBDD графов. Моделирование выполняется с использованием функций переходов в состояния схемы. Функции переходов в состояния строятся путем перемножения функций переходов или их инверсий в соответствии с кодами состояний схемы. Неточные методы троичного моделирования, как правило, требуют меньших вычислительных затрат. Тем не менее, использование неточных методов троичного моделирования, в общем случае, приводит к ухудшению качества решений различных задач. В работе рассматривается возможность использования результатов неточных методов троичного моделирования для сокращения вычислительных затрат точного троичного моделирования. |
653 ## - Ключевые слова | |
Ключевые слова | троичное моделирование |
653 ## - Ключевые слова | |
Ключевые слова | синхронная последовательностная схема |
653 ## - Ключевые слова | |
Ключевые слова | ROBDD-графы |
655 #4 - Термин индексирования — жанр/форма | |
Жанр/форма | статьи в журналах |
9 (RLIN) | 879358 |
773 0# - Источник информации | |
Название источника | Таврический научный обозреватель |
Место и дата издания | 2017 |
Прочая информация | № 4, ч. 1. С. 136-146 |
ISSN | 2412-9356 |
852 4# - Местонахождение единицы хранения | |
Код организации-хранителя | RU-ToGU |
856 7# - Электронный адрес документа | |
URL | <a href="http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000587159">http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000587159</a> |
908 ## - Параметр входа данных | |
Параметр входа данных | статья |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 428196 |
No items available.