Научная статья на тему 'Асимптотический анализ многофазной бесконечнолинейной ресурсной системы массового обслуживания с входящим MMPP потоком'

Асимптотический анализ многофазной бесконечнолинейной ресурсной системы массового обслуживания с входящим MMPP потоком Текст научной статьи по специальности «Математика»

CC BY
128
31
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МНОГОФАЗНАЯ СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ / ОБЪЕМ РЕСУРСА / МЕТОД АСИМПТОТИЧЕСКОГО АНАЛИЗА / ГАУССОВСКАЯ АППРОКСИМАЦИЯ / QUEUEING TANDEM / RANDOM RESOURCE / METHOD OF ASYMPTOTIC ANALYSIS / GAUSSIAN APPROXIMATION

Аннотация научной статьи по математике, автор научной работы — Галилейская Анастасия Александровна, Лисовская Екатерина Юрьевна

Рассматривается бесконечнолинейная ресурсная система массового обслуживания MMPP/(GI/«)m. Решается задача исследования ^.M-мерного процесса чисел занятых приборов и суммарных объемов занятого ресурса на фазах системы в стационарном режиме функционирования. С помощью метода асимптотического анализа получена асимптотическая характеристическая функция распределения вероятностей исследуемого многомерного процесса, которая совпадает с характеристической функцией многомерного гауссовского распределения.

i Надоели баннеры? Вы всегда можете отключить рекламу.

Похожие темы научных работ по математике , автор научной работы — Галилейская Анастасия Александровна, Лисовская Екатерина Юрьевна

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

Asymptotic analysis of resource infinite-server queueing tandem with MMPP arrivals

In this work, the MMPP/(GI/«)M queueing system with unlimited number of servers and with unlimited amount of resource is studied. The arrival process is a MMPP. Service times on each server on mth phase are i.i.d. with distribution function Bm(x) (m = 1M). All customers form request for a random resource v with distribution function G(y) = P {v < y} on each phase. After the service end on Mth phase the customer leaves system and sets free the occupied resource. Consider 2M-dimensional stochastic process {i(t), v(t)} = {j(t),...,гм(t),V(t),.. VM(t)}, where im(t) and Vm(t) denote the numbers of customers and the total resources at the mth phase in the system at time t, respectively. We proposed the dynamic screening method for its investigation. Note that this method exactly determines the characteristics of the process V(t) since the screened process contains only those customers, which do not finish the service at the moment T. The system of Kolmogorov differential equations is derived. By using the partial characteristic function, we obtained the main equation: SH(u, v,t), ч -= H (u, v,t) St V ' Л Mm )[eJUmG* (vm)-1l + Q m=1 with the initial condition H(u v to ) = r. To solve this equation, the method of asymptotic analysis is proposed under the condition of an infinitely growing arrival rate. We proved that in steady state regime the characteristic function of the customers numbers and the total resources at the system phases corresponds to a 2M-dimensional Gaussian distribution with parameters: · expectations vector Y = m[Yj Y2... YL], where Y =[1 ^ЩВ-Дt)-B*(t))dT, matrix W = N(xW1) + kW*2)), where covanance K(2) K(2) K1 K12 K2) T^(2) K 2) K1 L K 2) K2L K1( (1) (1) 0K (1) <2) W W 0 0... kL1) Г(2) 1^(2) KL2) 1 a 1 a ^ a j2 да, J(B*-1 (x)_ B* (x))dx, k(2): K (1) = J (b*-1 (x)B* (x)) dx, j (b-x)_ b*( x))( b*-x)-b*( x)) dx. 1 «1 k( 2) = Kj

Текст научной работы на тему «Асимптотический анализ многофазной бесконечнолинейной ресурсной системы массового обслуживания с входящим MMPP потоком»

ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА

2018 Управление, вычислительная техника и информатика № 45

ОБРАБОТКА ИНФОРМАЦИИ

УДК 519.872

DOI: 10.17223/19988605/45/2

А.А. Галилейская, Е.Ю. Лисовская

АСИМПТОТИЧЕСКИЙ АНАЛИЗ МНОГОФАЗНОЙ БЕСКОНЕЧНОЛИНЕЙНОЙ РЕСУРСНОЙ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ С ВХОДЯЩИМ MMPP ПОТОКОМ

Рассматривается бесконечнолинейная ресурсная система массового обслуживания MMPP/(GI/«)m. Решается задача исследования 2М-мерного процесса чисел занятых приборов и суммарных объемов занятого ресурса на фазах системы в стационарном режиме функционирования. С помощью метода асимптотического анализа получена асимптотическая характеристическая функция распределения вероятностей исследуемого многомерного процесса, которая совпадает с характеристической функцией многомерного гауссовского распределения. Ключевые слова: многофазная система массового обслуживания; объем ресурса; метод асимптотического анализа; гауссовская аппроксимация.

Математические модели бесконечнолинейных систем массового обслуживания представляют большой интерес для практического применения в области телекоммуникаций, например для моделирования беспроводных сетей связи с целью оптимизации существующих и проектирования новых сетей [1-2]. Кроме того, такие системы важны при моделировании инженерных устройств, где необходимо вычислить достаточный объем буфера для хранения данных.

Так как необходимо учитывать объем передаваемой информации, то в связи с этим актуальной является разработка новых ресурсных моделей, сформулированных в терминах систем массового обслуживания (СМО), которые бы позволили оценить объемы занятого ресурса [3-4].

К сожалению, аналитические результаты получены лишь для систем с входящим простейшим потоком заявок и экспоненциальным временем обслуживания, которые не всегда соответствуют реальным сетям [5-7].

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

1. Постановка задачи

Рассмотрим M-фазную ресурсную СМО с неограниченным числом приборов и неограниченным объемом предоставляемого ресурса на каждой фазе. На вход системы поступает MMPP-поток заявок, управляемый цепью Маркова k(t) = 1, 2, ... K, которая задается матрицей инфинитезимальных характеристик Q = Wqtjll размера K х K, и диагональной матрицей условных интенсивностей Л = diag{X1,...,X,i} .

Поступающее требование занимает любой свободный прибор на первой фазе, где обслуживается в течение случайного времени Т1 > 0 с функцией распределения B\(x) = Р{ц < x} и формирует запрос на предоставление случайного объема ресурса v > 0 с функцией распределения G(y) = P{v < y}. По окончании обслуживания на первой фазе заявка освобождает тот же объем ресурса, мгновенно переходит на вторую фазу, где обслуживается в течение случайного времени Т2 > 0 с функцией распределения

В2(х) = Р{т2 < х} и занимает тот же объем ресурса, как и на первой фазе. И так далее; после окончания обслуживания наМ-й фазе заявка покидает систему и освобождает занимаемый ресурс.

Пусть /т(0 - число заявок на т-й фазе в момент времени г, Ут(г) - суммарный объем занятого ресурса на т-й фазе в момент времени г, где т = 1,м - номер фазы.

Поставим задачу нахождения характеристик многомерного случайного процесса { (г), V(г)} = {*! (г),•••, м (г)V (г)(/)} • Отметим, что исследуемый процесс не является марковским. Для его исследования применим метод многомерного динамического просеивания [8].

Изобразим М параллельных осей времени, пронумерованных от 0 до М (рис. 1). Ось под номером 0 будет отображать события входящего потока, ось под номером 1 будет соответствовать первому просеянному потоку, ось под номером 2 - второму и т.д., ось под номером М соответствует М-му просеянному потоку.

Рис. 1. Просеивание входящего потока

Пусть имеется набор функций Бт(г), т = 1,М , значения которых лежат в диапазоне [0, 1] и обладают свойством

м , ч (г 1

т=1

для любых г.

Событие входящего потока может просеяться только на одну из осей либо не просеяться ни на одну. Вероятность того, что заявка входящего потока, поступившая в систему в момент времени г > го, сформирует событие потока на т-й оси, то есть к моменту времени Т будет находиться на обслуживании на т-й фазе, равна Бт (г ) = Б*т_1 (Т - г)-В*т (Т - г), где В*т (х) = (вт-1 ■ Вт )(х) - свертка функций

распределения Вт-\(х), Вт(х) длительности обслуживания на фазах системы. Вероятность того, что зам

явка не сформирует событие ни на одной из осей, равна £0 (г) = 1 - X (г), т.е. к моменту времени Т

т=1

заявка закончит обслуживание на всех фазах и покинет систему.

Обозначим Пт(г) - число событий, наступивших на т-й оси просеянного потока до момента г, Жт(0 - суммарный объем занятого ресурса просеянными заявками на т-й оси.

Как показано в [8], многомерное распределение вероятностей числа заявок на фазах системы в момент времени Т совпадает с многомерным распределением вероятностей числа просеянных заявок на соответствующие оси:

Р {1 (Т) = т} = Р {п (Т) = т}

для ливо

любых т = [т!,...,тм ]. Нетрудно показать, что для исследуемого процесса {1 (г), V(г)} справед-

Р{ (Т ) = т, V (Т )< г} = Р {п (Т ) = т, (Т )< г} (\)

для любых т = [от1,...,тм] и любых г = ^,...,гм]. Следует отметить, что неравенства V(Т)<г , W(Т)< г подразумевают поэлементное сравнение векторов, т.е. ^ (Т)< г1 и т.д. Будем использовать равенство (1) для исследования процесса ^(г), V(г)} с помощью исследования процесса {п(г), W(г)} .

2. Система дифференциальных уравнений Колмогорова

Добавим компоненту к(г) - состояние управляющей цепи Маркова в момент времени г, к процессу {п(г), W(г)|, тогда полученный многомерный процесс будет являться марковским. Введем обозначение для его распределения вероятностей:

Р(к,п,те,г) = Р{к(г) = к,п(г) = п, W(г) < те} .

Для этого распределения составим Дг-методом прямую систему дифференциальных уравнений Колмогорова. По формуле полной вероятности запишем:

Р(к, п, те, г+А) = Р(к, п, те, г) (1 - Хк Аг) (1+Аг)+Р(к, п, w,t )Хк АгБ0 (г) +

М ™т

+ 1 К ^т (г) | Р (к, п - ет, w - у т, г >0 (у)+ £ Чк АР (V, п, те, г) + О (Аг) . (2)

т=1 0 v^k

Из (2) получаем систему дифференциальных уравнений Колмогорова

= (¿0 С)-1)Р(к,п, w,,)

+

+ Е ЧvkАР ( V, п> w, г) + 2 ХА (г) 1р (к, п - ет , W - у т , г>0 (у) (3)

vфk т=1 0

дляк = 1, К; п = [их,...,нм],те = [щ,...,].

Начальное условие для решения Р(к, п, w, г) в момент времени го определим в виде:

, ч Гг (к), п = w = 0,

Р(к,п^г) = Гп( )

[0, иначе.

где г(к) - стационарное распределение вероятностей состояний цепи Маркова к(г). Введем частичные характеристические функции вида:

да да да да

к(к,и, V,г)= в]и1"11е™ •... • в]им"м |е^мр(к,п,dw,г) , «1=0 0 «м =° о

где ] = - мнимая единица.

Тогда (3) можем переписать в виде следующей системы уравнений:

8к(к^V,г^ =£Чкк(к,и,V,г)+ Хк (г)к(к,и,V)(е*т0*(^)-1

ог V т=1 V

для к = 1, ..., К, где

да

О* (V) = ! е^ао (у ) . 0

Перепишем эту систему в виде матричного уравнения:

8Н (и, V, г)

^ = Н (и, V, г)

Л м Бт (г)( е]ит0" ((^т)-11 + Q

т=1

(4)

с начальным условием

Н(и, V, г0 ) = г, (5)

где

Н (и, V, г ) = [к (1, и, V, г),..., к (К, и, V, г)],

г = [г(1), ..., г(К)] - вектор стационарного распределения вероятностей состояний управляющей цепи Маркова к(г), удовлетворяющий системе

Ггд = о,

1 * 1 (6) ге = 1,

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

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

Для решения задачи (4)-(5) воспользуемся методом асимптотического анализа [8] в условии растущей интенсивности входящего потока и предельно частых изменений состояний цепи Маркова [9-\2].

Подставим в уравнение (4) Л = NЛ\ и Q = где N ^ да - некоторый параметр, который используется для асимптотического анализа. Тогда можно записать

1 -Н(и,V,г) , ЧГ м ( /и * л

- (я; , ; = н(и,V,г) Лх мБт(г)1 ¿ито (ут)-1 + Q1

N дг _ т=1 V У

(7)

с начальным условием (5).

Теорема 1. Асимптотическая характеристическая функция первого порядка многомерного случайного процесса {п(г), )} имеет вид:

Г м г 1

н (и, V, г) = Г ехр ] NX X (]ит + ) I Бт ( Т) йт Г ,

[ т=1 г0 ]

где X = гЛе - интенсивность входящего потока, а\ - средний объем занимаемого одной заявкой ресурса.

Доказательство. Обозначим

-1 = е, и = ех, V = еу, Н (и, V, г) = Е1 (х, у, г, е). (8)

(9)

Перепишем задачу (7)-(5) с учетом введенных обозначений:

-Е (х,у,г,е) ЧГ м ( /вх * л

е 1 ( I = Е (х,У,г,е) Л1 (г)[ в/ХтО (гут)-1 + Ql

дг т=1 V У

с начальным условием

Е1 (х, у, го, е ) = г. (10)

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Найдем асимптотическое решение задачи (9)-(10) в два этапа. Этап 1. Подставляя в (9) е = 0, получим

Е (х, У, г) = о.

Сравнивая это уравнение с первым в системе (6), можно сделать вывод, что его можно записать в виде:

Е (х,у, Г) = гф (х,у,I) , (11)

где ф(х, у, г) - некоторая скалярная функция, которая удовлетворяет условию:

Ф1 (х,у,го ) = 1. (12)

Этап 2. Умножим (9) на вектор е, подставим (11), учитывая разложение

в/вх = 1 + /ах + О (в2 ) , (13)

разделим результаты на е и произведем предельный переход при е ^ 0. Тогда, учитывая, что 01е = 0 и ге = 1, для функции Ф1 (х,у,г) получим следующее дифференциальное уравнение:

дФ( х, у, г) ч м

-Ф!^^ = Ф, (х,у,г)Х X Бт (г)(/Хт + /Ута,). (14)

дг т=1

Проинтегрировав уравнение (14) от го до г, учитывая начальное условие (12), получим

Г м г 1

Ф1 (x, у, г) = ехр ] Я Е (Тхт + ]Ута1 ) I ¿т (Т) & [ .

[ т=1 г0 }

Подставляя это выражение в (11) и выполняя замены, обратные к (8), получим

Н(и, V, г) = ц (X, у, г, е)« Б! (х, у, г) =

Г м г Г Г м г Г

= г ехр <| Я Е (]хт + ТУ та ) I ¿т (X) ск [> = г ехр <| N Я Е (Тит + Рт^ ) | Ь'т (X) с1х\ .

[ т=1 г \ [ т=1 г ]

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

Теорема 2. Асимптотическая характеристическая функция второго порядка многомерного случайного процесса {п(г), W(г)} имеет вид:

. м t

H(u, v,t)» exp^ Ж Z (jum + jvmax) J Sm (x)dx + N Z

m=1 tn m=1 2

м ( ш )2 Г t t ^

(j m ) ^JSm (X)dx + K J Sm (X)dX

tt

M ( ^^^ )

+N Z ZÜ-

m=1 2

2 (

Xa2 J Sm (X)dX + Ka1 J Sm (X)dX

Л

V lQ

M

f

+NZ jUmjVn

J

M M

m=1

M M

Xa1 J Sm (x)dx + ка1 J Sm (x)dx

Л

V 1о

+

M M t MM t

+N Z Z jumjul KJSm (x) Sl (x) d x + N Z Z jvmjvl ка2 JSm (x) S (x) d x-

m=1l=1 t m=11=1 t

1фш 1Фш

M M

+N Z Z jumjviка J Sm (x)Si (x)dx

m=1l=1 l Фш

где к = 2§(Л - Я1)е, а2 - второй начальный момент случайной величины с функцией распределения

ед.

Доказательство. Представим функцию Н(и,V,г) в виде:

M

H (u, v, t) = H2 (u, v, t)exp \ NX Z ( JК + jVmar) J Sm (x)dx \

(15)

m=1

получим уравнение относительно функции H2 (u, v, t):

1 Ш2 ( u, v, t)

- +

N dt

= H2 (u, v, t)

Выполним здесь следующие замены:

1

H 2 (u, v, t)

M

N XZ (jUm + jVmar ) Sm (t)

m=1

1 Z ((Vm )- 1) Sm (t) + Q1

m=1V '

e = —, u = ex, v = ey, H2 (u,v,t) = F2(x,y,t,e) .

С использованием этих обозначений уравнение (16) перепишется в виде:

9 dF2 (x, y, t, в) , ,M g2 2 ( , ) + F2 (x, y, t, b)XZ (jBXm + jByma, ) Sm (t ) =

dt m=1

(16)

(17)

= F2 ( x, y, t, в)

А1 Z Sm (t)( jmG* (вут )-1) + Q1

m=1 '

(18)

Найдем асимптотическое, при в^ 0, решение этой задачи, т.е. f2 (x,y,t) = limf2 (x,y,t,в).

в^О

Этап 1. Выполним предельный переход при в^ 0 в (18), получим:

f2 (x, y,t, в)^ = о.

о

Представим Е ( х, у, г) в виде:

Е ( х, у,г ) = гФ2 ( х, у, I), (19)

где Ф 2 (х, у, г) - некоторая скалярная дифференцируемая функция, удовлетворяющая условию Ф 2 ( ^ у,г0 ) =1.

Этап 2. Решение уравнения (18) запишем в виде разложения:

Е (х, у, г, в) = Ф2 (х, у, г)|г + g м (/ВХт + /вУтах ) Бт (г)|+ О (в2 ) , (20)

где g - некоторая вектор-строка. Подставим разложение (20) в (18), используя разложение (13), получим матричное уравнение для вектора g:

^ = г (XI - Л).

Этап 3. Домножим (18) на вектор е, используя (20) и разложение

в/вх = 1 + /вх +

( //вх )2

+ О (в3 ) ■

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

в результате несложных преобразований получаем

-Ф 2 (х, у, г)

дг

= Ф2 (х, у, г)

X ^К (г) + < (г))-

т=1 2 '

м

+ 1 7

т=1 2

(/Ут)-(Ха2Бт (г) + ка^т (г)) + X /хт]ут (Ха^ (г) + ха^ (г))

2 т=1

мм мм мм

+ Х X /хт/х1 кБт (г)$ (г)+Х X /Ут/У1 Ка_2Бт (г)$ (г)+ X X /х/(г)(г)

т=1/=1 т=1/=1 т=11=1

¡Ф т I Фт ¡Фт

где к = 2g (Л1 -Х1)е.

Решение этого уравнения с учетом начального условия, имеет вид:

м

Ф2 (х, у, г) = ехр \ X

( /хт )

2 (

+м /А

т=1 2

т=1 2

2( г

г

г

\

V го

X/Бт (т)йт + к| Бт (т)йт

го у

г ^

Ха2 I Бт (Т)йТ + Ка1 I Бт (Т)йХ

V го

(

м г

+ X /хт]Ут

т=1

л

V 'о

мм

Ха1 I Бт (Т)йТ + Ка1 I Бт (Т)йТ +11 /хт/х1 К1 Бт (Т)(Т)йТ +

т=11=1 гп

I Фт

мм * мм г

+ X X /УтУКа 1 I Бт (Т) Б1 (Т) йт+X X /хт]У1Ка 1 I Бт (Т) Б1 (Т)йт

т=11=1 г т=11=1

¡Фт I Фт

г

подставляя его в (19), получаем

м

( /хт )

2 (

Е ( х, у, г, в) = г ехр Х| Бт (т) й т + к| Б2т (т) йт

т

I т=1 2

м

( ]Ут )

2 (

+ X

т=1 2

Ха2 I Бт (т)йт + Ка1 I ^ (т)й 1

V г о

2

м ( г

+ Е ]Хт]Ут

т=1

Л

V г0

мм

Яа11 ¿т (т)<т + ка11 ¿т (т)<т + Е Е /Хт/Х1 к| ¿т (т)¿т (т)<X +

г„ т=1/=1 г„

I Фт

мм * мм I

+ Е Е ]Ут]Уг Ка1 I ¿т (Х) ¿т (Х) < Х+Е Е РтЫ ка1 I ¿т (Х) ¿т (Х) <Х

т=1/=1 £0 т=1/=1

1ф т I Фт

Выполним замены, обратные к (17) и (15), запишем приближенное равенство для характеристической функции Н(и, V, г):

Н (и, V, г)« ехр ^ЯЕ (Тит + м )| ¿т (т) <т + N ЕТт^ Я| ¿т (т) <т + к| Б2т (т) <

т=1

м

( /ит )

2 Г

м ( IV ) +N Е /т1

т=1 2

2

Яа2 I ¿т (т)<т + Ка11 ¿т (т)<т

Л

V '0

т=1

м

+ N Е j'UmJVm

т=1

Яа11 ¿т (т)<т + ка1 ^¿т (т)<

V *0

+

мм г мм ^

+N Е Е /4/к| ¿т (т)¿1 (т)<т + N Е Е Ка2 1т (т)(т)<т +

т=1/=1 г т=11=1 г I Фт I Фт

м м

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

+ Е Е /итр1 ка1 I ¿т (т)¿1 (т)<т

т=11 =1

I Фт

Следствие. Асимптотическое стационарное распределение вероятностей 2М-мерного процесса чисел занятых приборов и суммарных объемов занятых ресурсов на фазах системы ММРР/(01/да)м является 2М-мерным гауссовским распределением с параметрами:

вектор математических ожиданий У = ЛХ^ У2 ... У^], где у =[1 а]/(Бг*_1(т)-Б*(т))<т,

0

ковариационная матрица w = N(яw(1) + кW(2)) ,где

. 0

К

(1)_

W« =

1 а

а\ а

к(1) 0

0 к'

(1)

0 0 ... К

(1)

w

(2) _

К1 К12 к(2) к(2)

К 21 К 2

к

К

(2) 1Ь

(2) 2Ь

К(2) К(2) К£1 К Ь2

К «

да( Б*, (т)-Б* (т)) < т, К (2)

1 а1

да( Б*- (т)- Б* (т))2 < т,

к (2) = к /

1 а1

а1 а1

да( б*_ ! (т)-Б* (т))( Б* _, (т)-Б* (т)) < т.

Заключение

В работе построена математическая модель процесса изменения чисел занятых приборов и суммарных объемов занятых ресурсов на фазах бесконечнолинейной многофазной ресурсной системы массового обслуживания ММРР/(01/да)м. С помощью метода асимптотического анализа при условии растущей интенсивности входящего потока доказано, что асимптотическое распределение вероятностей чисел занятых приборов и суммарных объемов занятых ресурсов на фазах системы является многомерным гауссовским.

г

0

литература

1. Тихоненко О.М. Моделирование процессов и систем обработки информации : курс лекций. Минск: Белорус. гос. ун-т, 2008.

148 с.

2. Вихрова О.Г., Сопин Э.С. Анализ показателей качества сети LTE с помощью систем массового обслуживания с ограничен-

ным ресурсом и случайными требованиями // Современные информационные технологии и ИТ-образование. 2015. Т. 2, № 11. С. 185-191.

3. Morozov E.V., Potakhina L.V. Speed-up estimation of a system with random volume customers // Распределенные компьютерные

и телекоммуникационные сети: управление, вычисление, связь (DCCN-2016) : материалы 19-й междунар. науч. конф. М. : Моск. ун-т дружбы народов, 2016. C. 334-336.

4. Наумов В.А., Саймулов К.Е., Самуйлов А.К. О суммарном объеме ресурсов, занимаемых обслуживаемыми заявками // Ав-

томатика и телемеханика. 2016. № 8. С. 125-135.

5. Sengupta B. The Spatial Requirement of M/G/1 Queue or: How to Design for Buffer Space Modeling and Performance Evaluation

Methodology // Lect. Notes Contr. Inf. Sci. / F. Baccelli, G. Fayolle, eds. Berlin, 1984. V. 60. P. 547-562.

6. Тихоненко О.М. Распределение суммарного объема сообщений в системах массового обслуживания с групповым поступ-

лением // Автоматика и телемеханика. 1987. № 11. С. 111-120.

7. Тихоненко О.М. Распределение суммарного объема сообщений в однолинейной системе массового обслуживания с груп-

повым поступлением // Автоматика и телемеханика. 1985. № 11. С. 78-83.

8. Моисеев А.Н., Назаров А.А. Бесконечнолинейные системы и сети массового обслуживания. Томск : Изд-во НТЛ, 2015. 240 с.

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

2006. 112 с.

10. Лисовская Е.Ю., Моисеева С.П. Асимптотический анализ системы MMPP|GI|œ с обслуживанием требований случайного объема // Труды Томского государственного университета. Сер. физико-математическая. Т. 299: Математическое и программное обеспечение информационных, технических и экономических систем : материалы IV Междунар. молодежной науч. конф. Томск, 20-21 мая 2016 г. Томск : Издательский Дом ТГУ, 2016. С. 99-104.

11. Лисовская Е.Ю., Моисеева С.П. Исследование бесконечнолинейной системы массового обслуживания требований случайного объема с входящим MMPP-потоком // Информационные технологии и математическое моделирование (ИТММ-2016) : материалы XV Междунар. конф. им. А.Ф. Терпугова. Катунь, 12-16 сентября 2016 г. Томск : Изд-во Том. ун-та, 2016. Ч. 1. С. 77-82.

12. Лисовская Е.Ю., Моисеева С.П. Суммарный объем заявок в бесконечнолинейной системе массового обслуживания с рекуррентным входящим потоком // Распределенные компьютерные и телекоммуникационные сети: управление, вычисление, связь (DCCN-2016) : материалы Девятнадцатой междунар. науч. конф., 21-25 ноября 2016 г. М. : РУДН, 2016. С. 313-325.

Поступила в редакцию 29 декабря 2017 г.

Galileyskaya A.A., Lisovskaya E.Yu. (2018) ASYMPTOTIC ANALYSIS OF RESOURCE INFINITE-SERVER QUEUEING TANDEM WITH MMPP ARRIVALS. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie vychislitelnaja tehnika i informatika [Tomsk State University Journal of Control and Computer Science]. 45. pp. 13-21

DOI: 10.17223/19988605/45/2

In this work, the MMPP/(GI/»)M queueing system with unlimited number of servers and with unlimited amount of resource is studied. The arrival process is a MMPP. Service times on each server on mth phase are i.i.d. with distribution function Bm(x) (m = 1M). All customers form request for a random resource v with distribution function G(y) = P {v < y} on each phase. After the service end on Mth phase the customer leaves system and sets free the occupied resource.

Consider 2M-dimensional stochastic process {i(V), v(t)} = {/!(t),...,(t),V(t),■ ■ -VM(0} , where im(t) and Vm(t) denote the numbers

of customers and the total resources at the mth phase in the system at time t, respectively.

We proposed the dynamic screening method for its investigation. Note that this method exactly determines the characteristics of the process V(t) since the screened process contains only those customers, which do not finish the service at the moment T.

The system of Kolmogorov differential equations is derived. By using the partial characteristic function, we obtained the main equation:

dH(u, v,t) , ч -= H (u, v,t )

dt V '

AZSm(t)[eJUmG (vm)-l) + Q

m=1

with the initial condition

H(u, v, to ) = r .

To solve this equation, the method of asymptotic analysis is proposed under the condition of an infinitely growing arrival rate. We proved that in steady state regime the characteristic function of the customers numbers and the total resources at the system phases corresponds to a 2M-dimensional Gaussian distribution with parameters:

■ expectations vector Y = m[Yj Y2 ... YL], where Yi =[l o1]J(5*_1(т)-£*(т))dx ,

- covariance

matrix W = N (aW1j + kW*2 j j , where

w

K « =

(1).

k1

(1)

0 K

(1)

0 0 ... K^

W

<2).

K(2) K(2) K1 K12

K2) T^(2)

Г(2) 1^(2)

1 «

да , ,

J(Bw (т)- B, (t))dx , k(2):

K 2) K1L K 2) K2i

к £>

1 a

^ a2

J (В-1 (t)- B, (T)) dт ,

k( 2) =

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

1 «1

j (b—t)-b,* (t))(bj —)- b]{t))dt .

Keywords: queueing tandem; random resource; method of asymptotic analysis; Gaussian approximation.

GALILEYSKAYA Anastasiya Alexandrovna (National Research Tomsk State University, Tomsk, Russian Federation). E-mail: lusta.nastya@mail.ru

LISOVSKAYA Ekaterina Yurievna (National Research Tomsk State University, Tomsk, Russian Federation). E-mail: ekaterina_lisovs@mail.ru

REFERENCES

1. Tikhonenko, O.M. (2008) Modelirovanie protsessov i sistem obrabotki informatsii [Modelling of processes and information processing systems]. Minsk: BSU.

2. Vikhrova, O.G. & Sopin, E.S. (2015) Analiz pokazateley kachestva seti LTE s pomoshch'yu sistem massovogo obsluzhivaniya s ogranichennym resursom i sluchaynymi trebovaniyami [Analysis of LTE network quality indicators with the help of queuing systems with limited resource and random requirements]. Sovremennye informatsionnye tekhnologii i IT-obrazovanie - Modern Information Technologies and IT-Education. 11. pp. 185-191.

3. Morozov, E.V. & Potakhina, L.V. (2016) Speed-up estimation of a system with random volume customers. Raspredelennye komp'yuternye i telekommunikatsionnye seti: upravlenie, vychislenie, svyaz' (DCCN-2016) [Distributed computer and communication networks: control, computation, communications (DCCN-2016)]. Proc. of the 19th International Conference. Moscow, 2016. pp. 547-562.

4. Naumov, V.A., Samuilov, K.E. & Samuilov, E.K. (2016) On the total amount of resources occupied by serviced customers. Automation and Remote Control. 77(8). pp. 125-135. DOI: 10.1134/S0005117916080087

5. Sengupta, B. (1984) The Spatial Requirement of M/G/1 Queue or: How to Design for Buffer Space Modeling and Performance Evaluation Methodology. In: Baccelli, F. & Fayolle, G. (eds) Lecture Notes in Control and Information Sciences. Vol. 60. Berlin: Springer. pp. 547-562.

6. Tikhonenko, O.M. (1987) Raspredelenie summarnogo ob"yema soobshcheniy v sistemakh massovogo obsluzhivaniya s gruppovym postupleniem [Distribution of the total volume of messages in a queuing system with batch arrival]. Avtomatika i telemekhanika -Automation and Remote Control. no. 11. pp. 111-120.

7. Tikhonenko, O.M. (1985) Raspredeleniye summarnogo ob"yema soobshcheniy v odnolineynoy sisteme massovogo obsluzhivaniya s gruppovym postupleniem [Distribution of the total volume of messages in a single-server queuing system with batch arrival]. Avtomatika i telemekhanika -Automation and Remote Control. 11. pp. 78-83.

8. Moiseev, A.N. & Nazarov, A.A. (2015) Beskonechnolineynye sistemy i seti massovogo obsluzhivaniya [Queuing systems and networks with infinite number of servers]. Tomsk: NTL.

9. Nazarov, A.A. & Moiseeva, S.P. (2006)Metod asimptoticheskogo analiza v teorii massovogo obsluzhivaniya [Method of asymptotic analysis in queuing theory]. Tomsk: NTL.

10. Lisovskaya, E.Yu. & Moiseeva, S.P. (2016) [Asymptotic analysis MMPP|GI|<» queue with random customers capacity]. Matematicheskoe i programmnoe obespechenie informatsionnykh, tekhnicheskikh i ekonomicheskikh sistem [Mathematical and software information, technical and economic systems]. Proc. of the 4th International Youth Conference. Tomsk, May 20-21, 2016. Tomsk: Tomsk State University. pp. 99-104. (In Russian).

11. Lisovskaya, E.Yu. & Moiseeva, S.P. (2016) [Study of infinite-server queue with random customers capacity with the MMPP arrives]. Informatsionnye tekhnologii i matematicheskoe modelirovanie (ITMM-2016) [Information technology and mathematical modeling (ITMM 2016)]. Proc. of the 15th International Conference named after A.F. Terpugov. Vol. 1. Tomsk: Tomsk State University. pp. 77-82. (In Russian).

12. Lisovskaya, E.Yu. & Moiseeva, S.P. (2016) [The total volume of customers in the infinite-server queuing system with renewal input process]. Raspredelennye komp'yuternye i telekommunikatsionnye seti: upravlenie, vychislenie, svyaz' (DCCN-2016) [Distributed computer and communication networks: control, computation, communications (DCCN-2016)]. Proc. of the 19th International Conference. Moscow: PFUR. pp. 313-325. (In Russian).

i Надоели баннеры? Вы всегда можете отключить рекламу.