- •Оглавление
- •Предисловие
- •Введение
- •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 Краткие сведения о специализированных языках и проблемно-ориентированных системах имитационного моделирования
- •Предметный указатель
- •Список сокращений
9.2. Модели планирования эксперимента
Наиболее широкое применение для планирования нашли модели в виде алгебраических многочленов. Рассмотрим влияние k количественных факторов хi i =1,2,…,k на некоторую реакцию в ограниченной [хimin, хimax], i=1,2,…,k по условию проведения эксперимента локальной области факторного пространства G. На рис. 9.1 показан случай для k = 2.
Пусть функция реакции ψ(x1,x2,…xk) может быть представлена с некоторой степенью точности полиномом степени d от k переменных факторов:
причем этот полином включает коэффициентов, где – число сочетаний из k+d элементов по d.
Рис. 9.1. Поверхность реакции Ψ(x1,x2)
Иначе данный полином можно представить в виде:
где
–
вектор с компонентами
,
входящими в исходный полином;
–
вектор коэффициентов. Таким образом,
Если ввести фиктивные переменные x0=1, а также
то можно записать функцию реакции в виде однородного линейного уравнения:
где
Для оценки коэффициентов данного уравнения можно использовать методы линейной регрессии.
Пример. Аппроксимация функции реакции с помощью полиномов второго порядка в однофакторной модели планирования имеет вид:
В случае использования более сложных объектов требуется применение полиномиальных моделей планирования более высокого порядка. Например, модель второго порядка в k-факторном эксперименте будет иметь вид:
На практике часто используют линейную модель планирования, преобразуя для этого исходные полиномиальные модели. Так, например, модель второго порядка
можно преобразовать к линейному виду путем введения фиктивных переменных xij=xixj. В результате получается модель множественной линейной регрессии:
Функция реакции может зависеть от факторов и более сложным образом. Наиболее известны: мультипликативная, регрессионная, экспоненциальная и ряд других моделей, которые приводятся к линейному виду.
После
выбора модели планирования и записи ее
уравнения необходимо в отведенной для
эксперимента области факторного
пространства G
спланировать и провести эксперимент,
который позволит оценить числовые
значения коэффициентов уравнения
модели. Поскольку полином
содержит
коэффициентов, подлежащих определению,
то план эксперимента D
должен содержать не менее
различных экспериментальных точек:
где
xij
– значения,
которые принимает i-я
переменная в j-м
испытании,
Проведя испытания в N точках факторного пространства, принадлежащих области, отведенной для эксперимента, получим вектор наблюдения:
где
yj
– реакция, соответствующая j-й
точке плана
В предположении незначительного влиянии неуправляемых входных переменных и параметров по сравнению с вводимыми возмущениями управляемых переменных в планировании эксперимента может быть использована следующая модель:
где
ej
– случайная ошибка испытания (шум,
флуктуация), относительно которой
действует предположение о нормальности
распределения вероятности с нулевым
математическим ожиданием M[ej]=0
и постоянной дисперсией D[ej]=σj2=const.
Совокупность
аналогичных соотношений для всех точек
плана
получим матрицу планирования размерностью
N×(k′+1):
Рассмотрим этапы планирования эксперимента для случая линейной аппроксимации поверхности реакции. Вначале выбирается локальная область факторного пространства G, в которой будет проводиться эксперимент. Для этого, исходя из свойств исследуемого объекта, определяют верхние и нижние границы каждого фактора xi min и xi max. Например, такой параметр, как коэффициент передачи разомкнутой системы управления, с одной стороны, не может быть нулевым (это означает разрыв цепи), а с другой стороны, не может быть равным, а тем более превышающим критическое значение, связанное с границей устойчивости системы. Подобные ограничения обычно существуют и для других переменных, участвующих в эксперименте, таких как температура, давление, напряжение, сила тока, перемещение, скорость, ускорение и т.п.
Затем определяется локальная подобласть планирования эксперимента путем выбора основного уровня xi0 и интервалов варьирования Δxi, i=1,…,k. В качестве исходной точки xi0 выбирают точку, соответствующую наилучшим условиям, полученным с помощью анализа априорной информации о системе, причем эта точка не должна располагаться вблизи границ области определения факторов xi min и xi max. Интервалы варьирования Δxi также не могут выбираться произвольно: снизу они ограничены величиной ошибки фиксирования уровня фактора, а сверху – условием, что и нижний, и верхний уровни фактора должны оставаться в пределах области определения G.
Далее в рамках выбранной модели планирования, представляющей собой алгебраические полиномы, строится план эксперимента путем варьирования каждого из факторов xi, i=1,…,k на нескольких уровнях q относительно исходной точки xi0, представляющей центр эксперимента.
