УДК 519.718.7
Проверяющие и диагностические тесты для конъюнкторов, дизъюнкторов и инверторов / К. А. Попков. // Вестн. Моск. ун-та. Сер. 1, Математика. Механика. 2014. № 6. С. 40-45.
Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, которые реализуют в исправном состоянии заданную булеву функцию f∈{x1&…&xn, x1∨…∨xn, x1} и среди которых не более чем k неисправных, путем составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах элементов. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. В работе получены нижние оценки вида ck(log2N-log2k) для числа указанных схем.
Ключевые слова: функциональный элемент, неисправность, схема, проверяющий тест, диагностический тест.
Библиогр. 2.
