
- •Воронежский государственный технический университет
- •Утверждено Редакционно-издательским советом университета в качестве учебного пособия
- •Введение
- •2. Классификация видов моделирования систем
- •3. Основные математические методы моделирования информационных процессов и систем
- •3.1. Виды математических моделей
- •3.2. Структурные математические модели
- •3.3. Функциональные математические модели
- •3.3.1. Непрерывно-детерминированные модели
- •3.3.2. Непрерывно-стохастические модели
- •3.3.2.1. Анализ работы разомкнутых смо
- •3.3.2.2. Замкнутые смо
- •3.4. Моделирование дискретных систем
- •3.4.1. Конечные автоматы
- •3.4.2. Дискретно-детерминированные модели
- •3.4.3. Вероятностные автоматы
- •3.5. Сетевые модели. Сети Петри (n-схемы)
- •4. Имитационное моделирование информационных процессов
- •4.1. Организация статистического моделирования
- •4.2Моделирование случайной величины с заданным законом распределения
- •4.3 Моделирование равномерно распределенных на отрезке [a,b] случайных чисел
- •4.4. Моделирование показательно распределенных св
- •4.5. Моделирование нормально распределенных случайных чисел
- •4.6. Проверка качества случайных чисел по критерию
- •4.7. Точность статистических оценок
- •4.8. Аппроксимация результатов моделирования
- •5. Формализация и алгоритмизация процессов функционирования систем
- •5.1. Методика разработки и машинной реализации моделей систем
- •5.2. Построение концептуальных моделей систем и их формализация
- •5.3. Алгоритмизация моделей систем и их машинная реализация
- •6. Планирование имитационных моделй с экспериментами
- •6.1. Полный факторный эксперимент
- •6.2. Дробные реплики
- •6.3. Общая схема планирования эксперимента
- •6.3.1. "Крутое восхождение"
- •6.3.2. Этапы планирования эксперимента
- •6.4. Стратегическое планирование
- •6.5. Тактическое планирование
- •7. Оценка точности и достоверности результатов моделирования
- •7.1. Общие положения
- •7.2. Регрессионный анализ
- •7.3. Корреляционный анализ
- •7.4. Экспертные оценки
- •8. Инструментальные средства моделирования систем
- •8.1. Архитектура языков имитационного моделирования
- •8.2. Задание времени в машинной модели
- •8.3. Сравнительный анализ языков моделирования
- •8.4. Примеры прикладных пакетов моделирования и языков моделирования
- •9. Правила построения моделирующих алгоритмов и способы реализации моделей
- •10. Сетевые модели вычислительных систем
- •10.1. Определение: Сеть Петри
- •Объекты, образующие сеть Петри
- •2Расширенная входная Расширенная выходная
- •10.2. Маркировка сети Петри.
- •10.3. Пространство состояний сети Петри
- •10.4. Моделирование параллельных процессов.
- •10.5. Моделирование процессора с конвейерной обработкой
- •10.6. Кратные функциональные блоки компьютера
- •10.7. Сети Петри и программирование
- •10.8. Взаимно исключающие параллельные процессы
- •10.9. Анализ сетей Петри
- •10.10. Дерево достижимости сети Петри
- •В позицию может входить и выходить только одна дуга
- •11. Система имитационного моделирования gpss/pc
- •11.1. Назначение и основные возможности системы
- •11. 2. Состав системы моделирования gpss/pc
- •11.3. Структура операторов языка gpss/pc
- •11.4. Команды среды gpss/pc
- •11.5. Основные операторы языка gpss/pc
- •11.5.1. Начало gpss-модели
- •11.5.2. Комментарии в gpss/pc
- •11.5.3. Имитация потоков событий. Транзакты
- •11.5.4. Имитация типовых узлов смо
- •11.6. Информация о ходе моделирования
- •11.6.1. Окно данных
- •11.6.2. Окно блоков
- •11.6.3. Окно устройств
- •11.6.4. Окно многоканальных устройств
- •11.7. Информация о результатах моделирования
- •11.7.1. Файл результатов моделирования
- •11.7.2. Содержание результатов моделирования
- •11.9. Управление движением транзактов
- •11.10. Дополнительные средства сбора информации о модели
- •11.11. Стандартные числовые атрибуты
- •11.12. Выбор направления движения транзактов с использованием сча
- •11.13. Датчики случайных чисел в gpss/pc
- •11.14. Функции в gpss/pc
- •11.14.1. Дискретные функции
- •11.14.2. Непрерывные функции
- •11.15. Переменные в gpss/pc
- •11.16. Организация циклов
- •11.17. Логические переключатели
- •11.18. Управление движением транзактов в зависимости от состояния элементов модели
- •11.19. Моделирование согласованных процессов на gpss-pc
- •11.19.1. Создание ансамблей транзактов
- •11.19.2. Накопление нескольких транзактов для последующей обработки
- •11.19.3. Объединение нескольких транзактов в один
- •11.19.4. Синхронизация движения транзактов в модели
- •11.20. Время пребывания транзакта в модели
- •11.21. Сбор данных о распределении значений характеристик модели. Таблицы
- •11.22. Изменение имени файла результатов моделирования
- •11.23. Приведение модели к исходному состоянию
- •11.24. Многократное выполнение моделирования
- •11.25. Моделирование нескольких вариантов системы в одной gpss-модели
- •11.26. Время моделирования
- •3 94026 Воронеж, Московский просп., 14
3.3.2.1. Анализ работы разомкнутых смо
Одноканальная СМО с простейшими потоками с неограниченным временем ожидания требований.
Интенсивность поступления требований на обслуживание - , интенсивность потока обслуживания равна . Длительность обслуживания - случайная величина, подчиненная показательному закону распределения. Представим все возможные состояния системы в виде размеченного графа состояний (рис. 3.4.)
Рис. 3.4. Размеченный граф состояний одноканальная СМО с простейшими потоками
Прямоугольники определяют возможные состояния системы, которые имеют следующую интерпретацию:
S0- канал свободен, в системе нет ни одного требования;
S1- канал занят, очереди нет;
S2- канал занят, одна заявка в очереди;
.................................................................
Sn- канал занят, n-1 заявка в очереди;
.................................................................
Каждый прямоугольник количественно оценивается вероятностью состояний Pn. Стрелки указывают направление перехода из состояния в состояние с указанием интенсивности.
Рассмотрим установившийся режим работы СМО, когда основные вероятностные характеристики системы постоянны во времени, например в течение часа. Тогда интенсивности входных и выходных потоков для каждого состояния будут сбалансированы. Эти сбалансированные потоки будут выглядеть так:
Обозначим ρ=λ/μ - приведенная интенсивность входящего потока, представляющая собой среднее число заявок, поступающих на вход СМО за среднее время обслуживания одной заявки.
Из первого уравнения найдем значение P1:
Из второго уравнения найдем значение P2:
,
используя выражение для P1,
получим:
,
и т.д.:
.
Используя
очевидное равенство
,
получим:
.
Так как <1
и сумма геометрически убывающей
прогрессии равна:
.
При n
, <1:
Таким
образом, вероятность простоя канала
обслуживания:
.
Вероятность того, что в системе находится n требований, определяется по формуле:
Среднее
число обслуживаемых требований Ns,
находящихся в системе, определяется по
формуле:
.
Среднее
число требований, находящихся в очереди:
Среднее
время ожидания заявки:
.
Среднее
время пребывания заявки в очереди:
Используя полученные выражения можно определить основные параметры функционирования одноканальной разомкнутой СМО с простейшими потоками.
Многоканальная разомкнутая СМО с простейшими потоками и неограниченным временем ожидания. Такая СМО наиболее соответствует действительности. Особенности системы: поток требований ординарный, без последействия и стационарный. Исходными параметрами, характеризующими такую систему, являются: число каналов – N, интенсивность поступления заявок - , интенсивность обслуживания - . В многоканальной СМО следует различать два случая:
число требований n,поступивших в систему, меньше количества каналов обслуживания N,то есть все они находятся на обслуживании (0n<N);
число требований n,поступивших в систему, больше или равно числу каналов обслуживания N (N n), то есть N требований обслуживаются, а остальные r ожидают в очереди (r=1,2,…,n-N).
Граф функционирования такой системы приведен на рисунке 3.5.
Рис. 3.5. Размеченный граф состояний многоканальной разомкнутой СМО
Ограничимся рассмотрением установившегося режима работы СМО.
Если 0n<N, то:
Если Nn<, то:
Рассмотрим первый случай, когда 0n<N. Находим из первого уравнения P1:
Из второго уравнения находим P2:
Учитывая ранее найденное выражение для
P1, получим:
и т.д.
Таким образом, реккурентное выражение для вычисления вероятностей состояний системы для случая n<N имеет вид:
для случая Nn<:
Используя равенство , запишем выражение для P0:
.
Многоканальная разомкнутая СМО с отказами. Для этой СМО характерно полное отсутствие очереди (n = 0), заявка, поступившая на вход СМО, либо сразу попадает на обслуживание, если свободен хотя бы один из каналов обслуживания, либо получает отказ и попадает в ту часть выходящего потока, которая соответствует потерям. В каждый момент времени с системой может быть связано не более m заявок, где m - число каналов обслуживания.
Граф переходов m-канальной СМО с отказами приведен на рисунке 3.6.
Рис. 3.6. Размеченный граф состояний системы m-канальной СМО с отказами
Балансы интенсивностей входных и выходных потоков при установившемся режиме работы СМО выглядят следующим образом:
Предельные вероятности состояний системы имеют вид:
Отказ получает заявка, заставшая СМО в состоянии Sm, следовательно:
Вероятность обслуживания Роб и интенсивность потока обслуженных заявок λ0 равны, соответственно
Среднее
число каналов
может быть найдено как отношение
интенсивности потока обслуженных заявок
λ0
к производительности одного канала
обслуживания, характеризуемой
интенсивностью обслуживания
.
Среднее
число заявок, связанных с системой,
совпадает со средним числом каналов
обслуживания