Безусловные алгоритмы диагностирования

Любая за­дача диагноза в конечном итоге решается при помощи реализации соответствующего алгоритма диагностирования, который представля­ет собой совокупность предписаний в виде последовательности прове­рок и правил обработки их результатов для получения общего резуль­тата диагноза.

Безусловный алгоритм задает одну фиксированную последова­тельность проведения проверок, при этом информация о техническом состоянии объекта фиксируется и обрабатывается последовательно независимо от результатов проверок. Если заключение о техническом состоянии объекта может быть сделано только после проведения всех проверок, предусмотренных алгоритмом, то такой алгоритм называют алгоритмом с безусловной остановкой. Если выдача результата диагноза возможна после выпол­нения каждого или некоторых промежуточных шагов алгоритма, то последний называют алгоритмом с условной остановкой. В соответствии с задачами диагноза различают алгоритмы проверки исправности, работоспособности, правильности функционирования и поиска неисправностей. Их строят на основе соответствующих тестов и словарей неисправностей.

Наиболее распространенными формами представления алгоритмов диагностирования являются таблицы и древовидные графы. Безуслов­ные алгоритмы с безусловной остановкой представляются в виде таб­лиц, в качестве которых, например, выступают словари неисправностей.

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

Безусловный алгоритм с условной остановкой целесообразно пред­ставлять в виде графа. Граф моделирует алгоритм поиска неисправности по табл. Корневая вершина графа представляет множество S всех рассматриваемых технических состояний системы, а остальные вершины — подмножества состояний, выделяемые в резуль­тате деления множества S и его подмножеств но результатам элемен­тарных проверок. Висячие вершины соответствуют подмножествам эквивалентных состояний. Исходящими из вершин дугами изображаются элементарные проверки, а заходящими дугами — результаты этих проверок. Заданный алгоритм предусматривает подачу проверок в фиксированной последовательности — п1 п2...п6 п7. Однако выполне­ние алгоритма может быть остановлено на любом этапе, если выдели­лось подмножество состояний, соответствующее висячей вершине. Так, на первом этапе при выполнении проверки д, получение результата 0 останавливает алгоритм, так как выделено подмножество эквивален­тных состояний {s₁s₄) В противном случае применяют проверку л₂ и алгоритм продолжается.