Статья в сборнике "Математические вопросы кибернетики" №12, Москва, 2003
Авторы:Редькин Н.П.
Единичные проверяющие тесты для схем при инверсных неисправностях элементов
Аннотация:
Рассматриваются схемы из функциональных элементов над произвольным конечным функционально полным базисом. Допускаются одиночные инверсные неисправности элементов в схемах, когда элемент в неисправном состоянии реализует отрицание отвечающей ему функции, которую он реализует в исправном состоянии. Конструктивно установлено, что любую булеву функцию можно реализовать неизбыточной схемой, допускающей единичный проверяющий тест не более чем из трех наборов.
Ключевые слова:
схемы из функциональных элементов, инверсные неисправности, единичные проверяющие тесты
