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

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

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

т. e. оценки искомого вектора, полученные с использованием дан­ ных только частных j -х измерений.

Принимая во внимание (2.6.14) (2.6.16), легко убедиться в том, что выражение для оптимальной оценки, полученной по всему на­ бору измерений, может быть преобразовано к виду

Xi = Ё И

Г

£ И (2.’)6.18)> ' ’

Ум

J ум

 

Иными словами, оптимальная оценка, полученная с использо­ ванием всего набора измерений, представляет собой «взвешен­ ную» сумму частных оптимальных оценок.

Предположение (2.6.15) можно и не вводить, если при получе­ нии частных оценок вместо (2.6.17) использовать соотношения

р О ) _

Л

.

.

V 1

-С Р 'Т 1+H}R]lHj

(2.6.19)

У‘

Блок-схема, соответствующая этому варианту, приведена на рис. 2.6.4. Эта схема называется децентрализованной в силу того, что вычисления частных оценок и соответствующих им матриц ковариаций может осуществляться в отдельных алгоритмах, а ис­ комая оценка затем определяется путем взвешивания этих частных оценок.

У\ =Hlx+vi

У; =H,x + Vi

Рис. 2.6.4. Децентрализованная схема обработки, основанная на использова­ нии результатов от частных алгоритмов

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

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

y t = x + vr

Если считать, что ошибки измерения представляют собой не­ коррелированные случайные величины с одинаковыми диспер­ сиями, то в этом случае оценку, соответствующую, например, ОМНК можно определить в виде среднего арифметического нако­

пленных измерений, т.е. х,

 

 

Записывая цепочку равенств

 

/-I

 

 

 

 

 

 

Л 1Y

y<+ H y j

 

y.

. !

.

!

ч

/=1

 

l - l ^

1,

Ki = l L y j

=------ :------= — + —

= *,-1 + -(y,

.

I

l

 

l

 

l

 

 

 

 

 

 

 

 

получаем

 

 

 

 

 

 

 

 

A

 

Л

l /

Л ч

 

(2.6.20)

 

 

 

 

 

 

 

i

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

(

i-x

Y Y /-I

^

 

»

J W=1

(2.6.21)

 

J

 

 

 

 

CP*)"1+ I

H]R]'Hj

y

 

(2.6.22)

 

 

 

^-1 =

 

 

Тогда можно записать следующую цепочку равенств:

т

 

=

V »

 

) = T ; « r v , +

 

J

 

 

 

 

J

\

 

 

У=1

 

 

 

 

/-

 

 

 

 

 

 

 

= р я тд : 0 + /г ! я , У я тл : У

= P (H TR : V + r t , ( г ) ) =

I

I

S I

1 - 1 / - 1

 

У У

' }

l \

I

I

■ ' I

1- 1 / — 1 V | - | / /

 

 

 

и =|

 

у;

 

 

 

 

=

+

 

A : A - Æ , ) ) + w

r

f e j i

;

. ,

)

- я а - Д - ,))=

=

 

 

 

 

+ / > f ë + Н Х н Х Я ,) =

 

 

 

= A -,(i; - ,) + W

O

’, - J ï A - ,« . ,) ) ;

 

 

 

л -

T

T 1+ I T jÆ j'tf ,

 

 

 

 

 

 

 

 

 

;=i

 

 

 

 

 

 

 

 

 

 

 

 

4-1

 

 

 

+HjR-lHi)i-i

(Px)~] + '±H}R]]Hj +H J R ? H A

={p,:!

из которых с очевидностью вытекают искомые рекуррентные со­ отношения:

З Д ) = A - Æ , ) + Р , » Х ( У , - »,*,- , Ю ) :

(26.23)

р,= ( р,:! + я л,-|я ,)‘ |

(2.6.24)

Важно подчеркнуть, что эти соотношения носят рекуррентный характер как для оценки, так и для матрицы ковариаций. Если вве­ сти матрицу

К/ = PjHjRJ’1,

(2.6.25)

то выражение для оценки можно представить как

 

*/ = T . T - i) + У Т “ Я Д -,О Т ))

(2.6.26)

Принимая во внимание выражения (1.4.25), (1.4.27), матрицу ковариаций ошибок оценивания Р( и матрицу К; можно вычис­ лять как

P i = P,_, - Pi~\Hj (H HJ +Riy lHiPi_l = ( E - K tHt)Pi_l ,(2.6.27)

K, = Pt-xHj (HiP^Hj + Ri)~l

(2.6.28)

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

2.6.5. Разностная схема обработки

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

У/ = Sj (а) + d + V,,

(2.6.29)

в которых ошибки представляют собой сумму

центрированной

Л

 

случайной величины d с дисперсией o d и некоррелированных между собой и от d центрированных случайных величин с одина­

ковыми дисперсиями rf = г2, г = 1 Задача такого рода уже рас­ сматривалась ранее в подразделах 2.2 (задача 2.2.6), 2.3 (задача 2.3.1), 2.5 (задачи 2.5.3, 2.5.4). Обсудим здесь более подробно воз­ можные подходы к получению алгоритмов нахождения вектора х .

В а р и а н т 1. Один из возможных подходов основан на расширении вектора состояния X =(xl,x2,x3)Т =(xT,d)T, т.е.

на включении d в состав отыскиваемых параметров. В этом слу­ чае задача сводится к оцениванию вектора X по измерениям

Уг =Si(X) + V;,i = \.m,

где Sj (X ) = Si (x) +d . При построении алгоритма можно исходить,

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

(

 

 

(

 

1

Ет ,

x3 = 0,D = - U , а относительно координат - ОМНК

 

Q=

а<1)

 

 

К

г 2

)

т. е.

 

 

 

 

 

 

г 2

1

т

 

 

(2.6.30)

J (X) = ^ +

r

((у,--s,(x)-d)f

 

 

°rf

i=i

 

 

 

 

Алгоритм, получаемый в результате минимизации этого крите­ рия, обеспечит нахождение как оценки х , так и оценки d

Если ввести предположение о случайном характере вектора х, полагая его некоррелированным с v и для определенности цен­

трированным с матрицей ковариаций Рх =а$Е2, то при построе­ нии алгоритма разумно исходить из минимизации критерия, соот­ ветствующего ММНК по всем компонентам X

j ( х ) = 4 + 4 + 4 + -V Ê о-, - s, « - d? °d r f=i

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

В а р и а н т 2. Этот вариант построения алгоритмов основан на том факте, что систематическая составляющая ошибки d явля­ ется мешающим параметром и получение его оценки интереса не представляет. В этом случае задача сводится к оцениванию векто­ ра х по измерениям у,• = s{(х) + s ,, / = 1 , где е,- = d + v,-.

Принимая во внимание соотношения (3) из задачи 2.3.1 и ори­

ентируясь на ОМНК при Q = (Re)~}, можем записать соответст­ вующий этому методу критерий в вид

 

(

 

1

( т

 

Л21

J °M,,K(V) = J_

т

 

ГГ *"

 

I

( y , - s , W ) 2

° d

£

су/-^(^)>

,(2.6.31)

Г"

*7

 

 

 

IllG j +

= l

 

J ;

который по понятным причинам совпадает с соотношением (6) задачи 2.3.1.

Легко показать, что оценки х, соответствующие критериям (2.6.30) и (2.6.31) между собой будут совпадать. Для этого необхо­ димо взять производную для (2.6.30) по л'3 = d , приравнять ее к

нулю, разрешить уравнение относительно d , подставить получен­ ный результат в критерий (2.6.30) и убедиться, что полученное выражение будет совпадать с критерием (2.6.31), см. задачу 2.6.6.

Далее будем полагать выполненным условие o 2d » г2 озна­

чающее, что априорной информацией о величине d можно пре­

небречь. В этом случае множитель

2

 

2

может быть заменен

 

 

 

 

 

тоd + г

 

 

на —

С учетом введенного условия, а также того факта, что

т

 

 

 

 

 

 

 

 

т

(

л f

т

 

 

 

 

т

£

U

-■*,(*))-----£

 

iyj-Sjix))

 

= £ (yi -5 ,(х ))2 -

Ы1

т

 

 

 

JJ

 

/=i

 

 

 

 

 

 

 

v2\

 

9 [

т

 

 

 

 

 

 

 

 

 

£ ( y j S j ( x ) )

 

— £ (у , - ф ))

+ Z

 

 

т

)

м

/72“ V>='

 

 

 

Ш

 

1

ш

 

 

\2

 

 

= £

 

— £ ( у , - Ф У )

 

 

ы

 

/и1тГ|К =1

 

 

 

критерий J

(х) можем представить в виде

 

 

 

 

h ’i -$ ,(*))—-

 

 

W

 

 

 

£

O'/-*/(*))

 

 

/ = 1

 

 

т

V/=l

))

 

 

 

 

 

или

1

т

 

Г " “ ( * ) - — £ ((у,

(2.6.32)

Г

1=1

 

где

 

 

 

1 т

(2.6.33)

 

Ут = —

 

т ы

 

 

1 т

(2.6.34)

 

?» (■«)=— Z •*,.(*).

 

т Т \

 

Анализ выражения (2.6.32) показывает, что решение исходной

задачи с точностью до предположения od » г2 эквивалентно

решению задачи оценивания х по измерениям

II

* +

»— S1

 

 

*

 

 

II

в которых

 

 

$ (*) = Л'.(д)-----£*,■(*);

 

 

т ы

 

1

т

Й = V,------2

^ ’

 

т ы

(2.6.35)

(2.6.36)

(2.6.37)

а ошибки измерения не содержат систематической составляющей и представляют некоррелированные между собой центрированные

случайные величины v;- с одинаковыми дисперсиями г2 = г2,

i = 1.т.

Таким образом, для нахождения оценки вектора х по измере­ ниям (2.6.29), содержащим систематическую составляющую ошибки, можно сначала сформировать разностное измерение в виде (2.6.37), а затем вместо исходной задачи решить задачу оце­ нивания вектора х по измерениям (2.6.35). Полученное в резуль­ тате решение будет совпадать с решением исходной задачи с точ­ ностью до пренебрежения априорной информацией о системати­ ческой составляющей ошибки.

Любопытно отметить, что при выполнении условия

т

£ > ,(* ) = О

(2.6.38)

i=

функция s,-(х) = sI(x ), и, таким образом, с точностью до предпо-

2

г

2

можно говорить о некотором совпадении алго­

ложения <5d »

 

ритмов вычисления оценки и соответствующих им дисперсий, по­ лучаемых в предположении наличия и отсутствия постоянной со­ ставляющей ошибки. Отличия будут заключаться в том, что в од­ ном случае (при отсутствии систематической составляющей ошибки) на вход алгоритма будут поступать исходные измерения, а в другом - разностные измерения (2.6.37).

Заметим, что если ввести предположение о гауссовском харак­ тере всех векторов, то, учитывая выражение (4) из задачи 2.5.3, легко убедиться в том, что построение алгоритмов с позиций байе­ совского подхода в рассматриваемой задаче можно также вести применительно к измерениям (2.6.35)-(2.6.37).

В а р и а н т 3. Обсудим еще один вариант, который нередко используется на практике при решении рассматриваемой задачи оценивания х по измерениям (2.6.29). Он основан на использова­ нии разностных измерений, формируемых путем вычитания каж­ дого измерения из некоторого опорного измерения. Так, принимая в качестве опорного т -е измерение, запишем

}’i = si(x) + vi ,i = \ . m - l,

(2.6.39)

si(x) = si( x ) - s w(x);

III

1

v.i = v.i Vm.

(2.6.40)

(2.6.41)

(2.6.42)

Здесь следует обратить внимание на два обстоятельства. Вопервых, число измерений стало на одно меньше, а во-вторых, ком­

поненты вектора ошибок измерения v =(v1,v2,...v,„_1)T стали ме­

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

 

Л ' = г 2(

£

,

_

,

(2.6.43)

где Ет _\,

| - единичная матрица и квадратная матрица, со­

ставленная из единичек размерности - 1 ) .

При решении этой задачи важно правильно учесть наличие появившейся статистической зависимости между компонентами

вектора ошибок разностных измерений. Принимая во внимание соотношение (П 1.1.59), для матрицы, обратной (2.6.43), запишем равенство

с использованием которого критерий, соответствующий ОМНК для измерений (2.6.39), можно представить в виде

т-1

( m-I

|

Г " ик(х) = ^ г Е

№ - ? w ) 2 —

È (yi-SiW)

.(2.6.44)

ы\

т

1=1

 

Возникает вопрос о взаимосвязи оценок, получаемых с исполь­ зованием преобразованных и исходных измерений. Разумно пред­ положить, что эти оценки эквивалентны, в чем можно убедиться путем преобразования критерия (2.6.44) к виду (2.6.31). Но эта эк­ вивалентность может быть установлена и из иных соображений, если учесть, что рассматриваемые алгоритмы вычисления оценок, не зависят от линейных невырожденных преобразований по отно­ шению к используемым измерениям (см. задачу 2.2.8).

Введем вектор преобразованных измерений в виде

----- 1

Si 1

__ 1

"1

0

- Г

’ У1 '

 

У г-У т

 

0

1

- 1

У2

 

 

 

 

 

 

(2.6.45)

 

Ут-l Ут

0

0

1 - 1

Ут-\

.

Ут .

0

0

1

_ . Ут .

Это преобразование не вырождено, причем -1) -я компонен­ та преобразованного вектора совпадет с вектором измерений (2.6.39), а последнее измерение

у,„ - s„Xx ) +уш+^

в (2.6.39) не используется; оно может рассматриваться как измере­ ние величины Л = (^,„(х) + v,„), фигурирующей в правой части каждой компоненты преобразованного вектора

Й= * /(* )-'П + V/,

сошибкой измерения, равной d , т. е.

Ут S Ут. =r\ + d .

299

9

г

9

можно заменить на предположение о беско-

Условие оd »

 

нечно большой дисперсии

2

, поэтому при решении задачи такое

измерение можно не учитывать.

Из сказанного следует, что решение задачи с использованием исходных измерений (2.6.29) можно рассматривать как решение задачи с использованием разностных измерений (2.6.45), получен­ ных из исходных измерений путем невырожденного преобразова­ ния. Отсюда и следует совпадение получаемых оценок.

Выше было показано, что решение исходной задачи с исполь­ зованием измерений (2.6.29) совпадает также с решением другой задачи - с использованием измерений (2.6.35), в которых ошибки измерения считаются между собой некоррелированными. Вместе с тем измерения типа (2.6.35) могут быть получены из исходных из-

мерений с помощью преобразования Т =

(

1

Л

При этом

 

Е „ ,--/.

 

 

 

m

 

 

ясно, что матрица ковариаций ошибок измерения, соответствую­ щая преобразованному вектору не будет диагональной, т.е. появ­ ляется зависимость компонент вектора ошибок преобразованных измерений. Возникает вопрос, почему при использовании таким образом преобразованных измерений тем не менее допустимо ис­ ходить из предположения о независимости ошибок измерения? Объясняется это тем, что рассмотренное преобразование является вырожденным. Учет этого обстоятельства при получении проце­ дуры оценивания и приведет в результате к алгоритму, соответст­ вующему использованию измерений (2.6.35). В этой связи можно отметить, что использование разностных измерений в виде (2.6.35) оказывается предпочтительнее в вычислительном плане, по срав­ нению со случаем использования измерений (2.6.39), поскольку не требуется обращения матрицы ковариаций.

♦ П р и м е р 2.6.2. Пусть требуется найти оценку скалярной вели­ чины х по измерениям

у, = hjX+ е, = h/X+ d + v,-,

(2.6.46)

в которых х и d - центрированные некоррелированные между собой случайные величины с дисперсиями al и oj, a v;-, i = l.m - некоррели­ рованные между собой и от d и х центрированные случайные величины

с одинаковыми дисперсиями г 2

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