
книги из ГПНТБ / Брандин, В. Н. Основы экспериментальной космической баллистики
.pdfтребованию удовлетворяют, в частности, степенные полиномы
{т = 0, 1,...),
показанные на рис. 6.5.1.
Если x(t) имеет колебательный характер, то можно восполь зоваться тригонометрическими полиномами
«]>„(*)= sin ~ m t (m = 0, 1,...),
поведение которых показано на рис. 6.5.2.
Если x(t) имеет колебательную и монотонную составляющие одновременно, то можно воспользоваться полиномами Ле жандра
ФmV): |
VТ 2 |
( т - 0 , 1,...). |
|
d f |
|||
2т т п \ |
|
Из рис. 6.5.3 видно, что полиномы Лежандра обладают как тем, так и другим свойствами.
Рис. 6.5.3. Графики полиномов Ле- |
Рис. 6.5.4. Графики погрешностей |
жандра |
приближения функций полиномами |
Предположим, что каким-то образом выбрана система поли
номов |
ортонормированная с весом pit), т. е. |
||
|
J P ( t ) % (^Н'р { t ) d i = |
О при |
а Ф р |
|
\ |
(6.5.6) |
|
|
о |
1 при |
а = (3. |
Теперь уточним число членов в разложении (6.5.5). Это за дача об установлении наличия регрессии данного порядка, ко торая в корреляционном анализе решается с помощью последо вательной процедуры проверки гипотез [40]. Здесь рассмотрим
Оолее простую методику проверки степени'аппроксимирующего полинома, предложенную в работах [15, 46].
180
Пусть в соответствии с методом наименьших квадратов най дены оценки коэффициентов aj. Тогда оценка функции
*00 = 2 Bj'bV)
j-1
содержит методическую (за счет ограниченного числа членов разложения) и случайную (за счет случайности оценок коэффи циентов разложения) погрешности. Так как с увеличением числа членов первая погрешность убывает, а вторая возрастает, то су
ществует в некотором смысле оптимальная степень г аппрокси мирующего полинома (рис. 6.5.4).
Будем искать этот оптимум по критерию минимума следую щей меры погрешности:
|
|
|
( P i t ) |
{ x { t ) - x |
{ t ) f d t |
(6.5.7) |
|
Интеграл в формуле (6.5.7) на основании свойства ортонор- |
|||||
мированности (6.5.6) |
можно переписать в виде |
|
||||
|
\ P { t ) ( x ( t ) - x { t ) f d t = \ \ x { t ) f p ~ 2 2 |
|
||||
|
о |
|
|
|
/=1 |
;=1 |
|
/ |
т |
\ 1/2 |
|
|
|
где |
—м |
p i ^ x ^ i ^ d t J |
—норма |
функции |
x{t) с весом |
p{t).
Функция - p( t ) является весовой функцией ошибок измерений; ее значения в дискретные моменты времени U совпадают с веса ми p i в выражении (6.5.2).
'Оценки коэффициентов ш,- (/=1, ..., г), найденные |
по методу |
наименьших квадратов |
|
а=-С-}ЧтРг, |
(6.5.8) |
ввиду дискретного характера измерений с шагом At |
содержат |
составляющие методической погрешности r \(t)= x ( t)— x(t). Оценки aj (/=1, ..., г), содержащие только случайные погрешно сти измерений, имеют вид
а ^ а - С - ^ Р г ) , .
где >j= (Tl1, . . . , Л^) —вектор методических ошибок. Введя обозначение
A = C- V /> i|,
получим следующее выражение для меры погрешности (6.5.7):
181
°л- — l | - K ( i O l / ' ~ 2 a r ( a - f А )- {- М [ ( а - f A ) T ( # + ^ ) ] —
= \x{t) I\ - 2а та + АТД + М [<а')т (а)]
или, если перейти к центрированным случайным величинам
О—
a. = a,j — a,j,
o ^ = |x (/)i2p - a Ta + A TA + yw[aTa]- , |
(6.5.9 |
В последней формуле первые два члена характеризуют собой методическую ошибку представления x(t) конечным рядом (6.5.5), третий член является следствием этой ошибки и дискрет ности измерений,последний
M [ a ra \ = § a Tap(a)dQ(a)
2(a) .
характеризует случайные ошибки измерений. Для его вычисле- >
о
ния необходима плотность вероятностей вектора а.
В § 6.1 показано, что плотность вероятностей вектора оценок в линейной задаче при рассматриваемых условиях опыта может быть записана в виде
|
N |
1 |
|
Р (й) = |
(2язо) 21С | 2 exp I -------- a TC aJ. |
(6.5.10) |
|
|
|
2°о |
|
Известно [34], |
что функция |
плотности вероятностей |
(6.5.10) |
обладает следующим свойством:
M [ a a '] = a l C - 1.
Нетрудно заметить, что
М [ a Ta] = Sp М [ a a T] ,
где Sp — след матрицы.
Отсюда находим значение последнего члена в выражении
(6.5.9) |
|
|
М [ ата\ =оо SpC |
\ |
|
с учетом которого мера погрешности записывается в виде |
||
a2 = Iл (t) |6, - а та + ДТД + |
ol Sp С~\ |
(6.5.11) |
Исследование (6.5.11) на экстремум затруднительно. Найдем сначала приближенные выражения для последних двух слагае мых в формуле (6.5.11), имея в виду, что для элементов матри-
182
цы С в соответствии |
с условием |
(6.5.6) |
справедливы соотно |
шения |
|
|
|
N |
Т |
|
|
P i'b a 'h ? = |
Р J W |
( 0 Ф (3 dМt - j- - - - -= |
|
1=1 |
О |
|
|
|
-~-(1+Сар) |
при а = |
3, |
|
1 |
при а Ф р. |
|
|
----сар |
||
|
М |
|
|
Здесь Д/—шаг по времени измерения и с«р — погрешности вычислений соответствующих интегралов по обобщенной форму ле трапеций.
Считая, что функция x(t) является достаточно гладкой и объем выборки намного превосходит число оцениваемых коэф
фициентов, пренебрежем величинами сяр. Тогда получим
С~Х= ЫЕ.
Для ДТД можно записать
ДТД = чW C _V /> ij = 2 8У> j=l
где 8у —погрешности того же порядка, что и сяр.
Произведенные оценки дают возможность записать погреш ность аппроксимации в виде
4 |
— ^ a] + rh.b\. |
(6.5.12) |
|
i~i |
|
Приравнивая к нулю результат численного дифференцирова ния выражения (6.5.12)
4 ( г ) — 4 (г— 1 ) = — 4 + Д / 4 — О,
получим оптимальную величину коэффициента
= |
(6.5.13) |
Очевидно, что в разложении (6.5.5) необходимо оставлять только те члены, оценкикоторых удовлетворяют неравенству
« ; > а опх. и = 1,.. -, г). |
(6.5.14) |
183
Таким^образом, автоматически определяется оптимальное ко
личество г членов и окончательная оценка |
|
7 |
|
£ ( * ) = 2 “/Ъ (*)• |
(6.5.15) |
i =1 |
|
Расчеты показывают, что для аппроксимации кажущихся па раметров движения космического объекта по-измерениям ньюто нометров на участке работы двигательной установки длительно стью до 2 мин требуется, например, полином Лежандра не выше 3-й степени.
Наиболее слабым звеном в этом способе оценивания являет ся выбор системы функций на основе эвристических соображе ний. В случае когда проводится не один, а несколько сеансов измерений параметров движения, принадлежащих к одной и той
же статистической совокупности, можно применить более стро гий подход при выборе системы функций.
Рассмотрим модель факторного анализа, где решается задача выбора оптимальной системы аппроксимирующих функций.
§6.6. ОЦЕНИВАНИЕ НЕОПРЕДЕЛЕННОЙ МОДЕЛИ
СУЧЕТОМ АПРИОРНОЙ ИНФОРМАЦИИ
Обратимся к задаче § 6.5, полагая, что на этот раз имеется априорная информация об измеряемой функции, полученная в
результате серии предшествующих испытаний в аналогичных условиях опыта.
Пусть эта информация конкретно имеет вид выборочной кор реляционной матрицы 5:
|
П |
|
|
|
S = - ^ l ^ { z * - m z){zaL- m |
z)\ |
(6.6.1) |
|
о=1 |
|
|
где mz |
а —номер испытаний в серии, а |
п — общее |
|
количество |
испытаний. |
|
|
Пусть также известно, что вектор г = ( г 1Л |
...,zN) |
измерений |
относится к нормальной совокупности с нулевым вектором ма тематических ожиданий (принято для простоты) и корреляци
онной матрицей Bz. Матрица S является случайной. Д ля'даль нейшего необходимо знать ее распределение.
6.6.1. Распределение Уишарта
Установим сначала распределение матрицы А, которая свя зана с матрицей 5 следующим простым соотношением:
(6.6.2)
184
Рассмотрение начнем с простейшего случая N = 2, когда
А-- |
«11 |
«12 |
|
«21 |
«22 |
|
|
сде |
|
||
|
|
|
|
^ { Z k a — mZik)(zia — mZtl) |
(k, 1= 1,2) |
||
а=1 |
|
|
|
в , = |
|
Р3 13 2 |
|
Р3 13 2 |
2 |
|
|
|
3 2 |
|
|
где р — коэффициент корреляции. |
|
|
|
Так как 012= 021, то отсюда следует, |
что распределением для |
/1^ является совместное распределение случайных величин а*п, ап и «22Для установления этого распределения введем новую
систему случайных величин |
ап , Ь* и d*, |
которые |
связаны с |
прежними случайными величинами соотношениями вида |
|||
6 = — |
; d = a2i- - ^ ~ . |
|
(6.6.3) |
ап |
ап |
|
|
Оказывается, что случайные величины |
Ь* и d* |
независимы |
между собой [5]. Величина Ь* имеет условное нормальное рас пределение с плотностью вероятностей
|
|
|
|
1 |
Чь |
|
|
|
|
|
Р ( Ь / а 1 : (2лаг(1 — р2)) |
2 |
|
|
Р ^ -П - |
(6.6.4) |
|||||
|
а 1( ехр |
|
||||||||
|
|
|
|
|
|
|
2 а 2 ( 1 |
Р2 ) |
|
|
Величина |
о2 2(1—р2)~xd* имеет |
условное ^-распределение |
||||||||
с плотностью вероятностей |
|
|
|
|
|
|||||
|
|
|
|
|
|
- — (л-2) |
|
|
|
|
Р {d/an) ==(а2 (1 —■рД-1 2 |
|
т ( а " 2) X |
|
|||||||
|
|
|
|
|
|
|
|
|
||
X |
I —— |
|
2 |
(Л- 4) . . . . |
J ____ 1_ |
|
(6.6.5) |
|||
----- ^ ‘ |
|
ехр |
2 |
- 2 , |
|
|||||
|
|
а2(1-р2) |
) |
|
|
а2(1_р2) |
|
|
||
Наконец, величина Оц* имеет х2-распределение с плотностью |
||||||||||
вероятностей |
|
|
|
|
|
|
|
|
|
|
, |
- |
( л — 1 ) |
|
|
|
Т («-3) |
|
|
||
|
|
|
ап |
|
1 |
Дц |
||||
Р{ап ) = ч |
2 |
2 |
Г |
— {п— 1) |
ехр |
|||||
|
|
|
|
2 |
|
v |
|
|
2 |
-2 |
|
|
|
|
|
|
|
|
|
z |
°1 |
|
|
|
|
|
|
|
|
|
|
(6.6.6) |
где Г[-]—-гамма-функция.
-185
Совместная плотность распределения случайных величин Ь*, d* и йц* находится по теореме умножения вероятностей.
Искомая плотность вероятностей р(а22, й!2, |
йц) получается |
|||||
из p(b, |
d, йц) с учетом преобразований |
(6.6.3) |
|
по формуле |
||
Р ( ® 2 2 > |
® i 2 > ® п ) : = Р (b ( ® п > ® 1 г ) > й ? ( й ц , а п , Й 2 2 ) , |
|
( й ц , Д [ 2 , Й 2 2 ) , |
|||
|
|
|
|
|
|
(6.6.7) |
где Якобиан преобразования J ( а п , a i 2, а.2 2 ) |
|
|
||||
|
д (b, d) |
|
d i i |
0 |
'йц*. |
|
|
/ = |
|
|
|
||
|
д («12, a 2i) |
|
— 2#12^н |
1 |
|
|
|
|
|
|
|
||
После подстановки выражений (6.6.4) —(6.6.6) в выражение |
||||||
(6.6.7) |
с учетом равенств (6.6.3) |
получим |
|
|
|
|
|
* |
|
|
|
|
|
|
Р { а 2 2 , |
а |
12> |
|
|
|
|
|
|
|
|
||
|
Т ( я - 4 ) ( а П а 2 2 — 4Л |
е х р |
|
|
||
= |
а и |
|
/ |
|
|
|
Й 11 |
|
|
|
|
(2oi) |
‘"~1> |
|
где с= ■ |
Д11 __2р |
1- Р2 |
о? |
а п |
I й22 |
° 1а 2
В матричных обозначениях эта плотность вероятностей имеет вид
, т |
|
— S p В ~ 1А |
|
N4 I 2 |
е х р ( - |
||
р(А)-. |
|
. ( 6. 6. 8) |
|
2(л_;1)| 5г | 2 |
1}УяТ |
||
(п_1) |
|||
|
т |
По аналогии с выражением (6.6.8) записывается плотность вероятностей матрицы А произвольного порядка N [5]:
— ( п - 2 - N ) |
|
|
||
M l 2 |
е х р |
( —т Sp В‘ 'А |
||
р(Л )=- |
|
|
. (6.6.9) |
|
\ ( n ~ \ ) N |
- l ( n - l ) |
JV |
||
|
||||
в, |
|
П Г |
? ( л - 0 |
|
|
|
1-1 |
|
Это и есть распределение Уишарта, или многомерный аналог Т распределения.
186
Обозначив сомножители, не зависящие от матрицы fiz, через /г, получим
р{А) = к \ В г \ 2(" ' ’ехр |
(6.6.10) |
Ввиду того что исследование на максимум функции (6.6.10) можно производить с ее логарифмом, запишем
1п/?(А) = 1п&----1 ( п - 1) In | Bz I - 4 - Sp ЯГ1A.
Последняя формула с учетом равенства (6.6.2) преобразует ся к виду
\np{S) = \ n k ---- |
l- ( n - 1) [lnlfiJ + S p fir1^]. (6.6.11) |
6.6.2. Уравнение правдоподобия для факторной модели
В § 6.5 для измеряемого параметра движения x(t) была ис пользована формальная модель в виде ряда (6.5.5). Введем в рассмотрение факторную модель
1
в которой функции lj(t) (/= 1, ..., г ) — неизвестные факторные нагрузки, a fj — простые факторы, о которых известно, что
f ) ^ N { 0, 1) ' ( у =1, . . . , г). |
(6-6.13) |
|
Если в модели (6.5.5) система |
функций {фз(/)} |
выбиралась |
в некоторой степени произвольно, |
то в модели (6.6.12) система |
факторных нагрузок {lj(t)} определяется оптимальным образом
с использованием функции (6.6.11). |
измерений |
имеем |
|
Итак, для дискретных моментов времени |
|||
систему условных уравнений |
|
|
|
z i — ^ Ijjf) "Тh-i |
(i — 1,..., |
N), |
(6.6.14) |
j-i |
|
|
|
hi(zN (0, |
*0/YJi)- |
|
(6.6.15) |
С учетом функциональной зависимости случайных величин (6.6.14) и информации о их распределении (6.6.13) и (6.6.15) корреляционная матрица В2 вектора z записывается в виде
187
B z = LLT + 3l Р ~ \ |
16.6.16) |
||
где |
|
|
|
^11 |
Ki |
■ .1 |
|
l% |
^22 |
• .1 |
|
Ini |
Ini ■ ■i |
|
неизвестная матрица факторных нагрузок.
Для определения матрицы факторных нагрузок применим метод максимального правдоподобия, в соответствии с кото рым необходимо максимизировать функцию (6.6.11) по элемен там матрицы L. Необходимые условия экстремума записывают
ся в виде системы уравнений |
|
|
д In р (S) = 0 ( / = ! , . . . , N; у =1 , |
, г). |
(6.6.17) |
61и |
|
|
Для записи уравнений (6.6.17) в развернутой форме установим некоторые правила дифференцирования функций от матриц по параметру. Дифференцируя тождество
BzB J l— E
по параметру lih получаем |
|
|
|
5-1 |
п |
dl.. Bz |
О dBz |
|
^ B z — 7— = 0, |
||
ч |
dl.. |
|
ч |
|
откуда легко получить правило
дВ~г |
= |
- В Т ' |
4 ^ - |
ВТ 1. |
(6.6.18) |
|
dl.. |
||||||
|
z |
dl.. |
|
|||
ч |
|
|
ч |
|
|
Производная от логарифма определителя матрицы записывается в виде
д И | Bz | |
l-i |
d I Bz |
B, 1 ХП д [ Bz |
dbc,(3 |
|
В : |
|||||
dl.V |
|
dl.. |
2 |
dba,p |
dl.. |
|
|
ч |
a,(3 |
|
ч |
Алгебраические дополнение (5 Д р можно рассматривать как
частную производную |
| B z \ по Ьа?, а |
I Bz I (ДДр является элементом bа'9 обратной Отсюда легко получается правило
d In 1Bz | |
Sp |
в |
dBz |
|
dl.. |
dl.. |
|||
|
|
|||
ч |
|
|
ч |
произведение матрицы В ~ х .
(6.6.19)
188 |
i |
Применяя правила (6.6.18) и (6.6.19) при дифференцирова нии функции (6.6.11), получим
д In р ( § ) |
|
Sp |
В3 - 1 |
dBz |
дГ. |
|
|||
|
|
|
dl.. |
|
ч |
|
|
|
ч |
, dBz |
, ~ |
(*'*= I,-. -, |
АГ; |
|
- s P ( « 1— |
B J 'S |
г ). |
||
ч |
|
|
|
|
Используя свойства
S p ( 4 + £ ) = S p . A + Sp£;
S p 4 £ = Sp£>l,
справедливость которых легко установить непосредственной про веркой, получим уравнения (6.6.17) в виде
SP |
dBz |
B ~ l - |
- § ^ B 7 1S B 7 l \ = О |
(/ = 1,. . N; у= 1,. . ., г). |
dl |
|
чч
( 6. 6. 20)
Можно показать, что левая часть уравнения (6.6.20) являет ся элементом /-й строки и г'-го столбца матрицы
LTB 7 1- L rB 7 1S B 7 l,
откуда уравнение*(6.6.20) можно записать в виде
LTB 7 1- L TB 7 1S B 7 1= 0.
Последнее уравнение с использованием выражения (6.6.16) может быть преобразовано к виду [41]
1Т= (1ТЯ 1 )-1Г Я ( S - ^ P - 1). |
(6.6.21) |
Уравнение (6.6.21) является уравнением правдоподобия для матрицы L и будет использовано в дальнейшем для ее опреде ления. Так как факторные нагрузки находятся лишь «с точно стью» до преобразования вращения, то с целью получения одно значного решения накладывается условие, чтобы матрица
A = LTPL
была диагональной с расположением элементов в порядке их убывания.
Если предположить, что матрица L факторных нагрузок уже вычислена (вычислительная процедура рассмотрена в гл. IX), то значения самих факторов в серии испытаний с номером а мо гут быть найдены по методу максимальной апостериорной ве роятности. Из постановки задачи (6.6.18) — (6.6.15) следует, что
189