- •Общие вопросы моделирования. Понятие модели. Классификация моделей. Модели физические, абстрактные, смешанные.
- •Виды моделей. Способ реализации моделирования и степень отражения в моделях времени и неопределенности.
- •Объект моделирования – вычислительная система. Основные задачи исследования объекта, их характеристика и методы решения.
- •Графовые модели алгоритмов и программ. Построение графовых моделей.
- •Эквивалентные преобразования графовых моделей алгоритмов и программ.
- •Марковские случайные процессы и их место при построении и исследовании вероятностных моделей объектов.
- •Дискретные марковские цепи. Основные задачи их исследования. Примеры объектов, для исследования которых могут быть использованы дмц.
- •Потоки событий. Основные понятия и определения. Простейший поток событий и потоки Эрланга.
- •Непрерывные марковские цепи. Основные задачи их исследования. Примеры объектов, для исследования которых могут быть использованы дмц.
- •Типовые графы состояний системы. Процесс “гибели и размножения”. Примеры объектных систем.
- •Типовые графы состояний системы. Циклический процесс. Примеры объектных систем.
- •Методы исследования немарковских случайных процессов, сводящихся к марковским.
- •Теория массового обслуживания и ее место при построении и исследовании вероятностных моделей объектов. Основные понятия и определения.
- •Системы массового обслуживания (смо). Обобщенная структура смо.
- •Основные параметры и характеристики смо.
- •Разомкнутые смо с очередью и нетерпеливыми заявками. Примеры объектных систем.
- •Разомкнутые смо с очередью и терпеливыми заявками. Примеры объектных систем.
- •Разомкнутые смо без потерь. Примеры объектных систем.
- •Замкнутые смо с простейшими потоками событий. Примеры объектных систем.
- •Смо с произвольными потоками событий. Случай бесприоритетной дисциплины обслуживания.
- •Смо с произвольными потоками событий. Случай дисциплины обслуживания с относительным приоритетом.
- •Смо с произвольными потоками событий. Случай дисциплины обслуживания с абсолютным приоритетом.
- •Сети массового обслуживания с простейшими потоками событий. Анализ разомкнутой сети. Примеры объектных систем.
- •Сети массового обслуживания с простейшими потоками событий. Анализ замкнутой сети. Примеры объектных систем.
- •Статистическое моделирование случайных процессов. Организация статистического моделирования. Моделирование базовых случайных величин (св).
- •Моделирование непрерывной случайной величины с произвольным распределением. Моделирование дискретной св. Моделирование случайных событий и потоков случайных событий.
-
Сети массового обслуживания с простейшими потоками событий. Анализ разомкнутой сети. Примеры объектных систем.
Экспоненциальные стохастические сети – это совокупность СМО, которые используют только простейшие потоки событий. Считается, что данные между компонентами (СМО) передаются в случайные моменты времени, отсюда название “стохастические”.
Рассмотрим линейные экспоненциальные стохастические сети:
-
Сеть состоит из n СМО (компонентов).
-
Каждая СМОi – СМО без потерь (с неограниченной очередью).
-
.
Данные, поступающие в систему извне, входят и передаются между компонентами с постоянными, неизменными значениями вероятностей.
-
: для любого малого временного интервала вероятность сети оказаться в j-той системе является линейной суммой вероятностей выхода из разных i-тых систем сети.
Визуальное отображение СМО – граф передач сети (ориентированный граф). Вершины графа отображают компоненты сети. Всего их n+1 – n компонентов + источник заявок S0. Дуги соответствуют передаче данных из одного компонента в другой. Дуги должны быть взвешены значениями переходных вероятностей.
Для того, чтобы задать СеМО, необходимо задать:
-
n – число компонентов.
-
– число каналов обслуживания для каждой из n СМО.
-
– для каждого канала задается интенсивность потока.
-
– матрица вероятностей передач.
-
в случае разомкнутой сети (РСеМО), z в случае замкнутой сети (ЗСеМО).
В случае РСеМО поступает неограниченное число заявок из внешней среды, параметры входящего потока не связаны с состоянием сети. – интенсивность входящего потока.
В случае ЗСеМО источник заявок замкнутой сети – сама сеть. Количество заявок ограниченно, постоянно и определяется начальным условием.
– коэффициент передачи входящего потока. Смысл – среднее число появлений заявки из входящего потока на входе i-той СМО (компонента), то есть среднее число обслуживаний заявки i-той СМО.
Необходимо определить эти коэффициенты.
Сократив на получим:
Получили систему линейных уравнений, которая имеет единственное решение и для замкнутой, и для разомкнутой сети.
Исследование разомкнутой сети.
Условие существования стационарного (установившегося) режима в разомкнутой сети для одного компонента:
Но , поэтому:
Условие существования стационарного (установившегося) режима в разомкнутой сети для всех компонентов:
Если установившийся режим существует:
– время однократного ожидания в i-том компоненте.
-
Сети массового обслуживания с простейшими потоками событий. Анализ замкнутой сети. Примеры объектных систем.
Экспоненциальные стохастические сети – это совокупность СМО, которые используют только простейшие потоки событий. Считается, что данные между компонентами (СМО) передаются в случайные моменты времени, отсюда название “стохастические”.
Рассмотрим линейные экспоненциальные стохастические сети:
-
Сеть состоит из n СМО (компонентов).
-
Каждая СМОi – СМО без потерь (с неограниченной очередью).
-
.
Данные, поступающие в систему извне, входят и передаются между компонентами с постоянными, неизменными значениями вероятностей.
-
: для любого малого временного интервала вероятность сети оказаться в j-той системе является линейной суммой вероятностей выхода из разных i-тых систем сети.
Визуальное отображение СМО – граф передач сети (ориентированный граф). Вершины графа отображают компоненты сети. Всего их n+1 – n компонентов + источник заявок S0. Дуги соответствуют передаче данных из одного компонента в другой. Дуги должны быть взвешены значениями переходных вероятностей.
Для того, чтобы задать СеМО, необходимо задать:
-
n – число компонентов.
-
– число каналов обслуживания для каждой из n СМО.
-
– для каждого канала задается интенсивность потока.
-
– матрица вероятностей передач.
-
в случае разомкнутой сети (РСеМО), z в случае замкнутой сети (ЗСеМО).
В случае РСеМО поступает неограниченное число заявок из внешней среды, параметры входящего потока не связаны с состоянием сети. – интенсивность входящего потока.
В случае ЗСеМО источник заявок замкнутой сети – сама сеть. Количество заявок ограниченно, постоянно и определяется начальным условием.
– коэффициент передачи входящего потока. Смысл – среднее число появлений заявки из входящего потока на входе i-той СМО (компонента), то есть среднее число обслуживаний заявки i-той СМО.
Необходимо определить эти коэффициенты.
Сократив на получим:
Получили систему линейных уравнений, которая имеет единственное решение и для замкнутой, и для разомкнутой сети.
Исследование замкнутой сети.
Интенсивность входящего потока зависит от состояния сети => это – производная характеристика.
z – число обслуживаемых заявок, константа, определяется начальными условиями.
Условие z = const гарантирует наличие установившегося режима в данной сети.
z – mi – максимальная длина очереди.
Состояние сети оцениваем состоянием всех ее компонентов (СМО):
Состояние замкнутой сети определяется совокупностью: ()
Должно выполняться условие . Тогда таких совокупностей конечное число.
A(z, n) – множество допустимых состояний замкнутой сети.
Вероятность определенного состояния замкнутой сети:
– вероятность i-той системы обрабатывать заявок.
– суммирование по допустимым комбинациям. Знаменатель используется для нормирования вероятности.
Существуют специальные таблицы .
Тогда:
Поскольку произведение и не зависит от , можно вынести его в знаменателе за знак суммы и сократить с числителем. Получим:
Вычислим среднее число занятых каналов обслуживания:
– вероятность того, что в i-том компоненте находится ровно r заявок, а оставшиеся z-r заявок распределены любыми возможными сочетаниями во всех оставшихся компонентах, то есть все подходящие из имеющихся комбинаций, в которых в i-том компоненте r заявок: