СМО с ограниченным временем ожидания

Математическая модель СМО с ограниченным временем ожидания

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

Описание модели

На вход n-канальной СМО с m-очередью поступает простейший поток заявок с интенсивностью λ.

Интенсивность простейшего потока обслуживания каждого канала μ.

Если заявка застаёт все каналы свободными, то она принимается на обслуживание и обслуживается одним из n каналов.

После окончания обслуживания один канал освобождается.

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

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

Дисциплина очереди естественная: кто раньше пришёл, тот раньше и обслуживается. Максимальное число мест в очереди m.

Если вновь прибывшая заявка застаёт в очереди m-заявок, то она получает отказ и исключается из обслуживания.

Состояние рассмотренной системы будем связывать с числом заявок, находящихся в системе.

Граф состояний

Рассмотрим множество состояний системы:

S₀ – в системе нет ни одной заявки, все каналы свободны;

S₁ – в системе имеется одна заявка, она обслуживается одним каналом;

S₂ – в системе имеется две заявки, они обслуживаются двумя каналами;

…;

S_k – в системе имеется k-заявок, они обслуживаются k-каналами;

…;

S_n – в системе имеется n-заявок, они обслуживаются n-каналами, очереди нет;

S_n+1 – в системе имеется (n+1)-заявок, n из них обслуживаются n-каналами, а одна заявка "нетерпеливо" ожидает в очереди;

…;

S_n+r – в системе имеется (n+r)-заявок, n из них обслуживаются n-каналами, а r-заявок "нетерпеливо" ожидают в очереди;

…;

S_n+m – в системе имеется (n+m)-заявок, n из них обслуживаются n-каналами, а m-заявок "нетерпеливо" ожидают в очереди;

Система дифференциальных уравнений

Система дифференциальных уравнений, описывающих поведение системы, имеет вид:

Рассмотрим стационарный режим работы системы (при t→∞).

Система уравнений принимает вид:

Суммируя в системе уравнения с первого до i-го (i=1,n+m), получаем упрощённый вид системы.

Решим систему относительно p₀,p₁,…,p_n+m.

В результате получаем решение системы:

Основные характеристики системы

• Заметим, что при n=1 СМО с ограниченным временем ожидания становится одноканальной.

Другие СМО:

• СМО с отказами;
• СМО с очередью;
• СМО с ограниченным временем ожидания;
• СМО замкнутая с очередью;
• СМО с взаимопомощью с очередью;
• СМО с отказами и взаимопомощью;
• СМО с бесконечным числом каналов;
• СМО с бесконечной очередью;
• СМО замкнутая без очереди.

Ссылки

• Овчаров Л.А. Прикладные задачи теории массового обслуживания, «Машиностроение», М.,1969.
• Участник:Logic-samara