Normal view
MARC view
Троичное моделирование комбинационных схем с использованием ROBDD О. И. Голубева
Material type: ArticleSubject(s): троичное моделирование | ROBDD-графы | комбинационные схемы | булевы функцииGenre/Form: статьи в сборниках Online resources: Click here to access online In: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов С. 112-114Abstract: В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет решить задачу за один сокращенный обход графа.No physical items for this record
Библиогр.: 5 назв.
В работе рассматривается задача троичного моделированргя комбинационных схем. Она сводится к задаче вычисления значения интервального расширения булевой функции на интервале, представленном троичным вектором. Предлагается решение, основанное на представлении булевой функции ROBDD графом. Оно позволяет
решить задачу за один сокращенный обход графа.
There are no comments on this title.