37
ментарных проверок. Элементарную проверку и подмножество техниче-
ских состояний, сопоставляемых вершине
(
ρ
,
σ
)
дерева, будем обозначать
символами
σρ
,
t
и
σρ
,
E
соответственно. Множество элементарных прове-
рок
σρ
,
обозначим символом П
д
. Из правил построения дерева следует,
что объединение множества технических состояний есть множество Е
возможных технических состояний. Каждому пути соответствует последо-
вательность элементарных проверок.
Рассмотрим, как дерево представляет алгоритм диагноза. Начальной
вершине соответствует элементарная проверка
0
множество Е всех воз-
можных технических состояний. Элементарная проверка имеет три воз-
можных результата и тем самым разбивает множество Е на три подмноже-
ства Е
1,1
,
Е
1,2
,
Е
1,3
не различаемых этой проверкой технических состояний.
Первые два из этих подмножеств соответствуют внутренним вершинам
(1,1) и (1,2) и подлежат дальнейшим разбиениям элементарными провер-
ками
1,1
и
2,1
. Третье подмножество соответствует висящей вершине, и
поэтому разбиение его на подмножества алгоритмом не предусмотрено.
Аналогично можно рассмотреть любую другую вершину дерева. Как толь-
ко в процессе элементарных проверок будет достигнута висящая вершина,
алгоритм диагноза прекращается. Фактическое техническое состояние
объекта принадлежит подмножеству, соответствующему достигнутой ви-
сящей вершине. Каждой конкретной реализации алгоритма диагноза соот-
ветствует единственный путь. Например, если фактическое техническое
состояние принадлежит подмножеству Е
3,2
, то последовательность реали-
зации элементарных проверок будет
0
,
2,1
,
4,2
.
Рассмотрим некоторый ненулевой ранг дерева. В общем случае де-
рево может иметь несколько внутренних вершин. Это значит, что возмож-
ны две разные последовательности реализации элементарных проверок.
Обе эти проверки могут являться как одной и той же элементарной про-
веркой
j
множества П, так и разными элементарными проверками по-
следнего. Если для каждого ранга дерева выполняется условие, состоящее
том, что всем внутренним вершинам этого ранга сопоставлена одна и та же
элементарная проверка из множества П, то алгоритм диагноза называется
безусловным. Это соответствует заданию одной фиксированной последо-
вательности реализации элементарных проверок из множества П, не зави-
сящей от фактического технического состояния объекта. Т.е. выбор или
назначение очередной элементарной проверки в последовательности их
реализации не зависит от результатов предыдущих уже реализованных
элементарных проверок. Если же в дереве найдется хотя бы один ранг с
несколькими внутренними вершинами, которым сопоставимы разные эле-
ментарные проверки из множества П
,
то алгоритм диагноза называется ус
-
ловным
.
В условных алгоритмах выбор или назначение некоторых или