TY  - GEN
AU  - Голубева,Ольга Ивановна
TI  - Троичное моделирование комбинационных схем с использованием ROBDD
KW  - троичное моделирование
KW  - ROBDD-графы
KW  - комбинационные схемы
KW  - булевы функции
KW  - статьи в сборниках
N1  - Библиогр.: 5 назв
N2  - В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет
решить задачу за один сокращенный обход графа
UR  - http://vital.lib.tsu.ru/vital/access/manager/Repository/vtls:000651616
ER  -