Предложен метод синтеза схем из функциональных элементов в произвольном функционально полном базисе, реализующих заданные булевы функции и допускающих единичные диагностические тесты малой длины относительно константных и/или инверсных неисправностей на входах и/или выходах элементов при выполнении определённых начальных условий, связанных с существованием коротких единичных проверяющих тестов для схем в том же базисе при таких же неисправностях. На основании этого метода получены новые верхние оценки длин минимальных единичных диагностических тестов для схем из функциональных элементов в некоторых базисах при некоторых неисправностях элементов.

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

Математическое моделирование в актуальных проблемах науки и техники

Попков Кирилл Андреевич,  ,  orcid.org/0000-0003-3763-4050,  ИПМ им. М.В. Келдыша РАН