ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2015 Управление, вычислительная техника и информатика № 2 (31)
УДК 519.21
DOI 10.17223/19988605/31/6
М.Н. Сиротина
СОВМЕСТНАЯ ПЛОТНОСТЬ ВЕРОЯТНОСТЕЙ ЗНАЧЕНИЙ ДЛИТЕЛЬНОСТИ ИНТЕРВАЛОВ МЕЖДУ МОМЕНТАМИ НАСТУПЛЕНИЯ СОСЕДНИХ СОБЫТИЙ В МОДУЛИРОВАННОМ СИНХРОННОМ ДВАЖДЫ СТОХАСТИЧЕСКОМ ПОТОКЕ ПРИ НЕПРОДЛЕВАЮЩЕМСЯ МЕРТВОМ ВРЕМЕНИ И УСЛОВИЯ РЕКУРРЕНТНОСТИ ПОТОКА
Рассматривается модулированный синхронный дважды стохастический поток событий в условиях непродлева-ющегося мертвого времени. После каждого зарегистрированного события наступает время фиксированной длительности, в течение которого другие события исходного модулированного синхронного потока недоступны наблюдению. По окончании длительности мертвого времени первое наступившее событие снова создает период мертвого времени и т.д. В работе получена формула совместной плотности вероятностей значений длительности интервалов между соседними событиями в модулированном синхронном потоке в условиях мертвого времени. Представлены условия рекуррентности рассматриваемого потока, а также его вероятностные характеристики. Ключевые слова: модулированный синхронный поток событий; мертвое время; совместная плотность вероятностей значений длительности интервала между соседними событиями потока; условия рекуррентности потока.
В настоящей статье проводится дальнейшее исследование модулированного синхронного потока событий, начатое в работах [1-4].
Математические модели систем массового обслуживания широко применяются при описании реальных физических, технических и других процессов и систем. В связи с бурным развитием компьютерной техники и информационных технологий появилась важная сфера приложений теории массового обслуживания - проектирование и создание информационно-вычислительных сетей, компьютерных сетей связи, спутниковых сетей, телекоммуникационных сетей, объединенных термином «цифровые сети интегрального обслуживания» (ЦСИО) [5].
На практике параметры, определяющие входящий поток событий, изменяются со временем, при этом изменения часто носят случайный характер, последнее приводит к рассмотрению дважды стохастических потоков событий. По-видимому, одной из первых работ в этом направлении стала статья [6], в которой дважды стохастический поток определяется как поток, интенсивность которого есть случайный процесс. Дважды стохастические потоки можно разделить на два класса: к первому классу относятся потоки, интенсивность которых есть непрерывный случайный процесс; ко второму классу относятся потоки, интенсивность которых есть кусочно-постоянный случайный процесс с конечным числом состояний. Подчеркнем, что потоки второго класса впервые введены в рассмотрение практически одновременно в 1979 г. в [7-9]. В [7, 8] введенные потоки названы MC (Markov сЬат)-потоками, в [9] - MVP (Markov versatile ргосе88е8)-потоками. С начала 90-х гг. отечественные и зарубежные авторы в своих работах [10-15] называют введенные в [7-9] потоки событий либо дважды стохастическими потоками событий, либо MAP-потоками, либо MC-потоками. В свою очередь, в зависимости от того, каким образом происходит переход из состояния в состояние, MC-потоки можно разделить на три типа: 1) синхронные потоки событий [16-21]; 2) асинхронные и обобщенные асинхронные потоки событий [22-27]; 3) полусинхронные и обобщенные полусинхронные потоки событий [28-33]. В [34] введены в рассмотрение MAP-потоки событий первого порядка (собственно, MAP-потоки, введенные в [9]) и MAP-потоки событий второго порядка (суперпозиция двух синхронизированных MAP-потоков первого порядка, отличающихся друг от друга исходными параметрами). В [34] показано, что синхронный MC-поток является частным случаем MAP-потока первого порядка, асинхронный и полусинхронный MC-потоки являются частными случаями MAP-потока второго порядка.
В реальных ситуациях параметры, задающие входящий поток событий, известны либо частично, либо вообще не известны, либо (что еще более ухудшает ситуацию) изменяются со временем. Вследствие этого возникают задачи: 1) оценки состояний потока (задача фильтрации интенсивности потока) по наблюдениям за моментами наступления событий [24, 27, 29, 33, 35]; 2) оценки параметров потока по наблюдениям за моментами наступления событий [16-22, 26, 28, 30-32].
Одним из искажающих факторов при оценке состояний и параметров потока событий выступает мертвое время регистрирующих приборов [36], которое порождается зарегистрированным событием. Другие же события, наступившие в течение периода мертвого времени, недоступны наблюдению (теряются). Можно считать, что этот период продолжается некоторое фиксированное время (непродлева-ющееся мертвое время). В качестве примера приведем протокол С8МЛ/СБ - протокол случайного множественного доступа с обнаружением конфликта, широко используемого в компьютерных сетях. В момент регистрации (обнаружения) конфликта на входе некоторого узла сети по сети рассылается сигнал «заглушки» («пробки»); в течение времени рассылки сигнала «заглушки» заявки, поступившие в данный узел сети, получают отказ в обслуживании и направляются в источник повторных вызовов. Здесь время, в течение которого узел сети закрыт для обслуживания заявок, поступающих в него после обнаружения конфликта, можно трактовать как мертвое время прибора, регистрирующего конфликт в узле сети.
В работах [1-4] введен в рассмотрение модулированный синхронный поток событий, являющийся обобщением синхронного потока и относящийся к классу МЛР-потоков второго порядка. Синхронный поток событий систематически исследовался в работах [16-21, 37-41]. В настоящей статье, являющейся непосредственным развитием работ [1-4], приведен вывод совместной плотности вероятностей значений длительности интервалов между соседними событиями модулированного синхронного дважды стохастического потока, функционирующего в условиях непродлевающегося мертвого времени. Приводятся условия рекуррентности рассматриваемого потока, а также некоторые его вероятностные характеристики.
1. Постановка задачи
Рассматривается модулированный синхронный поток событий (далее поток), интенсивность которого есть кусочно-постоянный стационарный случайный процесс X(?) с двумя состояниями: X2 > X2 > 0). Длительность пребывания процесса X(?) (потока) в 7-м состоянии распределена по экспоненциальному закону с параметром а 7, 7 = 1,2 . Если процесс X(?) в момент времени ? находится в 7-м состоянии, то на полуинтервале [?, t + Д?), где Д? - достаточно малая величина, с вероятностью а 7 Д? + о(Д?) пребывание процесса X(?) в 7-м состоянии закончится и процесс X(?) с вероятностью, равной единице, перейдет из 7-го состояния в /-е (7, / = 1,2, 7 ф /). В течение временного интервала случайной длительности, когда X(?) = X 7, имеет место пуассоновский поток событий с интенсивностью X 7, 7 = 1,2. Кроме того, переход из первого состояния процесса X(?) во второе возможен в момент наступления события пуассоновского потока интенсивности X!; переход осуществляется с вероятностью р (0 < р < 1); с вероятностью 1 - р процесс X(?) остается в первом состоянии. Переход из второго состояния процесса X (?) в первое возможен также в момент наступления события пуассоновского потока интенсивности X 2; переход осуществляется с вероятностью д (0 < д < 1); с вероятностью 1 - д процесс X(?) остается во втором состоянии. В сделанных предпосылках X(?) - марковский процесс. После каждого зарегистрированного события наступает время фиксированной длительности Т (далее мертвое время), в течение которого другие события потока недоступны наблюдению. Рассматривается непродлевающееся мертвое время, т.е. события, наступившие в течение интервала мертвого времени, не вызывают его продления. По окончании длительности периода мертвого времени первое наступившее событие вновь генерирует период мертвого времени длительности Т и т.д. Вариант возникающей ситуации приведен на рис.1, где X1,X2 — состояния процесса X(?), ?1,?2,.... — моменты наступления наблю-
даемых событий потока, штриховка - периоды мертвого времени длительности Т , ось под номером 1 отображает исходный модулированный поток событий, под номером 2 - схему создания мертвого времени, под номером 3 - наблюдаемые события модулированного синхронного потока.
МО
1-я
1-р
1-р
Т
1-р
ЛИ1Ш1/1
Т
1-я 1-я
у 1111*11 и
Т
Щ1ПШЦ
Х
я
а
а
2
Х
2
1
г
2
г
3
г
г
г
г
г
1
3
4
2
Рис. 1. Формирование наблюдаемого потока событий Блочная матрица инфинитезимальных коэффициентов примет вид
(1 - Р)Х 1 рХ !
-(X2 +а2)
р - (Х 1 + а1) а1
=1К рл.
яХ 2 (1 - я)Х 2
Элементами матрицы Р1 являются интенсивности переходов процесса Х (г) из состояния в состояние с наступлением события. Недиагональные элементы матрицы Р0 - интенсивности переходов из состояния в состояние без наступления события. Диагональные элементы матрицы Р0 — интенсивности выхода процесса X(г) из своих состояний, взятые с противоположным знаком. Отметим, что если а I = 0, / = 1,2, то имеет место обычный синхронный поток событий [40].
Подчеркнем, что в постановке задачи принимается первичность наступления события, затем - переход процесса Х(г) из состояния в состояние. Данное обстоятельство при получении аналитических результатов является несущественным, так как наступление события и переход процесса Х(г) из состояния в состояние происходят мгновенно. При получении же численных результатов путем имитационного моделирования необходима определенность, что первично - наступление события, затем смена состояния либо наоборот.
Процесс Х(г) и типы событий (события пуассоновских потоков с интенсивностями Х1 либо Х2) являются принципиально ненаблюдаемыми (в сделанных предпосылках Х (г) - скрытый марковский процесс), а наблюдаемыми являются только моменты наступления наблюдаемых событий на временной оси г1,г2,.... Рассматривается стационарный режим функционирования потока. Последовательность моментов г1, г 2..., гк,... наступления событий наблюдаемого потока порождает вложенную цепь Маркова {к(гк)}, т.е. поток обладает марковским свойством, если его эволюцию рассматривать с момента гк (момент наступления события потока), к = 1,2, ... .
Обозначим хк = гк+1 - гк, к = 1,2,..., - значение длительности к-го интервала между моментами наступления соседних событий наблюдаемого потока. Так как поток функционирует в стационарном режиме, то плотность вероятностей значений длительности интервала между моментами наступления соседних событий наблюдаемого потока рТ (х к) = рТ (х), х > 0, для любого к. Таким образом, без потери общности момент наступления события гк можно положить равным нулю, т.е. х = 0 .
Пусть хк = - ^к,1 к+\ = ¡к+2 - ¡к+1, к = 1,2,... , - значения длительностей смежных к-го и к+1-го интервалов между соседними событиями наблюдаемого потока. В силу стационарности потока можно положить к = 1 и рассматривать длительности интервалов х1 = 7 2 -t1, х 2 = 73 -7 2, х1 > 0, х2 > 0. Тогда х1 = 0 соответствует моменту наступления события наблюдаемого потока, а х 2 = 0 соответствует моменту 72 наступления следующего события наблюдаемого потока. При этом соответствующая совместная плотность вероятностей имеет вид рт (х к, х к+1) = рт (х1, х 2), х1 > 0, х 2 > 0 .
Основной задачей работы является получение явного вида плотности вероятностей рт (х) и явного вида совместной плотности вероятностей рт (х1, х2). В ходе исследования находятся условия рекуррентности наблюдаемого потока событий, а также его вероятностные характеристики.
2. Вывод плотности вероятностей рт (т)
Пусть т - значение случайной величины длительности интервала между моментами наступления двух соседних событий наблюдаемого потока (рис. 2).
0/////у////////1-О
х = 04-V-х- т х
т
Рис. 2. Интервал между соседними наблюдаемыми событиями потока
Тогда плотность вероятностей рт (т) значений длительности интервала между наступлениями соседних событий модулированного синхронного потока, функционирующего в условиях мертвого времени, запишется в виде
Г0,0 < т < т,
рт (т) = <
I п г (01 т) | д1} (т) Ърк (т -т), т > т,
1=1 у=1 к=1
(1)
где рук (х - т) - условная плотность вероятностей того, что на интервале (т - т, т) нет событий потока и в момент времени т имеет место Х(т) = Xк при условии, что в момент времени т - т значение процесса Х(т - т) = X у (у, к = 1,2); дуу (т) - вероятность того, что за время Т процесс Х(7) перешел из 1-го состояния в у-е, 1, у =1,2; п, (0 | т) - условная стационарная вероятность того, что в момент т = 0 процесс Х(7) находится в состоянии 1, событие потока наступило и наступило мертвое время длительности т.
Обозначим 7 = х-Т, х >т . Введем рук(7) - переходную вероятность того, что на интервале (0,7)
нет событий потока и в момент времени 7 имеет место Х(7) = Xк при условии, что в момент времени 7 = 0 значение процесса Х(0) = Xу (у, к = 1,2). Тогда для введенных вероятностей рук(7) имеет место система дифференциальных уравнений
ри '(7) = -(X + ^ )р11 (7) + а2р12 (7), Ц2 '(7) = - (^2 +а2) А2 (7) + а1 А1 (7), р22*(0 = -(X +а2)р22(0 + а1^21(7), Л2'(0 = -(X + а^р21(0 + а2р22(7), рп(0) = 1, р12(0) = 0, р22(0) = 1, р21(0) = 0. Решая полученную систему дифференциальных уравнений, находим
рц(7) =-
2л
р21(7) =
ап
(Х2 +а 2-21)е 21 - (X 2 +а2-г2)е
1
р12(7) =•
а
29 21
р22(7) =•
2 21
(X +а1 -21)е 22 -(X +а1 -22)е ^
(2)
■■ (а1 +Х1 +а2 +Х2) + (а1 +Х1 - а2 - Х2)2 +4а1а2.
(3)
При этом плотности вероятностей ~;к(г) = р]к(х-Т), j, к=1,2, из формулы (1) для плотности вероятностей рТ (т) примут вид
р11 (г) = рц(г(1 - р) + р12(г)Х2я, ри(г) = рц(г)Х1 р + р12(г2(1 - я), р22 (г) = р22 (г)Х2 (1 - я) + р21 (г) Х1 Р, р21 (г) = р22 (г)Х2Ч + Р21 (г) Х1 (1 - рX
где вероятности Рjk (г) определены в (2).
Подставляя (2) в (3), затем заменяя г на т - Т, получаем явный вид плотностей вероятностей (х-Т), j, к = 1,2:
~11(т - Т) =
= Х1(1- р) [2 + а2 _ Т) - (Х2 + а2 - 72)е-22(т-Т)
2 2 - 21 ~12 (т - Т) =
а1Х 2 я
22 21
е"21(т~Т) _е 22(т-Т)
Х1р Г/ч \ - г, (т-Т)
■-[(X 2 + а 2 - г{)е '
-(X2 + а2 - г2)е "2(т Т)
а1Х 2(1- я)
е~21(т~Т) _ е 22 (т-Т)
21 (т -Т) =
= [(Х1 + ^ _21)^21(-т) -(Х1 + а1 -22)е-22(т-Т)]+ а2^-р)
22 - 21 22 - 21 ~22 (т -Т) =
Х2(1- я) [(Х + ) -21(т-Т) (Х + ) ) ]+ а2Х1р =-[(Х1 + а1 -21)е п (Х1 + а1 -22)е ^ ; +--
(4)
е_21(х_Т) _ е 22 (т-Т)
е_21(х_Т) _ е 22 (т-Т)
Для введенных вероятностей яу (х), I, j = 1,2, имеет место система дифференциальных уравнений (0 < т < Т):
яп'(т) = -(а1 + рХ1)яп(т) + (а 2 + яХ 2)я12(т), я12'(т) = -(а 2 + яХ 2 )я12 (т) + (а1 + рХ1)ри(т), р21' (т) = -(а2 + яХ 2 )я22 (т) + (а1 + рХ1)я21(т), я 22' (т) = -(а1 + рХ1)я21(т) + (а 2 + яХ 2)я 22СО,
с граничными условиями
яп(0) = 1, я12 (0) = 0, я22 (0) = 1, я21 (0) = 0. Решая данную систему дифференциальных уравнений и в полученном решении полагая т = Т,
находим
яи(Т) = л2 +Л1е-(а1+а2+рХ1+яХ2)Т, я12(Т) = л2 - л2е-(а1+а2+р^+яХ2)Т,
я21 (Т) = ^ - ^е-(а1+а2+рХ1+яХ2)Т, я22 (Т) = ^ + %2е-(а1+а2+рХ1+яХ2)Т, а 2 + дХ 2 ах + рХх
(5)
Ч =-, П 2 =-
ах + рХ1 + а 2 + яХ 2 ах + рХ1 + а 2 + яХ 2
где п 1, I = 1,2, - априорная стационарная вероятность того, что в произвольный момент времени поток находится в 1-м состоянии [2].
Для нахождения вероятностей п ^ (01Т), I = 1,2, из исходной формулы (1) введем п ^ - вероятность
того, что за время, которое пройдет от момента т = 0 до наступления следующего события наблюдаемого потока и реализации розыгрыша состояния потока, процесс Х(г) перейдет из состояния I в состояние у, I, у =1,2.
Тогда относительно введенных (0| Т), I = 1,2, и , I, у = 1,2, в силу марковости процесса Х(г) будет справедлива следующая система линейных уравнений:
212 2 = Х1Х 2 + Х1а 2 + Х 2 аЬ
2 2 21
„1(0 |т) =-^, Л 2(01 т) =-(6)
12 + „ 21 „12 + „ 21
„1(0 |т) = „1 (01 т )„11 + „2(0| т )„21,
„2(0 | т) = „1(0 | т)„12 + „2(0 | т)„22 „1(0 |т) + „2(0| т) = 1,
выражая из которой вероятности „ (01 т), 1 = 1,2, получим
„+—, „2(01 т) = —+ „12 + „ 21 „12 + „
При этом для вероятностей п у в силу марковости процесса Х(7) можно записать следующую систему линейных уравнений:
пи = дц(т)рц + д12(т)р21, п21 = д21(т)ри + д22(т)р2l,
п12 = дц(т) р12 + д12(т) р 22 , п 22
= д 21 (т) р12 + д22(т) р 22, (7)
п11 + п12 = 1 П 21 + П 22 = 1, где вероятности дуу (т), 1, у = 1,2, определены в (5), рук, у, к = 1,2, - вероятность того, что в течение интервала между моментом времени 7 = 0 и моментом наступления следующего события процесс Х(7)
да
перейдет из состояния у в состояние к. Тогда р ук = | рук (ы)ёы .
0
Интегрируя полученные в (4) плотности вероятностей р ук (7), у, к = 1,2, получим следующие значения переходных вероятностей рук, у, к = 1,2 :
т /1 2 + а2 а1 X2 + а2 а1
ри =Х1 (1 -р)-^2-^ + Х2д——, р12 = Х1 р-^-^ + ^2(1 -д) —Ч
2122 2122 2122 2122 (8) т /1 \ Х1 + а1 а2 Х1 +а1 а2
р22 =Х2(1 - дН-к + Х1 р21 = Х2д 1-к + Х1 (1 - р)^Ч
2122 2122 2122 2122
где 21 22 определены в (5).
Подставляя вероятности рук, у, к = 1,2, из (8) и вероятности ду (т), 1, у = 1,2, из (5) в уравнения (7), получим выражения для вероятностей п у, 1 , у = 1,2 :
— ((1-р)Х1а 2 + дХ 2 (X1 + аО + Х1Х 2(1-р-д)(п1 + п 2 е-(а+а2+рХ1+дХ2)т)),
п11 =
21 2
12
п12 = —((1- д)Х2(Х1 + а1) + рХ1а2 -Х1Х2(1- р-д)(п1 + п2е-(а1+а2+рХ1+дХ2)т)), 212 2
п 21 = —(дХ 2 а1 + (1-р)Х1(Х 2 + а 2)-Х1Х 2(1-р-д)(п 2 + п1е-(а1+а2+рХ1+дХ2)т)), (9)
21 2 2
— (рХ1(Х 2 + а 2) + (1- д)Х 2 а1 + Х1Х 2(1- р-д)(п 2 + п1е -(а1+а2+рХ1+дХ2)т)),
п22 =
22
12
где пг-,7 = 1,2, 2122 определены в (5).
После подстановки полученных в (9) вероятностей „ у, 1, у = 1,2, в формулы (6) выражения для п! (01 т), 1 = 1,2 , запишутся в виде
п = дХ2а1 + (1 - р)Х1 (X2 + а2) - Х1Х2(1 - р - д)(п2 + -(а1+а2+рХ1+дХ2)т) п1 2122-Х1Х 2(1-р-д)е "(а1+а2+рХ1+дХ2)т , (10)
п (0|т) = (1 - д)Х2(X1 + а1) + рХ1а2 -Х1Х2(1 - р -<?)(% + п2е-(а1+"2+рХ1+дХ2)т) ^2 2122 - Х1Х2(1- р-д)е-(а1+а2+рХ1+дХ2)т ,
где п 1,1 = 1,2, 2122 определены в (5).
Для нахождения вероятностей п, (Т), г = 1,2 , введем (х | Т), г = 1,2, - вероятность того, что в момент времени т процесс находится в г-м состоянии, 0 < т < Т . Тогда (х + Дх | Т), г = 1,2, - вероятность того, что в момент времени т + Дт процесс находится в г-м состоянии, 0 < т + Дт < Т . Рассматривая на интервале (т, т + Дт) всевозможные варианты поведения процесса !(т) относительно искомых вероятностей п г (т | Т), г = 1,2, можно записать следующую систему дифференциальных уравнений:
П1'(т | Т) = —(р!х + ах) пх(т | Т) + (д! 2 + а 2) п 2(т | Т), п 2' (т | Т) = —(д! 2 + а 2)п 2(т | Т) + (р!х + а1) пх(т | Т), с граничными условиями п г (т | Т) = п г (01Т) для т = 0, г = 1,2 . Решение данной системы примет вид
п1 (т | Т) = п1 — (п1 - пх(0| Т))е-(а1+а2+р!1+д!2)т, п 2(т | Т) = п 2 — (п 2 — п 2(01Т))е —(а1+а2+р!1+д!2)т, где , г = 1,2, определены в (5).
Подставив в последней формуле для (х | Т), г = 1,2, вместо т значение Т и обозначив п г (Т | Т), г = 1,2, как п г (Т), г = 1,2 , получим
п1 (Т) = п^ — (п — пх(0| Т ))е —(а1+а2+р!1+д! 2)Т, (11)
п 2(Т) = п 2 — (п 2 — п 2(0| Т ))е—(а1+а2+р!1+д! 2)Т, где , г = 1,2, определены в (5), (01Т), г = 1,2, определены в (10). Несложно показать, что
п (Т) = пх(0| Т )дп(Т) + п 2(01Т )д 2Х (Т),
п 2 (Т) = п 2(0 |Т )д^(Т) + п 2(0 |Т )д 22{Т). ( )
Подставляя (4), (5) и (10) в (1), учитывая (12) и проделывая достаточно трудоемкие преобразования, получаем формулу для нахождения плотности вероятностей значений длительности интервала между моментами наступления соседних событий в модулированном синхронном потоке при непро-длевающемся мертвом времени рТ (т):
рТ (т) = 0,0 < т < Т,
рТ (т) = у(Т)^е^т—Т) + (1 — у(Т))г2е—22(ъ—Т), т > Т, (13)
где у(Т) =-1-(г2 —!1п1(Т) — !2п2(Т)),1 — у(Т) =-1-(—г1 + !1 п1(Т) + !2п2(Т)), г12 определены
г 2 — г1 г 2 — г1
в (2), п г (Т), г = 1,2 определены в (11) .
3. Вывод совместной плотности вероятностей рт (т 1, т 2)
Пусть т1, т 2 — значения случайной величины длительности смежных интервалов между моментами наступления соседних событий наблюдаемого потока (рис. 3).
0///////Л///////Л-0/////Л////////Ш//\-о
ч.___; »----;
Х1 =0 Т т 1 — Т т 2^0 Т т 2 —Т т 2
Рис. 3. Смежные интервалы между соседними наблюдаемыми событиями потока Тогда формула для совместной плотности рТ (т1, т 2) запишется в виде
Рт (ть т2) = <
0,0 < т1 < Т,0 < т 2 < Т,
2 2 2 2 2 X п г (01 т ) 2 д1} (Т) х р]к (т1 — т ) 2 дь (Т) х рет (т 2 — т ),
г=1 у=1 к=1 ¿=1 п=1
т1 > Т, т 2 > Т,
где ж1 (01Т), I = 1,2, определены в (10); яу- (Т), як5 (Т), I, у, к, 5 = 1,2, определены в (5); ~]к (т1 -Т), рт (х2 -Т), у,к, 5, п = 1,2, определены в (4) (в формулах (4) нужно заменить т на т1 либо на т 2).
Используя формулу (12) и сделав замены г1 = т1 - Т, г2 = т2 - Т, несложно получить формулу для совместной плотности рТ (т1, т 2) в виде
0,0<т1 <Т,0<т2 <Т,
рт (т1, т 2 ) = <
2 2 2 2 (14) X ПI (Т) 2 ~у (г1) X яук (Т) X ~к5 (г2), г1 > 0, г2 > 0,
г=1 у=1 к=1 5=1
при этом согласно формулам (1), (12) запишем
рт (О = Х П I (Т) Х~у (г1), г1 > 0, рт (г2) = Х пг (Т) Х~ у (г2), г2 > 0.
I=1 у=1
Подставляя значения яук (Т), у, к = 1,2, (5) в формулу (14) и проделывая достаточно трудоемкие преобразования, получим разность рТ (г1 , г2 ) рТ (г1 ) рТ ( г2 ) в виде
рт (ги г2)- рт {г,) рт (г2) = е-( а1+а+рХ+яХ2)Т ¿( (г2)-р^ (г2)) х (1
5=1 (15)
х{ж1(Т)(Ж2(01ТУрМ- Ж1(0 | ТУРМ) + Ж2(Т)(Ж2(0 | Т- те1(0| Т^(О)},
где жi(01Т),I = 1,2, определены в (10), пг-(Т), I = 1,2, определены в (11), ру(г1), р^(г1), I,у,5 = 1,2, опре-
2
делены в (4). Тогда X (Р15 (г2) - ~25 (г2)) примет вид
5 =1
Х(~15 (г 2)-:р25 (г 2)) = -(Х1 -X 2 )(^е^2 -2 2 е-*2'2)^ 2 2 -21). (16)
5 =1
Подставляя (Т),I = 1,2, из (11), пг-(0|Т),I = 1,2, из (10), (г1),I,у = 1,2, из (4) в выражение в
фигурной скобке формулы (15), затем подставляя (16) в (15), после чего осуществляя обратную замену г1 = т1 - Т, г2 = т 2 - Т, получаем формулу для совместной плотности рТ (т1, т 2):
рТ (т1, т2) = 0,0 < т1 < Т, 0 < т2 < Т, рт(х„ х2) = рт(х1)рт ( х2) + +е-(а1+а2+рх+ях2)Т (^1 - Х2)^1^2(1 - р - я)((а1 + р^)"1(0) - («2 + я^2)Ж2(0))((р + я)Х^2 + Х1а2 + Х2а1) х
(22 - 21 )2 (2122 - Х1Х2 (1 - р - я)е-(а1+а2+рХ1+яХ2)Т )2 (а1 + рХ1 + а2 + яХ2)2
х{2122 + е-(а1+а2+рХ+яХ2)Т ((а1 + рХ1 +а2 + яХ2)(а1 + Х1 +а2 + Х2)- 22122) + +е-2(а1+а2+Л+^((а1 + рХ1 +а2 + яХ2)(Х1 (1 - р) + Х2(1 - я)) - 2122)}х х (21е-21(т1-Т) -22е-22(т2-Т))(21е-21(т-Т) -22е-^-Т)), х1 > Т, х2 > Т, где п г- (0), I = 1,2, определены в формуле (10) для Т = 0.
Можно показать, что произведение у(Т )(1 - у(Т)) имеет вид
у(Т)(1 - у(Т)) = (Х1 - Х2 )((а1 + рХ)ж1 (0) - (а2 + яХ2 )ж2 (0))((р + я)Х1Х2 + Х1а2 + Х2а1 ) х
)( )) (22 - 21)2(2122 -Х1Х2(1-р - я)е-(а+а2+рХ+гХг)Т )2(а1 + рХ1 +а2 + яХ2)2
х{2122 +е-(а1+а2+рХ+чК)Т ((а1 + рХ1 +а2 +яХ2)(а1 +Х1 +а2 +Х2)- 22122) + (17)
+е-2(а1+а.+Л+яХ2)Т ((а1 + рХ1 +а 2 + яХ 2)(Х1(1- р) + Х 2(1- я))- 2122)}х
х( 21е21( х -Т) -22е22( х2 -Т))(21е21( х -Т) -22е22( х2-Т)) 2122, где п^ (0), I = 1,2, определены в формуле (10) для Т = 0.
Обозначим / (Т) выражение в фигурной скобке формулы (17). После преобразования / (Т) примет вид
/ (Т) = 21 г2(1-е _(а1+а+рХ1+дХ2)Т )2 + (а1 + рк1 +аг + дХ 2)е-(«1+а2+Л+д^)Т + +(а1 + рХ1 +а2 + дХ2)(Х1(1-р) + Х2(1-д))е-(а1+а2++дХ^)Т (1-е-(а1+а2+Л+^)Т), так что для любых Т > 0 имеем / (Т) > 0 .
Тогда окончательно совместная плотность рТ (т1; т 2) выпишется в виде
рТ (т15 т2) = 0,0 < т1 <Т, 0 < т2 <Т,
рТ(Т1,12) = ртЫрт( Т2) + е-(а1+а2+Л+дХ2)Т ^(1-р-д) у(Т)(1 -у(Т)) х
2122 (18)
х (^е-^Х1-Т} - г2е-22(х2-Т})(^е-^Х1-Т} - 22е-22(Х2-Т}),Т1 > Т, т2 > Т, где у(Т ),1- у(Т) определены в (13).
4. Условия рекуррентности наблюдаемого потока событий
Рассмотрим частные случаи, когда модулированный синхронный поток событий, функционирующий в условиях мертвого времени, становится рекуррентным потоком.
1. Из формулы (17) для рТ (т1, т 2) следует первое условие рекуррентности наблюдаемого потока. Если 1-р-д = 0, то совместная плотность (17) факторизуется: рТ (т1, т 2) = рТ (т1) рТ (т 2),
11 > Т, т 2 > Т.
При этом плотность вероятностей рТ (т) (13) примет вид
рТ (т) = 0,0 < т < Т,
рТ (т) = у(Т)г1е"21(т-Т} + (1 - у(Т))г2е-22(т-Т}, т > Т,
у(Т) = —(22 -ХЛ -X2п2 + (Х^ -д) + X2 (п2 - р))е-(а1+а2+рХ1+дХ2)Т), 2 2 - 21
1- У(Т) =---(-21 + Х1 п1 + X2п2 -(Х1(п1 -д) + X2(п2 - р))е-(а1+а2+рХ1+дХ2)Т),
2 2 - 21
где г12 определены в (2), п ^, 1 = 1,2 определены в (5).
2. Из формулы (18) для произведения у(Т)(1- у(Т)) следует второе условие рекуррентности наблюдаемого потока. Если (а1 + рХ)п1(0)-(а2 + дХ2)п2(0) = 0, то совместная плотность (17) факторизуется: рТ (т1, т 2) = рТ (т1) рТ ( т 2), т1 > Т, т 2 > Т , при этом у(Т) = 1.
Тогда плотность вероятностей рТ (т) (13) примет вид
рТ (т) = 0,0 < т < Т, рТ (т) = г1е-21(т-Т}, т > Т,
где 21 определена в (2).
Поскольку последовательность моментов наступления событий наблюдаемого потока ? 2..., ,... порождает вложенную цепь Маркова, то при выполнении одного из вышеперечисленных условий факторизации или их комбинации нетрудно доказать, используя метод математической индукции, что фак-торизуется и совместная плотность вероятностей рТ (т1, т2,..., тк) для любого к: рТ (т1, т 2,..., т к) = рТ (т1) рТ (т 2)... рТ (т к). Таким образом, наблюдаемый поток является рекуррентным потоком.
При обсуждении условий рекуррентности необходимо использование результатов, полученных в [1].
Для первого условия факторизации потока 1 - р — д = 0 апостериорная вероятность 1+ 0) первого состояния процесса X (г) в момент времени (к наступления события потока имеет вид
| гк + 0) = д,к = 1,2,....
Таким образом, апостериорная вероятность | г) не зависит от предыстории, а определяется лишь своим значением в момент наступления события потока. В данной ситуации имеется некоторая близость рассматриваемого потока событий к простейшему потоку в том смысле, что апостериорная вероятность первого состояния процесса Х(7) в моменты наступления событий потока принимает постоянное значение, равное д.
Для второго условия факторизации потока (а1 + рХ) п1 (0) — (а 2 + дХ 2 )п 2 (0) = 0 апостериорная вероятность | г к + 0) первого состояния процесса X (г) в момент времени г к запишется в виде
^ | к + 0) = 2 +[(1 — р)Х1 — дХ2 МХЛгк — 0) , к = 1,2,....
X 2 + (Х1 — X 2МХ11 г к —0)
То есть апостериорная вероятность ^(Х1 | г), наоборот, будет зависеть от предыстории, несмотря на то что поток рекуррентный и плотность вероятностей рт (т) имеет экспоненциальное распределение
рт (т) = ^е^—т}, т > Т.
5. Вероятностные характеристики и вероятности типов событий наблюдаемого потока
Нетрудно получить вероятностные характеристики наблюдаемого потока, такие как математическое ожидание длительности интервала между соседними событиями, дисперсия и ковариация.
м (х)=т+1Т)+1—Ж), =2( Ш+1—т)—(Ж)+1—у(Т) )2,
21 22 г2 2\ 22
осу(т1,т2) = е ^+а2+рХ1+дХ2)у(Т)(1 — у(Т))ХгХ2(1 — р — д)(2/ — .
(212 2 )
В рассматриваемом потоке присутствуют события двух типов: 1) события пуассоновского потока интенсивности ; 2) события пуассоновского потока интенсивности А 2.
Обозначим д|г ) (Т) — стационарная вероятность того, что наступившее событие является событием пуассоновского потока интенсивности Х7, и процесс Х(г) перешел при этом из 1-го состояние в 7-е (7 = 1,2); д27 (Т) — стационарная вероятность того, что наступившее событие является событием пуассоновского потока интенсивности Х7 и процесс Х(г) перешел при этом из 2-го состояние в 7-е (7 = 1,2).
Тогда для введенных вероятностей можно получить следующие явные выражения: ,(1)(т) = (1 р)Х а2 + Х2П1 + Х2(д — П1)е —(а1+а2+рХ1+дХ2)т
д! (т) = (1 — р)Хг
2122 — Х1Х2(1 — р — д)е—(а1+а2+рХ1+дХ2)т '
... а, +
д1 (т) = рХг
Г2)(т) = а2 + Х2П1 + Х2(д — П1)е—+а2+рХ1+дХ2)т
2122 — Х1Х2(1 — р — д)е —(а1+а2+рХ1+дХ2)т '
д21;(т) = дХ 2 '
п)(т) = а1 + Х1П 2 + ХД р — п 2)е—(а1+а2+рХ1+дХ2)т
2122 — Х1Х2(1 — р — д)е —(а1+а2+рХ1+дХ2)т ' д2\т) = (1 — д)Х 2
а + х п + Х (р — п )е —(а1+а2+рХ1+дХ2)т
(2)(т) = (1 — д)х а1 + Х1п2 + Х1(р П 2 )е_
2122 — Х1Х2(1 — р — д)е—(а1+а2+рХ1+дХ2)т ' где п 7, 7 = 1,2, 2х22 определены в (5).
Тогда стационарную вероятность д1 (т) того, что наступившее событие есть событие пуассонов-ского потока интенсивности Х1 , можно представить в виде
а + К п + К (q- п )e-(ai+а2+рК+q^2)T а 2 + К 2п1 + К 2(q п1)е
g1(T) = ^ ) + ^ ) = V г_ г 2-Х_Х 2(,-р^- .а, а. Л. gX2)T.
где п,, 1 = 1,2, определены в (5).
Аналогично стационарную вероятность д2 (Т) того, что наступившее событие есть событие пуас-
соновского потока интенсивности X 2, можно представить в виде
а + X п + X (р-п )е-(а1+а2+р^+gX2)T а1 + X1п 2 + X1(p п 2 )е
q2(T) = q2i;(T) + q (22>(T) = К 2- ( . . )T,
2 2 2 Zlz22(1-p -q)e (а1+а2+pKi+qK2)T '
где п г-, i = 1,2, z^2 определены в (5).
Отметим, что п1 (0| T) = q® (T) + qf (T), п2(0| T) = q12) (T) + q^ (T).
Заключение
В ходе исследования получен явный вид pT (т1, т 2) совместной плотности вероятностей значений длительности интервалов между моментами наступления соседних событий модулированного синхронного потока событий, функционирующего в условиях мертвого времени. Приведены условия рекуррентности потока, а также рассмотрены вероятностные характеристики наблюдаемого потока и приведен явный вид таких характеристик, как типы событий потока.
Данные формулы позволяют произвести оценку параметров потока по наблюдениям за моментами наступления событий потока либо методом максимального правдоподобия, либо методом моментов.
ЛИТЕРАТУРА
1. Горцев А.М., Голофастова М.Н. Оптимальная оценка состояний модулированного синхронного дважды стохастического
потока событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2(23). C. 42-53.
2. Сиротина М.Н. Оптимальная оценка состояний модулированного синхронного дважды стохастического потока событий в
условиях непродлевающегося мертвого времени // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 1(26). C. 63-74.
3. Aleksandr Gortsev and Mariya Sirotina. Joint Probability Density Function of Modulated Synchronous Flow Interval Duration //
ITMM 2014: Proceedings 13th International Scientific Conference named after A.F. Terpugov. Anzhero-Sudzhensk. Russia. November 20-22. 2014. Springer. P. 145-152.
4. Сиротина М.Н., Горцев А.М. Плотность вероятностей длительности интервала между соседними событиями в модулирован-
ном синхронном потоке при непродлевающемся мертвом времени // Материалы Международной научной конференции, посвященной 80-летию профессора, доктора физико-математических наук Геннадия Алексеевича Медведева. Белоруссия. Минск. 23-26 февраля. 2015. Минск : Изд-во РИВШ, 2015. С. 299-304.
5. Дудин А.Н., Клименок В.Н. Системы массового обслуживания с коррелированными потоками. Минск : Изд-во БГУ, 2000.
175 с.
6. Kingman J.F.C. On doubly stochastic Poisson process // Proceedings Cambridge Phylosophical Society. 1964. V. 60, No. 4. P. 923-
930.
7. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи // Известия
АН СССР. Техническая кибернетика. 1979. № 6. С. 92-99.
8. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи // Известия
АН СССР. Техническая кибернетика. 1980. № 1. С. 55-61.
9. NeutsM.F. A versatile Markov point process // Journal of Applied Probability. 1979. V. 16. P. 764-779.
10. Lucantoni D.M. New results on the single server queue with a batch markovian arrival process // Communication in Statistics Stochastic Models. 1991. V. 7. P.1-46.
11. Lucantoni D.M., Neuts, M.F. Some steady-state distributions for the MAP/SM/1 queue // Communication in Statistics Stochastic Models. 1994. V. 10. P. 575-598.
12. Лившиц К.Н., Бублик Я.С. Вероятность разорения страховой компании при дважды стохастическом потоке страховых выплат // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 1(10). С. 66-77.
13. Yang Y.W. Woo Shin. BMAP/G/1 queue with correlated arrivals of customers and disasters // Operation Research Letters. 2004. V. 32, Issue 4. P. 364-373.
14. Artalejo Jesus R., Chakravarthy Srinivas R. Computational analysis of the maximal queue length in the MAP/M/c retrival queue // Applied Mathematics and Computation. 2006. V. 183, Issue 2. P. 1399-1409.
15.
16.
17.
18.
19.
20.
21
22.
23.
24.
25
26
27
28
29
30
31
32
33
34
35
36
37.
38
39
40
41
64
Best J. Doubly Stochastic Processes: an Approach for Understanding Central Nervous System Activity // Selected Topics on Applied Mathematics, Circuits, Systems and Signals. WSEAS Press, 2009. P. 155-158.
Bushalnov I. V., Gortsev A.M., Nezhel 'skaya L.A. Estimating parameters of the synchronous twofold-stochastic flow of events // Automation and Remote Control. 2008. V. 69, No. 9. P. 1517-1533.
Gortsev A.M., Nezhel 'skaya L.A. Estimation of the dead time period and intensities of the synchronous double stochastic event flow // Radiotekhnika. 2004. No. 10. P. 8-16.
Василевская Т.П., Горцев А.М., Нежельская Л.А. Оценивание длительности мертвого времени и параметров синхронного альтернирующего потока с проявлением либо непроявлением событий // Вестник Томского государственного университета. 2004. № 9(II). С. 129-138.
Горцев А.М., Нежельская Л.А. Оценивание длительности мертвого времени и параметров синхронного альтернирующего потока событий // Вестник Томского государственного университета. 2003. № 6. С. 232-239.
Горцев А.М., Нежельская Л.А. Оцениваение параметров синхронного дважды стохастического потока событий методом моментов // Вестник Томского государственного университета. 2002. № 1(1). С. 24-29.
Gortsev A.M., Nezhel 'skaya L.A. Estimation of the parameters of a synchro-alternating Poisson event flow by the method of moments // Radiotekhnika. 1995. V. 40, No. 7-8. P. 6-10.
Леонова М.А., Нежельская Л.А. Оценка максимального правдоподобия длительности мертвого времени в обобщенном асинхронном потоке событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 2 (23). С. 54-63.
Горцев А.М., Леонова М.А., Нежельская Л.А. Совместная плотность вероятностей длительности интервалов обобщенного асинхронного потока событий при непродлевающемся мертвом времени // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2012. № 4 (21). С. 14-25.
Леонова М.А., Нежельская Л.А. Вероятность ошибки при оценивании состояний обобщенного синхронного потока событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2012. № 2(19). С. 88-101.
Gortsev A.M., Nezhel'skaya L.A. An asynchronous double stochastic flow with initiation of superfluous events // Discrete Mathematics and Applications. 2011. V. 21, No. 3. P. 283-290.
Горцев А.М., Нежельская Л.А. Оценивание параметров асинхронного потока с инициированием лишних событий методом моментов // Вестник Томского государственного университета. 2006. № 18. С. 267-273.
Gortsev A.M., Nezhel 'skaya L.A., Shevchenko T.I. Estimation of the states of an MC-stream of events in the presence of measurement errors // Russian Physics Journal. 1993. V. 36, No. 12. P. 1153-1167.
Калягин А.А., Нежельская Л.А. Оценка дилтельности мертвого времени в обобщенном полушнхронном потоке событий // Новые информационные технологии в исследовании сложных структур : материалы Десятой рос. конф. с междунар. участием (9-13 июня 2014 г.). Томск : Издательский Дом Томского государственного университета, 2014. С. 96-97. Горцев А.М., Калягин А.А., Нежельская Л.А. Оптимальная оценка состояний обобщенного полусинхронного потока событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 2(11). С. 66-81.
Горцев А.М., Нежельская Л.А. Полусинхронный дважды стохастический поток событий при продлевающемся мертвом времени // Вычислительные технологии. 2008. Т. 13, № 1. С. 31-41.
Gortsev A.M., Nezhel'skaya L.A. Estimation of the dead-time period and parameters of a semi-synchronous double-stochasic stream of events // Measurement Techniques. 2003. V. 46, No. 6. P. 536-545.
Горцев А.М., Нежельская Л.А. Оценивание параметров полусинхронного дважды стохастического потока событий методом моментов // Вестник Томского государственного университета. 2002. № 1(1). С. 18-23.
Нежельская Л.А. Оптимальное оценивание состояний полусинхронного потока событий в условиях его частичной наблюдаемости // Вестник Томского государственного университета. 2000. № 269. С. 95-98.
Горцев А.М., Нежельская Л.А. О связи MC-потоков и MAP-потоков событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2011. № 1(14). С. 13-21.
Gortsev A.M., Nezhel'skaya L.A., Solov'ev A.A. Optimal State Estimation in MAP Event Flows with Unextendable Died Time // Automation and Remote Control. 2012. V. 73, No. 8. P. 1316-1326.
Апанасович В.В., Коляда А.А., Чернявский А.Ф. Статистический анализ случайных потоков в физическом эксперименте. Минск : Университетское, 1988. 254 с.
Gortsev A.M., Nezhel 'skaya L.A. Estimate of parameters of synchronously alternating Poisson stream of events by the moment method // Telecommunications and Radio Engineering (English translation of Elektrosvyaz and Radiotekhnika). 1996. V. 50, No. 1. P. 56-63. Нежельская Л.А. Оптимальная оценка состояний синхронного MC-потока событий // Избранные доклады международной конференции «Всесибирские чтения по математике и механике». Томск : Изд-во ТГУ, 1997. Т. 1. С. 97-102. Bushlanov I.V., Gortsev A.M. Optimal estimation of the states of a synchronous double stochastic flow of events // Automation and Remote Control. 2004. V. 65, No. 9. P. 1389-1399.
Gortsev A.M., Nezhel 'skaya L.A. Estimation of the dead time period and intensities of the synchronous double stochastic event flow // Radiotekhnika. 2004. No. 10. P. 8-16.
Горцев А.М., Нежельская Л.А. Синхронный дважды стохастический поток событий при продлевающемся мертвом времени // Теория вероятностей, случайные процессы, математическая статистика и приложения : материалы междунар. конф. Минск : Изд-во БГУ, 2005. С. 60-69.
Сиротина Мария Николаевна. E-mail: [email protected] Томский государственный университет
Поступила в редакцию 17 февраля 2015 г.
Sirotina Maria N. (Tomsk State University, Russian Federation).
Joint probability density function of the interval duration between adjacent events of the modulated synchronous flow in conditions of fixed dead time and recurrence conditions of the flow.
Keywords: modulated synchronous flow; dead time; joint probability density function of the interval duration between an adjacent observable flow of events; recurrence condition of a flow.
DOI 10.17223/19988605/31/6
In the paper, the modulated synchronous twice stochastic flow of events is considered, which rate is piecewise constant random process K(t) with two states: К2 (К > К2). The time when process K(t) is staying in i-state has exponential probability distribution function with parameter а i, i = 1,2 . During the time random interval when K(t) = К i, there is a Poisson flow with the rate К j, i = 1,2 . A state transition of process K(t) occurs in arrival moment of the Poisson flow event, moreover, the passing from the first to the second state is realized with probability p, the pas the second to the first state is realized with probability q.
The flow functions in conditions of dead time, which is one of the falsifying factors of state and parameter estimation of the flow. After each registered event there is time of fixed duration T (dead time), during which another flow events is inaccessible for observation. One considers nonextendable dead time, that is all events, which happen during dead time interval, do not arise its prolongation. When duration of dead time period is finished, the first happened event creates dead time period of duration T again, and etc. Note that for the flow, which functions in dead time conditions, events are observable if they did not get into dead time interval (events which cause its approach). For the flow which functions in dead time absence all events are observable.
The derivation of the explicit form of the formula for the joint probability density function of the interval duration between adjacent events of the observable flow is hold. On the base of the joint probability density function as well as the probability density function is obtained before a probability characteristics of the flow such as expectation function, expected mean square and covariance function are given.
A flow characteristic called probability of the observable event type was introduced in the research. There are two types of the considered flow events: 1) the Poisson flow events of the intensity; 2) the Poisson flow events of the A2 intensity. The formulae for introduced probabilities are derived.
It is proved that the modulated synchronous flow in condition of fixed dead time is a recurrence flow because its joint probability density function is factored under certain conditions.
The obtained formulae will be used in the future investigation to estimate input flow parameters using the method of moment or the maximum likelihood method.
REFERENCES
1. Gortsev, A.M. & Golofastova, M.N. (2013) Optimal state estimation of modulated synchronous twice-stochastic flow of events. Vest-
nik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 2(23). pp. 42-53. (In Russian).
2. Sirotina, M.N. (2014) Optimal state estimation of modulated synchronous twice-stochastic flow of events in conditions of fixed dead
time. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 1 (26). pp. 63-74. (In Russian).
3. Gortsev, A. & Sirotina, M. (2014). Joint Probability Density Function of Modulated Synchronous Flow Interval Duration. ITMM
2014: Proceedings 13th International Scientific Conference. Anzhero-Sudzhensk. 20th to 22nd November. pp. 145-152. (In Russian).
4. Sirotina, M.N. & Gortsev, A.M. (2015) [Probability density function of interval duration between two adjacent events of modulated
synchronous flow in conditions of fixed dead time]. Proc. of the International Conference. Minsk. 23rd to 26th February. Minsk: RIVSh. pp. 299-304. (In Russian).
5. Dudin, A.N. & Klimenok, V.N. (2000) Sistemy massovogo obsluzhivaniya s korrelirovannymi potokami [Queueing systems with
correlated flows]. Minsk: BGU.
6. Kingman, J.F.C. (1964) On doubly stochastic Poisson process. Proceedings of Cambridge Phylosophical Society. 60 (4). pp. 923-930.
DOI: http://dx.doi.org/10.1017/S030500410003838X
7. Basharin, G.P., Kokotushkin, V.A. & Naumov V.A. (1979) O metode ekvivalentnykh zamen rascheta fragmentov setey svyazi [About
the method of renewal of subnetwork computation]. Izvestiya ANSSSR. Tekhnicheskaya kibernetika. 6. pp. 92-99.
8. Basharin, G.P., Kokotushkin, V.A. & Naumov V.A. (1980) O metode ekvivalentnykh zamen rascheta fragmentov setey svyazi [About
the method of renewal of subnetwork computation]. Izvestiya AN SSSR. Tekhnicheskaya kibernetika. 1. pp. 55-61.
9. Neuts, M.F. (1979) A versatile Markov point process. Journal of Applied Probability. 16. pp. 764-779. DOI: 10.2307/3213143
10. Lucantoni, D.M. (1991) New results on the single server queue with a batch markovian arrival process. Communication in Statistics Stochastic Models. 7. pp.1-46. DOI: 10.1080/15326349108807174
11. Lucantoni, D.M. & Neuts, M.F. (1994) Some steady-state distributions for the MAP/SM/1 queue. Communication in Statistics Stochastic Models. 10. pp. 575-598. DOI: 10.1080/15326349408807311
12. Livshits, K.N. & Bublik, Ya.S. (2010) The probability of insurance company collapse with twice stochastic flow of insurance payouts. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 1(10). pp. 66-77. (In Russian).
13. Yang, Y.W. (2004) BMAP/G/1 queue with correlated arrivals of customers and disasters. Operation Research Letters. 32 (4). pp. 364-373. DOI: 10.1016/j.orl.2003.09.005
14. Artalejo, J.R. & Chakravarthy, S.R. (2006) Computational analysis of the maximal queue length in the MAP/M/c retrival queue. Applied Mathematics and Computation. 183 (2). pp. 1399-1409.
15. Best, J. (2009) Doubly Stochastic Processes: an Approach for Understanding Central Nervous System Activity. Selected Topics on Applied Mathematics, Circuits, Systems and Signals. Proceedings of the 3rd International Conference on Circuits, Systems and Signals (CSS'09). Vouliagmeni, Athens, Greece. 29th to 31st December. WSEAS Press. pp. 155-158.
16. Bushalnov, I.V., Gortsev, A.M. & Nezhel'skaya L.A. (2008) Estimating parameters of the synchronous twofold-stochastic flow of events. Automation and Remote Control. 69 (9). pp. 1517-1533. DOI: 10.1134/S0005117908090075
17. Gortsev, A.M. & Nezhel'skaya L.A. (2004) Estimation of the dead time period and intensities of the synchronous double stochastic event flow. Radiotekhnika - Radiotechnics. 10. pp. 8-16. (In Russian).
18. Vasilevskaya, T.P., Gortsev, A.M. & Nezhel'skaya, L.A. (2004) Otsenivanie dlitel'nosti mertvogo vremeni i parametrov sinkhron-nogo al'terniruyushchego potoka s proyavleniem libo neproyavleniem sobytiy [Dead time and parameters estimation of synchronous alternating flow with or without event manifestation]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 9(II). pp. 129-138.
19. Gortsev, A.M. & Nezhel'skaya, L.A. (2003) Otsenivanie dlitel'nosti mertvogo vremeni i parametrov sinkhronnogo al'terniruyush-chego potoka sobytiy [Dead time period and parameter estimation of synchronous alternating flow of events]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 6. pp. 232-239.
20. Gortsev, A.M. & Nezhel'skaya, L.A. Otsenivaenie parametrov sinkhronnogo dvazhdy stokhasticheskogo potoka sobytiy metodom momentov [Parameter estimation of synchronous twice-stochastic flow of events using the method of moments]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 1(I). pp. 24-29.
21. Gortsev, A.M. & Nezhel'skaya, L.A. (1995) Estimation of the parameters of a synchro-alternating Poisson event flow by the method of moments. Radiotekhnika - Radiotechnics. 40 (7-8). pp. 6-10.
22. Leonova, M.A. & Nezhel'skaya, L.A. (2013) Maximum likelihood estimation of dead time value at a generalized asynchronous flow of events. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 2 (23). pp. 54-63. (In Russian).
23. Gortsev, A.M., Leonova, M.A. & Nezhel'skaya, L.A. (2012) The joint probability density of duration of the intervals in a generalized asynchronous flow of events with unprolonging dead time. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 4 (21). pp. 14-25. (In Russian).
24. Leonova, M.A. & Nezhel'skaya, L.A. (2012) The probability of wrong decisions in the estimation of states of a generalized asynchronous flow of events. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika -Tomsk State University Journal of Control and Computer Science. 2 (19). pp. 88-101. (In Russian).
25. Gortsev, A.M. & Nezhel'skaya, L.A. (2011) An asynchronous double stochastic flow with initiation of superfluous events. Discrete Mathematics and Applications. 21 (3). pp. 283-290. DOI: 10.1515/dma.2011.017
26. Gortsev, A.M. & Nezhel'skaya, L.A. (2006) Otsenivanie parametrov asinkhronnogo potoka s initsiirovaniem lishnikh sobytiy metodom momentov [Parameter estimation of asynchronous flow with additional event initiation using the method of moments]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 18. pp. 267-273.
27. Gortsev, A.M., Nezhel'skaya, L.A. & Shevchenko, T.I. (1993) Estimation of the states of an MC-stream of events in the presence of measurement errors. Russian Physics Journal. 36 (12). pp. 1153-1167. DOI: 10.1007/BF00559693
28. Kalyagin, A.A. & Nezhel'skaya, L.A. (2014) [Dead time period estimation of generic semi-synchronous flow of events]. Novye in-formatsionnye tekhnologii v issledovanii slozhnykh struktur [New Information Technologies In Complex Structure Investigations]. Proc. of the 10th Russian Conference with International Participation. Tomsk. 9th to 13th July. Tomsk: Tomsk State University. pp. 96-97.
29. Gortsev, A.M., Kalyagin, A.A. & Nezhel'skaya, L.A. (2010) Optimum estimation of states in generalizedsemi-synchronous flow of events. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 2 (11). pp. 66-81. (In Russian).
30. Gortsev, A.M. & Nezhel'skaya, L.A. (2008) Semi-synchronous twice-stochastic event flow in conditions of prolonged dead time. Vychislitel'nye tekhnologii - Computational Technologies. 13 (1). pp. 31-41. (In Russian).
31. Gortsev, A.M. & Nezhel'skaya, L.A. (2003) Estimation of the dead-time period and parameters of a semi-synchronous double-stochasic stream of events. Measurement Techniques. 46 (6). pp. 536-545. DOI: 10.1023/A:1025499509015
32. Gortsev, A.M. & Nezhel'skaya, L.A. (2002) Otsenivanie parametrov polusinkhronnogo dvazhdy stokhasticheskogo potoka sobytiy metodom momentov [Parameter estimation of semi-synchronous twice-stochastic event flow using the method of moments]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 1(1). pp. 18-23.
33. Nezhel'skaya, L.A. (2000) Optimal'noe otsenivanie sostoyaniy polusinkhronnogo potoka sobytiy v usloviyakh ego chastichnoy na-blyu-daemosti [Optimal state estimation of semi-synchronous flow in conditions of its incomplete observability]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 269. pp. 95-98.
34. Gortsev, A.M. & Nezhel'skaya, L.A. (2011) On relationship ofMC- flows and MAP- flows of events. Vestnik Tomskogo gosudar-stvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 1(14). pp. 13-21. (In Russian).
35. Gortsev, A.M., Nezhel'skaya, L.A. & Solov'ev, A.A. (2012) Optimal State Estimation in MAP Event Flows with Unextendable Died Time. Automation and Remote Control. 73 (8). pp. 1316-1326. DOI: 10.1134/S000511791208005X
36. Apanasovich, V.V., Kolyada, A.A. & Chernyavskiy, A.F. (1988) Statisticheskiy analiz sluchaynykh potokov v fizicheskom eksper-imente [Statistic analysis of stochastic flows in physical experiment]. Minsk: Universitetskoe.
37. Gortsev, A.M. & Nezhel'skaya, L.A. (1996) Estimate of parameters of synchronously alternating Poisson stream of events by the moment method. Telecommunications and Radio Engineering. 50 (1). pp. 56-63.
38. Nezhel'skaya, L.A. (1997) [Optimal state estimation of synchronous MC-flow of events]. Vsesibirskie chteniya po matematike i mekhanike [Siberian Readings on Mathematics and Mechanics]. Proc. of the International Conference. Tomsk: Tomsk State University. Vol. 1. pp. 97-102. (In Russian).
39. Bushlanov, I.V. & Gortsev, A.M. (2004) Optimal estimation of the states of a synchronous double stochastic flow of events. Automation and Remote Control. 65 (9). pp. 1389-1399. DOI: 10.1023/B:AURC.0000041418.09187.63
40. Gortsev, A.M. & Nezhel'skaya, L.A. (2004) Estimation of the dead time period and intensities of the synchronous double stochastic event flow. Radiotekhnika - Radiotechnics. 10. pp. 8-16. (In Russian).
41. Gortsev, A.M. & Nezhel'skaya, L.A. (2005) [Synchronous twice-stochastic flow of events in conditions of fixed dead time]. Teoriya veroyatnostey, sluchaynye protsessy, matematicheskaya statistika i prilozheniya [Probability Theory, stochastic Processes, Mathematical Statistics and Applications]. Proc. of the International Conference. Minsk: BGU. pp. 60-69. (In Russian).