Головная страница ИПМ Библиотеки, издания  •  Поиск публикаций  English 
Публикация

Препринт ИПМ № 30, Москва, 2017 г.
Авторы: Попков К.А.
Единичные проверяющие тесты для схем из функциональных элементов в базисе «конъюнкция-отрицание»
Аннотация:
Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие единичные проверяющие тесты относительно однотипных константных неисправностей на выходах элементов, в базисе {&,¬} и схожих базисах. Для каждой булевой функции, допускающей реализацию неизбыточной схемой, найдено минимально возможное значение длины такого теста. В частности, доказано, что оно не превосходит трёх.
Ключевые слова:
схема из функциональных элементов, константная неисправность, единичный проверяющий тест
Язык публикации: русский, страниц: 31
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст: Сведения об авторах:
  • Попков Кирилл Андреевич,  ,  ИПМ им. М.В. Келдыша РАН