МОТС ИТМО
.pdf
|
Сформируем |
|
теперь |
мультипликативную |
|
конструкцию |
|||||||||||||
(x k 1 x k 1 )(x k 1 x k 1 )T , |
для |
которой |
при |
||||||||||||||||
v k w k , на основании (11.129), (11.136) запишем |
|
|
|
|
|
|
|||||||||||||
(x k 1 x k 1 )(x k 1 x k 1 )T |
|
(x k x k )(x k x |
k )T |
|
|
T |
|
||||||||||||
|
|
||||||||||||||||||
F |
F |
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.137) |
|||||
|
Gw(k)(x k x k )T |
|
T |
|
(x k x k )wT k |
|
T Gw(k)wT k |
|
T . |
|
|||||||||
F |
F |
G |
G |
|
Применим к выражению (11.137) оператор вычисления математического ожидания, тогда получим с учетом (11.131),(11.133) и условий M x(k)wT ( ) 0 , M w( )xT (k) 0 соотношение (11.135). ■
Примечание 11.4 (ПР11.4). Рассмотрим матричное рекуррентное уравнение (11.135) относительно матрицы Dx k в установившемся
режиме для случая, когда матрица F системы имеет все собственные
значения в единичном круге. Для него оказываются справедливыми предельные соотношения
lim Dx k 1 lim Dx k Dx , при этом рекуррентное матричное |
|
k |
k |
уравнение (11.135) вырождается в алгебраическое матричное уравнение
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
FD F T GVG T , |
|
|
|
|
|
|
|
|
|
|
|
(11.138) |
|||||||||||||||||||||
x |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
именуемое дискретным матричным уравнением Ляпунова. |
|||||||||||||||||||||||||||||||||
Примечание 11.5 (ПР11.5). Для |
вектора |
|
математического |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ожидания |
выхода |
|
y |
(k) M y(k) |
дискретной системы (11.129) и |
||||||||||||||||||||||||||||
матрицы дисперсий D |
|
M ( y |
|
|
)(y |
|
)T справедливы соотношения |
||||||||||||||||||||||||||
y |
|
y |
y |
||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
M |
|
|
|
|
|
|
|
|
T |
|
|
|
|
|||
y(k) |
|
x(k) |
|
|
|
k x 0 , D |
|
|
x x x x T |
|
|
D |
|
T . (11.139) |
|||||||||||||||||||
C |
C |
|
F |
y |
С |
C |
C |
C |
|||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|||
Примечание |
11.6 (ПР11.6). |
По |
аналогии |
с непрерывными |
системами для матриц ковариаций по векторам состояния и выхода можно записать
R (v) M[x(k v)xT (k)] M[ |
|
v x(k)xT (k)] |
|
v D : v 0 |
; |
(11.140) |
||||||||||||||||||||||||||||
F |
F |
|||||||||||||||||||||||||||||||||
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
(v) M[x(k v)xT (k)] M[ |
|
v x(k)xT (k)] |
|
v D : v 0; |
|
(11.141) |
||||||||||||||||||||||||||
R |
|
F |
F |
|
||||||||||||||||||||||||||||||
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
v D |
|
|
T : v 0; |
|
|
|
|
|
|
|
||||||||
R |
y |
(v) |
C |
R |
|
|
C |
C |
F |
C |
|
|
|
|
|
|
(11.142) |
|||||||||||||||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
T |
|
|
|
v D |
|
T : v 0. |
|
|
|
|
|
|
|
||||||||||||||||
R |
y |
(v) |
C |
R |
|
C |
C |
F |
C |
|
|
|
|
|
|
(11.143) |
||||||||||||||||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|||||||||
|
|
Пусть |
теперь v k k , где |
k – стационарное |
в широком |
|||||||||||||||||||||||||||||
смысле стохастическое экзогенное воздействие типа |
дискретный |
«окрашенный шум». «Окрашенный шум» (k) формируется
дискретным фильтром (ДФФ), имеющим векторно-матричное описание
|
|
|
|
|
|
|
|
zф (k 1) |
|
ф zф (k) |
G |
ф w(k); zф (0) 0; (k) |
Pф zф (k) . |
(11.144) |
В итоге задача сводится к предыдущей путѐм объединения дискретного формирующего фильтра и исследуемой системы (11.129), что образует составную дискретную систему, возбуждаемую внешним
209
стохастическим дискретным воздействием типа дискретный белый шум. Полученные результаты сформулируем в виде следующего утверждения.
Утверждение 11.7 (У11.7). Рассмотрим дискретные процессы по векторам состояния, выхода и ошибки, являющиеся решением линейного стохастического векторно-матричного рекуррентного уравнения
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
x(k 1) Fx(k) G (k), x(0), y(k) Cx(k), (k) (k) y(k) , |
(11.145) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
где k – решение рекуррентного |
|
|
уравнения (11.144). Тогда |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
оказываются справедливыми матричные соотношения |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
~ |
|
|
|
|
|
|
~ |
~ |
|
|
|
|
~ |
T |
|
|
|
~ |
|
|
~ |
T |
~ |
|
|
|
|
|
~ |
|
|
|
~ ~ ~ ~ |
|
T |
, |
(11.146) |
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
Dx |
(k 1) FDx |
(k)F |
|
GVG |
, Dx (0), |
Dx M (x x )(x |
x ) |
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||
Dx (k) I |
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
0 Dx (k) I |
O |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.147) |
||||||||||||||||||||
|
|
(k) |
|
|
0 D~ (k) |
|
|
0 ;T D |
(k) |
|
|
|
|
|
|
|
D~ (k) |
|
|
|
|
|
T , |
(11.148) |
|||||||||||||||||||||||||||||||||||||
D |
y |
C |
|
C |
|
C |
|
|
P |
C |
P |
|
|||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
y |
|
|
|
|
|
|
|
|
|
|
Ф |
|
|
x |
|
|
Ф |
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
O |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
~ |
|
T |
|
|
T |
T |
|
|
|
|
|
|
|
|
|
F |
G |
PФ |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
где x |
x |
|
|
, zФ |
|
, |
|
|
|
|
F |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
; |
|
G |
|
|
|
|
. |
|
|
|
|
|
|
|
|
□(11.149) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
O |
|
ΓФ |
|
|
|
|
|
|
GФ |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
|
|
Доказательство утверждения строится на конструировании |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
агрегированной системы |
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||
~ |
|
|
|
|
|
~ |
~ |
|
~ |
|
|
|
|
|
~ |
|
|
|
|
T |
|
|
|
|
|
T |
|
T |
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.150) |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||
x (k 1) |
Fx (k) Gw(k) , x (0) |
|
(0) 0 |
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
~ ~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ ~ |
|
|
|
|
|
|
|
|
|
~ |
|
~ |
|
|
, |
|
|
(11.151) |
|||||||||||||
x(k ) Cx x (k ) ; y(k ) |
C y x (k ) ; |
(k) C x (k) |
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
zф |
|
~ ~ |
|
|
|
|
|
|
|
|
|
|
~ |
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.152) |
||||||||
|
|
|
Сz x (k) |
; (k) C x (k) , |
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
с вектором состояния |
|
и матрицами |
|
|
, G вида (11.149), а также |
||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
x |
|
F |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||
матрицами |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
~ |
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|||||||||
|
I |
|
|
|
|
|
C |
|
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
PФ ,(11.153) |
||||||||||||||||||||||||||||||||
Cx |
0 ;Cy |
|
0 ;C |
|
|
|
PФ ;Cz 0 |
|
|
I ;C |
|
|
опирающейся на системы (11.144) и (11.145). Сконструированная таким образом система (11.150) оказывается возбуждаемой стохастическим воздействием типа дискретный «белый шум» w(k) ,
для которой оказываются применимы уравнения Ляпунова вида (11.135), имеющего реализацию в форме (11.146), и вида (11.138),
имеющего представление |
|
|
||||||||
~ |
~ |
~ |
~ |
T |
~ |
|
~ |
T |
. |
■(11.154) |
|
|
|||||||||
Dx FDx F |
GVG |
Рассмотрим теперь проблемы, связанные с конструированием матриц спектральных плотностей переменных системы (11.129). Сначала дадим определение матрицы спектральных плотностей векторной переменной дискретной системы вида (11.129).
Определение 11.1 (О11.1). Матрицей S спектральных плотностей векторной стохастической переменной , обладающей
210
матрицей ковариаций |
|
|
Фурье от |
||||
R называется бесконечный ряд |
|||||||
матрицы ковариаций, записываемый в виде |
|
||||||
|
|
|
|
|
|
||
|
S ( ) |
R (v)e jvω t . |
(11.155) |
||||
|
|
v |
|
Применительно к векторным переменным дискретной системы (11.129) введенное определение матрицы спектральных плотностей с учетом соотношений (11.142) и (11.143) позволяет записать
|
|
|
|
|
||||||||||||
|
S |
x ( ) |
|
R |
x (v)e jv t ; |
S |
y ( ) |
|
R |
y (v)e jv t |
C |
|
S |
x ( ) |
C |
T . (11.156) |
|
|
|
v |
v |
Для целей получения компактного представления матриц спектральных плотностей (11.156) сформулируем и докажем утверждение.
Утверждение 11.8 (У11.8). Матрицы спектральных плотностей векторных переменных x состояния и y дискретной системы вида
(11.129) представимы в форме
|
|
|
|
( ) 2(I |
|
|
|
cos t){I 2 |
|
cos t |
|
|
2} 1 |
|
, |
|
|
|
|
|
|
(11.157) |
||||||||||
S |
F |
F |
F |
D |
||||||||||||||||||||||||||||
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
||||||||
|
|
|
( ) |
|
|
|
|
( ) |
|
T 2 |
|
(I |
|
cos t){I 2 |
|
cos t |
|
2} 1 |
|
|
|
T . |
□(11.158) |
|||||||||
S |
C |
|
S |
|
C |
C |
F |
F |
F |
D |
C |
|||||||||||||||||||||
|
y |
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
Доказательство. Представим матрицу спектральных плотностей Sx ( ) , задаваемую с помощью (11.156), в форме цепочки матричных равенств
0 |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
||||||||||
|
S |
x ( ) |
F |
v |
D |
xe jv t |
F |
v |
D |
xe jv t |
( |
F |
1e j t )v |
D |
x |
|
|||||||||||||
|
|
v |
v 0 |
v |
(11.159) |
||||||||||||||||||||||||
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
( |
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
Fe j t )v Dx |
Fe j t ) v Dx (Fe j t )v Dx. |
|
|||||||||||||||||||||||||
|
|
v 0 |
v |
v 0 |
|
В выражениях (11.159) содержатся члены суммы матричной геометрической прогрессии соответственно с показателями Fe j t и
Fe j t , для которых оказываются справедливыми представления геометрических прогрессий в виде свернутых сумм
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
Fe j t ) v ...(Fe j t )3 (Fe j t )2 Fe j t I (I Fe j t ) 1 , |
(11.160) |
||||||||||||||||||||||||||||||||||||||||
v |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
( |
Fe j t )v I Fe j t (Fe j t )2 |
( |
Fe j t )3 ... (I Fe j t ) 1. |
(11.161) |
|||||||||||||||||||||||||||||||||||||||
v 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
С учетом (11.159), (11.160) и (11.161) для матрицы |
|
S |
x ( ) |
|||||||||||||||||||||||||||||||||
спектральной плотности процессов по состоянию можно записать |
|||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
( ) {(I |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
S |
x |
Fe j t ) 1 (I Fe j t ) 1}D |
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
||||||||||
{[(I |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
F |
cos t) jF |
sin t] 1 [(I F cos t) jF sin t] 1}D . |
(11.162) |
||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
Запишем единичную матрицу, неявно присутствующую в выражении (11.162) непосредственно слева от матрицы Dx в форме
211
I [(I F cos t) jF sin t][(I F cos t) jF sin t] {[(I F cos t)jF sin t][(I F cos t) jF sin t]} 1 [(I F cos t) jF sin t][(IF cos t) jF sin t]{I 2F cos t F 2 } 1.
Подстановка полученного |
представления |
единичной матрицы I |
в |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
(11.162) дает |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
( ) 2(I |
|
cos t){I 2 |
|
|
|
cos t |
|
2} 1 |
|
|
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
S |
x |
F |
F |
F |
D |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
( ) |
|
T |
2 |
|
(I |
|
|
cos t){I 2 |
|
cos t |
|
2} 1 |
|
|
|
|
T . |
|
||||||||||||||||||||||||||||||
S |
y |
( ) |
C |
|
S |
x |
C |
C |
F |
F |
F |
D |
C |
■ |
||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
|
|
|
|
|
Примечание 11.7 (ПР11.7). При формировании матрицы |
S ( ) |
||||||||||||||||||||||||||||||||||||||||||||||||||||
спектральных плотностей вектора |
|
|
ошибки по выходу дискретной |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
системы (11.129) следует пользоваться выражением |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
~ |
2 1 |
~ |
|
~ |
T |
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
S |
|
( ) 2C (I F cos t){I 2F cos t F |
|
|
, |
|
|
|
(11.163) |
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
} |
|
|
D |
C |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
~ |
|
|
|
~ |
|
|
|
|
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
где |
матрицы |
|
|
|
|
|
|
|
и |
|
|
определяются |
|
|
соответственно |
с |
||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
C , |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
F |
|
|
|
Dx |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||
помощью выражений (11.153) и (11.154). |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
Примечание 11.8 (ПР11.8). В выражениях для матриц |
|||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
и |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||
спектральных плотностей |
S |
x ( ) , |
|
S |
y ( ) |
S ( ) формах |
(11.157), |
|||||||||||||||||||||||||||||||||||||||||||||||||||
(11.158) |
(11.163) |
соответственно |
для |
|
|
следует |
|
иметь |
|
в виду |
ограничение t 1 t 1 .
11.5* Связь параметров стохастических стационарных в широком смысле непрерывных и дискретных экзогенных
воздействий типа «белый шум»
Данный параграф имеет прикладное назначение. Он решает задачу подготовки пользователя материалами раздела к экспериментальной среде такой, как Matlab с расширением Simulink, для проведения исследований моделей динамических систем при стохастических экзогенных воздействиях. Надо предупредить читателя, что корректное исследования может быть организовано только в дискретной по времени модельной среде, которая должна состоять из источника дискретного белого шума, дискретного формирующего фильтра и дискретной модели исследуемой непрерывной системы. Сказанное объясняется тем, что источник непрерывного белого шума аппаратно не реализуем, а дискретного – реализуем. Однако расчетные процедуры могут быть осуществлены с помощью приведенных в разделе аналитических соотношений для непрерывных систем в полном объеме.
В этой связи встает задача формирования параметров источника дискретного белого шума w k в виде его матрицы дисперсий V по параметрам виртуального источника непрерывного белого шума w t в виде его матрицы интенсивностей N с учетом факта перехода от
212
непрерывного времени к дискретному в форме t k t , то есть задача
вида |
|
V V N, t . |
(11.164) |
Инструментально ставится задача добиться на выходе дискретной модели непрерывного формирующего фильтра дисперсии D
окрашенного дискретного шума k при дискретном на ее входе белом шуме w k дисперсии V такой, чтобы она равнялась дисперсии D окрашенного непрерывного шума t на выходе непрерывного
формирующего фильтра, возбуждаемого виртуальным белым шумом |
|||||
w t |
интенсивности |
N .Иначе |
говоря, |
решить |
задачу |
эквивалентирования источников непрерывного и дискретного белых шумов в смысле выполнения равенства D t t k t = D k .
Для решения задачи сформулируем утверждение.
Утверждение 11.9 (У11.9). Для того, чтобы стохастические |
||||||||||||||||||||||||
процессы |
|
|
t |
и k , формируемые соответственно ФФ (11.106) и |
||||||||||||||||||||
(11.144) |
|
были |
|
эквивалентными |
|
в |
смысле |
выполнения |
равенства |
|||||||||||||||
D t |
|
t k t = |
|
D k |
необходимо, |
чтобы |
|
матрица дисперсий V |
||||||||||||||||
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
удовлетворяла |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
V= G T G |
|
G T |
Dz( t G T G T G |
. |
|
|
(11.165) |
|||||||||||||||||
|
|
|
|
ф |
ф |
|
|
ф |
|
ф ф |
ф |
|
|
|
|
|||||||||
Доказательство. Для доказательства сформируем аналитическое |
||||||||||||||||||||||||
представление |
для |
матрицы D k 1 M z |
ф |
k 1 zT k 1 . |
С этой |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z |
|
|
|
ф |
|
целью на основании (11.144) сформируем выражение для вектора – строки zфT ( k +1)
|
|
zT |
( k +1)= |
zT k |
|
T |
+ wT k |
|
|
T |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(11.166) |
||||||||||||||
|
Γ |
G |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
ф |
|
|
|
|
|
ф |
|
ф |
|
|
|
|
|
ф |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
k 1 M z |
|
k 1 zT |
k 1 M |
|
|
|
|
|
|
k zT |
k |
|
T |
M |
|
|
|
w k wT k |
|
T |
||||||||||||||||||||||||
D |
ф |
Γ |
ф |
z |
ф |
Γ |
G |
G |
|||||||||||||||||||||||||||||||||||||
z |
|
|
|
|
|
|
|
|
ф |
|
|
|
|
|
|
|
|
|
|
|
ф |
|
|
|
ф |
|
|
|
|
ф |
|
ф |
|||||||||||||
M |
|
|
|
|
k wT k |
|
T M |
|
w k zT k |
|
T |
|
|
|
|
k |
|
T |
|
|
|
T , D |
0 0. |
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
Γ |
ф |
z |
ф |
G |
G |
Γ |
Γ |
ф |
D |
Γ |
G |
VG |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
ф |
|
|
|
ф |
ф |
|
|
|
|
|
ф |
|
|
|
z |
|
|
ф |
|
|
|
ф ф |
z |
|
|
Положим в полученное рекуррентное уравнение для матриц дисперсий условие k 0, Dz 0 0 , тогда получим
Dz 1 GфVGфT , где Dz 1 Dz 1 t Dz t .
|
Решение |
|
матричного |
уравнения D t |
|
|
|
T |
относительно |
||||||
|
|
G |
VG |
||||||||||||
|
|
|
|
|
|
|
|
|
z |
|
ф |
ф |
|
||
матрицы дисперсии V |
дискретного «белого» шума путем умножения |
||||||||||||||
|
t |
|
|
|
T |
|
|
GT , а справа |
|
G |
|
|
|||
D |
G |
VG |
слева |
на |
на |
с |
последующим |
||||||||
z |
|
ф |
ф |
|
|
ф |
|
|
ф |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
1 |
приводит к (11.165).■ |
||||
умножением слева и справа на матрицу GT G |
|||||||||||||||
|
|
|
|
|
|
|
|
|
ф |
ф |
|
|
|
|
|
213
3.b0 0; b1 1; a0 0; a1 1; a2 1;
4.b0 1; b1 0; a0 0; a1 0.1; a2 1;
5.b0 1; b1 0; a0 0; a1 0.5; a2 1;
6.b0 1; b1 0; a0 0; a1 1; a2 1;
7.b0 0.5; b1 0; a0 0; a1 1; a2 1;
8.b0 1; b1 1; a0 0; a1 0.1; a2 1;
9.b0 1; b1 1; a0 0; a1 0.5; a2 1;
10.b0 0; b1 1; a0 1; a1 2; a2 1;
11.b0 0; b1 9; a0 1; a1 6; a2 9;
12.b0 0; b1 1; a0 1; a1 1.5; a2 1;
13.b0 0; b1 16; a0 1; a1 6; a2 16;
14. b0 0; b1 4; a0 1; a1 1; a2 4;
и вычислить реакцию системы на одно из непрерывных конечномерных экзогенных воздействий из примеров 10.1.1. – 10.4.4. раздела 10 по выбору преподавателя.
11.2. Для значений параметров из примеров 11.1.1 – 11.1.14 непрерывной системы при значении интервала дискретности t 0.1C сформировать ее дискретное представление
x k 1 Fx k Gg k , x k k 0 x 0 0, y k Cx k с тем, чтобы вычислить реакцию системы на одно из дискретных конечномерных экзогенных воздействий из примеров 10.6.1. – 10.7.4. раздела 10 по выбору преподавателя.
11.3. Вычислить матрицы дисперсий Dx , Dy соответственно
векторов состояния и выхода непрерывной системы примера 11.1, а также корреляционную функцию выхода Ry и его функцию Sy
спектральной плотности для вариантов 11.1.1–11.1.14 по выбору преподавателя для случая экзогенного стохастического воздействия стационарного в широком смысле типа «белый шум» w t
интенсивности N =1 В2С.
Решение вариантов задач
Решение задачи 11.3 ( с вариантом параметров 11.1.1)
В соответствии с вариантом параметров 11.1.1 передаточная функция непрерывной системы принимает вид
s |
Y s |
|
b |
1 |
|
10s 1 |
||
|
1 |
|
|
|
|
|
||
|
|
|
|
|
|
|
;ВМО которой будет |
|
G s |
a1s a2 |
0.1s 1 |
1 10s 1 |
характеризоваться матрицами: G 10 , F 10 , C 1 .
Для вычисления матрицы дисперсий Dx M x t xT t M x2 t воспользуемся матричным уравнением Ляпунова (11.102)
216
FD D F T GNGT , |
которое |
принимает |
вид |
||||||||
|
x |
|
x |
|
|
|
|
|
|
|
|
10D D 10 T 10N 10 T , |
что приводит |
к равенствам |
|||||||||
x |
x |
|
|
|
|
|
|
|
|
|
|
20D 100N |
|
|
100, |
D 5B2 .Матрица |
дисперсии |
выхода в |
силу |
||||
|
|
||||||||||
x |
|
|
N 1 |
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
(11.103) |
и |
|
C 1 принимает |
вид D |
y |
D 5B2 . |
Корреляционная |
||||
|
|
|
|
|
|
|
|
x |
|
|
матрица по вектору состояния в силу (11.104) определяется
выражением R |
eF D |
5e 10 , а по вектору выхода в силу (11.105) |
||||
x |
x |
|
|
|
|
|
получает представление |
R |
y |
CR |
x |
CT R 5e 10 . Осталось |
|
|
|
|
|
x |
определить матрицу спектральной плотности состояния и выхода, которые в силу соотношений (11.123)–(11.124), а также матриц
системы |
2I |
D |
|
принимают |
|
100 |
вид |
|
S 2F F 2 |
100 |
; S CS CT |
.■ |
|||||
|
1 |
|
|
|
|
|
|
|
x |
|
x |
|
|
y |
x |
|
|
|
|
100 2 |
100 2 |
|
||||
|
|
|
|
|
|
|
217