- •Оглавление
- •Предисловие
- •Введение
- •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 Краткие сведения о специализированных языках и проблемно-ориентированных системах имитационного моделирования
- •Предметный указатель
- •Список сокращений
1.5.3. Непрерывные и дискретные модели
Непрерывные модели отражают непрерывные процессы, протекающие, в частности, во времени. Значения независимой переменной (аргумента) принадлежат континуальному множеству. Континуальное множество обладает свойством, соответственно которому между любыми сколь угодно близкими точками множества всегда можно найти еще более близкие точки. Очень часто такой характер изменения приписывается времени.
Непрерывными моделями достаточно точно описываются такие реальные процессы, как изменение силы тока в определенной точке электрической схемы, изменение угловой скорости на выходе электропривода, набор линейной скорости при разгоне автомобиля, истечение газа или жидкости из резервуара и т.п.
Дискретные модели описывают дискретные, т.е. прерывистые процессы. Такие процессы происходят, например, в дискретных СУ, содержащих импульсный элемент (ключ), периодически замыкающий цепь через постоянный тактовый период Т.
Дискретными моделями достаточно точно описываются такие реальные процессы, как штамповка деталей, продажа мелких товаров с помощью автомата, работа микропроцессора и т.п.
Существуют также комбинированные – дискретно-непрерывные модели, в которых обычно можно отделить непрерывную часть от дискретной.
1.5.4. Статические и динамические модели
Статической называется модель объекта, отражающая оригинал в какой-то отдельный момент времени, т.е. «моментальная фотография» объекта. Например, буквально фотография или схема.
С фотографией (рис. 1.11) все ясно, что же касается схемы, то даже если это структурная схема с указанием передаточных функций звеньев, по ней явно не видно, как модель изменяется с течением времени (рис. 1.12).
Рис.1.11. Фотография как пример статической модели
Рис. 1.12. Структурная схема системы
Другой очевидный и знакомый пример статической модели –статическая характеристика, т.е. зависимость выходной переменной объекта (системы) от входной переменной в установившемся режиме, т.е. при t®∞: y(∞)=F[x(∞)] (рис. 1.13).
Рис. 1.13. Статическая характеристика системы ”System”
Динамическая модель, в отличие от статической, учитывает изменения, происходящие в системе с течением времени. Это может выражаться в зависимости входной, выходной и промежуточных переменных от времени. Примером могут служить переходные функции – реакции систем на единичное ступенчатое входное воздействие (рис. 1.14).
Рис. 1.14. Переходная функция h(t) системы “System”
Обычно переходные функции получаются в результате: 1) аналитического решения; 2) численного интегрирования дифференциальных уравнений, описывающих исследуемую систему; 3) обратного преобразования Лапласа от передаточной функции системы, деленной на s. Модель в виде дифференциальных уравнений (ДУ) является широко распространенной динамической моделью.
Пример.
Пусть система описывается моделью в
виде дифференциального уравнения:
входное воздействие x(t)=1[t] – единичное ступенчатое (как на рис. 1.14), а начальные условия имеют вид: y(t=0) = 0, т.е. процесс начинается из начала координат.
Аналитическое решение. Это линейное дифференциальное уравнение первого порядка с постоянными коэффициентами (стационарное). Его решение складывается из двух слагаемых – общего и частного решения:
Общее решение ищется в виде:
где А – неизвестный коэффициент, определяемый из начальных условий;
l – корень характеристического уравнения, которое в данном случае выглядит так:
,
откуда l=–2.
В стандартной форме исходное уравнение должно иметь при y(t) коэффициент, равный единице. Для этого исходное уравнение разделим на 4 и получим:
Частное решение зависит от вида правой части ДУ; в данном примере, поскольку x(t)=1[t], частное решение будет равно константе:
Суммарное решение будет выглядеть так:
Теперь, подставив в решение y(t) начальное условие (для уравнения 1-го порядка оно одно), можно найти значение коэффициента А:
откуда А = –1,25. Окончательно решение имеет вид:
Поскольку входным воздействием было единичное ступенчатое, то полученное решение является переходной функцией и обозначается, как обычно, h(t). График этой функции показан на рис. 1.15.
Рис. 1.15. Переходная функция h(t) – решение ДУ из примера
Подобный h(t) характер (с разной погрешностью) имеют такие процессы, как разгон автомобиля, нагрев жидкости, накопление знаний в некоторой предметной области, увеличение численности популяции животных, рост производства (при определенных условиях) и многие другие. В этом заключается одно из важнейших свойств математических моделей – их универсальность.
