Том 7, серия 1, номер 3, 2000 г., Стр. 45-71
УДК 519.714.23
В. Н. Носков
О диагностических и установочных задачах для схем из ненадёжных автоматов
Аннотация:
Рассматривается представление конечного автомата схемой в базисе, состоящем из сильно связных конечных автоматов Мили. Предлагается метод преобразования любой части произвольной схемы в подсхему, для которой возможна диагностика с хорошей локализацией возникающих в ней неисправностей из широкого класса. При некоторых ограничениях на используемый базис предложенные преобразования позволяют получать схемы, которые не только удобны для диагностики неисправностей, но и позволяют переводить схемы из состояния в состояние с помощью коротких входных последовательностей. Описаны тестовые последовательности и последовательности, устанавливающие схему в заданное состояние. Получены верхние оценки длин таких последовательностей и верхние оценки сложности преобразованных схем.
Табл. 3, ил. 7, библиогр. 14.
Носков В. Н. 1
1. Институт математики им. С. Л. Соболева СО РАН,
пр. Акад. Коптюга, 4, 630090 Новосибирск, Россия
е-mail: noskov@math.nsc.ru
Статья поступила 20 апреля 2000 г.
|