
книги из ГПНТБ / Пугачев, В. С. Основы статистической теории автоматических систем
.pdfДля статистических объектов и систем достаточно полной вероят ностной характеристикой является условная плотность вероятности / (у/х), где у — вектор выходных переменных; х — вектор входных переменных. Эта характеристика может быть определена опытным путем и является оператором, определяющим связь между полными вероятностными характеристиками входной и выходной функций, т. е. между плотностями вероятности / (л;) и f (у)\
СО
f (у) = . \ H y ! x ) f { x ) d x . |
(14.1) |
— со |
|
При идентификации системы по опытным данным необходимо получить оценки плотностей распределения f {х) и f (у) и решить уравнение (14.1) относительно / (ylх). Методы определения f {у/х) достаточно сложны и требуют большого объема вычислений. Поэтому при решении практических задач, особенно для многомерных сис тем, вместо законов распределения используют условные моментные характеристики случайных величин — математическое ожидание и
дисперсию.
Условное математическое ожидание случайной выходной пере менной Y относительно входной X для одномерной системы опреде ляется уравнением регрессии
М [Ylx] = а (х). |
(14.2) |
Условная дисперсия той же системы выражается с помощью
скедастического уравнения |
|
D [Y/x] = $ (х). |
(14.3) |
Наиболее простым является случай линейной регрессии, урав нение которой имеет вид
М. [Y | х] = тц+ |
рух (х — тх), |
(14.4) |
где |
|
|
М К Г - 'Л у Н Х - т ,) ] _ |
|
|
fV' ~ |
ОуОх |
|
= УТУ х\ |
o,j- = Y d u. |
|
При этом условная дисперсия р (х) оказывается практически постоянной. В случае нелинейного уравнения (14.2) условная дис персия зависит от х. Практически для решения задачи идентификации
вэтих случаях линию регрессии аппроксимируют отрезками прямых
[60].Приведенные вероятностные характеристики дают возможность достаточно просто построить приближенную модель одномерной ста тической системы. Изложенный способ распространяется также на
многомерные системы.
Для динамических объектов и систем при статистической иден тификации применяют методы теории случайных функций. При этом для полной идентификации требуется определить многомерные услов-
34* |
371 |
ные плотности вероятностей, что связано с громоздкими вычислени ями. Поэтому применяют методы, основанные на использовании кор реляционных функций для систем с линейной регрессией и дисперси онных функций для систем с нелинейной регрессией [60 ]. Эти методы приводят задачу определения динамической характеристики систе мы к решению некоторых уравнений, характеризующих связь между корреляционными или дисперсионными функциями входных и выход ных переменных. Решая эти уравнения, определяем детерминиро ванный оператор, наилучшим образом (в смысле принятого статисти ческого критерия) аппроксимирующий оператор идентифицируемой системы.
В некоторых случаях задача идентификации оператора динами ческой системы решается в два этапа: предварительно каким-либо способом определяют структуру оператора, а затем находят оценку его параметров.
14.2. Идентификация линейных систем
Рассмотрим задачу идентификации динамической системы (рис. 14.1), для которой одновременно могут быть измерены входная X (t) и выходная У (t) случайные переменные. Стохастическая при рода выходного сигнала Y (/) обусловлена как случайным входным сигналом X (/), так и неконтролируемой помехой N (t) (рис. 14.1). Кроме того, имеются ошибки измерения как для X (t), так и для Y (t).
Задача состоит в определении оператора модели A x (t) (рис. 14.1), наилучшим образом аппроксимирующего истинный неизвестный оператор реальной системы.
Пусть для модели зависимость между входом и выходом имеет вид
К* (0 = А х (0 X (т).
В сущности задача состоит в определении оптимального оператора модели, при котором зависимость У* (t) близка к Y (/). По термино логии теории оптимальных систем Y (t) является требуемым теоре тическим сигналом [56].
При решении задач идентификации в большинстве случаев опти мальный оператор находят по критерию минимума среднего квад
рата ошибки |
|
|
|
|
M\[Y (*) — A t (i) X (т)]2} = min. |
|
(14.5) |
||
Условие (14.5) приводит к следую |
||||
щему выражению |
для |
оптимального |
||
оператора (см. гл. |
10 и работу |
[65]): |
||
А т(*) X (т) = М \Y(t)/X (т)}. |
(14.6) |
|||
Последнее выражение представляет |
||||
собой регрессию |
выходной переменной |
|||
Рнс. 14.1. Динамическая система Y ОТНОСИТеЛЬНО |
ВХОДНОЙ |
X, Т. |
е. ОПе- |
372
ратор условного математического ожидания. Он является опти мальным в классе всех возможных операторов при выбранном критерии. Будем отыскивать оптимальный оператор в классе всех линейных операторов.
Уравнение для определения линейного оператора получим сле дующим образом. Умножим правую и левую части выражения (14.6) на X (т') и осредним по входному сигналу:
М {Лт (t) X (т) X (т')1 — М \М [Y (t)/X (т)} X (т')}. |
(14.7) |
Выражение (14.7) можно переписать в виде выражения |
|
М {Ах (i) X (т) X (г')} = М \Y (f) X (г')}. |
(14.8) |
Линейный оператор А х (t) коммутативен с оператором математи ческого ожидания М, поэтому соотношение (14.8) запишем в форме
А х (О М \Х (т) X (т')| = M \ Y (t) X (т')}. |
(14.9) |
Равенство (14.9) является уравнением для определения оптималь ной оценки оператора в классе линейных операторов по критерию минимума среднего квадрата ошибки.
Уравнение (14.9) можно записать для линейного интегрального оператора
|
Jt |
g (t, т) Гд., |
(т, т') dx = |
Г^, (t, |
т'), |
|
(14.10) |
|
1 - Т |
|
|
|
|
|
|
где Т — интервал наблюдения; |
ГАЧ.(т, т') = |
щх(т) тх(т') + |
Кх (т> т'); |
||||
Тух (t, т') |
= ту (t) тх (т') + KyS (t, х'). |
|
для |
статистической |
|||
Таким |
образом, |
в рассматриваемом случае |
идентификации линейной системы необходимо определить из опыта F.v.v (т, т'), Tyx(t, т') и решить интегральное уравнение (14.10).
Без ограничения общности для линейных систем можно считать
тх (t) = 0, тц (t) = |
0. Тогда уравнение (14.10) принимает вид |
|
t |
|
|
| |
g (t, т) Кх (т >т') dx = к ух (t, х'). |
(14.11) |
t - T |
|
|
Изложенный метод идентификации обобщается на многомерные линейные системы. Оптимальный оператор представляет собой оператор условного математического ожидания при заданном век торе входных сигналов, а оптимальные оценки операторов могут быть получены из системы уравнений типа (14.10), содержащих корреляционные и взаимные корреляционные начальные моменты рассматриваемых переменных.
Некоторые разновидности решаемой задачи возникают тогда, когда требуется идентифицировать весовые функции линейной сис темы, на которую действуют неконтролируемые помехи.
Пусть необходимо идентифицировать весовую функцию g (t, т) системы (рис. 14.2), имеющей два входа и состоящей из двух частей с весовыми функциями gy (t, т), g2 (t, т).
373
Рис. 14.2. Линейная динамическая система
Входной и выходной случайные сигналы обозначим через X (t) и Y (t). Кроме того, на систему действует неконтролируемая помеха N (t). Для простоты предположим, что математические ожидания всех сигналов равны нулю. Выходной сигнал рассматриваемой сис
темы (рис. |
14.2) |
имеет вид |
|
К° (i) |
|
t |
t |
= |
f g ( t , x ) X* (т) dx + |
j g 2 (t, x) № (t) dx, |
|
|
t - T |
i - T |
(14.12)
где g {t, t) — весовая функция всей системы; g*( t , т) — весовая функция от входа N до выхода системы (рис. 14.2). Умножая левую и правую части выражения (14.2) на Х° (t) и применяя операцию математического ожидания, получаем
t
Кух {t, |
х)' |
= |
| |
g {t, т) Кх (т, х') |
dx + |
|
|
|
i — T |
|
|
+ |
Jt |
gi ( t , |
x)KNx(x, x') dx. |
(14.13) |
|
|
t - T |
|
|
|
|
Из выражения (14.13) |
следует уравнение (14.11), если помеха |
||||
не коррелирована со входным сигналом Х° (/). |
Следовательно, при |
некоррелированной с входным сигналом X (t) случайной неконтро лируемой помехе N ( t) для идентификации весовой функции линей ной системы получаем уравнение (14.11). В случае коррелированной и неизмеряемой помехи задача идентификации весовой функции линейной системы не может быть решена. Ее надо ставить и решать так, как изложено в начале данного параграфа.
14.3. Оценка параметров линейных систем
Рассмотрим задачу получения оптимальных по критерию минимума среднего квадрата ошибки оценок параметров линейных нестацио нарных динамических систем, описываемых уравнением
У = А {t, U) Y + В (t, U ) Z { t ) , |
(14.14) |
где А (t, U), В (t, U) — матрицы коэффициентов, зависящих от вре мени и вектора случайных параметров U.
374
На интервале [О, Т] наблюдается вектор
X (I) = H Y (t) + N (О, |
(Н.15) |
где Н — матрица, характеризующая измеритель; N (t) — вектор помех измерителя. Требуется по наблюдению сигнала (14.15) постро ить оптимальную оценку вектора параметров.
Выходной сигнал системы (14.14) можно представить в интеграль ной форме
|
t |
|
|
у (t) = |
J G (t,r, |
U) Z (x) dx, |
(14.16) |
|
о |
|
|
где G (t, t, U) —■матрица |
весовых |
функций системы. Подставляя |
Y (t) в формулу (14.15), получаем выражение для вектора наблю даемого сигнала:
/
X (t) = Н \ G.(t, т, U )Z(x) dx + N{t). |
(14.17) |
о |
|
Поставленная задача может быть решена методами, изложенными в гл. 13. . С принципиальной точки зрения эта задача не вызывает каких-либо трудностей. Однако конкретные результаты можно полу чить только при условии принятия дополнительных предположений, так как аналитические выражения весовых функций можно полу чить лишь для простейших систем и в частности для стационарных систем невысокого порядка. В подавляющем числе случаев весовые функции могут быть получены лишь в результате численного интег рирования уравнений системы при фиксированных значениях пара метров. В этом случае остается неизвестной зависимость весовых функций от случайных параметров. Поэтому нельзя осуществить интегрирование по случайным параметрам при вычислении оптималь ной оценки вектора параметров.
Чтобы получить какие-то реальные результаты, целесообразно учесть априорную информацию о значениях параметров. В качестве такой информации можно использовать законы распределения пара метров или моменты распределения. В удовлетворительно спроекти рованном и реализованном устройстве параметры незначительно отклоняются от своих номинальных значений. Поэтому возможно разложение весовых функций системы в ряд Тейлора по параметрам относительно математических ожиданий параметров и сохранение в разложении линейного, а в ряде случаев и квадратичного членов раз ложения.
Другим фактором, который можно использовать для получения приближенного аналитического решения, является сравнительно высокая точность оценки параметров. При этом условная плотность вероятности вектора параметров при фиксированной реализации входного сигнала близка к 5-функции. Поскольку 6 -функция явля ется пределом нормальной плотности вероятности при стремлении дисперсии к нулю, то при высокой точности измерения параметров апостериорная плотность вероятности может быть аппроксимиро-
375
ваиа нормальным законом относительно оптимальной оценки век тора параметров. Эта идея уже использовалась рядом авторов [3, 4, 5] и оказалась весьма эффективной для решения ряда задач в стати стической теории оптимальных систем.
Для решения задачи, сформулированной в данном параграфе, воспользуемся условием небольших отклонений параметров от номи нальных. значений. Разложим матрицу весовых функций системы (14.14) в ряд Тэйлора по параметрам и ограничимся линейным чле ном. Разложение выполним относительно вектора математического ожидания параметров:
|
G (t, т, U) = |
G (t, |
х, от) + |
УС? (*, т, от) V, |
(14.18) |
||||
где |
V = U — пг— вектор |
отклонения |
параметров; |
VC? = |
|||||
= I dGtjldUk I — градиент |
матрицы весовых |
функций |
по |
вектору |
|||||
параметров. |
|
|
|
|
|
|
|
|
|
|
Подставляя разложение (14.18) в выражение (14.17), запишем |
||||||||
наблюдаемый сигнал в следующей форме: |
|
|
|
||||||
|
X (I) = |
H Y T + |
S (i) V + |
N (t), |
|
(14.19) |
|||
где матрица |
|
|
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
|
S (/) = Н { VC? (t, т, |
от) Z (т) dx = НФ (0. |
(14.20) |
||||||
|
о |
|
|
|
|
|
|
|
|
|
Элементы матрицы Ф (() |
имеют вид |
|
|
|
|
|||
|
ф г/ (0 = |
2 |
JdGik% x’ m) Zk (т) dx, |
|
(14.21) |
||||
|
|
*=i о |
|
! |
|
|
|
|
|
где I — размерность вектора случайных |
параметров. |
номинальных |
|||||||
|
Вектор Кт есть выходной |
сигнал |
системы при |
значениях параметров. Используя весовую функцию системы, пред ставим этот вектор формулой
t |
|
Yr (t) = } С? (t, х, от) Z (т) dx. |
(14.22) |
о
Предположим, что решение системы (14.14) при номинальных значениях параметров известно. Принимая это решение за опорное (теоретическое). Формируя только наблюдаемую часть этого реше ния ЯК Т и вычитая из выражения (14.19) эту составляющую, полу чаем центрированное значение наблюдаемого сигнала, если помеха имеет математическое ожидание, то его можно сформировать и вы честь из выражения (14.19):
Х° (t) = S (0 V + N{i). |
(14.23) |
Матрицу S (t) можно получить как наблюдаемую часть выход ного сигнала некоторой вспомогательной системы, получаемой из системы (14.14) дифференцированием по случайным параметрам.
376
Выполняя дифференцирование системы (14.14) и обозначая Ф = VF, получаем
Ф = А (t, т) Ф + VA (/, да) FT + VB (t, т) Z (t), (14.24)
где FT — выходной сигнал системы, описываемой уравнением (14.14), при номинальных значениях параметров:
FT = А (/, т) F T + В (t, да) Z (f). |
(14.25) |
Сформированный сигнал (14.23) соответствует случаю наблюде ния аддитивной помехи и полезного сигнала, линейно зависящего от вектора параметров. Этот случай рассмотрен в п. 10.8. В соответ ствии с результатами, полученными в этом параграфе, оптимальную оценку вектора параметров проводят по формуле
V* = (КС + 1)~гК Q, |
(14.26) |
где / — единичная матрица; К — априорная корреляционная мат рица вектора параметров. Матрицы С и Q определяются формулами
Т |
т |
|
|
С = f # 0 (т) 5 (т) |
6а\ Q = J |
go (т) х (т) dr, |
(14.27) |
б |
о |
|
|
где штрих означает операцию транспонирования. |
|
||
Матрица весовых функций |
go определяется решением линейного |
||
интегрального уравнения |
|
|
|
г |
|
|
|
f go (г) KN (t, т) dr = |
5 ' (t). |
(14.28) |
б
Для частного случая, когда помеха является белым шумом с матрицей корреляционных функций K n (U О = <76 ( t — ?), интег ральное уравнение (14.28) легко решается, и весовая функция
go (т) = 5 ' (т) G-K |
(14.29) |
Подставляя это выражение в формулу (14.27) и используя фор мулу для матрицы полезного сигнала (14.22), получаем следующие формулы для матрицы С и Q:
|
т |
|
|
|
|
С = |
J |
5 ' (т) |
<7_15 |
(т) dr-, |
(14.30) |
|
0 |
|
|
|
|
|
Т |
|
|
|
|
Q = |
j |
S' (т) |
G ^ X |
(т) dr. |
(14.31) |
|
о |
|
|
|
|
Точность получения компонент вектора оценки параметров
характеризуется апостериорной корреляционной |
матрицей |
|
К* = М (КС + |
/ ) -1 К, |
(14.32) |
где М — оператор математического |
ожидания. |
|
Структурная схема, соответствующая алгоритму получения оценки вектора параметров для случая, когда помеха является белым шу-
377
Рис. 14.3. Структурная схема алгоритма оценки |
вектора параметров линейной системы: |
с Г» — операция транспонирования матрицы; ( |
)-1 — операция обращения матрицы |
мом, показана на рис. 14.3. Часть схемы на этом рисунке представля ет собой модель системы при номинальных значениях параметров и модель, характеризующую чувствительность выходного векторного сигнала от параметров системы. Построение такой системы базиру ется на предположении об априорном знании структуры системы.
Для повышения точности получения оценки вектора параметров целесообразно ввести обратную связь, суммируя вектор оценки V* с вектором математического ожидания параметров в матрицах коэф фициентов модели системы. В результате такой корректировки мо дель теоретической системы становится более близкой к фактической системе. При этом точность представления матрицы весовой функции рядом (14.18) повышается.
Если помеха при наблюдении сигнала отсутствует, то оптимальная оценка вектора параметров равна истинному значению вектора. Действительно, в этом случае элементы матрицы отношения спгнал/шум в формуле (14.26) значительно больше элементов единичной
матрицы. Поэтому |
|
V* = C -'K ^K Q = С 1Q. |
(14.33) |
В данном случае вектор |
|
Q = Jт 5' (т) G -'S (т) d - iV . |
(14.34) |
о |
|
Используя формулу (14.30), представим вектор Q в следующем виде:
Q = CV. |
(14.35) |
Подставляя это значение в формулу (14.33), получаем точное равенство между оценкой вектора параметров и его истинным зна чением:
V* = V. |
(14.36) |
378
Пример. Динамическая система первого порядка описывается уравнением
1>“ — 5 Г К + ' & 2<')' |
(,4 37) |
где U2 — постоянная времени: и г — коэффициент усиления: Z (I) — зондирующий входной сигнал. Случайные величины Ult U2 имеют нормальный закон распределе ния вероятности, математические ожидания mv т2, дисперсии Dlt D„ и нулевой взаимный корреляционный момент.
На интервале [О, Т) выходной сигнал системы наблюдается совместно с адди тивным белым шумом, имеющим интенсивность G.
Требуется определить оптимальные оценки коэффициента усиления и постоян
ной времени по критерию минимума среднего квадрата ошибки. |
функ |
В данном случае матрица Н = 1 и наблюдаемый сигнал есть скалярная |
|
ция |
|
X (I) = Ут + 5 (/) V + N (0, |
(14.38) |
где Ут — выходной сигнал системы, имеющей номинальные значения параметров:
Кт = |
------ У т + |
— |
Z (/). |
(14.39) |
1 |
пц ‘ |
гп2 |
' |
' |
Формируя сигнал YT согласно математической модели (13.39), можно вычесть его из наблюдаемого сигнала (14.38) и получить центрированное значение. Тогда
наблюдаемый сигнал |
имеет вид |
|
|
|
|
А' 0 (0 = Su (OVi + S12 (/) V2 + N (0- |
(14.40) |
Матрица 5 (() имеет следующие компоненты; Su = Фи : |
S12 = Ф12 и S 21 = |
||
= S 22 = |
0. Элементы матрицы Ф определяются решением при нулевых начальных |
||
условиях |
следующих |
уравнений: |
|
— |
Фи + — |
2 (0 ; |
щ |
щ |
' |
>1 2 + 4 YT— ^ Z ( i ) .
ЩЩ
(14.41)
(14.42)
Уравнения (14.39), (14.41), (14.42) описывают модель инерционного звена и модель чувствительности по параметрам при номинальных значениях параметров.
Согласно формуле (14.29) весовая функция оптимального фильтра
s„ о |
7 Г° |
120*- |
0 0 |
Вычислим матрицу С по формуле (14.30);
т
С = 1 |
"IS u |
0 |
II *^11 |
|
|
|
о |
||
G II *^12 |
0 |
|||
|
||||
|
0 |
|
|
-тг»
(14.43)
*5i 2
О
1 |
Г П о |
|
Г |
S n S I2 |
|
|
(14.44) |
|
G J |
^11*^12 *^12 |
|
|
0 |
1 |
Интеграл от матрицы в этой формуле понимается как интеграл от каждого эле мента матрицы.
379
В соответствии с формулой (14.31) вектор |
|
|
|
|
|||||||
|
|
_ |
|
. |
!" |
Su Х (х)| dx. |
(14.45) |
||||
|
|
Q — ■G |
|
S12 X (т) I |
|
||||||
Вектор оптимальной |
оценки (14.26) |
|
определяется |
выражением |
|||||||
|
|
|
I |
|
|
|
|
|
1 |
|
|
V* = |
1+ ^ |
J Sil (Т) d% |
|
1 5ц (Т) 5l2 (Т) йХ |
|||||||
I |
|
|
|
|
|
|
|
I |
X |
||
|
|
|
|
|
|
|
|
|
|||
|
J 5 „ (т) S12 (т) dx 1 + |
|
J 4 (,х) dx |
||||||||
|
|
|
|
I |
|
|
|
|
|
|
|
|
|
|
|
} Sn |
(т) X (X) dx |
|
|||||
|
|
X |
|
|
|
|
|
|
|
|
(14.46) |
|
|
|
D0 J S „ (x) X (x) dx. |
|
|||||||
Вычисляя обратную матрицу, |
получаем |
|
|
|
|
||||||
|
|
|
Т |
' |
|
|
|
|
|
Т |
|
|
1+ I T J |
|
(т) dx |
~ |
^ |
t \ |
S n (x)Sn (x)dx |
||||
(КС + /)-1 = - j - |
|
1 |
|
|
|
|
|
|
|
|
(14.47) |
|
|
|
|
|
|
|
|
|
|
J |
|
|
^ |
J s n (x)S12(x)dx |
|
l + - ^ - j 4 1 (x)dx, |
|||||||
где |
|
|
|
|
|
|
|
|
|
|
|
b = 1 + ^ |
1 |
Sn (T) dT) |
1 + - ^ |
J |
-S=2 (x)dx J — |
||||||
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
а д * |
|
J Su (x) Sls (x) dx |
(14.48) |
||||||
|
|
|
G2 |
|
|
||||||
Подставляя соотношение (14.47) в формулу (14.46) и перемножая матрицы, |
|||||||||||
получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
у* _ _J_ II ^11 |
^12 I |
|
(14.49) |
|||||
|
|
|
|
|
b |
\\ |
А |
А |
Г |
' |
|
|
|
|
|
|
|
||||||
где |
|
|
|
|
|
}| |
^21 |
Л22 II |
|
|
|
/ |
|
|
|
|
|
|
|
|
|
|
|
|
|
т |
|
|
\ |
|
т |
|
|||
А ц = |
1 + |
j 4а(т) * |
|
J5 П (х) X (х) dx, |
|||||||
А » = |
- |
|
1 |
|
(т) Sj „ (х) dx |
J |
|
||||
|
|
Sn |
J S12 (x) X (x) dx, |
||||||||
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
Ga |
j" |
|
fa) ^ia fa) dx j" Sn (x) X (x) dx, |
380