Одноканальная СМО замкнутая с m-очередью — различия между версиями

Материал из Мегапедии
Перейти к: навигация, поиск
м
м
Строка 38: Строка 38:
 
'''…''';
 
'''…''';
  
'''S<sub>r</sub>''' – в системе имеется '''r'''-заявок, одна обслуживается каналом, а '''(r-1)'''-заявок ожидают в очереди;
+
'''S<sub>0</sub>''' – в системе нет ни одной заявки, канал свободен, '''(m+1)'''-источников заявок;
  
'''S<sub>r+1</sub>''' – в системе имеется '''(r+1)'''-заявок, одна обслуживается каналом, а '''r'''-заявок ожидают в очереди;
+
'''S<sub>1</sub>''' – в системе имеется '''1'''-заявка, она обслуживается '''1'''-каналом, очереди нет, '''m'''-источников заявок;
 +
 
 +
'''S<sub>2</sub>''' – в системе имеется '''2'''-заявки, '''1'''-заявка обслуживается '''1'''-каналом, '''1'''-заявка в очереди, '''(m-1)'''-источников заявок;
  
 
'''…''';
 
'''…''';
  
'''S<sub>m</sub>''' – в системе имеется '''m'''-заявок, одна обслуживается каналом, а '''(m-1)'''-заявок ожидают в очереди;
+
'''S<sub>i-1</sub>''' – в системе имеется '''(i-1)'''-заявок, '''1'''-заявка обслуживается '''1'''-каналом, '''(i-2)'''-заявок в очереди, '''(m-i+2)'''-источников заявок;
 +
 
 +
'''S<sub>i</sub>''' – в системе имеется '''i'''-заявок, '''1'''-заявка обслуживается '''1'''-каналом, '''(i-1)'''-заявок в очереди, '''(m-i+1)'''-источников заявок;
 +
 
 +
'''S<sub>i+1</sub>''' – в системе имеется '''(i+1)'''-заявок, '''1'''-заявка обслуживается '''1'''-каналом, '''i'''-заявок в очереди, '''(m-i)'''-источников заявок;
 +
 
 +
'''…''';
 +
 
 +
'''S<sub>m-1</sub>''' – в системе имеется '''(m-1)'''-заявок, '''1'''-заявка обслуживается '''1'''-каналом, а '''(m-2)'''-заявок в очереди, '''2'''-источника заявок;
 +
 
 +
'''S<sub>m</sub>''' – в системе имеется '''m'''-заявок, '''1'''-заявка обслуживается '''1'''-каналом, а '''(m-1)'''-заявок в очереди, '''1'''-источник заявок;
  
'''S<sub>m+1</sub>''' – в системе имеется '''(m+1)'''-заявок, одна обслуживается каналом, а '''m'''-заявок ожидают в очереди;
+
'''S<sub>m+1</sub>''' – в системе имеется '''(m+1)'''-заявок, '''1'''-заявка обслуживается '''1'''-каналом, а '''m'''-заявок в очереди, источников заявок нет.
 
== Система дифференциальных уравнений ==
 
== Система дифференциальных уравнений ==
 
Система дифференциальных уравнений, описывающих поведение системы, имеет вид:
 
Система дифференциальных уравнений, описывающих поведение системы, имеет вид:

Версия 17:50, 22 августа 2025

Одноканальная замкнутая СМО с очередью

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

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

На вход одноканальной СМО с m-очередью поступает поток заявок от (m+1)-источников, причём каждый источник заявок даёт простейший поток заявок с интенсивностью λ.

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

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

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

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

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

Максимальное число мест в очереди m.

Каждое поступление заявки, снижает интенсивность входного потока на поток от одного источника.

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

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

М/М/1/m/m+1 – Одноканальная замкнутая СМО с очередью

СМО1mm1.png

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

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

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

S2 – в системе имеется две заявки, одна обслуживается каналом, а другая заявка ожидает в очереди;

;

S0 – в системе нет ни одной заявки, канал свободен, (m+1)-источников заявок;

S1 – в системе имеется 1-заявка, она обслуживается 1-каналом, очереди нет, m-источников заявок;

S2 – в системе имеется 2-заявки, 1-заявка обслуживается 1-каналом, 1-заявка в очереди, (m-1)-источников заявок;

;

Si-1 – в системе имеется (i-1)-заявок, 1-заявка обслуживается 1-каналом, (i-2)-заявок в очереди, (m-i+2)-источников заявок;

Si – в системе имеется i-заявок, 1-заявка обслуживается 1-каналом, (i-1)-заявок в очереди, (m-i+1)-источников заявок;

Si+1 – в системе имеется (i+1)-заявок, 1-заявка обслуживается 1-каналом, i-заявок в очереди, (m-i)-источников заявок;

;

Sm-1 – в системе имеется (m-1)-заявок, 1-заявка обслуживается 1-каналом, а (m-2)-заявок в очереди, 2-источника заявок;

Sm – в системе имеется m-заявок, 1-заявка обслуживается 1-каналом, а (m-1)-заявок в очереди, 1-источник заявок;

Sm+1 – в системе имеется (m+1)-заявок, 1-заявка обслуживается 1-каналом, а m-заявок в очереди, источников заявок нет.

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

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

СМО421.JPG

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

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

СМО431.JPG

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

Решим систему относительно p0,p1,…,pm+1.

СМО441.JPG

СМО451.JPG

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

СМО461.JPG

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

СМО481.JPG

Другие одноканальные СМО:

Ссылки

  • Овчаров Л.А. Прикладные задачи теории массового обслуживания, М.,1969.