Том 6, серия 1, номер 3, 1999 г., Стр. 10-41

УДК 519.714.23
В. Н. Носков
О преобразованиях, повышающих надежность частей схем в автоматных базисах

Аннотация:
Рассматривается представление конечного автомата схемой в базисе, состоящем из сильно связных конечных автоматов Мили. Предлагается метод преобразования произвольной части любой такой схемы в подсхему, в которой при появлении неисправностей из заданного класса возможно восстановление ее правильной работы с помощью фиксирования подходящих значений на некоторых входных полюсах. Эти значения определяются по результатам тестирования схемы. Статья базируется на разработанной ранее автором методике преобразований схем, позволяющей строить схемы, допускающие их тестирование с хорошей локализацией возникающих неисправностей из широкого класса.
Ил. 10, библиогр. 13. 

Носков В. Н. ¹
1. Институт математики им. С. Л. Соболева СО РАН,
пр. Акад. Коптюга, 4, 630090 Новосибирск, Россия
е-mail: noskov@math.nsc.ru

Статья поступила 6 мая 1999 г.