
- •Раздел 6. Принятие решений с использованием моделей массового обслуживания Введение
- •6.1. Основные компоненты моделей массового обслуживания
- •6.2. Общая характеристика смо. Роль пуассоновского и экспоненциального распределений в теории смо
- •6.3. Математическая модель одноканальной однофазной смо. Показатели ее эффективности
- •6.4. Смо с конечной очередью. Смо с отказами смо с конечной очередью
- •Смо с отказами
- •6.5. Чистые смо с ожиданием. Смешанная система массового обслуживания. Особенности применения
- •Смешанные системы массового обслуживания
- •Особенности применения моделей массового обслуживания
6.3. Математическая модель одноканальной однофазной смо. Показатели ее эффективности
Математическая модель
Состояние однофазной СМО с абсолютно надежными обслуживающими приборами в любой момент времени полностью определяется числом заявок k, находящихся в ней. Действительно, если k п, то k заявок находятся на обслуживании, очереди нет; k приборов заняты обслуживанием заявок, а n – k приборов свободны. Если k > n, то все приборы заняты (n заявок обслуживается), а k–п заявок находится в очереди.
Величина k может принимать значения k=0, 1, 2, . . ., N, где N = n+m, причем для СМО с отказами m=0, а для систем с неограниченной очередью т и N .
Увеличение числа заявок в системе (переход из состояния Sk в состояние Sk+1) происходит под воздействием потока заявок интенсивности , которая не зависит от k, то есть
k,k+1 = . (6.1)
Уменьшение числа заявок в системе (переход из состояния Sk в состояние Sk–1) происходит в общем случае под воздействием потока обслуживании интенсивности и потока уходов заявок из очереди (системы) интенсивности v, причем k,k+1= f(k, n, , v), а вид этой функции определяется типом СМО.
Из сказанного следует, что однофазной СМО соответствует граф состояний (рис. 6.3), вершины которого (S0, S1, S2, . . .) образуют последовательную цепочку, и любые две соседние вершины соединены двумя встречно-направленными дугами, а процесс ее функционирования представляет собой так называемый процесс «гибели и размножения» (уменьшение и увеличение числа заявок).
Рис. 6.3. Схема однофазной СМО
Определим предельные вероятности состояний Рk, для СМО с конечным числом состояний. Для СМО Pk, – это вероятность того, что в произвольный момент времени в системе находится ровно k заявок.
В СМО с конечным числом состояний всегда имеет место стационарный режим, так как между любыми двумя вершинами графа существует маршрут.
Уравнения Колмогорова имеют вид:
– состояние S0
10P1=01P0 (6.2)
– состояние S1
01P0+21P2=10P1+12P1;
учитывая выражение (6.10), получим
21P2=12P1 (6.3)
– состояние S2
12P1+32P3=21P2+23P2;
учитывая формулу (6.11), имеем
32P3=23P2 (6.4)
— состояние Sk-1 (по аналогии)
k,k-1Pk=k-1,kPk-1 (6.5)
– состояние SN-1
N-1,NPN-1=N,N-1PN . (6.6)
Для состояния SN непосредственно по графу находим уравнение
N-1,NPN-1=N,N-1PN ,
которое совпадает с уравнением (6.6).
Поэтому последнее уравнение исключаем из рассмотрения, а вместо него используем условие нормировки
.
(6.7)
Для
решения системы уравнений
(6.2) – (6.7)
выразим все вероятности
через Р0
и получим
.
(6.8)
Подставляя значения Р0 в формулу (6.7), получим
(6.9)
Обратим
внимание на структуру формул
(6.8) и
(6.9). В
формуле
(6.8) имеем
произведение отношений интенсивностей
перехода слева направо к интенсивностям
перехода справа налево для всех переходов
между начальной и рассматриваемой
вершинами графа состояний. В формуле
(6.9)
имеем сумму этих произведений,
вычисленных для всех вершин графа
.
Подставляя в формулы (6.8) и (6.9) значения интенсивностей переходов i,i-1 и i-1,I, для СМО любого типа можно рассчитать вероятности ее состояний и определить показатели эффективности.
Показатели эффективности
Эффективность СМО характеризует ее приспособленность к выполнению задач по обслуживанию заявок. Показатель эффективности – это количественная мера эффективности, определяющая степень соответствия результатов функционирования СМО целям (задачам), стоящим перед системой.
Рассмотрим наиболее часто используемые показатели эффективности СМО.
1. Вероятность отказа в обслуживании Ротк – вероятность того, что поступившая в систему заявка не будет обслужена. Это очень важный показатель для СМО.
2. Абсолютная пропускная способность СМО Q – это среднее число заявок, обслуживаемых системой в единицу времени. Для оценки потенциальных возможностей СМО по обслуживанию заявок используется номинальная пропускная способность системы:
.
3. Относительная пропускная способность q – это средняя доля заявок, обслуживаемых системой:
.
(6.10)
Величину q можно определить и через Ротк. Действительно, Ротк – средняя доля времени, в течение которого заявки получают отказ, а следовательно, и средняя доля заявок, не принимаемых системой на обслуживание, то есть
.
(6.11)
4. Среднее число занятых приборов
,
(6.12)
где
– параметр обслуживания (среднее
необходимое число обслуживающих
приборов).
Производными от данного показателя являются коэффициент занятости (загрузки) приборов Kз и коэффициент их простоя Kп:
,
(6.13)
где – номинальный коэффициент загрузки приборов.
5. Средняя длина очереди L – математическое ожидание числа заявок, ожидающих обслуживания. Производным от показателей Nз и L является среднее число заявок, находящихся в системе,
Y=Nз+L. (6.14)
6.
Среднее время ожидания обслуживания
– математическое ожидание времени
пребывания заявки в очереди.
7. Среднее время пребывания заявки в системе
,
(6.15)
где
–
среднее время от момента начала
обслуживания до момента окончания
обслуживания (
).
8. Экономическая эффективность СМО может быть оценена средней прибылью, получаемой в единицу времени при функционировании системы :
,
(6.16)
где c0 – прибыль, получаемая при обслуживании заявки; c – функция стоимости потерь; cз – стоимость эксплуатации прибора в единицу времени; сп — стоимость единицы времени простоя прибора; сож – стоимость потерь, связанных с простаиванием заявки в очереди в единицу времени; сy – стоимость убытков, связанных с уходом заявки из системы.
Выбор показателя для оценки эффективности конкретной СМО определяется как особенностями системы (ее типом) и ее назначением, так и задачами проводимого исследования.
Определим показатели эффективности для СМО рассматриваемых типов, при этом сначала рассмотрим систему с конечной очередью, а затем полученные результаты используем при анализе других систем.