CC BY
13
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2019 Управление, вычислительная техника и информатика № 46
УДК 519.872.1
DOI: 10.17223/19988605/46/8
В.А. Наумов, К.Е. Самуйлов
УСЛОВИЯ МУЛЬТИПЛИКАТИВНОСТИ СТАЦИОНАРНОГО РАСПРЕДЕЛЕНИЯ ВЕРОЯТНОСТЕЙ МАРКОВСКИХ РЕСУРСНЫХ СИСТЕМ МАССОВОГО ОБСЛУЖИВАНИЯ С ПОТЕРЯМИ
Исследование выполнено при финансовой поддержке Министерства образования и науки Российской Федерации
(проект № 2.882.2017/4.6).
Рассматриваются марковские ресурсные системы массового обслуживания с потерями. Получены необходимые и достаточные условия мультипликативности стационарного распределения состояния системы и объемов занятых заявками ресурсов.
Ключевые слова: ресурсные системы массового обслуживания; марковский процесс; мультипликативность стационарного распределения; марковский поступающий поток.
В классических системах массового обслуживания (СМО) приборы и места ожидания играют роль ресурсов, необходимых для обслуживания заявок. В ресурсных СМО (РСМО) кроме приборов и мест ожидания заявкам могут потребоваться некоторые дополнительные ресурсы. Это может быть некоторый случайный объем ресурса, занимаемый на время ожидания начала обслуживания, либо на время обслуживания, либо на все время пребывания заявки в системе. Объемы доступных заявкам ресурсов обычно ограничены, и в РСМО с потерями поступившая заявка теряется, если у системы недостаточно свободных ресурсов. Такая модель хорошо подходит для анализа различных технических систем, и к настоящему времени опубликовано большое количество работ, анализирующих РСМО (см. обзоры [1, 2]). В подавляющем большинстве опубликованных случаев стационарное распределение процесса, описывающего состояние системы и объемы занятых заявками ресурсов, обладает свойством мультипликативности. Возникает естественный вопрос выяснения условий, при которых мультипликативность стационарного распределения имеет место.
В настоящей работе рассматривается марковская модель РСМО с потерями, являющаяся частным случаем общей модели [3], и анализируются условия мультипликативности стационарного распределения описывающего ее случайного процесса. В следующем разделе описывается поведение общей РСМО с потерями. В разделе 2 рассматривается марковская модель СМО с неограниченными ресурсами, а в разделе 3 - марковская модель СМО с ограниченными ресурсами. В разделе 4 получены условия мультипликативности стационарного распределения состояния системы и занятых заявками ресурсов. В качестве примера в разделе 5 исследуется стационарное распределение РСМО MAP/M/L/0 c марковским поступающим потоком и экспоненциально распределенной длительностью обслуживания.
Жирные строчные буквы обозначают векторы, а жирные прописные буквы - матрицы. Запись х < у означает, что хт < ут для всех т, и х >- у означает, что по крайней мере для одной компоненты т выполняется строгое неравенство хт > ут . Для вектора, каждая т-я компонента которого является минимумом из чисел хт и ут. принято обозначение х л у. К+ обозначает множество неотрицательных действительных чисел.
1. Описание ресурсной СМО
Рассмотрим СМО, которую можно описать некоторым случайным процессом X(г) c пространством состояний X , траектории которого непрерывны справа и имеют пределы слева. Будем считать,
что процесс X(t) достаточно детально описывает систему и для любого ее состояния i е X всегда можно определить число заявок, находящихся в системе, которое обозначим 9(i) . Емкость СМО обозначим L, так что число заявок в системе никогда не превосходит L. Предположим также, что система открыта, т.е. в нее поступают и из нее уходят заявки, причем поодиночке, а не группами. Обозначим 0 < < а2 <... моменты поступления заявок и 0 < dj < d2 <... моменты ухода заявок из системы.
Пусть система располагает ограниченным объемом неделимых ресурсов М типов. Обозначим через рт общий объем ресурса типа т , р = (pj,p2,..,,рм), и через rn={rnl,rn2,...,rnM) - вектор объемов ресурсов, необходимых п -й заявке. Все находящиеся в системе заявки перенумерованы. Если система примет поступившую в момент ап заявку, то ей будет присвоен некоторый номер фп из интервала 1 < фп < k +1, где k = 0(X(ап -0)) - число заявок в системе. Номера заявок, имевших до этого номера фп, фп +1,..., k, будут увеличены на единицу. В момент dn ухода заявки из системы ее покинет заявка с некоторым номером уп из интервала 1 < у n < k , k = 0(X(dn - 0)), и номера заявок, имевших до этого номера уп +1, уп + 2,..., k, будут уменьшены на единицу. Например, при дисциплине обслуживания First In First Out номера поступивших и обслуженных заявок определяются равенствами ф„ = 0(X(ап - 0)) +1 и уп = 1, а для дисциплины обслуживания Last In First Out имеем Ф„ =еш«„ -0))+i и \\rn =Q(x(dn -0)).
Информация о ресурсах, занятых в момент t, хранится в виде списка s(/) = (s, (/),s2(/),.. .,s/( (/)) длины к = 0(Х(/)) из векторов s, (t) е Rj' объемов ресурсов, занимаемых заявкой с номером i. При этом будем писать: s(t) = 0, если 0(X(t)) = 0 . Список занятых ресурсов может изменяться только при поступлении и уходе заявок. Пусть перед поступлением некоторой заявки список занятых ресурсов имел вид: s(an —0) = (x1,x2,...,xi) . Если k<L и гп +хх +х2 ч-... + x^ <г , то заявка принимается, ей присваивается некоторый номер фп и в список вставляется вектор ресурсов, выделенных этой заявке: s(ап) = (х, ,гп,\(р . ,,\к). В противном случае заявка теряется и список занятых ресурсов оста-
ется неизменным. Если перед уходом заявки c номером уп список занятых ресурсов имел вид s(dn - 0) = (xj, х2,..., хк ), то после ее ухода из списка удаляется вектор занимаемых ею ресурсов, и он становится таким: s(dn) = . ,,хк).
Моменты поступления заявок ап и моменты их ухода dn зависят от различных случайных внешних и внутренних факторов, определяющих динамику изменения состояний СМО. Мы будем считать, что описывающий систему процесс является марковским, а моменты поступлений и ухода заявок образуют марковские потоки вызовов [4]. Используемые здесь принципы построения марковских моделей СМО восходят к монографии [5]. Для того чтобы сформулировать условия мультипликативности стационарного распределения процесса, описывающего РСМО, мы рассмотрим сначала систему, объемы ресурсов которой неограничены и нехватка которых не может оказать влияния на поведение системы.
2. Случай неограниченных ресурсов
Рассмотрим систему с неограниченным объемом ресурсов. Предположим, что описывающий систему процесс X(t) является однородным марковским процессом c конечным числом состояний. Разобьем множество его состояний X на непересекающиеся подмножества ^ = {i е X, | 0(i) = k}, k = 0,1,...,L, и обозначим 1к число элементов подмножества Xk. Поскольку заявки поступают в систему и уходят из нее поодиночке, возможны переходы процесса X(t) только между состояниями, либо принадлежащими какому-то одному подмножеству состояний X , либо принадлежащими соседним
подмножествам. Переход из Хк в Хк+1 происходит в момент поступления заявки, а переход из Хк в - в момент ухода заявки из системы. Это означает, что матрица интенсивностей переходов Q процесса Х(г) является блочной трехдиагональной:
Q =
Б,
0
A0 Q
Б
L—Y
cr
(1)
Блоки этой матрицы А = \а(г, У)], г е X, У е Х+1, имеют размер 1к х 1к+1 и образованы интен-сивностями изменений состояний системы при поступлении заявок, блоки Вк = \Ь(г, у)], г е X, у е , размера ¡к х образованы интенсивностями изменений состояний системы в моменты ухода заявок, внедиагональные элементы блоков Ск = \с(г, у)], г,у' е Хк, размера 1к х 1к образованы ин-
тенсивностями изменений состояний системы, не связанными с поступлением или уходом заявок, а диагональные элементы матриц Ск даются равенствами с(г, г) = ~(а(г) + Ь(г) + с(г)), г е Хк, где
' Е Ь(г, у), к > 0,
, с(г) = Е с(г, у). (2)
a (i) =
X a(i, j), k < L, jeXk+1 , ¿(i) = 0, к = L,
jeXk-i
j
0, к = 0,
Заметим, что интенсивности переходов a(i, j) и ¿(i, j) можно выразить через переходные вероятности
a(i,j) = a(i)a(i,j), 9(j) = 9(i) +1, b(i,j) = b(/)P(/J), 9(j) = 9(i)-1, (3)
где a(i, j) - вероятность того, что при поступлении заявки система перейдет из состояния i в состояние j, а p(i, j) - вероятность того, что при уходе заявки система перейдет из состояния i в состояние j.
Будем считать, что все состояния процесса X(t) сообщаются. Тогда матрица Q неразложима, и стационарное распределение q = (q0,...,qL) процесса X(t) является единственным решением системы линейных уравнений
q0C0 + qiBi = ° qk-iAk-i + qkCk + qk+iBk+i = 0 1 ^ k ^ L -1 Ql-IaL-i + qzC = 0 (4)
удовлетворяющим нормировочному условию
X qkuk =1.
(5)
k=0
Здесь qk = (д(г)),г е Хк, - векторы-строки стационарных вероятностей процесса X(г), а ик - векторы-столбцы длины из единиц.
Кроме изменений состояний, описанных в этом разделе, состояния РСМО с ограниченными ресурсами могут также изменяться при потере заявки из-за нехватки ресурсов. При этом система остается в том же подмножестве состояний Х , в котором она была перед поступлением потерянной заявки. В следующем разделе мы рассмотрим такие системы более подробно.
3. Марковская модель ресурсной СМО
Рассмотрим теперь РСМО с ограниченными ресурсами. Обозначим через {(х1,...,хЛ;) | -яъ...,-як х, + ... + \к <р} множество списков ресурсов, занятых к заявками, и че-
рез ^ = {(*', х)| г еХ, х е Б^^ } - пространство состояний процесса У (г) = (X(г), э(г)). Предположим, что векторы запросов ресурсов ги, п = 1,2,... независимы в совокупности и одинаково распределены с функцией распределения F(x), процесс У (г) является однородным марковским процессом, и рассмотрим переходные вероятности этого процесса:
P0fi(t,i,j) = PWO = ./МО = 01 Х(0) = i, s(0) = 0}, iJeXо;
PO;„(i,/J,w) = P{X(O=i,s(O<w|X(O) = Z>(O) = 0}, ieXo, wgS„, 1 <n<L;
Pkß(t,iJ,y) = V{X(t) = j,s(t)=0\X(O) = i,m = y}, ieSCt, j^Xv, v eSk, 1 <k<L;
PKn (t,i,j, v,w) = P{X(0 = j, s(t) < w I X(0) = i, s(0) = y} , j g X, j g Xn, у g 5 ,, w g 5 „, 1 < к, n < L.
Процесс Y(t) является скачкообразным марковским процессом [6]. Поскольку переходы процесса X(t) возможны только либо внутри какого-то одного подмножества состояний X, либо между соседним подмножествами, только следующие интенсивности переходов процесса Y(t) отличны от нуля:
Yö (i, j) =lim 1 (P00 (8 hj) — 8i, j), i, j e X); (6)
8—>0 8
Yi (i»Л v>w) =lim-tögt (£> г'> Л v>w) - - v)), h j G X, V,w g 5*, 1 < fc < L; (7)
s—>0 8
Mz',y',w) = lm-Poa(e,/J,w), g X , j g , w e ; (8)
s—»0 8
^jt(l'»y'»v,w) = lim-PtJt+1(e,i,y,v,w)5 zeit;, ve5t, we5M, 1<£<L; (9)
e^O 8
= i'g^, 7'GX, vg5j; (10)
£^0 8
Mi (г, У, v, w) = lim—(s, г, у, v, w), i e^, ye^-i» we5h, \<k<L, (11)
e 8
где 5г j = l, если i = j, и 8,-j = 0, если i Ф j , i/(x) = 1, если 0 < x, и H(x) = 0, если 0 >- x.
Обозначим через аф (i, j) интенсивность переходов процесса X(t) из i e X в j e X, 9( j) = 9(i) +1, при которых поступившая заявка получает номер ф , и через bу (i, j) - интенсивность переходов из i в j, 9( j) = 9(i) — 1, сопровождающихся уходом из системы заявок c номером у . Эти интенсивности связаны с интенсивностями поступлений заявок a(i, j) и интенсивностями ухода заявок b(i, j) в матрице (1) следующими равенствами:
9( j) 9(i)
a(i, j) = E аф (i, j), b(i,j) = E bv (i,j)-
ф=1 у=1
Кроме того, обозначим через y('> j) условную вероятность того, что в момент поступления заявки система перейдет из состояния i в состояние j при условии, что поступившая заявка потеряна из-за нехватки ресурсов, и введем матрицы Пк = [я(/, j)], i, j e X, размера lk x lk, 0 < k < L, где nfa j) = a(i)Y(i, j) .
Систему уравнений равновесия для стационарного распределение вероятностей процесса Y(t) можно записать в следующем виде:
E P(i)Yö(i, j) + E P(i,p)Mi(i, j) = 0, j e X; (12)
геЯ) i eX,
Z Z JP(i,dv)yl(i,j,v,w) + 2 JP(i,<iv)Mi(i,j,v,w) = 0 , JeXl, weS,; (13)
E J P(i,dv)Xk—i1i,j,^^^^ + E J P(i,^^^^(i,j,v,w) E J P(i,dv)^kj,^^^^ = 0, (14)
ieXk-l Sk—, ieXk St ieXk+l St+,
/Ц, у/ eSk, 1 <k<L; X J /'(',(/,./, v,w) + z J /'(',(/,./, v,w)=0. j e X, w G 5£, (15)
где интенсивности переходов процесса Y (t) задаются следующими формулами:
Y0 ^ jj)=c(i, jj)+n(i, j)(1—^(р)) . i, je Л0;
к
ук (лу, V, w) - ны - у)(с(/,у) + К(1, /)(1 - ЯР - I V,,))). у е X, . V. лу е 5 , . О < к < Ц
И=1
у^(г,у,V,\у) = -у)с(г,;'), е5х ; (г,у,\у) = а,
¿+1 £ ^ф-1 V ¿+1 ^
^(/,у,V,w) = 2 йф(/, у)^ЧрЛ(р-2 V,,))I п- V«) п н(wи -у„-1)
ф=1 И=1 V И=1
У П=ф+1
0<к<Ь ; [^.l(i,j,\)=bl(i,j) , ¡е^, у'еХо, Уе^; а: л|/-1 V ¿-1 ^
ч,=1 \"=1 ди=ч> у
4. Мультипликативность стационарного распределения
Нас будут интересовать условия, при которых стационарное совместное распределение состояния марковской РСМО и объемов, занимаемых заявками ресурсов
Р(0 = 1шРЩ0 = 1}, ге^, Р(г» = ИтР{Х(0 = г,8(0<У}, г е^, V е 5к, 0 < £< Ь, (16)
обладает свойством мультипликативности:
Р(1) = сЧ(1), /64 Р(/,(у1,...,у/,)) = ^(/Жу1)---^), (17)
Здесь д(г), / е X, - стационарные вероятности состояний системы с неограниченными ресурсами, являющиеся решением системы уравнений (7)-(9), с - нормировочная константа,
с"1 = Чо^ + £ ЧкЩР* (Р), (18)
к=1
F*к (х) есть ^-кратная свертка функции распределения ^(х) . Если стационарное распределение вероятностей процесса У (?) обладает свойством мультипликативности (17), то его можно легко найти, зная лишь стационарное распределение #(г), г е X, процесса Х(?) и функцию распределения объемов требуемых заявкам ресурсов F(x) . В следующей теореме даются условия мультипликативности стационарного распределения процесса У(?).
Теорема. Для того чтобы стационарное совместное распределение состояний марковской РСМО и объемов занимаемых заявками ресурсов (16) имело вид (17), необходимо и достаточно, чтобы выполнялось хотя бы одно из условий ^(р) = 1 или П0 = и, кроме того, чтобы для всех к = 1,2,..., Ь -1 выполнялись либо равенства
к
I ^(р-2> 1))Р(сЬ1)...Р(сЬк) = Р(ъ1)-Р(ък), (19)
0<У,<■№,., 1=1
1=1,...,к
либ° равенство Чк Пк = Чк+1 вк+1.
Доказательство. Введем матрицы Лкф = [а (г,у)], г е Хк, у е Хк+1; ф = 1,2,...,к +1, и
В^ = [Ьу(г,у)], г е Хк, у е Хк-1, у = 1,2,...,к, а также векторы-строки стационарных вероятностей Р0 = (Р(0), г е Х0, рк (V) = (Р(г, V)), г е Хк, V е ¿к, 0 < к < Ь, и запишем систему уравнений равновесия (12)-( 15) в матричном виде:
роСо + (1 - ^(р)роПо + Р1 (р)В1 = 0 ; (20)
^ (w)pо Ло + Рl(w)Cl + | (1 - ^ (р - v))Pl(¿v)Пl + (21)
0< v<w
+ I Р2^,Р - v)B2,2 + I Р2(Р - V,й^)В2,1 = 0 , w е ¿1;
0<v<w 0<v<w
к
2 Я™ф)рк_1 (\ух ,..., ту^ , ту^,..., у/к )Ак_1;ф + рк (\ух,..., у/к )Ск + (22)
ф=1
+ \ (1 - /-'(р - V, -... - V',, ))рк (сЫ},..., сЫк )ПА.
0<У, 1=1,...,к
к+1 к + 1 I р^^,...,^.!, р-2>г, с1\^,...,с1\к)Вк+1^ =0, <к<Ь;
0<уг<\¥г, 1=1 1=1,...,к
Ь
2 > • • '№ф-1''• • •'+ Р/, > • • ^=0, (23)
ф=1
Подставив вероятности (17) в равенства (20)-(23) и воспользовавшись уравнениями (4), исключим из полученных выражений векторы . В результате после некоторых элементарных преобразований получим, что для мультипликативности стационарного распределения процесса У(г) необходимо и достаточно выполнение равенств
(1 - Р(р))^оПо - ^ВО = 0,
к
| = 1 <к<Ь,
0<уг<\¥г, 1=1
1=1,...,к
которые эквивалентны условиям теоремы. Что и требовалось доказать.
Следствие. Для того чтобы стационарное совместное распределение состояний марковской РСМО и объемов занимаемых заявками ресурсов имело вид (17), при любой функции распределения Р(х) требуемых заявкам ресурсов необходимо и достаточно выполнение равенств
ЯкП = Як+1 Вк+1, к = 0,1>...,£ -1. (24)
Нетрудно проверить, что любая функция распределения Р(х), для которой Р(-1 р) = 1, удовлетворяет условиям теоремы. В этом случае любым Ь заявкам достаточно имеющихся ресурсов, и система фактически функционирует как РСМО с неограниченными ресурсами. Отметим также, что мультипликативные стационарные распределения не зависят от нумерации поступающих и уходящих заявок определяющей интенсивности аф (г, у) и Ьу (г, у), а зависят лишь от суммарных интенсивностей
а(г, у) и Ь(г,у) поступления и ухода заявок.
5. Пример - ресурсная система МАР/М/Ь/0
Известно, что стационарное распределение РСМО без мест ожидания М/М/Ь/0 с пуассоновским входящим потоком и экспоненциально распределенной длительностью обслуживания мультипликативно при любой совместной функции распределения объемов требуемых множественных ресурсов [7]. Результаты настоящей работы позволяют ответить на вопрос, а не обладает ли таким же свойством стационарное распределение РСМО МАР/М/Ь/0 с марковским поступающим потоком (МАР) [4].
Обозначим через N (г) = 8ир{п | аи —г} число заявок поступивших к системе за время г. Поступающий поток называется марковским, если для некоторого случайного процесса ^(г) с конечным пространством состояний ^ процесс N(t)) является однородным марковским процессом, однородным по второй компоненте [8]. В этом случае для всех г,у е п > к и к,г > 0 мы имеем Р£(к + г) = ], Щ(к + г) = п | ^(к) = г, N(к) = к} = Р у(п - к, г) , и процесс ), называемый фазовым процессом поступающего потока, также является однородным марковским процессом с переходными ве-
00
роятностями 1) (0 = + 0 = у | Цк) = /'} = 2 р1 (п,0.
п=0
Для простого марковского поступающего потока, сокращенно называемого МС-потоком, вероятность поступления в интервале длины в более одной заявки составляет о(в). МС-поток характеризуется двумя матрицами: 8 = ], г,] е ^, и И = [^ у ], г, ] е ^, сумма которых А = 8 + Я является
матрицей интенсивностей переходов фазового процесса ^(t), а элементы которых определяются равенствами [9]
st J = lim1 (Pi j(0,8) — б.,.), r j = lim1 pt (1,8),i, j e J . (25)
8—0 8 'J 8—0 8
Будем считать, что матрица A неразложима, и обозначим через p вектор стационарного распределения состояний процесса ^(t).
Матрица интенсивностей переходов процесса, описывающего систему MAP/M/L/0 с поступающим МС-потоком, имеет вид (1) с блоками Ak = R, k = 0,1,...,L -1; Bk = кц1, k = 1,2,...,L ;
Ск = S — k^I, k = 0,1,..., L -1; Сь = A - L^I, где I - единичная матрица, ц - интенсивность обслуживания [10]. В момент потери заявки из-за нехватки ресурсов фазовый процесс меняет состояние в соответствии с матрицей интенсивностей переходов R, но число заявок в системе при этом не меняется. Поэтому для матриц Пк, описывающих изменение состояний системы в момент потери заявки из-за нехватки ресурсов, справедливы равенства Пк = R для всех k = 0,1,...,L — 1, и условие мультипликативности (24) приобретает следующий вид:
qkR = (k + 1)ц%-+1, k = 0,1,...,L — 1. Отсюда из равенств (7)-(9) вытекает, что условия (24) равносильны равенствам qkA = 0, k = 0,1,...,L . Поскольку матрица A неразложима, решения этих уравнений имеют вид: qk = ckp, где ck - некоторые константы. Однако такой вид стационарного распределения состояний СМО с оступа-ющим простым марковским потоком возможен лишь в случае, когда поступающий поток является пуассоновским [9].
Таким образом стационарное распределение РСМО MAP/M/L/0 c поступающим простым марковским потоком обладает свойством мультипликативности лишь в случае, когда поступающий поток является пуассоновским. Поскольку такими потоками можно аппроксимировать любые случайные потоки [11], можно предположить, что это справедливо для произвольных поступающих потоков.
Заключение
В настоящей работе исследуются условия, при которых стационарное совместное распределение состояний марковской РСМО и объемов занимаемых заявками ресурсов мультипликативно. Поскольку понятие марковской СМО довольно широко, мы сначала детально рассматриваем интенсивности переходов случайного процесса, описывающего рассматриваемые здесь РСМО, а затем анализируем условия мультипликативности их стационарных распределений. Наиболее просто проверяются условия, гарантирующие мультипликативность при любых функциях распределения векторов запрашиваемых заявками объемов ресурсов.
ЛИТЕРАТУРА
1. Горбунова А.В., Наумов В.А., Гайдамака Ю.В., Самуйлов К.Е. Ресурсные системы массового обслуживания как модели
беспроводных систем связи // Информатика и ее применения. 2018. Т. 12, вып. 3. С. 48-55.
2. Горбунова А.В., Наумов В.А., Гайдамака Ю.В., Самуйлов К.Е. Ресурсные системы массового обслуживания с
произвольным обслуживанием // Информатика и ее применения. 2019. Т. 13, вып. 1. С. 54-61.
3. Наумов В.А., Самуйлов К.Е. О моделировании систем массового обслуживания с множественными ресурсами // Вестник РУДН. Сер. Математика, информатика, физика. 2014. № 3. С. 60-64.
4. Basharin G., Naumov V., Samouylov K. On Markovian Modelling of Arrival Processes // Statistical Papers. URL: https://doi.org/10.1007/s00362-018-1042-9
5. Башарин Г.П., Харкевич А.Д., Шнепс М.А. Массовое обслуживание в телефонии. М. : Наука, 1968. 246 с.
6. Дынкин Е.Б. Скачкообразные марковские процессы // Теория вероятностей и ее применения. 1958. Т. 3, № 1. С. 41-60.
7. Наумов В.А., Самуйлов К.Е., Самуйлов А.К. О суммарном объеме ресурсов, занимаемых обслуживаемыми заявками //
Автоматика и телемеханика. 2016. № 8. C. 125-135.
8. Ежов И.И., Скороход А.В. Марковские процессы, однородные по второй компоненте // Теория вероятностей и ее
применения. 1969. Т. 14, № 1. С. 3-14; № 4. C. 679-692.
9. Наумов В.А. О независимой работе подсистем сложной системы // Труды 3-й Всесоюзной школы-совещания по теории
массового обслуживания, Пущино-на-Оке, 1974 / ред. В.В. Гнеденко, Ю.И. Громак, Е.В.Чепурин. М. : Моск. гос. ун-т, 1976. Т. 2. C. 169-177.
10. Наумов В.А. Матричный аналог формулы Эрланга // Модели распределения информации и методы их анализа : труды 10-й Всесоюзной школы-семинара по теории телетрафика. М. : ВИНИТИ, 1988. C. 39-43.
11. Asmussen S., Koole G. Marked point processes as limits of Markovian arrival streams // Journal of Applied Probability. 1993. V. 30, is. 2. P. 365-372.
Поступила в редакцию 7 августа 2018 г.
Naumov V.A., Samouylov K.E. (2019) CONDITIONS FOR THE PRODUCT FORM OF THE STATIONARY PROBABILITY DISTRIBUTION OF MARKOVIAN RESOURCE LOSS SYSTEMS. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie vychislitelnaja tehnika i informatika [Tomsk State University Journal of Control and Computer Science]. 46. pp. 64-72
DOI: 10.17223/19988605/46/8
In classical queueing systems, servers and waiting places play the role of resources required for service of customers. In resource queuing systems in addition to servers and waiting places, customers may require some additional resources. This may be some random amount of resource occupied for the duration of the waiting time, service time, or residence time. In this paper, we consider Markovian resource queueing systems in which an arriving customer is lost if the system does not have enough available resources. First, the class of Markovian resource loss systems considered is described. Then, the necessary and sufficient conditions for the product form of the stationary probability distribution of the system state and the volumes of the resources occupied by the customers are derived. As an example, the results obtained are applied to the analysis of the stationary distribution of resource loss system MAP/M/L/0 with a Markovian arrival process and exponentially distributed service times. It is shown that for this system the stationary probability distribution has product form only if the arrival process is Poisson.
Keywords: resource queuing systems; Markov process; product form; stationary probability distribution; Markovian arrival process.
NAUMOV Valeriy Arent'evich (Candidate of Physics and Mathematics, Research Director of the Service Innovation Research Institute, Helsinki, Finland). E-mail: [email protected]
SAMOUYLOVKonstantin Evgen 'evich (Doctor of Technical Sciences, Professor, Director of the Institute of Applied Mathematics & Communications Technology, Russian Peoples Friendship University, Moscow, Russian Federation, and senior scientist of Federal Research Center "Computer Science and Control" (FRC CSC RAS)). E-mail: [email protected]
REFERENCES
1. Gorbunova, A.V., Naumov, V.A., Gaidamaka, Yu.V. & Samouylov, K.E. (2018) Resource queuing systems as models of wireless
communication systems. Informatika i ee primeneniya - Informatics and Applications. 12(3). pp. 48-55. (In Russian).
2. Gorbunova, A.V., Naumov, V.A., Gaidamaka, Yu.V. & Samouylov, K.E. (2019) Resursnye sistemy massovogo obsluzhivaniya s
proizvolnym obsluzhivaniem [Resource queuing systems with random service]. Informatics and Applications. 13(1). pp. 54-61. (In Russian).
3. Naumov, V.A. & Samouylov, K.E. (2014) On the Modeling of Queueing Systems with Multiple Resources. VestnikRUDN. Ser. Matematika, informatika, fizika - RUDN Journal of Mathematics, Information Sciences and Physics. 3. pp. 60-64. (In Russian).
4. Basharin, G., Naumov, V. & Samouylov, K. (2018) On Markovian Modelling of Arrival Processes. Statistical Papers. 59(4).
pp. 1533-1540. DOI: 10.1007/s00362-018-1042-9
5. Basharin, G.P., Kharkevich, A.D. & Shneps, M.A. (1968) Massovoe obsluzhivanie v telefonii [Mass service in telephony].
Moscow: Nauka.
6. Dynkin, E.B. (1958) Discontinuous Markov Processes. Teoriya veroyatnostey i ee primeneniya - Theory of Probability and its
Applications. 3(1). pp. 38-57. (In Russian).
7. Naumov, V.A., Samouylov, K.E. & Samouylov, A.K. (2016) On the total amount of resources occupied by serviced customers.
Automation and Remote Control. 77(8). pp. 1419-1427. DOI: 10.1134/S0005117916080087
8. Ezhov, I.I. & Skorokhod, A.V. (1969) Markovskie protsessy, odnorodnye po vtoroy komponente [Markov processes with homoge-
neous second component]. Teoriya veroyatnostey i ee primeneniya - Theory of Probability and its Applications. 14(1/1). pp. 1-13.
9. Naumov, V.A. (1976) O nezavisimoy rabote podsistem slozhnoy sistemy [On the independent work of subsystems of a complex
system]. In: Gnedenko, B.V., Gromak, Yu. & Chepurin, E.V. (eds) Trudy 3 shkoly-soveschaniya po teorii massovogo obsluzhivaniyay.
B.A. HayMoe, K.E. CaMyüßoe
Puschtschino-na-Oke [Proceedings of the 3rd All-Union School-Meeting on the Theory of Queuing, Pushchino-on-Oka]. Vol. 2. Moscow: Moscow State University. pp. 169-177.
10. Naumov, V.A. (1988) Matrichnyy analog formuly Erlanga [The matrix analogue of the Erlang formula]. In: Modeli raspredeleniya informatsii i metody ikh analiza [Information distribution models and methods for their analysis]. Moscow: VINITI. pp. 39-43 (in Russian).
11. Asmussen, S. & Koole, G. (1993) Marked point processes as limits of Markovian arrival streams. Journal of Applied Probability. 30(2). pp. 365-372. DOI: 10.2307/3214845
