Опубликован: 20.04.2011 | Уровень: для всех | Доступ: свободно
Лекция 8:

Система с потерями и В-формула Эрланга

< Лекция 7 || Лекция 8: 1234 || Лекция 9 >
Аннотация: В этой и следующих лекциях мы рассмотрим классическую теорию телетрафика, разработанную Эрлангом (Дания), Энгсетом (Норвегия) и Фраем и Молина (США). Она успешно применялась в течение более чем 80 лет. В этой лекции мы рассматриваем фундаментальную В-формулу Эрланга. В секции 7.1 мы рассматриваем предпосылки для построения модели. Секция 7.2 имеет дело со случаем наличия бесконечного числа каналов, которая приводит к распределению Пуассона занятых каналов. В секции 7.3 мы рассматриваем ограниченное число каналов и получаем усеченное Пуассоновское распределение и В-формулу Эрланга. В секции 7.4 мы описываем стандартные процедуры для работы с диаграммами перехода состояний. Это - ключ к классической теории телетрафика. Мы также получаем точную рекурсивную формулу для числовой оценки В-формулы Эрланга (в секции. 7.5). Наконец, в секции 7.6 мы изучаем основные принципы измерения нагрузки и ищем оптимальный баланс между уровнем обслуживания (GoS) и затратами системы.

Введение

В-формула Эрланга основана на модели, которая содержит три элемента: структура, стратегия и нагрузка (рис.1.1).

  • Структура. Мы рассматриваем систему из п идентичных обслуживающих приборов (серверы, каналы, слоты), работающих параллельно. Это называется гомогенной группой.
  • Стратегия. Вызов, достигая системы, принимается для обслуживания, если, по крайней мере, один канал свободен. Каждый вызов использует один и только один канал. Мы говорим, что группа имеет полную доступность. Часто используется термин полная готовность, но эта терминология будет использоваться только для случаев определения надежности соединения. Если все каналы заняты, система переполняется, и попытка вызова блокируется. Это блокированный вызов (отклоненный, потерянный) называется попыткой и исчезает из системы без всяких последствий. Последствия могли быть, если бы была принята стратегия с альтернативными маршрутами. Это стратегия - самая важная и применялась успешно много лет.

    Она называется системой с потерями Эрланга или с явными потерями вызовов (LCC Lost Calls Cleared).

  • Нагрузка. Мы принимаем, что времена обслуживания являются экспоненциально распределенными с интенсивностью \mu (соответствующим математическим ожиданием 1/\mu )- Процесс поступления вызовов - Пуассоновский процесс со скоростью \lambda. Этот тип нагрузки называется чистая Случайная Нагрузка Один (PCT-I - Риге Chance Traffic type One). Процесс нагрузки тогда становится простым Марковским процессом " гибели и размножения ", который имеет простое математическое описание.

Определение предложенной нагрузки. Мы определяем предложенную нагрузку как нагрузку, которая поступает при бесконечном числе каналов (емкости) (2.2). В Эрланговской системе с потерями и Пуассоновским потоком вызовов это определение предложенной нагрузки, эквивалентно тому, что математическое ожидание поступления вызова за время пребывания в системе равно:

A=\lambda *\frac{1}{\mu}=\frac{\lambda}{\mu}. ( 7.1)

Мы рассматриваем два случая:

  1. n= \Gamma: Пуассоновское распределение (секция 7.2),
  2. n < \Gamma:Усеченное Пуассоновское распределение (секция 7.3).

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

Критерии качества работы. Самые важные показатели уровня обслуживания для систем с потерями - потери по времени E, потери по вызовам B и потери по нагрузке C. Все они равны между собой для системы с потерями Эрланга, поскольку в ней процесс поступления вызовов является наблюдаемым за среднее время Пуассоновским потоком (свойство PASTA - Poisson Arrival See Time Average, секция 6.3). Наиболее важные из этих свойств:

  1. Пуассоновское поступление заявок происходит в случайные моменты времени;
  2. поступление нескольких заявок однородно распределено по интервалу;
  3. число заявок, которые уже находятся в системе, не влияет на процесс поступления вызовов.

Пуассоновское распределение

Мы предполагаем, что процесс поступления вызовов - Пуассоновский процесс, и что времена пребывания в системе имеет экспоненциальное распределение, то есть мы рассматриваем нагрузку PCT-I. Предполагается, что число каналов бесконечно, так что блокировка (перегрузка) отсутствует.

Диаграмма перехода состояния

Мы определяем состояние системы [i] как число занятых каналов i (i = 0,1,2, \dots) .

На рис.7.1 все состояния системы даны в виде окружностей и дуг от одного состояния до другого состояния, на которых показано значение интенсивности. Этот процесс простой (секция 5.1). Мы рассматриваем только переходы в соседние состояния.

 Пуассоновское распределение.

Рис. 7.1. Пуассоновское распределение.

Диаграмма переходов состояний схематически изображает переходы для системы с бесконечным числом каналов, Пуассоновским потоком вызовов ( \lambda ) и экспоненциально распределенными временами пребывания в системе ( \mu ).

Если мы предполагаем, что система находится в статистическом равновесии, то система будет находиться в состоянии [i] в течение определенного времени, пропорционального p(i) , где p(i) - вероятность существования системы в состоянии [i] в случайный момент времени. Когда процесс находится в состоянии [i] , он может перейти в следующий момент времени в состояние [i+1] \lambda раз в единицу времени или в состояние [i-1] i \mu раз в единицу времени. В момент перехода из состояния в состояние процесс покидает состояние [i] . Будущее развитие диаграммы состояний зависит только от существующего состояния, а не от того, как процесс прибыл в это состояние (Марковское свойство).

Уравнения, описывающие состояние системы, согласно предположению о статистическом равновесии могут быть получены двумя способами, которые основаны на принципе глобального равновесия.

а. Уравнения узла

В статистическом равновесии число переходов в состояние [i] в единицу времени равно числу переходов из состояния [i] . Вероятность состояния равновесия р (i) обозначает соотношение времени (отношение всего времени процесса к отношению в единицу времени), когда процесс находится в состоянии [i] . Среднее число переходов из состояния [0] в состояние [1] равно \lambda \times р(0) , в единицу времени, и среднее число переходов из состояния [1] в состояние [0] - \mu \times p(1) в единицу времени. Для состояния [i] мы получаем следующее равновесие или уравнение равновесия:

\lambda *p(0)=\mu *p(1), i=0, ( 7.2)
\lambda *p(i-1)+(i+1) \mu * p(i+1)=(\lambda +i \mu)*p(i), I > 0. ( 7.3)

Уравнения узла также всегда применимы, для диаграмм перехода, где от одного состояния можно перейти в одно из нескольких состояний (несколько измерений), которые мы рассмотрим в более поздних лекциях.

б. Уравнения сечения

Во многих случаях мы можем применять простую структуру диаграммы перехода состояния. Применим фиктивное сечение, например, между состоянием [i-1] и [i] (т.е. выделяем переходы от состояния [0],[1], \dots , [i-1] ). Затем рассматриваем статистическое равновесие нагрузки от состояния [i - 1] к [i] и изменение от состояния [i] к [i-1] . В статистическом равновесии мы, таким образом, имеем в единицу времени:

\lambda *p(i-1)=i \mu * p(i), i=1,2, \dots ( 7.4)

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

Так как система всегда будет в некотором состоянии, мы имеем нормализующее ограничение:

\sum_{i=0}^{\infty}p(i)=1, p(i) \ge 0. ( 7.5)

Можно заметить, что уравнения узла (7.3) включают три вероятности состояния, тогда как уравнения сечения (7.4) включают только две. Поэтому уравнения сечения решаются проще. Система с потерями всегда может перейти в состояние статистического равновесия, если процесс поступления вызовов независим от состояния системы. Математические условия для статистического равновесия в этой лекции не рассматриваются.

Вывод уравнений вероятностей состояния

Для одномерной диаграммы перехода состояний в большинстве случаев применяют подход на основе метода сечений. Из рис.7.1 мы получаем следующие уравнения равновесия:

\lambda * p(0)= \mu *p(1),\\
\lambda *p(1)=2 \mu *p(2),\\
\dots \dots\\
\lambda * p(i-1)=i\mu *p(i),\\
\lambda * p(i)=(i+1)\mu *p(i+1).

Используя выражение p(0) и обозначая А= \lambda / \mu, получаем

p(0)=p(0),\\
p(1)=A*p(0),\\
p(2)=\frac{A}{2}*p(1)=\frac{A^2}{2}*p(0),\\
\dots \dots \dots\\
p(i-1)=\frac{A}{i-1}*p(i-2)=\frac{A^{i-1}}{(i-1)!}*p(o),\\
p(i)=\fracAi*p(i-1)=\frac{A^i}{i!}*p(0),\\
p(i+1)=\frac{A}{i+1}*p(i)=\frac{A^{i+1}}{(i+1)!}*p(0),\\
\dots \dots \dots

Из ограничения нормализации получаем р(0) :

1=\sum_{j=0}^{\infty}p(j)\\\

=p(0)*\left \{1+A+\frac{A^2}{2!}+ \dots + \frac{A^i}{i!} + \dots \right \}\\

=p(0)*e^A,\\
p(0)=e^{-A},

Это распределение Пуассона

p(i)=\frac{A^i}{i!}*e^{-A}, i=1,2, \dots. ( 7.6)

Число занятых каналов в случайный момент времени подчиняется Пуассоновскому распределению со средней величиной (6.17) и с дисперсией (6.18), равной A. Мы ранее показали, что число вызовов в фиксированном временном интервале также подчиняется Пуассоновскому распределению (6.16). Таким образом, Пуассоновское распределение справедливо и для времени, и для пространства. Мы, конечно, получили бы то же самое решение, используя уравнения узла.

< Лекция 7 || Лекция 8: 1234 || Лекция 9 >
Нияз Сабиров
Нияз Сабиров

Здравствуйте. А уточните, пожалуйста, по какой причине стоимость изменилась? Была стоимость в 1 рубль, стала в 9900 рублей.

Елена Сапегова
Елена Сапегова

для получения диплома нужно ли кроме теоретической части еще и практическую делать? написание самого диплома требуется?

Владислав Ветошкин
Владислав Ветошкин
Россия, Ижевск, Ижевский государственный технический университет имени А.Т. Калашникова, 2011
Саламат Исахан
Саламат Исахан
Россия, Turkistan