Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Оценка состояний дважды стохастических потоков событий. Учебное пособие
.pdf
3)
по формуле (3.38) в случае
формуле (3.41) в случае
вероятность
по формуле пересчёта (3.35), с учётом пункта 3), для
4)
|wt в момент времени
1
12 2
рассчитывается вероятность
значением для
в любой момент времени
5)
|wt в формуле (3.39);
1
производится расчёт вероятности
по формуле (3.39) для
6)
,
12 2
,
t :
|0wt , являющаяся начальным
11
,
tttT
t
1k
, по формуле (3.39)
11
|wt ;
1
в момент времени 1tt T
0
0
01
1
11 11
||0wtwt
, либо по
01
, вычисляется
;
вы-
1k
числяется вероятность
значением для
для
7)
01
01
tTtt, где 2t – момент времени наступления второго собы-
12
, либо по формуле (3.32) в случае
, вычисляется
|wt на следующем шаге алгоритма;
1
по формуле (3.31) в случае
1k
|wttT
, являющаяся начальным
11
,
12 2
,
12 2
|wt в любой момент времени
1
0
0
t
тия наблюдаемого потока;
увеличивается на единицу и для
8)
k
случае
12 2
для
12 2
0 ,
алгоритм переходит на шаг 4, затем шаги 4 – 8 повторяются
9)
и так далее.
2k
0 ,
01
01
, вычисляется вероятность
, либо по формуле (3.42) в случае
При расчёте апостериорных вероятностей
|1 |wt wt в произвольный момент времени
21
по формуле (3.40) в
2k
|0wt ;
12
1
прини-
t
|wt ,
мается решение о состоянии процесса ()t по методу максимума
апостериорной вероятности.
Для особого случая задания параметров потока, когда в уравне-
нии (3.27) коэффициент
12 2
0a , алгоритм оптималь-
,
181

ной оценки состояний обобщённого полусинхронного потока со-
бытий при наличии непродлевающегося мёртвого времени фиксированной длительности
ритму оценивания для общего случая
T аналогичен изложенному выше алго-
12 2
0a и реали-
зуется на основании формул (1.9), (3.39), (3.43) – (3.47).
3.4. Оптимальная оценка состояний MAP-потока,
функционирующего в условиях
непродлевающегося мёртвого времени
Исследуется MAP-поток событий, описание которого приводится в параграфе 1.5. MAP-поток функционирует в условиях непродлевающегося мёртвого времени фиксированной длительности
T [17]. На рис. 3.3 представлена схема формирования наблюдае-
мого потока событий при непродлевающемся мёртвом времени,
подробно описанная в 3.2.1 для обобщённого асинхронного потока
и в 3.3.1 для обобщённого полусинхронного потока событий.
)
2
P1(
|
)
1
|
2)
1
(
0
P
S
1
P1(
S
2|
2
1
)
1
|
2
(
1
P
)
2
|
1
(
1
P
)
1
|
2
(
0
P
Процесс
МАР-поток
TTT
T
T
(t
)
t
t
t
Схема создания мёртвого времени
t
1
t
2
t
3
t
4
t
5
Наблюдаемый поток событий
t
Рис. 3.3. Формирование наблюдаемого потока событий
182

Требуется по наблюдениям
процесса ()t (потока) в момент окончания наблюдений.
Решение о состоянии процесса ()t
максимума апостериорной вероятности на основании сравнения
вероятностей
оценка состояния процесса
Следует напомнить, что задача об оптимальном оценивании состояний MAP-потока событий в условиях отсутствия мёртвого
времени (то есть при полной наблюдаемости потока) решена в параграфе 2.5 главы 2. Однако наличие периодов мёртвого времени,
порождаемых зарегистрированными в моменты времени
1, 2,....k , событиями, приводит к необходимости нахождения яв-
|wt и
1
ˆ
, ,..., ,...
tt t оценить состояние
12
|wt : если
2
()t
, иначе
1
k
выносится по критерию
||wtw t , то
12
ˆ
()t
.
2
t ,
k
ного вида апостериорной вероятности
случайного процесса ()t
потока событий;
3.4.1. Апостериорная вероятность на участках
ненаблюдаемости потока
Исходные предпосылки для вывода апостериорной вероятности
|wt на интервале наблюдения
1
наблюдения за MAP-потоком,
состоянии MAP-потока, функционирующего в условиях непродлевающегося мёртвого времени фиксированной длительности
аналогичны рассмотренным в 3.2.2 для обобщённого асинхронного потока событий.
Будем рассматривать полуинтервал
котором события MAP-потока недоступны для наблюдения; событие имеет место лишь в граничной точке
на участках ненаблюдаемости MAP-
|1 |wt wt.
21
0
– момент вынесения решения о
t
|wt первого состояния
1
,tt, где
t – момент начала
0
,
tt T
kk
t . Предположим, что в
k
, 1, 2,...k
T ,
, на
183

граничной точке
t апостериорная вероятность
k
|wt известна
1
и равна
потока событий на временных полуинтервалах
явной формулой
tttT , 1, 2,...k
kk
событий недоступен для наблюдения. В этой связи апостериорная
вероятность
априорная вероятность
постоянного случайного процесса ()t
ключается в задании начального значения апостериорной вероятности
сти того, что в моменты времени
лая величина) соответственно процесс ()t находится в состоянии
wt
1|k
Лемма 3.15. Апостериорная вероятность
||0,
wt wt e
11 1 1
1, 2, .. .k ;
1|P
2122
Доказательство. На полуинтервалах
Обозначим
определена в (1.11);
1
|wt на указанных полуинтервалах ведёт себя как
1
|wt в момент времени
1
wt ,
|1 |
wt wt .
21
kk
|wt для MAP-
1
,
tt T
kk
dt t
;
wt определена формулой (2.50),
.
1
|
wtt
i
k
|0
1
k
0
|tt первого состояния кусочно-
(лемма 1.12); отличие за-
t наблюдения событий потока.
k
|
– апостериорные вероятно-
i
и
t
tt (t
k
(3.48)
1|dP
1111
,
tt T
kk
MAP-поток
– достаточно ма-
задаётся
S , 1, 2i ; моменты времени t и
i
1, 2, .. .k .
Опишем возможные ситуации на полуинтервале
занные с поведение процесса ()t
вале ненаблюдаемости потока
184
на рассматриваемом полуинтер-
,
tt T
kk
принадлежат
tt
:
,
tt T
kk
,tt t , свя-
,

1)
j
j
j
j
j
в момент времени
значение процесса ()it с вероятно-
t
стью
кончится состояние
t
i
etot
останется в состоянии
|
wt , и за промежуток времени длительности
i
S процесса ()t с вероятностью
i
1()
, и с вероятностью единица процесс ()t
i
S , 1, 2i
i
; вероятность описанной ситуации
t
равна
стью
чится состояние
перейдёт из состояния
ii iii
в момент времени
2)
|
wt , и за промежуток времени длительности
i
t
i
1()
etot
, наступит событие потока и процесс ()t
i
значение процесса ()it с вероятно-
t
t
S процесса ()t с вероятностью
i
S в iS с вероятностью
i
P
, 1, 2i
1|ii
| 1 () | | ()
wt totwt wttot ;
вероятность этой ситуации есть
|()| ||()
wt totP P wttot ;
ii iiiiii
в момент времени
3)
|
wt , 1,2j
стью
j
закончится состояние
t
1()
j
etot
j
11
значение процесса ()
t
t с вероятно-
, и за промежуток времени длительности
S процесса ()t
с вероятностью
, наступит событие потока и процесс
не за-
закон-
;
t
()t
перейдёт из состояния
p ; вероятность рассмотренной ситуации равна
1|ij
|()| ||()
wt totP P wttot ;
jj ijjijj
в момент времени
4)
|
wt , и за промежуток времени длительности
стью
j
S в
S , 1, 2i ,
i
11
значение процесса ()
t
i
, с вероятностью
t с вероятно-
закон-
t
185

чится состояние
j
j
j
t
1()
перейдёт из состояния
,1,2ij
wt totP P wttot .
мени
wttwt wttP wtt
j
etot
()t
,
|()| ||()
jj ijjijj
Других возможных ситуаций нет.
Относительно вероятностей
tt
||| ||
w t t w t w tt P w tt
111111111
||| ||
222221222
В результате несложных преобразований находим
j
i ; вероятность ситуации есть
имеем систему равенств:
PPwttot
211 2 01 2 2
PPwttot
1121 021 1
S процесса ()t
, не наступит событие потока и процесс
S в
S с вероятностью
i
00
|wt ,
1
|||(),
|||().
с вероятностью
P
0|ij
|wt в момент вре-
2
,
||1||
wttwt P wt
1111111
1| | (),
||1||
wttwt P wt
2221222
Разделив оба соотношения на
переход при
альных уравнений относительно апостериорных вероятностей
|
wt состояний
i
блюдаемости потока
186
Pwttot
2122 2
1111 1
1| | ().
Pwttot
, приходим к системе линейных дифференци-
0t
S , 1, 2i
i
,
tt T
kk
и выполнив в них предельный
t
, процесса ()t на участках нена-
:

|1| |1| |,
wt P wt P wt
11111121222
|1| |1 | |,
wt P wt P wt
21111121222
С учётом условия нормировки полученная система сводится к одному дифференциальному уравнению относительно
||1.
wtw t
12
|wt :
1
dw t
с начальным условием
грируя последнее уравнение с разделяющимися переменными и
учитывая, что
2122
где
Принимая во внимание замечание 2.7, согласно которому в
точке
бытий терпит разрыв первого рода, запишем начальное условие в
виде
ражение для
|
1
dt
1|P
|wt первого состояния процесса ()t в явном виде:
1
1| 1 |dP P
1111 2122
t апостериорная вероятность
k
||0
wtwt, подставляя которое в последнее вы-
11
1| 1 | |
wt wt e
kk
PPwt
1111 2122 1
1
1|
wttwt , 1,2,...k
12 122 1 111
, находим апостериорную вероятность
|| ,
11 1 1
|wt , приходим к (3.48). Лемма доказана.
P
2122
||
11
kk
1| 1|PP
k
dt t
.
|wt для MAP-потока со-
1
k
. Инте-
187

3.4.2. Поведение апостериорной вероятности
как функции времени в общем и в особом случаях
задания параметров потока
Поведение апостериорной вероятности
интервале наблюдения
tTt
емости потока
, где
kk
,tt , на временных интервалах наблюда-
01
,
1
t – момент наступления события
k
|wt на начальном
1
MAP-потока, которое порождает период мёртвого времени фикси-
T ,
рованной длительности
наблюдаемого события MAP-потока, а также поведение
точке
t , 1,2,...k , определяется леммами 2.15, 2.16 для общего
k
t – момент наступления очередного
1k
|wt в
1
случая задания параметров MAP-потока и леммами 2.16, 2.17 для
особого случая задания параметров MAP-потока (параграф 2.5).
Опираясь на леммы 2.15, 2.16, 3.15, сформулируем теорему для
общего случая задания параметров MAP-потока:
||0PP .
121021 2012
Теорема 3.4. Для MAP-потока событий, функционирующего в
условиях непродлевающегося мёртвого времени фиксированной
длительности
T , поведение апостериорной вероятности
1
|wt
на временной оси задаётся выражениями
awwtt
wwwt wwwte
1 2 10 2 1 10
|,
wt
1
ww t ww te
210 110
|,
wt
10 1
||
||
1|
P
2122
||0wtwt
;
1| 1 |
1111 2122
ttt
,
01
PP
11 11
21 0
aw w t t
21 0
(3.49)
188

dt t
1| | | |0
2 012 1 2 1021 2012 1
| | 0 , 1,2,...,
wt wt e k
11 1 1
PPPwt
21 1 2 11 1 1 21 1 2 1
PPPwt
||||0
k
|0
wt
1
k
k
k
,
k
1, 2, .. . ,k
ww w t T ww w t T e
12 1 21 1
1, 2, .. . ,k
ww w t T ww w t T e
12 1 1 21 1 1
2,3,...k
tttT ,
kk
ww tT ww tTe
21 11
||
kk
||
kk
wt
||
kk
wwtT wwtTe
211 111
||
kk
1| 1 |dP P
1111 2122
|
wt
1
tTtt
;
|0
1
k
awwtt T
21
aw w t t T
21
1kk
aw w t t T
21 1
aw w t t T
21 1
;
1
wP
1, 2 1 2 2 0 1 2
12 12012021
2
a
2
4||,
2|
PP
;
k
k
kk
,
,
kk
(3.50)
(3.51)
где
01w,
121021 2012
1
2
1w при
||0aPP ,
; 101w ,
0a
0w
2
при
.
0a
189

Доказательство проводится объединением формул (1.11),
(2.46), (2.47), (2.50) и (3.48).
Результаты лемм 2.16, 2.17, 3.15 позволяют сформулировать
теорему для особого случая задания параметров MAP-потока:
||0PP .
121021 2012
Теорема 3.5. Для MAP-потока событий при непродлевающемся
мёртвом времени фиксированной длительности T для случая
||0PP поведение апостериорной
121021 2012
вероятности
|wt на временной оси определяется соотношени-
1
ями
||
PP
||,
wt wt e
110
wt
20 1 2 20 1 2
bb
|,
10 1
ttt
| | 0 , 1,2,...,
wt wt e k
11 1 1
1111 2122
,
01
1|
1| 1 |
PP
11 11
k
P
2122
||0wtwt
;
dt t
k
bt t
0
(3.52)
|0
wt
1
21 1 2 11 1 1 21 1 2 1
1, 2, .. . ,k
||||0
PPPwt
PP
20 1 2 20 1 2
1|
2012
tttT ,
kk
||
bb
wtT e
k
k
P
1| 1 |dP P
1111 2122
|
wt
1
|,
k
1
,
bt t T
k
(3.53)
(3.54)
;
190
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]
