
книги из ГПНТБ / Методы оптимизации в статистических задачах управления
..pdfкоординат системы было нормальным; он основан на предположе нии о совместном нормальном распределении только тех коорди нат, которые поступают на входы нелинейных элементов.
В случае, когда исследуемая система (73) стационарна и устой чива, для установившегося режима работы системы уравнения (74)
и (77) принимают вид: |
|
|
|
~ |
|
|||
|
mx — W (0) \Втг — фо [тх, Кх (0)]}; |
(82) |
||||||
|
Кх{т) = |
со |
со |
|
|
|
|
|
|
{ JW(l) |
[ВКг (т + І — К) В* — |
|
|||||
|
|
о |
о |
|
|
|
|
|
|
— КіКх (т + |
I - X ) к \ - |
¥ (т + I - X ) ] 1F* (X) dl dX — |
|
||||
|
? |
|
|
|
? |
Kx ( x - X ) K*iW* (X) dx- |
(83) |
|
|
— j W(l)KiKx (r + |
l ) d l - \ |
|
|||||
|
0 |
|
|
|
0 |
|
|
|
|
|
|
К г = |
К 1 [mx, |
к х (0)1; |
|
||
|
Y (т + |
I - X) |
= |
¥ [mx, |
Kx ( r + l - X)], |
|
||
где |
W (0) — значение матрицы передаточных функций линейных |
|||||||
звеньев системы в нуле. |
|
|
|
|
|
|||
Взяв преобразование Фурье от левой и правой частей уравне |
||||||||
ния |
(83), получим: |
|
|
|
|
|
|
|
|
S* (со) = W (— /со) IBSг (со) В* - KiSx (со) КІ — |
|
||||||
- |
¥ (о)] W' (/со) -- |
W ( - |
/<o)KiSx (со) - |
5 , (со) Кі W* (/со); |
(84) |
|||
|
К х = Кі [тх, |
Кх (0)], |
¥ (со) |
= ¥ |
[тх, Sx (со)], |
|
где Sx (со) и Sz (со) — матрицы спектральных плотностей мощно сти векторов X (t) и z (t) соответственно; W (/со) — матрица частот ных характеристик линейных звеньев системы.
После несложных преобразований формулы (84) получим урав нение:
5 , (со) = \Е + |
W (-/со ) Кі ] '1 W (-/ш ) [ßS2(ö) В* - |
||
— ^ |
(со)] Г* (/со) [Е + |
K*iW (/со)]-1; |
|
где |
|
|
|
|
К і = |
К і [ т х, |
К х (0)]; |
|
¥ (со) |
= ¥ [тх, |
Sx (со)]; |
Е— единичная матрица. Обозначив
[Е + W (—/со) К і ] ' 1 W (—/со) = Ф (—/со);
іГ (/со) [Е + Kl W* (/со)] - 1= Ф* (/со),
27
получим уравнение для определения матрицы спектральных плот ностей мощности вектора х (t) в компактной форме:
S* (со) = Ф (—/со) [BSZ (со) В* — У (со) ] Ф* (/со), |
(85) |
где
Кг = Кг \тх, Кх (0)]; У (со) = У [тх, Sx (со)].
Для определения матрицы корреляционных моментов, от кото рой зависят фо, Кг и можно воспользоваться формулой
СО
Kx (0) = Dx = ± I S,(ö)rf<o. |
(86) |
— с» |
|
Уравнения (82) и (85) вместе с формулой (86) можно решать на ЭВМ методом последовательных приближений, определяя в качестве нулевого приближения математическое ожидание
т і 0) спектральную плотность S*0) (со) и мощности вектора х (t) системы, в которой нелинейные элементы заменены линейными.
После этого вычисляются первые приближения фо1’, /(j1>и ¥ (1) (со), а затем первые приближения и Sx ) (со). Процесс вычислений продолжается до тех пор, пока ф0 и Кг нового приближения будут отличаться от значений предыдущего вычисления на величины, меньше заданных.
Пример 1. Разомкнутая нелинейная система, структурная схема которой представлена.на рис. 6, возмущается нормальным белым шумом g (t) с интен сивностью, равной единице, и неслучайным воздействием г.
Определим спектральную плотность мощности процесса на выходе нели нейного элемента в установившемся режиме.
Пусть двумерная нелинейная функция имеет вид
z (t) = |
(0 х2 (0- |
Тогда корреляционная функция случайного процесса г (t) в установившемся состоянии определяется формулой
К W = Л , W + "4 <Т) К хМ + т Хгт х г lkXlXl М + **,*, М] +
+ kxt (т) k x 2 СО + (Т) kXiXt (т). (87)
Взяв преобразование Фурье от левой и правой частей формулы (87), получим
sz (со) = ml sXa (со) + |
m2x sXi (со) + mx mXt [sXiXa (со) + 8XtXi (со)] + |
1 ^ |
+ |
+_2S j І*Х, (“х) |
Рис. 6. Структурная схема разомкнутой системы, со держащей двумерный нелинейный элемент
28
Выразим спектральные плот ности мощности процессов на входе блока произведения через частот ные характеристики линейных звеньев: ч
|
«*(“)= |
iaii(/“)|2{mL + |
|
|
|
|
|
|
|
+ |
m2Xi I w2 (/со) I2 + |
|
|
|
|
|
|
+ |
mXlmx 2 lw2 (/®) + w2 (— / “ )]} + |
|
|
|
|
|
||
|
|
CO |
|
|
|
|
|
|
+ |
- ^ |
J |a>i(/“ i)l2 l®1 [/(w — |
|
|
|
|
|
|
|
— 00 |
|
|
|
|
|
|
|
|
|
|
|
Рис. |
7. Спектральная плотность мощно |
|||
+ |
w2(/CO) w2 [—j (CO— %)]} dcöi. |
сти |
процесса |
на выходе двумерного |
не |
|||
|
|
линейного элемента «. |
|
|||||
|
Предположим, что передаточные |
функции линейных звеньев имеют |
вид |
|||||
|
|
|
Щ (Р) = w2(р) = |
|
• |
|
||
|
Тогда спектральная плотность мощности процесса на выходе нелинейного |
|||||||
элемента будет определяться выражением |
|
|
|
|||||
|
|
|
г2 (4 + |
Т2со2) |
20 + |
ТЧо2 |
( 88) |
|
|
|
|
Г2сй2 + 1 |
+ 4Т(Г2со2 + 4) |
||||
|
|
|
|
|||||
|
На рис. 7 приведены графики спектральных плотностей процесса на выходе |
|||||||
нелинейного |
элемента, полученные |
с |
помощью формулы (88) (кривые 1,3) и |
метода статистической линеаризации (кривые 2, 4) для различных значений дис персий сомножителей при фиксированных средних значениях.
Пример 2. Определим математическое ожидание и корреляционную функ цию процесса хг (!) системы, которая рассмотрена в примере предыдущего пара графа (рис. 3).
Принимая во внимание формулы (74) и (76), запишем уравнения относительно математических ожиданий и корреляционных функций выходных координат исследуемой системы:
t
Щ]. (О = |
j о>і (т) [г — Фо (t — т) — ktn2(t — т)] d v, |
|
|||
|
т2(t) = |
J" w2 (X) m1 (t — X) dX; |
|
||
И |
|
о |
|
|
|
|
|
|
|
|
|
h i Vi> h) + J а'і'(т) {kk21 (^ — x , |
t 2) + |
M [ф (*x — t) \ ((,)]} d x + |
|
||
0 |
|
|
|
|
|
12 |
|
|
О |
О |
|
+ \ w 1 ( X ) { k k 12(t l , ( , - « + |
ЛІ[І1(/1) ф ( ( , - 1 ) ] ) й + |
(90) |
|||
1112 |
wi (T) |
(A.) {k2k22 (/j — T, t2 X) "h |
|
||
I ! |
|
29
+ kM [ф (ty - |
T) °x2 (t2 - Я)] + |
kM [x2 Ui - |
T) ф (t2 - Я)] -b |
|
|||
= |
+ |
M [cp (Ц — t ) ф (t2— Я)] dxdX = |
|
||||
1 120 )! (t ) |
(Я) Ң |
— — + t ) dxdX', |
|
||||
|
fl 1 |
|
|
|
|
|
|
|
о о |
|
|
|
|
|
|
|
|
fl |
f% |
|
|
|
|
*22 Ui, |
^2) — J I W2 (x) w2 (X) kn (-Ц — T,- |
t2 — X) dxdX\ |
(9 0 ) |
||||
|
|
о |
0 |
12 |
|
|
|
|
|
|
|
|
|
|
|
|
*12 Ui, |
^2) = J w 2 U) *11 (^i> ^2 — Я) йЯ; |
|
||||
|
|
|
|
о |
|
|
|
|
|
|
|
<» |
|
|
|
|
*21 (<1. У = |
J ш2 СО *11 (*1 — т- |
^2) dx. |
|
о
Математические ожидания, входящие в уравнения (89) и (90), при совмест ном нормальном распределении выходных координат для нелинейной функции (72) имеют вид:
|
|
Фо U) = |
т1 (0 т 2 (0 + |
d12 (0; |
|
М |
ixi Ui) ф |
(^2)]~ т |
2 (^2) *11 Uit |
U)~Ь |
mi Uz) *12 |
М [ф (Ц) Хі |
(t2) ]= Ші (ti) k2i (t1, |
t2j“b |
tn2 (Ц) kn |
||
M |
[x2 (Ц) Ф |
(t2) ]= tTlx Uz) *22 Ult |
U)“b |
mZ(^2) *21 |
M |
о |
о |
|
m2 (Ц) k12 Ul, tè't |
[ф (Ц) х2 (t2)] = mi Ul) *22 Ul, h) + |
||||
|
M |
[ф (Ц) ф (t2) ] = |
тг (Ц) mi Uè |
*22 Ult U) + |
|
|
+ m2 Ui) m2 (t2) kn Ui, |
t2) + |
|
+ |
m2 (Ц) mi Uz) *12 Ui, |
t2) + mi Ui) m2 (t2) k21 (h* tz) + |
||
|
~b *11 Ui, t2) k22 (/j, |
t2) -f- ki2 (ti, |
t2) k2i (ti, t2). |
(91)
(Ц>и)< Ui<U)t Ultt2)'t
(92)
Уравнения (89), (90) с учетом выражений (91) и (92) были проинтегрированы
методом квадратурных формул на ЦВМ с шагом А = |
0,1 для следующих пара |
|
метров системы: |
Тг = 0,5, Т2 — 1, |
|
k = 2, г = |
1, Q — 0,58. Результаты |
|
решения для |
(^, t2), mXi и DXi |
приводятся на рис. 8, 9, 10. На рис. 9 и 10 для сравнения показаны математическое ожидание и диспер сия выходной координаты Xi (t), определенные методом статистиче ских испытаний по тысяче реали заций (кривые 2).
thC
Рис. 8. Поверхность корреляцион ной функции процесса хг (t) нели нейной системы, содержащей дву мерный нелинейный элемент
30
Рис. 9. Математическое ожидание про- |
Рис. 10. Дисперсия процесса хх (t) |
|
цесса Xi (t) нелинейной системы: |
нелинейной системы: |
|
1 — метод квадратных |
формул; 2 — метод |
1 — метод квадратурных формул; 2 — |
статистических |
испытаний |
метод статистических испытаний |
4. Применение теории процессов Маркова к анализу, непрерывных систем управления
Широкий класс систем управления описывается дифферен циальным уравнением
x = f{t, х) + G (t, х) I (0, |
(93) |
где вектор-столбец фазовых координат системы х имеет размер ность п\ f (t, х) — вектор-функция п измерений; G (t, х) — ма трица размерности [п, т). Случайные возмущения, действующие на систему, представлены в формуле (94) в виде вектора-столбца I (t) т измерений. Случайный векторный процесс £ (t) является нормально распределенным белым шумом со следующими ста тистическими характеристиками:
М[1 (01 = 0; |
|
M lU t, ) g*.(fa)] = Q (ti) б (Ц — t2). |
(94) |
Анализ системы, описываемый уравнением (93), предполагает вычисление некоторых показателей точности. Достаточно общей формой такого показателя является
т
1 — М j ф [х (t), t] dt,
о
где ф [х (t), t] — скалярная функция фазовых координат сис темы. Обозначим через р (t, х) плотность распределения вероят ностей случайного процесса х (t). Тогда
т |
|
I = J dt j dx ф (х, t) р (t, х), |
(95) |
31
где J dx означает я-Кратный интеграл по всем компонентам век тора X в пределах от —оо до -foo, т. е.
СОJ dxt соJ dx2. .
В частном случае
Ф Ix (i), t] — X* (t) V (t) X (t) +
+ X* (0 Лх (t) 6 {T — t),
где V (t) я А — положительно |
определенные матрицы размер |
||||||||
ности [я, |
я], а 8 (Т — і) — дельта-функция Дирака. |
|
|||||||
Тогда |
показатель |
точности |
системы |
/ равен |
|
|
|||
|
/ = |
М |
JX * |
(t) |
V (t) X |
(t)dt + |
|
|
|
|
|
|
О |
|
|
|
|
|
|
|
|
= |
т |
[Г (t) V (01 dt |
|
|
|
||
+ ** (Т) Ах (Т) |
Jtr |
+ |
tr [Г (Т) Л]. |
(96) |
|||||
|
|
|
о |
|
|
|
|
|
|
В формуле (96) матрица Г (t) размерности |
[я, |
я] определяется |
|||||||
выражением |
|
|
|
|
|
|
|
|
|
|
Г (0 = М [х (0 X* (01, |
|
|
|
|||||
а |
|
|
|
|
П |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
trC = |
S сп |
|
|
|
|
|
|
|
|
|
|
г=і |
|
|
|
|
является следом матрицы С размерности |
[я, |
я] |
с элементами |
си , |
|||||
і, j = 1 , 2 , . . ., я. |
|
|
|
|
|
|
|
|
Показатель точности, определяемый выражением (96), зависит только от второй начальной моментной функции Г (t) случайного процесса в то время, как в общем случае [см. формулу (95)] показатель / зависит от закона распределения случайного про цесса. Расчет плотности распределения вероятностей р (t, х) случайного процесса х (t) может быть проведен с применением
теории |
процессов Маркова. |
|
|
|
|
|
|||
Случайный процесс х (t) называется процессом без последей |
|||||||||
ствия, |
или процессом Маркова, если для любых |
<* t2 <j • • • |
|||||||
• • • <j |
tk |
при произвольном |
k |
|
|
|
|
||
|
|
F {tin |
xk \ t j, |
Xj, |
12, X2, • . M |
Xft_i) — |
|||
где |
|
|
— |
F (tk, Xfe I 4-i, |
|
|
(97) |
||
|
F ('Jk, |
Xk I ti, |
|
12X2; |
• • -j |
|
|
= |
|
|
|
Xi\ |
|
|
|||||
|
“ |
p lx (tk) |
xk IX (t^j |
Xt., |
/ |
1, 2, |
* è • * & 1]« |
32
Условная плотность распределения вероятностей марковского процесса х (t) обладает свойством, аналогичным выраженному формулой (97):
(98)
Приведенное определение марковского векторного процесса X (t) означает, что если производится предсказание поведения х (t)
в |
момент 4 |
на |
основании |
известных |
значений х (4), і |
= 1, |
2, |
. . ., k — |
1, то |
точность |
предсказания |
будет такой же, |
как |
в случае известного измерения только в последний момент вре мени 4-і- Иначе говоря, вся информация о марковском процессе сосредоточена в последнем его измерении. Можно сказать и так: будущее марковского процесса независит от его прошлого при
известном настоящем |
значении. |
|
|
Для марковских процессов |
|
|
|
р (4 Xt IX |
( т ) , х ^ |
s < |
t) = р (i, xt \s, xs), |
где под р (t, хДх(т), |
т < s < |
t) |
понимается плотность распре |
деления вероятностей в момент t при известной реализации про цесса X (т), т < s < 4
Согласно известным свойствам многомерного дифференциаль ного закона распределения х (t) [82]
х 2; . . .; 4-2» Х/і- і )- ■■ Р (4> Х 2 І 4> -Н) Р (4> х і)- |
(99) |
Применяя к выражению (99) свойство (98) марковского про
цесса, получим при 4 |
< 4 <( . . . |
< 4 |
|
|
|
р |
(4) |
4. -^2» |
• • •» |
4. |
x k) |
— |
р (4. |
x k \ 4-1> x k-i) P |
(4-1. Xk - A ' |
||
4-2. |
xk-i) • • •p (4. *2І 4 . |
x d |
p (4. x i)- |
Таким образом, многомерный дифференциальный закон рас пределения вероятностей произвольного порядка k полностью
определяется |
одномерными условными законами распределения |
||
р (4 х) и р (4 |
х |т , у), которые содержат, следовательно, полное |
||
статистическое описание марковского процесса. |
имеет обоб |
||
Важное значение в теории марковских процессов |
|||
щенное уравнение Маркова |
[8, 23] |
|
|
|
p (4 |
X | t , y) = |
|
|
|
T < s < |
4 |
3 A. M. Батков |
33 |
Случайный процесс х (t) является непрерывным, если за малые интервалы времени он с малой вероятностью получает заметные по величине приращения. Дадим следующее определение непре рывности случайного процесса: случайный процесс является не прерывным, если для любого п-мерного вектора е, все компоненты которого положительны,
lim |
Р [\х (t + |
Д^) — x (t) I > е |х (t) = |
х] = 0 , |
|
дг->о АГ |
|
|
|
|
что означает |
|
|
|
|
|
1іп1 Ж |
I |
dyp(t + A t , y \t , x ) = |
0. |
|
&t->o |
I у_х |
I ■> Е |
|
Другое, более жесткое, определение непрерывности случайного процесса состоит в следующем: случайный процесс непрерывен, если для любого п-мерного вектора е, все компоненты которого положительны,
lim -jj |
j |
(у — x f p ( t + At, y\t, x)dy = 0. |
At->° |
I y—x |> |
e |
Непрерывные марковские случайные векторныелтроцессы х (t), или процессы диффузионного типа, характеризуются п-мерным вектором коэффициентов сноса с (t, х) и матрицей коэффициентов диффузии Ѳ (t, X) размерности [п, я], которые определяются выражениями:
с (t, х) ~ Ііш ~ |
M[x{t At) — х (t) \x(t) = x] = |
|
Д ^О |
|
|
= 1іт4т |
f (у — x)p(t-\- At, y\t, x)dy; |
(100) |
Д£->0 |
J |
|
Ѳ(t, x) — lim -rjM [(x(t -f At)—x (t)) (x) (t -j- At)—
д/->о
— x{t))*\x{t) = x] = Y\m^j f (y — x) (y — x)*p(t + At, y\t, x) dy.
ДГ>0 Af J
( 101)
Таким образом, математическое ожидание и дисперсия прира щения процесса х (t) за время At при условии х (t) = х являются бесконечно малыми величинами порядка At. В дальнейшем будут рассматриваться такие процессы, для которых момецты прира щения порядка выше второго являются бесконечно малыми более высокого порядка малости, чем At.
Процесс х (/), описываемый дифференциальным уравнением (93), обладает марковским свойством и является непрерывным [8,
34
74, 88]. Рассчитаем коэффициенты сноса и диффузии этого про цесса в следующем частном случае:
/ |
(t, х) — |
А (t) X + г (t), |
(102) |
|
|
G (t, |
X) - |
В (і), |
|
где А (f) — матрица |
переменных |
коэффициентов |
размерности |
[я, я]; г (t) — известная вектор-функция времени размерности я;
В (t) — матрица переменных коэффициентов размерности |
[я, т]. |
|||||
В рассматриваемом |
случае исследуемая система управле |
|||||
ния (93) является линейной. |
|
|
|
|
||
Для расчета с (t, х) |
и Ѳ (t, х) представим приращение про |
|||||
цесса за время A t |
согласно формулам (93) и (102) в виде |
|
||||
X (t |
+ At) — X (t) |
|
t+At |
|
||
— |
I |
(А (т) X (t) + |
|
|||
|
|
|
|
t |
|
|
|
+ |
Г (T) + |
В (t) I |
(T)) dr. |
(103) |
|
Тогда согласно определению вектора коэффициентов сноса вы |
||||||
ражение (100) примет |
вид |
|
t+At |
|
|
|
|
|
1іш-г7 М |
|
|
||
c(t, |
х) = |
J |
(А(т)х(т) + |
|
||
|
д/->о ш |
|
|
|
|
|
+ г (т) + |
В (т) I (т)) dr\x(t). |
■■A(t)x-\-r(t). |
(104) |
Матрица коэффициентов диффузии 0 (t, х) рассчитывается по формуле (101) с использованием выражения (103) и характеристи
ками (94) процесса |
| (t): |
|
|
|
||
|
|
|
|
't+At |
|
|
ѲIt, |
x) = lim т т Л4 |
j (Л(т)х(т)+г(т) + |
||||
|
t+At |
a m аг |
. |
t |
|
|
|
|
|
|
|
|
|
+ B{x)l{x))dx |
J |
{A{X)x{X) + r{X) + B{X)l{X))*dX\x{t) = x |
||||
|
t |
-t+At |
t+At |
|
|
|
|
|
|
|
|||
= lim 4 т M |
J dx |
J |
dXB(x)Ux)¥ (X)B*(X) + |
|||
A M |
tAt |
|
|
|
|
|
|
|
|
|
|
‘ t+At |
t+At |
-f- о (A^) I x(t) = |
X |
: lim T T M j dx |
J dX X |
|||
|
|
|
|
AM Ы |
|
|
|
Y . B { x ) U x ) l * { % ) B * (Я) + о(Д 0 |
|
||||
|
|
t+At |
t+At |
|
|
|
= l i m i |
[ |
dx [ |
dXB (x)Qlx)B*(X) б (t — Я), |
|||
Дt->Q |
І |
, |
|
|
|
3* |
35 |
где о {At) является величиной более высокого порядка малости, |
||
чем |
At. |
|
Выполняя операции интегрирования и перехода к пределу |
||
при |
At —>0, получим |
|
|
Ѳ (t, X) = В (t) Q(t) В* (t). |
(105) |
В выводе формул (104), (105) было использовано свойство неза |
||
висимости значений нормально распределенного |
«белого» шума |
Н, (t). Из этого свойства вытекает отсутствие статистической связи
£ (т), |
t < |
т |
< |
t |
+ |
A^ |
и условия |
л: (f) |
= |
х. |
Поэтому |
|
|
't+At |
|
|
|
|
|
|
= |
|
-t+At |
|
|
м |
J |
В (т) 1 (т) dx\ X (t) = X |
м |
J |
В (т) 1 (т) dr |
|||||||
|
t |
|
|
|
|
|
_ |
|
|
|
t |
|
|
|
ч + л< |
|
t+xt |
|
|
{X) В* (X) IX (t) = X |
|||||
|
М |
|
J |
dx |
J |
dXB{ т )6 ( т ) £ * |
||||||
|
|
|
|
- t + A t |
|
t + A t |
|
|
|
|
1 |
|
|
|
= |
М |
|
J |
dx |
J dX В (т) |
I |
(т) |
£* |
(X) В* (X) |
|
|
|
|
|
. |
t |
|
t |
|
|
|
|
|
|
|
|
|
|
= |
В (t) Q (t) В* (t) At |
+ |
o {At). |
Расчетами, аналогичными приведенным в формулах (104), (105), можно показать, что для нелинейной системы, описываемой урав нением (93) при G (t, х) = В (t) коэффициенты сноса и диффузии определяются соответственно выражениями
|
с (t, |
х) = |
f |
(t, |
х); |
|
|
(106) |
|||
|
Ѳ (t, |
X) = |
В (f) |
Q (t) |
В* |
{t). |
|
||||
|
|
|
|
||||||||
Случай, когда матрица G зависит не только от |
времени t, |
но |
|||||||||
и фазовых координат объекта х, |
будет рассмотрен |
в п. |
3 гл. |
II. |
|||||||
Пусть диффузионный процесс х (f) |
удовлетворяет следующим |
||||||||||
условиям: |
|
х\т, |
у) |
и |
непрерывные по |
переменным |
|||||
1) |
существует р (t, |
||||||||||
X, у, t |
и т < t частные |
производные |
|
|
|
|
|
||||
|
dp(t, |
X I т, |
у) |
дгр В, |
х; х, у) . |
|
|
|
|||
|
ду |
’ |
|
ду ду* |
’ |
|
|
|
2)существуют коэффициенты сноса с (t, х) и диффузии Ѳ{t, х);
3)существуют непрерывные по переменным х, у, t и т < t частные производные
dp {t, х \ х , у ) |
д_ |
[С(/, х) p(t, X I т, у)}, |
dt |
’ дх |
|
Ö23
дх дх* [Ѳ(/, x)p{t,x\x, у)}-,
36