Для цитирования:
Новиков Д.Я., Черемисинова Л.Д. ВЕРИФИКАЦИЯ ФУНКЦИОНАЛЬНЫХ ОПИСАНИЙ С НЕОПРЕДЕЛЕННОСТЬЮ НА ОСНОВЕ ПАРАФАЗНОГО ПРЕДСТАВЛЕНИЯ БУЛЕВЫХ ФУНКЦИЙ. Информатика. 2010;(3(27)):54-62.
Просмотров: 180
Полноэкранный режим
Популярные статьи
Том 16, № 4 (2019)
Том 15, № 1 (2018)
Инструменты статьи
Послать статью по эл. почте (Необходимо имя пользователя (логин))
Связаться с автором (Необходимо имя пользователя (логин))
Послать статью по эл. почте (Необходимо имя пользователя (логин))
Связаться с автором (Необходимо имя пользователя (логин))
Об авторах
Облако тегов
VHDL
алгоритм
булева функция
верификация
глубокое обучение
двухсторонние граничные условия
дизъюнктивная нормальная форма
имитационное моделирование
классификация
математическая модель
математические модели
машинное обучение
нейронная сеть
нейронные сети
разложение Шеннона
сверточная нейронная сеть
синтез логических схем
синтез логической схемы
система булевых функций
тестирование вычислительных систем
физическая криптография
Уведомления
220012, Минск, ул. Сурганова, 6
Государственное научное учреждение
«Объединенный институт проблем информатики
Национальной академии наук Беларуси» (ОИПИ НАН Беларуси)
e-mail: rio@newman.bas-net.by
