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

Материал из ALL
Перейти к: навигация, поиск
(Восстановление статей Logic-samara)
 
м (описание правки удалено)
 
(не показано 7 промежуточных версий 2 участников)
Строка 1: Строка 1:
 
[[файл:СМО22.JPG|thumb|300|[[Математическая модель]] СМО с очередью]]
 
[[файл:СМО22.JPG|thumb|300|[[Математическая модель]] СМО с очередью]]
== Определение ==
 
 
'''[[СМО с бесконечной очередью|СМО с очередью]]''' — это [[система массового обслуживания]], в которой есть места в очереди и если заявка приходит, в момент, когда все каналы заняты, то она не получает немедленно отказа, а может стать в очередь и ожидать освобождения канала, который её может обслужить.
 
'''[[СМО с бесконечной очередью|СМО с очередью]]''' — это [[система массового обслуживания]], в которой есть места в очереди и если заявка приходит, в момент, когда все каналы заняты, то она не получает немедленно отказа, а может стать в очередь и ожидать освобождения канала, который её может обслужить.
 +
== Описание модели ==
 +
На вход '''n'''-канальной СМО с '''m'''-очередью поступает простейший поток заявок с интенсивностью '''λ'''.
  
== Постановка задачи ==
+
Интенсивность простейшего потока обслуживания каждого канала '''μ'''.  
На вход '''n'''-канальной СМО с '''m'''-очередью поступает простейший поток заявок с интенсивностью '''λ'''. Интенсивность простейшего потока обслуживания каждого канала '''μ'''.  
+
  
Если заявка застаёт все каналы свободными, то она принимается на обслуживание и обслуживается одним из '''n''' каналов. После окончания обслуживания один канал освобождается.  
+
Если заявка застаёт все каналы свободными, то она принимается на обслуживание и обслуживается одним из '''n''' каналов.  
 +
 
 +
После окончания обслуживания один канал освобождается.  
  
 
Если вновь прибывшая заявка застаёт в системе свободным хотя бы один канал, то она принимается на обслуживание одним из свободных каналов и обслуживается до конца.
 
Если вновь прибывшая заявка застаёт в системе свободным хотя бы один канал, то она принимается на обслуживание одним из свободных каналов и обслуживается до конца.
Строка 15: Строка 17:
  
 
Если вновь прибывшая заявка застаёт в очереди '''m'''-заявок, то она получает отказ и исключается из обслуживания.  
 
Если вновь прибывшая заявка застаёт в очереди '''m'''-заявок, то она получает отказ и исключается из обслуживания.  
 +
 
Состояние рассмотренной системы будем связывать с числом заявок, находящихся в системе.
 
Состояние рассмотренной системы будем связывать с числом заявок, находящихся в системе.
 
 
== Граф состояний ==
 
== Граф состояний ==
Граф состояний имеет вид:
 
 
 
[[файл:СМО21.JPG]]
 
[[файл:СМО21.JPG]]
  
Строка 42: Строка 42:
 
'''…''';
 
'''…''';
  
'''S<sub>n+r</sub>''' – в системе имеется '''(n+r)'''-заявок, '''n''' из них обслуживаются '''n'''-каналами, каналами, а '''r'''-заявок ожидают в очереди;
+
'''S<sub>n+r</sub>''' – в системе имеется '''(n+r)'''-заявок, '''n''' из них обслуживаются '''n'''-каналами, а '''r'''-заявок ожидают в очереди;
  
 
'''…''';
 
'''…''';
  
 
'''S<sub>n+m</sub>''' – в системе имеется '''(n+m)'''-заявок, '''n''' из них обслуживаются '''n'''-каналами, а '''m'''-заявок ожидают в очереди;
 
'''S<sub>n+m</sub>''' – в системе имеется '''(n+m)'''-заявок, '''n''' из них обслуживаются '''n'''-каналами, а '''m'''-заявок ожидают в очереди;
 
 
== Система дифференциальных уравнений ==
 
== Система дифференциальных уравнений ==
 
Система дифференциальных уравнений, описывающих поведение системы, имеет вид:
 
Система дифференциальных уравнений, описывающих поведение системы, имеет вид:
Строка 65: Строка 64:
 
[[файл:СМО24.JPG]]
 
[[файл:СМО24.JPG]]
  
[[файл:СМО30.JPG]]
+
[[файл:СМО25.JPG]]
  
 
В результате получаем решение системы:
 
В результате получаем решение системы:
  
 
[[файл:СМО26.JPG]]
 
[[файл:СМО26.JPG]]
 
 
== Основные характеристики системы ==
 
== Основные характеристики системы ==
 
 
[[файл:СМО27.JPG]]
 
[[файл:СМО27.JPG]]
  
Строка 82: Строка 79:
  
 
[[файл:СМО29.JPG]]
 
[[файл:СМО29.JPG]]
 
+
* Заметим, что при '''n=1''' СМО с очередью становится [[Одноканальная СМО с очередью|одноканальной]].
== Другие СМО: ==
+
== [[Система массового обслуживания|Другие СМО:]] ==
* [[СМО с отказами]];
+
{{Список СМО}}
* [[СМО с ограниченным временем ожидания]];
+
* [[СМО замкнутая]] с очередью;
+
* [[СМО с взаимопомощью]] с очередью;
+
* [[СМО с отказами и взаимопомощью]];
+
* [[СМО с бесконечным числом каналов]];
+
* [[СМО с бесконечной очередью]];
+
* [[СМО замкнутая без очереди]].
+
 
+
 
== Ссылки ==
 
== Ссылки ==
 
* Овчаров Л. А. Прикладные задачи теории массового обслуживания, «Машиностроение», М.,1969.  
 
* Овчаров Л. А. Прикладные задачи теории массового обслуживания, «Машиностроение», М.,1969.  
 
* [[Участник:Logic-samara]]  
 
* [[Участник:Logic-samara]]  
[[Категория:Случайные процессы]]
+
[[Категория:Случайные процессы]][[Категория:Логистика]]
[[Категория:Логистика]]
+

Текущая версия на 06:12, 17 октября 2020

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

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

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

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

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

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

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

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

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

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

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

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

СМО21.JPG

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

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

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

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

;

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

;

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

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

;

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

;

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

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

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

СМО22.JPG

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

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

СМО23.JPG

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

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

СМО24.JPG

СМО25.JPG

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

СМО26.JPG

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

СМО27.JPG

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

СМО28.JPG

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

СМО29.JPG

Другие СМО:

Ссылки

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