
книги из ГПНТБ / Брикман, М. С. Аналитическая идентификация управляемых систем
.pdf181 |
|
ПРЕОБРАЗОВАНИЕ ИНТЕГРАЛЬНЫХ УРАВНЕНИИ ИДЕНТИФИКАЦИИ |
||
где |
|
wa(t,B) |
— искомая функция; |
|
ми q |
ч_1 (^, в, х ), т< 0; — |
известное |
ядро интегрального |
|
1 |
> ’ |
~\ N2(t, 0, т), т> 0 |
уравнения; |
|
|
|
f(t,B) и X(t) |
— известные функции. |
|
В |
общем случае функции |
J V i ( / , 0 , t ) |
и N2(t,Q, т) не совпа |
|
дают. |
|
|
|
|
К уравнению (5.38) применимы обычные методы численного решения уравнений Фредгольма [1.9, 1.21]. Эти методы рассмот рены в третьей н четвертой главах применительно к задаче ре шения операторного уравнения идентификации (2.10).
В настоящем параграфе предлагаются простые алгоритмы определения toa(l, 0) из выражения (5.38), использующие спе циальный вид ядра N(t,B, т). Допустим, что функции Ni(t,Q, т) являются разложимыми функциями, т. е. на нестационарном от
резке la(t), b(t)] справедливы следующие выражения: |
|
||
х) = Ц > г Т (1, т) Ф; (1, 0), |
(1= 1,2); |
(5.39) |
|
Ф >т = |
[ Ф и , • ■ • i, nФ, ] ' , |
|
|
f i T= |
[фг-1, •••, фгп; ], |
|
|
где фдДт), ф,7( (1, т) — известные линейно-независимые функции.
Это предположение при решении практических задач обычно выполняется, что позволяет значительно упростить процедуру решения.
Рассмотрим алгоритмы, которые вытекают из разложения
(5.39).
1. Приведение интегрального уравнения (5.38) к эквивалент ной системе дифференциальных уравнений.
Перепишем уравнение (5.38) с учетом (5.39)
о
X(t)wa(t, 0 )+ ф 1т (1, 0) J wa(t, x)cpi(f, x)dx-\-
а(<) |
|
Ь(0 |
|
+ ф 2г (1, 0 ) J Wa{t,T)^(t,x)dx = f(t,Q). |
(5.40) |
в
Произведем в уравнении (5.40) замену переменных по фор мулам
0 |
|
J wa(t, т)ф!(1, r)dx = |
\n(t, 0); |
“(О |
(5.41) |
b(t) |
|
j Wa{t, т)ф2(/, т)й?Т = |
р2(/, 0)- |
е |
|
ГЛАВА V |
182 |
Умножив уравнение (5.40) на блочный вектор ср(^, 0) и пре образовав полученное выражение в соответствии с (5.41), при ходим к следующей системе дифференциальных уравнений:
т Щ Р - |
+P(f, 0) n(t, 0) = y ( t , |
0), |
(5.42) |
||
где |
|
|
|
|
|
Рг (t, |
0) = |
( щ т (/, 0) -щ > т (t, 0) ]; |
|
|
|
Р (/, 6) =Ф (t, |
0)фг (^, 0); |
y(t, 0) = f ( t , |
0)Ф (t, 0); |
|
|
Фт — [ф1гф2г] ; |
Фт = [ф1т—фгт] . |
|
Граничные условия для системы (5.42) вытекают из урав нений (5.40)
H1[/,a (0 ] = fi2 ^ ,6 (0 ]= 0. |
(5.43) |
Таким образом, уравнение (5.38) эквивалентно задаче Коши (5.42), (5.43) для системы обыкновенных линейных дифферен циальных уравнений, методы решения которой хорошо разра ботаны [2.19, 1.21]. После того как решение задачи Коши най дено, определяем искомую импульсную переходную функцию по формуле, вытекающей из (5.40), с учетом обозначений (5.41).
(*, 0) = - щ у [/ V, 0) -Ф г (t, 0) ц(t, 0) ]. |
(5.44) |
З а м е ч а н и е 5.6. Для стационарных систем, идентифицируемых на полубесконечном интервале при стационарном входном воздействии урав нение (5.38) принимает вид
^ ( 0 + J |
wa(x)N(t-x)dx=f(t), |
(5.45) |
||
где |
|
|
|
|
,,,, |
х ) - |
/ |
Ni(t~x')’ T<t: |
|
N{t |
| |
N2(t-x),x>t, |
|
а функции Ni(t — x) описываются следующими разложениями:
Л5(г-т)=ф,-Н0фг(т), (г=1 .2 ).
Задачи Коши (5.42), (5.43) в данном случае упрощаются:
^Н(0+Р(0и(0=У(0-
Hi(0) =Ц2(°°) =0.
183 |
ПРЕОБРАЗОВАНИЕ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ ИДЕНТИФИКАЦИИ |
Здесь |
|3(/) = ф (0 ^ т (0 ; |
|
v (0 = /(0 < p (0 ; |
|
m(i*)= JI wa(x)<pi(x)dx; |
|
f |
|
СО |
|
H2(i) = J wa(x)(p2(x)dx. |
|
t |
Диагональные элементы матрицы (3(0 являются постоянными числами, причем
Spp(0 =iv,(0) —лг*(0).
2. Преобразование интегрального уравнения Фредгольма
(5.38) к интегральному уравнению Вольтерра.
Интегральные уравнения типа Вольтерра являются частным случаем интегральных уравнений типа Фредгольма [1.9], по этому с вычислительной точки зрения решение первых проще.
Уравнение (5.38) является интегральным уравнением Воль терра тогда и только тогда, когда
ЛГ2(*,0,т)= О . |
(5.46) |
|
I |
При этом в предположении о квадратичной суммируемости ядра и свободного члена уравнение (5.38) всегда имеет решение
[1.34] в L2[a(t), б(г')].
Допустим, что условие (5.46) не выполняется. Используя
обозначения |
|
ф(*, в. О = фЖ . |
6); |
г>«) |
(5.47) |
vT( x ) = J wa(t, x)cf2T(t, x)dr,
a(t)
преобразуем уравнение (5.38) к следующему виду:
X(t)wa(t,Q)-\- J wa(t, т)Ф(/, 6, x ) d x =
a(t)
(5.48)
Мы показали, что интегральное уравнение Фредгольма (5.38) эквивалентно уравнению Вольтерра (5.48), содержащему в пра вой части неизвестный вектор v(t).
ГЛАВА V |
|
|
|
184 |
Пусть |
функции |
Ю\(/, 0) и w2(t,d) являются |
решениями |
|
интегральных уравнений Вольтерра |
|
|||
|
|
|
е |
|
|
%(t)Wi(t, 0 )+ |
J Wi(t, т)Ф(/, 0, x)dx = f{t, 0), |
||
|
|
|
a(t) |
(5-49) |
|
|
|
в |
|
|
K( t ) w2(t, 0 )+ |
,f w2(t, т)Ф(^, 0, x)dx = ty2(t, 0) ■ |
||
|
|
|
<*(<) |
|
При допущении о квадратичной суммируемости |
ядра и сво |
|||
бодного |
члена в |
(5.38) уравнения (5.49) всегда |
разрешимы. |
Кроме того, ядра этих уравнений совпадают, поэтому оказыва ется удобным построить резольвенту для ядра Ф(1, 6,т), а за тем определить решение уравнений (5.49) при помощи резоль вентного ядра по известным формулам [1.34].
Используя принцип суперпозиции, получаем следующее вы ражение для решения уравнения (5.48):
wa (t, 0) = |
Wi(t, 0 ) - v T( t ) w2(t, 0). |
(5.50) |
Неизвестный вектор v(/) определяется в результате подста |
||
новки выражения (5.50) в (5.47). |
|
|
v T ( t ) F ( t ) = g r ( t ) , |
(5.51) |
|
где |
|
|
|
Ь(0 |
|
F ( t ) = I - \ - |
J w2(t, x)<p2T(t, x)dx\ |
|
|
a(t) |
|
|
b (t) |
|
g T( t ) = |
J Wi(t, x)(f2T(t, x)dx. |
|
|
a(t) |
|
Окончательно получаем |
|
|
wa{t,Q)=wl (t,Q)-gT{i)F-i{t)w2{t,Q). |
|
|
Теорема 5.5. Пусть свободный член и ядро уравнения |
(5.38) |
|
квадратично суммируемы на нестационарном отрезке |
[а(£), |
|
b(t)] и имеет место разложение (5.39). Тогда уравнение |
иден |
тификации (5.38):
1) разрешимо в том и только в том случае, когда матрицы F(t) и [F(t)g(t)} имеют один и тот же ранг;
2) имеет единственное решение, если det К(/) =7^=0 .
185 ПРЕОБРАЗОВАНИЕ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ ИДЕНТИФИКАЦИИ
Доказательство. Выше показано, что уравнение (5.38) экви валентно уравнению (5.48). Решение последнего полностью определяется свойствами системы линейных алгебраических уравнений (5.51). Теорема 5.5, таким образом, является следст вием теоремы о разрешимости системы линейных алгебраичес ких уравнений и мы предлагаем читателю самому убедиться в правильности ее утверждения.
Отметим, что при А(^)->-оо |
матрица |
F(t) |
превращается в |
единичную. Определитель этой матрицы |
непрерывно зависит |
||
от K(t), поэтому при больших величинах l(t) |
уравнение (5.38) |
||
разрешимо при любой правой части. |
|
|
|
Решение уравнений (5.49) упрощается в том случае, когда |
|||
выполняются следующие условия: |
|
|
|
a ( t ) = t 0\ X(t)=X\ |
Ф (/,0 ,т )= Ф (0 ,т ); |
||
ф2 ( / , 0 ) ^ ( 0 ) ; |
f ( t , e ) = f t T(t)h(Q); |
||
hT= [fn ■■■A s ] ; |
hT= [fzi • ••fzs]- |
При выполнении этих предположений вектор tc»2(A0) не за висит от аргумента t и определяется обычным уравнением Вольтерра
е
Яда2(0 )+ J* да2(т)Ф(0, %)d% — 1|з2(0 ). ^0
Функция шД/,0) находится по формуле
wi(t,Q)=fS’ (t)w1(Q),
в которой вектор шДО) удовлетворяет уравнению
в
XWi(9)-\- J wt (т)Ф(в, x)dt — /2(0).
3. Решение уравнения (5.38) при помощи преобразования Лапласа.
Допустим, что ядро уравнения (5.38) зависит только от раз ности аргументов 0 и т, т. е.
АД/, 0, т)= А Д /, 0 - т ) .
Это предположение выполняется, в частности, если входной сиг нал исследуемой системы является стационарным случайным процессом. Примем для удобства изложения, что а (/)= 0 .
ГЛАВА V |
186 |
Уравнение (5.48) с учетом принятых допущений записыва ется в следующем виде:
е
'K{t)wCL(t,Q)-\- J wa(t, т)Ф(^, 0—x)dx—.
(5.52)
В дальнейшем используются следующие обозначения для прямого и обратного преобразований Лапласа:
Lh( t , s ) = j |
e-^h(t,Q)dQ = Le{h(t,Q)}- |
О |
|
h(t, |
0) — L%~l{Lh(t, s)}, |
В тех случаях, когда из контекста ясно, по какой перемен ной осуществляется преобразование, индекс 0 будет опускаться. Применив к уравнению (5.52) преобразование Лапласа по ар гументу 0 и используя результаты предыдущего пункта, полу чаем
’■«‘•«“МпчгнйЬгЬ
(5.53)
Формулы (5.53) представляют явные выражения для реше ний уравнений (5.49) в рассматриваемом случае и позволяют значительно упростить вычислительную процедуру. Особенно удобным оказывается использование уравнения Лапласа для решения уравнения Винера—Хопфа (5.45).
Выражение (5.52) при этом представляет интегральное урав нение Вольтерра с ядром типа свертки
t
Яша ( 0 + j wa(x) [Nl(t—x) —N2{t—x ) ] d x =
о
(5.54)
VT= j wa(x)q2T (r)dx.
0
Решение уравнения (5.54) определяется следующими фор мулами:
187 |
ПРЕОБРАЗОВАНИЕ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ ИДЕНТИФИКАЦИИ |
||||
|
|
Wa(t) = W i ( t ) —VTW2(t)-, |
|
||
|
W\(t) = L ~ i{Lf (s) [А,—(—Z^jVi (s) —LNz(s) ]-1} ; |
|
|||
|
wz{t) = L ~ l{Ly2 (s) [A,-j-Ljvi (s) —LN2 (s) ]-1} ; |
j, (5.55) |
|||
|
OO |
|
00 |
|
|
|
vT= J да1 (т)ф2г (т)^т Г/ + |
j* |
Ш2(т)ф2т (т:)с?т1 . |
||
|
0 |
L |
0 |
J |
) |
Обобщение формул (5.55) на задачу решения многомерного уравнения Винера—Хопфа не представляет затруднений. Мы применили к уравнению (5.54) одностороннее преобразование Лапласа, поэтому выражения (5.55) определяют физически реа лизуемую импульсную переходную функцию без осуществления процедуры факторизации матрицы спектральных плотностей. Таким образом, формулы (5.55) описывают эффективный вычис лительный алгоритм решения уравнения Винера—Хопфа при условии (5.39).
Предлагаемый метод применим и к уравнению Винера— Хопфа первого рода. В этом случае
Я =0; N ( t ) = R xx(t)-, f ( t ) = R yx(t);
N i ( t ) = N 2 ( — t ) \ < P i(0= 4M f); Фг(0 =-ф1(0-
Для повышения устойчивости получаемого по формулам (5.55) решения используется следующий способ. Элементы век тора v находятся из условия равенства нулю тех компонент изображения
==Lvh(5) j2(s)
— [^/(s) —vtL,j,2(s)] [Ljv,(s) —LN2(s) -j-^]-1,
которым соответствуют физически не реализуемые оригиналы, т. е. из условия компенсации полюсов в правой полуплоскости комплексной плоскости, а также компонент, представляющих производные б-функции.
Устойчивость полученного решения по отношению к ограни ченным возмущениям в уравнении является следствием зату хания найденного решения при t-*-00.
Пример 5.3. Рассмотрим вопросы решения уравнения |
Викера—Хопфд |
при помощи одностороннего преобразования Лапласа. |
|
Для корреляционной функции R Xx ( т) в уравнении (5.7) |
примем точно |
такую же аппроксимацию, что и в примере 5.1. При помощи данного раз ложения можно аппроксимировать корреляционные функции стационарных случайных процессов с любой степенью точности [5.11], поэтому последую
ГЛАВА V |
188 |
щие результаты относятся к задаче идентификации стационарных линейных систем при произвольных стационарных случайных входных воздействиях.
Перепишем выражение для |
корреляционной функции Rxx(t) в виде |
|||
|
2т |
|
||
R x x (r ) = 2 < n e~ V; ;Т|, |
||||
|
i'=I |
|
||
где |
|
|
|
|
у,= а;—ур,=у>+"ь с‘= - - |
J b' |
~-Ci+m, (г= 1, т). |
||
Подставив это выражение в уравнение |
(5.55), |
получаем |
||
|
|
2т |
|
|
Lw(5) — |
|
s—у, |
||
2т |
/=1 |
(5.56) |
||
2ICiViY: |
||||
|
S |
|
||
|
i= 1 |
Y<2-*s* |
|
|
|
|
|
||
где |
|
|
|
|
Vi= J w(t)e-VjTdi^Vi+m, |
(i—l,m). |
Функция, являющаяся оригиналом изображения (5.56), есть импульсная переходная функция физически возможной системы в том и только в том случае, когда вычеты выражения (5.56) в правой полуплоскости равны нулю, а порядок числителя не превышает порядок знаменателя. Из этих условий величины {v,} определяются без перехода в пространство ориги налов, что позволяет упростить вычислительную процедуру и приводит к
устойчивому алгоритму |
решения, так как |
после определения коэффициентов |
|
{ v j погрешность нахождения оригинала выражения (5.56) |
конечна для всех t. |
||
Для иллюстрации предлагаемой методики рассмотрим конкретную за |
|||
дачу идентификации, исследованную в [2.13], |
|
||
RXx(т) = е -° .91т1 (cos 2т+ 0,45 sin 2|т|); |
|
||
/?vx(T)= e - ° .5321 (3,38 sin 0,256^+0,256 cos 0,2560 |
(0,236 sin 2f + |
||
|
+ 0,233 cos 20, |
*>0. |
|
Подставив эти величины в (5.56), после несложных преобразований на |
|||
ходим |
|
|
|
L „(s) = - |
21,3 |
+ s3(0,023 —pi —0,45рг) + |
|
|
|||
17,3 |
s2 + 1,064s + 0,349 |
|
-s2(0,466- 2,405p2) +s (0,871 - 1,57p, - 5,03p2) + 2,04 + 8,66pi - 7,69p2 , |
(5.57) |
189 |
ПРЕОБРАЗОВАНИЕ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ ИДЕНТИФИКАЦИИ |
где |
|
|
М-1 = Revi = Rev2; ,U2 = Imvi = — Imv2. |
Легко |
показать, что при pii = — 0,064; р2 = 0,193, выражение (5.57) явля |
ется изображением импульсной переходной функции физически возможной системы
w (t) =L~ |
1,23 |
.= 4,3e-o,532i Sin 0,256/. |
(5.58) |
|
,064s+ 0,349 |
||||
|
|
|
||
Функция (5.58), |
а также точное решение задачи [2.13] |
изображены на |
рис. 13, причем оба графика практически совпадают.
Изложенный метод без существенных изменений применим и для реше ния уравнений идентификации многомерных стационарных линейных систем.
Допустим, что |
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
' |
1 |
0 |
' |
~ |
1 |
1 " |
|
|
|
7?.гдг(т) = й (т) |
|
2 |
1 |
+ С |
т! |
|
|
||
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
4 |
|
|
1 |
1 |
|
|
|
|
|
R |
y |
* |
( |
[П]. |
»>0. |
|
|
Используя формулу |
(5.56), находим |
L,r(s)= |
1— s + v (l+ s ) |
|||||||||
Вычет |
этой |
функции в |
точке |
s = }'7 |
|
|
|
7—s2 |
||||
|
|
|
|
|
||||||||
равен нулю |
при v = |
У 7 -1 |
|
|
|
|
|
|
|
|||
—= |
. |
|
|
|
|
|
|
|
||||
|
' |
|
|
у7+ 1 |
|
|
|
|
|
|
|
|
В этом случае |
|
|
|
|
|
|
|
|
|
|
||
|
w(t)=--— ^ е - 1 ''77 [12], |
|
|
|
|
|
|
|
||||
|
|
1 + ]'7 |
|
|
|
|
|
|
|
|
|
|
что совпадает с результатом, полу |
|
|
|
|
|
|||||||
ченным |
в [5.9] методом |
неопределен |
|
|
|
|
|
|||||
ных коэффициентов. |
|
|
|
|
|
|
|
|
|
|||
4. |
Алгоритмы решения урав |
|
|
|
||||||||
нения |
(5.38) |
для |
некоторых |
|
|
|
|
|
||||
частных случаев. |
|
|
|
|
|
|
|
|
||||
Часто функции {<pift} и {ф+4 |
|
|
|
|
|
|||||||
удовлетворяют |
некоторым |
до |
|
|
|
|
|
|||||
полнительным условиям, об |
|
|
|
|
|
|||||||
легчающим решение. Напри |
|
|
|
|
|
|||||||
мер, если имеет место предпо |
|
|
|
|
|
|||||||
ложение |
|
|
|
|
|
|
|
P и с. |
13. Решение задачи идентифи |
|||
|
cpi(/, 0) |
= г [ n(t, |
0 ); |
|
|
|
||||||
|
|
|
|
кации |
при |
помощи одностороннего |
||||||
Ф*(t, 0) = |
—'фг(/, 0), |
|
|
|
преобразования |
Лапласа (пример |
||||||
|
|
|
'5.3). |
|
|
|
ГЛАВА V |
190 |
то матрица |3((, 0) в уравнении |
(5.38) становится симметрич |
ной. |
|
Выполнение условий |
|
«Pi(*, 0) =ф2 {t, 0); |
r|)i((, 0) =\t>2 (t, 0) |
позволяет свести уравнение (5.38) к системе линейных алгеб раических уравнений, так как в рассматриваемом случае ядро интегрального уравнения (5.48) равно нулю. Поэтому
— ------------- |
Щ ---------------- |
• |
причем вектор v{t) определяется из уравнения (5.52), в котором.
ьт
F ( t ) = % ( t ) i + j гМ^,е)ф2г (г,0)сге, a(t)
b(t)
g T( t ) = J /(/,0)ф2Г(/,0)^0. a(t)
Определитель матрицы F(t) непрерывно зависит от K(t) и отли чен от нуля при X(t)-*oo. Следовательно, равенство
det F(t) = 0
может выполняться не более чем в п2 точках. Поэтому в данном случае уравнение (5.38) разрешимо почти всюду.
Пример 5.4. Определение импульсной переходной функции нестационар ного навигационного комплекса.
Рис . 14. Двухканальная система комплексирования (пример 5.4). x(t) — искомая координата судна; Si(t) и 6 2(t) — ошибки автосчислителя координат
t
и системы радиообсервации; М 0 = J к>(^,т) [еДт) — ег(т)]йт — отфильтро-
й
ванное значение разности сигналов ошибки; x3(t) — оценка искомой коорди наты.