Научная статья на тему 'Пуассоновские потоки в системе с повторным обслуживанием'

Пуассоновские потоки в системе с повторным обслуживанием Текст научной статьи по специальности «Математика»

CC BY
229
36
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
МНОГОКАНАЛЬНАЯ И БЕСКОНЕЧНО КАНАЛЬНАЯ СИСТЕМЫ МАССОВОГО ОБСЛУЖИВАНИЯ / ВИНЕРОВСКИЙ ПРОЦЕСС / ЧИСЛО ЗАНЯТЫХ КАНАЛОВ / SYSTEMS WITH RETRIAL QUEUES / POISSON FLOWS / INDEPENDENCE OF FLOWS

Аннотация научной статьи по математике, автор научной работы — Цициашвили Гурами Шалвович

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

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

Poisson flows in systems with retrial queues

Queuing systems with retrial queues represent large interest in manifold applications of the queuing theory. Especially last years it is connected with infinite server queuing systems and retrial queues. These models may be considered in terms of queuing networks which have a structure of directed tree. An analysis of such networks may be based on the Burke theorem and the graph theory concepts in a definition of independence of random flows. In this paper an attempt to solve this problem in the most general terms is realized. Consider infinite server queuing system with Poisson input flow and exponentially distributed service times. Assume that each customer after a service may be served iteratively. The different protokols of functioning for such system may be realized. For example, a distribution of repeated service time may differ from a distribution of initial service time, a number of repeated service may be different and so on. The most general model of such system is a model of queuing network in which each node has infinite number of servers with exponential distribution of service times. Such network is described by a directed tree D in which any edge is directed from a tree root r (a node which have not incoming edges) to its leaves (nodes which have not outgoing edges). On service finishing a customer may be directed to some nodes where its outcoming edges show. Natural generalization of this model is based on an asumption that service times have hyperexponential distributions (probability mixtures of exponential distributions). This asumption does not change a view of this network in which transitions between nodes are discribed by oriented tree also. From the Burke theorem we have that if the network is in a stationary regime then its outcomig and incoming flows of each node are Poisson. But a problem is on dependent or independent for these flows. This problem is solved as follows. Consider now Poisson point flow Л = {0 < t1 < t2 <...} with the intensity X. Assume that each point of the flow Л independently with a probability л,0< p <1, becomes a point of a flow Л^ and with a probability p2 =1 p1 a point of a flow Л2 It is well known that the flows Л1, Л2 are Poisson flows also with intensities Xpj, Xp2, accordingly. Theorem 1. Flows Л1, Л2 are independent. On a set of the directed tree D (in which each node has a single incoming edge) define a relation of partial order U У U2, if in the tree D there is a way from the node to the node U2 (here U У U ). Contrast each node U of the tree D the nodes sets P(u) = {v: u у v}, Q(u) = {v: vу u}иP(u). Theorem 2. Assume that nodes Щ,..., Ukofthe tree D satisfy the condition that the sets P(u1),.,P(uk) do not intersect.Then for any nodes v1 e P(u1),..., vk e P(uk ) flows Л(^),..., Л(vk ), incoming to the nodes v1;..., vk, appropriately are independent. Obtained results may be spread onto networks with final number of servers in their nodes and to transit from these networks to networks with infinite nimber of servers by analyzing synergetic effects. If input network flow is recurrent then it is possible to use results on asymptotic analysis of numbers of occupied servers in network nodes.

Текст научной работы на тему «Пуассоновские потоки в системе с повторным обслуживанием»

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

2016 Управление, вычислительная техника и информатика № 4 (37)

УДК 519.218.72

DOI: 10.17223/19988605/37/9

Г.Ш. Цициашвили

ПУАССОНОВСКИЕ ПОТОКИ В СИСТЕМЕ С ПОВТОРНЫМ ОБСЛУЖИВАНИЕМ

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

Ключевые слова: многоканальная и бесконечно канальная системы массового обслуживания; винеровский процесс; число занятых каналов.

Системы массового обслуживания с повторным обслуживанием заявок вызывают большой интерес у специалистов по массовому обслуживанию [1, 2]. Особый интерес в последние годы вызывают системы с повторным обслуживанием и бесконечным числом каналов [3, 4]. В этих работах инициируется построение достаточно общих моделей обслуживания в сетях с бесконечным числом каналов в каждом узле. Особенностью таких сетей является их представление в виде ориентированного дерева. При анализе этих сетей с пуассоновским входным потоком появляется необходимость использовать теорему Бурке и применять теоретико-графовые построения для определения независимости отдельных потоков сети. В настоящей работе предпринимается попытка решения подобных вопросов в наиболее общем виде.

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

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

1. Потоки, выходящие из одного узла

Рис. 1. Преобразование системы с однократным повторным обслуживанием в сеть

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

Из известной теоремы Бурке [6] следует, что если сеть функционирует в стационарном режиме, то выходной поток из каждого узла, равно как и входной поток в каждый узел, является пуассоновским. Однако возникает вопрос о зависимости или независимости этих потоков.

Рассмотрим теперь пуассоновский поток точек Л = {0 < ^ < ?2 < • • •} интенсивности X. Предположим, что каждая точка потока Л независимо с вероятностью р^0< р1 <1, становится точкой потока Л1 и с вероятностью р2 =1- р1 - точкой потока Л2 (рис. 2). Известно [5], что потоки Л1, Л2 также являются пуассоновскими с интенсивностями Хр1, Ар2 соответственно.

Рис. 2. Вероятностное раздвоение пуассоновского потока Теорема 1. Потоки Л1; Л2 независимы.

Доказательство. Возьмем произвольный отрезок [t, t + T], t > 0, T > 0, и обозначим n, n1, n2 количество точек потоков Л, Л1, Л2 на этом отрезке. Вычислим вероятность

= *1, П2= *2> = P(n = ! + k2)CÍ++k2 pl1 p22 = ^¡^у4 {\++kkf Pk Г' =

= . e-Tp2 №2/1 = P(nl=kl)- P(H2 = k2).

k1! k2*

Пусть теперь отрезки [t(1),t(1) + T(1)], [t(2),t(2) + T(2)] не пересекаются. Обозначим п(г), n^), n2i)

количество точек потоков Л, Л1, Л2 на отрезке [t(i),t(i) + T(i)], i = 1,2. Докажем независимость

случайных величин n1(1), n22). Для этого, полагая kf = k(1) - k(1), k(2) = k(2) - k22), вычислим вероятность

P (n1(1) = k1(1), n22) = k22) )= Z P (n(1) = k(1), n(2)= k(2) )) pk(1) P2k21) C% pk(2) P2k22) =

\ ' (1) (1) (?) (?) v ' ky ' k '

k(1) >k1(1), k(2) >k22)

/ (1) (1) (2) (2)\ k(1) k(1) k(1) k(2) k(2) k(2) Z P(n(1)= k(1))P(n(2) = k(2))) pk1 p22 C%pk p\2 =

k(1)ski1), k(2)>k(2) V ' k k

1 ' 2

Z -xt(1) (XT(1))k(1) xt(2) (XT(2))k(2) k(1)! pk1(1) pk21) k(2)! pk(2) & =

*)MbJ k(1)! e k(2)! k!(1)! k21)!p p2 k®! k22)!p p2 =

(1) k (1) (2) k (2) (1) k (1) (2) k (2) = e-XT(1)P, (XT(1)A)1 e-XT(2)P2 (XT(2)p2) 2 Z e-XT(1)P2 (XT(1)p2) 2 Z e-XT(2)P, (XT(2)A) 1

k1(1)! k22)! k2D >0 kf! k|2) >0 k(2)!

(1) k(1) (2) k(2) ^e-' P ("!') = kf) )P ( =k?).

= e-XT(1) д

e k(1)! ~ k22)!

Таким образом, пары случайных величин (п(1), п^ ), (п

), (пР)

состоят из

независимых компонент. Следовательно, пуассоновские потоки Л1, Л2 независимы.

Замечание 1. Утверждение теоремы 1 распространяется на случай, когда пуассоновский поток Л делится на I >1 пуассоновских потоков с помощью вероятностного просеивания, при котором каждая

На множестве вершин ориентированного дерева В (в каждую вершину которого входит только одно направленное ребро) определим отношение частичного порядка и1 У и2, если в дереве В

существует путь из вершины их в вершину и2 (здесь и У и ). Сопоставим каждой вершине и дерева В множества вершин Р(и) = (V: и У V}, Q(u) = (V: V У и} и Р(и).

Теорема 2. Предположим, что вершины и^..., ик дерева В таковы, что множества Р(щ),...,Р(ик) не пересекаются. Тогда для любых вершин v1 еР(и1),...,vk е Р(ик) потоки Л(^),..., Л^), входящие в вершины V1,..., Vk, соответственно, независимы.

Доказательство. Из определения дерева В следует, что в нем существует вершина и такая, что непересекающиеся множества Р^),...,Р(ик) содержатся в множестве Р(и). В качестве и можно взять, например, корень дерева. Следовательно, в силу теоремы 1 и замечания 1 потоки, выходящие из вершины и, независимы. Отсюда автоматически следует независимость потоков Л(^),...,).

Всюду далее без ограничения общности будем предполагать, что любая вершина дерева В за исключением листьев имеет отвлетвление (из нее выходит несколько направленных ребер, рис. 3). Построим алгоритм выделения кластеров на множестве вершин дерева В . Пусть в дереве В зафиксирована вершина и1 , не совпадающая с корневой вершиной, и определены соответствующие ей множества Р(иД Q(Ul), = Q(Ul). Если на шаге I > 1 заданы и1, , то возьмем вершину иг+ £ и положим Si+l = и Q(ui). В силу конечности числа вершин в дереве В эта процедура закончится на некотором шаге I > 1 построением вершин и^...,и соответствующих им множеств ¿1,...,Бг.

Теорема 3. Множества вершин Р(и1),.,Р(и{) в дереве В не пересекаются.

Доказательство. Пусть на шаге i <I заданы вершины и^...,и соответствующие им множества ¿1,.,;Р^),...,Р(и1). Тогда на шаге i +1 выполняется соотношение иг+ £ и, значит, множество Р(им) не пересекается с множествами Р^),...,Р(и1). В противном случае существуют

точка потока Л с вероятностью р^ >0 попадает в поток Л, 1 = 1,..., I, ^ р= 1.

1=1

2. Независимость конечного числа потоков сети

Рис. 3. Дерево с ответвлениями

такие k, 1 < k < i, V е Р(ик), что V е Р(им). Следовательно, и+х У V, ик У V, и+х Ф ик и, значит, В не является ориентированным деревом.

Обозначим т число ребер, выходящих из корневой вершины дерева В и попадающих в вершины Vl,..., vm, и положим М число листьев этого дерева. Теорема 4 Справедливо неравенство

т < I <М. (1)

Доказательство. Обозначим У1,...,Ут наборы вершин дерева В, удовлетворяющие соотношениям V1 = ), 1 = 1,.,т. Из определения множеств У1,...,Ут следует, что они не пересекаются, а их объединение совпадает с множеством всех вершин дерева В за исключением корневой вершины. Поэтому для любого 1,1 < ] < т, существует такое /,1 < г < I, что Р(щ) с ).

В противном случае множество не будет совпадать с множеством вершин дерева В, что противоречит определению . Следовательно, справедливо неравенство т < I. По определению

I

объединение иР(и,) непересекающихся в силу теоремы 3 множеств Р(и1),.,Р(и1)содержит все

¿=1

листья ориентированного дерева В . Следовательно, I < М.

Замечание 2. Рекуррентная процедура, когда на каждом шаге выбирается вершина, в которую входит ребро-стрелка из корневой вершины, приводит к равенству т = I. Рекуррентная процедура, в которой на каждом шаге выбирается очередной лист дерева В, приводит к равенству I = М.

Замечание 3. Предположим, что вершины и1,.,ик дерева В таковы, что множества

к

Р(и1),.,Р(ик) не пересекаются и объединение множеств и Q(ui) совпадает с множеством вершин

/=1

дерева В. Тогда описанная выше рекуррентная процедура может быть реализована с использованием этого набора вершин (рис. 4).

Рис. 4. Примеры совокупностей узлов с независимыми потоками Заключение

Теоремы 2-4 справедливы для сетей, представляемых ориентированными деревьями общего вида без требования наличия отвлетвления в каждой вершине. Полученные в работе результаты можно распространить на сети, в каждом узле которых содержится конечное число каналов. От них возможен переход к сетям с бесконечным числом каналов путем выделения синергетических эффектов. В случае непуассоновского входного потока можно использовать результаты работы [7] для асимптотического анализа числа занятых каналов в каждом узле сети.

ЛИТЕРАТУРА

1. Nobel R.D., Tijms H.C. Optimal control for an MX/G/1 queue with two service modes // European Journal of Operational Research.

1999. Elsevier. V. 113(3). P. 610-619.

2. Nobel R.D., Tijms H.C. Waiting-time probabilities in the "M/G/1" retrial queue // Statistica Neerlandica. 2006. Netherlands Society

for Statistics and Operations Research. V. 60 (1). P. 73-78.

3. Жидкова Л.А., Моисеева С.П. Исследование системы параллельного обслуживания кратных заявок простейшего потока //

Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 4 (17). С. 49-54.

4. Жидкова Л. А., Моисеева С. П. Математическая модель потоков покупателей двухпродуктовой торговой компании в виде

системы массового обслуживания с повторными обращениями к блокам // Известия Томского политехнического университета. 2013. T. 322, № 6. С. 5-9.

5. Хинчин А.Я. Работы по математической теории массового обслуживания. М. : Физматлит, 1963.

6. Burke P.J. The output of a queuing system // Operations Research. 1956. V. 4. P. 699-704.

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

Цициашвили Гурами Шалвович, д-р физ.-мат. наук, профессор. E-mail: [email protected] Институт прикладной математики ДВО РАН, Дальневосточный федеральный университет, г. Владивосток

Поступила в редакцию 28 апреля 2016 г.

Tsitsiashvili Gurami Sh. (Institute for Applied Mathematics of Far Eastern Branch of RAS, Far Eastern Federal University. Vladivostok).

Poisson flows in systems with retrial queues.

Keywords: systems with retrial queues; Poisson flows; independence of flows. DOI: 10.17223/19988605/37/9

Queuing systems with retrial queues represent large interest in manifold applications of the queuing theory. Especially last years it is connected with infinite server queuing systems and retrial queues. These models may be considered in terms of queuing networks which have a structure of directed tree. An analysis of such networks may be based on the Burke theorem and the graph theory concepts in a definition of independence of random flows. In this paper an attempt to solve this problem in the most general terms is realized.

Consider infinite server queuing system with Poisson input flow and exponentially distributed service times. Assume that each customer after a service may be served iteratively. The different protokols of functioning for such system may be realized. For example, a distribution of repeated service time may differ from a distribution of initial service time, a number of repeated service may be different and so on.

The most general model of such system is a model of queuing network in which each node has infinite number of servers with exponential distribution of service times. Such network is described by a directed tree D in which any edge is directed from a tree root r (a node which have not incoming edges) to its leaves (nodes which have not outgoing edges). On service finishing a customer may be directed to some nodes where its outcoming edges show. Natural generalization of this model is based on an asumption that service times have hyperexponential distributions (probability mixtures of exponential distributions). This asumption does not change a view of this network in which transitions between nodes are discribed by oriented tree also.

From the Burke theorem we have that if the network is in a stationary regime then its outcomig and incoming flows of each node are Poisson. But a problem is on dependent or independent for these flows. This problem is solved as follows.

Consider now Poisson point flow Л = {0 < t1 < t2 < ...} with the intensity X . Assume that each point of the flow Л independently

with a probability л ,0< p <1, becomes a point of a flow Л! and with a probability p2 =1 - p1 - a point of a flow Л2 It is well known that the flows Л1, Л2 are Poisson flows also with intensities Xpj, Xp2, accordingly. Theorem 1. Flows Л1, Л2 are independent.

On a set of the directed tree D (in which each node has a single incoming edge) define a relation of partial order U У U2, if in the tree D there is a way from the node to the node U2 (here U У U ). Contrast each node U of the tree D the nodes sets

P(u) = {v: u у v}, Q(u) = {v: vу u}иP(u).

Theorem 2. Assume that nodes Щ,..., U^ofthe tree D satisfy the condition that the sets P(u1),. ,,P(uk) do not intersect.Then for any nodes v1 e P(u1),..., vk e P(uk ) flows Л(^),..., Л^ ), incoming to the nodes v1;..., vk, appropriately are independent.

Obtained results may be spread onto networks with final number of servers in their nodes and to transit from these networks to networks with infinite nimber of servers by analyzing synergetic effects. If input network flow is recurrent then it is possible to use results on asymptotic analysis of numbers of occupied servers in network nodes.

REFERENCES

1. Nobel, R.D. & Tijms, H.C. (1999) Optimal control for an MX/G/1 queue with two service modes. European Journal of Operational Research. 113(3). pp. 610-619. DOI: 10.1007/978-81-322-1680-3_6. 814

2. Nobel, R.D. & Tijms, H.C. (2006) Waiting-time probabilities in the "M/G/1" retrial queue. Statistica Neerlandica. Netherlands

Society for Statistics and Operations Research. 60(1). pp. 73-78. DOI: 10.1111/j.1467-9574.2006.00312.x

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

3. Zhidkova, L.A. & Moiseeva, S.P. (2011) Investigation of parallel serving system with simplest flow of fold customers. Vestnik

Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 4(17). pp. 49-54. (In Russian).

4. Zhidkova, L.A. & Moiseeva, S.P. (2013) Mathematical model of customer flows of two product trade company as queuing system

with retrial queues. Izvestiya Tomskogo politekhnicheskogo universiteta - Bulletin of the Tomsk Polytechnic University. 322(6). pp. 5-9. (In Russian).

5. Khinchin, A.Ya. (1963) Raboty po matematicheskoy teorii massovogo obsluzhivaniya [Researchs on mathematical queuing theory].

Moscow: Phyzmatgiz.

6. Burke, P.J. (1956) The output of a queuing system. Operations Research. 4. pp. 699-704. DOI: 10.1287/opre.4.6.699

7. Moiseev, A.N. & Nazarov, A.A. (2015) Beskonechnolineynye sistemy i seti massovogo obsluzhivaniya [Infinite server queuing

systems and networks]. Tomsk. NTL.

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