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

Материал из ALL
Перейти к: навигация, поиск
(Восстановление статей Logic-samara)
 
м
 
(не показаны 3 промежуточные версии этого же участника)
Строка 1: Строка 1:
 
[[файл:СМО32.JPG|thumb|300|[[Математическая модель]] СМО с ограниченным временем ожидания]]
 
[[файл:СМО32.JPG|thumb|300|[[Математическая модель]] СМО с ограниченным временем ожидания]]
== Определение ==
 
 
'''СМО с ограниченным временем ожидания''' — это [[система массового обслуживания]] с очередью, в которой "нетерпеливая" заявка может уйти из очереди, не дождавшись обслуживания.
 
'''СМО с ограниченным временем ожидания''' — это [[система массового обслуживания]] с очередью, в которой "нетерпеливая" заявка может уйти из очереди, не дождавшись обслуживания.
 +
== Описание модели ==
 +
На вход '''n'''-канальной СМО с '''m'''-очередью поступает простейший поток заявок с интенсивностью '''λ'''.
  
== Постановка задачи ==
+
Интенсивность простейшего потока обслуживания каждого канала '''μ'''.  
На вход '''n'''-канальной СМО с '''m'''-очередью поступает простейший поток заявок с интенсивностью '''λ'''. Интенсивность простейшего потока обслуживания каждого канала '''μ'''.  
+
  
Если заявка застаёт все каналы свободными, то она принимается на обслуживание и обслуживается одним из '''n''' каналов. После окончания обслуживания один канал освобождается.  
+
Если заявка застаёт все каналы свободными, то она принимается на обслуживание и обслуживается одним из '''n''' каналов.  
 +
 
 +
После окончания обслуживания один канал освобождается.  
  
 
Если вновь прибывшая заявка застаёт в системе свободным хотя бы один канал, то она принимается на обслуживание одним из свободных каналов и обслуживается до конца.
 
Если вновь прибывшая заявка застаёт в системе свободным хотя бы один канал, то она принимается на обслуживание одним из свободных каналов и обслуживается до конца.
Строка 15: Строка 17:
  
 
Если вновь прибывшая заявка застаёт в очереди '''m'''-заявок, то она получает отказ и исключается из обслуживания.  
 
Если вновь прибывшая заявка застаёт в очереди '''m'''-заявок, то она получает отказ и исключается из обслуживания.  
 +
 
Состояние рассмотренной системы будем связывать с числом заявок, находящихся в системе.
 
Состояние рассмотренной системы будем связывать с числом заявок, находящихся в системе.
 
 
== Граф состояний ==
 
== Граф состояний ==
Граф состояний имеет вид:
 
 
 
[[файл:СМО31.JPG]]
 
[[файл:СМО31.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'''-заявок "нетерпеливо" ожидают в очереди;
 
 
== Система дифференциальных уравнений ==
 
== Система дифференциальных уравнений ==
 
Система дифференциальных уравнений, описывающих поведение системы, имеет вид:
 
Система дифференциальных уравнений, описывающих поведение системы, имеет вид:
Строка 70: Строка 69:
  
 
[[файл:СМО36.JPG]]
 
[[файл:СМО36.JPG]]
 
 
== Основные характеристики системы ==
 
== Основные характеристики системы ==
 
 
[[файл:СМО37.JPG]]
 
[[файл:СМО37.JPG]]
 
+
* Заметим, что при '''n=1''' СМО с ограниченным временем ожидания становится [[Одноканальная СМО с ограниченным временем ожидания|одноканальной]].
== Другие СМО: ==
+
== [[Система массового обслуживания|Другие СМО:]] ==
* [[СМО с отказами]];
+
{{Список СМО}}
* [[СМО с очередью]];
+
* [[СМО замкнутая]] с очередью;
+
* [[СМО с взаимопомощью]] с очередью;
+
* [[СМО с отказами и взаимопомощью]];
+
* [[СМО с бесконечным числом каналов]];
+
* [[СМО с бесконечной очередью]];
+
* [[СМО замкнутая без очереди]].
+
 
+
 
== Ссылки ==
 
== Ссылки ==
 
* Овчаров Л. А. Прикладные задачи теории массового обслуживания, «Машиностроение», М.,1969.  
 
* Овчаров Л. А. Прикладные задачи теории массового обслуживания, «Машиностроение», М.,1969.  
 
* [[Участник:Logic-samara]]  
 
* [[Участник:Logic-samara]]  
[[Категория:Случайные процессы]]
+
[[Категория:Случайные процессы]][[Категория:Логистика]]
[[Категория:Логистика]]
+

Текущая версия на 10:15, 18 декабря 2017

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

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

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

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

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

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

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

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

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

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

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

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

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

СМО31.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-заявок "нетерпеливо" ожидают в очереди;

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

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

СМО32.JPG

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

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

СМО33.JPG

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

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

СМО34.JPG

СМО35.JPG

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

СМО36.JPG

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

СМО37.JPG

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

Другие СМО:

Ссылки

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