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

книги из ГПНТБ / Казаков В.А. Введение в теорию марковских процессов и некоторые радиотехнические задачи

.pdf
Скачиваний:
21
Добавлен:
23.10.2023
Размер:
7.76 Mб
Скачать

выражение (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) (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

Соседние файлы в папке книги из ГПНТБ