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

Попков, К.А.

Автор: Попков К.А.
Журнал: Дискретный анализ и исследование операций
Том: 21
Номер: 6
Год издания: 2014
Издательство: Изд-во Ин-та математики
Местоположение издательства: Новосибирск
Первая страница: 73
Последняя страница: 89
Аннотация: Рассматриваются задачи проверки исправности и диагностики состояний N функциональных элементов, в исправном состоянии реализующих заданную булеву функцию f(x_1, … ,x_n), путём составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах функциональных элементов; при этом предполагается, что не более k элементов неисправны, где k — заданное натуральное число, не превосходящее N. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех элементов. Показано, что для любых f, N и k необходимо не менее k схем. Для функций f специального вида получены необходимые и достаточные условия того, что для проверки исправности и определения состояний всех элементов достаточно k схем. Ссылка на страницу статьи в Интернете: http://math.nsc.ru/publishing/DAOR/content/2014/06/2014.21.431.html
Добавил в систему: Попков Кирилл Андреевич

	ИСТИНА	Войти в систему Регистрация
	ФНКЦ РР
	Главная Поиск Статистика О проекте Помощь

ИСТИНА

ФНКЦ РР

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

Прикрепленные файлы