- •Имитационное моделирование систем
- •Предисловие
- •Список сокращений
- •Введение
- •Глава 1. Основные понятия моделирования систем, классификация моделей и методов с точки зрения философии, моделирование представляет собой один из методов познания мира.
- •1.1. Основные понятия теории моделирования
- •1.2. Основные методы моделирования
- •1.3. Классификация моделей
- •Глава 2. Математическое моделирование систем с использованием марковских случайных процессов
- •2.1. Элементы теории марковских случайных процессов, используемые при моделировании систем
- •2.2. Марковские цепи
- •2.3. Непрерывные цепи Маркова
- •2.4. Финальные вероятности состояний
- •Необходимые и достаточные условия существования финальных вероятностей
- •2.5. Математическое представление потока событий
- •2.6. Компоненты и классификация моделей систем массового обслуживания (смо)
- •2.7. Расчёт основных характеристик смо на основе использования их аналитических моделей
- •Одноканальные системы с отказами
- •Одноканальные системы с ограниченной очередью
- •Многоканальные системы с отказами
- •Многоканальные системы с ограниченной очередью
- •Контрольные вопросы и задания
- •Глава 3. Имитационное моделирование в среде gpss
- •3.1. Общие сведения о языке gpss
- •Основные объекты языка gpss
- •3.3. Основные блоки языка gpss
- •Поступление транзактов в модель
- •Уничтожение транзактов
- •Моделирование работы одноканальных устройств
- •Моделирование очередей
- •Моделирование многоканальных устройств (мку)
- •Изменение маршрута движения транзактов
- •Разработка модели и процесс моделирования в gpss. Пример создания модели
- •Управление процессом моделирования
- •Объекты вычислительной категории языка: переменные и функции. Сохраняемые ячейки
- •Определение и использование функций
- •Работа с параметрами транзакта, приоритеты
- •Блок mark
- •Применение в моделях копий и организация синхронизации движения транзактов
- •Использование блока test
- •Контрольные задания по моделированию Моделирование систем с условием перераспределения заявок в заданном статистическом режиме
- •Заключение
- •Библиографический список
- •Основные элементы стандартного отчёта
- •Системные числовые атрибуты (сча)
- •Сча транзактов
- •Сча блоков
- •Сча одноканальных устройств
- •Сча очередей
- •Сча таблиц
- •Сча ячеек и матриц ячеек сохраняемых величин
- •Сча вычислительных объектов
- •Сча списков и групп
- •10. Какое действие выполняет этот оператор: transfer both,lab1,lab2
- •11. Какое действие выполняет этот оператор: transfer 0.4,lab1,lab2
- •12. Правильно ли описана эта команда: transfer ,met:
- •13. Какое действие выполняет этот блок: lines1 storage 2
- •Индивидуальные зачётные задания по имитационному моделированию систем
- •4. Реорганизация заправочной станции
- •8. Модель швейного цеха
- •10. Моделирование работы заправочной станции
- •11.Моделирование работы станции скорой помощи
- •13. Модель автобусной остановки
- •14.Моделирование работы кафе
- •15. Задача о конвейере
- •17.Моделирование цеха обработки
- •Алфавитно-предметный указатель
- •Рассказова Марина Николаевна имитационное моделирование систем
- •644099, Омск, Красногвардейская, 9
Многоканальные системы с ограниченной очередью
Пусть в системе имеется m каналов обслуживания и n мест в очереди. Если свободных мест в очереди нет, заявка получает отказ. Граф состояний такой системы имеет вид (рис. 2.8):
Рис. 2.8. Граф многоканальной системы с очередью
Граф динамики многоканальной системы такого вида состоит из двух частей: до состояния Sm – все m каналов занято, очереди нет, и после от Sm+1 – все m заняты, одна заявка в очереди до Sm+n – все каналы заняты, n заявок в очереди. Общее количество состояний в графе конечно и равно m + n + 1, включая нулевое состояние, где n – величина, ограничивающая длину очереди (в другой терминологии – n – количество мест в накопителе очереди), m – количество каналов обслуживания.
Построим систему уравнений Эрланга для этой СМО и разрешим её. Обозначим , тогда формулы вероятностей состояний имеют вид:
Основные характеристики системы M/M/m/n:
вероятность отказа Pотк = Рm+n = 1/m! ρm+n / mn P0;
вероятность обслуживания Q = Робс = 1– Pотк ;
абсолютная пропускная способность А = λQ;
среднее количество занятых каналов К = A/µ;
средняя длина очереди L = M[L] = 1Pm+1 + 2Pm+2 +…nPm+n ;
среднее время ожидания Т = L/λ .
Пример. На станцию техобслуживания с двумя подъёмниками для текущего ремонта поступает простейший поток заявок с плотностью λ = 1,5 маш./час. Во дворе могут находиться, дожидаясь обслуживания не более 3-х машин. Среднее время ремонта Тобс = 2 час. Найти основные характеристики работы станции.
Решение. Имеем марковскую СМО M/M/2/3 с параметрами: m = 2, n = 3, λ = 1,5 , µ = 1/T = 1/2, значит ρ = λ/µ = 3.
Граф состояний имеет 6 вершин: S0 – все свободны; S1 – один подъёмник занят; S2 – два занято, очереди нет ; S3 – подъёмники заняты, одна машина в очереди, S4 – подъёмники заняты, две машина в очереди, S5 – три в очереди.
Находим P0:
= = 0,0246
P1 = ρP0 = == 0,0738
P2 = ρ/2 Р1 = 3/2== 0,1107
P3 = ρ/2 P2 = 1,5==0,16605
P4 = ρ/2 P3 = 1,5== 0,249075
P5 = ρ/2 P4 = 1,5== 0,3736125
Проверка: .
Pотк = Р5 = 0,37 = 37%, Q = Робс = 1 – Pотк = 0,63 ;
абсолютная пропускная способность А = λQ = 1,50,63 = 0,945 (маш.в час);
средняя длина очереди L = M[L] = 1P3+2P4+3P5 = (маш.);
среднее время ожидания Т = L/λ = 1,79/1,5 =1,19 (час).
Выводы
Итак, в этой главе был рассмотрен математический (или аналитический) подход к описанию и построению моделей систем массового обслуживания (СМО). Предложена классификация систем и построены аналитические модели для дискретных и непрерывных марковских цепей определённой структуры. Приведены условия существования финальных вероятностей в установившемся режиме и выведены формулы для нахождения основных характеристик систем. В рассмотренных примерах даже несложных по структуре СМО при расчётах основных характеристик уже требуется определённый навык и уровень математической культуры. При более сложных конфигурациях структур СМО, а тем более сетей, построение аналитических моделей является непростой задачей. Поэтому наиболее перспективным направлением в исследовании систем является построение не аналитических, а имитационных моделей СМО в каких-либо готовых средах разработки, которые позволяют получать накопленные статистические результаты моделирования, отражающие характеристики системы, автоматически в конце процесса моделирования.