книги / Основы теории оценивания с приложениями к задачам обработки навигационной информации. Ч. 1 Введение в теорию оценивания
.pdfДля случая ОМНК в этих выражениях следует положить
(/>ï)_l =0 и х = 0 а для МНК, кроме того, R~] =Е Такие алго
ритмы в теории оценивания получили наименование итерацион ных алгоритмов (iterated algorithm) или алгоритмов с локаль ными итерациями [109].
Заметим, что в силу выполнения равенства типа КН = Е , при использовании МНК или ОМНК, выражение для оценки (2.2.52) может быть представлено в следующей, удобной при практиче ской реализации, рекуррентной относительно номера итерации форме: х(т+1) = хм + 8 х(г+|), где Ôx(r+I) = К (.vM)[_y-s (xM)J.
Если полагать, что ошибки измерения представляют собой цен трированный случайный вектор с матрицей ковариаций R , а оце ниваемый вектор является случайным вектором с математическим
ожиданием х и матрицей ковариаций Рх , то выражение (2.2.54) с точностью до предположения о справедливости линеаризованного описания будет определять расчетную матрицу ковариаций ошибок оценивания. Этот термин используется в связи с тем, что матрица ковариаций, получаемая в предположении о справедливо сти линеаризованного представления функции .у(х), в общем слу чае отличается от действительной матрицы ковариаций, кото рая для произвольной оценки х (у ), в том числе и для оценки, вы рабатываемой с помощью линеаризованного или итерационного алгоритмов, задается как
Р = М[(х- х(у))(х- х(у))тj. |
(2.2.55) |
В этой связи встает проблема адекватности, т.е. соответствия расчетных матриц ковариаций их действительным значениям. Бо лее подробно эта проблема обсуждается в подразделах 2.5.4,2.5.6.
Важно также подчеркнуть, что получаемые в результате алго ритмы перестают быть линейными относительно измерений, по скольку появляется нелинейная зависимость от измерений, в силу того, что от измерений зависят матрицы К ( х ^ ) = К(х ^(у)) .
Зависимость от измерений появляется также и для расчетной мат рицы ковариаций Р(х(у)) = Р(х ^(у)) ■
Условная блок-схема, соответствующая итерационному алго ритму, представлена на рис. 2.2.7.
Алгоритм |
\-r+l |
вычисления
оценки
s ix '),
dx
\Х
Рис. 2.2.7. Блок-схема итерационного алгоритма оценивания
♦ П р и м е р 2.2.8. Получим основанный на линеаризации и итера ционный алгоритмы, соответствующие МНК, в задаче оценивания фазы гармонического колебания в предположении, что амплитуда и частота известны. Для простоты считаем амплитуду единичной.
Критерий (2.2.1) для МНК при х = фо в этом случае запишется как
т |
|
7 МНК(А) = £ (У / - since*, + А-))2 • |
(2.2.56) |
/=1 Для нахождения оценки, соответствующей критерию (2.2.56), необхо
димо найти точку расположения на оси абсцисс его минимального значе ния или для начала попытаться решить нормальное уравнение, соответ ствующее необходимому условию существования экстремума, которое в данном случае примет вид
^FyMHK/ Л ш
----------- = 2/_. (уi - sin(coti + л*))cos(co^ + Л') = 0 •
d x |
i=\ |
|
Ясно, что сведение задачи минимизации критерия (2.2.56) к задаче нахождения корней этого нелинейного уравнения не упрощает ее реше
ния. Используем линеаризованное описание функций sin(oo^ + х ) sin(cor,. + х ) « sin(co^. + х л) + (х - х л )А cos(œtf + х* ), 2=1 т ,
где х л - выбранная точка линеаризации. Тогда критерий в окрестности точки линеаризации будет представлять собой параболу
т |
|
/ мнк (х) « £ (у, {хл) - { х - х л) cosial, + х л))2 , |
(2.2.57) |
1=1 |
|
_ д
где у . ( х л) = у , -sin (co t, + r 7) .
Примеры графиков для минимизируемого критерия, соответствующе го исходной нелинейной функции и ее линеаризованному описанию при
истинном значении фазы ф0 =£ и х* = фо =^Е, изображены на рис. 2.2.8.
2 4
Рис. 2.2.8. График критерия У мнк(ф 0 ) 0 ) 11 его приближенного описания (2)
в задаче оценивания фазы
Принимая в качестве начальной точки линеаризации х л = х^ = ф0 ,
где (р0 |
- некоторое априорное значение фазы, и привлекая соотношение |
|
(2.2.51) |
с учетом вида |
= (cos(co^ + cp0)5..cos(co//;i -f ф0))т , полу |
чаем следующее выражение для оценки на первой итерации:
E°os(cÙt. + ф0)(у. - sin(co/( + ф0))
<Ро = % + —
Z c o s V ,. + ф0)
1=1 Эта оценка соответствует точке минимума параболы (2.2.57). Полагая
дополнительно, что ошибки измерения являются некоррелированными
между собой случайными величинами с одинаковой дисперсией г 2 , не трудно найти выражение и для соответствующей этой оценке расчетной дисперсии
|
|
? |
|
( а мик(ф0))2 = |
|
г~ |
|
* |
__ |
|
|
т |
|
||
Icos |
(со^ + ф0) |
|
|
1=1 |
|
|
|
Принимая в качестве следующей |
точки линеаризации л:7 = |
и |
проводя повторную обработку измерения, получаем более точное описа ние поведения минимизируемого критерия в окрестности точки экстре мума, а следовательно, и более точное значение оценки и соответствую щей ей расчетной дисперсии. Общие выражения для оценки (2.2.52) и ее расчетной дисперсии, соответствующие итерационному алгоритму
(Г+1) |
£ c o s K + ^ ) { у . - |
sin(cо/. + ф(0т)) - cos(ш, + Ф(0т1)(ф0 - Ф(0Г))) |
||
= Ф0 + ^ |
s |
; (2.2.58) |
||
Фо |
||||
|
|
£ |
COS 2 K + $ <;>) |
|
|
( ° ННК(Ф (0У)) ) 2 |
= |
т |
£соз2К + Ф (оУ))
Используя такую процедуру вычисления оценки до тех пор, пока она не перестает существенным образом изменяться, получаем оценку со значительно меньшей ошибкой, чем для одной итерации, т.е. при исполь зовании линеаризованного алгоритма.
Описанная ситуация поясняется с помощью приводимых ниже рисун ков и результатов, вычисления оценки, ее ошибки и расчетной дисперсии для нескольких итераций, представленных в табл. 2.27. Предполагалось,
, |
я |
ф0 |
л |
Зя |
что истинное значение фазы |
ф0 =—, а точка линеаризации |
|
= — . |
Рис. 2.2.9. Графики критерия У мнк(ф о) и его приближенного
описания при разном числе итераций
Заметим, что выражение для расчетной дисперсии практически не ме няется в силу малого изменения значения производной функции
sin(co/, + х ) при изменении точки линеаризации.
|
Т а б л и ц а 2.2.7 |
Значении оценок ф ^ , их ошибок |
и расчетных СКО с М11к(ф ^ ) |
при использовании итерационного алгоритма в задаче оценивания фазы
|
Л Зк |
п |
|
|
ф0л = — |
истинное значение ф0 = — |
|
Номер |
Ф(оТ> |
е (у) |
|
итерации |
|
|
|
1 |
1,6499 |
0,0791 |
0,0422 |
2 |
1,5233 |
-0,0475 |
0,0422 |
3 |
1,5164 |
-0,0544 |
0,0422 |
4 |
1,5161 |
-0,0547 |
0,0422 |
5 |
1,5161 |
-0,0547 |
0,0422 |
Рис. 2.2.10. Графики зависимости ошибок оценок фазы от номера итераций
Используя рекуррентную относительно номера итерации процедуру, можем записать
где
l]c o s (û )t. + ф ^ )^ . - |
тг(Ш . +ф(0у))) |
5 ф(п') = м ------------ - ----------------------------------------- |
♦ |
Z c o s 2(юл + ф ^ )
J=I
Линеаризованный и итерационный алгоритмы широко исполь зуются при решении задачи определения координат по точечным ориентирам. В частности, конкретизируем эти алгоритмы для примера решения такой задачи на плоскости.
♦ П р и м е р 2.2.9. Будем полагать, что заданы измерения (2.1.16) до двух точечных ориентиров, для простоты считая, что один из них рас положен на оси ох] , а второй - на оси ох2 Для начала для случая ис
пользования МНК запишем алгоритм, основанный на линеаризации. Предварительно заметим, что минимизируемый критерий имеет вид
,-----------:------ :---------- -N 2
/ мнк(х„ а-2)= I y i - ^ i - 4 +(*2 ~xlf I .(2-2-59)
'=Ч
а его приближение, соответствующее линеаризованному описанию
функции s {-(х) = D {(х) = y Ç l |
- XjУ + (*2 ~ х 2f |
в |
окрестности точки |
||||
линеаризации, представляет собой параболоид |
|
|
|
|
|||
7 МНК (а, , х2 ) * X (у,- - |
H,i (х)(х, - A-f ) - Н п (х)(х2 - х \ f |
(2.2.60) |
|||||
/=1 |
|
|
|
|
|
|
|
где Н п (х л ) = - sin П 1( х '7 ) |
, Н а ( х '7 ) = - cos П ((х л ), |
|
|
||||
А |
|
- |
w '\ - 4 \ |
+ Й = 4 \ |
' =1,2 |
||
Ъ(х*)=У1 - А(*л)= |
|||||||
Вводя |
|
|
|
|
|
|
|
Н = - sin П\ ( а- 7 ), cosЯ | (а"' ) |
Я, ( А 7) ' ; |
V = |
л С ь ) " : 5х = х —х 1 |
||||
sin Я 2 ( а '7 ), cosЯ 2 ( а |
' ) |
Я 2 (.г') |
|
. ? 2 |
(■ * .»). |
|
|
и привлекая (2.2.9), запишем |
|
|
|
|
|
|
|
5.v”"‘ = ( Я Д а ,)Я ,( а ,) + H |
X x j H |
^ x j r W x J y A x J |
+ Я ,т(алШ а.,)), |
где H i (x ’7) = - ( s in ^ ( x '7),cos77/ (x'7)), / = 1,2.
Предполагая дополнительно, что ошибки измерения - некоррелиро ванные между собой случайные величины с одинаковыми дисперсиями,
равными г ~ , конкретизируем также выражение (2.2.25) для расчетной матрицы ковариаций ошибок оценивания
Р м,,к (л'л) = г 2 ( н { (хл)Н ] (хл ) + Н \ (хл )Н 2 {хл))"‘
Будем считать, что точка линеаризации выбрана в начале координат,
т.е. х л = 0 В этом случае П 1(хл) = 90° П 2{хл) - 0 и, следовательно,
Н = —Е Принимая во внимание этот факт, получаем:
|
Ж*,) |
-»МНК |
5хм"к |
|
г 2 0 |
|
|
Я (* .,) ’ |
0 |
г 2 ' |
Таким образом, уточненные координаты объекта, вычисляемые с по мощью МНК, будут иметь вид
или с учетом того, что точка линеаризации выбрана в начале координат
Выбирая теперь в качестве х'1 = |
ôx ”,,K повторим вычисления еще |
раз, при этом заметим, что при 5хМ1,к |
Ф 0 матрица Н уже не будет еди |
ничной, так как П \( х л ) и П 2{хл ) будут отличны от 90 градусов и нуля соответственно. Для реализации итерационного алгоритма следует по-
- |
К£МИК |
на очередном шаге |
вторить описанные действия до тех пор, пока |
ох. |
не станет пренебрежимо малой.
Ясно, что полученные оценки будут совпадать с оценками ОМНК, ес ли весовая матрица Q выбрана диагональной с элементами 1/г2 , х = 0 ,
а матрица D нулевая.
Легко обобщить представленный алгоритм для случая, когда проведе
но т измерений. В частности, считая, что х = Ьх = (х - х 1) - центриро ванный вектор с матрицей ковариаций Р х , а ошибки измерения V,- -
некоррелированные между собой и с вектором х центрированные с.в. с
2 . :—
заданными дисперсиями г,- i = \.m, для расчетных матриц ковариации
ошибок оценок, соответствующих различным вариантам МНК, можно записать:
Р т,к(хя) = \Miix3) (2.2.61)
J
-1
(2.2.62)
(2.2.63)
где
, |
* |
sin2 П,(х*) |
0.5sin2П,(хя) |
(2.2.64) |
|
МАх' )= |
„ |
о |
. |
||
|
|
0.5 sin 2/7Д.Хл ) |
cos “ Л Д г ) |
|
Если считать измерения |
равноточными, |
т.е. |
полагать Г{2 = г 2 |
|
/ = \.т , то приведенные выражения упрощаются к виду: |
||||
7>М|1К ( а*-7 ) = Р омнк (х"? ) = /•.2 |
м |
|
Л-1 |
|
2 > , ( |
о |
(2.2.65) |
||
|
|
V /= 1 |
|
|
->ММНК / .7 |
1 |
w |
Л-1 |
|
|
(2.2.66) |
|||
|
£ м ,( л - '7) |
|||
(-v") = (/>*)-! + — |
||||
V |
г |
/=1 |
|
|
При использовании итерационного алгоритма для получения расчет
ной матрицы ковариаций вместо .V7 следует принять значение, получен ное для последней итерации.
Заметим, что число проведенных измерений и количество точечных ориентиров могут между собой не совпадать. ♦
Из полученных в примере 2.2.9 соотношений следует, что рас четная точность оценивания в задаче определения координат по точечным ориентирам в значительной степени определяется вза имным расположением ориентиров. Действительно, вводя соглас но (1.2.24) радиальную среднеквадратическую погрешность опре деления координат места с м, можем записать__________
стм - DRMS = ^ Рттк(1\) + Ротк(2,2) = rJ sp (£ M f(x-'))-1 (2.2.67)
Отсюда следует, что а м при одинаковой величине г в пренеб режении априорной информации определяется произведением среднеквадратической ошибки измерения дальностей на некото рый коэффициент
PDOP= Sp |
(2.2.68) |
|
i=i |
||
|
зависящий от взаимного расположения точечных ориентиров. Этот коэффициент называется геометрическим фактором (Position Dilution of Precision). Например, в частном случае двух точечных ориентиров при /72=77|+90° нетрудно убедиться в том, что <тм = 42г (см. задачу 2.2.5). Очевидно, что при увеличении числа используемых ориентиров т расчетная радиальная средие-
квадратическая погрешность будет уменьшаться.
При использовании алгоритмов, основанных на линеаризации, необходимо помнить об их приближенном характере. В целом описанные алгоритмы могут быть эффективными лишь в тех слу чаях, когда минимизируемый критерий имеет один экстремум, т.е. является унимодальным. Такие задачи обычно называют задачами с несущественными нелинейностями. В тех же ситуациях, для которых это условие не выполняется, что, как правило, обусловле но сложным поведением функций s(x) в области априорной не определенности, необходимо использовать алгоритмы, позволяю щие в полной мере учитывать нелинейный, многоэкстремальный характер задачи. Такие задачи в дальнейшем будем называть зада чами с существенными нелинейностями. Анализу особенностей решения этих задач и посвящен следующий подраздел.
2.2.6. Особенности существенно нелинейныхзадач оценивания
Обсудим особенности существенно нелинейных задач и воз можные пути их решения с использованием МНК. Для начала рас смотрим одномерную задачу.
♦П р и м е р 2.2.10. Пусть, располагая измерениями (2.1.14), тре
буется оценить частоту гармонического колебания в предположении, что амплитуда и фаза известны. Для простоты так же, как и в примере 2.2.8, считаем амплитуду единичной.
Для случая нахождения частоты при известном значении амплитуды и
фазы получим:
т
|
J miK (х) =]Г О/ - |
sin(.vf,- + Фо ))2 ; |
|
|
/=1 |
|
|
^уМНК/Л |
1П |
|
|
----- —^ |
О7/ " sinK - + Фо))соф:/, + <Ро ) = 0 |
||
|
— |
_ |
д |
Вводя обозначения л-со, лл= со, Sx = (сосо), у,(хл)= у, —sin(.v7/f- + Фо)
и поступая аналогично тому, как это было сделано в примере 2.2.8, запи шем:,у
у , (х л ) ~ 5х/ , cos( <57, + ер о ) + v , , / = 1 .in ,
т
/ мнк (х) « Y J (Й (*'* ) - ( х - Л-7ytf cos(x*ti + Фо))2 /=1
т
Y * , со^ |
, + %)(У, ~ sin№ |
+ ф0) |
|
бя-кгак =-i=J____________ __________________________ |
> |
||
ил |
//I |
|
Y * f COS2( Щ + % )
/=1
?
( с мнк) 2 = ------------------------------- .
т
2 ^ С 0 8 2 (ШО + ф 0) 1=1
Искомое значение частоты можно получить как ш = со + S x . Нетруд но здесь также конкретизировать и итерационный алгоритм. В табл. 2.2.8
Л (у) |
, их ошибок |
( у ) |
приведены примеры вычисления оценок Си |
в уи и расчет |
|
ных значений с.к.о. а (с о ^ ), полученных |
с помощью |
итерационного |
алгоритма при различных начальных точках линеаризации сол = 8 рад/с и
со*7 = 3 рад/с при истинном значении частоты |
со=2п |
рад/с. На рис. 2.2.11 |
|||||||
приведены графики критерия Умпк(со) |
и его |
приближенного |
описания |
||||||
для нескольких итераций при разных точках линеаризации. |
|
||||||||
|
|
|
|
|
|
|
|
Т а б л и ц а 2.2.8 |
|
|
Значения оценок 00^ , их ошибок 8 ^ |
и расчетных с.к.о. Cj(cû^) |
|||||||
|
|
для итерационного алгоритма в задаче оценивания частоты |
|||||||
|
|
|
ю'-8 рад|с |
|
|
|
сол=3 рад|с |
|
|
|
Истинное значение а>=2л рад/с |
|
Истинное значение со=2к рад/с |
||||||
Г |
|
ô (ï) |
8(г) |
а(<й(т)) |
Y |
|
|
е (у) |
а(ô>(ï)) |
1 |
|
7,4913 |
1,2081 |
0,0377 |
1 |
2,8421 |
-3,4411 |
0,0349 |
|
2 |
|
6,8638 |
0,5806 |
0,0351 |
2 |
2,7791 |
-3,5041 |
0,0332 |
|
-> |
6,3715 |
0,0883 |
0,0385 |
3 |
2,7555 |
-3,5276 |
0,0328 |
||
j |
|
||||||||
4 |
|
6,2824 |
-0,0008 |
0,0375 |
4 |
2,7468 |
-3,5364 |
0,0327 |
|
5 |
|
6,2821 |
-0,0011 |
0,0367 |
5 |
2,7436 |
-3,5396 |
0,0327 |