Средняя длительность периода занятости в однолинейной системемассового обслуживания с дважды стохастическим синхронным входящим потоком
В работе находятся условные средние длительности периода занятости однолинейной системы массового обслуживания (СМО), финальные вероятности того, что период занятости начнется при заданном значении интенсивности, условные стационарные плотности вероятностей незавершенной работы, а также безусловная плотность вероятностей незавершенной работы при дважды стохастическом синхронном входящем потоке.
Mean continuation of occupation period in the one-line queueing systemwith synchronous double stochastic input flow.pdf Дважды стохастические потоки событий вызывают в по-следнее время все больший интерес, так как они являютсяхорошей математической моделью для многих реальных по-токов событий. Однако сложность объекта делает его иссле-дование очень трудным в аналитическом плане. В работерассматривается и решается одна частная задача теории мас-сового обслуживания для дважды стохастического потока сдвумя состояниями интенсивности.ПОСТАНОВКА ЗАДАЧИРассмотрим дважды стохастический пуассоновский по-ток событий с двумя состояниями интенсивности 1 и 2. Вдальнейшем для определенности будем считать, что 1 > 2.Переходы между этими состояниями возможны только вмомент наступления нового события. Если поток находитсяв состоянии 1, то вероятность перехода 1 2 равна 1, авероятности остаться в том же состоянии 1 − 1. Если потокнаходится в состоянии 2, то вероятность перехода 1 2равна 2, а вероятности остаться в том же состоянии 1 − 2.Будем считать, что этот поток поступает на однолинейнуюСМО с бесконечным бункером. Под работой x, которуюнесет заявка, будем понимать то время, которое требуетсядля обслуживания заявки на обслуживающем приборе. Бу-дем считать, что эта работа является случайной величиной сплотностью вероятностей, exp 1 ) ( ⎟⎠⎞⎜⎝⎛−p x = x (1)так что имеет смысл среднего времени обслуживанияодной заявки.Под незавершенной работой w будем пониматьсуммарное время обслуживания заявок, находящихся вбункере, плюс остаточное время обслуживания заявки,находящейся на приборе.ВЫВОДДИФФЕРЕНЦИАЛЬНЫХ УРАВНЕНИЙОбозначим через w незавершенную работу в мо-мент времени t. Через mi(w), i = 1, 2 обозначим среднеевремя до опустошения системы, если в момент времениt интенсивность входящего потока была равна i.Выведем уравнение для m1(w). Рассмотрим интер-вал времени [t, t + t]. За это время может произойти:1) с вероятностью 1 − 1t + o(t) новая заявка не при-дет; тогда незавершенная работа уменьшится на t, асреднее время до опустошения системы станет m1(w − t);2) с вероятностью 1t(1 − 1) + o(t) придет новаязаявка, требующая для своего обслуживания время x, асостояние потока останется прежним. Тогда незавер-шенная работа станет w + x − t, а среднее время доопустошения системы станет m1(w + x − t);3) с вероятностью 1t1 + o(t) придет новая заяв-ка, требующая для своего обслуживания время x и из-менится состояние потока. Тогда незавершенная работастанет w + x − t, а среднее время до опустошения сис-темы станет m2(w + x − t).Так как прошло время t, то имеем выражение(1 ) ( ) ( ) .( ) ( )( ) (1 ) ( )01 1 101 1 21 1 1+ − + − + + − += + − − +t m w x t p x dxt m w x t p x dxm w t t m w tРазложим m1(w − t), сократим m1(w), разделим наt и перейдем к пределу t 0. Получим+ + + − = 0m1(w) 1 1m1(w) 1 1 m2 (w x) p(x)dx(1 ) ( ) ( ) .01 1 1 + − m w + x p x dx (2)Аналогично получим+ + + − = 0m2 (w) 1 2m2 (w) 2 2 m1(w x) p(x)dx(1 ) ( ) ( ) .02 2 2 + − m w + x p x dx (3)Систему уравнений (2), (3) надо решить при гра-ничном условии m1(0) = m2(0) = 0.ВИД РЕШЕНИЙ И ИХ НАХОЖДЕНИЕВ (2) вместо p(x) подставим (1) и в интеграле сдела-ем замену w + x = z, умножим обе части уравнения наe−w/ и продифференцируем по w:(1 ) ( ) .1 ( ) ( )( ) 1 ( ) 1 ( )11 121 11 11 1 1 1− − − − − − − ++ −+− + = − −ww ww w wm w em w e m w em w m w e e m w eСократив множитель e−w/, получим уравнение( ) 1 .( ) ( )( 1 ) ( )11 121 11 1 1= − −− + − +m wm w m w m wАналогичное уравнение получится и из (3).Заметим, что в правой части уравнений стоит константа,а один из корней характеристического уравнения равен 0 .Поэтому решение системы (2), (3) будем искать в виде( ) ( 1) .( ) ( 1) ,2 2 21 1 1= + −= + −−−zwzwm w A w B em w A w B eСлагаемые A1w и A2w соответствуют частному решениюнеоднородного уравнения, а 1 получается потому, что ко-рень характеристического уравнения равен нулю. Коэффици-енты подобраны для выполнения условия m1(0) = m2(0) = 0.Коэффициенты A1, A2, B1, B2 и z найдем, подставляяэти решения в (2) и (3). Подстановка в (2) дает1 (1 ) ( ) 1,(1 )( ) 1 (1 )( 1)1 1 11 111 1 11 11 1 2 21 1 1 1 1 1 1 1 2+ − + + + − +− − + + + + +− = − − − − +−−− −B z e A wA w B z e BA B e z A w B e Bzwzwzw zwгде ( ) ,0 = xp x dx 1.( ) 1 10 0 += = − −−e p x dx e dx zzx zx xПриравнивая коэффициенты при слагаемых, содер-жащих w, получим 11A1 − 11A2 = 0, откуда следует,что A1 = A2. Далее их будем обозначать как A.Приравнивая свободные члены, получаемA = 1+ A1 + 11(B1 − B2 ) . (4)Из уравнения (3) получимA = 1+ A2 + 22 (B2 − B1) . (5)Умножая (4) на 11, (5) на 22 и суммируя, полу-чим явное выражение для A:1 1(1 2 ) 2 2 (1 1 ) .1 1 2 2 − + − + A =Определим знак A. Интенсивности переходов 1 2и 2 1 равны 11 и 22. Значит, в состоянии 1поток находится в среднем 1/11, за этот интервал всреднем придет 1/1 заявок и может быть обслужено всреднем 1/11 заявок. Аналогично для состояния 2.Это приводит к условию 1 1 1 1 .1 1 2 2 1 2 +> + После преобразований получаем следующее условие ра-ботоспособности системы: 11(1−2) + 22(1−1)>0, от-куда следует, что A > 0.Приравнивая коэффициенты при e−zw, получим, что1 1 0 .1 121 1 11 = + − ⎟⎠⎞⎜⎝⎛ − + + z z B zB z (6)Такая же операция над (3) даст, что1 1 0 .2 2 222 21 = ⎟⎠⎞⎜⎝⎛ − + + + + − z zB z B z (7)Относительно B1 и B2 получили систему однород-ных алгебраических уравнений. Для того чтобы эта си-стема имела ненулевое решение, необходимо, чтобы еедетерминант был равен нулю:01 11 12 2 2 2 21 1 1 1 1=− + + + − + − − + + =zzzzzzzzD .Это условие определит нам z. Сначала отметим, что приz = 0 0 ,2 2 2 2− 1 1 1 1 =D = − т.е. z = 0 является корнемхарактеристического уравнения. Раскрывая детерминант исокращая z, получим характеристическое уравнение для z: − (1 + 2 − 2) + (1− 1(1 +1) −z3 2 z2 z− ( +1) + 2 ) −2 2 1 21 1(1 2 ) 2 2 (1 1 ) 0. − − − − =Найдем B1 и B2. Из (6) имеем⎟ ⎟⎠⎞⎜ ⎜⎝⎛ + − = − + 1( ) 1111 2 11 1zB B B zz;с другой стороны имеем выражение (4), откуда получа-ется A(1 − 1) − 1 = B1z(z + 1 − 1).Подставляя выражение для A, получим( ( 1) ( 1)) ( 1) .( )1 1 2 2 2 1 11 1 1 21 − + − − + − =B z zАналогично находится выражение для B2:( ( 1) ( 1)) ( 1) .( )1 1 2 2 2 1 12 2 2 12 − + − − + − =B z zПериод занятости начинается с прихода заявки, котораянесет с собой работу, распределенную по (1). Поэтомусредняя длительность периода занятости при условии, чтов момент его начала интенсивность была 1, равна − =01 1m m (w) 1 e w dw .Подставляя сюда выражение для m1(w), получим11111 1 1 ++ = ⎟⎠⎞⎜⎝⎛ − += +zA B zzm A B .Подставим значение A и B1:.( 1)( 1 )(1 ) (1( 2 )( )121 1 2 2 2 11 1 1 2 21 + + − ⎥⎦⎤⎢⎣⎡ − + − + − + = +z zz zmАналогично.( 1)( 1 )(1 ) (1( 2 )( )111 1 2 2 2 12 1 1 2 21 + + − ⎥⎦⎤⎢⎣⎡ − + − + − + = +z zz zmНайдем среднее время простоя системы mi, если вначальный момент поток находился в состоянии 1.Пусть в момент времени t в системе нет заявок, тогдаможет произойти только приход новой заявки, которыйзавершит период простоя. В среднем заявка придетчерез время 1/1. Таким образом, mi = 1/1.РАСЧЕТ БЕЗУСЛОВНОЙ СРЕДНЕЙДЛИТЕЛЬНОСТИ ПЕРИОДА ЗАНЯТОСТИДля вычисления безусловного среднего значения перио-да занятости надо найти вероятности i того, что в началепериода занятости = i, тогда m = 1m1 + 2m2 .РАСЧЕТ ВСПОМОГАТЕЛЬНЫХВЕРОЯТНОСТЕЙОбозначим через i количество заявок в системе. Пустьi = 0, т.е. система пуста. Найдем вероятности Pj1(0) того, чтосистема перейдет в состояние = 1, i = 1, не заходя в со-стояние = 2, i = 1, если в начальный момент времени онанаходится в состоянии = j, i = 0. Тогда, рассматривая со-стояние системы спустя время t, можно записатьP11(0) = (1− 1t)P11(0) + 1t(1− 1) ⋅1+ o(t) ,P21(0) = (1− 2t)P21(0) + 2t2 ⋅1+ o(t) .Отсюда получаем P11(0) = 1 − 1, P21(0) = 1. Анало-гично P12(0) =1, P22(0) = 2.РАСЧЕТ ОСНОВНЫХ ВЕРОЯТНОСТЕЙНайдем теперь основные для дальнейшего вероят-ности Pj1(i) и Pj2(i). Здесь Pj1(i) есть вероятность пере-хода из состояния = i, i = i в состояние = 1, i = 1 сзаходом в состояние i = 0, т,е. при условии, что будетопустошение системы. Тогда, рассматривая состояниесистемы спустя время t при i > 1, можно записать(1 ) ( 1) 1 ( 1) ( ),( ) (1 1 ) ( ) ( 1)1 1 11 1111 1 11 1 1 21t P i tP i o tP i t t P i t P i − + + − + + + + += − −(1 ) ( 1) 1 ( 1) ( ).( ) (1 1 ) ( ) ( 1)2 2 21 2121 2 21 2 2 11t P i tP i o tP i t t P i t P i − + + − + + + + += − −Это приводит к системе (обозначим li = i, ai = ai)( 1) ( ) ( ) 0,( 1) ( ) ( 1)11 1 111 1 21 1 1 11+ − − + =+ + − + +P i l P il a P i l a P i( 1) ( ) ( ) 0.( 1) ( ) ( 1)21 2 212 2 11 2 2 21+ − − + =+ + − + +P i l P il a P i l a P iКак это следует из общей теории, будем искать ре-шение в виде 1P11(i) =C ⋅ i− ; 1P11(i) = (C⋅K) ⋅ i− . Этоприводит к системе( ) ( ( ) ( 1 ) ) 0;21 121 1 l a CK k + C l − a k + − l + k = (8)( )( ( ) ( 2 ) ) 0.22 22l2a2Ck + CK l − a k + − l + k = (9)Чтобы система имела не нулевое решение относи-тельно C и (C⋅K), надо, чтобы ее детерминант был ра-вен 0 , т.е.0( ) (1 ( 1)( ) (1 ( 1))222 2 2 21 1 121 1 =− + − +− + − +l a l a k l kl a k l k l a .Один корень этого уравнения очевиден - это =1,так как при этом определитель принимает вид02 2 2 21 1 − 1 1 =−l a l al a l a .Заметим, что величина K, соответствующая этомукорню, равна 1.Для нахождения уравнения, определяющего осталь-ные корни, раскроем детерминант и получившийся мно-гочлен четвертой степени поделим на двучлен −1. То-гда получим относительно уравнение третьей степени:( )) ( 1) 0.( ) (1 2 1 2 1 21 1 2 221 2 1 23− + + + + + − = − − + + −l l l l k l lk l l a a k l a l aЭто уравнение имеет три разных вещественных корня.Из них только один корень, лежащий на отрезке (0, 1),соответствует стационарному режиму. В дальнейшемчерез обозначен именно этот корень.Выведем еще выражение для константы K, соответ-ствующее этому корню. Из уравнения (8) получаем1 (1 )(1 ) , 21 11l a kK k kl − −− = (10)а из (9)1 (1 )(1 ) .22 22l a kk klKK − −=− (11)Из (10) и (11) получаем выражение для K, соответ-ствующее корню : (1 ) .(1 )2 1 11 2 2kl l aK − kl l a−= −С учетом полученных результатов мы можем написать( ) .( ) ,121111−−= + ⋅ = + ⋅ iiP i C D KP i C D (12)Для нахождения констант C и D надо выписать урав-нения для P11(1) и P21(1) с учетом того, что мы обязатель-но должны пройти через состояние i = 0. Тогда имеем(1 ) (2) 1 (0) ( ),(1) (1 1 ) (1) (2)1 1 11 1111 1 11 1 1 21t P tP o tP t t P t P + + − + + += − −(1 ) (2) 1 (0) ( ),(1) (1 1 ) (1) (2)2 2 21 2121 2 21 2 2 11t P tP o tP t t P t P + + − + + += − −где P11(0) и P21(0) были найдены ранее. Отсюда обыч-ным образом получаем систему11(1)( 1 1) 1 1 21(2) 1(1 1) 11(2) 1 11(0) , P P P P = + − + +21(1)( 2 1) 2 2 11(2) 2 (1 2 ) 21(2) 1 21(0) . P P P P = + − + +Подставим сюда (12) и получим1 ( ) (1 ) (1 ) 1 (0) ,1 1 1 11 C D D k Dk K P + + − + − =1 ( ) (1 ) (1 ) 1 (0) .2 2 2 21 C DK DK k Dk K P + + − + − =Отсюда находится C и D. Явное выражение не вы-писано из-за громоздкости.Для дальнейшего нам нужна лишь вероятностьP21(1), которую мы будем обозначать как 21. Так каквсякий период занятости начинается из состояния 1, то,по смыслу, P21(1) есть вероятность того, что следую-щий период занятости начнется при = 1, если теку-щий период занятости начался при = 2.Аналогичными рассуждениями находится 12.Пусть i, i = 1, 2 есть финальные (стационарные)вероятности того, что период занятости начнется изсостояния = i. Поэтому для определения 1 и 2 мыимеем обычную систему1,,,1 21 11 2 21 11 12 2 22 2 + = ⋅ + = ⋅ + = откуда ,12 21211 + = .12 21122 + =СТАЦИОНАРНАЯ ПЛОТНОСТЬВЕРОЯТНОСТЕЙНЕЗАВЕРШЕННОЙ РАБОТЫОбозначим через i(w), i = 1, 2 стационарную плот-ность вероятностей незавершенной работы при усло-вии, что интенсивность потока = 1. Выведем урав-нение для 1(w).Пусть в некоторый момент времени t величина незавер-шенной работы равна w. Рассмотрим момент времени t − t.Тогда попасть в состояние w можно различными путями.1. С вероятностью 1 − 1t + o(t) за время t не на-ступило события потока. Тогда незавершенная работабыла w + t.2. С вероятностью 1t(1 − 1) + o(t) за время tпришла новая заявка, но состояние потока не измени-лось. Тогда незавершенная работа была 01e−w+( ) ,0( ) 1 + − −wx e w x dx где 01 − вероятность того, что вмомент времени t − t система была пуста, а = 1/ −интенсивность обслуживания.3. С вероятностью 22t пришла новая заявка иизменилось состояние потока. Тогда незавершенная ра-бота была ( ) ( ).002 2 e x e w x dxw −w + − −В итоге получим уравнение для 1(w):+ + + − + − +− − −− www xwx e dx ew w e2 2 020( )11 1 1 1 1 01( ) ) (( ) ( ) (1 )(( ) ) 0 .0( )2 + = − −wx e w x dx (13)Аналогично получим уравнение для 2(w):+ + + − + − +− − −− www xwx e dx ew w e1 1 010( )22 2 2 2 2 02( ) ) (( ) ( ) (1 )(( ) ) 0 .0( )1 + = − −wx e w x dx (14)Для решения этой системы уравнений перейдем к пре-образованиям Лапласа ~ ( ) ( ) ,0 s = w e−swdwi i i = 1, 2.Тогда ( ) ( ) ( ), 0 ~i w ↔ si s − i e−w ↔ ( + s), и по-этому система (13), (14) принимает вид(0) ( (1 ) ) ,~ ( )( ( ) ) ~ ( )1 1 1 01 2 2 021 1 1 2 2 221= − − + s s + s − − + s =(0) ( (1 ) ) .~ ( )( ( ) ) ~ ( )2 2 2 02 1 1 012 2 2 1 1 122= − − + s s + s − − + s =Рассмотрим детерминант этой системы:] .[ (2 ) ( )( )( )1 2 221 1 2 2 221 11 2 1 221 23 22 2 221 11 1 1 2 22− + − + = + − − + − − + −= + − − = + − − s s s ss sD s sНам нужны корни уравнения D = 0. Один из них оче-виден - s = 0. Остальные три определяются из уравнения0 ,(2 ) ( )1 2 221 1 2 2 221 11 2 1 221 23 2− + − + =s + s − − + s − − + −которое имеет один положительный и два отрицательныхкорня. Положительный корень мы обозначим через z0, аотрицательные - как −z1 и −z2, так что z1 > 0, z2 > 0; z0, z1 иz2 можно найти лишь численно. Тогда можно записать( )( )( ) 0 1 2 , D = s s − z s + z s + z и именно этим выражениеммы будем пользоваться в дальнейшем.Найдем теперь вид ~ ( )1 s и ~ ( ) .1 s Имеем= − − + + − − − − + (0) ( (1 ) ) ( )(0) ( (1 ) )2 2 222 2 2 02 1 1 011 1 1 01 2 2 02 2 2s s( (1 ) )) .) ( (0)( (0) ( (1 ) ))( ( )2 2 02 1 1 01 12 2 2 2 2221 1 1 01 2 2 02Ds s− − + =− − −= − − + + − −Поэтому( ) ( )( )( ).~0 1 211 s s z s z s zs − D+ + = (15)Заметим, что 1(s)~ определена для всех s ≥ 0, а у фор-мулы (15) имеется две особые точки - s = 0 и s = z0, когдапроисходит деление на нуль. Чтобы не было особенностей,надо чтобы при s = 0 и s = z0 обращался в нуль также и чис-литель. Это приводит к следующей системе уравнений:точка s = 0: 1 (0) 2 (0) 1 01 2 02 , + = + точка s = z0:( (0) ( (1 ) )),( ( ) )( (0) ( (1 ) ))2 2 2 2 2 02 1 1 012 2 220201 1 1 01 2 2 02= − − + + − − = − − + z zчто и дает систему уравнений, определяющую 1(0) и2(0) через 01 и 02.Аналогично определяем ~ ( ) .2 sБудем считать, что 01 и 02 заданы и 1(0) и 2(0) вы-ражены через них. Тогда выражения для 1(s)~ можноразложить на простейшие ~ ( ) ,21111 s zDs zs C +−+ = так чтоявный вид 1(w) следующий: ( ) 1 2 ;1 1 1 w = C e− z w + D e− z wявный вид С1 и D1 не выписан из-за громоздкости.Аналогично, (s) 2~ можно представить в виде( )22122~s zDs zs C+−+ = .Явный вид 2(w) следующий: ( ) 1 2 .2 2 2 w = C e− z w + D e− z wТеперь можно найти и недостающие константы 01и 02 из условия нормировки( )1 ( ) 1 .1 1 ,2212002 22111001 1z Dz Cw dwz Dz Cw dw = − = − + = − = − +Финальные вероятности значений интенсивности потока{ ( ) } ,1 1 2 22 21 + P t = ={ }1 1 2 21 1( ) 2 + P t = =для безусловной плотности вероятностей (w) незавершен-ной работы w можно записать( ) ( ) ( ).1 1 2 22 2 1 1 1 2 + + w = w wВыведенные выше формулы могут быть реализова-ны программно, что позволит численно найти все по-лученные выше характеристики СМО.
Скачать электронную версию публикации
Загружен, раз: 295
Ключевые слова
Авторы
ФИО | Организация | Дополнительно | |
Лезарев Александр Викторович | Томский государственный университет | аспирант факультета прикладной математики и кибернетики | lezarev@asf.ru |
Терпугов Александр Федорович | Томский государственный университет | профессор, доктор физико-математических наук, профессор кафедры прикладной информатики факультета информатики, заслуженный деятель науки РФ | terpugjv@fpmk.tsu.ru |
Ссылки
