Основные параметры систем массового обслуживания

Потока

Входного СМО

Формирование

Источник Канал

Поток очереди поток

заявок обслуживания

Заявки, они же требования или клиенты, входят в систему (порождаются источниками заявок), проходят через ее элементы (обслуживаются), покидают ее обслуженными или неудовлетворенными. Бывают нетерпеливые заявки – такие, которым надоело ожидать или находиться в системе и которые покидают по собственной воле СМО. Заявки на схеме условно представлены прямоугольниками.

Источник заявок порождает заявки в случайные моменты времени, согласно заданному пользователем статистическому закону.

Заявки образуют потоки — поток заявок на входе системы, поток обслуженных заявок, поток отказанных заявок. Поток характеризуется количеством заявок определенного сорта, наблюдаемым в некотором месте СМО за единицу времени (час, сутки, месяц), то есть поток есть величина статистическая.

Заявки образуют потоки — поток заявок на входе системы, поток обслуженных заявок, поток отказанных заявок. Поток характеризуется количеством заявок определенного сорта, наблюдаемым в некотором месте СМО за единицу времени (час, сутки, месяц), то есть поток есть величина статистическая.

Потоки заявок обладают свойствами:

· однородности, если:

– все заявки равноправны,

– рассматриваются только моменты времени поступления заявок, т.е. факты заявок без уточнения деталей каждой конкретной заявки.

· стационарности, которое выражает неизменность вероятностного режима потока по времени, т.е. вероятность появления n событий на некотором интервале времени не зависит от времени, а зависит только от длины этого участка, поэтому число требований, поступающих в систему в равные промежутки времени, в среднем, должно быть постоянным.

· отсутствия последействия, которое обуславливает взаимную независимость поступления того или иного числа требований на обслуживание в непересекающиеся промежутки времени. Это значит, что число требований, поступающих в данный отрезок времени, не зависит от числа требований, обслуженных в предыдущем промежутке времени.

· ординарности, которое выражает практическую невозможность одновременного поступления двух или более требований.

Однородный стационарный поток без последействий является простейшим, пуассоновским потоком. Число n событий такого потока, выпадающих на интервал x, распределено по закону Пуассона:

Р (n, x) =[(λ x) ⁿ e^{–λ x} ]/ n!

Пуассоновский поток заявок удобен при решении задач теории массового обслуживания. Строго говоря простейшие потоки редки на практике, однако многие моделируемые потоки допустимо рассматривать как простейшие.

Мгновенная плотность (интенсивность) потока равна пределу отношения среднего числа событий, приходящихся на элементарный интервал времени (t, t + x) к длине интервала (x), когда последний стремится к нулю.

λ(t) =

или, для простейшего потока λ= M (x)/x,

где M (x) равно математическому ожиданию числа событий на интервале x.

Среднее число заявок в системе равно произведению интенсивности входного потока на среднее время пребывания заявки в системе подсчитывают по формуле Литтла:

N* = λ T

Входной поток заявок– это временнáя последовательность событий на входе в СМО. Интервалы между заявками входного потока в общем случае не одинаковы: они представляют собой случайные величины и определяются вероятностными законами входного потока, в соответствии с которыми вращается условная «вертушка», поставляющая заявки во входной поток.

В состав СМО входят два блока: блок очереди и канал обслуживания.

Заявки поступают на вход блока очереди.

Очереди характеризуются:

· дисциплиной обслуживания, т.е. правилами стояния в очереди;

· количеством мест в очереди, т.е. максимальным числом клиентов, которые могут находиться в очереди (бывают ограниченные и неограниченные очереди);

· структурой очереди, т.е. связью между местами в очереди.

Существуют три важнейшие дисциплины обслуживания:

FIFO (First In, First Out — первым пришел, первым ушел): если заявка первой пришла в очередь, то она первой уйдет на обслуживание;

LIFO (Last In, First Out — последним пришел, первым ушел): если заявка последней пришла в очередь, то она первой уйдет на обслуживание;

SF (Short Forward — короткие вперед): в первую очередь обслуживаются те заявки из очереди, которые имеют меньшее время обслуживания.

Правильный выбор той или иной дисциплины обслуживания позволяет получить ощутимую экономию во времени.

Например, пусть имеется два объекта. На объекте № 1 обслуживание осуществляется в порядке очереди, то есть здесь реализована дисциплина обслуживания FIFO.

Клиенты 1 2 3 4 5

Время обслуживания 2 мин –– 2 мин –– 2 мин –– 2 мин –– 0,5 мин

Время ожидания 0 мин → 2 мин → 4 мин → 6 мин → 8 мин

Среднее время ожидания (0 + 2 + 4 + 6 + 8)/5 = 4 мин.

На объекте № 2 реализована дисциплина SF, означающая, что заявки, имеющие меньшее время обслуживания, выполняются в первую очередь.

Клиенты 1 2 3 4 5

Время обслуживания 0,5 мин –– 2 мин –– 2 мин –– 2 мин –– 2 мин

Время ожидания 0 мин → 0,5 мин → 2,5 мин → 4,5 мин → 6,5 мин

Среднее время ожидания (0 + 0,5 + 2,5 + 4,5 + 6,5)/5 = 2,8 мин.

Таким образом, среднее время обслуживания каждого из клиентов на объекте с дисциплиной обслуживания FIFO составит 4 минуты, а на объекте с дисциплиной обслуживания SF – лишь 2,8 минуты. Экономия времени составит: (1–2,8/4) · 100% = 30 %!

Канал обслуживания (условно изображенный вертушкой) осуществляет обслуживание каждой поступившей на его вход заявки в соответствии с заданным детерминированным или случайным законом обслуживания. Таким образом, канал обслуживания согласно своему закону осуществляет задержку во времени каждого поступившего на вход события и формирует выходной поток заявок СМО.

Каналы бывают горячие (начинают обслуживать заявку в момент ее поступления в канал) и холодные (каналу для начала обслуживания требуется время на подготовку).

Обслуженная заявка с некоторой задержкой относительно поступившей на вход канала заявки поступает в выходной поток, который отличается от входного потока в зависимости от законов дисциплины очереди и обслуживания.

Для модели СМО характерно, что все явления описываются с помощью событий, которые появляются в тот или иной момент времени (на временной оси).

Классификация систем массового обслуживания

В зависимости от наличия возможности ожидания поступающими требованиями начала обслуживания СМО подразделяются на:

1. системы с потерями, в которых требования, не нашедшие в момент поступления ни одного свободного прибора, теряются;
2. системы с ожиданием, в которых имеется накопитель бесконечной ёмкости для буферизации поступивших требований, при этом ожидающие требования образуют очередь;

СМО с ожиданием распространены наиболее широко. Их можно разбить на две большие группы – разомкнутые и замкнутые. К замкнутым относятся системы, в которых поступающий поток требований ограничен. Например, мастер, задачей которого является наладка станков в цехе, должен периодически их обслуживать. Каждый налаженный станок становится в будущем потенциальным источником требований на подналадку. В подобных системах общее число циркулирующих требований конечно и чаще всего постоянно. Если питающий источник обладает бесконечным числом требований, то система называется разомкнутой. Примерами подобных систем могут служить инструментальные склады, кассы вокзалов и др.

1. системы с накопителем конечной ёмкости (ожиданием и ограничениями), в которых длина очереди не может превышать ёмкости накопителя; при этом требование, поступающее в переполненную СМО (отсутствуют свободные места для ожидания), теряется.

По составу СМО бывают:

· одноканальные – с одним обслуживающим устройством;

· многоканальные – с большим числом обслуживающих устройств. Многоканальные системы могут состоять из обслуживающих устройств как одинаковой, так и и разной производительности.

Целью построения СМОявляется анализ характеристик процесса обслуживания для принятия решений по управлению этой системой.

Основные параметры, рассчитываемые в процессе анализа:

λ(t) – интенсивность потока заявок (количество поступивших заявок в единицу времени);

μ(t) – интенсивность обслуживания заявок (количество обслуженных заявок в единицу времени);

φ = λ(t)/μ(t) – коэффициент использования СМО, или коэффициент загрузки системы. Отражает степень насыщенности системы.

СМО может функционировать в двух режимах.