- •Оглавление
- •Предисловие
- •Введение
- •1. Модели и их свойства
- •Основные понятия и определения
- •Вопросы к разделу 1.1
- •Целенаправленность моделей
- •Вопросы к разделу 1.2
- •Свойства моделей
- •Вопросы к разделу 1.3
- •Способы реализации моделей
- •1.4.1. Материальные модели
- •1.4.2. Виды подобия
- •1.4.3. Идеальные модели
- •Вопросы к разделу 1.4
- •1.5. Виды моделей
- •1.5.1. Познавательные и прагматические модели
- •1.5.2. Детерминированные и вероятностные модели
- •1.5.3. Непрерывные и дискретные модели
- •1.5.4. Статические и динамические модели
- •1.5.5. Линейные и нелинейные модели
- •1.5.6. Стационарные и нестационарные модели
- •1.5.7. Сосредоточенные и распределенные модели
- •1.5.8. Классификация видов моделей
- •Вопросы к разделу 1.5
- •Кибернетические модели систем
- •1.6.1. Модель типа «черный ящик»
- •1.6.2. Модель состава системы
- •1.6.3. Модель структуры системы
- •1.6.4. Графы
- •1.6.5. Структурная схема системы
- •1.6.6. Итоги анализа моделей систем.
- •Вопросы к разделу 1.6
- •2. Аналитические математические модели систем
- •2.1. Общая математическая модель динамической системы
- •Вопросы к разделу 2.1
- •2.2. Частные математические модели динамических систем
- •2.2.1. Модели детерминированных линейных непрерывных систем
- •Модели дискретных систем. Конечные автоматы
- •Вопросы к разделу 2.2
- •2.3. Свойства динамических систем
- •2.4. Линейная непрерывная детерминированная модель многомерной динамической системы в переменных состояния
- •Вопросы к разделу 2.4
- •2.5.7. Определитель Грама
- •Вопросы к разделу 2.5
- •Линейное векторное пространство
- •2.6.1. Характеристические числа и характеристические векторы
- •2.6.2. Формула Бохера
- •2.6.3. Модальная матрица
- •2.6.4. Диагонализация квадратной матрицы
- •Вопросы к разделу 2.6
- •Управляемость и наблюдаемость
- •Вопросы к разделу 2.7
- •Компьютерное моделирование. Численное интегрирование дифференциальных уравнений
- •3.1. Ошибки усечения и округления
- •3.2. Метод Эйлера
- •3.3. Методы Рунге–Кутта
- •Сравнение различных методов решения. Контроль величины шага и устойчивость
- •Вопросы к главе 3
- •4. Динамика развития и использования моделей
- •4.1. Сложности алгоритмизации моделирования
- •Вопросы к главе 4
- •5. Аналитические вероятностные математические модели систем
- •5.1. Аналитические модели систем массового обслуживания
- •5.1.1. Важнейшие выходные параметры смо
- •5.1.2. Простейшие модели смо
- •5.1.3. Общая характеристика моделей смо
- •5.1.4. Дисциплины обслуживания
- •5.1.5. Характеристики входного потока заявок
- •5.1.6. Функция распределения Пуассона
- •5.1.7. Характеристики обслуживания
- •5.1.8. Показательный закон распределения времени обслуживания
- •5.1.9. Показатели качества обслуживания
- •5.1.10. Согласование источника заявок с каналом обслуживания
- •5.1.11. Оценка эффективности многоканальной смо
- •Вопросы к разделу 5.1
- •5.2. Сети Петри
- •5.2.1. Маркировка
- •5.2.2. Правила срабатывания переходов
- •5.2.3. Разновидности сетей Петри
- •5.2.4. Конфликтные ситуации в сетях Петри
- •5.2.5. Пример сети Петри для работы группы пользователей на одной рабочей станции
- •5.2.6. Пример сети Петри для системы обнаружения и устранения неисправностей в технической системе
- •5.2.7. Анализ сетей Петри
- •Вопросы к разделу 5.2
- •6. Имитационные модели систем
- •6.1. Имитационный эксперимент
- •Недостатки имитационного моделирования
- •6.2. Развитие имитационного моделирования
- •Основные фазы развития средств им
- •6.3. Этапы имитационного моделирования
- •6.4. Подходы к построению имитационных моделей
- •6.4.1. Событийный подход
- •6.4.2. Подход сканирования активностей
- •6.4.3. Процессно-ориентированный подход
- •6.5. Разработка программ им
- •6.5.1. Использование для им универсальных языков программирования
- •6.5.2. Использование для им специализированных языков моделирования
- •6.6. Имитационное моделирование систем массового обслуживания
- •6.6.1. Событийный метод моделирования
- •6.5.3. Создание и использование проблемно-ориентированных систем моделирования
- •6.6.2. Схема реализации событийного метода имитационного моделирования
- •Вопросы к главе 6
- •7. Метод «ресурсы–действия–операции» (рдо)
- •7.1. Основные положения метода рдо
- •7.1.1. Ресурсы сложной дискретной системы
- •7.1.2. Действия в сдс
- •7.1.3. Операции в сдс
- •7.1.4. Основные положения рдо-метода
- •7.2. Представление сдс в рдо-методе
- •7.3. Базовая структура инструментальной среды интеллектуальной системы
- •7.4. Продукционный имитатор
- •7.5. Моделирование в среде рдо
- •7.5.1. Основные понятия
- •7.5.2. Объекты исходных данных и объекты, создаваемые рдо-имитатором при выполнении прогона
- •7.5.3. Состав объектов модели
- •7.5.4. Назначение объектов модели
- •7.6. Интегрированная среда моделирования рдо
- •7.6.1. Состав функций исм
- •7.6.2. Главное окно исм рдо
- •7.6.3. Инструментальная панель
- •7.6.4. Работа с рдо-имитатором
- •Описание кадра анимации
- •Пример описания кадра анимации
- •Вопросы к главе 7
- •8. Краткое описание языка gpss
- •8.1. Оператор generate
- •8.2. Оператор function
- •8.3. Операторы split и assemble
- •8.4. Операторы seize и release
- •8.5. Оператор advance
- •8.6. Операторы enter и leave
- •8.7. Операторы queue и depart
- •8.8. Оператор test
- •8.9. Операторы start и terminate
- •8.10. Оператор transfer
- •8.11. Оператор assigne
- •8.12. Операторы управления движением заявок
- •8.13. Вычислительный оператор variable
- •8.14. Оператор синхронизации матсн
- •8.15. Пример программы на языке gpss для смо
- •Программа к примеру смо
- •Вопросы к главе 8
- •9. Планирование компьютерных экспериментов с моделями систем
- •9.1. Основные понятия теории планирования экспериментов
- •9.2. Модели планирования эксперимента
- •9.3. Виды планов экспериментов
- •Вопросы к главе 9
- •10. Обработка и анализ результатов компьютерного моделирования
- •10.1. Методы оценки
- •10.2. Статистические методы обработки
- •10.3. Задачи обработки результатов моделирования
- •10.3.1. Критерий согласия Колмогорова
- •10.3.2. Критерий согласия Пирсона
- •10.3.3. Критерий согласия Смирнова
- •10.3.4. Критерий согласия Стьюдента
- •10.3.5. Критерий согласия Фишера
- •10.4. Анализ и интерпретация результатов компьютерного моделирования
- •10.4.1. Корреляционный анализ результатов моделирования
- •10.4.2. Регрессионный анализ результатов моделирования
- •10.4.3. Дисперсионный анализ результатов моделирования
- •Вопросы к главе 10
- •Заключение
- •Список литературы
- •Приложение 1 Некоторые сведения из теории матриц
- •Основные типы матриц
- •Специальные типы матриц
- •Операции над матрицами Сложение матриц
- •Умножение матриц
- •Дифференцирование матриц
- •Интегрирование матриц
- •Определители
- •Свойства определителей
- •Нуль-граф и полный граф
- •Изоморфные графы
- •Плоские графы
- •Число ребер графа
- •Формула Эйлера для числа вершин, ребер и граней плоского графа
- •Распределение Лапласа
- •Вырожденное (причинное) распределение
- •Приложение 4 Краткие сведения о специализированных языках и проблемно-ориентированных системах имитационного моделирования
- •Предметный указатель
- •Список сокращений
10.4.2. Регрессионный анализ результатов моделирования
Регрессионный анализ дает возможность построить модель, наилучшим образом соответствующую набору данных, полученных в ходе компьютерного эксперимента. Под наилучшим соответствием понимается минимальное значение функции ошибки, которая представляет собой разность между прогнозируемой моделью и данными эксперимента.
Такой функцией ошибки при регрессионном анализе служит сумма квадратов ошибок.
Пример. Рассмотрим особенности регрессионного анализа результатов моделирования при построении линейной регрессионной модели. На рис. 10.5 показаны точки (xi, уi), i=1,2,…,N, полученные в компьютерном эксперименте с моделью системы.
Предположим, что модель результатов компьютерного эксперимента графически может быть представлена в виде прямой линии ŷ=φ(x)=b0+b1x, где ŷ – величина, предсказываемая регрессионной моделью.
Рис. 10.5. Экспериментальные точки и линия регрессии
Требуется получить такие значения коэффициентов b0 и b1, при которых сумма квадратов ошибок является минимальной. На рис. 10.5 ошибка ei, i=1,2,…,N для каждой экспериментальной точки определяется как расстояние по вертикали от этой точки по линии регрессии ŷ=φ(x).
Для каждой линии ŷi=b0+b1xi, i=1,2,…,N соответствующие выражения для ошибок будут иметь вид: ei= ŷi-yi= b0+b1xi–yi, а функция ошибки будет равна
Для того чтобы минимизировать эту функцию ошибки, следует записать необходимые условия экстремума для неизвестных параметров b0 и b1:
Решение этой системы двух линейных алгебраических уравнений дает значения b0 и b1, минимизирующие функцию ошибки.
Представив данные уравнения в матричном виде
отсюда получим:
где N – число реализаций при моделировании системы.
Часто в качестве меры ошибки регрессионной модели используется среднее квадратичное отклонение
Для нормально распределенных процессов приблизительно 67% точек находится в пределах одного среднеквадратичного отклонения σe от линии регрессии и 95% – в пределах двух отклонений 2σe.
Для проверки точности оценок b0 и b1 регрессионной модели можно использовать критерии Фишера или Стьюдента. Подобным образом оцениваются коэффициенты уравнения регрессии и для случая нелинейной аппроксимации.
10.4.3. Дисперсионный анализ результатов моделирования
При обработке и анализе результатов моделирования часто возникает задача сравнения средних выборок. Если в результате такой проверки окажется, что математическое ожидание совокупностей случайных переменных {у(1)}, {у(2)}, ..., {у(n)} отличается незначительно, то статистический материал, полученный в результате моделирования, можно считать однородным (в случае равенства двух первых моментов). Это дает возможность объединить все совокупности в одну и позволяет существенно увеличить информацию о свойствах исследуемой модели, а следовательно, и самой системы. Попарное использование для этих целей критериев Смирнова и Стьюдента для проверки нулевой гипотезы затруднено в связи с наличием большого числа выборок при моделировании системы. Поэтому для этой цели используется дисперсионный анализ.
Пример. Рассмотрим решение задачи дисперсионного анализа при обработке результатов моделирования системы в следующей постановке. Пусть генеральные совокупности случайной величины {у(1)}, {у(2)}, ..., {у(n)} имеют нормальное распределение и одинаковую дисперсию. Необходимо по выборочным средним значениям при некотором уровне значимости γ проверить нулевую гипотезу Н0 о равенстве математических ожиданий. Выявим влияние на результаты моделирования только одного фактора, т. е. рассмотрим однофакторный дисперсионный анализ.
Допустим, изучаемый фактор х привел к выборке значений неслучайной величины Y следующего вида: y1,y2,…, yk, где k – количество уровней фактора x. Влияние фактора будет оцениваться неслучайной величиной Dx, которая называется факторной дисперсией:
где – среднее арифметическое значение величины Y.
Если
генеральная дисперсия D[y]
известна, то для оценки случайного
разброса наблюдений необходимо сравнить
D[y]
с выборочной дисперсией
,
используя критерий Фишера (F-распределение).
Если эмпирическое значение Fэ
попадает в критическую область, то
влияние фактора x
считается значимым, а разброс значений
x
– неслучайным. Если генеральная дисперсия
D[x]
до проведения компьютерного эксперимента
с моделью неизвестна, то при моделировании
необходимо найти ее оценку.
Пусть серия наблюдений на уровне yi имеет вид: y i1,yi2,…, yin, где n – число повторных наблюдений на i-м уровне. Тогда на i-м уровне среднее значение наблюдений равно:
а среднее значение наблюдений по всем уровням будет равно:
Общая выборочная дисперсия всех наблюдений вычисляется в соответствии с выражением:
При этом разброс значений y определяется суммарным влиянием случайных причин и фактора x. Задача дисперсионного анализа состоит в том, чтобы разложить общую дисперсию D[y] на составляющие, связанные со случайными и неслучайными причинами.
Оценка генеральной дисперсии, связанной со случайными факторами, будет определяться следующим образом:
а оценка факторной дисперсии
Факторная дисперсия наиболее заметна при анализе средних значений на i-м уровне фактора, а остаточная дисперсия (дисперсия случайности) для средних значений в n раз меньше, чем для отдельных измерений, поэтому можно найти более точную оценку выборочной дисперсии:
Умножив обе части этого выражения на n, получим в правой части выборочную дисперсию , имеющую (k–1) степень свободы. Влияние фактора x будет значимым, если при заданном γ выполняется неравенство:
Иначе влиянием фактора x на результаты моделирования можно пренебречь и считать нулевую гипотезу H0 о равенстве средних значений на различных уровнях справедливой (критерий Фишера).
Дисперсионный анализ позволяет вместо проверки нулевой гипотезы о равенстве средних значений выборок проводить при обработке результатов моделирования проверку нулевой гипотезы о тождественности выборочной и генеральной дисперсий. Дисперсионный анализ часто применяется при сравнительных исследованиях эффекта, получаемого, например, от различных методов лечения, обработки почвы, обучения и т.п.
Возможны и другие подходы к анализу и интерпретации результатов моделирования, но при этом необходимо помнить, что их эффективность существенно зависит от вида и свойств конкретной моделируемой системы.
П р и м е р и с с л е д о в а н и я САУ, п о д в е р ж е н н о й
д е й с т в и ю с л у ч а й н ы х в о з м у щ е н и й
Пример. Моделирование стохастической САУ в программном комплексе МВТУ 3.5 и обработка результатов с помощью статистической процедуры однофакторного дисперсионного анализа.
На рис. 10.6 приведена оптимизированная по квадратичному критерию модель системы автоматического управления гашением колебаний груза на подвесе [11], описываемая уравнениями состояния:
,
,
где
,
,
,
,
σξ – помеха, действующая на точку подвеса с интенсивностью σ,
m – масса груза, g – ускорение свободного падения , L – длина подвеса.
Оптимальные значения коэффициентов синтезированного регулятора:
к1= –0,8552; к2=0,0922 получены для уровня помехи σ=1 м/с2 и длины подвеса L=4 м.
Рис. 10.6. Модель САУ гашением колебаний груза на подвесе.
Схема моделирования возмущения по параметру a показана на рис. 10.7. Сигнал помехи, используемый в схеме, имеет вид, показанный на графике рис. 10.8.
Рис. 10.7. Модель возмущения по параметру.
Рис. 10.8. Исходный сигнал помехи.
Применительно к рассматриваемому примеру САУ гашением колебаний груза на подвесе в качестве фактора влияния A может быть принят порог срабатывания логического элемента в схеме моделирования (в дальнейшем – параметр k), влияющий на интенсивность вариации сигнала возмущения по параметру системы a(t). В качестве его уровней можно принять различные значения порога, а результирующим признаком считать какой-либо из показателей качества переходных процессов: например, время регулирования или такой интегральный показатель качества как среднеквадратическое отклонение (СКО).
Для того чтобы качественным образом оценить работу данной САУ, оптимально настроенной на подавление внешнего возмущения в виде нормально распределенного шума, достаточно визуально сравнить графики выходного сигнала – угла φ(t) отклонения подвеса от вертикали для случаев отсутствия и наличия возмущения по параметру (рис. 10.9).
Рис. 10.9. Переходные процессы в САУ гашением колебаний.
Видно, что система быстро справляется с внешним возмущением при отсутствии других возмущений (график 1). При дополнительном действии возмущения по параметру переходный процесс затухания колебаний значительно ухудшается (график 2), однако САУ за счет обратных связей продолжает бороться с возмущениями: колебания значительно медленнее, но все же затухают. Характер изменения текущего значения СКО для процессов изменения угла с рис. 10.9 показан на рис. 10.10.
Рис. 10.10. СКО, соответствующие процессам изменения угла отклонения подвеса.
Реализации вызванного сбоем прерывания сигнала в линии связи, обусловившие переходные процессы на рис. 10.9, приведены на рис. 10.11.
Рис.
10.11. Сигналы в линии связи, повлиявшие
на процессы, показанные на рис. 10.9
С целью получения объективной количественной оценки для рассматриваемого примера проведена серия экспериментов моделирования и реализована процедура однофакторного дисперсионного анализа. В качестве результирующего признака взята среднеквадратическая ошибка переходного процесса по углу отклонения подвеса от вертикали, а в качестве фактора – параметр модели k, влияющий на случайную частоту и амплитуду сбоев в соединительной линии связи. Уровни фактора выбраны следующие: k={1,5; 1,25; 1,0; 0,75; 0,5}. При размере каждой из выборок N=20 для числа степеней свободы рассеивания за счет данного фактора m=4 и остаточного рассеивания за счет случайных ошибок наблюдений l=95 выборочная факторная и остаточная дисперсия соответственно равны Sk2=1472,47; Sост2=556,77. Выборочная статистика Fв= Sk2/ Sост2=2,65 для уровня значимости γ=0,05 превышает табличное критическое значение Fкр=2,46 распределения Фишера, поэтому гипотеза о равенстве влияний различных уровней фактора k на математическое ожидание результирующего признака (СКО переходного процесса) не принимается.
Зависимость средних значений результирующего признака от уровней фактора, подтверждающая сделанный вывод, показана на графике рис. 10.12.
Рис. 10.12. Зависимость средних значений СКО от фактора k по результатам экспериментов
