СМО с отказами и взаимопомощью

Математическая модель СМО с отказами и взаимопомощью

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

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

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

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

Интенсивность потока обслуживания с взаимопомощью между каналами всегда равна nμ.

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

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

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

Если система обслуживает k-заявок (k=1,n-1), то вновь прибывшая заявка принимается на обслуживание и все (k+1)-заявок обслуживаются n-каналами, распределёнными произвольно между заявками, но так, что все каналы заняты обслуживанием. Попавшая на обслуживание заявка обслуживается до конца (заявки терпеливые).

Если обслуживание какой-либо заявки окончено, то освободившаяся группа каналов присоединяется к обслуживанию остальных заявок, находящихся в системе. Таким образом, при наличии в системе хотя бы одной заявки все n-каналов всё время будут заняты.

Если система обслуживает n-заявок (k=n), то каждая из них обслуживается одним каналом, а вновь прибывшая заявка получает отказ и исключается из обслуживания.

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

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

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

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

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

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

…;

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

…;

S_n-1 — в системе имеется (n-1)-заявок, они обслуживаются n-каналами;

S_n — в системе имеется n-заявок, они обслуживаются n-каналами.

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

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

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

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

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

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

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

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

При χ≠1 получаем

При χ=1 получаем

Другие СМО

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

Ссылки

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