Троичное моделирование комбинационных схем с использованием ROBDD

В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позво...

Полное описание

Библиографическая информация
Опубликовано в: :Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов С. 112-114
Главный автор: Голубева, Ольга Ивановна
Формат: Статья в сборнике
Язык:Russian
Предметы:
Online-ссылка:http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651616
Перейти в каталог НБ ТГУ
Описание
Итог:В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет решить задачу за один сокращенный обход графа.
Библиография:Библиогр.: 5 назв.
ISBN:9785999930064