Математические модели простейших систем массового обслуживания
Ниже будут рассмотрены примеры простейших систем массового обслуживания (СМО). Понятие «простейшие» не означает «элементарные». Математические модели этих систем применимы и успешно используются в практических расчетах.
Одноканальная смо с отказами
Дано: система имеет один канал обслуживания, на который поступает простейший поток заявок с интенсивностью. Поток обслуживаний имеет интенсивность
. Заявка, заставшая систему занятой, сразу же покидает ее.
Найти: абсолютную и относительную пропускную способность СМО и вероятность того, что заявка, пришедшая в момент времени t, получит отказ.
Система при любом t> 0 может находиться в двух состояниях:S0– канал свободен;S1– канал занят. Переход изS0вS1связан с появлением заявки и немедленным началом ее обслуживания. Переход изS1вS0осуществляется, как только очередное обслуживание завершится (рис.4).
Рис.4. Граф состояний одноканальной СМО с отказами
Выходные характеристики (характеристики эффективности) этой и других СМО будут даваться без выводов и доказательств.
Абсолютная пропускная способность(среднее число заявок, обслуживаемых в единицу времени):
где – интенсивность потока заявок (величина, обратная среднему промежутку времени между поступающими заявками —
);
–интенсивность потока обслуживаний (величина, обратная среднему времени обслуживания
)
Относительная пропускная способность(средняя доля заявок, обслуживаемых системой):
Вероятность отказа(вероятность того, что заявка покинет СМО необслуженной):
Очевидны следующие соотношения: и
.
Пример. Технологическая система состоит из одного станка. На станок поступают заявки на изготовление деталей в среднем через 0,5 часа. Среднее время изготовления одной детали равно
. Если при поступлении заявки на изготовление детали станок занят, то она (деталь) направляется на другой станок. Найти абсолютную и относительную пропускную способности системы и вероятность отказа по изготовлению детали.
Т.е. в среднем примерно 46 % деталей обрабатываются на этом станке.
.
Т.е. в среднем примерно 54 % деталей направляются на обработку на другие станки.
N – канальная смо с отказами (задача Эрланга)
Это одна из первых задач теории массового обслуживания. Она возникла из практических нужд телефонии и была решена в начале 20 века датским математиком Эрлангом.
Дано: в системе имеетсяn– каналов, на которые поступает поток заявок с интенсивностью. Поток обслуживаний имеет интенсивность
. Заявка, заставшая систему занятой, сразу же покидает ее.
Найти: абсолютную и относительную пропускную способность СМО; вероятность того, что заявка, пришедшая в момент времениt, получит отказ; среднее число заявок, обслуживаемых одновременно (или, другими словам, среднее число занятых каналов).
Решение. Состояние системыS(СМО) нумеруется по максимальному числу заявок, находящихся в системе (оно совпадает с числом занятых каналов):
- S0– в СМО нет ни одной заявки;
- S1– в СМО находится одна заявка (один канал занят, остальные свободны);
- S2– в СМО находится две заявки (два канала заняты, остальные свободны);
- . . .
- Sn– в СМО находитсяn– заявок (всеn– каналов заняты).
Граф состояний СМО представлен на рис. 5 Рис.5 Граф состояний для n – канальной СМО с отказами Почему граф состояний размечен именно так? Из состояния S0в состояниеS1систему переводит поток заявок с интенсивностью
(как только приходит заявка, система переходит изS0вS1). Если система находилась в состоянииS1и пришла еще одна заявка, то она переходит в состояниеS2и т.д. Почему такие интенсивности у нижних стрелок (дуг графа)? Пусть система находится в состоянии S1(работает один канал). Он производит
обслуживаний в единицу времени. Поэтому дуга перехода из состоянияS1в состояниеS0нагружена интенсивностью
. Пусть теперь система находится в состоянииS2(работают два канала). Чтобы ей перейти вS1, нужно, чтобы закончил обслуживание первый канал, либо второй. Суммарная интенсивность их потоков равна
и т.д. Выходные характеристики (характеристики эффективности) данной СМО определяются следующим образом. Абсолютнаяпропускнаяспособность:
где n– количество каналов СМО;
–вероятность нахождения СМО в начальном состоянии, когда все каналы свободны (финальная вероятность нахождения СМО в состоянии S0);
Рис.6. Граф состояний для схемы «гибели и размножения» Для того, чтобы написать формулу для определения
, рассмотрим рис.6 Граф, представленный на этом рисунке, называют еще графом состояний для схемы «гибели и размножения». Напишем сначала для
общую формулу (без доказательства):
Кстати, остальные финальные вероятности состояний СМО запишутся следующим образом. Вероятность того, что СМО находится в состоянии S1, когда один канал занят:
Вероятность того, что СМО находится в состоянии S2, т.е. когда два канала заняты:
Вероятность того, что СМО находится в состоянии Sn, т.е. когда все каналы заняты.
Теперь для n – канальной СМО с отказами
При этом
Относительная пропускная способность:
Напомним, что это средняя доля заявок, обслуживаемых системой. При этом
;
. Вероятностьотказа:
Напомним, что это вероятность того, что заявка покинет СМО необслуженной. Очевидно, что
. Среднее число занятых каналов (среднее число заявок, обслуживаемых одновременно):
При этом
. Пример. Имеется технологическая система (участок), состоящая из трех одинаковых станков. В систему поступают для обработки детали в среднем через 0,5 часа (
). Среднее время изготовления одной детали
. Если при поступлении заявки на изготовление детали все станки заняты, то деталь направляется на другой участок таких же станков. Найти финальные вероятности состояний системы и характеристики (показатели эффективности) данной СМО.
, т.е. в среднем две заявки на обработку деталей в час.
. Граф состояний системы представлен на рис.7
Рис.7Граф состояний для рассматриваемого примера Возможные состояния системы: S0– в СМО (на участке) нет ни одной заявки; S1– в СМО (на участке) одна заявка; S2– в СМО (на участке) две заявки; S3– в СМО (на участке) три заявки (заняты все три станка). Вероятность того, что все станки свободны:
Вероятность того, что один станок занят:
Вероятность того, что два станка заняты:
Вероятность того, что все три станка заняты:
Т.е. в среднем в этой системе обрабатывается 1,82 дет/ч (примерно 91 % направляемых деталей), при этом примерно 9 % деталей направляется для обработки на другие участки. Одновременно в среднем работает в основном один станок ( ). Но из–за случайных характеристик потока заявок иногда работают одновременно все три станка (
), отсюда 9 % отказов.
4. Моделирование систем массового обслуживания
4.1. Компоненты и классификация моделей массового обслуживания
Рассмотренный в п.2 марковский случайный процесс с дискретными состояниями и непрерывным временем имеет место в системах массового обслуживания.
Системы массового обслуживания — это такие системы, в которые в случайные моменты времени поступают заявки на обслуживание, при этом поступившие заявки обслуживаются с помощью имеющихся в распоряжении системы каналов обслуживания.
С позиции моделирования процесса массового обслуживания ситуации, когда образуются очереди заявок (требований) на обслуживание, возникают следующим образом. Поступив в обслуживающую систему, требование присоединяется к очереди других (ранее поступивших) требований. Канал обслуживания выбирает требование из находящихся в очереди, с тем чтобы приступить к его обслуживанию. После завершения процедуры обслуживания очередного требования канал обслуживания приступает к обслуживанию следующего требования, если таковое имеется в блоке ожидания.
Цикл функционирования системы массового обслуживания подобного рода повторяется многократно в течение всего периода работы обслуживающей системы. При этом предполагается, что переход системы на обслуживание очередного требования после завершения обслуживания предыдущего требования происходит мгновенно, в случайные моменты времени.
Примерами систем массового обслуживания могут служить:
- посты технического обслуживания автомобилей;
- посты ремонта автомобилей;
- персональные компьютеры, обслуживающие поступающие заявки или требования на решение тех или иных задач;
- станции технического обслуживания автомобилей;
- аудиторские фирмы;
- отделы налоговых инспекций, занимающиеся приемкой и проверкой текущей отчетности предприятий;
- телефонные станции и т. д.
- входной поток поступающих требований или заявок на обслуживание;
- дисциплина очереди;
- механизм обслуживания.
- первым пришел — первый обслуживаешься;
- пришел последним — обслуживаешься первым;
- случайный отбор заявок;
- отбор заявок по критерию приоритетности;
- вероятностным распределением моментов поступлений заявок на обслуживание (единичных или групповых);
- вероятностным распределением времени продолжительности обслуживания;
- конфигурацией обслуживающей системы (параллельное, последовательное или параллельно-последовательное обслуживание);
- количеством и производительностью обслуживающих каналов;
- дисциплиной очереди;
- мощностью источника требований.
- вероятность немедленного обслуживания поступившей заявки;
- вероятность отказа в обслуживании поступившей заявки;
- относительная и абсолютная пропускная способность системы;
- средний процент заявок, получивших отказ в обслуживании;
- среднее время ожидания в очереди;
- средняя длина очереди;
- средний доход от функционирования системы в единицу времени и т.п.
- системы с отказами, в которых заявка, поступившая в систему в момент, когда все каналы заняты, получает отказ и сразу же покидает очередь;
- системы с ожиданием (очередью), в которых заявка, поступившая в момент, когда все каналы обслуживания заняты, становится в очередь и ждет, пока не освободится один из каналов.
- длина очереди;
- время пребывания в очереди.
- одноканальные системы;
- многоканальные системы.