- •1. ОБЩАЯ ХАРАКТЕРИСТИКА ЗАДАЧ МОДЕЛИРОВАНИЯ И ИСПЫТАНИЙ СИСТЕМ УПРАВЛЕНИЯ
- •1.1. Основные особенности моделирования систем с учетом реальных условий их применения
- •1.2. Основные свойства и характеристики моделей
- •1.3. Особенности моделирования и испытаний сложных систем
- •1.4. Показатели эффективности систем
- •2. КЛАССИФИКАЦИЯ МОДЕЛЕЙ СИСТЕМ УПРАВЛЕНИЯ
- •2.1. Классификация моделей по способу физической реализации
- •2.2. Классификация моделей по форме математического описания
- •2.3. Детерминированные конечные автоматы и их применение при построении моделей сложных систем
- •2.4. Вероятностные автоматы и марковские цепи
- •2.5. Модели с дискретными состояниями и непрерывным временем
- •2.6. Алгоритмы реализации моделей
- •3. МЕТОД СТАТИСТИЧЕСКОГО МОДЕЛИРОВАНИЯ
- •3.1. Теоретические основы метода статистического моделирования
- •3.2. Понятие оценки. Свойства оценок
- •3.3. Точность оценок и определение необходимого количества опытов
- •3.4. Пример использования метода Монте-Карло
- •3.5. Способы построения генераторов случайных чисел
- •3.5.1. Аппаратные способы построения генераторов случайных чисел
- •3.5.2. Программные способы построения генераторов случайных чисел
- •3.6. Методы восстановления закона распределения по результатам статистического моделирования
- •3.6.1. Параметрические методы восстановления закона распределения
- •3.6.2. Непараметрические методы восстановления закона распределения
- •3.7.1. Критерий согласия Пирсона
- •3.7.2. Критерий согласия Колмогорова
- •3.7.3. Другие задачи проверки статистических гипотез, виды критериев и их характеристики
- •3.8. Пример статистической имитационной модели системы со случайными параметрами
- •3.9. Моделирование случайных векторов
- •3.9.1. Метод условных распределений
- •3.9.2. Методы преобразования случайных координат
- •3.9.3. Метод Неймана
- •4.1. Основные формы описания непрерывных случайных процессов
- •4.2. Спектральный метод расчета установившегося случайного процесса в линейной стационарной системе
- •4.3. Статистическая линеаризация нелинейной стационарной системы
- •4.4. Расчет установившегося случайного процесса в нелинейной стационарной системе
- •4.5. Определение характеристик нестационарных случайных процессов методом весовых функций
- •4.7. Моделирование нестационарных случайных процессов в нелинейных системах методом динамики средних
- •4.8. Построение моделей случайных процессов в дискретных системах
- •4.9. Методы моделирования случайных процессов с заданными характеристиками
- •4.9.1. Метод формирующего фильтра
- •4.9.2. Метод скользящего суммирования
- •4.10. Пример статистической имитационной модели системы со случайными параметрами при действии случайной помехи
- •5. СПОСОБЫ СНИЖЕНИЯ ТРУДОЕМКОСТИ СТАТИСТИЧЕСКОГО МОДЕЛИРОВАНИЯ
- •5.1. Основные методы уменьшения дисперсии оценки
- •5.1.1. Метод выделения главной части
- •5.1.2. Метод существенной выборки
- •5.1.3. Метод расслоенной выборки (выборка по группам)
- •5.2. Комбинированные методы получения оценок
- •5.2.1. Оценка статистической характеристики сложной математической модели с использованием результатов аналитического упрощенного исследования
- •Литература
- •СОДЕРЖАНИЕ
в результате чего получаем: m =0, D =G0=1; W(p) - передаточная функция формирующего фильтра
W p |
kф |
, k |
|
= |
2D |
, T = |
1 |
, |
|
ф |
|
|
|||||
|
Tф p + 1 |
|
h |
ф |
|
|
||
|
|
|
|
|
||||
где h - шаг интегрирования модели.
Формирующий фильтр реализуем добавлением в систему уравнений (3.27) дополнительного уравнения
d 1 kф , dt Tф Tф
которое должно интегрироваться совместно с остальными уравнениями модели, и начального условия (0)=m . Значения для каждого шага интегрирования формируются путем 12-кратного обращения к генератору случайных чисел и использования преобразования ( ).
Отметим, что вычислительная трудоемкость модели существенно повысится по сравнению с рассмотренным выше ее вариантом. Теперь для получения каждой реализации моделируемого процесса, помимо дополнитель-
ных арифметических операций потребуется еще 12T h обращений к генера-
тору случайных чисел (T - продолжительность моделируемого процесса). Кроме того, для такой модели оказывается недопустимым использование итерационных методов интегрирования с автоматическим выбором шага.
5. СПОСОБЫ СНИЖЕНИЯ ТРУДОЕМКОСТИ СТАТИСТИЧЕСКОГО МОДЕЛИРОВАНИЯ
5.1. Основные методы уменьшения дисперсии оценки
143
Как видно из представленных в подразд. 3.3 соотношений, уменьшение дисперсии используемой при статистическом моделирова нии оценки искомой характеристики позволит пропорционально снизить количество опытов, необходимых для получения результата с заданной точностью.
Рассмотрим наиболее известные методы уменьшения дисперсии оце н- ки на примере задачи определения математического ожидания некоторого показателя качества динамической системы со случайными параметрами.
Модель динамической системы задается в виде системы уравнений
|
|
X i t i X t ,t,V , i=1,2,...,n, |
(5.1) |
где X(t)=(X1 (t),X2 (t),…,Xn (t)) - вектор переменных состояния системы; V=(V1 ,V2 ,…,Vm) - вектор случайных параметров. Качество системы характеризуется мгновенным значением переменной состояния X1 в момент времени t1 . Таким образом, задача сводится к оценке математического ожида-
ния mx=M [X1 (t,V)].
При использовании стандартной схемы статистического моделирования оценка mx для заданной m-мерной ПРВ вектора случайных параметров f v(V) определяется по формуле (3.2), а необходимое для обеспечения заданной точности количество опытов - по формуле (3.19).
5.1.1. Метод выделения главной части
Решение системы (5.1) X1 (t,V), которое, возможно, не может быть найдено аналитически, заменяют приближенным выражением Y(t,V), удобным для аналитических преобразований. Например:
Y (t,V ) a0 t |
|
M |
M M |
|
|
a j t V j |
bjk t V jVk |
||||
|
|
j 1 |
j 1 k 1 |
|
|
или для единственного случайного параметра |
|
|
|
||
Y t,V a |
0 |
t a t V a |
k |
t V k , |
|
|
1 |
|
|
||
где a j (t),b j k(t) - некоторые функции времени.
Вводится новая переменная состояния Z(t,V)=X1 (t,V)-Y(t,V) и в системе уравнений (5.1) выполняется замена переменной X1 на Z путем подстановки:
M |
M M |
X1 t,V Z t,V a0 t a j t V j bjk t V jVk , |
|
j 1 |
j 1 k 1 |
144
|
|
|
M |
|
M M |
|
X1 |
t,V Z t,V a0 |
t a j t Vj bjk t VjVk |
||||
|
|
|
j 1 |
|
j 1 k 1 |
|
или
X1 t,V Z t,V a0 t a1 t V ak t V k ,
X1 t,V Z t,V a0 t a1 t V ak t V k .
Оценка искомого математического ожидания определяется в виде: mx=M [Y(t1 ,V)]+M [Z(t1 ,V)],
где первое слагаемое может быть найдено аналитически:
M Y t1,V Y t1,V fV V dv1...dvm ,
G
G - область возможных значений вектора V, а второе слагаемое определяется по методу статистического моделирования на основе многократного реше-
ния полученной |
новой |
системы уравнений до момента времени t1 : |
||
|
1 |
N |
zi Z t1,V i , V (i) - i-я реализация вектора случай- |
|
M[Z (t1,V )] |
zi , |
|||
|
||||
|
N i 1 |
|
||
ных параметров, N - количество решений системы уравнений для различных
V (i).
При удачном выборе функции Y(t,V) дисперсия случайной величины Z(t1 ,V) может оказаться существенно меньше, чем дисперсия X1 (t1 ,V), что и приведет к сокращению требуемого количества опытов.
Пример. Рассмотрим достаточно простой пример, все необходимые расчеты для которого могут быть выполнены точно на основе аналитич еских решений. Пусть требуется определить математическое ожидание выходного сигнала X апериодического звена 1-го порядка через 1с после подачи на вход сигнала 1(t). Коэффициент передачи звена k=4. Постоянная времени и на-
чальное значение выходного сигнала - случайные: T 1V1 , X(0)=V2 . Па-
раметр V1 распределен по равномерному закону в интервале [0; 1] , параметр V2 - по равномерному закону в интервале [1; 2] , V1 и V2 статистически независимы. Допустимая абсолютная погрешность результата доп = 0,01.
145
Искомое математическое ожидание mx=M[X(1)], дисперсия D[X(1)] и необходимое количество опытов могут быть оценены на основе статистического моделировани или определены аналитически.
Сначала получим точное решение задачи. Изменение сигнала X во времени описывается дифференциальным уравнением
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T X X |
k . |
(5.2) |
|||
Решение (5.2) имеет вид: X t V |
|
k e V1t k . |
||||||||||
|
|
|
|
|
2 |
|
|
|
||||
Для t=1 с учетом статистической независимости параметров V1 и V2 |
||||||||||||
получим: |
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
2 |
1 |
1 |
|
mx M V2 M e V1 kM e V1 k v2dv2 e v1 dv1 k e v1 dv1 k |
||||||||||||
|
|
|
|
|
|
|
|
|
1 |
0 |
0 |
|
|
v22 |
|
|
|
ke v1 |
|
1 k 1,5 1 e 1 4 e 1 |
1 4 2,419 , |
||||
|
|
2e v1 |
0 |
|
||||||||
|
||||||||||||
2 |
|
1 |
1 |
|
|
0 |
|
|
|
|
||
M X 2 1 |
M V k e V1 k 2 M V 2 |
M e 2V1 |
2kM V M e 2V1 |
|||||||||
|
|
|
|
2 |
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
k 2 M e V1 k 2 6,0954, |
||||
k 2 M e 2V1 |
2kM V M e V1 |
|||||||||||
|
|
|
|
|
2 |
|
|
|
|
|||
|
|
|
|
|
D X 1 M X 2 1 m2 0,2438. |
|||||||
|
|
|
|
|
|
|
|
|
|
x |
|
|
С учетом известной D[X(1)] по (3.19) оценим количество опытов, необ- |
||||||||||||
ходимое для оценки mx методом статистического моделирования с погреш- |
|||||
ностью, не превышающей доп (при доверительной вероятности 0,997): |
|||||
N |
1 |
|
9D X 1 |
21942. |
|
треб |
|
|
|||
|
|
2 |
|
||
|
|
|
|
||
|
|
|
доп |
|
|
При решении этой же задачи методом статистического моделирования |
|||||
на основе итерационного |
алгоритма (с. 65) получены следующие оценки |
||||
(БЭЙСИК, IBM PC, объем начальной серии опытов n 0 = 500): |
|||||
m 2,416, |
D X 1 0,2391, N 1 |
21517. |
|||
x |
|
|
|
треб |
|
В процессе решения фактически выполнено N 1 |
21906опытов. |
||||
Применим теперь к этой задаче метод выделения главной части. Пр и- |
|||||
ближенное решение уравнения (5.2) выберем в виде |
|
||||
|
Y(t,V)=(V2 -k )(1-V1 t)+k. |
(5.3) |
|||
Его математическое ожидание при t=1 легко вычисляется аналитически:
146
M[Y(1)]=(M[V2 ] - k)(1-M[V1 ] )+k = (1,5-4)(1-0,5)+4=2,750.
Выполним в уравнении (5.2) замену переменной:
X=Z+V2 +k V1 t-V1 V2 t,
|
|
|
|
|
|
|
|
X Z kV1 V1V2 . |
|
|
|
|
|||
|
|
|
|
|
|
|
|
Получим новое уравнение T Z Z V1 V2 |
k t , аналитическое реше- |
||||||
ние которого имеет вид: Z t,V |
V |
k e V1t |
V |
k V t V |
k . |
||
|
|
2 |
|
2 |
1 |
2 |
|
Для t=1 интегрированием аналитического решения получим:
M[Z(1)] = - 0,331, D[Z(1)] = 0,0796, Nтреб2 7164.
Таким образом, представляется возможным для рассматриваемой задачи путем выделения главной части в виде (5.3) сократить трудоемкость
статистического моделирования в |
Nтреб1 |
|
|
|
|
|
|
|
21942 |
|
3 раза. |
||||||||||||||||||
|
|
|
|
|
Nтреб2 |
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
7164 |
|
|
||||||||||
|
При |
контрольном |
статистическом |
моделировании на основе исполь- |
|||||||||||||||||||||||||
зованного |
выше |
|
алгоритма |
|
|
|
получены |
|
следующие |
оценки: |
|||||||||||||||||||
M [Z(1)] 0,323, m 2,427, D [X (1)] 0,0792, N |
2 |
7125. |
|||||||||||||||||||||||||||
|
|
|
|
|
x |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
треб |
|
|
|
В процессе решения фактически выполнено N 2 |
7143 опыта. На |
|||||||||||||||||||||||||||
практике |
трудоемкость |
|
|
|
|
моделирования |
сокращена |
в |
|||||||||||||||||||||
N 1 |
N |
2 |
21906 |
7143 |
3,07 раза. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
Выберем другой вариант приближенного решения уравнения (5.2) |
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
V t |
|
|
|
|
|
|
|
|
|||||
|
|
|
|
Y |
t,V |
V k 1 |
1 |
|
|
|
k . |
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
2 |
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
Для него получим: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
M[Y(1)]=2,125, |
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
X Z V |
kV1t |
|
|
V1V2t |
, |
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
|
|
|
|
|
|
|
|
2 |
2 |
|
|
|
|
|
|
2 |
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
X Z kV1 |
V1V2 |
, |
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
T Z Z V1 |
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|||||||||||
|
|
|
|
V k t k V2 , |
|
|
|
||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
2 |
|
|
|
|
|
|
|
|
|
|
|
2 |
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
147 |
