Рис. 4. Модифицированный граф системы поиска с верификацией
виде направленного графа с однимпоглощающимсостояниеми допол-
нительными путями, соответствующими штрафу за ложное обнаруже-
ние. Время
T
p
требуется системе синхронизации для установления
факта отсутствия синхронизма и возвращения на этап поиска.
Для данного представления системы поиска целесообразно рассма-
тривать лишь среднее время до успешного завершения поиска, так как
по свойству поглощающих марковских цепей финальная вероятность
успешного завершения поиска
P
d
= 1
для любых параметров системы.
На рис. 4 приведен упрощенный модифицированный граф системы
поиска с верификацией, для которого введены обозначения:
A
(
z
) = (1
−
α
)
z
T
1
+
αz
T
1
((1
−
α
)
2
z
T
2
+ (2
α
−
α
2
)
z
T
2
+
T
p
);
C
(
z
) =
βz
T
+ (1
−
β
)(1
−
α
)
βz
2
T
;
D
(
z
) = (1
−
β
)(1
−
β
+
αβ
)
z
2
T
;
S
(
z
) =
α
(1
−
β
)
z
2
T
;
T
(
z
) = (1
−
α
)
z
T
1
+
αz
T
1
(
β
(1
−
α
)
z
T
2
+
β α z
T
2
+
T
p
)
.
(4)
Далее, согласно изложенной в работах [1, 3, 9, 11, 12, 14] методике,
можно получить передаточные функции графов из начального состо-
яния
S
в состояние
H
и вычислить зависимость среднего времени
поиска от ОСШ, используя выражение (1).
На рис. 5 представлены результаты моделирования среднего вре-
мени поиска ШПС системами, которые описываются графами, пока-
занными на рис. 3, 4.
Из представленных результатов видно, что система поиска с вери-
фикацией демонстрирует лучшее, в сравнении с системой двухэтап-
ного поиска, среднее время поиска до успешного обнаружения ШПС
с заданными параметрами.
Метод для определения оптимального значения времени ана-
лиза ячейки.
В ходе проектирования системы синхронизации ШПС
необходимо определить ряд ключевых параметров системы. Один их
них — время анализа одной ячейки области неопределенности ШПС.
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2009. № 3 117
