Рис. 5. Модель системы поиска и верификации в виде направленного графа
[2, 3], получим передаточную функцию графа (см. рис. 6) из началь-
ного состояния в состояние
H
(успешное завершение поиска):
H
(
z
) =
(
S
(
z
) +
D
(
z
)(2 +
C
(
z
)) + (
S
(
z
) +
T
(
z
)
D
(
z
)(1 +
C
(
z
)))
×
×
"
m
−
4
X
i
=0
A
i
(
z
)
!
+
A
m
−
4
(
z
)
T
(
z
)
#)h
m
(1
−
C
2
(
z
)
T
2
(
z
)
A
m
−
4
(
z
))
i
−
1
.
(6)
Передаточная функция графа системы из начального состояния в со-
стояние
F
после ряда преобразований запишется в виде
F
(
z
)=
(
m
−
5
X
i
=0
A
i
(
z
)
!
(
R
(
z
) +
T
(
z
)
B
(
z
)) +
"
B
(
z
)
m
−
5
X
k
=0
k
X
l
=0
A
l
(
z
)
!#
+
+
R
(
z
)
A
m
−
4
(
z
)(1 +
T
(
z
)) +
R
(
z
)
) h
m
(1
−
C
2
(
z
)
T
2
(
z
)
A
m
−
4
(
z
))
i
−
1
.
(7)
Используя свойства направленных графов и производящих функ-
ций [3], можно найти вероятность успешного завершения поиска:
P
d
=
H
(
z
)
z
=1
.
(8)
74 ISSN 0236-3941. Вестник МГТУ им. Н.Э. Баумана. Сер. “Машиностроение”. 2006. № 2
