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

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

CC BY
326
112
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
СИСТЕМА МАССОВОГО ОБСЛУЖИВАНИЯ / QUEUING SYSTEM / РАСПРЕДЕЛЕНИЕ ФАЗОВОГО ТИПА / PHASE TYPE DISTRIBUTION / СТАЦИОНАРНОЕ РАСПРЕДЕЛЕНИЕ / STATIONARY PROBABILITIES / ПЕРЕУПОРЯДОЧИВАНИЕ ЗАЯВОК / RESEQUENCE CUSTOMERS

Аннотация научной статьи по математике, автор научной работы — Данник Евгения Сергеевна, Матюшенко Сергей Иванович

Рассматривается двухканальная система массового обслуживания ограниченной ёмкости, на которую поступает несколько пуассоновских потоков заявок разного типа. Предполагается, что длительности обслуживания заявок случайны и имеют распределение фазового типа, зависящее как от типа заявки, так и от прибора, на котором производится обслуживание. На выходе из системы располагается буфер, в котором происходит переупорядочивание заявок в соответствии с порядком их поступления. Функционирование системы описывается однородным марковским процессом. В предположении, что интенсивности потоков и обслуживания заявок положительны и конечны финальные вероятности состояний марковского процесса существуют, строго положительны, не зависят от начального распределения и совпадают со стационарными вероятностями. Для поиска этих вероятностей выводится система уравнений равновесия. Далее устанавливается возможность сведения полученных уравнений к аналогичным уравнениям для системы массового обслуживания с переупорядочиванием заявок с одним пуассоновским потоком суммарной интенсивности и последующим определением типа заявки непосредственно перед поступлением на обслуживание. Последнее обстоятельство позволило использовать для расчёта стационарного распределения длины очереди результаты предыдущих работ авторов. В итоге был разработан рекуррентный матричный алгоритм для расчёта вероятностей состояний рассматриваемой системы в условиях стационарного режима работы.

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

Похожие темы научных работ по математике , автор научной работы — Данник Евгения Сергеевна, Матюшенко Сергей Иванович

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

Analysis of Two-Channel Multi-Flow Queuing System with Resequence Customers and Distributions of Phase Type

The two-channel finite-capacity queuing system with several Poisson flows of customers of different types is considered. The service time is distributed according to phase-type which depends on the type of customers and the device of which it is served. On leaving the system there is a buffer in which there is a resequence of customers according to order of their receipt. Functioning of the system is described by uniform Markov process. In the assumption that intensity of flows and service of customers are positive and finite the final probabilities of statuses of Markov process exist, are strictly positive, don’t depend on initial distribution and match the stationary probabilities. For search of these probabilities the equilibrium system of equations is removed. Then possibility of convergence of the received equations to the similar equations for queuing system with resequence of customers with one Poisson flow of summary intensity and the subsequent determination of the type of customers just before arrival on service is set. The last circumstance allowed using results of the previous operations of authors for calculation of stationary distribution of queue length. As a result the recurrent matrix algorithm was developed for calculation of probabilities of statuses of considered system in the conditions of a stationary operation mode.

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

УДК 519.21

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

Е. С. Данник, С. И. Матюшенко

Кафедра теории вероятностей и математической статистики Российский университет дружбы народов ул. Миклухо-Маклая, д. 6, Москва, Россия, 117198

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

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

Ключевые слова: система массового обслуживания, распределение фазового типа, стационарное распределение, переупорядочивание заявок.

1. Описание системы

Рассматривается двухканальная система массового обслуживания (СМО) с общим накопителем ёмкости г, г < то на которую поступает s независимых пуассоновских потоков с интенсивностями Ai, I = 1, s. Предполагается, что длительность обслуживания заявок различных типов на приборе j являются независимыми в совокупности с.в. с ФР фазового типа (t),

В](i) = 1 - Д]тeM''t1, t > 0, $ТГ=1,

с неприводимым РД-представлением , М]) порядка т], I = 1, s, j = 1,2 [1].

Будем считать, что заявка, поступающая в свободную СМО, направляется на первый прибор, а при наличии очереди действует дисциплина FCFS.

Предположим, что всем заявкам независимо от типа при поступлении в систему присваивается порядковый номер. Будем требовать сохранения порядка между заявками на выходе из СМО, установленного при входе в неё. Заявки, завершившие обслуживание и нарушившие установленный порядок, будут накапливаться на выходе системы в буфере переупорядочивания (БП) (рис. 1).

В соответствии с обозначениями Кендалла будем кодировать рассматриваемую СМО как Ms/PHs/2/r/res, где res — сокращение от "resequence" — переупорядочивание.

Статья поступила в редакцию 19 декабря 2013 г.

л8

л;

г 2 1

(¡¡¡[,М[), 1 = 1, в

буфер переупорядочивания

(¡¡2,М2), / = 1,8

Рис. 1. Двухканальная СМО конечной ёмкости с в пуассоновскими потоками и буфером переупорядочивания

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

Введём понятие упорядоченности системы. Будем считать, что СМО М8/РН8/2/г/ге8 находится в упорядоченном состоянии (упорядочена), если на приборах 1 и 2 обслуживаются заявки с номерами N1 и N2 и N1 < N2. В противном случае, т.е. при N1 > N2, система неупорядочена.

С учётом принятого выше понятия упорядоченности функционирование рассматриваемой СМО описывается марковским процессом (МП) X(¿), Ь ^ 0, над пространством состояний

те 2 г+2

х = {0} + £ £££х1Т ,

п=0 ¿=1 к= 1 1к

где ___

¡1 = (к,..., 1к), 1а = 1,8, а = 1,к,

хТ[= {(¡Т, ji,i,n), ^ = 1,т-^, г = 1, 2, п > 0;

,г,п = {(#, К, 32,г,п), 31 = 1,т\1, п = 1,т22} , 1 = 1, 2, к = 2,7+2, п > 0.

Здесь для некоторого момента времени X(¿) = (0), если в момент Ь система пуста; X(¿) = (¡¡[,п), если в системе имеется единственная заявка типа I;, обслуживаемая на приборе %, и при этом процесс обслуживания находится на фазе ji, а в БП системы содержится п заявок произвольных типов;

X(£) = (¡Г,31,32,г,п), если в системе имеется к заявок, при этом в очереди ожидают в порядке их прибытия заявки с номерами потоков ..., 1к, на и-м приборе обслуживается заявка типа и обслуживание происходит на фазе , V = 1,2, индекс п имеет прежний смысл, а индекс % характеризует состояние упорядоченности системы: система упорядочена, если = 1 и неупорядочена, если = 2.

Обозначим через д = к—2 длину очереди, а через д\ — число ¿-заявок в очереди, <?1 +-----+ д8 = д, и положим ¡¡Г = (д;,..., д8).

Далее, определим следующие макросостояния системы:

(¡¡Г, Ь, 12,]1,]2,г,п) — состояние, означающее, что в очереди имеется д заявок, причём число I-заявок равно д1, I = 1, 8, на и-ом приборе обслуживается заявка типа , V = 1, 2, а индексы ]1, j2, i и п имеют прежний смысл;

( к, 1 , 2, 1 , 2, , п) — состояние, означающее, что в очереди имеется к заявок, к = 2,г + 2, а индексы ¿1, ¿2, 31, 32, я, п имеют прежний смысл;

( к, ¿1,12,,г,п) — состояние, отличающееся от предыдущего тем, что в нём учитывается номер фазы обслуживания на приборе 3-й, V = 1, 2.

Кроме того, введём макросостояния системы, не учитывающие состояние БП:

(Ii, ji, 1, ji,i,n), h = 1,s, ji = 1,m\1, i = 1, 2;

n=0

ж

(lk, Зъ h, ■i)={J(ll, ju 32 ,г,n), la = 1,s, а = 1,k, ji = 1,т\%, i = 1,2;

n=0

ж

(f, lu ^ ju j 2, г)={J(qT, lu h, ju j2,i,n), qi = 0,q, q = 0,r,

n=0

Ii = 1,s, ji = 1,mli, г = 1, 2;

(к, h, I2, ji,32, г) = |J(k, h, I2, ji, j2,i,n), к = 2,r + 2,

n=0

Ii = 1,s, ji = 1,mlj, i = 1, 2;

(k, Ii, I2, ju, г ) = [J( k, h, I2, ju ,i,n), к = 2,r + 2,

n=0

ju = 1,ml1y, v = 1, 2, Ii = 1,s, г = 1, 2.

В предположении, что интенсивности потоков и обслуживания заявок положительны и конечны, финальные вероятности

p(x) = lim Р{X(t) = х}, х е X, t—

существуют, строго положительны, не зависят от начального распределения и совпадают со стационарными вероятностями [2].

Стационарные вероятности рассмотренных выше макросостояний системы обозначим соответственно через p(qT, li, l2, ji, j2,i,n), p(k, li, l2, ji, j2,i,n), p(qT, ji, i), P(qT, 3i, h, i), p(qT, lu I2, ju h, i), p(k, I2, ji, 32, i). Кроме того, введём векторы:

n)

pT (l i,i,n) = (p(l i, 1,i,n),..., p(l i,m-1 ,i,n));

PT (pT ,i,n) = (p(pT, 1, P(pT, 1,m22 ,г,n),..., P(pT ,mi ,m22 ,i,n));

pT (qT, Ii, h,i,n) = (p(qT, Ii, I2,1,1,i,n),... ,p(qT, h, I2,1,m2 ,i,n),...,

p(qT, h, h,m\i ,m2 ,i,n));,

pt(k,h, 12,i,n) = (p(k, h, l2,1,1,i,n),..., p(k, h, l2, 1,ml2 ,i,n),...,

p( k, l\, l2,ml-l, m1^ ,i, n));

pt (lT, i) = {p( 11,1, i),..., p(l i,mli1, i));

pt (IT, i) = {p^, 1,1, i),..., p(qT, 1,m2, i),..., ptfT, ml1, ml2, i));

pt (qT ,h, I2, i) = (p(qT ,h, I2, 1,1, г),..., p(qT ,h, k, 1,m2, i),...,

p(qT ,h, h,m[i ,m&, i));

pt (k,h, 12, i) = (p( k,h, h, 1,1, i),..., p( k,h, h, 1,m22, i),..., p(k,h, h,m[1 ,m22, i)).

Далее, положим ¡I1- = — Мр, 1 = 1, в, ] = 1, 2, М= М11 Ф М122, Л = Л1 + ...Л8, а через 1к,а обозначим вектор, получаемый из вектора 1к отбрасыванием координат к,..., Iа-1, т. е. ¡Т а = (1а,..., 1к).

Здесь и в дальнейшем и ® V — кронекерово произведение матриц и и V, а и Ф V = и <8> I + I ®V — кронекерова сумма матриц и и V.

Стационарные вероятности р(х), х £ X, являются единственным решением следующей системы уравнений равновесия (СУР):

0 = — Лр(0) + £ рТ(¡Г, 1)Д11 + £ рт(¡Г, 2)Д22; ¿1=1 ¿1=1

0Т = рт(¡Т, г, п)(—л Ф М1С) + и(1 — п)

и(2 — г)(р(0)Л11р11Т+ + £ рт(¡¡Т, 2)(1 ® ¡22)) + и(г — 1) £ рт(¡¡Т, 1)(р 1 ® I)

11=1

11=1

+ и( п)

1(2 — г) £ ¡¡Т(¡Т, 1,п — 1)(/ ® ¡22)+

+ и(г — 1) £ ¡¡Т(¡Т, 2,п — 1)(Дг11 ® I)

12 = 1

11=1

1г = 1, в, г = 1, 2, п > 0;

0Т = ¡Т(¡Т, г, п)(—Л Ф М1112) + и(к — 2)рт(¡¡Т-1,г, п)(Л1к ®1® Г)+

+ и(3 — к)

+

+ и(1 — п)

+ и(п)

и(2 — г)рт(¡Т, 1, п)(Л12 ®1® ¡22Т)+

+ и(г — 1)рт(к, 2,п)(Л11 ®/3111Т ® I)

в

и(2 — ъ) £рт((11,1,1Тк), 2)(1 ® ¡а2!3122Т)+ 1=1 «

+ и(1 — г) £¡¡т((I, к, к,1Т,к), 1)(Дг1^1Т ® I)

1=1

в

(2 — г) £¡т((11,1,IТк), 1,п — 1)(1 ® Д2Д22Т)+

1=1 3

+ и(1 — г) £¡т((I, к, к,1Т,к), 2, п — 1)(Д1^1Т ® I)

+

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

=1

0Т = ¡т(¡Т+2,г,п)М1112 + '(1Т+1,г,п)(Л1Г+2 ®1® I),

1а = 1,в, а = 1,к, к = 2, г + 1, 1 = 1, 2, п > 0;

гЫ2 I £Т (]Г

1а = 1, в, а = 1,г + 2, 1 = 1, 2, п > 0,

с условием нормировки

г+2

р(0) + £ £ £^(¡Т,ьп)1 = 1.

к=1 11,..., 1к = 1 г=1 п^0

(1)

+

(2)

(3)

(4)

(5)

Поясним вывод уравнений равновесия. Предварительно условимся для любых фиксированных к = 1,в и к = 1,в обозначать через ( М112 диагональную

и

матрицу с диагональными элементами, равными соответствующим элементам матрицы М1112, а через (М1112 — матрицу М1112, в которой все диагональные элементы заменены нулями. Кроме этого, положим

оо

хт? ■ = хт? ■ , к = 1, г + 2, % = 1, 2.

I? ,г,- I? ,г,п' ' ' '

п=0

Рассмотрим уравнения (3) для к = 3,г + 1. Их вывод проиллюстрируем диаграммой переходов МП X(¿) за между множествами х^? ¿п, к = 3,г + 1, 1 = 1, 2, п ^ 0, множества х (рис. 2). Поясним сначала вывод уравнения (3) для

к = 3, г + 1 в случае, когда г = 1, п = 0. В подмножество хр? 1 0 за Д£ можно по-

к ' '

пасть из подмножества х^? х о за счёт поступления 1к-заявки с интенсивностью \1к. Кроме того, в подмножество х^г ^ можно попасть за Д£ из подмножеств Х(1г 11? ) 2 •, ..., 8 т? ) 2 • путём окончания обслуживания заявки на втором

приборе, так как при этом неупорядоченная система перейдёт в упорядоченное состояние, расположение заявок в системе станет характеризоваться вектором 1к, а БП системы опустошится. Интенсивность обслуживания ¿-заявки на втором приборе характеризуется вектором Д2, I = 1, ^ При этом дополнительно нужно иметь в виду, что освободившийся второй прибор займёт 1-заявка и, следовательно, начальная фаза обслуживания будет выбираться в соответствии с начальным вектором . И, наконец, имеется возможность за ДЬ не выйти за пределы множества хт? 1 о. Это может осуществиться двумя способами. В первом случае за Д£

не закончится прохождение текущих фаз обслуживания и не поступит в систему новая заявка. Эту возможность отражают интенсивности, равные элементам главной диагонали матрицы (—А) ®М1112, взятые с противоположным знаком. Во втором случае за Д могут произойти изменения фаз текущих процессов обслуживания. Эту ситуацию отражают интенсивности, равные элементам матрицы М1112, не расположенным на главной диагонали.

При выводе уравнений (3) для к = 3, г + 1 в случае, когда г = 1, п > 0, учитывается, что переход в множество хт? , может произойти из множеств

1к,1,п

хп тт \ 1 1, ..., хп тт \ 1 1 за счёт обслуживания заявки на втором при-

('Ь 1,12,к)'1,п 1 "1, в> 12,к)'1,п 1

боре, так как при этом система, по-прежнему, останется упорядоченной, расположение заявок в системе станет характеризоваться вектором 1к, а обслуженная

заявка поступает в БП системы. Все остальные переходы в множество хт? , ,

1к ^,п

п > 0, аналогичны соответствующим переходам в множество хт? 1 о, поэтому их

к ' '

пояснения опускаем.

При выводе уравнений (3) для к = 3, г + 1 ип ^ 0 в случае, когда г = 2, учитывается, что после окончания обслуживания заявки на первом приборе упорядоченная система переходит в неупорядоченное состояние и БП опустошается, а после окончания обслуживания заявки на втором приборе неупорядоченная система остаётся неупорядоченной и обслуженная заявка поступает в БП. Поэтому переход в подмножество х^т 2 0 возможен из подмножеств х^1 ¡2 т? ) 1 •, ...,

х, , , т? \ 1 за счёт окончания обслуживания заявки на первом приборе, а переде , 12,11,1з,к)<1,•

ход в подмножество х^у 2п, п > 0, возможен из подмножеств х^ ^ ) 2 п_ 1, ..., х, , , т? ^ о 1 за счёт окончания обслуживания заявки на втором при-

(5,12,Ь1,к),2,п 1

боре. В первом случае интенсивность обслуживания ¿-заявки характеризуется вектором Д1, I = 1, з, а выбор начальной фазы обслуживания следующей заявки — вектором . Во втором случае интенсивность обслуживания -заявки

(I ®

1 Ш*Т

2, к>

-® п а2 /з}т )Аг

(.мА1 ),10^ I + [(-А) ф (м)ёд]Аг (А1к ®1® 1)Аг

Х(%-1),1,0

а)

Х(1г ,1,И^к),1,п-1 . . .Х(11,з,1^к),1,п-1

(I ® п82)А1

(I ® )

(.м)%Аг 0*(ГТ),1,пJ I + [(-А)ф(м)Лд]Аг (Агк ®1® Г)Аг Х(%-г),1,п

б)

Х(1,12М,Т[к),1г ... Х(з,12,11,1%к),1,

(ПА^ ®

Ш[1Т ® 1)АЪ

(мы*)1 Аг ),2,0^ I + [(-А) ф ( мы*)ЛдА

(А1к ®1® 1)АЬ

Х(%- г),2,0

Х(1,12,Ь,Т[к),2,п-1 . . . Х(з,12,Ь,Р[к),2,п-1

№А1Т ®

(м ^)%, Аг

(ПА11Т ® 1)А1

ОТ),2,п^ I + [(-А) ф ( мЬ1 *)Лд]А1

(Агк ®1® Г)АЪ

Х0Т- г),2,п

Рис. 2. Диаграмма переходов МП X(£) между множествами х^г

к = 3,г + 1, г = 1, 2, п > 0

характеризуется вектором ¡112, I = 1, 8, а выбор начальной фазы обслуживания следующей заявки — вектором в12. Все остальные переходы в множества хрг „

2 I ^ , 2, П

аналогичны соответствующим переходам в множества хр 1 п, к = 3,г + 1, п ^ 0.

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

3. Анализ уравнений равновесия

Покажем, что решение СУР (1)-(5) можно выразить через решение СУР меньшей размерности. Введём предварительно ряд обозначений:

ci = Xi/X, l = l,s,mj = т) + ...т* , ¡3j = (схЩ Т,..., с8Щт), Mj = diag{MJ1 ,...,M?}, jj,j = -Mjl, j = 1, 2, M = M ф Ms .

Кроме того, введём векторы Ро = (р(0));

Plin = (рТ(1,ьп),...,рт(s,i,n)), п > 0, i = 1, 2; р?г = (рт (1, i),...,рт ( s, i)), i = 1, 2;

Pkin = {р(к, 1,1,1,1,i,n),... ,р(к, 1,1,1,m\,i, п),р(к, 1, 2,1,1,г,п),..., р(к, 1, 2,1,m^,i, п),...,р(к, 1, s, 1,ms2,i, п),р(к, 1, 2,1,1,i,n),..., р(к, 2,s, 1,т'2,г,п),...,р(к,8,8,т{ ,т^,г,п)), к = 2, г + 2, г = 1, 2, п > 0; Fki = (р(к, 1,1,1,1, г),..., р(к,8,8,т\ ,ms2)), к = 2, г + 2, г = 1, 2,

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

Теорема 1. Стационарное распределение вероятностей

рГ, 1,1,г,п),... ,р(1[,т1-1 ,т12 ,г,п), 1а = 1,s, а = 1,к, к = 2,г + 2,

г = 1, 2, п > 0)

определяется следующими соотношениями:

к

рТ (ll, i, п) = рт (к,к, к,г,п)\\ с1а ,

(6)

а=3

а координаты вектора р(к, к, 12,г,п) являются решением СУР для СМО М/РН/2/т/тез с пуассоновским потоком интенсивности X и функцией распределения длительности обслуживания В^ (¿) на приборе ] фазового типа с неприводимым РН-представлением (^,М)) порядка mj, ] = 1, 2.

Доказательство. Подставляя равенства (6) в уравнения (3) и (4) и производя несложные алгебраические преобразования, получим следующие равенства:

0Т = рТ (к, к, к,г, п)(-X ф М1112) + и(к - 2)рт (к - 1,к, к,г,п)(Х ®1® Г)+ + и(3 - к) \и(2 - ъ)рт(Iь 1, п)(Х ®1® с12р122Т)+

+

+ и(г - 1)рТ(12, 2, п) ■ (X ® аА^ ® I) в

+ и(1 - п) [и(2 - г) ^рт(к + 1, ь ,1, 2) ■ (I ® с2¡112р2Т)+ 1=1

5

+ и(г - 1) ^рт(к + 1,I,12,1)(ск® I)

1=1

5

+ и(п) [и^ - 1) ^рт(к + 1,I,12, 2, п - 1)(скрА^ ® 1)+ 1=1 8

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

+ и(2 - 1) ^рт(к + 1,11,1,1, п - 1)(1 ® С12 А12Р22Т)

=1

+

(7)

к = 2,г + 1, к = 1,8, г = 1, 2, п > 0;

0т = рт(г + 2,1и 12,1, п)Мк 12 + рт(г + 1,11, 12,1, п)(Х ®1® I),

_ (8)

и = 1,8, г = 1, 2, п > 0.

С учётом введённых выше обозначений уравнения (1), (2) и равенства (7), (8) можно записать в следующем виде:

0 = -ХРо + Р\Ф 1 + Р\2р'2 ; (9)

= Рип(-X Ф Мг) + и(1 - п)и(2 - г)р1 (X ® )+

+ и(1 - п) [и(2 - 1)р12(1 ® ¡12) + и(г - 1)р21(р1 ® /)] + + и(п)[и(2 - г)р21,п-1(1 ® $2) + и(г - 1)Рж,п-Лр1 ® Л], г = 1, 2, п > 0; (10)

0Т = р!гп(-Х ФМ) + и(к - 2)р1-1,т(Х ®1® 1)+

+ и(3 - к) [и(2 - г)р[1(Х ®1®р%) + и(г - 1)р^2п(Х ® ® /)] + + и(1 - п) [и(2 - г)$+1,2(1 ® ¡1,2^) + и(г - 1)р[+1,1(Й1р1 ® I)] +

1

+ и(п) [и(2 - г)Рк+1,1,п+1(! ® Д2$) + и(г - 1)р1+1,2,п-1(Р 1р1 ® Л] ,

к = 2, г + 1, г = 1, 2, п > 0; (11)

07 = рг+2,гпМ + рг+1,гп(Х ®1® I) , 1 = 1, 2, п > 0 . (12)

Сравнивая полученные соотношения с уравнениями (3)—(7) из работы [3], приходим к выводу о том, что уравнения (9)-(12) представляют собой СУР для СМО М/РН/2/г/гея с параметром потока, равным X и распределением длительности обслуживания на приборе ] с РН-представлением ), ] = 1, 2. Причём

неприводимость этих представлений очевидным образом вытекает из определения , Мj, и неприводимости РН-представлений (¡^ ,М1^), I = 1, 8, ] = 1, 2. Так как полученная система с учётом условия нормировки имеет единственное решение, то соотношения (6) единственным образом определяют распределение исходной СМО. Таким образом, теорема доказана. □

Заметим, что система М/РН/2/г¡гея является частным случаем системы РН(к)/РН/2/г/гея, рассмотренной в [3]. Поэтому для расчёта стационарных вероятностей состояний этой системы, не учитывающих содержимое БП, можно

воспользоваться результатами [3], предварительно полагая Лк = (-X), к = 0,г + 2, р = (1).

Далее, суммируя соотношения (6) при фиксированных 1^, % по п, п ^ 0, мы очевидным образом получаем

к

рТ(рк , I)= рТ(к, 11, 12, i) П ^ . (13)

а=3

Таким образом, на основании результатов работы [3] и формулы (13) можно утверждать, что нами решена задача об определении вероятностей состояний исходной СМО, не учитывающих содержимое БП.

Теперь заметим, что из теоремы 1 вытекает несколько очевидных следствий.

Следствие 1. Стационарные вероятности состояний р,]1,]2,г,п) зависят лишь от состава и длины очереди и не зависят от расположения заявок в ней.

В силу последнего утверждения можно также заметить, что имеет место следствие 2.

Следствие 2. Состояния, отличающиеся только порядком расположения заявок в очереди и входящие в состав макросостояния (с]Т, к, 12,]1,]2,1,п), равновероятны.

Величина С1 = Х[/Х, 1 = 1, в, в формуле (6) есть условная вероятность того, что при наличии очереди на любом её фиксированном месте находится ¿-заявка. Очевидно, что вероятность С1 не зависит от видов обслуживаемых заявок, фаз обслуживания, длины очереди, расположения в ней заявок и значения и равна вероятности нахождения в очереди -заявки при условии, что некоторая заявка поступила и принята в систему.

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

Сформулируем ещё одно следствие из теоремы 1.

Следствие 3. Стационарные вероятности р(рг, к, 12,]2,1, п) определяются соотношениями

РТ(qT, к, l2,i,n)= рт(q + 2, h, l2,i,n)——^-fcf.....cf

П1 !.....П '

С1!.....Сэ! 1 6 (14)

С = 0,д, с = 0,г, 1 = 1,8, к = 1,8, г = 1, 2,п > 0.

Доказательство формулы (14) получается из формулы (6), следствия 2 и того факта, что число равновероятных состояний, входящих в состав макросостояния (рГ, к, 12,31,32,г,п) равно с\/( .....с8\).

Заметим, что из (13) очевидным образом вытекает справедливость утверждений, аналогичных следствиям 1-3 для макросостояний рассматриваемой СМО, не учитывающих содержимое БП.

Литература

1. Бочаров П. П., Печинкин А. В. Теория массового обслуживания. — М.: РУДН, 1995. — 529 с. [Bocharov P. P., Pechinkin A. V. Queuing Theory. — Moscow: PFUR, 1995. — 529 p. — (in russian). ]

2. Башарин Г. П., Бочаров П. П., Коган Я. А. Анализ очередей в вычислительных сетях. Теория и методы расчёта. — М.: Наука, 1989. [Basharin G.P., Bocharov P.P., Kogan Ya.A. Analysis of Queues in Computer Networks. Theory and Methods of Calculation. — Moscow: Nauka, 1989. — (in russian). ]

3. Матюшенко С. И. Анализ двухканальной системы массового обслуживания ограниченной ёмкости с буфером переупорядочивания и с распределениями фазового типа // Вестник РУДН. Серия «Математика. Информатика. Физика». — 2010. — № 4. — С. 83-87. [Matushenko S.I. Analysis of Two-Channel System of Service of Limited Capacity with Buffer of Reordering and with Distributions of Phase Type // Bulletin of Peoples' Friendship University of Russia. Series "Mathematics. Information Sciences. Physics". — 2010. — No 4. — P. 83-87. — (in russian). ]

UDC 519.21

Analysis of Two-Channel Multi-Flow Queuing System with Resequence Customers and Distributions of Phase Type

E. S. Dannik, S.I. Matyushenko

Department of Probability Theory and Mathematical Statistics Peoples' Friendship University of Russia 6, Miklukho-Maklaya str., Moscow, Russia, 117198

The two-channel finite-capacity queuing system with several Poisson flows of customers of different types is considered. The service time is distributed according to phase-type which depends on the type of customers and the device of which it is served. On leaving the system there is a buffer in which there is a resequence of customers according to order of their receipt.

Functioning of the system is described by uniform Markov process. In the assumption that intensity of flows and service of customers are positive and finite the final probabilities of statuses of Markov process exist, are strictly positive, don't depend on initial distribution and match the stationary probabilities. For search of these probabilities the equilibrium system of equations is removed. Then possibility of convergence of the received equations to the similar equations for queuing system with resequence of customers with one Poisson flow of summary intensity and the subsequent determination of the type of customers just before arrival on service is set. The last circumstance allowed using results of the previous operations of authors for calculation of stationary distribution of queue length. As a result the recurrent matrix algorithm was developed for calculation of probabilities of statuses of considered system in the conditions of a stationary operation mode.

Key words and phrases: queuing system, phase type distribution, stationary probabilities, resequence customers.

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