Том 9, серия 1, номер 3 , 2002 г., Стр. 48-74

УДК 519.714.23
В. Н. Носков
Эффективная диагностика неисправностей в сетях автоматов

Аннотация:
Рассматривается представление конечного автомата схемой в базисе из сильно связных конечных автоматов. Ранее автором этой статьи был предложен метод преобразования любой части произвольной схемы в подсхему, для которой возможна диагностика с помощью условных тестов с хорошей локализацией возникающих неисправностей из широкого класса. В настоящей статье предлагается усовершенствование этого метода. При ограничении на базис, требующем, чтобы в графе переходов каждого автомата имелась петля, удается добиться, чтобы преобразованные схемы стали более удобными для диагностики, а тестовые процедуры для них – существенно более короткими. Приводится алгоритм получения тестов, даются оценки длин тестов и сложности преобразованных схем. 
Табл. 1, ил. 6, библиогр. 5. 

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

Статья поступила 24 мая 2002 г.