- •Моделирование систем
- •1. Наличие цели
- •1.2. Модель. Моделирование
- •Система
- •Параметры
- •Внешние
- •Внутренние
- •1.3. Классификация моделей
- •1.4. Методы моделирования
- •Имитационный способ представления задачи 1
- •Имитационный алгоритмический способ
- •Имитационная статистическая постановка задачи
- •2. Математические схемы моделирования систем
- •2.1. Формализация моделирования
- •Математическую схему можно определить как звено при переходе от содержательного к формализованному описанию процесса функционирования системы с учётом воздействия внешней среды.
- •2.2. Задачи, решаемые с помощью моделирования
- •2.3. Проектирование ис и анализ их производительности
- •2.3. Система массового обслуживания как модель
- •2.4. Модели потоков
- •2.2. Аналитический анализ смо
- •2.2.1. Экспоненциальная система массового обслуживания
- •2.2.1.1 Одноканальная однородная экспоненциальная смо
- •2.2.1.2. Многоканальная экспоненциальная смо
- •2.2.1.3. Модель m/g /1
- •2.3. Сети массового обслуживания
- •2.4. Анализ разомкнутых экспоненциальных СеМо
- •2.4.1. Свойства разомкнутой экспоненциальной СеМо
- •2.5. Расчет системных характеристик экспоненциальных СеМо
- •Контрольные вопросы
- •Лекция 4
- •1. Пример: Проблема распределение канала
- •1. Статическое распределение канала
- •2. Динамическое распределение канала
- •2. Пример: расчет системы телеобработки данных
- •3.1. Задание
- •3.2. Решение
- •4. Схема расчета замкнутой СеМо
- •4. Имитационное моделирование систем массового обслуживания
- •4.1. Система массового обслуживания как модель и оригинал
- •4.2. Иллюстративный пример: моделирование посадки самолетов.
- •4.3. Концепция статистического моделирования
- •4.3. Пример: оценка надежности системы
- •5. Построение моделирующего алгоритма
- •5.1. Моделирование на эвм процесса функционирования смо
- •Шагом (принцип t)
- •С другой стороны, принцип особых моментов выгоден тем, что
- •5.2. Особенности реализации процессов с использованием q-схем
- •5.2. Примеры моделирования смо с отказами
- •5.2.1. Подготовка исходных данных и назначение переменных
- •Моделирование смо с отказами по схеме событий
- •5.2.2.1. Построение блок-схем алгоритма имитации
- •5.3. Схемы построения моделирующего алгоритма
- •5.4.1. Моделирование смо с отказами по схеме событий
- •5.4.2. Моделирование смо с отказами по схеме процессов
- •Моделирование смо с отказами по схеме процессов
- •Шаг имитации
- •Класс процессов "генерирование заявок источником"
- •5.4.3. Сопоставление схемы событий и схемы процессов
- •5.5. Семафоры и связные списки
- •5.6. Алгоритмы обслуживания очередей
- •1) Традиционный алгоритм fifo
- •2) Приоритетное обслуживание (Priority Queuing)
- •3) Взвешенные настраиваемые очереди (Weighted Queuing)
- •6. Оценки искомых характеристик и их дисперсии
- •6.1. Структура оценок
- •7. Тестирование имитационной модели
- •8. Случайные факторы и их модели
- •8.1. Моделирование случайных событий
- •8.2. Моделирование дискретных случайных величин
- •321236246263321315464215224214664122142366236246611664533544.
- •8.3.1. Моделирование экспоненциальной с.В.
- •8.5. Моделирование равномерной с.В.
- •Планирование машинных экспериментов с моделями систем
- •Методы планирования эксперимента на модели.
- •Обработка, анализ и интерпретация результатов моделирования
- •11. Замечание о языках моделирования
- •Моделирование смо с одним npи6opом и очередью
5.2. Особенности реализации процессов с использованием q-схем
При моделировании Q-схем следует адекватно учитывать как связи, отражающие движения заявок (сплошные линии) так и управляющие связи (пунктирные линии).
Рассмотрим фрагмент Q-схемы (Рис. 8.2.):

Рис. 8.2. Фрагмент Q-схемы.
Примерами управляющих связей являются различные блокировки обслуживающих каналов (по входу и по выходу): "клапаны" изображены в виде треугольников, а управляющие связи пунктирными линиями. Блокировка канала по входу означает, что этот канал отключается от входящего потока заявок, а блокировка канала по выходу указывает, что заявка обслуженная блокированным каналом, остаётся в этом канале до момента снятия блокировки. В этом случае, если перед накопителем нет "клапана", то при его переполнении будут иметь место потери заявок.
При этом необходимо иметь виду, что появление одной заявки входящего потока в некоторый момент времени ti может вызвать изменение состояния не более чем одного из элементов Q-схемы, а окончание обслуживания заявки в момент ti в некотором канале К может привести в этот момент времени к последовательному изменению состояний нескольких элементов (Н,К), т.е. будет иметь место процесс распространения смены состояний в направлении противоположном движению заявки в системе S. Поэтому просмотр элементов Q-схемы должен быть противоположным движению заявок.
Все виды моделирующих алгоритмов Q-схемы можно классифицировать следующим образом (см. Рис. 8.3.):
Алгоритмы моделирующие Q-схему по принципу "t" являются детерминированными (по шагу), а по принципу особых состояний – стохастические. Последние могут быть реализованы синхронным и асинхронным способами.
При синхронном способе один из элементов Q-схемы (И, Н или К) выбирается в качестве ведущего и по нему "синхронизируется" весь процесс моделирования.
При асинхронном способе — ведущий (синхронизирующий) элемент не используется, а очередному шагу моделирования (просмотру элементов Q-схемы) может соответствовать любое особое состояние всего множества элементов И, Н и К. При этом просмотр элементов Q-схемы организован так, что при каждом особом состоянии либо циклически просматриваются все элементы, спорадически - только те элементы, которые в этом случае могут изменить своё состояние. (просмотр с прогнозированием)
Вопросы и задания
1. Почему принцип особых моментов предпочтительнее, чем принцип t?
2. Что такое календарь и зачем он нужен?
3.Как осуществляется первоначальное заполнение и последующая корректировка календаря?
4. В состав алгоритма шага (цикла) входят следующие части: определение момента очередного события, изменение состояния системы в целом (имитация события), планирование событий (корректировка календаря) Что еще добавить в указанный перечень?
5.2. Примеры моделирования смо с отказами
Напомним, что СМО с отказами - это разновидность СМО, отличающаяся отсутствием буферных ячеек (мест для очереди). В такой СМО заявка, поступившая в момент, когда все приборы заняты, получает отказ и теряется. Наибольший интерес при анализе СМО с отказами представляет вероятность потери заявки Рпот. Кроме нее полезно определить коэффициент загрузки прибора, распределение числа занятых приборов и некоторые другие характеристики.
