RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2015, том 22, выпуск 5, страницы 52–70 (Mi da828)

Оценки длин тестов для функциональных элементов при большом числе допустимых неисправностей

К. А. Попков

Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 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


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2015, 9:4, 559–569

Реферативные базы данных:


© МИАН, 2024