книги из ГПНТБ / Казаков В.А. Введение в теорию марковских процессов и некоторые радиотехнические задачи
.pdfвыражение (5.156) перепишем |
в |
виде |
|
|
|||
|
|
|
» ( ^ + ' . < + , . f l l Ç + ' ) |
= |
|
||
|
|
|
1 ^ ( ^ , ^ , 6 = 1 |
I %)pQb+l-xk+ |
- % + 1 ) Х |
||
— |
1 |
I |
X w (•**+!. Tlft+i I |
%) |
при |
6 = ! ; |
•J ш ( ^ , ^ , е = о і ^ ) Р ^ + 1 - % + 1 ) х
|
( |
|
X f ( % 7 i |
I %)s (^ft+.) |
при |
Ѳ = 0. |
||||
|
|
|
|
|
|
|
|
|
|
(5.157) |
Проинтегрируем |
(5.157) |
по переменным jc0, JC, .... л* . ,, |
||||||||
^1о> мі. |
Тогда получим |
|
|
|
|
|
||||
|
W (JCfc+1, x,t , •%+!. |
б I ^о+ ') — |
|
|
|
|||||
|
f |
w {xh, |
іщ, 6 = 1 I So)p(Sf e + 1 -•«*+!— % + . ) X |
|||||||
|
|
X ü ( * f t +i> TJft + i |
I *ft> %) |
П Р И |
Ѳ = 1 , |
|||||
*»(&*+. I ig) |
|
w (jCfc, Tift, Ѳ = |
О I ф P (6ft+, - |
%+.) X . |
||||||
|
|
|
Х»Спк+і i % ) 8 ( ^ + . ) |
П Р И |
6 = |
0. |
||||
|
|
|
|
|
|
|
|
|
|
(5.158) |
Плотности |
вероятности |
w (xn, t\u, Ѳ | ^ ), |
входящие в |
|||||||
(5.158) , связаны |
с |
плотностями вероятностей |
w (Xk, |
|||||||
r\h I Ѳ, б* ) по |
формуле |
условной |
вероятности |
|
|
|
||||
ш (л*, Tis, |
Ѳ I ^ ) = |
о» (6 И* )да(Xft, in I 6, I * ) |
(5.159) |
.ч могут быть выражены через отношение 4 апостериор ных вероятностей ВУ (Ѳ | £*) [см. соотношение (5.145)]. Так
как w (Ѳ = 1 I ) + w (6 = О I %l ) = 1, то с помощью (5.145) получим
«у(е= 11 |
)=тя=7^- |
И ѳ |
= ° і ^ ) = г т ѵ |
( 5 Л 6 0 ) |
||||
Заметим, |
что входящая в |
правую |
часть |
выражения |
||||
(5.159) плотность |
вероятности |
w(xk, |
% \ 5* , 6) |
представ |
||||
ляет собой |
общую запись апостериорных плотностей ве |
|||||||
роятности Wps(xk, |
T|f t , k) |
при Ѳ = 1 |
и |
wps(y\h, |
k) ô (хй ) при |
|||
Ѳ = 0, для |
которых выше были получены рекуррентные |
|||||||
соотношения (5.74) и (5.16) соответственно. |
|
|
211
С учетом (5.159), (5.160) равенство (5.158) предста вим в виде
w{xh+l, |
jcf t l т ] , г + 1 , |
Tf|f t l |
Ѳ I 6g+ I ) |
= |
|
IK |
|
|
|
|
|
— f\k+,)v{xk+1,i]h+i |
|
I Хк,ци) |
при |
Ѳ = 1 ; |
|
|
™ Ы «о, 0 = |
0) Ь(Хь)?(Ін+1 |
- |
||
I — ^ + І ) " ( Ч ' І + І |
I |
|
при |
Ѳ = 0 |
(5.161)
Интегрируя (5.161) no xhl т\к, находим
ХУ |
{хп+„ |
і\к+1 |
I л*, -фі) dxhdt\u |
при |
Ѳ = 1; |
|
n j n ; jw |
^ |
l^o •6 = Q ) P |
- |
%+.) X |
||
[ |
X ü ( % + i |
I -nft)o(JCf t + 1 )rf% |
при |
0 = |
0. |
|
|
|
|
|
|
|
(5.162) |
Так как
то из (5.162) получаем окончательную 'рекуррентную формулу для отношения апостериорных вероятностей
1 _ 1 ] Щ М ( х * - ^ I 9 = 1 )Р(ёь - и — X f t + i — %+i)X
Таким образом, оптимальный приемник для обнару жения марковского сигнала на фоне 'белого шума и мар ковской помехи при дискретном наблюдении должен осу ществлять следующие операции:
1) по рекуррентным соотношениям (5.16), (5.74) вы числить априорные вероятности
twfoit I *о.Ѳ = 0) и w{xn, % I t, Ѳ=1);
212
2) используя полученные значения
w(r,k I Ѳ = 0), w(xh, ^ 1 ^ , 6 = 1)
а также априорные сведения о сигнале и помехе, вычис лить согласно '(5.163) для каждого момента времени от ношение апостериорных вероятностей;
3) в соответствии с формулой (5.147) перейти от от ношения апостериорных вероятностей к отношению прав доподобия;
4) реализовать правило решения согласно (5.146) или (5.148).
5.9.Оптимальное обнаружение марковских сигналов на фоне белого шума и марковских помех
при непрерывном наблюдении
Полученные в предыдущем параграфе рекуррентные соотношения определяют процедуру обнаружения мар ковского сигнала при дискретном наблюдении как до вольно громоздкую операцию. Целью настоящего пара графа является получение дифференциального уравне ния (5.150), которое по своей структуре весьма просто.
Переход от рекуррентных соотношений к дифферен циальному уравнению осуществим на конкретном при мере обнаружения марковского процесса с двумя со
стояниями x(t) |
(интенсивности |
управляющих |
пуассонов- |
|||||||
ских потоков а*, $х) на фоне белого |
шума |
и |
другого |
|||||||
марковского процесса с двумя состояниями r\(t) |
(интен |
|||||||||
сивности |
управляющих пуассоновских |
потоков |
и |
р^). |
||||||
Марковские |
процессы [x(t),r\(it)] |
|
и |
r\(t) |
характери |
|||||
зуются следующими априори |
известными |
матрицами |
||||||||
перехода: |
|
|
|
|
|
|
|
|
|
|
~Р{Хі.Ъ |
l!*].^) р{Хі,ъ'\хг<Ъ) |
тР(х,,ъ'\ХиЪ) |
|
Р{х,,-П,\х2у\^)~ |
||||||
Р (Ха.ѴІ Х,,7),) |
Р (Ха-7 )! I *г,Ъ) |
Р (*2'Ъ |
1 |
|
Р (Х2ЛІ1 |
I хг'Ъ) |
= |
|||
р(Хич\г |
|Хі,7),) |
|0(Х,,7)2 I Х2,-г),) |
р{Х,,гі2\хицг) |
|
р (Х,,7|2 |"Хг ,1Г|,) |
|||||
-Р'Лх2,1\г\ |
JC,,T],) Д(Хг,К)г| Х2,7),) |
р (х2 , 7]2 |
| X, ,Т)2) |
р (Х2,7)2 | Х2,1)2)_ |
||||||
|
|
I - (ft. + «ч) àt |
|
0 |
|
|
о |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
0 |
|
1-(«,+Рч) |
|
|
àt_ |
|||
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
(5.164) |
213
X ^ i |
I Ъ) |
РІЪ |
I |
ЧаГ |
1 — аМ |
8 Л / |
LP ha |
I Ii ) |
P h s |
I |
la), |
L •>) |
|
•Обозначим Zft==ln/л. Тогда, конкретизируя для рассматриваемого случая, можно записать
Z f t + 1 = Z f t + l n | |
exp |
I V f c + i i h i h + i
X ^ - ] X P ( ^
(5.165)
(5.163)
I n f |
JJ exp |
(5)i+,—%+,)2 |
^ |
jp |
(i)ft+, I % ) ® P s |
(%.*)! |
||||||||
I V h + i |
|
|
|
|
|
|
|
|
|
|
(5.166) |
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Используя разложения exp (—yAt)œl—yAt; |
|
In (1 — |
||||||||||||
—yAt) x—yAt, |
а также учитывая |
(5.164), (5.165), после |
||||||||||||
громоздких выкладок ©место (5.166) получаем |
|
|
|
|||||||||||
Zk + i=iZk-\r-£-[(frl |
+ 1 |
— Xl—l\i)'Wp3{xl,Hl' |
£ + 1 ) |
+ |
|
|||||||||
+ (5/ [ + 1 |
— x, — T),)2вор, (л-„ |
т),, /г -f- 1) -f-(5..1 +1 — л', — T),)2 |
X |
|||||||||||
XWpsiXi, |
|
\,, Ä + 1) + |
(5Ä+ 1 |
- xt - |
TIO^P«^*. |
/ г + |
1) |
- |
||||||
— (5ft+i — ^ , ) 2 |
^ ^ , - |
/г - f 1) — (5..1+1 — 7)2 )2 шР 8 (ijs, |
А + 1). |
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
(5.167) |
|
Переходя © (5.167) |
к |
пределу |
(At—>-0) и. осущест |
|||||||||||
вляя стандартные преобразования, получаем дифферен |
||||||||||||||
циальное |
уравнение |
|
|
|
|
|
|
|
|
|
|
|||
|
|
dZdtt |
= |
<F |
(Хг, щ , t)> |
- |
<F(V, |
0 > . |
(5-168) |
|||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
<F |
(Xi, |
ЩІ, 0 > |
= |
|
J ] [2 (*< + |
m) 5 (/) |
- |
|
|
|||||
|
|
|
|
(Xi-\-T]i)-]wps(xi, |
|
ni, |
t); |
|
(5.169) |
|||||
< F |
|
(7!,, 0 > |
= l j |
^ |
- J |
] [2^-5 (0 - |
І |
] o»p. ("К, 0- |
(5.170) |
|
it |
Подобным |
же образом можно получить уравнение |
(5.168) и для |
других случаев, например, когда х(і) и |
214
Y[(t) |
— диффузионные |
процессы |
или процессы с |
конеч |
||||
ным числом состояний. Кроме того, уравнение |
(5.168) |
|||||||
справедливо и для случая, когда |
сигнал и 'помеха |
явля |
||||||
ются |
функциями |
от марковских |
процессов. |
При |
этом, |
|||
очевидно," <F(x,y\, |
і) > |
и <F(r\,t)> |
|
следует |
определять |
|||
соотношениями: |
|
|
|
|
|
|
||
<F (X, |
ть t)> |
= ± |
j f {2Ü [5 (X) + |
V (т,)] - |
[S(x) |
+ |
||
|
|
+ |
V ЫУ} WpS {х, л), |
t) |
dxd-q, |
|
|
|
|
<F |
(т,, 0 > = л^- J [ 2 ^ (Ч) - |
У" Ш Wvs Ol, t) dy). |
|||||
Важно |
отметить, |
что функции |
< F ( x , |
т), t)> и |
||||
<F(r\,і/)>.могут |
быть вычислены, если для каждого"мо |
мента времени t будут .известны апостериорные плотно сти вероятности w(x, r\\l(t), 0=1) и w(r\\ç,{t), Ѳ —0). Но последние определяются в результате решения урав нений нелинейной фильтрации. Следовательно, задачи обнаружения и фильтрации марковских сигналов на фо не белого шума и марковских помех оказываются тес нейшим образом связанными.
Для удобства запишем уравнения нелинейной филь трации двумерного (ХІ, n]t) и одномерного [г\і) процес сов (5.93), (5.96) в новых обозначениях:
A»(xt ,-»|t |iS. е = і)
|
|
|
= (£,-<F{x, |
ъ |
t)»wps(xu |
|
|
|
|
Ъ\%>, |
6 = 1 ) . |
|
(5.171) |
2j |
|
= |
(L0-<F(i\, |
t)»wP5Cm |
6 = 0), |
|
где |
|
|
|
|
|
(5.172) |
|
|
|
|
|
|
|
L , = |
L v r |
(xu |
m) + — {2Ü (t) [S (X, t) + |
V (ть 01 - |
||
|
|
|
[S(x, |
t)-\-V(t\,t)]*}, |
(5.173) |
|
К = |
Lvr |
Ы |
+ N0 [2ty) V(Ti,t)-V° |
|
(5.174) |
|
Перейдем |
теперь от уравнения |
(5.168) |
для логариф |
ма отношенияапостериорных вероятностей к уравнению
215
для логарифма |
отношения |
правдоподобия. Обозначим |
z/i = lnAft, тогда |
в силу (5.147) |
|
|
Zfe = ln |
-у+гь. |
Поскольку In (vlq) — постоянная величина, то диффе ренциальное уравнение (5.168), выведенное для 2і, будет справедливо и для функции z*:
p |
= <F{x. |
т,, |
t)>-<F(-n,t)> |
|
Отсюда имеем |
|
|
|
|
|
t |
|
|
|
zt = |
j ' [ < F (x, |
т), t')> - |
<F (T], * ' ) > ] dt'. |
(5.1 75) |
0
Логарифм отношения правдоподобия Zt вычисляется оптимальным приемником непрерывно во времени, так что имеется возможность выносить решение о наличии или отсутствии сигнала не только в момент его оконча ния (однопороговая схема), но и в процессе его обра ботки (двухпороговая схема).
На основе использования уравнений нелинейной фильтрации (5.171) — (5.174) и уравнения (5.150) реше ны многочисленные задачи синтеза приемников обнару жения для разнообразных помеховых ситуаций [28—32, 14].
Для иллюстрации рассмотрим два примера. |
|
|||||||||
1. |
Пусть [14] |
сигнал |
детерминирован |
S(x, |
|
i)—S(t), |
||||
а помеха представляет собой марковский процесс с дву |
||||||||||
мя состояниями, определяемый выражениями |
(5.86). |
|||||||||
В таком случае априорное изменение |
сигнала отсут |
|||||||||
ствует |
(Lpr(x)=0) |
и |
операторы |
(5.173), |
(5.174) |
прини |
||||
мают вид |
|
|
|
|
|
|
|
|
|
|
К - |
LVr Ы |
+ ^ |
(Я (0 [S (t) + |
т, (0] - [S (t) + |
7) |
(t)f}, |
||||
|
|
|
|
|
|
|
|
|
|
(5.176) |
|
L 0 |
=Lpr |
(TU) + |
J - |
{21 (t) TÎ (0 - |
if (t)}. |
(5.177) |
|||
|
|
|
|
L V 0 |
|
|
|
|
|
|
Конкретизируем уравнения |
(5.171) —(5.174), |
(5.150). |
||||||||
С учетом (5.176), (5.177) имеем |
|
|
|
|
||||||
і-»(вій.в = і)— |
„ ( 0 ^ , 6 = 1 ) + р » ы * г , в = і , + |
|||||||||
+ а»(0 I І , |
b = |
l)^[2Smt)-S"-{t)\-<F(S(t), |
|
|
т,, * ) > } ; |
|||||
|
|
|
|
|
|
|
|
|
|
(5.178) |
216
< М ч 1 & 8 ! = 1) |
|
|
|
|
|
, |
|
|
|
|
, |
|||
|
|
Л |
|
= |
- |
^ Ш |
^ 1 |
5о > Ѳ = |
1 ) + \ |
w |
(° |
I |
&<>• |
|
6 = |
1 ) + |
ш (т, |
I ^ |
, Ѳ = |
1 ) |
|
{ J - [25 (/) (5 (0 + |
ч) - |
||||||
|
-{S(t)+{i)Y]-<F{S(t), |
|
|
|
т|, * ) > } ; |
|
|
(5.179) |
||||||
|
^ ( 0 |
1^,9=50) |
|
|
|
|
, |
|
|
|
|
|||
|
|
|
dt |
|
|
- |
а |
|
и»(0 I S0 , 6 = 0 ) |
|
+ |
|
||
|
|
|
|
|
— |
ч |
|
|
|
|
|
|
||
+ ' р ч ш (т] |
I ^ , Ѳ = |
0) + |
w (0 I І |
, Ѳ = |
0) <F |
(т,, |
0 > ; |
(5.180) |
||||||
|
|
|
at |
|
|
= - Р ч ° ' ( 1 1 I |
• 9 = 0) + |
|
||||||
|
+ |
ач ш (0 |
| ü< , Ѳ = |
0) + |
|
а>(і| |
I ^ , 6 = |
0) |
X |
|
||||
|
|
|
|
[26(f) 1 - |
Т] - К / 7 |
(1, 0 > } ; |
|
|
(5-181) |
|||||
|
|
| ? = < f |
( S ( f M , < ) > - < ^ (Ч.0>. |
' |
|
(5-182) |
||||||||
где |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
< J F ( 5 ( r ) , 7 , , 0 > = < / ; ' ( x , 7 ) j f ) > = ^ ^ { 2 ç ( / ) [ S ( 0 + |
||||||||||||||
|
|
|
|
|
|
|
|
|
|
»'=1,2 |
|
|
|
|
|
+ |
ri |
- |
[S (t) + -ЧіУ} ю Ы |
. e = |
i ); |
|
(5.183) |
||||||
< ^ U ' ) > = 3 V 7 J |
] |
l 2 ( 0 l . - 4 > f a l « ! . Ö |
= |
()). |
(5.184) |
|||||||||
|
|
|
i=l,2 |
|
|
|
|
|
|
|
|
|
Соотношения (5.178) — (5.184) определяют структуру оптимального приемника обнаружения, схема которого представлена на рис. 5.12. На схеме обозначены KB' — квадратор, П-1 — однопороговое устройство, П-2 — двухпороговое устройство.
Приемник по мере поступления реализации 5 (t) в каж
дый |
момент |
времени |
вычисляет . вероятности |
w (0 | Ь*0, |
Ѳ = |
1), Цт] |
I ?0 , Ѳ = |
1), w (0 I ,6=0), хю(у[\\[, |
Ѳ=0) и на |
их основе формирует логарифм отношения правдоподобия Zt. В зависимости отпостановки задачи обнаружения (фиксированное время наелюдения Т или последователь ный анализ) величина zt подается на однопороговое уст-
15—186 |
217 |
ройство П-І с |
порогом |
Ht |
или |
на |
двухпороговое П-2 С |
|||||||||
двумя порогами |
На и Н". В первом |
случае оценка произ |
||||||||||||
водится в момент Т и |
принимается |
бинарное |
решение: |
|||||||||||
Ѳ = |
1 или |
Ѳ = 0 . |
Во |
втором |
случае - сравнение |
величины |
||||||||
2[ с |
порогами |
H"t |
и |
Я" |
осуществляется |
в |
каждый |
мо |
||||||
мент времени, |
и в |
зависимости |
от |
соотношения |
между- |
|||||||||
zt, |
H*, H" принимаются |
решения: 0 = 1 , |
Ѳ=0 |
или у |
(про |
|||||||||
должение |
наблюдений). |
|
|
|
|
|
|
|
|
Sftl+2
KB
-7
ff
X
X
J
218
x /TS
-V/7
X
< F(X, ?,t >
X
-1 0i
S
Рис. 5.12.
В частном случае, когда > а^, процесс TJ (Ï) явля ется хорошей аппроксимацией хаотической импульсной помехи (ХИП) с постоянной амплитудой. Поэтому ра зобранный примзр следует рассматривать как решение задачи синтеза приемного устройства для л ю б о г о де терминированного сигнала в условиях действия белого шума и хаотической импульсной помехи.
2. Пусть [30] сигнал по-прежнему является произволь ной детерминированной функцией времени S(x, t) =S(t), а помеха V(r\,t)=r\(t) представляет собой диффуаион-
Ч
x h \кв\
V I - 2 -
X |
П-2 |
0=1 |
|
У |
|||
<F(ri,t)> |
|
0=0 |
|
|
|
||
-1 |
П-1 |
0=1 |
|
0=0 |
|||
|
|
||
X |
X |
|
|
|
-1 <*-<г |
|
J |
S |
|
W('О/ko, 8=О) |
15* |
219 |
ный гауесовский |
процесс: |
|
|
|
|
|||||
|
|
< \ |
(t)> |
= |
0; |
</i v ( f ) ' S (t + |
*) > = |
^ 8 (x). |
||
Операторы Li и L 0 согласно |
(5.173), '(5.174) |
принимают |
||||||||
в данном случае вид |
|
|
|
|
|
|||||
|
|
|
+ { |
2 |
5 (/) [S (t) + |
Tj] - |
{S (0 + |
т,]8}; |
(5.185) |
|
|
V |
= |
- ï |
^ |
+ |
^ ^ г + З ^ І Ж ^ - Ѵ ] . |
(5.186) |
|||
В |
этом |
случае |
апостериорные |
плотности |
вероятности |
|||||
т(щ |
I |
, |
Ѳ = |
1) и хю(тц I |
, Ѳ = |
0) являются гауссовски- |
||||
ми |
(см. § |
5.4). |
|
|
|
|
|
|
|
Следовательно, от уравнений (5.171), (5.172) можно перейти и< эквивалентным уравнениям для параметров апостериорных распределений. Эту 'операцию можно вы полнить по методике § 5.4, но целесообразнее .воспользо ваться уравнениями (5.115), (5.116), расписывая их дважды в соответствии с (5.185) и (5.186). В результате получим
|
|
|
(5.187) |
^ |
- ( т + ^ ^ . + |
Ж О ^ ; |
(5.188) |
|
a*2 (0 = % - 2 Y a ^ - 2 - ^ - |
( 5 Л 8 9 ) |
|
Здесь 7)*, |
и т)*0 — математические |
ожидания |
апостериор |
ных плотностей вероятностей при гипотезах Ѳ=1 и Ѳ= 0 соответственно; о*2 (£) = /С* — дисперсия апостериорных распределений.
Систему (5.187) — (5.189) следует дополнить уравне нием (5.150), которое на основе (5.185), (5.186) имеет вид
zt = |
{2Ü (0 [S (t) + 7,\ - VU - S* (t) - |
2S (t) ц \ - |
|
- V l + V ? } - " |
(5.190) |
220
В стационарном |
режиме, когда о* |
(t)=0, |
из (5.189) име |
|
ем |
|
|
|
|
а - (0 = |
? = 4- ѴК Г + |
- |
. |
(5.191) |
Подставляя 1(5.191) в (5.187), (5.188), получаем уравне ния с не зависящими от времени коэффициентами. Схе-
|
^ |
<5> |
». |
15, |
< |
« |
. " |
II |
II |
|
|
|
|
|
26' |
|
см |
|
|
|
it |
|
|
|
S |
I |
|
|
|
|
с; |
|
|
x
x H
-к
\кв\
Рис. 5.13.
ма оптимального в' стационарном режиме приемника, составленная по уравнениям (5.187), (5.188), (5.190), (5.191), изображена на рис. 5.13. Оптимальный прием ник вычисляет оценочные значения отфильтрованной от белого шума помехи т|*і, г|*о при двух гипотезах, на их основе формирует логарифм отношения правдоподобия zt и затем выносит решение в одной из двух пороговых схем П-1 или П-2.
Изложенная выше теория обобщена на многомерный случай Ю. Г. Сосулиньгм, который в работе [30] получил
' 2 2 1