ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2023 Управление, вычислительная техника и информатика № 62
Tomsk State University Journal of Control and Computer Science
Научная статья УДК 519.2
doi: 10.17223/19988605/62/7
Применение метода моментов для оценки длительности мертвого времени в рекуррентном обобщенном полусинхронном потоке событий с продлевающимся мертвым временем
Людмила Алексеевна Нежельская1, Илья Денисович Степаненко2
12 Томский государственный университет, Томск, Россия
1 ludne@mail.ru
2 97step@mail.ru
Аннотация. Исследуется обобщенный полусинхронный поток событий с двумя состояниями, относящийся к классу дважды стохастических потоков. Его функционирование происходит в условиях продлевающегося мертвого времени фиксированной длительности. Разработан алгоритм оценивания длительности мертвого времени. Приводятся результаты статистических экспериментов.
Ключевые слова: дважды стохастический обобщенный полусинхронный поток событий; продлевающееся мертвое время фиксированной длительности; плотность вероятности; совместная плотность вероятности; условия рекуррентности; рекуррентный поток; преобразование Лапласа; уравнение моментов; оценка длительности мертвого времени.
Для цитирования: Нежельская Л.А., Степаненко И.Д. Применение метода моментов для оценки длительности мертвого времени в рекуррентном обобщенном полусинхронном потоке событий с продлевающимся мертвым временем // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2023. № 62. С. 65-75. doi: 10.17223/19988605/62/7
Original article
doi: 10.17223/19988605/62/7
An application of the method of moments to estimation of the dead time duration in recurrent generalized semi-synchronous flow of events with prolonged dead time
Lyudmila A. Nezhel'skaya1, Ilya D. Stepanenko2
12 Tomsk State University, Tomsk, Russian Federation
1 ludne@mail.ru
2 97step@mail.ru
Abstract. In this article we investigate a generalized semi-synchronous flow of events with two states and which is related to the class of double stochastic flows. The functioning of flow occurs in conditions of the prolonged dead time of fixed duration. An algorithm for estimating the duration of dead time has been developed. The results of statistical experiments are presented.
Keywords: generalized semi-synchronous double stochastic flow of events; prolonged dead time of fixed duration; probability density; joint probability density; flow recurrence conditions; recurrent flow; Laplace transform; equation of moments; estimation of the dead time duration.
For citation: Nezhel'skaya, L.A., Stepanenko, I.D. (2023) An application of the method of moments to estimation of the dead time duration in recurrent generalized semi-synchronous flow of events with prolonged dead time. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika - Tomsk State University Journal of Control and Computer Science. 62. pp. 65-75. doi: 10.17223/19988605/62/7
© Л.А. Нежельская, И.Д. Степаненко, 2023
Введение
Теория массового обслуживания (ТМО) является составной частью исследования операций. С развитием информационных и телекоммуникационных технологий появились важные прикладные задачи ТМО — проектирование и создание информационно-вычислительных сетей, спутниковых сетей связи, телекоммуникационных сетей и т.п., что повлекло, в свою очередь, появление задач, связанных с исследованием и оптимизацией протекающих в разного рода сетях процессов [1, 2].
Первым потоком для исследования и применения был простейший поток событий. Однако в настоящее время в той или иной степени данная модель является непригодной для описания реальных информационных потоков сообщений (запросов, заявок, событий) в телекоммуникационных сетях из-за разнородности передаваемых данных и их взаимной коррелированности [2]. Таким образом, требования практики послужили стимулом к рассмотрению дважды стохастических потоков (коррелированных потоков) [2-6], которые являются широко используемой математической моделью реальных потоков сообщений в телекоммуникационных системах и сетях, глобальных компьютерных сетях, спутниковых сетях связи.
Большинством авторов работ по ТМО исследуются математические модели потоков событий, когда все события потока доступны наблюдению. В реальности же зарегистрированное событие может создать период мертвого времени для регистрирующего прибора (период ненаблюдаемости) [7], в течение которого другие события потока становятся недоступными для регистрирующего прибора (теряются).
Можно считать, что мертвое время выступает искажающим фактором при решении задач оценивания как состояний потока, так и его параметров.
В данной работе рассматривается обобщенный полусинхронный поток, функционирующий в условиях продевающегося мертвого времени фиксированной длительности (далее - поток). Получены условия рекуррентности, после чего решается уравнение моментов для нахождения оценки длительности мертвого времени в рекуррентном потоке. Приведены результаты статистических экспериментов по оцениванию длительности мертвого времени, поставленных на имитационной модели рассматриваемого потока.
1. Математическая модель потока. Постановка задачи
Рассматривается дважды стохастический обобщенный полусинхронный поток событий, сопровождающий процесс которого есть кусочно-постоянный принципиально ненаблюдаемый случайный процесс А( г) с двумя состояниями [8]: если А( г) = Х1, будем говорить, что имеет место первое состояние () процесса А(г) (потока), если А (г) = А2, то второе состояние (Б2) процесса А(г) (потока), где А >А2 > 0. В течение временного интервала, когда А(г) = А,, имеет место пуассоновский поток событий с параметром А(, I = 1,2. Переход из первого состояния процесса А(г) во второе (^ 52) возможен только в момент наступления события, при этом переход осуществляется с вероятностью р (0 < р < 1), с вероятностью 1 - р процесс А(г) остается в первом состоянии. Тогда длительность временного интервала, на котором значение процесса А(г) = А1 - участка стационарности процесса А( г) в первом состоянии - есть случайная величина с экспоненциальной функцией распределения Е1(г) = 1 - рХ1, г > 0 [6]. При этом длительность пребывания процесса А( г) во втором состоянии
распределена по экспоненциальному закону ) = 1 - е, г > 0. Переход из второго состояния процесса А(г) в первое состояние (52 ^ ^) осуществляется в произвольный момент времени, не связанный с моментом наступления события потока. При переходе процесса А (г) из второго состояния в первое инициируется с вероятностью 5 (0 < 5 < 1) дополнительное событие в первом состоянии
(т.е. сначала осуществляется переход, а затем инициируется дополнительное событие; отметим, что переход и наступление события происходят мгновенно). Матрицы интенсивностей переходов (инфи-нитезимальных характеристик процесса г)) принимают вид [6]:
Da
0
(1 -5)а2 -(Х2 +а2)
D,
(1 - Р )Xi PXi
Ъа1
Xn
Элементами матрицы ^ являются интенсивности переходов процесса ) из состояния в состояние с наступлением события. Недиагональные элементы матрицы Б0 - интенсивности переходов из состояния в состояние без наступления событий. Диагональные элементы матрицы Б0 - интенсивности выхода процесса г) из своих состояний, взятые с противоположным знаком.
Будем рассматривать обобщенный полусинхронный поток при его неполной наблюдаемости, т.е. когда не все события потока доступны наблюдению. Каждое зарегистрированное в потоке событие порождает период ненаблюдаемости фиксированной длительности Т (мертвое время), другие события, произошедшие в этот период, недоступны наблюдению (теряются). Хотя события и не наблюдаются в течение периода мертвого времени, каждое из них вызывает продление периода ненаблюдаемости на ту же величину Т. Следующее наблюдаемое событие регистрируется после окончания последнего периода ненаблюдаемости и снова порождает период мертвого времени длительности Т. Таким образом, общий период ненаблюдаемости является случайной величиной.
На рис. 1 представлена одна из возможных реализаций процесса Х{г) и наблюдаемого потока,
где 1, 2 - состояния случайного процесса Х(г) = Хг, г = 1,2 ; а = а2 ; черные кружки - ненаблюдаемые события; Ъ - значения периодов ненаблюдаемости потока; Ц, г2,... - моменты наступления событий в наблюдаемом потоке.
Рис. 1. Реализация обобщенного полусинхронного потока с продлевающимся мертвым временем
фиксированной длительности T Fig. 1. Realization of Generalized semi-synchronous flow with an extended dead time of fixed duration T
Утверждение 1.1. Для обобщенного полусинхронного потока событий сопровождающий случайный процесс X( t) является марковским.
Утверждение 1.2. Моменты наступления событий ^, t2,...,^,... в наблюдаемом потоке порождают вложенную цепь Маркова {X(tk)}.
Цель работы - вывод уравнения моментов для оценки длительности мертвого времен и проведение ряда статистических экспериментов для установления качества полученных результатов. Настоящая статья является продолжением [9].
2. Плотность вероятности длительности интервала между соседними событиями в потоке
В данном разделе приводится явная формула плотности вероятности длительности интервала между соседними событиями в обобщенном полусинхронном потоке в условиях полной наблюдаемости за потоком [8].
Рассматривается обобщенный полусинхронный поток событий в условиях полной наблюдаемости, Т = 0, математическое описание которого приведено в разд. 1.
Обозначим тк = — гк, к = 1,2..., - значение длительности к-го интервала между соседними событиями потока, р(тк) — плотность вероятности длительности к-го интервала между соседними событиями в рассматриваемом потоке. Так как рассматривается стационарный режим функционирования потока, тор(%к) = Р(т) для всех к = 1, 2..., т>0 . Поэтому без ограничения общности момент наступления события гк можно положить равным нулю, т.е. момент наступления события есть т = 0 .
Теорема 2.1. Плотность вероятности длительности интервала между соседними событиями в обобщенном полусинхронном потоке событий в случае А — (Л2 + а2) ^ 0 имеет вид [8]:
Р(т) = у^1Т + (1 — у)^"^, т> 0, у = 1 — %(0) А ~2 + ** 2>, (1)
А1 — (А 2 +а2)
Р(А 2 +а2)
где г] = А, г2 = Л2 + а2, % (0) =
Р(А2 +§а2) + а2 '
3. Совместная плотность вероятности длительностей двух смежных интервалов
В силу стационарности функционирования потока расположение одного интервала (гк, гк+1) либо двух смежных интервалов (г ,г ), (г , г ) между моментами наступления событий потока г1, г2,..., гк,... на временной оси может быть произвольным. Поэтому рассмотрим два соседних временных интервала (¿1, г2 ) и (г2, г3 ) со значениями длительностей интервалов т1 = г2 — и т2 = г3 — г2 соответственно, т > 0, т2 > 0 . Соответствующая совместная плотность вероятности при Т = 0 есть РСЧт2>> т1 > 0 т2 > 0 .
Теорема 3.1. Обобщенный полусинхронный поток событий является коррелированным, и совместная плотность вероятности длительностей смежных интервалов для случая А — (^ + а2) ^ 0 имеет вид [10]:
р(тх, Т2) = Р(тх) Р(Т2) + у(1 — у)(А2 —Р(А2 +5а2)) Г — ^е"^1 ]Г ^е"^2 — ^е"^2 ], (2)
А2 + а 2 L J L ^
где т >0, т2 > 0, у, г2,р(тк) определены в (1) для т = тк, к = 1,2.
3.1. Условие рекуррентности потока
Рассмотрим случай, когда поток становится рекуррентным [10]. Анализируя выражение (2), выпишем одно из условий факторизации совместной плотности Л2 — р(Л2 +5а2) = 0, р ^ 1, и соответствующий этому условию вид одномерной плотности (1):
р(т) = У^е-1 (1 — у)г2е~22Т, т> 0, у = 1 — р А — (А;2 + §а;), ¿1 = ЯЬ ¿2 +а2 .
л^ — (Л2 + а2)
При остальных условиях рекуррентности (у(1 — у) = 0) поток вырождается в простейший.
4. Оценивание длительности мертвого времени методом моментов
Оценка длительности мертвого времени в рекуррентном обобщенном полусинхронном потоке событий в условиях продевающегося мертвого времени производится методом моментов [11]. Для получения уравнения моментов воспользуемся преобразованием Лапласа.
Пусть ^ - значение длительности общего периода ненаблюдаемости в рекуррентном обобщенном полусинхронном потоке событий. Последовательность моментов наступления событий наблюдаемого потока t2,... образует вложенную цепь Маркова {Ц^)}, и рекуррентность наблюдаемого потока сохранится.
Для нахождения преобразования Лапласа (5) плотности вероятности общего периода ненаблюдаемости рекуррентного обобщенного полусинхронного потока событий воспользуемся теоремой о преобразовании Лапласа g^ (5) плотности вероятности общего периода ненаблюдаемости для произвольного рекуррентного дважды стохастического потока событий [12].
Теорема 4.1. Преобразование Лапласа ^ (5) плотности вероятности значений длительности
общего периода ненаблюдаемости в рекуррентном дважды стохастическом потоке событий, функционирующем в условиях продлевающегося мертвого времени, имеет вид:
е
т
1 -\е^хр(х)йх о
(3)
со Т
где ф0(7") = | р(х)с1х — 1 -1 р(х)с1х - функция Пальма - вероятность того, что на интервале (О,Г) сот о
бытие потока не наступило; р(х) - плотность вероятности длительности интервала между соседними событиями в рекуррентном потоке.
Следствие теоремы 4.1. Математическое ожидание случайной величины ^ определяется в виде:
1 т
Щ = (.) и = Т + —— | хр{х)йх. (4)
ФоСОо
В качестве условия рекуррентности в дальнейшем изложении используется только случай А,2 = р(А,2 + 5а2) , 0 < р < 1.
Теорема 4.2. Преобразование Лапласа g ^ (5) плотности вероятности общего периода ненаблюдаемости рекуррентного обобщенного полусинхронного потока событий, функционирующего в условиях продлевающегося мертвого времени, имеет вид:
\ у^(1 - е-( 2+5 )Т) (1 -у) 22(1 - е-( ^+5)Т)
(2 + 5) (22 + 5)
g« (5 ) = ф|Р
(5)
где 21, 22, у определены в разд. 3.1; ф0 (Т) = уе~2]Т + (1 - у)е~.
Доказательство. Применяя к плотности (1) условие рекуррентности Х2 = р(Х2+5а2), О < р < 1, переобозначив в (3) р(х) на р(х), определенную в разд. 3.1, находим
= + 0 - Т*^'* = + ^ - Тг'е~"""Г - °''Т)гзе"'""1Г - (Ч
0 о + 5 22 + 5 21 + 5 22 + 5
Функция Пальма примет вид:
да Т Т Т
п
ф0 (Т) = | р(х)йх = 1 - | р(х)йх = 1 - | у^е"21Хйх -1 (1 - у)22е"22хйх =
Т 0 0 0
(7)
=1 -
у - уе"21 + (1 - у) - (1 - у)е"22Т = уе"21Т + (1 - у)е
~2\Т , /1 „ ^Т
Подставляя (6) и (7) в (3), получим (5). Теорема доказана.
Следствие теоремы 4.2. Математическое ожидание общего периода ненаблюдаемости рекуррентного обобщенного полусинхронного потока событий, функционирующего в условиях продлевающегося мертвого времени, имеет вид:
z2 y(i - г"zТ ) + z (1 -y)(i - е"22 Т )
= —- Лт/-(8)
Z1Z2 т0 (Т )
где ф0(Т), z1, z2 определены в (5).
Доказательство. Используя следствие теоремы 4.1 и вычислив производную от g% (s), определенную в (5), в точке s = 0, по формуле (4) получим (8). Следствие теоремы доказано.
Рассмотрим временной интервал (tk, tk+1), значение длительности которого есть fk = tk+1 - tk . Введем случайную величину %, которая имеет смысл длительности интервала между моментом окончания общего периода ненаблюдаемости и моментом наступления следующего события tk+1. Таким образом, получим следующее равенство для значений случайной величины: цк = хк — %к . Так как в данной работе рассматривается рекуррентный поток, то Tk, к = 1,2,..., - независимые случайные величины, поэтому равенство можно переписать в виде: ^ = f - %; здесь индекс k опущен, поскольку рассматривается произвольный интервал времени между соседними событиями в наблюдаемом потоке. Случайные величины п и % являются зависимыми. Тогда плотность вероятности длительности интервала между соседними событиями в рекуррентном наблюдаемом потоке примет вид:
p(f) = f p(%)p(4 | %)d% = f p(%)p(f - % | %)d%. (9)
0 0
Найдем преобразование Лапласа gf (s) плотности вероятности p(f) .
Теорема 4.3. Преобразование Лапласа gf (s) плотности вероятности значений длительности интервала между соседними событиями в рекуррентном потоке событий с продлевающимся мертвым временем имеет вид:
gf(s) = Z177 g%(s)+* (Дх Z2 - l>g%(s)- p'g%(s+p^1 (10)
где z1, z2, определены в (1), g%(s), g%(s-pX1 +a2) определены в (5) для аргументов 5 и s - pX1 - a2 соответственно.
Доказательство. Пусть момент наступления события в наблюдаемом потоке есть f = 0. Рассмотрим интервал (0, f) = (0, % - . Зафиксируем Введем вероятности pу (f - %) — условные вероятности того, что на интервале длительности ^ = f-% не наступит событий наблюдаемого потока и в момент времени f = % - ^ значение процесса X(% - "q) = Xу при условии, что в момент времени f = % значение процесса X(%) = Xi, i, j = 1,2. Соответствующие piy (f - %) имеют вид:
pn(T -%) = e-X1(f-%), А2(Т -%) = 0,p22(f -%) = ^ +a2)(f-%),
(1 -ô)a
2
, т> 0.
(11)
— (Я2 + а2)
Имеем Р1 (т — 4) = рЛ (т — 4) + рг-2 (т — 4) - условная вероятность того, что на интервале (4, т) событий наблюдаемого потока не произойдет при условии, что в момент времени т = 4 значение процесса Х(4) = X, 1 = 1,2 . Тогда условная плотность вероятности значения длительности интервала (4, т) (без наступления событий на этом интервала) по определению есть (т — 4) = — Р' (т — 4), 1 = 1,2. С учетом (11) имеем
Р1(т —4) = ^1^-"1(т—4), Р2(т —4) = (X2 +«2)е-(^2+а2)(т—4), 4<т. (12)
Условную плотность р(х - 4 | 4) в формуле (9) представим в виде:
р(х-41 4) = %(х = 4 | 4М(х-4) + ^(х = 4 | 4)р2(х-4), (13)
где (х = 4 | 4) - условные вероятности того, что в момент времени х = 4 значение процесса Х(х = 4) = Хг-, г = 1,2, при условии, что в момент времени х = 0 событие наступило и наступил общий период ненаблюдаемости длительности
Используя условие рекуррентности Х2 = р(Х2+5а2) и считая х = 4 , выпишем вероятности (х = 4|4), г = 1,2 в виде [10]:
^(х = 414) = %(х = 4 | 4) =
а2 (1 - р + р5) + (Х2 " р(Х2 + 5а2 )) 1 - е~(РХ1 +а2)4
а2 + р(Х2 + 5а2) + (Х2 - Р(Х2 + 5а2)) р(Х2 + а2) + % (Х2 - р(Х2 + 5а2)) 1 - е~(РХ1 + а2)4 1 - е~(рХ1 + а2)4
(14)
«2 + рОЦ + За2) + (^2 - р(Х2 + 8а2))
1 - е
-(рА,1+«2) 4
а2 рХ1 ,
где =-, ^2 =-, +^2 = 1.
рХ1 +а2 рХ1 +а2
Подставляя (12) и (14) в (13), находим
р(х-4|4) = 0, 0<х<4, р(х-414) = Г©Х^"^"^ +[1-Г(4)](Х2 +а2)e-(Х2+а2)(х-4), х>4, (15)
где Г(4) = 1 -^(4) Х-Х2 -5а2, ^(4) = ^2-к-Мх = 4|4Ж(рХ1+а2)4, Я2(х = 414) = р.
Х^ - (Х2 + а2)
Преобразование Лапласа плотности р(х) с учетом (9) примет вид:
х да да да
^ (5) = |е^р(х)йх = |р(4)|е-5хр(П|4)й4йт =g4 (5)}е">(||4й = g4 (5)}е-5(х-4)р(т - 4|4^ . (16) 00 4 4 0
Подставляя в (16) выражение (15) и проделывая необходимые преобразования, находим
2 ( 2 2 ^ да
^ (5) = —1-g4 (5) + —2---^ } е~54 (1 - Г(4))p(4)d4 (17)
21 + 5 ^ 22 + 5 21 + 5 ) 0
Подставляя Г(4) из (15) в (17), получим (10). Теорема доказана.
Теорема 4.4. Математическое ожидание длительности интервала между соседними событиями в рекуррентном обобщенном полусинхронном потоке, функционирующем в условиях продлевающегося мертвого времени, имеет вид:
Мх = 1 + ---1-+ М 4- р [ 2Х(1 - р)-а2 ]21 " 22 "а2(5-1) g5 (р21 +а2), (18)
2Х 22 р2г +а2 2\22К р2\ +а2)
где 21, 22, g4(р2х +а2) определены в (1) и (5) при 5 = р21 +а2; М4 определена в (8).
Доказательство. Используя следствие теоремы 4.1, заменив £ на т и вычислив производную от gт (5), определенную в (10), в точке 5 = 0, по формуле (4) получим (19). Теорема доказана.
5. Уравнение моментов для оценки длительности мертвого времени
В данном разделе статьи описывается оценивание длительности мертвого времени Т методом моментов.
1 " т
Введем статистику Ст =— X хкт, где хк = %+1 - % - значение длительности интервала , %+1).
Пк=1
Зафиксируем параметры потока Х, Х2, а2, р, 5 . Тогда будет достаточно первого момента, чтобы оценить величину Т. Уравнение моментов, позволяющее оценить длительность мертвого времени Т,
да
имеет вид: Мт = С, где статистика С при п ^ го стремится к начальному моменту Мт [11]. Используя формулу (18), получим уравнение моментов для оценивания длительности мертвого времени Т:
1 1
— +--
1
Z2 у(1 - e-z? ) + z1(1 -у)(1 - e-Z2T )
+
z1 z2 Pz1 +a2 z1 z2 (ye Z1T
(ye-Z1 + PZ1 + a2)T + (1 - y)eZ2 + Pz1 + a2)T )
(1 -y)e"Z2T
)
- P [z1(1 - P) a2 ]
z1 - z2 - a2 (Ô -1) z2( pz1 +a2)
,( PZ1+a2)T
1 z y(1 - e"( z1+pz1+a2)T ) z2 (1 -y)(1 - e"( z2+pz1+a2)T ) (z1 + pz1 + a2) ( z2 + pz1 + a2)
-1
(19)
= Q,
где z1; z2, у определены в (5); 0 < T <xmin, xmin = min тк, к = 1, п.
Решение уравнения (19) возможно только численно. Обозначим левую часть данного уравнения, как M(T) . Очевидно, что при увеличении T математическое ожидание Mi возрастает с ростом T. Таким образом, M(T) будет возрастающей функцией при 0 < T . Следовательно, уравнение (19) имеет единственное решение. Тогда оценка T длительности мертвого времени является состоятельной [11]. Корень уравнения (19) на интервале 0 < T <x^n есть значение оценки T. Если на интервале 0 < T < xmin уравнение (19) решения не имеет, то возможны два варианта:
1) если M(0) > C1, то в качестве значения оценки T естественно выбрать T = 0 ;
2) если M(xmin) < Ci, то T
xmin .
6. Численные результаты оценивания длительности мертвого времени
Статистика С1 является результатом работы имитационной модели обобщенного полусинхронного потока событий, функционирующего в условиях продлевающегося мертвого времени фиксированной длительности Т. Имитационная модель реализована на языке программирования С# [13]. Алгоритм оценивания:
1) рассчитывается статистика С1;
2) методом Ньютона рассчитывается корень уравнения (19);
3) N раз повторяя шаги 1 и 2, получаем значения оценок Т, Т2,...,ТМ ;
4) рассчитывается выборочное среднее и выборочная вариация оценки длительности мертвого времени Т по формулам
1 N „ Л „ 1 N , , \ 2
м(Т) = — е т, V(Т) =-ж — т) .
N 1=1 N — 1 ЕЛ ' '
Здесь Т - значение длительности мертвого времени, известное из имитационной модели рассматриваемого потока.
Зададим параметры потока, соблюдая условие рекуррентности, следующим образом: X2 = 1; а2 = 0,42; 5 = 0,8 ; р = 0,75 ; Тт = 1300 ед. времени.
Рассмотрим три варианта задания параметра Х1: Х1 = 3 ; Х1 = 7 ; Х1 = 11, для Т = 1; 1,5; 2; 2,5; 3; 3,5 ед. времени.
Ниже представлены результаты оценивания (табл. 1-3, рис. 2-7).
Таблица 1
Результаты работы алгоритма для Х1 = 3
T 1 1,5 2 2,5 3 3,5
M ( т) 0,998584 1,492618 1,989632 2,488640 2,988937 3,479390
V (т) 0,000006 0,000065 0,000131 0,000210 0,000306 0,000920
х
Выборочное среднее
Выборочная вариация
0 12 3
Мертвое время
Рис. 2. Выборочное среднее M (т) Fig. 2. Sample average M (т)
1,00E-03 5,00E-04 0,00E+00
0 1 2 3 Мертвое время
Рис. 3. Выборочная вариация V (т) Fig. 3. Sample variation V (т)
4
Таблица 2
Результаты работы алгоритма для Ii = 7
4
T 1 1,5 2 2,5 3 3,5
M (т) 1,000058 1,497625 1,997458 2,497454 2,996384 3,486561
V (т) 0,000004 0,000014 0,000024 0,000071 0,000174 0,000501
Выборочное среднее
Выборочная вариация
0 1 2 3
Мертвое время
Рис. 4. Выборочное среднее M (т) Fig. 4. Sample average M (т)
6,00E-04 4,00E-04 2,00E-04 0,00E+00
• •
0 1 2 3 Мертвое время Рис. 5. Выборочное вариация V (т) Fig. 5. Sample variation V (т)
Таблица 3
Результаты работы алгоритма для Ii = 11
4
4
T 1 1,5 2 2,5 3 3,5
M ( т) 1,000079 1,497675 1,997467 2,497575 2,996850 3,491620
V (т) 0,000004 0,000014 0,000034 0,000074 0,000190 0,000510
Выборочное среднее
1 2 3
Мертвое время
Рис. 6. Выборочное среднее M (т) Fig. 6. Sample average M (т)
Выборочная вариация
6,00E-04 4,00E-04 2,00E-04 0,00E+00
• •
0 1 2 3 Мертвое время
Рис. 7. Выборочное вариация V (т) Fig. 7. Sample variation V (т)
0
4
4
Вывод: результаты статистических экспериментов, представленные в табл. 1-3, показывают, что выборочные средние значения T оценок T достаточно близки к истинным значениям T. При
увеличении T увеличивается значение выборочной вариации оценки T. Это связано с увеличением общего периода ненаблюдаемости потока событий, что влечет за собой большую потерю событий обобщенного полусинхронного потока при наличии продлевающегося мертвого времени.
Заключение
В настоящей работе рассмотрен обобщенный полусинхронный поток событий, функционирующий в условиях продлевающегося мертвого времени фиксированной длительности T. Для рекуррентного наблюдаемого потока событий построено преобразование Лапласа плотности вероятности общего периода ненаблюдаемости и преобразование Лапласа плотности вероятности длительности интервалов между соседними событиями в наблюдаемом потоке. Получено уравнение моментов для определения значения T оценки T длительности мертвого времени T. Проведены статистические эксперименты, показавшие приемлемое качество оценок.
Список источников
1. Горцев А.М., Назаров А.А., Терпугов А.Ф. Управление и адаптация в системах массового обслуживания. Томск : Изд-во
Том. ун-та, 1978. 208 с.
2. Вишневский В.М., Дудин А.Н., Клименок В.И. Стохастические системы с коррелированными потоками. Теория и приме-
нение в телекоммуникационных сетях. М. : Техносфера, 2018. 564 с.
3. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи. Ч. 1 //
Известия АН СССР. Техническая кибернетика. 1979. № 6. С. 92-99.
4. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи. Ч. 2 //
Известия АН СССР. Техническая кибернетика. 1980. № 1. С. 55-61.
5. Neuts M.F. A versatile Markov point process // Journal of Applied Probability. 1979. V. 16. P. 764-779.
6. Нежельская Л.А. Оценка состояний дважды стохастических потоков событий. Томск : Изд-во Том. гос. ун-та, 2020. 210 с.
7. Апанасович В.В., Коляда А.А., Чернявский А.Ф. Статистический анализ случайных потоков в физическом эксперименте.
Минск : Университетское, 1988. 256 с.
8. Горцев А.М., Калягин А.А., Нежельская Л.А. Оптимальная оценка состояний обобщенного полусинхронного потока
событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 2 (11). С. 66-81.
9. Нежельская Л.А., Степаненко И.Д. Оценка длительности мертвого времени в рекуррентном обобщенном полусинхрон-
ном потоке событий с продлевающимся мертвым временем // Труды Томского государственного университета. Сер. физико-математическая. 2022. Т. 307. С. 37-46.
10. Горцев А.М., Калягин А.А., Нежельская Л.А. Совместная плотность вероятностей длительности интервалов обобщенного полусинхронного потока событий при непродлевающемся мертвом времени // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2 (27). С. 19-27.
11. Шуленин В.П. Математическая статистика. Томск : Изд-во НТЛ, 2012. Ч. 1. 540 с.
12. Нежельская Л.А. Оценка состояний и параметров дважды стохастических потоков событий : дис. ... д-ра физ.-мат. наук. Томск, 2016. 341 с.
13. Нежельская Л.А., Степаненко И.Д. Статистические эксперименты на имитационной модели обобщенного полусинхронного потока событий с продлевающимся мертвым временем фиксированной длительности // Труды Томского государственного университета. Сер. физико-математическая. 2021. Т. 306. С. 82-89.
References
1. Gortsev, A.M., Nazarov, A.A. & Terpugov, A.F. (1978) Upravlenie i adaptatsiya v sistemakh massovogo obsluzhivaniya
[Management and adaptation in queuing systems]. Tomsk: Tomsk State University.
2. Vishnevsky, V.M., Dudin, A.N. & Klimenok, V.I. (2018) Stokhasticheskie sistemy s korrelirovannymi potokami. Teoriya i prime-
neme v telekommunikatsionnykh setyakh [Stochastic systems with correlated flows. Theory and application in telecommunication networks]. Moscow: Tekhnosfera.
3. Basharin, G.P., Kokotushkin, V.A. & Naumov, V.A. (1979) O metode ekvivalentnykh zamen rascheta fragmentov setey svyazi.
[On the equivalent substitutions method for computing fragments of communication networks]. Izvestiya AN SSSR. Tekhni-cheskaya kibernetika. 6. pp. 92-99.
4. Basharin, G.P., Kokotushkin, V.A. & Naumov, V.A. (1980) O metode ekvivalentnykh zamen rascheta fragmentov setey svyazi.
[On the equivalent substitutions method for computing fragments of communication networks]. Izvestiya AN SSSR. Tekhni-cheskaya kibernetika. 1. pp. 55-61.
5. Neuts, M.F. (1979) A versatile Markov point process. Journal of Applied Probability. 16. pp. 764-779. DOI: 10.2307/3213143
6. Nezhelskaya, L.A. (2020) Otsenka sostoyaniy dvazhdy stokhasticheskikhpotokov sobytiy [Estimation of states of doubly stochastic
flows of events]. Tomsk: Tomsk State University.
7. Apanasovich, V.V., Kolyada, A.A. & Chernyavsky, A.F. (1988) Statisticheskiy analiz sluchaynykh potokov v fizicheskom ekspe-
rimente [Statistical analysis of random flows in a physical experiment]. Minsk: Universitetskoe.
8. Gortsev, A.M., Kalyagin, A.A. & Nezhelskaya, L.A. (2010) Optimal estimation of the states of a generalized semisynchronous
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.
9. Nezhelskaya, L.A. & Stepanenko, I.D. (2022) Estimation of the duration of the fixed dead time of a generalized semi-synchronous
stream of events functioning in conditions of prolonged dead time. Trudy Tomskogo gosudarstvennogo universiteta. Ser. fiziko-matematicheskaya. 307. pp. 37-47.
10. Gortsev, A.M., Kalyagin, A.A. & Nezhelskaya, L.A. (2014) Joint probability density of the duration of intervals of generalized semisynchronous flow of events with non-lasting dead time. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 2(27). pp. 19-27.
11. Shulenin, V.P. (2012)Matematicheskaya statistika [Mathematical Statistics]. Vol. 1. Tomsk: NTL.
12. Nezhelskaya, L.A. (2016) Otsenka sostoyaniy i parametrov dvazhdy stokhasticheskikh potokov sobytiy [Evaluation of states and parameters of doubly stochastic flows of events]. Physics and Mathematics Dr. Diss. Tomsk.
13. Nezhelskaya, L.A. & Stepanenko, I.D. (2021) Statistical experiments on a simulation model of a generalized semi-synchronous flow of events with an extended dead time of fixed duration. Trudy Tomskogo gosudarstvennogo universiteta. Ser. fiziko-matematicheskaya - Proceedings of Tomsk State University. Ser. Phys.-Math. 306. pp. 82-89.
Информация об авторах:
Нежельская Людмила Алексеевна - доцент, доктор физико-математических наук, профессор кафедры прикладной математики Института прикладной математики и компьютерных наук Национального исследовательского Томского государственного университета (Томск, Россия). E-mail: ludne@mail.ru
Степаненко Илья Денисович - магистрант кафедры прикладной математики Института прикладной математики и компьютерных наук Национального исследовательского Томского государственного университета (Томск, Россия). E-mail: 97step@mail.ru
Вклад авторов: все авторы сделали эквивалентный вклад в подготовку публикации. Авторы заявляют об отсутствии конфликта интересов.
Information about the authors:
Nezhel'skaya Lyudmila A. (Doctor of Physical and Mathematical Sciences, Professor of the Department of Applied Mathematics, Institute of Applied Mathematics and Computer Science, National Research Tomsk State University, Tomsk, Russian Federation). E-mail: ludne@mail.ru
Stepanenko Ilya D. (Master's Student, Department of Applied Mathematics, Institute of Applied Mathematics and Computer Science, National Research Tomsk State University, Tomsk, Russian Federation). E-mail: 97step@mail.ru
Contribution of the authors: the authors contributed equally to this article. The authors declare no conflicts of interests.
Поступила в редакцию 13.10.2022; принята к публикации 01.03.2023 Received 13.10.2022; accepted for publication 01.03.2023