УДК 519.718.7

Проверяющие и диагностические тесты для конъюнкторов, дизъюнкторов и инверторов / К. А. Попков. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2014. № 6. С. 40-45.

Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, которые реализуют в исправном состоянии заданную булеву функцию f∈{x₁&…&x_n, x₁∨…∨x_n, x₁} и среди которых не более чем k неисправных, путем составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах элементов. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. В работе получены нижние оценки вида ck(log₂N-log₂k) для числа указанных схем.

Ключевые слова: функциональный элемент, неисправность, схема, проверяющий тест, диагностический тест.

Библиогр. 2.

  

Формат отображения формул
(код LaTeX/изображения)