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

Препринт ИПМ № 33, Москва, 2018 г.
Авторы: Попков К.А.
Короткие единичные тесты для схем при произвольных константных неисправностях на выходах элементов
Аннотация:
Рассматривается задача синтеза неизбыточных схем из функциональных элементов, реализующих булевы функции от n переменных и допускающих короткие единичные тесты относительно произвольных константных неисправностей на выходах элементов. Доказано, что любую неконстантную булеву функцию можно реализовать схемой в базисе 'конъюнкция, отрицание, сумма по модулю 2 трех переменных', допускающей единичный проверяющий тест длины не более 2, а также схемой в базисе, состоящем из одной конкретной булевой функции от шести переменных, допускающей единичный диагностический тест длины не более 3.
Ключевые слова:
схема из функциональных элементов, константная неисправность, единичный проверяющий тест, единичный диагностический тест
Язык публикации: русский, страниц: 23
Направление исследований:
Математическое моделирование в актуальных проблемах науки и техники
Полный текст: Сведения об авторах:
  • Попков Кирилл Андреевич,  ,  ИПМ им. М.В. Келдыша РАН