- •Виды моделирования.
- •Математическое моделирование.
- •Моделирование свободных колебаний в колебательном контуре.
- •Элементы теории подобия.
- •Пример построения математической модели каталитического процесса в пористой грануле.
- •Моделирование каталитической реакции первого порядка в пористой грануле.
- •Возникновение мёртвой зоны в пористой грануле.
- •Полный факторный эксперимент. Выбор фактора.
- •10. Дробные реплики факторного эксперимента.
- •Общая схема планирования эксперимента. Этапы планирования экспериментов.
- •Стратегическое планирование эксперимента.
- •Тактическое планирование экспериментов.
- •Обработка и анализ результатов моделирования систем. Метод наименьших квадратов.
- •Применение пакета matLab для моделирования систем. Библиотека SimMechanics.
- •Моделирование 2-х звеного физического маятника в библиотеке SimMechanics.
- •Сетевые методы моделирования системы сети Петри.
- •Основные свойства сети Петри.
- •Представление сетей Петри. Дерево достижимости сети Петри.
- •Модели непрерывного роста.
- •Методы укрощения сложных систем. Линеаризация.
- •Методы упрощения сложных систем. Быстрые, средние, медленные времена.
- •Модель всплеска численности популяции.
- •Система массового обслуживания.
- •Сеть массового обслуживания. Поток заявок.
- •Длительность обслуживания заявок. Стратегии управления потока заявок.
Система массового обслуживания.
СМО – математический абстрактный объект, содержащий один или несколько приборов (каналов), обслуживающих заявки (3), поступающие в систему и накопитель (Н), в котором находятся заявки образующие очередь (О) и ожидающие обслуживания.
Заявка (3) (требование, запрос, вызов, клиент)- объект, поступающий в СМО и требующий обслуживания в обслуживающем приборе. Совокупность заявок, распределенных во времени образует поток заявок. Обслуживающий прибор (устройство, канал, линия) – это элемент СМО, функцией которого является обслуживание заявок. В которой момент времени в приборе на обслуживание может находиться только одна заявка.
Обслуживание – задержка заявки на некоторое время в обслуживающее приборе.
Длительность обслуживания – время задержки заявки в приборе.
Н(буфер) – совокупность мест для ожидания заявок перед обслуживающим прибором. Количество мест для ожидания определяет плотность накопителя. Заявка поступившая на вход СМО может находиться в 2-х состояниях:
Состояние обслуживания в приборе
В состоянии ожидания в накопителе, если все приборы заняты обслуживанием других заявок
Заявки находящиеся в накопителе и ожидающие обслуживание образуют очередь заявок. Количество заявок ожидающих обслуживания в накопителе определяет длину очереди.
Дисциплина буферизации – правило занесения поступающих заявок в накопителе определяет длину очереди.
Дисциплина обслуживания – правило выбора заявок из очереди для обслуживания в приборе.
Приоритет – преимущественное право по занесению в накопитель или выбор из очереди для обслуживания заявок одного класса по отношению к заявкам другого класса. Т.о. СМО включает:
Заявки, проходящие ч/з систему и образующие потоки заявок
Очереди заявок, образующиеся в накопителях
Обслуживающие приборы
Существует большое многообразие СМО, различающихся структурой и функциональной организацией. В то же время разработка аналитических методов расчета характеристик функционирования СМО во многих случаях предполагает наличия ряда предположений, ограничивающий множество исследуемых СМО.
Далее будем придерживаться следующих предположений:
Заявка, поступившая в системную среду попадает на обслуивание, если прибор свободен
В приборе на обслуживании в каждый момент времени может находиться только одна заявка
После завершения обслуживания какой-либо заявки в приборе очередная заявка выбирается на обслуживание из очереди, т.е. прибор не простаивает если в очереди есть хотя бы она заявка
Поступление заявок в СМО и длительности их обслуживания не зависят от того сколько заявок уж находятся в системе или от каких-либо других факторов
Длительность обслуживания заявок не зависит от скорости или интенсивности поступления заявок систему
Сеть массового обслуживания. Поток заявок.
СеМО – совокупность взаимосвязанных СМО, в среде которых циркулируют заявки. Основными элементами СеМО явл.-ся узлы (У) и источники (И) заявок.
Узел сети представляет собой СМО
Источники заявок – генератор заявок, поступающих в сеть и требующих определенных этапов обслуживания в узлах сети.
Д ля наглядного изображения СеМО используется граф.
Граф СеМО – ориентированный граф величины которых соответствуют узлам СеМО, а дуги отображают переходы заявок между узлами. Переходы заявок м/у узлами СеМО в общем случае м.б. заданы в виде вероятностей передач . Пусть движение заявок в СеМО называется маршутом.
Поток заявок – совокупность событий распределенных во времени. Если событие заключается в появлении заявок, то имеем поток заявок. Для описания потока заявок в общем случае необходимо задать интервал времени τk=tk-tk-1 м/у сосдними моментами tk-1 и tk поступление заявок с порядковыми номерами k-1 и k соответственно. При этом k=1,2,3.. и t0=0.
Основной характеристикой потока заявок является его интенсивность λ . Это среднее число заявок, проходящих через некоторую границу за единицу времени. Величина определяет средний интервал времени между двумя последовательными заявками. Поток, в котором интервалы времени между соседними заявками принимают определенные заранее известные значения называются детерминированными. Если при этом интервалы одинаковы, то есть для любых , то поток заявок называется регулярным.
Для полного описания регулярного потока заявок достаточно задать интенсивность потока или значение интервала . Поток, в которой интервалы времени между соседними заявками представляют собой случайные величины называются случайными. Для полного описания случайного потока заявок в общем случае необходимо задать законы распределения всех интервалов . Случайный поток, в котором все интервалы , , … между заявками не зависимы в совокупности и описываются функциями распределения ; называются потоком с ограниченным последствием. Случайный поток, в котором все интервалы , , … распределяются по одному и тому же закону называется рекуррентным. Поток заявок называется стационарным, если интенсивность и закон распределения интервалов между последовательными заявками не меняется со временем. В противном случае поток называется нестационарным.
Поток заявок называется ординальным, если в каждый момент времени может появится только одна заявка. Если в каждый момент времени может появится более одной заявки, то имеем неординарный или групповой поток заявок. Поток заявок называется потоком последствия, если заявки поступают независимо друг от друга, то есть в момент поступления очередной заявки не зависит от того, когда и сколько заявок поступило до этого момента. Стационарный ординарный поток без последствия называется простейшим. Интервалы времени между заявками в простейшем потоке распределяются по экспотенциальному закону с функцией распределения , где - это параметр распределения представляет собой интенсивность заявок.
Простейший поток часто называют Пуассоновским, так как число заявок , поступающих за некоторый заданный промежуток времени распределено по закону Пуассона.
,
- вероятность поступления ровно заявок за некоторый фиксированный интервал времени .
- интенсивность потока заявок.
- дискретная случайная величина, принимающая целочисленные значения:
.
Пуассоновский поток в отличии от простейшего может быть:
Стационарным, если интенсивность не меняется со временем.
Нестационарным, если интенсивность потока зависит от времени, то есть .
Простейший поток по определению всегда является стационарным. Аналитические исследования моделей массового обслуживания часто проводится в предположении о простейшем потоке заявок, что обусловлено рядом присущих ему особенностей:
Суммирование (объединение) потоков. Сумма независимых стационарных ординарных потоков с интенсивностями образуют простейший поток с интенсивностью
,
При условии, что складываемые потоки оказывают более или менее одинаково малое влияние на суммарный поток.
На практике суммарный поток близок к простейшему при .
Вероятностное разряжение потока. Вероятностное, но не детерминированное разряжение простейшего потока заявок, при котором любая заявка случайным образом с некоторой вероятностью исключается из потока независимо от того, исключены другие заявки или нет, приводит к образованию простейшего потока с интенсивностью , где - интенсивность исходного потока.
Поток исключенных заявок тоже является простейшим с интенсивностью .
Простота. Предположение о простейшем потоке заявок для многих материальных моделей сравнительно легко получить в явном виде зависимости характеристик от параметров.