3. Обработка диагностической информации по лгм

Рассмотрим систему, содержащую пять информационных элементов (рис. 6). Допустим, что эти элементы в случае отказа системы приняли состояния (в порядке их номеров): 2, 0, 0, 0, 1. Требуется на основе этой информации построить подграф с минимальным числом вершин, среди которых содержится вершина – образ отказавшего элемента. Когда говорится «минимальное число вершин», то имеется в виду, что располагаемая информация на выходе изделия не позволяет сделать число вершин меньшим. Дальнейшее сужение подграфа возможно только путем выполнения второго и третьего этапов. Подсистема, соответствующая подграфу с минимальным числом вершин, получила название области поиска отказавшего элемента или просто области поиска.

Чтобы сформулировать алгоритм построения на ЛГМ подграфа области поиска, введен ряд вспомогательных понятий и алгоритмов.

Множество элементов, оказывающих логическое влияние на некоторый элемент, составляет его влияющую область. Иными словами, если некоторый элемент связан направленными в его сторону дугами с другими элементами, то эти элементы составляют его влияющую область. На ЛГМ стрелки на дугах обычно не показываются в связи с тем, что направление влияния известно – от входа в систему к ее выходу, т.е. сверху вниз.

Множество элементов, которые испытывают влияние некоторого элемента, составляют его область влияния. Иными словами, если некоторый элемент связан направленными от него дугами с другими элементами, то эти элементы составляют его область влияния, он на них влияет.

Влияющие области и области влияния моделируются подграфами, которые будем обозначать соответственно символом и где - номер элемента.

Пересечением областей или подграфов называется область (подграф), содержащая только те элементы (вершины), которые принадлежат всем этим областям (подграфам). Разностью двух областей (подграфов) называется область (подграф), содержащая только те элементы (вершины), которые принадлежат первой области (подграфу) и не принадлежат второй области (подграфу).

Заметим, что необходимость говорить одновременно об областях и подграфах вызвана тем, что в процессе диагностики приходится идентифицировать подсистему (область) с подграфом и наоборот.

Сформулируем алгоритм образования подграфа влияющей области на ЛГМ.

1. От вершины – образа элемента, влияющая область которого образуется, перемещаться на ЛГМ слева и справа вверх до последнего яруса, нанося границы образуемого подграфа.

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

3. В ограниченном слева и справа подграфе отметить все пунктирные линии влияния, идущие от вершин этого подграфа через границу вверх, к вершинам, которые ему не принадлежат; переместиться вдоль пунктирных линий к вершинам, из которых они выходят.

4. Применить к этим вершинам операции 1 – 2 и получить приращения к исходному подграфу.

5. Применить к подграфу, полученному в результате операции 4, операцию 3, а затем 1 и 2. При необходимости продолжить выполнение операций 1 – 5 до полного завершения образования подграфа влияющей области.

Алгоритм образования области влияния формулируется аналогично, но со следующими особенностями. Во-первых, перемещение на ЛГМ от вершины – образа элемента, область влияния которого образуется, происходит вниз, до первого яруса (до вершин информационных элементов). Во-вторых, включать в подграф области влияния требуется все выходные линии влияния любой вершины, слева или справа от которой происходит движение, а вместе с ними и инцидентные им вершины на более низком ярусе, и отсечь все входные линии влияния, если они идут от вершин, остающихся за границами образуемого подграфа. В-третьих, отмечать требуется все пунктирные линии влияния, идущие от вершин образуемого подграфа через границу вниз, к вершинам, которые ему не принадлежат.