Оценки длин тестов для функциональных элементов при большом числе допустимых неисправностей
К. А. Попков Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 1, 119991 Москва, Россия
Аннотация:
Рассматриваются задачи проверки исправности и диагностики состояний
$N$ функциональных элементов, реализующих в исправном состоянии заданную булеву функцию
$f(x_1,\dots,x_n)$, путём составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах функциональных элементов; при этом предполагается, что не более
$k$ элементов неисправны, где
$k$ – заданное натуральное число, не превосходящее
$N$. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. Получена нижняя оценка на число указанных схем в случае, когда
$k$ близко к
$N$. В качестве следствия из этой оценки установлено, что при выполнении некоторого условия на
$N$ и принадлежности
$k$ некоторому отрезку число таких схем не может быть меньше
$ck$, где
$c>1$ – константа, не зависящая от выбора числа
$k$ из этого отрезка. Библиогр. 15.
Ключевые слова:
функциональный элемент, неисправность, схема, проверяющий тест, диагностический тест.
УДК:
519.718.7 Статья поступила: 13.02.2015
Переработанный вариант: 22.07.2015
DOI:
10.17377/daio.2015.22.476