|
Оценки длин тестов для функциональных элементов при большом числе допустимых неисправностей
К. А. Попков Московский гос. университет им. М. В. Ломоносова, Ленинские горы, 1, 119991 Москва, Россия
Аннотация:
Рассматриваются задачи проверки исправности и диагностики состояний $N$ функциональных элементов, реализующих в исправном состоянии заданную булеву функцию $f(x_1,\dots,x_n)$, путём составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах функциональных элементов; при этом предполагается, что не более $k$ элементов неисправны, где $k$ – заданное натуральное число, не превосходящее $N$. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. Получена нижняя оценка на число указанных схем в случае, когда $k$ близко к $N$. В качестве следствия из этой оценки установлено, что при выполнении некоторого условия на $N$ и принадлежности $k$ некоторому отрезку число таких схем не может быть меньше $ck$, где $c>1$ – константа, не зависящая от выбора числа $k$ из этого отрезка. Библиогр. 15.
Ключевые слова:
функциональный элемент, неисправность, схема, проверяющий тест, диагностический тест.
Статья поступила: 13.02.2015 Переработанный вариант: 22.07.2015
Образец цитирования:
К. А. Попков, “Оценки длин тестов для функциональных элементов при большом числе допустимых неисправностей”, Дискретн. анализ и исслед. опер., 22:5 (2015), 52–70; J. Appl. Industr. Math., 9:4 (2015), 559–569
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/da828 https://www.mathnet.ru/rus/da/v22/i5/p52
|
Статистика просмотров: |
Страница аннотации: | 221 | PDF полного текста: | 61 | Список литературы: | 50 | Первая страница: | 12 |
|