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

Попков, К.А.

Автор: Попков К.А.
Журнал: Дискретная математика
Том: 26
Номер: 2
Год издания: 2014
Издательство: ФГБУ "Издательство "Наука"
Местоположение издательства: Москва
Первая страница: 83
Последняя страница: 99
DOI: 10.4213/dm1282
Аннотация: Рассматриваются задачи проверки исправности и диагностики состояний N функциональных элементов, реализующих в исправном состоянии заданную булеву функцию f(x_1,…,x_n), путём составления из них схем с одним выходом и наблюдения выдаваемых этими схемами значений на любых входных наборах значений переменных. Допускаются произвольные константные неисправности на выходах функциональных элементов; при этом предполагается, что не более k элементов неисправны, где k – заданное натуральное число, не превосходящее N. Требуется минимизировать число схем, необходимых для проверки исправности и определения состояний всех функциональных элементов. Доказано, что, если f∉{x_1&…&x_n,x_1∨…∨x_n,x_1¯¯¯¯¯} и выполнено некоторое условие на k и N, то для проверки исправности всех элементов достаточно 2k+1 схем. Если при этом функция f нелинейна, то для определения состояний всех элементов также достаточно 2k+1 схем. Ссылка на страницу статьи в Интернете: http://www.mathnet.ru/php/archive.phtml?wshow=paper&jrnid=dm&paperid=1282&option_lang=rus
Добавил в систему: Попков Кирилл Андреевич

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

ИСТИНА

ФНКЦ РР

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

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