Файл: Брикман, М. С. Аналитическая идентификация управляемых систем.pdf

ВУЗ: Не указан

Категория: Не указан

Дисциплина: Не указана

Добавлен: 22.10.2024

Просмотров: 112

Скачиваний: 0

ВНИМАНИЕ! Если данный файл нарушает Ваши авторские права, то обязательно сообщите нам.

53

 

ОСНОВНЫЕ УРАВНЕНИЯ ИДЕНТИФИКАЦИИ

При а —0

уравнение (2.13)

является обобщением

известного

уравнения

Винера—Хопфа [2.44] на нестационарные системы,

а

при а > 0 —

его регу-

ляризованным аналогом.

 

 

 

 

Заметим,

что иногда

некоторые из

компонент

матрицы

w{t, т) содержат 6-функции

w(t, т) = k (t, x)-\-k(t)8(t—x),

где k(t, т) и k(t) — матрицы, являющиеся элементами гильбер­ това пространства L2[a(t), b(t)\ функций, интегрируемых с квадратом. В этом случае в функционалах (2.9), (2.11) следует видоизменить сглаживающий функционал, записав последний в виде

allLk(t, т) -\-L\k{t) \\иLz,

где L\ — соответствующим образом выбранный оператор; гиль­ бертово пространство Кь строится аналогично пространству WL.

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

Пусть Wa}(t,%) и Ryix{t,Q) i-e строки матриц wa(t,x) и RVx(t, Q) соответственно. Несложно показать, что уравнение (2.13) распадается на т независимых систем из п операторных

уравнений вида

 

RaWa* =Ry<x

(2.15)

с одинаковыми операторами Ra в левой части. В дальнейшем для простоты записи индекс <ш> не указывается.

Покажем, что в том случае, когда отрезок идентификации ограничен, т. е.

[a{t),b(t)]cz[t0, Г],

где t0,T — некоторые конечные числа (t0< T ), уравнение (2.15) можно преобразовать в эквивалентное одномерное уравнение. Чтобы не усложнять последующих выкладок, примем сх = 0. Вве­ дем новые величины: нестационарный отрезок lc(t), d(t)], ядро 5(т, 0), свободный член h (t,Q) и функциональный параметр u(t,x) при помощи следующих соотношений:

c(t) =a(t)\ d(t) — n[b(t)—a(t)]+a(t)-,

S (t, 0) = R xixn{ T - ( / - 1) [b ( t ) - a (t) ], 0 {k— 1) [b (t) - a (()]};


ГЛАВА II

54

 

 

h{t, Q )= R Xyh { t , e - ( k - l ) [ b ( t ) - a ( t ) ] } ;

 

u(t, t) = w i{t, x— (/— 1) [b(t)—a(t)};

 

(/— 1) [b{t)—a ( t ) ] ^ x —a ( t ) ^ j [ b ( t ) —a(t)]-,

 

(k— \) [b (t) —a (t) ] s^0—a(t) ^Lk[b(t) —a(t)].

Используя эти обозначения, несложно показать, что урав­ нение (2.15) при а = 0 эквивалентно следующему скалярному уравнению:

d(t)

 

J u(t,x)S(x,Q)dx = h(t,Q).

(2.17)

C(t)

 

Формулы обратного перехода от уравнения (2.17) к исход­

ному векторному уравнению вытекают из соотношений

(2.16),

если в последних заменить аргумент т на аргумент х\ + (/— 1) X Х [6 (0 _ а(^)] и аргумент 0 на аргумент 0] + (&— 1) [b(t)— a(t)] при условии

a ( t ) ^ Z Ti, Q i ^ . b ( t ) .

В общем случае при афО скалярное уравнение, эквивалент­ ное векторному уравнению (2.5), получается путем применения метода регуляризации Тихонова к уравнению (2.17).

Допустим, что все компоненты матрицы Rxx(x, 0) являются элементами пространства L2[a(t), b(t)]. В этом случае опера­ тор 5, определяемый левой частью уравнения (2.17), обладает следующими свойствами:

1) ядро оператора S(r, 0) удовлетворяет условию

|5(т, 0) | ^;У5(т, т)5(0, 0).

Это выражение следует непосредственно из формул (2.16) и свойств корреляционных функций [2.22];

2) оператор S самосопряженный, так как

S ( t , 0 ) = S ( 0 , т);

3) оператор 5 вполне непрерывен в L2[c(t), d(t)]. Для этого достаточно, чтобы [1.9]

d(t) d(t)

||«S|[2= J J S2(t, Q)dxdQ<oo. c(«) e(t)

55

ОСНОВНЫЕ УРАВНЕНИЯ ИДЕНТИФИКАЦИИ

Но на основании выражений (2.16) интеграл в левой части этого неравенства

п

b(t)

b(t)

IIS||2<

J

J* Rx'xk? ( t , 0) dxdQ<C ° ° ;

i,h= 1

a(t)

a(t)

4) оператор 5 неотрицательно определенный, так как '

d(t) d(t)

J J u(t, t)S (t, Q)u (t, Q)dxdQ=

c(t) c(t)

n b(t)

= M { [ Xj I ву*(£, т)х*(т)^т1 } ^ 0 .

i= 1 a(t)

Таким образом, интегральный оператор S обладает всеми свойствами интегрального оператора с ядром в виде корреля­ ционной функции [2.25], поэтому в дальнейшем в случае ко­ нечности отрезка идентификации будем рассматривать только одномерные уравнения (2.13). Перенос полученных при этом результатов на многомерный случай осуществляется при помощи обратного преобразования, основанного на соотношениях (2.16).

Пример 2.2. Рассмотрим нестационарную непрерывную нелинейную сис­ тему, уравнение модели которой разрешено относительно выходного сигнала и описывается функциональным рядом Вольтерра [2.35] следующего вида:

bit)

b{t)

bit)

p(t)=W о

t£>i {t, x\)x(x{]dt\ -h

w2(t, Ti, t2) x(x\)x(x2)dx\dx2+ ... +

ait)

 

 

 

 

a(t) a{t)

 

bit)

bit)

 

 

 

 

 

 

4

1

wh(t, T

i ,

T2, .

.., Xk) x(x{) ... x(xk)dxl . . dxk = w0(t) +

 

 

 

 

 

 

ait)

ait)

 

 

 

 

 

 

k

bit)

bit)

 

 

 

 

 

 

 

I

Wi(t, xi,. . . ,

X i ) x ( x i ) ..

.x(xj)dxi. . . dxi,

i = l

a<6

ait)

 

 

 

 

 

где W i ( t , Ti........T,-),

(i = 0, k )

ядра интегральных операторов. •

Считая для простоты записи исследуемую систему скалярной, введем сле­

дующие обозначения:

 

 

 

 

 

хк'- !(Ti .. . Xk)

многомерный

аргумент;

dxh=dxt ... dxh, x(xh) = [1 ;

x(ti) x(xi)-x(x2)

. . ;T(Ti) X

. . . XX(Tfc) ] т -

эквивалентный вход модели;

w(t,Xh)-\

 

w0

 

 

 

W, (t, Ti)

Wk(t, Ti,. . . , Xk)

 

 

 

 

 

 

— эквивалентный функциональный параметр.


ГЛАВА II

56

 

Легко показать, что с учетом этих обозначений запись функционального ряда Вольтерра упрощается и принимает следующий вид:

b(t)

Интегрирование в полученном выражении ведется по каждой из ком­

понент многомерного аргумента т* в пределах от a(t) до b(t). Очевидно, что построенное математическое описание может относиться и к более общим нелинейным системам, чем описываемые функциональным рядом Вольтерра. С другой стороны, полученное интегральное уравнение является частным случаем уравнения (2.7) системы, приводимой к линейной. Более того, ин­ тегральное уравнение, описывающее нелинейную непрерывную систему, прин­

ципиально не отличается от

уравнения (2.12) линейной системы.

Поэтому

все результаты, изложенные

в настоящем

параграфе,

переносятся

на

за­

дачу идентификации непрерывных (и дискретных) нелинейных систем

с

учетом соответствующих изменений в записи

операторов

дифференцирования

и интегрирования [1.38], обусловленных многомерностью аргумента Xk-

2.3.УРАВНЕНИЯ ИДЕНТИФИКАЦИИ ЛИНЕЙНЫХ СИСТЕМ

Вданном параграфе выводятся уравнения идентификации для систем, описываемых уравнением (2.6) в том случае, когда опе­ ратор А линеен по совокупности переменных {х,р, г}, а про­ цесс измерения определяется уравнениями (2.8).

Уравнение (2.6) не разрешено в 'явном виде относительно выходной переменной и содержит неизвестный вектор состоя­ ния, поэтому непосредственное применение функционала потерь (2.9) для получения уравнения идентификации невозможно. Использование метода множителей Лагранжа для решения за­ дачи минимизации функционала (2.9) при ограничениях (2.6), (2.8), а также других алгоритмов построения минимизирующих последовательностей [2.23] в общем случае оказывается не­ достаточно эффективным.

Воспользуемся для получения уравнения идентификации

другим подходом. Из выражений (2.8) и линейности оператора А следует, что

М {vxT} — М {рхт} — М{ухт}.

Подставив в уравнение (2.6) значение р = и из (2.8), умножив полученное выражение на х 1 и применив операцию математи­ ческого ожидания, получим

А

W— 0, (t— 1, я) .

(2.18)


57

ОСНОВНЫЕ УРАВНЕНИЯ ИДЕНТИФИКАЦИИ

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

П

7 г=

Ц71 [ R x x * , R y x {,

2,

(2.19)

 

г = 1

 

 

где Еа — пространство значений оператора А.

Минимизация функционала (2.19) при связи (2.6) осущест­ вляется проще, чем решение исходной задачи. В том случае, когда вектор состояния удается исключить из уравнения (2.6), уравнение системы после ряда преобразований и замены соот­ ветствующих переменных записывается в виде

А [х, р]пу=0.

Применение функционала (2.19) позволяет получить уравне­ ние идентификации в виде (2.10), если считать, что простран­

ство Ел — гильбертово,

П

R = aL*L-f-

A* [Rxxi, R>/x‘]A [Rx.x', Ryx‘] ■

г=1

Пример 2.3. Проиллюстрируем предложенный метод получения уравнений идентификации для нестационарной линейной системы, описываемой систе­ мой дифференциальных уравнений

 

 

z(t)=wi(t)z(t)+w2(t)x(t)-,

1

 

 

 

 

p(t)=w3(t) z(i)+w4(t)x(t),

J

 

 

где w,(t),

(i= 1,4)

неизвестные матрицы соответствующих размеров.

Система (2.18)

в данном случае записывается в виде

 

 

Г

<//?„(*, 6)

1

= Г W\(t) w2(t)

R z x ( t . B )

1

( 2.20)

 

 

 

 

L w3(t) Wi(i)

Rxx(t, 0)

J

I

R y x ( t . Q )

J

 

Пространство

EA

 

является пространством

матриц N(t,Q) размера

(l+ m)Xn со скалярным произведением

 

 

 

 

МО

(Nu Nt)= f splN^ (t, в) N2(t,Q)]dQ. a(t)

Известно [2.15, 2.17], что при достаточно общих условиях система (2.20) эквивалентна следующей системе дифференциальных уравнений:


ГЛАВА II

58

 

причем матрицы а ,(0 и b i ( t ) определяются матрицами W i ( t ) . Например, пусть матрица w3(t) квадратная и невырожденная. Тогда

 

 

dw3- 1

;

a0= - w 3wiw3-i + w3-----j t----

s = l ;

bi = Wi\

 

 

b0=W3W2—WiWlW3-lWi+W3

 

ац+

dwA

dt

dt

 

 

Обратный переход от уравнений

(2.21) к уравнениям (2.20) определяется

не единственным образом и связан с проблемой канонического представления

линейных систем [2.17,

2.39].

 

 

 

 

 

 

Уравнение (2.10)

является

уравнением

идентификации системы

(2.21)

по критерию

d°Ryx(t,Q)

 

 

 

 

 

 

/2=

-w(t) N(t, 0)

2

 

2

( 2.22)

dts

 

+ a\\Lw\\wL,

если принять

 

 

h A

 

 

wa~ t- 'ao

-ai

—as~1i

bo ! bi

I ... \b,]\

 

 

 

N(t, 0) т = /? „ ,( в ,0 г

d*-lRxy(8, t)r

RXX(Q, t y

dsRxx(Q, t)

 

 

dt*-1

dts

 

Ra.woc= aL*Lwa+ wcc(t)C(t);

C(t)= Jbit)N(t,Q)N(t,Q)TdQ-,

a(t)

bit)

f(t)= J JtRy*(b3 )..N(t,9) rrf0.

alt)

В том случае, когда порядок s уравнения (2.21) невелик, а дифферен­ цирование корреляционных функций осуществляется с небольшой погреш­ ностью, изложенный метод позволяет эффективно восстанавливать диффе­ ренциальное уравнение системы. Это достигается применением двукратного сглаживания экспериментальной информации при определении корреляцион­ ных функций и последующем построении уравнения (2.10).

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

Рассмотим уравнение

S— 1 S

г/(8)( т )+ ]Г, ai{x)y^){x)=

Ь{(х)хМ(х)

(2.23)

i— \

i

 

с начальными условиями в момент t— t0

=t/o(i); x(^{to) = x0(i),

(i= 0 , s— 1).