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

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

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

УДК 519.2

Ю.В. Малинковский, Ю.С. Боярович ИНВАРИАНТНОСТЬ СТАЦИОНАРНОГО РАСПРЕДЕЛЕНИЯ СОСТОЯНИЙ ОТКРЫТОЙ СЕТИ МАССОВОГО ОБСЛУЖИВАНИЯ С ВРЕМЕННО НЕАКТИВНЫМИ ЗАЯВКАМИ

Исследовано стационарное функционирование открытой сети массового обслуживания с временно неактивными заявками. Неактивные заявки находятся в очередях узлов и не обслуживаются. Предусматривается возможность перехода заявки из обычного состояния в неактивное и обратно. Установлена инвариантность стационарного распределения состояний сети по отношению к функциональной форме распределений длительностей обслуживания заявок при фиксированных первых моментах.

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

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

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

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

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

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

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

1. Инвариантность стационарного распределения состояний открытой сети с временно неактивными заявками

Рассматривается открытая сеть массового обслуживания с множеством узлов J = {1,...,N}. Все заявки в сети подразделяются на обыкновенные, которые могут получать обслуживание, и временно неактивные. В узлы сети извне поступают независимые пуассоновские потоки заявок с интенсивностями X, и информационных сигналов с интенсивностями и, и ф,, ieJ. Поступивший в i-й узел с интенсивностью и, информационный сигнал уменьшает количество обыкновенных заявок на единицу и увеличивает на единицу количество неактивных заявок; в случае отсутствия в i-м узле обыкновенных заявок сигнал покидает сеть, ieJ. Поступивший в i-й узел с интенсивностью ф, информационный сигнал уменьшает на единицу количество неактивных заявок, увеличивая на единицу число обыкновенных заявок; в случае отсутствия в i-м узле неактивных заявок сигнал покидает сеть, ieJ. Обслуживания информационные сигналы не требуют. Обслуженная в i-м узле заявка мгновенно с вероятностью pij переходит в j-й узел, а с вероятностью pi,0 по' N \

кидает сеть ^ pt j + pi0 = 1, i, j e J . Не ограничивая общности, договоримся

v j=1 J

считать pij = 0, ieJ.

Состояние сети в момент времени t характеризуется вектором z(t) = ((ni(t), V (t)),..., (nNt), nN(t))), где (ni(t), n,'(t)) - состояние i-го узла в момент времени t, ieJ. Здесь n(t) и n¡'(t) -число обыкновенных и соответственно неактивных заявок в i-м узле в момент времени t, а общее число заявок в i-м узле равно ni(t)+ni'(t), ieJ. z(t) обладает счетным пространством состояний Z = {((n1,n1'),.,(nN,nN'))| n, n/>0, ieJ}.

Нумерация обыкновенных заявок в очереди каждого узла осуществляется от

«хвоста» очереди к прибору, то есть если в i-м узле находится ni обыкновенных

заявок, то заявка, которая обслуживается, имеет номер ni, ie J, а последняя заявка в очереди имеет номер 1. Неактивные заявки в очереди i-го узла нумеруются следующим образом: заявка, последняя ставшая неактивной, имеет номер ni' , ieJ. Поступающий в узел i eJ сигнал и, воздействует на обыкновенную заявку, имеющую номер 1, которая становится неактивной заявкой под номером ni +1. Сигнал ф, воздействует на неактивную заявку, имеющую номер n¡', i eJ, которая становится обыкновенной заявкой под номером 1. Дисциплина обслуживания - LSFS-PR.

Поступающая в узел ieJ заявка начинает сразу обслуживаться и получает номер n+1, а вытесненная заявка сохраняет номер ni и становится первой в очереди на дообслуживание. Предполагается, что в начальный момент времени временно неактивные заявки в сети отсутствуют.

В работе [1] рассмотрен случай, когда времена обслуживания заявок распределены по показательному закону, а дисциплина обслуживания - FIFO. В указанной работе установлено, что при выполнении условий

ег. <цг, i е J ; С1)

U <h Фг, i e J , (2)

процесс z(t) эргодичен, а стационарное распределение вероятностей состояний процесса имеет вид

p((nx, n\),...,(nN, n N)) = Pi(nx, n 1)... pN (nN, n N), (3)

где Рг (ni, n 'г ) = f—'] '] , i e J , (4)

Фг )

- стационарное распределение вероятностей состояний i-го узла, ieJ. (еь ieJ) -единственное положительное решение системы уравнений трафика

=h+XеjPji, i e J. ()

jeJ

Рассмотрим теперь случай, когда длительность обслуживания заявки в i-м узле -случайная величина с произвольной функцией распределения B, (ni + n , xi п +n,,) и

математическим ожиданием —, ieJ. Тогда в общем случае процесс z(t) не явля-

Mi

ется марковским, поэтому рассмотрим кусочно-линейный марковский процесс Z(t) = ( z(t),4(t)), добавляя к z(t) непрерывную компоненту 4(t) = (^(t),...,^/(t)). Здесь '%i (t) = (|i \(t),..., '%i n + n, (t)), где ^,k(t) - время, оставшееся до окончания обслуживания заявки, стоящей в момент времени t на k-й позиции в i-м узле, ieJ. Введем обозначения

F(z, x) = F(z, x1,1,..., x\,n\+n\ ; x2,1,..., x2,n2+n’2 ; XN,1,..., XN,nN + nN ) =

= lim P{z(t) = ^ ^ (t) < ^г^., n, + n, (t) < xi, ni+n, , i e J). (6)

t ^CO i i i i

Функции F(z, x) будем называть стационарными функциями распределения вероятностей состояний кусочно-линейного процесса Z(t) = (z(t),^(t)), поскольку при каждом фиксированном z функция F(z, x) в части непрерывных компонент представляет собой функцию распределения.

Теорема. При выполнении условий (1) и (2) процесс Z(t) эргодичен, а стационарные функции распределения вероятностей состояний F(z, x) определяются по формулам

F (z, x) = pl(nl, n 1)... Pn (nN , n 'n ) X

N ni+n'i xi,s

хПмП+n‘ П I (1 - в, (s, u))du , z e Z, (7)

i=1 s=1 о

п'і

где

Р (п ,п '■)

(8)

здесь єі - единственное положительное решение системы уравнений трафика (5), іеЗ.

Доказательство: Обозначим е- вектор, все координаты которого нулевые, кроме (п, п і ' ) = (1, 0), е і 'є2 - вектор, все координаты которого нулевые, кроме

Рассмотрим процесс ^(0- При выполнении условий (1) и (2) в марковском случае процесс 2(Г) эргодичен, тогда эргодичен при выполнении условий (1) и (2) и процесс £(0, поскольку получается из г(0 добавлением непрерывных компонент.

Строгое доказательство этого факта может быть проведено, если учесть, что процесс £(0 является регенерирующим. Действительно, функционирование сети схематично можно представить как чередование периодов, когда сеть находится в состоянии «0» (в каждом узле сети нет заявок - вектор г(/) является нулевым), и периодов занятости сети (в противном случае). Момент перехода сети в свободное состояние является моментом регенерации. Далее доказательство сводится к применению предельной теоремы Смита для регенерирующих процессов [7].

Изменения состояния кусочно-линейного процесса £(0 за счет поступления заявок или информационных сигналов будем называть спонтанными изменениями.

Пусть И мало. Рассмотрим вероятность события

Это событие может произойти следующими взаимоисключающими способами:

1. С момента ґ за время И не произошло ни одного спонтанного изменения и обслуживание ни в одном узле не закончилось. Вероятность этого равна

Здесь ІА - индикаторная функция множества А.

2. За время И в і-й узел поступила заявка, других спонтанных изменений не произошло, обслуживание ни в одном узле не закончилось, іє J.

3. За время И в j-ом узле заявка была обслужена, после чего она мгновенно перешла в і-й узел, спонтанных изменений не произошло, і, jєJ.

(пі, пі') = (0, 1), iєJ.

N

Х(1 - X (Хі + иіІпі>0 + Фі^->0 )И + 0(И)) .

(10)

і=1

(11)

4. За время И в і-м узле была обслужена заявка, после чего она мгновенно покинула сеть, спонтанных изменений не произошло, і є J.

Р{г(ґ) = г + ег, ^(ґ) < хкд,..., ИІ„к>0 < %к,„к+пк (ґ) < Хк,пк+п'к + ИІпк>0, к є •/, к *i,

^,1(0 < xг,1,..., 5і, пг+п’,+1(0 < И}Рі,0. (13)

5. За время И в і-й узел поступил сигнал интенсивности иъ уменьшивший количество обыкновенных заявок на единицу, а количество неактивных заявок на единицу увеличивший, других спонтанных изменений не произошло, обслуживание ни в одном узле не закончилось, і є J.

Р{г(ґ) = г + е - е , Ік,1(ґ) < xk,1,..., ИІпк >0 < %к, пк + п'к (ґ) < Хк, пк + пк + ИІпк >0, к є J, к * І, 5і,1(ґ) < Хі,1,..., И < 5і,п,+п’, (Ґ) < X,Пі+п'г + И} Х (иіИ + о(И))Іп' і>0 . (14)

6. За время И в і-й узел поступил сигнал интенсивности ф, уменьшивший количество неактивных заявок на единицу, а количество обыкновенных заявок на единицу увеличивший, других спонтанных изменений не произошло, обслуживание ни в одном узле не закончилось, і єJ.

Р{г(ґ) = г - еі + е '■, ^к,1(ґ) < Хм — ИІпк >0 < %к, пк + пк (ґ) < Хк, пк + пк + ИІпк >0, к Є -Л к * ^

^д(ґ) < хі,1,..., ИІп, >1 <5і, п+пі(ґ) < X, п+п'і + ИІп, >1} Х (ФіИ + °(И))Іпі >0. (15)

7. И, наконец, за время И происходит не менее двух изменений состояния сети. Вероятность этого есть о(И).

В силу вышесказанного имеем

Р{г(ґ + И) = Z, іі Д (ґ + И) < Х,1,..., ^-,п + п', (ґ + И) < +п. , і є 17} =

= Р{г(ґ) = Z, ііД (ґ) < Xгд,...,^>0 < ^,п+п', (ґ) < Хг,п+п', + ИІп>0, і Є 'І}х

N

Х(1 - X (Хі + иіІпі>0 + ФіІп’ і>0 )И + 0(И)) +

=1

N

+Х Р{г(ґ) = г - еі, ^к,1(ґ) < Хкл — ИІпк >0 < 5к,пк + п'к (ґ) < Хк,пк + п'к + ИІпк ^ к є •/, к * І,

=1

^.д(ґ) < xгд,..., ^ >! < ^., п+п'і.-1 (ґ) < Хі, п+п',-1 + ИІп,. >1} Х

х(ХіИ + 0(И))Ві (пі + п і ,Хі,пі + ^ + 0И)іп,>0 +

N N

+ХХР{г(ґ) = г - еі + е] , ^к,1(ґ) < Хм — ИІк >0 < 5к,пк + п'к (ґ) < Хк,пк + п'к + ИІк >0 ,

і=1 у=1

к є J, к * і , к * у,

1 у,1 (ґ) < Ху,1,...,1У,пу + п', (Ґ) < Ху,пу + п', , 1 у,пу + п', +1 (Ґ) < И,

^.д(ґ) < xгд,..., ИІп я <5і, п+пі-1(ґ) < Хі, п+п ,і-—1 + ИІп,. >1} Х

хВі (пі + п і ,Хі,пг + п'г + 0И)Р]-,іІпі>0 + (16)

N

+Х Р{г(ґ) = г + ег, ^к,1 (Ґ) < Хкл — ИІпк >0 < ^к,пк + п'к (ґ) < Хк,пк + пк + ИІпк >0, к є •/, к * ^ =1

|гд(/) < хг>1,..„^.,Пі++1(/) < к}рф +

N

+ХР{2(1) = 2+Єі -Є'і ^к,1(0 <Хк,1>...>к/пк>0 ^к,пк+пк « <Хк,пк+гік +Мпк>0>кЄ ■/>к*

і=1

N

+ХР{2(/) = 2-Є + Є'■ ^к,1(0 <хк,1>...>к1пк>0 -5к,пк+пк « <Хк,пк+пк +кІпк>0>кЄ ■/>к*'>

і=1

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

Рассматривая х) как сложные функции от И и предполагая, что у них существуют частные производные первого порядка по переменным t и х/ п +п, , /е/,

запишем разложения этих функций в ряд Тейлора с остаточным членом в форме Пеано, с учетом того, что

Очевидно, что те функции ¥(х, х), у которых в качестве аргументов будет встречаться к не менее двух раз, при разложении в ряд Тейлора будут давать о(к). Поэтому

Выражения вида Б (п/ + п \, х/ п + п, +9) также раскладываем в ряд Тейлора как

функцию переменной 0.

Устремляя t к бесконечности и учитывая, что в этом случае частная производная ¥(2, х) по переменной t стремится к нулю, получаем следующую систему уравнений:

N

к=1

Р{2(Ґ) = 2,

■X

^ (2, хг

і=1

N

X (Хі +иЛ. >0 + (РіІп’і >0)к + о(к)) IЪ (2 х) +

і =1

+Х р(2 - еі, Х)Ві (пі + п 'і, хі,п,+п'і )(Хік + о(к))Іп,.>0 +

N N

+кХ X Р]А (пі +п 'і, Хп+п'.)

+кХ

] =1 і=1, і * ] др (2 + еі, х)

дх

у і,пі + п ^ +1 у

^ др (2 + е ■ - еі, х) ^ _____________________]________і_________

дх

у ],п ] + п ' ] +1 у

V 1/5 ] J Ух

Іпі >0 +

],п] + п' ] =0

Рі,0 + X р(2 + Єі - е 'і, х)(иік + о(к))Іп’і >0 +

Ч, п^ + п 'і + 1

+Хр(2 - Є + е 'і, х)(фі-к + о(к))І>0 + о(к).

(19)

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

N

р(2 х)Х (^і + °іІпі.>0 + ФіІп'і>0) =

=Х

др(2, х) дх „ , .

др (2, х)

дх „ ,

Іпі >0 +

і=1

N N

+Х X Р],іВі (п ]=1 і=1, і * ]

+Хр(2 - еі, х)Ві (пі + п 'і, хі,Пі+п’. )^іІпі.>0 +

і + п 'і , хі,пі + п', )

^ др(2 + е] - еі, х) ^ дх

у ],п ] + п' ] +1 у

V 1/5 ] J Ух

], п і + п'; =0

+Х

і=1

др (2 + Єі , х) дх

у і, пі+п 'і +1 у

N

Рі,0 + X р(2 + Єі - Є 'і , х)иіІп'і>0 +

і =1

N

+Х ¥(2 - 6/ + 6 ' ■, Х)Фг1 пг >0 . (20)

/=1

Разобьем эту систему уравнений на уравнения локального баланса следующим образом:

¥ (2 х)(и//п,. >0 + Фг1п’,. >0) = ¥ (2 + 6г - 6 '/, Х)и//п',. >0 + ¥ (2 - 6г + 6 '/, х)Фг1,г1 >0 ; (21)

= X Р],іВі (пі + п 'і, хі,пі+п', )

др(2, х)

дх п п

]=1, ] *і

^ др (2 + е] - еі, х) ^ дх

у ] ,п ] + п' і +1 у

V ^ ] J Ух

Іпі >0 +

],пі + п' і =0

+р(2 - еі, х)Ві (пі + п і , хі,п + ^ ) V*>0 :

()

і =1

і =1

і =1

г =1

і=1

і=1

Pi,0 •

(23)

Покажем, что функции распределения ¥2, х), определенные формулами (7) и (8), являются решением уравнений (21) - (23), а следовательно, и уравнений (20).

Если п, >0, то подставляя (7) и (8) в уравнение (22), приводя подобные слагаемые, деля обе части полученного соотношения на ¥(г - 6,, х)Б, (п, + п \, х,п +п, ),

получим уравнение трафика (5). Если пг = 0, то (22) превращается в тождество, /е/. Подставляя (7) и (8) в (23) и деля обе части на ¥(г, х), получим следствие уравнения трафика X, = гipip, /е/. И, наконец, подставляя (7) и (8) в (21), получаем тождество.

Утверждение доказано.

Под {р(г), ге2} будем понимать стационарное распределение вероятностей состояний процесса х(£). Из теоремы с учетом равенства р(г) = ¥(г,+ да) , ге2 вытекает следующее утверждение:

Следствие. При выполнении условий (1) и (2) процесс 2(() эргодичен, а его стационарное распределение вероятностей состояний {р(2), 2е1} не зависит от функционального вида распределений Б($, х), , е/, и имеет вид

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

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

1. Tsitsiashvili G. Sh., Osipova M. A. Distributions in stochastic network models // Nova Publish-

2. Malinkovsky Y., Bojarovich J. An open queueing network with partly non-active customers // Queues: Flows, Systems, Networks: Proc. 21 International Conference “Modern Probbabilistic Methods for Analysis and Optimization of Information and Telecommunication Networks “. Minsk, 2011. No 21. P. 34-37.

3. Малинковский Ю.В., Боярович Ю.С. Характеризация стационарного распределения сетей с групповыми перемещениями положительных и отрицательных заявок в форме произведения геометрических распределений // Вестник ГрГУ им. Я. Купалы. 2007. № 3(57). С. 39-43.

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

Р((«1, n 'i),...,(%, n 'N )) = Pi(ni, n 1)... pN (nN, n 'N ), где pi(ni, Пі ') определяются по формулам (8).

(24)

Заключение

ЛИТЕРАТУРА

ers. 2008.

Книга, 2005.

5. Ивницкий В.А. Об условии инвариантности стационарных вероятностей для сетей массового обслуживания // Теория вероятностей и ее применения. 1982. Т. 27. № 1. С. 188192.

6. Старовойтов А.Н. Инвариантность стационарного распределения состояний сетей с многорежимными стратегиями обслуживания // Проблемы передачи информации. 2006. Т. 42. № 4. С. 121-128.

7. Севастьянов Б.А. Предельная теорема для марковских процессов и ее приложение к телефонным системам с отказами // Теория вероятностей и ее применения. 1957. Т. 2. № 1. С. 106-116.

Малинковский Юрий Владимирович Боярович Юлия Сигизмундовна

Гомельский государственный университет им. Ф. Скорины

E-mail: [email protected]; [email protected] Поступила в редакцию 23 мая 2012 г.

Malinkovsky Yury V., Bojarovich Julia S. (Gomel State University). Stationary distribution invariance of an open queueing network with temporarily non-active customers.

Keywords: open queueing network, temporarily non-active customers, stationary distribution invariance.

This paper considers stationary functioning of an open queueing network with temporarily non-active customers. Systems set is J = {1,...N}. Non-active customers are located in a system queue and do not get service. Customers may turn from non-active state into state, when they may get their service and vice versa; n,(t), щ'(f) denote the numbers of ordinary and non-active customers at system ieJ at time t accordingly. Service times are assumed to be independent random distributed values with distribution functions B.(n. + n, x. n ) and mean values 1/u, ieJ.

i V i i 5 l,n +n i' I ?

Under conditions of ergodicity: si<^i, 8/ui<^i9i, ieJ, process z(t) = ((n1(t),n1'(t)),., (nN(t),nN'(t))) has stationary distribution {p(z), zeZ}, which may be founded by formulas:

n 1),...,(nN, nN )) = P1(nV n\)...Pn (nN, nN К

Ге. Г Ts. u. V*

where p. (n., n i. ) = I—L I I i i I ; here 8i is an unique positive solution to the system of traffic

\.Ui J 1ЛФ; J

equations, ieJ. Stationary distribution which is invariant to service time distribution is obtained.