
книги из ГПНТБ / Основы автоматического управления
..pdf290 г л . 7. М ЕТО Д Ы И ССЛЕДО ВА Н И Я ТОЧН О СТИ Л И Н Е Й Н Ы Х СИСТЕМ
Интегральное каноническое представление стационарной случай ной функции Z имеет вид
о о |
|
Z (£) = mz -f- j U (а)еш da, |
(7.4.16) |
— ОО
где U (со) — некоторый белый шум аргумента со. Так как действи тельная случайная функция Z совпадает со своей комплексной сопряженной величиной, то на основании (7.4.16) можем написать
ОО |
|
|
Z(t) = mz-\- j U (со) e~iaida. |
|
(7.4.17) |
— о о |
|
|
Из (7.4.15) и (7.4.17) следует, что |
|
|
Kyz(t,t') = M[Y°(t)Z° (?)] = |
|
|
= j J М[Ѵ (со) U (со')] Ф (гео) е* |
da da'. |
(7.4.18) |
— ОО — о о |
|
|
Но взаимная корреляционная функция белых шумов V и U выра жается через взаимную спектральную плотность sxz (со) случай ных функций X и Z формулой (см. [54], § 5.6 или [53], § 78)
Кѵи(со, а') = М [V(со)Z77®7)] = s;cz(со) 6 (со — со'). |
(7.4.19) |
|
Подставляя это выражение в (7.4.18), получим |
|
|
ОО |
00 |
|
Kyz(t, t')= I sxz (со)Ф (гео) еш da j е-і“'Гб (со — co')dco' |
||
— ОО |
— о о |
|
или, выполняя интегрирование по со', |
|
|
о о |
|
|
Kyz(t,t')= J |
со. |
(7.4.20) |
— о о |
|
|
Формула (7.4.20) показывает, что взаимная корреляционная |
||
функция случайных функций 7 и 2 |
зависит только от разности |
|
аргументов t — t' и, следовательно, |
случайные функции |
7 и 2 |
стационарно связаны. |
|
|
Сравнивая (7.4.20) с известным выражением взаимной корре
ляционной |
функции |
стационарных |
и |
стационарно |
связанных |
||
случайных |
функций |
Y ж Z через |
их |
взаимную спектральную |
|||
плотность ([54], § 5.6 |
или [53], |
§ 78): |
|
|
|||
|
|
|
ОО |
|
|
|
|
|
kyz(t — ? )= |
£ |
SyZ(со) еі |
м da, |
|
||
получим |
|
|
—ОО |
|
|
|
|
|
S y Z (а) |
= |
sxz (со) Ф (гео). |
(7.4.21) |
|||
|
|
292 ГЛ . 7, М ЕТОДЫ И ССЛЕДОВАН ИЯ ТОЧНОСТИ Л И Н Е Й Н Ы Х СИСТЕМ
Координатные функции выходной переменной системы в устано вившемся режиме выразятся аналогичной формулой
УкИ = У (tk, со) = ф (гео) eiahT*= ¥ (еіаТп) е™кТ* (7.5.3)
(& = 0, + 1, ± 2 , ...) .
Подставляя это выражение в формулы (7.2.39) и (7.2.40) и прини мая во внимание, что в данном случае
?t= oo, a*= 0, Я2 = -1^п , |
G(cö) = s£(со), |
получим следующие формулы для |
корреляционной функции |
и дисперсии выходной переменной дискретной линейной системы:
2 я /Т п
ку (0і — ti) = ку {{h— 1)ТП)= J |
^(со )|Ф (ш )ре{“ <л- г>Гп ^ , |
(7.5.4) |
о |
|
|
2я/Тп |
|
|
Du = j |
(со) I Ф (гео) |
(7.5.5) |
о |
|
|
Интегрирование в формулах (7.5.4) и (7.5.5) производится вдоль отрезка мнимой оси на плоскости комплексной переменной
s от 0 до точки 2яі/Тп. При переходе к переменной z = е5Тп этот отрезок перейдет в единичную окружность С4 плоскости z. Поэтому
при замене переменных z = ег<оТп формулы (7.5.4) и (7.5.5) при мут вид
кѵ(mTn) = ± J а* (z) I ¥ (z) I2 zm-i dz, |
(7.5.6) |
Ci |
|
D y = \ o i ( z ) \ ^ ( z ) \ ^ , |
(7.5.7) |
Ci |
|
где
а интегрирование производится вдоль единичной окружности. Если перейти в формулах (7.5.4)—(7.5.7) к переменной К =
= ѴІІ = (z — 1)li (z + 1) = (егшТп — i)/i (ешТп -f 1), то, учиты вая, что единичной окружности плоскости комплексной перемен ной z соответствует вся мнимая ось плоскости переменной ѵ,
294 гл. 7. М ЕТО Д Ы И ССЛЕДО ВА Н И Я ТО ЧН О С ТИ Л И Н Е Й Н Ы Х СИСТЕМ
К этому же виду приводится формула (7.5.10) заменой переменных z =
= |
е |
п = |
егф. Выполняя интегрирование в |
формуле |
(7.5.14), полудим |
||
|
|
|
Dy = Dk4\ {Z\1—Zj1)2 ■ |
|
|
(7.5.15) |
|
Если |
воспользоваться формулой (7.5.10), то, |
принимая |
во внимание, что |
||||
в |
данном |
случае |
|
|
|
|
|
|
Q(v) = v |
1 -Г |
|
~ . |
D |
(7.5.16) |
|
|
( r ^ ) = fcz‘ (zr v- 1) iz : *i+ (l + *i)»* |
S*() |
я |
||||
|
|
||||||
цолучим |
|
|
|
|
|
||
|
|
|
|
dk |
|
|
(7.5.17) |
|
|
|
I т т з zi + (l + |
zi) ik |
I2 |
||
|
|
|
|
Применив для вычисления интеграла формулу (7.4.6), снова получим форму лу (7.5.15).
§ 7.6. Применение теории линейных систем для нахождения интегральных канонических представлений случайных функций
Из теории случайных функций известно, что для нахождения интегрального канонического представления случайной функции X (t) в данном интервале (/0? h) изменения аргумента t достаточно найти три функции х (t, к), а (t, к), G (к), удовлетворяющие усло
виям (см. [54], § 6.5 или [53], § |
67) |
|
|
«1 |
|
k')dt = ö(k — k’), |
|
j x(t, |
k)a(t, |
(7.6.1) |
|
*0 |
|
|
|
J x(t, |
k)a{t', |
k)dk = 8 (t — t'), |
(7.6.2) |
Ki |
ti |
|
|
|
|
|
|
г(і,к) = Щ£}<\ |
Kx (t, t') а (t', к) dt'. |
(7.6.3) |
|
|
to |
|
|
Если такие функции найдены, то случайная функция |
|
||
|
ц |
|
|
V(k)= j |
a (t, к) Х° (t) dt |
(7.6.4) |
|
|
<0 |
|
|
будет представлять собой белый шум, интенсивностью которого является функция G (к), а случайная функция X (t) выразится через белый шум V (к) интегральным каноническим представле нием
X ( t ) ^ m x ( t) + ^ V ( k )x (t, k)dk (t0< W i ) . |
(7.6.5) |
ii |
|
§ 7.6. П РИ М ЕН Е Н И Е ТЕО РИ И Л И Н Е Й Н Ы Х СИСТЕМ |
295 |
Корреляционная функция белого шума V (А,) определяется фор мулой
К в (Я, X') = G (Я) б (Я — Я'). |
(7.6.6) |
В общей теории интегральных канонических представлений параметр Я может быть произвольной величиной и в соответствии с этим V (X) является белым шумом не в физическом, а в обобщен ном, математическом смысле. Однако в приложениях часто оказы вается возможным рассматривать случайную функцию времени как результат прохождения некоторого физического белого шума, представляющего собой случайную функцию времени, через некоторую линейную систему. В этом случае параметр X пред ставляет собой время, а функцию х (t, X) можно рассматривать как весовую функцию системы, формирующей данную случайную функцию времени из белого шума. Функция а (t, Я) в этом случае может рассматриваться как весовая функция обратной системы, преобразующей данную случайную функцию в белый шум. Эти соображения наводят на мысль попытаться применить для нахож дения интегральных канонических представлений случайных функций теорию линейных систем. Как будет видно из дальней шего, это во многих случаях приводит к положительным резуль татам.
В § 4.2 было показано, что весовые функции двух взаимно обратных физически возможных линейных систем в любом интер вале (г0> h) связаны соотношениями (4.2.10) и (4.2.11), которые можно переписать в других обозначениях в виде
н
J |
н>(*, Я)ыг(Я', *).Л = 6(Я —Я') |
(t0<X, X'< h), |
(7.6.7) |
to |
|
|
|
ti |
w (t, X) w~ (X, t') dX= 8 (t —1') |
(t0*Ct, t' C ^). |
|
j |
(7.6.8) |
to
Здесь мы произвольно расширили пределы интегрирования, имея в виду, что вследствие условия физической возможности подынте гральная функция в первой формуле отлична от нуля только при Я < Я ' в интервале (Я, Я'), а подынтегральная функция во второй формуле отлична от нуля только при t > t' в интервале (t', t). Соотношения (7.6.7) и (7.6.8) по существу не отличаются от (7.6.1) и (7.6.2). Поэтому, если известны весовые функции w и w~ двух взаимно обратных линейных систем, то, принимая во внимание, что эти весовые функции действительны, можно удовлетворить условиям (7.6.1) и (7.6.2), приняв
ж (t, X) = w (t, Я), a (t, Я) = W- (Я, t). |
(7.6.9) |
Таким образом, весовые функции двух взаимно обратных линей ных систем всегда удовлетворяют двум условиям (7.6.1) и (7.6.2)
§ 7.6. П РИ М ЕН Е Н И Е ТЕО РИ И Л И Н Е Й Н Ы Х СИСТЕМ |
297 |
Параметр А, в данном случае имеет смысл времени. Поэтому белый шум V (А,) в данном случае является случайной функцией времени, т. е. представляет собой белый шум в обычном, а не в обобщенном смысле. Это дает возможность перейти в форму лах (7.6.11), (7.6.12) и (7.6.13) к обычным обозначениям теории линейных систем. Тогда, учитывая, что весовые функции w и w~ удовлетворяют условию физической возможности, перепишем формулы (7.6.11), (7.6.12) и (7.6.13) в виде
|
t |
|
|
V (t) = |
^ w~ (t, т) Х° (т) dx, |
(7.6.14) |
|
|
*0 |
t |
|
|
|
|
|
X (t) = |
mx (t) -j- j w (t, т) V (t) dx, |
(7.6.15) |
|
|
min [i, <'] |
<o |
|
Kx {t,t')= |
G(x)w(t, x)w (t', x)dx, |
|
|
j |
(7.6.16) |
||
|
<0 |
|
|
где через min [t, t'\ обозначено наименьшее из чисел t |
и f . |
Таким образом, мы видим, что проблема отыскания интеграль ного канонического представления случайной функции времени сводится к нахождению двух взаимно обратных физически воз можных линейных систем, одна из которых преобразует данную случайную функцию в белый шум, а другая формирует эту слу чайную функцию из белого шума. В соответствии с этим иногда линейную систему с весовой функцией w (t, т), формирующую данную случайную функцию из белого шума, называют форми рующим фильтром.. При этом задачу нахождения интегральногоканонического представления случайной функции времени ставят более конкретно как задачу нахождения формирующего фильтра.
П р и м е р 7.6.1. В примере 4.4.1 мы видели, что функции
f — у ^ е х р |
( — f ° ° - d a \ п р и |
« > т , |
||
(*, х) = t а,. (X) |
р |
\ |
J аі (а) / |
|
ІО |
|
|
при |
t <[ X |
в
w~ (t , т) = аI (г) б' (t — г) + а0 (г) б (г — т)
являются весовыми функциями двух взаимно обратных линейных систем. Предположим теперь, что функции а, (t) и а0 (<) при всех t положительны и ограничены, и рассмотрим случайную функцию X (t), корреляционная Функция которой определяется формулой
к а |
/ ?i W 92(0 |
при |
t > t ', |
(7.6.17) |
ж( ’ |
U l (О «2(0 |
при |
t < t ' , |
|
298 г л . 7. М ЕТО ДЫ И ССЛЕДОВАН ИЯ ТОЧН О СТИ Л И Н Е Й Н Ы Х СИСТЕМ
4-де
|
|
|
|
9 і(і) = ехр { |
_ |
j |
|
|
|
|
|
|
||
|
|
|
|
|
|
|
fr |
|
dt |
|
|
|
|
(7.6.18) |
|
|
|
|
92 (<)- |
|
|
|
|
|
|
|
|
||
|
|
|
|
’■» |
і |
if (Г) 9? (т) ■ |
|
|
||||||
в |
данном |
случае |
при любых 1 < |
І! и |
( < (і |
|
|
|
|
|||||
h |
|
|
|
|
я |
|
|
|
|
|
|
|
|
|
j |
Кх (t, t') w- (X, t') dt' = |
j |
Kx (t, |
t') w- (X, |
t') dt' =- |
|
|
|||||||
—oo |
|
|
X |
|
—oo |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
- 9 * W |
J |
9 1 ( t ' ) [ « l ( * ) в ' № |
- * ' ) + |
« o f t ) |
в ( X - * ' ) ] * ' = |
|
||||||
|
|
|
< |
|
|
|
|
|
|
|
|
при t < |
|
|
|
|
= 92(*Наі(М 9ПМ + ао(М9і(М] |
Я,, |
|
||||||||||
О |
|
|
|
|
Я |
|
|
|
|
|
|
|
|
|
J |
Kx (t, t')w~(X, |
t')dt' =• j |
Kx (t, t’)w~(X, |
t')dt’ = |
|
|
||||||||
—oe |
|
|
X |
|
—oo |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
= 9i W |
j |
?2 (*')[M ^)ö'ft-<') + aoM Ö(X -0]<2t'“ |
||||||||||
Но |
из формул (7.6.18) |
|
= 91 (г) [«1 |
(X) 92 (M+ ao (M92 (X)] |
при t > X. |
|||||||||
следует, |
что |
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
Я |
|
|
|
|
MM |
|
|
|
|
9і (А.) d ln gj ( X ) __ d_ Г a0 (а) |
|
|
|
|
|||||||||
|
9i (X) |
dX |
|
dX J в* (а) da - |
|
«1 (M’ |
|
|
||||||
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
9г (X) _ d ln q2 (X) |
|
d ln qj (X) |
, |
d |
|
|
dt |
|
|
||||
|
q2 (X) |
dX |
|
dX |
|
^ dX ІП j |
|
a\ (M 9 ? |
(M |
|
||||
|
|
|
MM_l |
|
|
|
|
|
|
|
|
(7.6.19) |
||
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
ai (M |
a? (M9? (Mj |
^ (Mdt9? (M |
|
|
|||||||
|
|
|
|
|
|
|
||||||||
|
|
|
a0 (M |
|
|
|
|
|
|
|
|
|
|
|
откуда |
|
a l ( M |
« i ( M 9 l ( M 9г ( M ’ |
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
(X ) <7г (М; а |
|
||||
|
a l (M 9i (M + “ О (М9l (М= Oial(М9a (М+ « о |
|
||||||||||||
|
^ |
Kx (t, |
t') w~ (X, t') dt'=0>*=u> (t, |
X) |
при t <X , 1(X) gi (X) |
|||||||||
Следовательно, |
|
|
|
|
|
|
|
|
|
|
|
|
||
|
VI |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
о |
|
|
|
|
|
9l (*) |
|
|
|
|
|
||
|
j |
Kx (t, |
t')u>-(X, |
t')dt'* |
|
|
=u> (<, X) |
при |
1 >• X. |
|||||
|
ai(X) 9t (X) |
§ 7.6. П РИ М ЕН Е Н И Е ТЕО РИ И Л И Н Е Й Н Ы Х СИСТЕМ |
299 |
Таким образом, функции х (t, X) = w (t, X), а (t, X) — w~ (X, t) и G (X) = 1
удовлетворяют всем трем условиям (7.6.1), (7.6.2) и (7.6.3), если принять t0 = Хі = —оо, Xi = ti, где fi — произвольный момент времени. Следова тельно, рассматриваемая случайная функция X (f) выражается интеграль ным каноническим представлением (7.6.15) при fo = —°о в любом полубескоаечном интервале времени (—оо, ti).
К сожалению, в настоящее время не существует общих методов нахождения такой линейной системы, которая преобразует дан ную случайную функцию в белый шум, и соответствующей обрат ной системы — формирующего фильтра. Однако в некоторых частных случаях эта задача решается сравнительно просто. В частности, эта задача легко решается для любой стационарной случайной функции X (t), спектральная плотность которой является дробно-рациональной функцией.
Предположим, что спектральная плотность стационарной слу чайной функции X (t) выражается формулой
(7-6-20)
где Р (со) и Q (со) — некоторые полиномы относительно со. Так как sx (со) — четная функция, то полиномы Р (со) и Q (со) содержат
только |
четные |
степени частоты со. При этом в задачах |
практики |
|||
степень |
2т числителя Р (со) |
всегда |
бывает |
меньше |
степени |
|
2?г знаменателя |
Q (со), так как |
только |
в этом |
случае |
интеграл |
от спектральной плотности, определяющий дисперсию случайной
функции X, может сходиться и дисперсия |
случайной функции |
||||
X может быть конечной. Кроме того, для |
сходимости интеграла |
||||
от |
спектральной |
плотности |
необходимо, |
чтобы знаменатель |
|
Q (со) в выражении спектральной плотности (7.6.20) не обра |
|||||
щался |
в нуль ни при каком действительном значении часто |
||||
ты |
со. |
Наконец, |
вследствие |
того, что спектральная плотность |
существенно положительна при действительных значениях часто ты со, полином Р (со) обычно также не имеет действительных кор ней и все коэффициенты полиномов Р (со) и Q (со) действительны. Из этих свойств полиномов Р (со) и Q (со) следует, что корни каждого из них являются попарно сопряженными комплексными величинами и каждому корню соответствует корень того же поли нома, противоположный по знаку. Иными словами, корни каж дого из полиномов Р (со) и Q (со) расположены в плоскости ком плексной переменной со симметрично относительно действитель ной и мнимой осей (рис. 7.6.1).
Разложим теперь полиномы Р (со) и Q (со) на множители и отбе рем в полученных разложениях множители, соответствующие корням, расположенным в верхней полуплоскости комплексной переменной со. Добавив к таким множителям в разложении поли
нома Р (со) корень квадратный |
из коэффициента А 2т при согп> |
в этом полиноме и множитель іт, |
мы получим полином степени т |