Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Оценка состояний дважды стохастических потоков событий. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
08.09.2026
Размер:
2 Мб
Скачать
☆
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
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]