Сравнение асимптотических и допредельных характеристик системы мар/м/∞

УДК 004.94:519.872

А.А. Назаров, И.А. Семенова

Сравнение асимптотических и допредельных характеристик системы МАР/М/«

Рассматривается система массового обслуживания с входящим МАР-потоком (Markovian Arrival Process) и неограниченным числом обслуживающих приборов. Исследование проводится методом асимптотического анализа в условии растущего времени обслуживания, методом моментов и численным методом в допредельной ситуации. Проведенный анализ позволяет выполнить сравнение асимптотических и допредельных характеристик данной системы обслуживания.

Ключевые слова: асимптотический анализ, входящий МАР-поток, расстояние Колмогорова.

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

Одним из новых направлений исследований стало изучение процессов обслуживания в системах, входящие потоки которых отличны от классических, таких как MAP-поток (Markovian Arrival Process). Описание этого потока однородных событий можно найти в работах Б.В. Гнеденко, И.Н. Коваленко [1], А.Н. Дудина [2], А.А. Назарова [3].

Исследователи, занимающиеся потоками, также занимались изучением СМО с неограниченным числом приборов, на вход которых поступают специальные потоки, применяя главным образом методы численного анализа. Анализ числа занятых приборов в системах BMAP|GI|<», COX|GI|<» можно найти, например, в работах немецких ученых Д. Баума [4] и Л. Брoера [5], где было получено асимптотическое распределение числа занятых приборов в условии растущего времени обслуживания. Также исследованию систем массового обслуживания с неограниченным числом обслуживающих приборов посвящены работы [6-9].

В данной работе проводится исследование системы массового обслуживания с неограниченным числом обслуживающих приборов, на вход которой поступает МАР-поток, функция распределения времени обслуживания экспоненциальная. Исследование проводится методом асимптотического анализа в условии растущего времени обслуживания, методом моментов и численным методом в допредельной ситуации.

Математическая модель

Рассмотрим систему массового обслуживания с неограниченным числом приборов, на вход которой поступает МАР-поток, заданный матрицей инфинитезимальных характеристик Q цепи Маркова k(t), диагональной матрицей Л с элементами Xk > 0 по главной диагонали и набором вероятностей dkxk2 , причем dkk = 0. Пусть в некоторый момент времени tm цепь Маркова перешла в состояние

k1. В этом состоянии цепь будет находиться до момента tm+1. Длина (tm+1-tm) интервала постоянства состояния цепи Маркова распределена по экспоненциальному закону с параметром: —dkk. В течение времени пребывания цепи Маркова в состоянии k1 наступают события потока с интенсивностью . В момент времени tm+1 цепь Маркова перейдет в некоторое состояние k2. В этот момент с вероятностью dk1k2 наступит событие потока, а с вероятностью (1-dk1k2) событие не наступит. Далее

процедура повторяется. Эти состояния k1, k2 управляющей цепи Маркова будем также называть состояниями МАР-потока. Продолжительности обслуживания различных заявок стохастически независимы, одинаково распределены и имеют экспоненциальное распределение с параметром ц.

МАР

Рис. 1. СМО с неограниченным числом обслуживающих приборов

Поступившая заявка занимает любой из свободных приборов, завершив обслуживание, заявка покидает систему (рис. 1).

Пусть система функционирует в стационарном режиме. Обозначим і(ґ) - число приборов, занятых в момент времени ґ; к(ґ) -цепь Маркова, управляющая МАР-потоком, тогда стационарное распределение вероятностей значений процесса {к(ґ),і(ґ)} обозначим

Р(к,і) = Р{к(ґ) = к,і(ґ) = і} .

Для рассматриваемой системы двумерный случайный процесс {к(ґ), і(ґ)} является марковским. Для его распределения вероятностей Р(к,і) запишем систему уравнений Колмогорова:

-Р

V

Применяя (1), составим систему уравнений, определяющих характеристические функции

да

Н (к ,м)=£ ¿иіР(к ,і), і=0

где ] = л/=Г - мнимая единица. Получим следующее уравнение:

]у

Введем обозначения: вектор-строка И

Н(м) = {Н(1,м),Н(2,м),--},

матрица В с элементами Хк по главной диагонали и произведением dk1k2 • Чк1к2 вне главной диагонали, тогда систему (2) запишем в матричном виде

-1)ИГ=И (м){о+(е/м-1)В}. (3) И(0) = и,

где И - стационарное распределение вероятностей значений цепи Маркова к(ґ), определяемое сис-

темой

ГИО = 0,

[ЕЕ = 1,

где Е - единичный вектор-столбец.

Исследование рассматриваемой системы МАР/М/да выполним тремя способами:

1. Методом асимптотического анализа в условии растущего времени обслуживания при ц^-0.

2. Методом моментов в допредельной ситуации.

3. Численным методом решения системы уравнений Колмогорова для стационарного распределения Р(к,1).

Метод асимптотического анализа

Предлагаемый метод асимптотического анализа реализуется в построении последовательности асимптотик возрастающего порядка, в котором асимптотика первого порядка аналогично закону больших чисел определяет асимптотическое среднее значение числа занятых приборов. Асимптотика второго порядка аналогично центральной предельной теореме позволяет построить гауссовскую аппроксимацию распределения вероятностей числа занятых приборов в системе. Асимптотики более высокого порядка определяют соответствующие аппроксимации распределения вероятностей, позволяющие выполнить более детальное исследование рассматриваемой характеристики [10]. Асимптотика первого порядка

Для нахождения асимптотики первого порядка обозначим ц = е, и в уравнении (3) выполним замены

и =ъм!, Н

для ^1(^,е) получим уравнение

j

Теорема 1. Предельное, при е^-0, значение F1(w) решения F1(w,e) уравнения (6) имеет вид

Fi (w) = R • exp{jwK1}, где R является решением системы (4), а величина к1 имеет вид

K1 = RBE .

Доказательство.

В уравнении (6) выполним предельный переход при е^-0, получив однородную систему линейных алгебраических уравнений:

F1 (w)Q = 0 ,

решение F1(w) которого запишем в виде произведения

F1

вектора R определяется системой (4) и скалярной функцией Ф1^), вид которой найден равенством (7). Значения величины к1 определим следующим образом. Сложим все уравнения системы (6), умножив это равенство справа на единичный вектор-столбец E. В силу условия Q'E = 0 получим равенство

j(j8w-1)5Ft,S)E = F1 (w,e)(ej8w-1)BE .

Поделив левую и правую части этого равенства на е и полагая е^-0, получим, что для F1(w) выполняется равенство

5Fi (w) , .

w-------E = F1

dw

В уравнение (8) подставим произведение (7) и, учитывая (4), получим уравнение, определяющее вид величины к1:

K1 = RBE.

Теорема доказана.

В силу замен (5) и учитывая (7), запишем равенство для функции H(u):

H (u) = F1 (w,s) « F1 (w) = R • exp jju K1

Определение. Функцию

h (u) = exp jju -M-j

будем называть асимптотикой первого порядка характеристической функции h(u)=H(u)E числа занятых приборов 1^).

Асимптотика второго порядка

Для нахождения асимптотики второго порядка в уравнении (3) выполним замену

,К1

И (u) = И 2 (u)exp < ju

М

тогда для вектор-функции H2(u) получим уравнение

)r\Jju Ли , K_/„-j« ЛА}

-1)dHuu) = И2

где I - единичная диагональная матрица.

Теперь в системе (9) обозначим ц = е2 и выполним замены

u =ем>, Н2 (и) = Р2 (^,е).

Получим задачу

-1)аГ2^,е)= Р2

Аналогично теореме 1 сформулируем утверждение:

Теорема 2. Предельное, при е^-0, значение F2(w) решения F2(w,e) уравнения (10) имеет вид

f2 (w) = R • exp-<^(^^2)— к2 [ где величина к2 определяется равенством

к— =ki + f—BE,

в котором вектор f2 является решением неоднородной системы линейных алгебраических уравнений

f—Q + R (B - k1I) = 0.

Найденные функции F2(w) служат основой для построения асимптотики второго порядка. Определение. Функцию

h—

будем называть асимптотикой второго порядка характеристической функции h(u) = H(u)E числа занятых приборов i(t).

Асимптотика третьего порядка

Для нахождения асимптотики третьего порядка сформулируем следующее утверждение:

Теорема 3. Предельное, при е^-0, значение F3(w)решения F3(w, е) уравнения

jS- (( - = F3 (w,6)|Q + (e- 1)b + (K1 + /б»к-)-1)1}

имеет вид

F3 (w) = R • exP |j)_ K3 j

где вектор R определен выше, а величина к3 определяется равенством

K3 = K1 + 2f2 BE + f3BE,

в котором вектор f2 определен в предыдущей теореме, а вектор f3 определяется неоднородной системой линейных алгебраических уравнений

f2Q + 2f1 (B - k1I) + R[B + (k1 - 2k2I)] = 0 .

Найденные функции F3(w) сложат основой для построения асимптотики третьего порядка. Определение. Функцию

Ъз

будем называть асимптотикой третьего порядка характеристической функции h(u)=H(u)E числа занятых приборов i(t).

С помощью полученных асимптотик (11-12) и обратного преобразования Фурье, запишем асимптотическое распределение вероятностей числа занятых приборов в системе:

1 п

P—

2п

-п 1 П

P3

2п

-п

Полученные распределения будем называть асимптотической аппроксимацией второго (13) и третьего (14) порядка допредельного распределения.

Метод моментов

Производная k-го порядка характеристической функции (3) позволяет найти начальные моменты k-го порядка числа занятых приборов в системе. В данной работе найдем центральные моменты. Для этого воспользуемся уравнением (9), решение H2(u) которого является векторной характеристической функцией величины отклонения числа занятых приборов.

Решение Н2(и) уравнения (9) запишем в виде суммы векторного ряда:

да (іи)у

Н(м)=! ^mv ,

у=0 ^

mo = Н(0) = R.

Здесь шу - векторный центральный момент у-го порядка, который определяет скалярный центральный момент числа занятых приборов равенством

Цп = М{і()—М(і= mvE .

Уравнение (9) примет вид

^(-іи)  ^0'и)УІ ^0'иУ и ^(иУ B ( лк т

цЕ л ч, mv=^^-mv1Q +^Нг-В + (-1) кіТ

к=1 к! V:

=1 (л;-1)!

V!

к • I

у=0 у: [ к=1

Далее, выполняя преобразования и приравнивая коэффициенты при одинаковых степенях переменной и, получим рекуррентное уравнение для векторных центральных моментов п-го порядка

п-1

ти =- R

к —

П — V + 1

ц

т[>

—1

В + (-1)п к1 -X О^В + (-1)п

1 J У=1 I

где то = К. Последовательно определяя значения Шп при п = 1, 2, 3, ..., найдем скалярный центральный момент п-го порядка Цп в виде

Цп = ШпЕ .

Численный метод

Для того чтобы получить распределение вероятностей числа занятых приборов в допредельной ситуации, необходимо рассмотреть систему уравнений Колмогорова (1) для стационарного распределения Р(к, г). Решение системы (1) запишем в 7 этапов [11].

1. Равенство (1) перепишем в матричном виде

- Р

где Р(г) = {Р(1,г),Р(1,г),...}.

2. При г = 0 запишем

Р(0)(0 - В) + Р(1)Ц = 0.

3. Решение системы

Р

где У (0) = I, а I - диагональная единичная матрица.

4. Подставляя

У 0)=|У (°ИВ - 0).

5. Для реализации основного алгоритма, когда г > 0, (0 < г < Щ, запишем рекуррентное равенство

V (і)=і- [V (і—1). (в + (і—1) ЦТ—Q)—V (і — 2) б'

1Ц

где величину N можно выбрать следующим образом:

К1 +

N >-

6. Так как

N

Ц

N

R =1 р(і)=р(о)І V (і)=р(о)8,

і=0 і=0

где 8 = ^ V(і) , то вектор Р(0) определяется равенством

і=0

да

P(0) = R • S-1,

где R - стационарное распределение вероятностей значений цепи Маркова k(t), определяемое системой (4).

7. Далее получаем двумерное распределение вероятностей P

P (i) = R •S-1,

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

Сравнение асимптотических и допредельных характеристик

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

Покажем отклонение значений семиинвариантов к (i = 1, 2, 3), полученных с помощью метода асимптотического анализа, от допредельных, полученных с помощью метода моментов (15) (табл. 1).

Таблица 1

Сравнение асимптотических и допредельных семиинвариантов

Порядок семиинвариантов, i Допредельные семиинварианты Асимптотические семиинварианты

ц=0,5 ц=0,2 Ц=0,1 ц=0,05

К1 0,924 0,924 0,924 0,924 0,924

к 2 0,940 0,945 0,948 0,949 0,951

к з 0,970 0,982 0,986 0,989 0,992

По данным табл. 1 можно сделать вывод о том, что асимптотические семиинварианты хорошо аппроксимируют допредельные, что следует из близости величин к (і = 1, 2, 3) для различных значений ц.

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

т т

I Рп (0-1 Р(і) , (« = 2,3) ,

і=0 і=0

где Рп(і) - функция распределения, полученная с помощью асимптотического анализа, а Р(і) -функция распределения для допредельной ситуации, полученная численным алгоритмом.

Используя заданные значения параметров:

О

Dn = max

0<га<ю

Г-0,5 0,3 0,21 Г1 0 0 Г0 0,1 0,21

0,2 -0,6 0,4 , л = 0 0,6 0 , D = 0,2 0 0,3

0,5 0,3 -0,8 0 0 0,8 0,1 0,2 0

для различных значений ц значения Dn составили табл. 2.

Таблица 2

Область применимости асимптотических результатов к допредельной ситуации

n 0,2 0,1 0,05

D2 0,116 0,085 0,061

D3 0,029 0,014 0,007

Из табл. 2 видно, что с уменьшением параметра продолжительности обслуживания на приборе расстояние Колмогорова уменьшается, т.е. повышается точность аппроксимации допредельного распределения распределением, полученным методом асимптотического анализа. Более того, точность такой аппроксимации существенно повышается при переходе от асимптотики второго порядка к асимптотике третьего порядка. Полагая приемлемой погрешность аппроксимации, равную значению 0,04 расстояния Колмогорова, точность полученного асимптотического распределения третьего порядка достаточно велика, так как расстояние Колмогорова с допредельным распределением не превосходит значение 0,03.

Прикладное значение полученных результатов

В телекоммуникационных системах, телефонных сетях связи актуальным является рассмотрение и решение задачи Эрланга. В 1917 г. А.К. Эрланг развил теорию телефонной связи и получил формулы для вероятностей различного числа обслуживаемых абонентов, распределение времени ожидания при равновесном состоянии системы и вероятности отказов для системы с потерями.

В классической задаче Эрланга рассматривается ^-линейная СМО, на вход которой поступает простейший с параметром X поток заявок. Обслуживание каждым прибором экспоненциальное с параметром ц. Находится стационарное распределение %(Щ числа занятых приборов, если заявки, поступившие в систему, когда заняты все приборы, теряются:

где р = А/ц. В теории телетрафика этой формулой пользуются до сих пор, хотя в связи с повышенной компьютеризацией и передачей по телефонным каналам разнородной информации требуется дальнейшее обобщение этих классических результатов.

Предлагаемая в данной работе теория исследования позволяет дать достаточно точное решение задачи Эрланга следующим образом:

ченным числом обслуживающих приборов при условии, что их количество не превосходит N. Таким

нятых приборов в системе МАР/МЛ», применимы для задачи Эрланга. В частности, вероятность потери, определяемая в задаче Эрланга как %(Щ , в рассматриваемой системе составит

Заключение

В работе проведено исследование системы с неограниченным числом обслуживающих приборов и входящим МАР-потоком. Получены допредельное и асимптотическое распределения вероятностей числа занятых приборов в системе. Показано прикладное значение полученных результатов.

Работа выполнена при продержке АВЦП «Развитие научного потенциала высшей школы (20092011 гг.)», проект №11803.

Литература

1. Гнеденко Б.В. Введение в теорию массового обслуживания / Б.В. Гнеденко, И.Н. Коваленко. -4-е. изд. - М.: Изд-во ЛКИ, 2007. - 400 с.

2. Дудин А.Н. Системы массового обслуживания с коррелированными потоками / А.Н. Дудин, В.И. Клименок. - Мн.: БГУ, 2000. - 175 с.

3. Назаров А.А. Асимптотический анализ системы ММР|М1|ИПВ в условии предельно редких изменений состояний входящего потока / А.А. Назаров, А.Е. Горбатенко // Изв. Том. политех. ун-та. Сер. Управление, вычислительная техника и информатика. - 2009. - Т. 315, № 5. - С. 187-190.

4. Baum D. The infinite server queue with Markov additive arrivals in space // Proceedings of the international conference «Probabilistic analysis of rare events». - Riga, Latvia, 1999. - P. 136-142.

5. Breuer L. The Inhomogeneous BMAP/G/infinity queue / Lothar Breuer, Dieter Baum // Proceedings 11th GI/ITG Conference on measuring, modelling and evaluation of computer and communication systems (MMB 2001) - Aachen, Germany, 2001. - P. 209-223.

6. Decreusefond L. A functional central limit theorem for the M/GI/œ queue / Laurent Decreusefond, Pascal Moyal [Электронный реcурс]. - Режим доступа: http://projecteuclid.org/DPubS7service =UI&version=1.0&verb=Display&handle=euclid.aoap/1227708915 (дата обращения: 05.05.2011).

7. Doorn E.A. van. Note on the GI/GI/infinity system with identical service and interarrival-time distributions / E.A. van Doorn, A.A. Jagers // Journal of queueing systems. - 2004. - № 47. - P. 45-52.

здесь тс(г') - условное распределение вероятностей числа занятых приборов в системе с неограни-

образом, полученные в данной работе результаты, а именно распределение Р(г) , (г = 0,<») числа за-

8. Reed J. Distribution-valued heavy-traffic limits for the G/GI/да queue [Электронный ресурс]. -Режим доступа: http://pages.stern.nyu.edu/~jreed/Papers/DistributionFinal.pdf, свободный (дата обращения: 10.05.2011).

9. Baltzer J.C. On the fluid limit of the M/G/да queue queueing systems // Theory and applications. -August 2007. - Vol. 56, Issue 3-4. - P. 255-265.

10. Назаров А.А. Метод асимптотического анализа в теории массового обслуживания / А.А. Назаров, А.А. Моисеева. - Томск: Изд-во НТЛ, 2006. - 112 с.

11. Назаров А.А. Исследование RQ-систем методом асимптотических семиинвариантов / А.А. Назаров, И.А. Семенова // Вестник Томского государственного университета. Сер. Управление, вычислительная техника и информатика. - 2010. - №3 (12). - С. 85-96.

Назаров Анатолий Андреевич

Почетный работник ВПО РФ, д-р техн. наук, профессор, зав. каф. теории вероятностей и математической статистики

Национального исследовательского Томского государственного университета

Тел.: 8 (382-2) 52-95-99

Эл. почта: anazarov@fpmk.tsu.ru

Семенова Инна Анатольевна

Аспирант каф. ТВиМС НИТГУ Тел.: 8 (382-2) 53-38-25 Эл. почта: inna_ac@mail.ru

Nazarov A.A., Semenova I.A.

Comparison of asymptotic and prelimit characteristics of MAP/M/да system

The retrial queues system with input MAP flow (Markovian Arrival Process) and unlimited number of servers is considered. To study this system we propose the method of asymptotic analysis under growing time of service, the method of moments and numerical method for prelimit situation. The analysis allows us to compare asymptotic and prelimit characteristics of the queueing system.

Keywords: asymptotic analysis, input MAP flow, Kolmogorov's distance.