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

книги / Основы теории оценивания с приложениями к задачам обработки навигационной информации. Ч. 1 Введение в теорию оценивания

.pdf
Скачиваний:
39
Добавлен:
19.11.2023
Размер:
26.49 Mб
Скачать

3.1.5. Динамика изменения матрицы ковариаций марковской последовательности

Из (3.1.16) следует, что в общем случае матрица ковариаций марковской последовательности, описываемой с помощью форми­ рующего фильтра, во времени изменяется, причем Р( может как

«возрастать», т.е. Pt >Р{_х, так и «убывать»: Р; </)_,.

 

Поясним это на скалярном примере, полагая

 

х,' = Фх,_, + w(,

(3.1.27)

и считая Г = 1 и Q; = q2 для всех i

В этом случае, вводя обозна-

чение Pj - ст,-, выражение (3.1.16) запишем

 

с,- -ст,_,Ф + q

 

Если соотношение величин

Ф2, q1 и ад

таковы, что

2

стдф2 +q2 >стл, т.е. Сат > —- — , то дисперсия при увеличении / 1 -Ф 2

2 ^

возрастает, т.е. of >of_iЕсли же адФ2 +q^ <о$, о\ <—

1 -ф -

то дисперсия уменьшается. Когда существует решение уравнения ст2Ф2 +qA =о^, дисперсия последовательности (3.1.27) с увели-

чением i

2 Ч

перестает меняться и принимает значение стот = —i——

 

1 -Ф 2

 

2

Это возможно при Ф 2 < 1. Если принять Сто = ^ , то дисперсия 1-Ф 2

будет постоянной для всех i . Ясно также, что при Ф > 1 дисперсия может только возрастать и поэтому не существует положительного

решения уравнения СдФ2 + q2 ; при Ф = 1 дисперсия также

будет возрастать.

В векторном случае, для того чтобы матрица ковариаций (3.1.16) при Ф,- =Ф, Г, =Г, Qj=Q сохранялась постоянной, необ­

ходимо, чтобы существовало решение Рт для следующего урав­ нения:

раа=ФР(0ФТ+ гд гТ

(3.1.28)

331

В этой ситуации последовательность (3.1.11) при центрирован­ ном характере порождающего шума будет стационарной марков­ ской последовательностью.

П р и м е р 3.1.5. Пусть задана винеровская последовательность

(3.1.20), и при этом Р0 = GQ, Q= q2

Приведем пример реализации этой последовательности и соответст­ вующих ей в каждый момент времени расчетных значений СКО:

(j. = Jp. = д/ OQ +Ç2i >ПРИ разных соотношениях дисперсии начального

значения и дисперсий порождающих шумов. Для определенности полага­

ем, что х,- описывает изменение вертикальной координаты.

Как отмечалось выше, значения такой последовательности в каждый момент времени представляют собой сумму двух слагаемых: случайной величины и суммы значений белошумной последовательности, накоп­

ленных к текущему моменту.

2

При OQ = 0 слагаемое в виде постоянной величины отсутствует. Та­

кая реализация и соответствующие ей расчетные СКО в виде ± С; пред­

ставлены на рис. 3.1.5, а, при с/ = 1 м/с, GQ = 0 Здесь и в следующем

примере для определенности считается, что значения последовательности формируются на интервале 100 с с дискретностью 1 с. При выполнении

9 9

условия q~i = a 5 (^ = 1,0 м/с, с 0= 10 м) для последнего момента вклад

двух слагаемых в результирующее значение дисперсии одинаков (рис. 3.1.5,б).

а)

6)

Рис. 3.1.5. Реализация винеровской последовательности и соответствующие ей расчетные значения СКО при нулевом и ненулевом начальных значениях

2

2

При выполнении условия q i «

а 0 ( / = 100, #=1,0 м/с, а 0= 100 м)

реализации будут мало отличаться от реализаций для постоянного векто­ ра (рис. 3.1.6).

Рис. 3.1.6. Реализация винеровской последовательности и соответствующие ей

расчетные значения СКО при выполнении условия q 2i « o l

Для всех трех вариантов формируемые последовательности в рас­ смотренном примере являются нестационарными, хотя в последнем слу­ чае эта нестационарность в сравнительном плане проявляется весьма не­ значительно, т.е. СКО изменчивой части существенно меньше СКО по­ стоянной составляющей.

П р и м е р 3.1.6. Пусть требуется сформировать реализации центри­ рованной случайной последовательности с корреляционной функцией

k ( i - j ) = o 2e ^ Такая последовательность обычно называется экс­

поненциально-коррелированной последовательностью.

Нетрудно убедиться в том, что это может быть сделано с помощью формирующего фильтра вида (3.1.11), в котором Ф = е а

Г = ел!1 - е~2а ; х0 - центрированная случайная величина с дисперсией

Р0 = а 0 , причем а 0 = а , a w,- - центрированный, дискретный белый

шум с единичной дисперсией, не зависимый от х0 [50, с.221, 111, с.77].

Это действительно так, поскольку при таких .параметрах уравнение

(3.1.28) преобразуется к тождеству: а 2 = ст2е”2а + а 2(1 - е _2а), озна­

чающему, что дисперсия этой последовательности постоянна. Кроме того, используя определение корреляционной функции, можем также записать следующее равенство:

k( i,i - 1 ) = k ( i - ( i - 1)) = * 0 ) = М {хЛ _, }= Л ф .г м л7_, + r>v/.v,_1}= а ~ е~ а ,

которое нетрудно обобщить на случай i —j > 1.

333

Ниже приведены графики реализации такой последовательности при

а = 0,1, ст = 1м , для трех случаев: стационарный случай, при выполне­

нии условий

ОдФ2 + Г 2 =с?о, а = а 0 = 1 м (рис. 3.1.7); нестационар­

ный

случай

с возрастающей дисперсией при выполнении условий

а 0Ф

+ Г

><Т0 , с г > а о =О

(рис. 3.1.8, а), нестационарный случай с

убывающей

дисперсией при

2

2

+ Г

2

2

выполнении условий а 0Ф

 

 

< а 0

а < а 0 = 3 м

(рис. ЗЛ.8, б). На графиках представлены как сами значе­

ния реализаций, так и соответствующие им утроенные расчетные значе­

ния СКО в виде ± 3(а,- = .

Рис. 3.1.7. Реализация экспоненциально коррелированной последовательности

 

 

 

 

 

(стационарный случаи)

а)

 

 

 

 

 

б)

 

 

!--------------------

 

 

 

 

 

 

;

 

 

 

 

 

 

 

 

x

n

 

f

 

 

 

 

!

 

 

 

 

 

 

 

 

J ч

 

 

......................

•»....................

 

 

1 i*/.

Ai

 

 

 

 

т

A

t V

,

 

 

* \

"

у

 

 

 

 

*

.......

i.......................

\ ......................

 

 

...................... .......................

 

:.......................

i .

 

 

 

:

:

 

-З1—

 

 

 

!

i

■■J

 

---------

 

1----------

1- -

V

 

 

 

 

 

 

О

20

40

60

го

100

Рис. 3.1.8. Реализации экспоненциально коррелированной последовательно­ сти и соответствующие утроенные расчетные значения СКО

(нестационарный случай)

Во всех случаях, как отмечалось выше, поскольку выполнено условие

Ф 2 = е ~ 2 а < 1 , дисперсия выходит на установившийся режим

л

сг

2

-2а \

 

 

(1-е

)

= G Z =

1.

 

 

1 - е -2а

 

 

 

 

Из представленных соотношений следует, что, если требуется сфор-

мировать последовательность с заданными о 2 и а при единичной дис­ персии дискретного шума, то для получения такой последовательности

необходимо выполнение условия Г 2 =ст2( 1 - Ф 2) = ст2( 1 - е -2а).

Это условие при а « 1 может быть записано как Г2 ~ 2а2а .

Задачи к разделу

Задача 3.1.1. Задана совместная плотность распределения веро­ ятности / ( JCJ,.... xk), покажите, что для нее справедливо следую­ щее представление:

f ( x 1> x k )=/ (x k ! x k-\ >x k-2’-Л'1) f ( x k-1^ x k-2>x k-3 ’- x \ )—/(A'l)•

Р е ш е н ы e. Из формулы умножения плотностей вероятно­ стей (1.4.1) следует, что

Д Х1»...x k ) =f ( x k ! х к-1»х к-2 ,-х1)/(**-1»Хк-2 »х к-3 >••*! )•

Применяя эту формулу ко второму сомножителю, получаем

/(*£•-1>...Х1)=f ( x k-1! х к-2>х к-з ’••х1)/к-2 ’ х к-3>-Jl )•

Поступая аналогично, убеждаемся в справедливости искомого

представления.

 

Задача 3.1.2. Поясните, почему векторы х0 и wl

, имею­

щие гауссовские ф.п.р.в. (3.1.13), (3.1.14), причем а0

некоррели­

рован с W[, a w, , Wj некоррелированны между собой при l * j ,

l , j = l i , являются совместно гауссовскими.

Р еш е я и е. Поскольку все векторы гауссовские и между со­ бой некоррелированны, то они и независимы между собой; таким образом, совместная ф.п.р.в. представляет собой произведение га­ уссовских плотностей и является гауссовской.

335

Задача 3.1.3. Покажите, что эволюция во времени математиче­ ского ожидания и матрицы ковариаций для последовательности (3.1.11) определяются соотношениями (3.1.15), (3.1.16):

 

*/ = ф /*ы ;

р,

-х,)(х, - г ,) т}=Ф,/>,_,Ф1 +г(0г7

Р е ш е н и е . Первое соотношение непосредственно следует из (3.1.11) , поскольку

М {х,} = М {ф,х(Ч + Г)wt}= Ф,*м

Принимая во внимание это выражение, а также факт некорре­ лированности Wj и хм , можем записать

Р( =м )(Ф ,х,._,

+ Г > ,. - Ф ,* ы )(Ф/Х,_, + Г)IV; - Ф ,х ,_ ,) т }=

=м [ ф / (Х1._, -

Хм ) +Г,• W;)(Ф ,• (х ,_ ,-ГМ)+Г,.(,,.)Т } = Ф ^ _ 1Ф [ +Г,е,Г,т

Задача 3.1.4. Рассчитайте матрицу ковариаций для случайного

 

I

вектора, формируемого согласно выражению х,- =

Wj, в кото-

;=i

ром Wj, j = 1 - некоррелированные между собой центрирован­ ные случайные векторы с одинаковой матрицей ковариаций Q для каждого момента времени.

Р е ш е н и е . Эта последовательность может быть сформирова­ на с использованием формирующего фильтра (3.1.20), в котором Р0 = 0. Используя (3.1.16), получаем Р,- = iQ.

Задача 3.1.5. Рассчитайте матрицу ковариаций для случайного I

вектора, формируемого согласно выражению х, = ^ Wj, в кото-

/=1

ром для всех j = 1./, Wj =w - один и тот же центрированный слу­ чайный вектор с матрицей ковариаций Q

Р е ш е н и е . Поскольку в данном случае справедливо соотно­ шение xf = iw, то согласно определению матрицы ковариаций, по­

лучаем P,- = }= i2Q

Задача 3.1.6. Получите правило нахождения матрицы ковариа­

ций Рх‘ составного вектора Х ( = (JCJ ,JC1T,...,JC*)T, компоненты ко­

торого описываются соотношениями (3.1.11), (3.1.12). Найдите эту матрицу для случая i = 1.

Р е ш е н и е . Для получения матрицы ковариаций введем со­

ставной вектор г,

размерности n + ip и учтем,

что Xj = Т;Г' , где матрица 7}

размерности

(i + 1)и х (и + ip) имеет

следующий вид:

 

 

 

Е

0

0

0

Ф,

г,

0

0

Ф2Ф]

Ф2Г,

Г2

0

 

 

 

0

_Ф,Ф<_,...Ф„

Ф(ФМ ...Ф2Г,

 

Гi

Для нахождения искомой матрицы ковариаций используем пра­ вило

p*i = т.РпТ?,

где Рп - блочно-диагональная матрица вида

/'о

0

0

0

0

а

0

0

рп =

 

0

0

0

0

См

0

0

0

0

Q,

Для случая 1 = 1, Х х= (xJ,x1T)T нетрудно получить

Р =

Ро

ФА Ф ^ о Ф ^ Г , ^

Задача 3.1.7. Получите выражение для ф.п.р.в. составного век­

тора Xj

для гауссовской марковской последова­

тельности, задаваемой (3.1.11)—(3.1.14).

Р е ш е н и е .

Учитывая гауссовский характер составного век­

тора X j , для получения соответствующей ему ф.п.р.в. достаточно найти его математическое ожидание и матрицу ковариаций с ис­ пользованием соотношения Х { - Tjij, учитывая известные значе­

ния Tj =(XQ ,0Д...0)Т и Р Г/

Кроме того, ф.п.р.в. можно получить, используя следующее выражение

f(*i) = Я * О ) П f(xj !Xj-1) = ci ехр | - \ JiI .

где

Jj —XQ/ g”1JC0 + Ÿ J(xJ - Ф j X j ^ y {г]QjTj) \ Xj -ФjXj_l),

7=1

 

 

 

, ч /1(1+1)

l

i .

,_I

с,. = (2л)-— Ы

П |Г ,т0уГу| 2

 

 

7=1

 

Задача 3.1.8. Пусть в предыдущей задаче

/ = 1, и Г, = Е , т.е.

X] =Ф]А'0 + и/j. Учитывая, что,

ф.п.р.в. для

составного вектора

X J = (л-g,xj )т может быть представлена в виде (см. задачу 3.1.6)

f ( X l) = N(X];0,P]),

(1)

где

 

 

Г Р0

Р0Ф]

1

|_ф ,ро ф ,р 0ф ; + 0 I J ’

убедитесь, что представление (1) для ф.п.р.в. идентично тому, ко­ торое получено в предыдущей задаче.

Пояснение. Раскройте выражение (1) и при вычислении P f 1

воспользуйтесь правилом обращения блочных матриц (см. Прило­ жение П1.1).

Задача 3.1.9. Получите выражение для корреляционной функ­ ции центрированной винеровской последовательности, для кото­ рой начальное условие нулевое, а порождающий шум имеет оди­

наковую дисперсию д2 Р е ш е н и е . Используя выражения (3.1.3), (3.1.21) и принимая

во внимание, что для центрированной последовательности началь­ ное значение равно нулю, можно записать

k(i,J)-M ^iX j}=M \ X w/ X wfc \ = q2min(/,y).

/=1 k=1

Контрольные вопросы

1.Дайте определение случайной последовательности, поясните, что такое математическое ожидание, дисперсия и корреляцион­ ная функция для случайной последовательности. Приведите примеры скалярных случайных последовательностей.

2.Поясните, что такое центрированная, стационарная и гауссов­ ская случайные последовательности.

3.Дайте определение дискретного белого шума. Может ли дис­ кретный белый шум быть нестационарным и л и негауссовским?

4.Введите понятие марковской последовательности. Поясните, что такое формирующий фильтр, приведите примеры.

5.Получите рекуррентные соотношения для нахождения матема­ тического ожидания и матрицы ковариаций марковской после­ довательности, заданной с помощью формирующего фильтра.

6.Что такое вннеровская последовательность, каковы ее свойст­ ва? Является ли вннеровская последовательность марковской?

7.Поясните, почему при постоянных матрицах Ф ,Г ,Q в соот­

ношениях (3.1.11), (3.1.12) и невыполнении равенства (3.1.28) последовательность не является стационарной? Проиллюстрируйте это на примере.

3.2. Оптимальные линейные алгоритмы фильтрации случайных последовательностей

В главе 2 применительно к задаче оценивания вектора постоян­ ных параметров были подробно рассмотрены возможные варианты построения алгоритмов в зависимости от уровня предполагаемой априорной информации. При рассмотрении задач оценивания по­ следовательностей, описывающих изменяющиеся во времени па­ раметры, в настоящей главе будем исходить из предположения о том, что они носят случайный характер, и, таким образом, задача может быть сформулирована в рамках байесовского подхода как задача нахождения оптимальных в среднеквадратическом смысле оценок. В частности, в настоящем разделе речь пойдет о построе­ нии линейных алгоритмов. Основное внимание уделяется задаче рекуррентной фильтрации случайных последовательностей, задан­ ных с помощью линейного формирующего фильтра, при наличии измерений, линейным образом зависящих от оцениваемой после­ довательности, и ее решению в виде соотношений дискретного фильтра Калмана. Однако в целях установления преемственности рассматриваемой в настоящем разделе задачи с задачей оценива­ ния постоянного вектора рассмотрим сначала постановку и алго­ ритм решения задачи нерекуррентного оценивания.

3.2.1. Постановка ирешение задачи нерекуррентного оптимального линейного оценивания случайных последовательностей

Рассмотрим следующую простейшую задачу оценивания слу­ чайных последовательностей.

Предположим, что с помощью корреляционных и взаимно кор­ реляционных функций заданы статистические свойства двух ска­ лярных случайных последовательностей X/ и у , , / = 1,2 ..:

(3.2.1)

(3.2.2)

Соседние файлы в папке книги