СМО с отказами (задача Эрланга)
Рассматривается N-канальная СМО с отказами:
λпотерь
λобслуживания
υ
υ
υ
λ
ОА1
ОА2
ОАn
G
Любая заявка может быть обслужена любым свободным каналом. Если все каналы заняты, заявка немедленно получает отказ в обслуживании и покидает систему (теряется). Интенсивности входных и выходных потоков:
Считаем, что в этой системе имеются следующие потоки событий:
1)поступление заявок на вход СМО из источника заявок G;
2)обслуживание заявок в каналах.
Будем считать, что первый и второй потоки событий являются простейшими потоками с экспоненциальными законами распределения. Интервал поступления и обслуживания заявок соответственно имеют следующие характеристики:
1)интенсивность потока поступающих заявок характеризуется λ
2)интенсивность обслуживания одним каналом:
- мат.ожидание длительности обслуживанияТ.о. входной поток с интенсивностью λ и поток обслуживания с интенсивностью µ распределены по экспоненциальному закону и следовательно данные потоки являются простейшими, а сами процессы в системе Марковскими. Представим граф схему переходов для этого случая:
Состояния СМО в данном случае нумеруются по числу заявок, находящихся в СМО (в силу отсутствия очереди состояния, в котором находится система, совпадает с числом занятых каналов)
S0 - все каналы свободны, система свободна
S1 - занят один канал
Sk - заняты k каналов, остальные (n-k) свободны
Sn - заняты все n каналов
µ
2µ
(n-1)µ
nµ
λ
λ
λ
λ
λ
λ
S0
S1
S2
Sk
Sn-1
Sn
Из состояния Si-1 всегда с интенсивностью входного потока λ система переходит в следующее состояние Si, т.е. в данном случае будет заняе еще один канал и интенсивность перехода в следующее состояние равно интенсивности входного потока λ. Интенсивность обратного перехода возрастает с ростом числа параллельно работающих каналов. Чем больше их работает, тем интенсивнее процесс их освобождения. Для простейших потоков имеем:
Данная схема называется схемой гибели и размножения. Такое название происходит от того, что связаны соседние состояния. Математический аппарат - это Марковский процесс, с дискретными состояниями и непрерывным временем. Для заданной СМО матрица интенсивностей Λ имеет вид:
Пользуясь матрицей Λ запишем уравнения, которые позволяют рассчитать вероятности пребывания системы в каждом из указанных состояний. Распределение вероятностей P0,P1,…,Pn по состояниям S0,…,Sn определяется как решение системы дифференциальных уравнений.
P’(t)=P(t)Λ с начальными условиями:
P0(0)=1
Pi(0)=0, i=1,n;
Эти уравнения называются уравнениями Эрланга. Вероятности Рi характеризуют среднюю загрузку системы, в частности, Pn - это вероятность получения отказа в обслуживании, т.е. вероятность того, что все каналы заняты и все поступающие заявки будут потеряны. Тогда q=1-Pn - это вероятность обслуживания.
Зная эти вероятности, можно рассчитать различные характеристики эффективности системы.
А - среднее число заявок, обслуживаемых СМО в единицу времени или абсолютная пропускная способность СМО
Q - относительная пропускная способность СМО или вероятность обслуживания поступившей заявки