ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2022 Управление, вычислительная техника и информатика № 61
Tomsk: State UniversityJournal of Control and Computer Science
Научная статья УДК 519.2
doi: 10.17223/19988605/61/5
Оценивание методом моментов параметра равномерного распределения длительности непродлевающегося случайного мертвого времени в рекуррентном полусинхронном потоке событий в общем и особом случаях
Александр Михайлович Горцев1, Анна Васильевна Веткина2
12 Томский государственный университет, Томск, Россия 1 a-gortsev@mail.ru 2 anyavetkina@gmail. com
Аннотация. Исследуется полусинхронный поток событий, относящийся к классу дважды стохастических потоков событий. Функционирование потока рассматривается в условиях непродлевающегося случайного мертвого времени, распределенного по равномерному закону на отрезке [0, T*]. Рассматривается частный случай функционирования полусинхронного потока событий, когда такой поток является рекуррентным, в общем и особом случаях соотношения его параметров. Производится оценивание параметра T равномерного распределения длительности непродлевающегося случайного мертвого времени методом моментов. Приводятся результаты статистических экспериментов, показывающие адекватность полученных оценок.
Ключевые слова: рекуррентный полусинхронный поток событий; непродлевающееся случайное мертвое время; оценка параметра; метод моментов
Для цитирования: Горцев А.М., Веткина А.В. Оценивание методом моментов параметра равномерного распределения длительности непродлевающегося случайного мертвого времени в рекуррентном полусинхронном потоке событий в общем и особом случаях // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2022. № 61. С. 47-60. doi: 10.17223/19988605/61/5
Original article
doi: 10.17223/19988605/61/5
Estimation by method of moments of the parameter of the uniform distribution of the duration of unextendable random dead time in recurrent semi-synchronous
events flow in general and special case
Alexander M. Gortsev1, Anna V. Vetkina2
12 Tomsk State University, Tomsk, Russian Federation 1 a-gortsev@mail.ru
2
anyavetkina@gmail. com
Abstract. The paper describes recurrent semi-synchronous events flow with p = 1 that is a common mathematical model of information flows of messages operating in telecommunication and information-computing networks, and that belongs to the class of doubly stochastic event flows. A general and special cases are considered. Operation of the flow is considered with random unextendable dead time that has uniform distribution on the interval [0, T*]. Parameter T* of the dead time is estimated using the method of moments. Results of statistical experiments are presented.
Mathematical expectation of the duration of t - the interval between adjacent events of the observed flow - is given for the general case by the formula
M (T | T •) = T- + —L_ + +--^ A _ ^ +a2 Y' ) , T % 0;
2 +a2 Xj (Xj +a2) Xj (X +a2 )2 (X2 +a2) T V I
© А.М. Горцев, А.В. Веткина, 2022
and for special case:
2
* n
The estimate T is found numerically from the equation of moments M(x | T ) = C, C = (1/ n) X (tk+1 - tk),
k=1
where , f2, ... ,fn+1 are moments of occurrence of events in the observed flow. Value C is found using simulation modeling of the observed flow. Analysis of the numerical results shows that in the sense of the introduced criterion V(T*) (sample variance of the estimate T*), an increase in the parameter T has a negative effect on the quality of
estimates T , that is quite natural: increasing the parameter T leads to an increase in the number of lost events of the initial flow.
According to the results of the research, there are the following conclusions: 1) it is shown analytically that the equation of moments has a unique solution; 2) the results of simulation modelling show that the quality of the estimates in the sense of the introduced criterion (sample variance of the estimate T* ) is quite satisfactory, and the bias of estimates T* relative to the true value of parameter T doesn't exceed hundredths of values.
Keywords: recurrent semi-synchronous events flow; unextendable random dead time; uniform distribution; estimation of the parameter; method of moments
For citation: Gortsev, A.M., Vetkina, A.V. (2022) Estimation by method of moments of the parameter of the uniform distribution of the duration of unextendable random dead time in recurrent semi-synchronous events flow in general and special case. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitelnaja tehnika i informatika -Tomsk State University Journal of Control and Computer Science. 61. pp. 47-60. doi: 10.17223/19988605/61/5
M(т | T*) = — + — + -
2 Xl Xj(\+a2)
В современных телекоммуникационных системах [1, 2] входящие потоки событий наиболее адекватно описывают дважды стохастические потоки событий - потоки, у которых случайными являются моменты наступления событий и интенсивность. Поэтому исследование дважды стохастических потоков является актуальной задачей. В общем случае дважды стохастические потоки событий являются коррелированными потоками [2].
Дважды стохастические потоки делятся на два класса: первый класс составляют потоки, сопровождающий процесс (интенсивность) которых есть непрерывный случайный процесс [3, 4]; второй -потоки, сопровождающий процесс (интенсивность) которых есть кусочно-постоянный случайный процесс с конечным (произвольным) числом состояний [5, 6].
В зависимости от того, каким образом происходит переход интенсивности из состояния в состояние, выделяется три типа дважды стохастических потоков: 1) синхронные потоки (потоки, у которых состояние сопровождающего процесса меняется в случайные моменты времени, являющиеся моментами наступления событий) [7-10]; 2) асинхронные потоки (потоки, у которых переход из состояния в состояние сопровождающего процесса происходит в случайные моменты времени и не зависит от моментов наступления событий) [11-14]; 3) полусинхронные потоки (потоки, у которых одна часть состояний сопровождающего процесса меняется в моменты наступления событий потока, другая часть состояний сопровождающего процесса меняется в произвольные моменты времени, не связанные с моментами наступления событий потока) [15-18].
На практике часто приходится иметь дело с потоками, у которых не все события доступны наблюдению. Как правило, причиной ненаблюдаемости служит мертвое время регистрирующих приборов [19], порождаемое зарегистрированным событием, так что другие события, наступившие в этот период, теряются. Регистрирующие приборы при этом делятся на два вида: с непродлевающимся мертвым временем и продлевающимся. Кроме того, длительность мертвого времени может быть как детерминированной величиной, одинаковой для всех событий, так и случайной с тем или иным законом распределения. В реальных регистрирующих устройствах величина и характер мертвого времени зависят от многих факторов, причем регистрирующие приборы обладают значением длительности мертвого времени, ограниченным сверху некоторой величиной. Переходя к случайному мертвому времени [19], вполне естественно рассматривать его распределение как равномерное на некотором отрезке.
В данной работе исследуется полусинхронный дважды стохастический поток событий с интенсивностью, являющейся кусочно-постоянным случайным процессом с двумя состояниями. На параметр потока накладывается условие, такое что исходный коррелированный поток вырождается в рекуррентный. Рассматривается два случая функционирования такого потока: общий и особый. Производится оценивание параметра длительности случайного мертвого времени, распределенного по равномерному закону. Для этого выводится аналитическая формула математического ожидания длительности интервала между соседними событиями наблюдаемого потока и находится оценка параметра равномерного распределения длительности непродлевающегося случайного мертвого времени с использованием уравнения моментов. С помощью построенной имитационной модели наблюдаемого потока реализуются статистические эксперименты для получения численных результатов оценивания.
1. Математическая модель наблюдаемого потока. Постановка задачи
Рассматривается стационарный режим функционирования полусинхронного дважды стохастического потока событий, сопровождающий процесс (интенсивность) которого есть кусочно-постоянный стационарный случайный процесс А(0 с двумя состояниями З! и 52. Будем говорить, что имеет место первое состояние процесса (потока) 51, если А(0 = Ал, и, наоборот, имеет место второе состояние процесса (потока) 52, если = Х2 >^2 - 0) . Если имеет место первое состояние процесса 51, то в течение временного интервала, когда А(0 = А1, поступает пуассоновский поток событий с интенсивностью А1. Если имеет место второе состояние процесса 52, то в течение временного интервала, когда А(0 = Х2, поступает пуассоновский поток событий с интенсивностью Х2. Переход из состояния 51 процесса А(0 в состояние 52 возможен только в момент наступления события (свойство синхронности потока), при этом этот переход осуществляется с вероятностью р (с вероятностью 1 - р процесс А(0 остается в состоянии 51). Переход из состояния 52 процесса А(0 в состояние 51 может осуществляться в произвольный момент времени, не связанный с моментом наступления события (свойство асинхрон-ности потока). При этом длительность пребывания процесса А(0 во втором состоянии есть случайная величина, распределенная по экспоненциальному закону Е(г) = 1 — е~а, г - 0 , где а2 - интенсивность смены состояния 52 на 51. Так как переход из второго состояния в первое не привязан к моменту наступления события во втором состоянии, то поток называется полусинхронным дважды стохастическим потоком событий. В сделанных предположениях А(0 - скрытый марковский процесс (А(0 -принципиально ненаблюдаемый процесс; наблюдаемыми являются только моменты наступления событий потока).
После каждого зарегистрированного события в момент времени tk наступает период мертвого времени случайной длительности, который порождается этим событием, так что другие события исходного потока, наступившие в течение этого периода мертвого времени, недоступны наблюдению и не вызывают его продления (непродлевающееся мертвое время). Принимается, что случайная длительность мертвого времени распределена по равномерному закону с плотностью вероятности р(Т) = 1 / Т*, где Т - значение длительности мертвого времени, 0 < Т < Т*.
Исследуется частный случай функционирования полусинхронного потока событий, когда р = 1, т.е. такой поток, который при каждом наступлении события в первом состоянии мгновенно переходит во второе. При выполнении данного условия исходный поток, действующий в условиях детерминированного мертвого времени, становится рекуррентным потоком:
р (т15 т2 | Т) = р (Т! | Т) р (т2 | Т), X! - Т, т2 - Т, где р (т | Т) - плотность вероятности значений длительности интервала между соседними событиями в полусинхронном потоке, р(т15т2 | Т) - совместная плотность вероятности [20. С. 254].
Вместе с тем рассматриваются общий и особый случаи соотношения параметров данного потока: когда — Я2 — а2 ^ 0 и когда — Я2 — а2 = 0.
Возможный вариант возникающей ситуации приведен на рис. 1, где З! и S2 - состояния случайного процесса временная ось (0, 0 - ось моментов наступления наблюдаемых событий в моменты времени ^, г2, ...; временная ось (0, - ось наступления событий в моменты времени
^, , ••• в первом состоянии процесса Ц0, на которой также указаны значения длительностей
Т^^, Т2^, ... мертвых времен, порождаемых наблюдаемыми событиями потока; аналогично для временной оси (0, ^2)); белыми кружками обозначены наблюдаемые события, черными - ненаблюдаемые, штриховкой - периоды мертвого времени; траектория процесса привязана к временной оси (0,
Рис. 1. Формирование наблюдаемого потока событий Fig. 1. Formation of the observed event flow
Цели данной работы:
1. На основании выборки моментов наступления событий tj,t2,...,t„ наблюдаемых потоков в общем и особом случаях на временном интервале (0, Tm), где Tm - время наблюдения за потоком (t„ < Tm ), оценить параметр равномерного распределения длительности непродлевающегося случайного мертвого времени T*.
2. Исследовать оценку T для общего и особого случаев рассматриваемого потока. Для этого провести статистические эксперименты, устанавливающие стационарный режим и определяющие свойства полученных оценок.
2. Уравнение моментов для оценивания параметра T
Введем Tk = tk+1 - tk, k = 1,2,..., - значение длительности k-го интервала между соседними событиями наблюдаемого потока (т^ > 0) . Так как рассматривается стационарный режим функционирования наблюдаемого потока, то плотность вероятности значений длительности k-го интервала есть p(т^) = p(т) , т> 0 , для любого k, т.е. момент наступления события есть т = 0.
Для оценки неизвестного параметра T равномерного распределения длительности случайного непродлевающегося мертвого времени используется метод моментов [21]. Для этого находится теоретический момент - математическое ожидание случайной величины т (длительность интервала между соседними событиями в наблюдаемом потоке) M (т | T*), после чего ММ-оценка параметра T
находится численно из уравнения моментов M(т | T*) = C, где C - выборочное среднее,
„ *
C = (1/ „) ^ Tk, Tk = tk+i — tk > 0, являющееся оценкой математического ожидания M (т | T ).
к=1
Из работы [20] имеем, что плотность вероятности значений длительности интервала между соседними событиями в полусинхронном потоке, функционирующем в условиях непродлевающегося мертвого времени фиксированной длительности T, в общем случае имеет вид:
Р (х|Т ) =
[О, 0 < х < Т,
у(Т)\е~Х1 (х"Г )+(1 -у(Т) )(а2 + Ц) е"(а2)(х"Г), х> Т,
(1)
где у(Т) =
а
2 (Х1 -Х2 -а2 -\р)
(Х1Р + а2 )(Х1 2-а 2 )
1 -
Р (Х1 -Х2 )
(1 -р)Х2 -(а2 + )е^ Р+а2)Т
- а2 ф 0; х1; х2 - смеж-
ные интервалы между наблюдаемыми событиями. Для обобщенного полусинхронного потока событий с непродлевающимся мертвым временем фиксированной длительности Т в особом случае - х2 - а2 = 0 справедливы формулы
Р (х|Т ) = •
0, 0 < х < Т,
-а2 (1 -5)л2 (Т)(1 (х-Т))]е
Л (х-Т) х>
х> Т,
(2)
где тс2 (Т) = тс2 -[2 -тс2 (0| Т)]е (а2+рР1т, тс
Р^1
2 = , т , '2
а2 + рЛ1
(0|Т)=
Р^1 [а2 I1 - Р + 5Р I1 - Р )]
1 - е"(а2 + РХ1>Т
^ +[а2 (1-Р + 5р)-^ (1-Р )]е>2+РХ')Т
5 - вероятность инициирования дополнительного события при переходе процесса Ц0 из второго состояния в первое (0 < 5 < 1).
Подчеркнем, что внесение непродлевающегося случайного мертвого времени в математическую модель полусинхронного потока событий может только изменить (в меньшую или большую сторону) корреляцию в потоке по сравнению с ситуацией отсутствия мертвого времени (Т = 0) либо с ситуацией наличия детерминированного мертвого времени (Т > 0), но не устранить ее полностью.
Тогда искомая плотность вероятности р(х) примет вид
Р(х) = I Р(х,Т)йТ = I Р(Т)Р(х | Т)йТ ,
(Т) (Т )
где Р(х,Т) - совместная плотность вероятности значений т и Т; условная плотность вероятности Р(х | Т) определяется выражениями (1) и (2) для общего и особого случаей соответственно при подстановке параметров р = 1 и 5 = 0; равномерная плотность р(Т) определена в разделе 1; (Т) - область интегрирования значений случайной величины - длительности непродлевающегося случайного мертвого времени. Отметим, что внесение непродлевающегося случайного мертвого времени в математическую модель для случая рекуррентного потока, когда р = 1 и 5 = 0, оставляет наблюдаемый поток в классе рекуррентных потоков.
Область значений случайной величины мертвого времени представляет собой объединение двух областей, когда 0 < х < Т и когда х > Т*, поэтому выражение для плотностир(т) имеет следующий вид:
Р(х) =
А(х) = | Р(Т) Р(х|Т )йТ, 0 <х< Т
Р2(х) =| Р(Т) Р(х|Т )йТ, х> Т.
0
(3)
-ш—ж- * *
Подставляя выражение (1) при р = 1 в (3) и учитывая, что р(Т) = 1/ Т , 0 < Т < Т для общего случая - Х2 - а2 ф 0, находим
р1 (т) = .1 {1 -е"^1х-е"(Х1+а)х + +а)х}, 0<х<Т*, (4)
-(Х2 +а2 )х
Р2 (х) = £ {е"*
-1 + С3 еХ{Т + С4 е"
а Т
-1 + С3е"(^2 )Т + с/к2+а2)Т
, х> Т, (5)
где С3 = -
а2 (Х2 +а2 )
С4 =■
(Х1 -Х2 )
(Х1 +а2)(Х1 - А,2 -а2)' (А-1 +а2)(А^1 - -а2)
х
0
Т
Аналогично подставляя выражение (2) в (3) при р = 1, 5 = 0 для особого случая -а2 = 0,
находим
p (х) - ± {l - 2e"v + +а)х}, 0 < х < Т*, Р2 (х)- ± e-vb + (х-Т' )! (х-f )
(6)
T*
' * ' ~ ' ' в~а2Т* L х> Т* (7)
Отметим, что и для общего, и для особого случая рассматриваемого потока в точке т = Т выполняется равенство двух плотностей р1(Т *) = р2(Т *) и неравенство их производных
Р'(Т ) Ф р2'(Т ), т.е. функцияр(т) является непрерывной и в точке т = Т* имеет излом.
По определению математического ожидания случайной величины т - длительности интервала между двумя соседними событиями наблюдаемого потока - с учетом формулы (3) имеем
* Т
М(х | Т ) =| тр(т)ёт + | тр2(т)ёт. Подставляя сюда плотности вероятностир1(т),р2(т), определенные
0 т'
в (4), (5) для общего случая, находим
М(т | Т*) = Т- + + /2 +-М^Ы-_1(1 - +а2)Т*), т* > 0. (8)
2 ^2 +а2 ^ (^ +а2) А,1 (Х1 + а2)2 (Х2 +а2) Т \ '
Далее, подставляя формулы (6), (7) для особого случая, находим
~\2
(1 - +а2)Т*), Т*> 0. (9)
м (х|Т •> - т+i+
(^1 +а 2 )_
Аналитически доказано, что математическое ожидание м(т | Т ), определяемое формулой (8) для общего случая и формулой (9) для особого случая, является возрастающей функцией переменной (параметра) Т* (Т* > 0). Из этого следует, что уравнение моментов М(т | Т*) = С имеет единственное решение. Уравнение моментов может не иметь решения только в одном единственном случае, когда С < М(т | Т* = 0) , тогда принимается Т* = 0. При этом оценки, получаемые методом моментов, являются состоятельными (выполнены условия теоремы о состоятельности оценок [21]).
3. Результаты статистических экспериментов для наблюдаемого потока
Для установления стационарного режима и определения свойств найденных оценок проведены статистические эксперименты.
Первый статистический эксперимент (установление стационарного режима). Было получено 100 реализаций (Ы = 100) имитационной модели наблюдаемого потока для общего и особого случаев при Т* = 1; 3 и Тт = 50, 100, ..., 1 500. Далее для каждого набора параметров было получено 100 решений уравнения моментов методом простой итерации при е = 0,0001, ЛТ = 0,001. Каждое ¡-е решение есть значение оценки Т*, /=1,...,100, параметра Т*. Заданный набор параметров для рекуррентного полусинхронного потока в общем случае: А1 = 2, А2 = 1, а2 = 0,2; в особом случае: Ал = 2, А2 = 1,8, а2 = 0,2. На основании полученных данных вычислялись выборочное среднее искомых оценок
„ 1 N „ 1 N „
М(ТТ ) = — 2 Т и их выборочная вариация V(Г ) = — £ (Т — Т ) , где Т - известное из имитаци-
N 1=1 N 1=1
онной модели значение параметра.
В табл. 1 приведены результаты для общего случая наблюдаемого потока при Т = 1. В первой строке таблицы указано время моделирования Тт (время наблюдения за потоком) (Тт = 50, 100, ... , 2 000 ед. времени); во второй и третьей строках - выборочное среднее М(Т ) и выборочная вариация
V(Г*) для Т = 1.
Таблица 1
Численные результаты первого статистического эксперимента для Т = 1, общий случай
Tm 50 100 150 200 250 300 350 400 450 500
M (т *) 0,9628 1,1062 1,108 1,2059 1,1562 1,0810 1,1997 0,9151 1,1594 1,0282
V (т *) 9,8829 1,7811 0,5607 0,5945 0,5632 0,6084 0,6523 0,3512 0,3633 0,4652
550 600 650 700 750 800 850 900 950 1 000 1 050
0,9341 1,0573 1,0133 1,0789 1,0381 1,0684 0,9962 0,9714 1,0331 1,0255 0,9910
0,4155 0,2409 0,2246 0,2367 0,1766 0,1648 0,1976 0,1366 0,1361 0,1256 0,1571
1 100 1 150 1 200 1 250 1 300 1 350 1 400 1 450 1 500 1 550 1 600
1,0189 1,0316 1,0252 1,0204 1,0178 1,0246 1,0394 0,9830 0,9875 1,0169 0,9991
0,1034 0,1100 0,1342 0,0964 0,1271 0,0946 0,1037 0,1179 0,1085 0,0997 0,0796
1 650 1 700 1 750 1 800 1 850 1 900 1 950 2 000
1,0007 1,0256 0,9533 1,0344 1,0140 1,0293 1,0153 0,9892
0,0642 0,0661 0,0840 0,0770 0,0807 0,0635 0,0909 0,0696
Для наглядности на рис. 2 и 3 приведены графики зависимостей М(Т*) и V(Т*) от значения времени моделирования Тт для Т = 1, построенные по данным табл. 1.
Рис. 2. График зависимости M(Т ) от Tm при T = 1 в общем случае Fig. 2. Plot of M(Т*) versus Tm with T = 1 in general case
Рис. 3. График зависимости V(T*) от Tm при T = 1 в общем случае Fig. 3. Plot of V(T*) versus Tm with T = 1 in general case
В табл. 2 приведены результаты для общего случая наблюдаемого потока при T = 3. Структура табл. 2 аналогична структуре табл. 1.
Таблица 2
Численные результаты первого статистического эксперимента для Т = 3, общий случай
Tm 50 100 150 200 250 300 350 400 450 500
M ( f * ) 3,1570 2,8336 3,3744 3,0769 3,0023 2,8782 3,1557 3,0098 2,9714 2,9456
V ( T • ) 23,089 6,4750 2,5065 2,3764 1,6844 1,0933 1,6212 1,2113 0,8877 0,8757
550 600 650 700 750 800 850 900 950 1 000 1 050
2,9310 3,1351 3,0106 2,9751 2,9633 2,9780 3,1098 2,9862 3,0876 3,0449 2,9822
0,5920 0,6786 0,7178 0,5904 0,4972 0,4203 0,5318 0,5243 0,3918 0,3930 0,4549
1 100 1 150 1 200 1 250 1 300 1 350 1 400 1 450 1 500 1 550 1 600
2,9933 2,9860 2,9937 2,9608 2,9516 3,0190 3,0104 2,9546 2,9979 3,0287 2,9543
0,3848 0,3413 0,4107 0,3657 0,3227 0,3035 0,2829 0,2885 0,2738 0,2367 0,2568
1 650 1 700 1 750 1 800 1 850 1 900 1 950 2 000
2,9897 2,9656 3,0635 2,9404 3,0245 2,9945 2,9154 2,9995
0,2090 0,2899 0,2852 0,2508 0,2480 0,1882 0,1711 0,1858
На рис. 4 и 5 приведены графики зависимостей М (Т *) и V (Т*) от времени моделирования Тт для Т = 3, построенные по данным табл. 2.
1.2« 10 1.4x10
Рис. 4. График зависимости M(Т ) от Tm при T = 3 в общем случае Fig. 4. Plot of M(T*) versus Tm with T = 3 in general case
Рис.5. График зависимости V( T') от Tm при T = 3 в общем случае Fig. 5. Plot of V (Г *) versus Tm with T = 3 in general case
Из анализа результатов первого статистического эксперимента следует, что для рекуррентного полусихронного потока событий в общем случае справедливо:
1) стационарный режим функционирования потока устанавливается при Т, > 1600 ед. времени, так как выборочное среднее М(Т*) стремится к постоянному значению, когда ^ > 1600 ед. времени;
2) оценка Т является смещенной оценкой; причиной смещения оценки Т (Т*< Т*) относительно истинного Т (известного из имитационной модели) является то, что значения случайного мертвого времени Т сосредоточены около теоретического среднего (Т72).
Результаты первого статистического эксперимента для особого случая приведены в табл. 3, 4 для Т = 1 и Т = 3 соответственно, а также на рис. 6, 7 и 8, 9 для Т = 1 и Т = 3 соответственно.
Таблица 3
Численные результаты эксперимента для Т = 1, особый случай
Tm 50 100 150 200 250 300 350 400 450 500
M (т *) 0,9133 0,9025 0,9058 0,8939 0,9135 0,9120 0,9102 0,8962 0,9076 0,9105
V (г *) 0,0370 0,0236 0,0176 0,0139 0,0140 0,0144 0,0120 0,0114 0,012 0,0128
550 600 650 700 750 800 850 900 950 1 000 1 050
0,8989 0,9081 0,911 0,9011 0,9073 0,9012 0,9050 0,9046 0,9019 0,9043 0,9040
0,0115 0,0131 0,0100 0,0108 0,0106 0,0114 0,0100 0,0108 0,0104 0,0103 0,0105
1 100 1 150 1 200 1 250 1 300 1 350 1 400 1 450 1 500 1 550 1 600
0,9031 0,9048 0,9055 0,9043 0,8792 0,9039 0,9048 0,9049 0,9040 0,9029 0,9046
0,0106 0,0091 0,0105 0,0105 0,0184 0,0101 0,0100 0,0099 0,0098 0,0099 0,0101
1 650 1 700 1 750 1 800 1 850 1 900 1 950 2 000
0,9032 0,9038 0,9042 0,9050 0,9044 0,9042 0,9030 0,9053
0,0098 0,0095 0,0099 0,0103 0,0098 0,0097 0,0099 0,0101
Рис. 6. График зависимости M (Г *) от Tm при T = 1 в особом случае Fig. 6. Plot of M(i ) versus Tm with T = 1 in special case
Рис. 7. График зависимости V(T') от Tm при T = 1 в особом случае Fig. 7. Plot of V(T") versus Tm with T = 1 in special case
Таблица 4
Численные результаты эксперимента для Т = 3, особый случай
Tm 50 100 150 200 250 300 350 400 450 500
M ( т * ) 2,9409 2,9383 2,9173 2,8994 2,9050 2,9087 2,9050 2,9146 2,9075 2,9096
V ( т ' ) 0,1629 0,0890 0,0537 0,0484 0,0359 0,0350 0,0356 0,0283 0,0186 0,0262
550 600 650 700 750 800 850 900 950 1 000 1 050
2,9019 2,8999 2,9134 2,9057 2,9028 2,9063 2,9125 2,9011 2,9013 2,9032 2,9070
0,0218 0,0198 0,0219 0,0185 0,0218 0,0181 0,0190 0,0162 0,0175 0,0163 0,0155
1 100 1 150 1 200 1 250 1 300 1 350 1 400 1 450 1 500 1 550 1 600
2,9070 2,9056 2,9038 2,9107 2,8707 2,9058 2,9043 2,9023 2,9037 2,9013 2,9058
0,0151 0,0144 0,0163 0,0164 0,0244 0,0144 0,0138 0,0129 0,0147 0,0131 0,0163
1 650 1 700 1 750 1 800 1 850 1 900 1 950 2 000
2,9049 2,9109 2,9028 2,9065 2,9033 2,9048 2,9070 2,9101
0,0125 0,0144 0,0138 0,0118 0,0128 0,0128 0,0130 0,0121
Рис. 8. График зависимости M(Г*) от Tm при T = 3 в особом случае Fig. 8. Plot of M(Т*) versus Tm with T = 3 in special case
Рис.9. График зависимости V(Г*) от Tm при T = 3 в особом случае Fig. 9. Plot of V(Т*) versus Tm with T = 3 in special case
Аналогично для особого случая рассматриваемого потока следует, что:
1) стационарный режим функционирования потока устанавливается при ^ > 1300 ед. времени;
2) оценка T является смещенной оценкой.
Второй статистический эксперимент (исследование влияния параметра Т на качество оценок). Второй статистический эксперимент поставлен при фиксированном времени моделирования, равном времени установления стационарного режима, полученному из первого статистического эксперимента. Варьирует параметр Т = 1, 2, 3, 4, 5 остальные параметры принимаются такими же, как и в первом эксперименте.
Результаты второго статистического эксперимента для общего случая рассматриваемого потока приведены в табл. 5 (Тт = 1 600 ед. времени).
Таблица 5
Численные результаты второго статистического эксперимента, общий случай
T 1 2 3 4 5
M (Г) 0,9085 1,9106 2,91 3,9152 4,9104
V (T') 0,0106 0,0106 0,016 0,0247 0,0413
На рис. 10, 11 приведены графики зависимости выборочного среднего М(Т ) и выборочной вариации V(Т ) от параметра Т = 1, 2, 3, 4, 5, построенные по данным табл. 5.
V(T )
0.04
0.03
0.02
0.01
5 Г
5 Г
Рис. 10. График зависимости M(Т ) от Т в общем случае Fig. 10. Plot of M(Т*) versus Т in general case
Рис. 11. График зависимости V(f) от Т в общем случае Fig. 11. Plot of V(Г*) versus Т in general case
Результаты второго статистического эксперимента для особого случая приведены в табл. 6 (Тт = 1 300 ед. времени), а также на рис. 12, 13.
Таблица 6
Численные результаты второго статистического эксперимента, особый случай
t 1 2 3 4 5
M (f*) 0,8761 1,8795 2,886 3,8805 4,8837
V (f) 0,0185 0,0187 0,0265 0,0350 0,0512
Рис. 12. График зависимости M(Т") от Т в общем случае Fig. 12. Plot of M(i ) versus Т in general case
Рис. 13. График зависимости V(Г*) от Т в общем случае Fig. 13. Plot of V(Г*) versus Т in general case
Данный эксперимент демонстрирует тот факт, что при увеличении значений параметра равномерного распределения мертвого времени T увеличивается выборочная вариация оценки. Это объясняется тем, что при больших значениях T увеличивается число потерянных событий исходного потока и, как следствие, ухудшается качество оценивания.
Заключение
В данной работе рассмотрен рекуррентный полусинхронный дважды стохастический поток событий в общем и особом случаях соотношения его параметров с непродлевающимся случайным мертвым временем, распределенным по равномерному закону.
Аналитически получены формулы (4), (5), определяющие плотность вероятности значений длительности интервала между соседними событиями в наблюдаемом потоке при случайном мертвом времени для общего случая ^ — - а2 Ф 0 и аналогичные формулы (6), (7) для особого случая — — а2 = 0; выведены формулы (8), (9) для математического ожидания длительности интервала между соседними событиями для общего и особого случая соответственно.
Методом моментов найдены состоятельные ММ-оценки параметра T равномерного распределения длительности случайного мертвого времени; полученные оценки экспериментально исследованы на качество. Приведенные результаты численных расчетов указывают на приемлемое качество оценивания.
Список источников
1. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи. Ч. 1 //
Известия АН СССР. Техническая кибернетика. 1979. № 6. С. 92-99.
2. Вишневский В.М., Дудин А.Н., Клименок В.Н. Стохастические системы с коррелированными потоками. Теория и приме-
нение в телекоммуникационных сетях. М. : Техносфера, 2018. 564 с.
3. Cox D.R. The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables // Proceedings of the
Cambridge Philosophical Society. 1955. V. 51 (3). P. 433-441.
4. Kingman Y.F.C. On doubly stochastic Poisson process // Proceedings of the Cambridge Philosophical Society. 1964. V. 60 (4).
P. 923-930.
5. Neuts M.F. A versatile Markovian point process // Journal of Applied Probability. 1979. V. 16. P. 764-779.
6. 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.
7. Горцев А.М., Нежельская Л.А. Оценивание длительности мертвого времени и параметров синхронного альтернирующего
потока событий // Вестник Томского государственного университета. 2003. № S6. С. 232-239.
8. Gortsev A.M., Nezhel'skaya L.A. Estimation of parameters of synchronously alternating Poisson stream of events by the moment
method // Telecommunications and Radio Engineering. 1996. V. 50 (1). P. 56-63.
9. Горцев А.М., Нежельская Л.А. Оценивание параметров синхронного дважды стохастического потока событий методом
моментов // Вестник Томского государственного университета. 2002. № S1-1. С. 24-29.
10. Nezhel'Skaya L.A. Probability density function for modulated MAP event flows with unextendible dead time // Communication in Computer and Information Science. 2015. V. 564. P. 141-151.
11. Горцев А.М., Нежельская Л.А. Оценивание параметров асинхронного потока с инициированием лишних событий методом моментов // Вестник Томского государственного университета. 2006. № S18. С. 267-273.
12. Леонова М.А., Нежельская Л.А. Вероятность ошибки при оценивании состояний обобщенного асинхронного потока событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2012. № 2 (19). С. 88-101.
13. Горцев А.М., Зуевич В.Л. Оптимальная оценка состояний асинхронного дважды стохастического потока событий с произвольным числом состояний // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2010. № 2 (11). С. 44-65.
14. Горцев А.М., Леонова М.А., Нежельская Л.А. Сравнение МП- и ММ-оценок длительности мертвого времени в обобщенном асинхронном потоке событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2013. № 4 (25). С. 32-42.
15. Калягин А.А., Нежельская Л.А. Сравнение МП- и ММ-оценок длительности мертвого времени в обобщенном полусинхронном потоке событий // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 3 (32). С. 23-32.
16. Горцев А.М., Калягин А.А., Нежельская Л.А. Оценка максимального правдоподобия длительности мертвого времени в обобщенном полусинхронном потоке // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2015. № 1 (30). С. 27-37.
17. Нежельская Л.А. Оптимальное оценивание состояний полусинхронного потока событий в условиях его частичной наблюдаемости // Вестник Томского государственного университета. 2000. № 269. С. 95-98.
18. Горцев А.М., Калягин А.А., Нежельская Л.А. Совместная плотность вероятностей длительности интервалов обобщенного полусинхронного потока событий при непродлевающемся мертвом времени // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2014. № 2 (27). С. 19-29.
19. Апанасович В.В., Коляда А.А., Чернявский А.Ф. Статистический анализ случайных потоков в физическом эксперименте. Минск : Университетское, 1988. 256 с.
20. Нежельская Л.А. Оценка состояний и параметров дважды стохастических потоков событий : дис. ... д-ра физ.-мат. наук. Томск, 2016. 341 с.
21. Малинковский Ю.В. Теория вероятностей и математическая статистика. Гомель : ГГУ им. Ф. Скорины, 2004. Ч. 2: Математическая статистика. 146 с.
References
1. Basharin, G.P., Kokotushkin, V.A. & Naumov, V.A. (1979) O metode ekvivalentnykh zamen rascheta fragmentov setey svyazi.
Ch. 1 [On the equivalent substitutions method for computing fragments of communication networks. Part 1]. Izvestiya AN SSSR Tekhnicheskaya kibernetika. 6. pp. 92-99.
2. Vishnevsky, V.M., Dudin, А.№ & Klimenok, V.N. (2018) Stokhasticheskie sistemy s korrelirovannymi potokami. Teoriya i
primenenie v telekommunikatsionnykh setyakh [Stochastic Systems with Correlated Flows. Theory and Application in Telecommunication Networks]. Moscow: Tekhnosfera.
3. Cox, D.R. (1955) The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables. Proceedings
of the Cambridge Philosophical Society. 51(3). pp. 433-441. DOI: 10.1017/S0305004100030437
4. Kingman, Y.F.C. (1964) On doubly stochastic Poisson process. Proceedings. of the Cambridge Philosophical Society. 60(4).
pp. 923-930.
5. Neuts, M.F. (1979) A versatile Markovian point process. Journal of Applied Probability. 16(4). pp. 764-779. DOI:
10.2307/3213143.
6. Lucantoni, D.M. (1991) New results on the single server queue with a batch Markovian arrival process. Communication in Statis-
tics Stochastic Models. 7. pp. 1-46. DOI: 10.1080/15326349108807174
7. Gortsev, A.M. & Nezhelskaya, L.A. (2003) Otsenivaniye dlitel'nosti mertvogo vremeni i parametrov sinkhronnogo al'terniruyushchego
potoka sobytiy [Dead time period and parameter estimation of synchronous alternating flow of events]. Vestnik Tomskogo gosu-darstvennogo universiteta - Tomsk State University Journal. 6. pp. 232-239.
8. Gortsev, A.M. & Nezhelskaya, L.A. (1996) Estimation of parameters of synchronously alternating Poisson stream of events by
the moment method. Telecommunications and Radio Engineering. 50(1). pp. 56-63.
9. Gortsev, A.M. & Nezhelskaya, L.A. (2002) Estimation of the parameters of a synchronous doubly stochastic event flow by
the method of moments. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. S1-1. pp. 24-29.
10. Nezhelskaya, L.A. (2015) Probability density function for modulated MAP event flows with unextendible dead time. Communication in Computer and Information Science. 564. pp. 141-151.
11. Gortsev, A.M. & Nezhelskaya, L.A. (2006) Otsenivanie parametrov asinhronnogo potoka s iniciirovaniem lishnih sobytij metodom momentov. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. S18. pp. 267-273.
12. Leonova, M.A. & Nezhelskaya, L.A. (2012) The probability ofwrong 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.
13. Gortsev, A.M. & Zuevich, V.L. (2010) Optimal estimation of states of the asynchronous doublystochastic flow of events with arbitrary number of the states. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 2(11). pp. 44-65.
14. Gortsev, A.M., Leonova, M.A. & Nezhelskaya, L.A. (2013) The comparison of maximum likelihood estimation and method of moments estimation of dead time value in 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. 4(25). pp. 32-42.
15. Kalyagin, A.A. & Nezhelskaya, L.A. (2015) The comparison of maximum likelihood estimation and method of moments estimation of dead time value in a generalized semysynchronous flow of events. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 3(32). pp. 23-32.
16. Gortsev, A.M., Kalyagin, A.A. & Nezhelskaya, L.A. (2015) Maximum likelihood estimation of dead time at a generalized semysynchronous flow of events. Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tekhnika i informatika - Tomsk State University Journal of Control and Computer Science. 1(30). pp. 27-37.
17. Nezhelskaya, L. (2000) Optimal'noe otsenivanie sostoyaniy polusinkhronnogo potoka sobytiy v usloviyakh ego chastichnoy nablyudaemosti [Optimal estimation of the states of semi-synchronous event flow under conditions of its partial observability]. Vestnik Tomskogo gosudarstvennogo universiteta - Tomsk State University Journal. 269. pp. 95-98.
18. Gortsev, A.M., Kalyagin, A.A. & Nezhelskaya, L.A. (2014) The joint probability density of duration of the intervals in a generalized semisynchronous 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. 2(27). pp. 19-29.
19. Apanasovich, V.V., Kolyada, A.A. & Chernyavsky, A.F. (1988) Statisticheskiy analiz sluchaynykh potokov v fizicheskom eksperi-mente [The statistical analysis of series of random events in physical experiment]. Minsk: Universitetskoe.
20. Nezhelskaya, L.A. (2016) Otsenka sostoyaniy iparametrov dvazhdy stokhasticheskikh potokov sobytiy [Estimation of States and Parameters of Doubly Stochastic Event Flows]. Physics and Mathimatics Dr. Diss. Tomsk.
21. Malinkovsky, Yu.V. (2004) Teoriya veroyatnostey i matematicheskaya statistika [Probability Theory and Mathematical Statistics]. Gomel: Francisk Skorina Gomel State University.
Информация об авторах:
Горцев Александр Михайлович - профессор, доктор технических наук, заведующий кафедрой прикладной математики Института прикладной математики и компьютерных наук Национального исследовательского Томского государственного университета (Томск, Россия). E-mail: a-gortsev@mail.ru
Веткина Анна Васильевна - аспирант кафедры прикладной математики Института прикладной математики и компьютерных наук Национального исследовательского Томского государственного университета (Томск, Россия). E-mail: anyavetkina@gmail.com
Вклад авторов: все авторы сделали эквивалентный вклад в подготовку публикации. Авторы заявляют об отсутствии конфликта интересов.
Information about the authors:
Gortsev Alexander M. (Doctor of Technical Sciences, Professor, National Research Tomsk State University, Tomsk, Russian Federation). E-mail: a-gortsev@mail.ru
Vetkina Anna V. (Post-graduate Student, National Research Tomsk State University, Tomsk, Russian Federation). E-mail: anyavetkina@gmail.com
Contribution of the authors: the authors contributed equally to this article. The authors declare no conflicts of interests.
Поступила в редакцию 23.08.2022; принята к публикации 29.11.2022 Received 23.08.2022; accepted for publication 29.11.2022