Authors: Провкин, Виктор Алексеевич | Матросова, Анжела Юрьевна

Source: Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 128-138

Type: статьи в журналах

Date: 2022

Description: Рассматривается задача получения множества всех достижимых реакций комбинационной логической схемы. Предлагается алгоритм построения ROBDD-графа, представляющего все достижимые реакции схемы. Получаем ... More

Authors: Голубева, Ольга Ивановна

Source: Компьютерные науки и информационные технологии : материалы Международной научной конференции, 2-3 июля 2018 г., Саратов. Саратов, 2018. С. 112-114

Type: статьи в сборниках

Date: 2018

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

Authors: Голубева, Ольга Ивановна

Source: Таврический научный обозреватель. 2017. № 5. С. 208-220

Type: статьи в журналах

Date: 2017

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

Authors: Третьяков, Дмитрий Александрович | Останин, Сергей Александрович

Source: Материалы V Международной молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 19-20 мая 2017 г.. Томск, 2017. С. 8-10

Type: статьи в сборниках

Date: 2017