ИСТИНА

Объект исследования: логические схемы (ЛС) — схемы из функциональных элементов (СФЭ), контактные схемы (КС), обобщенные итеративные контактные схемы (ОИКС). Цели диссертации: разработка новых методов синтеза легкотестируемых ЛС, получение новых оценок функций Шеннона (ФШ) длин тестов для булевых функций (БФ). Применяются методы дискретной математики и математической кибернетики, комбинаторные и алгебраические методы. Получены: новые оценки длин минимальных проверяющих тестов (ПТ) относительно различных источников константных неисправностей на входах счетчиков четности; новые оценки ФШ длин ПТ и диагностических тестов (ДТ) относительно перестановок входов схем, а также относительно локальных слипаний входов схем; новые оценки а) ФШ длин ПТ и ДТ для СФЭ, б) длин минимальных единичных ПТ для КС и ОИКС. Результаты диссертации могут применяться в исследованиях тестов для БФ, реализованных ЛС. Доказанные утверждения могут включаться в курсы, читаемые студентам и аспирантам. Разработанные в диссертации методы синтеза легкотестируемых ЛС или заложенные в них идеи могут применяться для решения задач проектирования цифровых устройств.