CC BY
25
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА
2010 Управление, вычислительная техника и информатика № 2(11)
УДК 519.21
А.М. Горцев, В. Л. Зуевич
ОПТИМАЛЬНАЯ ОЦЕНКА СОСТОЯНИЙ АСИНХРОННОГО ДВАЖДЫ СТОХАСТИЧЕСКОГО ПОТОКА СОБЫТИЙ С ПРОИЗВОЛЬНЫМ ЧИСЛОМ СОСТОЯНИЙ
Решена задача оптимальной оценки состояний асинхронного дважды стохастического потока на основе наблюдений за моментами наступления событий. Решение о состоянии потока выносится по критерию максимума апостериорной вероятности. Получен явный вид апостериорных вероятностей для любого момента времени. Приведены результаты статистических экспериментов по оценке состояний потока.
Ключевые слова: асинхронный дважды стохастический поток событий, оптимальная оценка состояний, цифровые сети интегрального обслуживания.
Математические модели теории массового обслуживания широко применяются при описании реальных физических, технических и других процессов и систем. В связи с бурным развитием компьютерной техники и информационных технологий появилась еще одна важная сфера приложений теории массового обслуживания - проектирование и создание информационно-вычислительных сетей, компьютерных сетей связи, спутниковых сетей связи, телекоммуникационных сетей и т.п. Усложнение структуры информационно-телекоммуникационных систем, интеграция различных систем связи, разнообразие программного и аппаратного обеспечения, протоколов передачи данных привели в конце 80-х - начале 90-х годов прошлого века к созданию цифровых сетей интегрального обслуживания (Integrated Services Digital Networks - ISDN). Данные сети характеризуются тем, что по единым аппаратным средствам совместно передаются самые разнообразные виды информации - большие массивы данных, речь и видео в цифровой форме, факсимиле и т.д. При этом теория построения математических моделей функционирования информационно-телекоммуникационных систем, существовавшая до середины SG-х годов прошлого века, во многом становится непригодной для анализа информационных процессов, протекающих в ISDN. В связи с этим в это же время была предпринята успешная попытка создания адекватных математических моделей информационных потоков в телекоммуникационных системах так называемых дважды стохастических потоков. Отметим, что одними из первых работ в этом направлении были статьи [1 - 3].
Дважды стохастические потоки характеризуются тем, что их интенсивность изменяется со временем по некоторому случайному закону, т. е. является случайным процессом. В зависимости от вида случайного процесса дважды стохастические потоки можно разделить на два класса. К первому классу относятся потоки с интенсивностью, являющейся непрерывным случайным процессом. Ко второму -потоки, у которых интенсивность есть кусочно-постоянный случайный процесс с конечным числом состояний (под состоянием потока обычно понимают состояние
интенсивности потока). Последние (потоки с переключениями или МС-потоки событий [1, 2]) являются наиболее характерными для реальных телекоммуникационных сетей. В свою очередь, в зависимости от того, каким образом происходит переход из состояния в состояние, МС-потоки можно разделить на три типа: 1) синхронные потоки событий - потоки с интенсивностью, для которой переход из состояния в состояние происходит в случайные моменты времени, являющиеся моментами наступления событий [4 - 8]; 2) асинхронные потоки событий - потоки с интенсивностью, для которой переход из состояния в состояние происходит в случайные моменты времени и не зависит от моментов наступления событий [9 -23]; 3) полусинхронные потоки событий - потоки, у которых для одного множества состояний справедливо определение первого типа, а для остальных состояний - второго типа [24 - 28].
Подчеркнем, что синхронные, асинхронные и полусинхронные потоки возможно представить в виде моделей MAP (Markovian Arrival РгосеББЭ-потоков событий [29 - 31].
В реальных ситуациях параметры, определяющие входящий поток событий, не только дважды стохастический, как правило, известны либо частично, либо вообще неизвестны. Что касается состояний дважды стохастического потока, то даже тогда, когда параметры, его определяющие, априорно известны, сказать о том, в каком состоянии находится поток в тот или иной момент времени без наблюдения за потоком, возможно только на основании априорных данных. С другой стороны, очевидно, что функционирование системы обслуживания непосредственно зависит от параметров дважды стохастического потока и состояний, в которых он находится. В связи с этим в процессе функционирования системы обслуживания возникает необходимость адаптироваться к временным изменениям состояний дважды стохастического потока. При этом возникают два класса задач: 1) задача фильтрации интенсивности потока (или задача оценивания состояний потока событий) по наблюдениям за потоком (по наблюдениям за моментами наступления событий) [4, 7, 9 - 11, 13, 15, 22 - 25]; 2) задача оценивания параметров потока по наблюдениям за моментами наступления событий [5, 6, 8, 12, 14, 16 - 21, 26 - 28].
В настоящей статье рассматривается дважды стохастический поток событий второго типа - асинхронный поток событий. Подчеркнем, что в [9 - 11, 13, 15, 22, 23] решены задачи фильтрации, в [12, 14, 16 - 21] - задачи оценки параметров асинхронных дважды стохастических потоков событий в различных условиях, когда число состояний потока равно двум. Полученные в [9 - 11, 13, 15, 22, 23] результаты по оценке состояний асинхронных потоков можно разделить на три группы: 1) результаты по оценке состояний асинхронных потоков с дополнительными (лишними) событиями без ошибок в измерениях моментов времени наступления событий [22, 23]; 2) результаты по оценке состояний асинхронного потока без дополнительных (лишних) событий при наличии ошибок в измерениях моментов времени наступления событий [11, 13, 15]; 3) результаты по оценке состояний асинхронного потока без дополнительных (лишних) событий и без ошибок в измерениях моментов времени наступления событий [9, 10].
В настоящей статье решается задача об оптимальной оценке состояний асинхронного дважды стохастического потока с произвольным (конечным) числом состояний без дополнительных (лишних) событий и без ошибок в измерениях моментов времени наступления событий (далее асинхронный поток либо просто по-
ток), т.е. результаты [10] обобщаются на случай произвольного числа состояний асинхронного потока. Находятся выражения для апостериорных вероятностей состояний асинхронного потока. Решение о состоянии потока выносится по критерию максимума апостериорной вероятности, представляющей наиболее полную характеристику состояния потока, которую можно получить, располагая только выборкой наблюдений, и которая обеспечивает минимум полной вероятности ошибки вынесения решения [32].
1. Постановка задачи
Рассматривается асинхронный поток событий. Интенсивность потока - кусочнопостоянный случайный процесс Х(/) с п состояниями: Х1, Х2,...,Хп (Х1 >Х2 >...> Хп> 0). Процесс (поток) в момент времени t находится в г-м состоянии, если Х(0 =
(г = 1,п). В течение времени пребывания в г-м состоянии поток ведет себя как пу-ассоновский с интенсивностью Хг (г = 1,п). Длительность пребывания потока в г-м состоянии является экспоненциально распределенной случайной величиной с
п ___
функцией распределения Ц (т) = 1 - га“т, где агг = - ^ а# (г = 1, п); а# > 0
] =^ ] *г
(г, ] = 1, п , г Ф]) - интенсивность перехода процесса Х(Г) из состояния г в состояние ], т.е. величины а# образуют матрицу интенсивностей (матрицу инфинитезималь-ных коэффициентов) переходов между состояниями |аг# Щ . Процесс Х(0 является
ненаблюдаемым. Наблюдению доступны только временные моменты наступления событий потока. Рассматривается стационарный режим функционирования потока, поэтому переходными процессами на интервале наблюдения (/0,/), где ^ - начало наблюдений, t - окончание наблюдений, пренебрегаем. Тогда без потери общности можно положить ^ = 0.
Состояние потока в момент времени t оценивается на основании последовательности временных моментов наступления событий, наблюденных от момента ^ до момента t. Пусть Х(Г) - оценка состояния потока в момент времени /;
ю(Хг- | ^2,...,т) (г = 1,п) - апостериорная вероятность того, что Х(() = Хг при условии, что за время наблюдения за потоком наступило т событий в моменты
п
Ь^2,...^т. При этом ^ю(Хг | ^,t2,...,tm) = 1. Решение о состоянии потока выносит-
г=1
ся по критерию максимума апостериорной вероятности [32]. Согласно этому критерию,
МО = Хг , если Ю(Хг 1 ^, t2 ,..., ^ ) ^Ю(Х; 1 ^ t2 ,..., ^ ), ] = 1, п .
2. Вывод рекуррентного соотношения для апостериорных вероятностей состояний потока
Согласно методике [32], рассмотрим дискретные наблюдения за потоком через достаточно малые промежутки времени длительности Дt и получим рекуррентное соотношение для апостериорных вероятностей.
Пусть наблюдения за потоком начинаются в момент времени t = 0 и время t изменяется дискретно с конечным шагом Д^ t = kДt (к = 0,1,.). Рассмотрим двумерный случайный процесс (Х(к), гк), где Х(к) = Х(кМ) - значение процесса Х(^ в момент времени kДt (Х(к) = Хг,г = 1,п , к = 0,1,.); гк - число событий, наблюденных на интервале времени ((к - 1)Д^ кД^, (гк = 0,1,., к = 0,1,.). Поскольку на интервале (-Д^ 0) наблюдений не производится, то г0 можем положить произвольным, например положить г0 = 0. Обозначим Х(т) = (Х(0),Х(1),...,Х(т)) - последовательность ненаблюдаемых значений процесса Х(^ в моменты времени kДt (к = 0,т). Обозначим гт = (г0,г1,...,гт) - последовательность значений количества наблюденных событий на временных интервалах ((к - 1)Д^ кД^ (к = 0, т). Для нахождения рекуррентного соотношения докажем две вспомогательные леммы.
Лемма 1. Процесс Х(Г) является транзитивным марковским.
Доказательство. Рассмотрим два произвольно выбранных момента времени т и т, т>т . Обозначим Р(Х(т) = X,-1 Х(^, t < т; Х(т) = Хг) (г', у = 1, п ) - вероятность того, что в момент времени т процесс Х(^ находится в у-м состоянии при условии, что его траектория до момента t = т есть Х(^ и в момент времени т процесс Х(^ находился в г-м состоянии. Длительность пребывания процесса Х(^ в г-м состоянии (г = 1, п ) является случайной величиной, имеющей экспоненциальное распределение. Таким образом, длительность пребывания процесса Х(^ в г-м состоянии после момента т не зависит от траектории процесса Х(^ до момента t = т. Тогда Р(Х(т) = Ху | X(t), t < т; Х(т) = Хг) = Р(Х(т) = Х у | Х(т) = Хг).
Отсюда следует марковость процесса Х(^.
Вероятность перехода процесса Х(^ за время Дт из состояния г в состояние у (г, у = 1,п , г Фу ), в соответствии с определением потока, есть
Р(Х(т + Дт) = Ху | Х(т) = Хг) = агуДт + о (Дт) > 0,
то есть за время Дт процесс Х(^ с отличной от нуля вероятностью может перейти из состояния г в отличное от него состояние у. Вероятность того, что процесс Х(^ останется в состоянии г, запишется в виде
п
Р(Х(т + Дт) = Хг | Х(т) = Хг) = 1 - Дт ^ агу + о(Дт) .
у=иу *г
Величину Дт здесь можно подобрать так, что будет соблюдаться неравенство Р(Х(т + Дт) = Хг | Х(т) = Хг) >0 (г = 1, п ).
Таким образом, существует время Дт, за которое процесс Х(^ может перейти из текущего состояния в любое другое состояние (в том числе остаться в текущем состоянии) с отличной от нуля вероятностью. Получили определение транзитивного марковского процесса. Лемма доказана.
Лемма 2. Случайный процесс (Х(к), гк) является марковским.
Доказательство. Рассмотрим моменты времени mДt и (т + 1)А/. Обозначим р(Х(т+1), Гт+^ | Х(т),гт) - переходную вероятность того, что Х((т + 1)Д) = Х(т+:) и на
полуинтервале времени [тД^ (т + 1)Д0 произошло тт+г1 событий потока при условии, что Х(кД() = Х(к) (к = 0, т) и на полуинтервалах времени [(к - 1)Д^ кД^ (к = 0, т) наблюдалось гк событий потока соответственно.
Согласно лемме 1, процесс Х(^ - марковский. В силу конструкции процесса (Х(к), Гк) компонента Гк - число событий на полуинтервале [(к - 1)Д^ кД^ - не влияет на компоненту
Х ( к)
- значение процесса Х(^ в момент времени t = kДt. Наоборот,
компонента
Х(к)
не влияет на компоненту Гк. Дальнейшее поведение процесса
(Х(к), Гк)
не зависит от предыстории до момента времени кД^ так как длительность каждого состояния потока имеет экспоненциальное распределение, и в каждом состоянии поток ведет себя как простейший. Тогда переходная вероятность примет вид
р(Х(т+1), Гт+] | Х( т), Гт ) = р(Х(т+1), Гт+, |Х(т), Гт ).
Полученное равенство доказывает марковость случайного процесса (Х(к), гк). Лемма доказана.
Пусть ю(Х(т+1) | Гт+1) - апостериорная вероятность того, что Х((т + 1)Д) = = Х(т+1) (Х(т+1) = Хг, г = 1, п ) при условии, что на полуинтервалах времени [(к - 1)Д^ кД^ (к = 0, т +1) наблюдалось гк событий потока соответственно; ю(Х(т) | гт) - апостериорная вероятность того, что Х(тМ) = Х(т) (Х(т) = Хг, г' = 1, п )
при условии, что на полуинтервалах времени [(к - 1)Д^ кД^ (к = 0, т) наблюдалось гк событий потока соответственно. Обозначим р(гт+\ | Х(т)) - вероятность того, что на полуинтервале [тД^ (т + 1)Д) наблюдается гт+1 событий при условии, что Х(тД() = Х(т) (Х(т) = Хг, г' = 1,п); р(Х(т+1) | Х(т)) - вероятность того, что Х((т + 1)Дt) = Х(т+1) (Х(т+1) = Ху, у = 1,п) при условии, что Х(тД^ = Х(т) (Х(т) = Хг, г = 1,п ).
Теорема 1. Апостериорная вероятность ю(Х(т+1) | Гт+1) определяется рекуррентной формулой
X Ю(Х( т) | Гт ) р(Х (т+1) | Х(т)) р(Гт+! | Х(т))
®(Х(т+1)|Гт+1) = ХЯ<И)=Х1Х---------------------------------------------------• (1)
X X ®(Х(т) | Гт)р(Х(т+:) | Х(т))р{Гт+1 | Х(т))
Х(т+1)=Х! Х(т) =Х!
Доказательство. Учитывая формулу для условной вероятности и формулу полной вероятности, имеем
Хп
( +1) _ X ®(Х(т+:), Х(т), Гт+,) ю(Х(т+1) | Гт+,) = Ю(Хт(, ’Гт+° = Хт^-------------------------------------. (2)
Ю(Гт+1) X »(Х(т),4+:)
Х(т) =Х1
Х„
Подставляя выражение ю(Х(т), Гт+1) = X ю(Х(т+1), Х(т), Гт+1) в (2), находим
Х(т+1) =Х1
(3)
Д( '—Д^ Д' '—Д^
Учитывая, что ю(Х(т+1), Х(т), Гт , Гт+1) = р(Х(т+1), Гт+1 | Х(т), Гт )ю(Х(т) | Гт )ю( 4 ), пере-
Сокращая здесь ю( Гт) и учитывая результат леммы 2: р(Х(т+1), Гт+1 | Х(т), Гт) =
р(Х(т+1), Гт+1 | Х(т), Гт), получаем
Рассмотрим в (4) переходную вероятность р(Х(т+1), Гт+1 | Х(т), Гт). По формуле для условной вероятности имеем
Р(Д( т+1), Гт+1\ Д(т), Гт ) — Р(Д(т+1) |Д( т), Гт ) р(Гт+1 |Д( т), Гт , Д(т+1)) . (5)
так как на значение процесса Х((т + 1)Д0 в момент времени (т + 1)Д число наблюденных событий Гт на полуинтервале [(т - 1)Дt, mДt) не влияет (процесс Х((т + 1)Дt) «живет своей жизнью»), значение же Х(т) процесса Х(тД^ в момент времени mДt не зависит от предыстории в силу марковости процесса Х(^. Рассмотрим второй сомножитель в (5). Имеем, во-первых, р(Гт+\ | Х(т), Гт, Х(т+1)) = = р(Гщ+1 | Х(т), Х(т+1)), так как число событий Гт+Ь наблюденных на полуинтервале [тД^ (т + 1)Д), не зависит от числа событий Гт, наблюденных на полуинтервале [(т - 1)Дt, mДt), в силу того, что потоки событий во всех состояниях процесса Х(^ пуассоновские. Имеем далее
Так как на значение процесса Х((т + 1)Д0 в момент времени (т + 1)Д число наблюденных событий Гт+1 на полуинтервале [тД^ (т + 1)Д), так же как и число
пишем (3) в виде
д( '—А1 Д' '—Д1
®(Д(т+1) \ Гт+1)
Д( т) —Д1
(4)
Д( т+1) —Д1 Д( т)—Д1
X X ®(А(т)\Гт ) Р(Д( т+1), Гт+1 \ Д(т), Гт )
т+Ч-і і(т)-і
Первый сомножитель в (5) запишется в виде
р(Д(т+1) \ Д(т), Гт) — р(Д(т+1) \ Д(т)),
р(Гт+1\Д( т), Д (т+1))
Р(Д(т), Гт+1, Д( т+1)) — Р(Д( т+1)\Д(т), Гт+1) Р(Д(т), т) (6)
р(Д(т), Д(т+1)) Р(Д(т+1) \ Д(т))Р(Д(т)) .
наблюденных событий Гт на полуинтервале [(т - 1)Д/, тД/), не влияет, то р(Х(т+1) | Х(т), Гт+1) = р(Х(т+1) | Х(т)). Тогда из равенства (6) вытекает
р(Гт+1 | Х( т), Х(т+1)) = р {Гт+1 | Х( т)).
В силу этого (5) приобретает вид
р(Х(т+1), Гт+1 | Х(т), Гт ) = р(Х(т+1) | Х(т))р(Гт+1 | Х(т)) . (7)
Подставляя (7) в (4), приходим к (1). Теорема доказана.
3. Вывод дифференциальных уравнений и формул пересчета для апостериорных вероятностей
Рассмотрим достаточно малый интервал времени (/, t + Д/), где t = тД/. Поскольку Х(т+1) = Х,, Х(т) = Х,- (I, ] = 1, п ), то в (1) имеем
ю(Х(т+1) | Гт+1) = ю(Х, | Гт+1 (t + Дt)) = ю(Х, 11 + Д/), ] = 1, п ;
®(Х(т) | Гт) = ю(Хг | Гт (t)) = ю(Хг 11), / = 1,п ; р(Х(т+1)|Х(т)) = р(Х, |Хг), I,, = 1П ;
р(Гт+1 | Х(т)) = р(Гт+1 | Х1 ) , 1 = 1 п .
В соответствии с определением асинхронного потока имеют место
р(Х, | Хг) = а,Д/ + о(Д/) (I,, = 1, п , I ф ,); (8)
р(Хг | Хг) = 1 + агг Д/ + о(Д/) (I = 1п ); (9)
р(Гт+1 | Хг) = (Х;А/), e“X'■А^ (1 = 1п ). (10)
Г 1 !
т +1
Рассмотрим вариант, когда на интервале времени (/, t + Д/) нет событий потока. Это означает, что интервал (/, t + Д/) расположен на временной оси между моментами наступления соседних событий, скажем, между моментами /к и 4+1. Тогда Гт+1 = 0 и, с точностью до членов о(Д/), равенство (10) примет следующий вид:
р(Гт+1 = 0|Хг) = 1 -Хг Д + о(Д/) ( I = \Тп ). (11)
Лемма 3. В течение времени между моментами наступления соседних событий асинхронного потока апостериорные вероятности состояний потока ю(Х, | /) (, = 1, п) удовлетворяют следующей системе нелинейных дифференциальных уравнений:
йю(Х ■ | /) п п
—й:— = Х(а:-5иХ])ю(Х*| /)+ю(Х]| /)ХХ!ю(Х!| /),
а/ I=1 1=1
/к </ </к+1, I,: = 1,п , к = 0,1,..., (12)
где б, - символ Кронекера.
Доказательство. Обозначим в (1) А - числитель, В - знаменатель. Учитывая введенные обозначения и формулы (8), (9), (11), имеем
А — £ю(Дг \ {)Р(Д] \ Дг )Р(Гт+1 — 0 \ Дг ) —
= (1 — Х■ Д/ + аД/)ю(Х;- | /) + Д/ X агуЮ(Хг- | /) + о(Д/) . (13)
I =1,1 ф у
Рассмотрим В. Находим
В = X X Ю(Хг | /)р(Х 1 | ХI )р(Гт+1 = 0 | Хг ) =
:=1 г=1
= X “(Хг | /)р(Гт+1 = 0 | Хг )]^р(Х 1 | Хг )
г=1 1=1
п
или, поскольку X р(Ху | Хг) = 1, то с учетом (11), получаем (с точностью до чле-
1=1
нов о(Д/))
В = X Ю(Хг | /)р(Гт+1 = 0 | Хг ) = X “(Хг | /) — Д/X Хг“(Хг | /) + 0(Д/) .
г =1 г=1 г =1
п
Поскольку Хю(Х| | /) = 1 ,знаменатель В примет вид
г =1
п
В = 1 -Д/^ХМХ; | /) + о(Д/). (14)
г=1
Подставляя (13) и (14) в (1), находим
п
(1 -ХуД/ + ау, Д/)ю(Ху | /) + Д/ X агую(Хг- | /) + о(Д/)
®(Х у|/) =------------------------------------------------------------------------п-^-. (15)
1 -Д/ХХгю(Хг- | /) + о(Д/)
г=1
Раскладывая ВТ1 в ряд Маклорена, получаем
п
В-1 = 1+ Д/ХХгю(Хг | /) + о(Д/) .
г=1
С учетом этого разложения, формула (15), с точностью до членов о(Д/), выпишется в виде
п п
ю(Ху |/) = (1 -ХуД/)ю(Ху |/) + Д/^агую(Хг- |/) + Д/ю(Ху |/)ХХ,ю(Хг |/) + о(Д/).
г =1 г=1
Перенося ю(Ху | /) в левую часть равенства, деля левую и правую части равенства на Д/ и устремляя Д/ к нулю, находим
й ю(Х у | /) п п
-----------= Ха^7Ю(Хг | /)-Х уЮ(Ху | /) + ю(Х у | /^Х^Х; | /) (у = 1, п).
г=1 г =1
Вводя здесь символ Кронекера, приходим к (12). Лемма доказана.
г—1
Для решения системы дифференциальных уравнений (12) ее необходимо дополнить начальными условиями: значениями апостериорных вероятностей состояний потока в моменты наступления событий потока и в момент начала наблюдений за потоком. Начальные условия для системы (12) определяются в следующих двух леммах.
Рассмотрим случай, когда на интервале времени (/, / + Д/) наступает одно событие потока. Допустим, что это к-е по счету от начала наблюдений за потоком событие, наступившее в момент времени /к (/ < /к < / + Д/). В этом случае гт+1 = 1 и формула (10), с точностью до членов о(Д/), примет вид
р(гт+1 = 1|Х,) = Х, Д/ + о(Д/) (I = М ). (16)
Согласно (10), два и более событий на интервале времени (/, / + Д/) наступают с вероятностью о(Д/), то есть асинхронный поток обладает свойством ординарности. Поэтому случаи гт+1 = 2,3,. не рассматриваются.
Лемма 4. Апостериорные вероятности состояний асинхронного потока ю(Ху- | /) (у = 1, п) в момент наступления события потока определяются формулой пересчета:
Х ую(Ху | /к -0) —
ю(Х; / + 0) = -^---------}—к----- (] = 1,п , к = 1, 2, ...). (17)
Xх,ю(Х, 1 /к -0)
г=1
Доказательство. Введем величины Д/ и Д/", такие, что / = /к - Д/', / + Д/ = = /к + Д/". Пусть по-прежнему А - числитель, В - знаменатель в (1). Тогда, учитывая введенные обозначения и формулы (8), (9), (16), получаем
А = X ЦХ, | /)Р(Х} | X, )р(Гт+х = 11 х,) = х; Д/ю(Х; | /к - Д/ ') + о(Д/). (18)
1=1
Рассмотрим В. Имеем
5 = X X Ю(Х1 | /)Р(Х 1 | Х, )Р(Гт+1 = 1| Х, ) =
1 =1 1=1
= X Ю(Хг | /)Р(Гт+1 = 1 | Х, )^Р(Х 1 | Х, ) ,
1=1 1=1
п
или, так как X Р(Ху | Х,) = 1, с учетом (16), находим
1=1
п
В = Д^Х,ю(Х, | /к -Д/ ') + о(Д/). (19)
г=1
Подставляя (18) и (19) в (1), получаем
Д/Х ую(Х у | /к - Д/ ') + о(Д/) —
®(Х 1 | /к +Д/") =—+----------------------------^- (1 = 1,п , к = 1,2,...).
Д/X Х,ю(Х, | /к -Д/' ) + о(Д/)
Поделим числитель и знаменатель последней дроби на Д/, после чего устремим Д/ к нулю (Д/ и Д/" стремятся к нулю одновременно). При этом / = /к - Д/ стремится к /к слева, / + Д/ = /к + Д/" стремится к /к справа. После предельного перехода получаем (17). В формуле (17) ю(Х,-1 /к+ 0) - предел функции ю(Х,-1 /) в точке /к (к = 1,2,.) справа, ю(Х,-1 /к - 0) - предел ю(Х,-1 /) в той же точке слева. То есть функция ю(Х,- | /) в точке /к (к = 1,2,.) претерпевает разрыв первого рода. Лемма доказана.
Рассмотрим ю(Х,- | /0) (] = 1, п) - апостериорные вероятности состояния потока в момент /0 = 0 начала наблюдений за потоком. Вероятности ю(Х,- | /0) являются начальными условиями для решения системы (12) на полуинтервале [/0, /1), то есть на полуинтервале времени от момента начала наблюдений за потоком до момента наступления первого события. Задавать ю(Х,- | /0) (] = 1,п) можно, исходя из априорной информации о потоке. Поскольку поток рассматривается в стационарном режиме, то можно в качестве ю(Х1- | /0) (] = 1,п) выбрать априорные финальные вероятности состояний процесса Х(/). Пусть п (] = 1,п) - априорная финальная вероятность того, что процесс Х(/) в произвольный момент времени / находится в ]-м состоянии. Для вероятностей п (] = 1, п) справедлива лемма 5.
Лемма 5. Априорные финальные вероятности п (] = 1, п) состояний процесса Х(/) (/ ^ да) удовлетворяют системе линейных алгебраических уравнений
X П ау = 0 (1 =^п ^ XП1 =1, ()
2=1 1=1
где ац (1, ] = 1, п ) - элементы матрицы интенсивностей переходов.
Доказательство. Обозначим пДт) = р(Х(т) = X,) (] = 1, п) - вероятность того, что случайный процесс Х(т) в момент времени т находится в ,-м состоянии (асинхронный поток в момент времени т находится в ,-м состоянии). Рассмотрим момент времени т + Дт и вероятность пДт + Дт), где Дт - достаточно малая величина. По формуле полной вероятности имеем
п 1 (т + Дт) = X п (т)р(Х(т + Дт) = X, | X(т) = Xг) (, = 1, п),
2=1
или, согласно определению асинхронного потока, получаем
п ___
п 1 (т + Дт) = X П (т)агуДт + п, (т)(1 + а,Дт) + о(Дт) (, = 1,п).
2=1,2 * 1
Перенося п1(т) в левую часть, деля обе части полученного равенства на Дт и устремляя Дт к нулю, находим
,;( ) =Х П (т)а1 ( 1 = 1 п ). (21)
Ат 2=1
Согласно лемме 1, процесс Х(/) является транзитивным марковским. Для транзитивного марковского процесса существует финальное распределение [33], то есть существуют П = Иш П1(т) при т ^ да ( 1 = 1, п ), причем для Пу ( 1 = 1, п) выпол-
няется условие нормировки. Осуществив в (21) предельный переход при т ^ да, получаем систему (20). Поскольку по определению асинхронного потока
П ___
X ау = 0 (і = 1, п ), то одно из первых п уравнений системы (20) можно исклю-
1=1
чить в силу линейной зависимости. Оставшиеся уравнения образуют неоднородную систему линейных алгебраических уравнений с п неизвестными пу- (у = 1, п ). Поскольку финальное распределение Пу (у = 1, п ) существует, данная система заведомо разрешима. Лемма доказана.
Леммы 3 - 5 позволяют сформулировать теорему 2.
Теорема 2. Поведение апостериорных вероятностей ю(Ху1 ґ) (у = 1,п ) на временной оси определяется системой дифференциальных уравнений (12), формулами пересчета вероятностей (17) и решением системы (20), содержащей п уравнений, в которых ґк < ґ < 4+1, ю(Х/ | 4) = ю(Ху | 4 + 0), ю(Ху | 4+1) = ю(Ху | 4+1 - 0) (к = 0,1,.); для к = 0 имеет место равенство ю(Ху | ґ0) = ю(Ху | ґ0 + 0) = Пу (у = 1,п ).
Доказательство следует из лемм 3 - 5 путем синхронизации формул (12), (17) и (20). Теорема доказана.
Теорема 2 определяет, в частности, поведение апостериорных вероятностей на полуинтервале [ґк, ґк+і), т.е. между моментами наступления соседних событий, причем на правом конце полуинтервала имеет место значение ю(Ху | 4+0 = ю(Ху1 ґк+1 - 0), на основе которого по формулам (17) находится вероятность ю(Ху | ґк+1 + 0) (у = 1, п ), являющаяся начальной для следующего полуинтервала [ґк+1, ґк+2). Таким образом, апостериорные вероятности ю(Ху | ґ) в моменты наступления событий ґьґ2,. претерпевают разрывы первого рода.
4. Явный вид апостериорных вероятностей в зависимости от времени
Введем матрицу В = |Ц7||П , ёц = аІі (і Ф /), = ан - (і,I = 1,п ). Обозначим
юью2,...,юп - собственные числа матрицы В. Введем матрицу £ = ||.%||П , составленную из собственных векторов матрицы В таким образом, что 1-й столбец матрицы £ является собственным вектором, соответствующим собственному числу Ю/ (/ = 1,п ). Элементы обратной матрицы £_1 обозначим ,$и'. Введем матрицу
О = ||юг 5г7||П (5іг - символ Кронекера). На главной диагонали матрицы О расположены собственные числа матрицы В, прочие элементы - нулевые.
Рассмотрим [ґк, 4+0 (к = 0,1,.) - полуинтервал времени между моментами наступления соседних к-го и к+1-го событий, либо, если к = 0, между моментом начала наблюдения за потоком и моментом наступления 1-го события. Следующая теорема определяет решение системы нелинейных дифференциальных уравнений (12) на временной оси в явном виде.
Теорема 3. Апостериорные вероятности состояний асинхронного потока ю(Ху- | ґ) (у = 1,п ) на полуинтервале времени [ґк, ґк+1) (к = 0,1,...) определяются формулой
(ґк)еЮ (ґ-к) _
ю(Ху | ґ) = -П=------------------------, ґк <ґ <ґk+l, у = I,П , к = 0,1,...,
(22)
XX ^2 (ґк)е
Ю/ (ґ-ґк )
=1 I =1
где Ю(Х 1 | /к) = ю(Х 1 | /к + 0) = X(/к) , 2 (/к) = X^ 1ю(Хг | {к + 0).
г=1 2=1
Доказательство. Решим систему нелинейных дифференциальных уравнений (12) на полуинтервале [/к, 4+1) (к = 0,1,.) с начальными условиями ю(Х1-1 /к) = = ю(Х1- | /к + 0) (1 = 1, п). Сначала сведем (12) к системе линейных дифференциальных уравнений. Введем функцию у(/) следующим образом:
У(ґ) = ХХЮ(Хі | ґ).
і =1
С учетом (23), система (12) примет вид
ёю(Х1 |/)
йґ
= | ґ)(ау -8у-Xу) + ю(Ху | ґ)у(ґ) (у = 1,п ).
В (24) выполним замену функций:
ю(Х, | ґ) = у, (ґ)ехр
| у(т)ё т
(у = 1, п ),
(23)
(24)
(25)
где у(ґ) (у = 1, п ) - новая неизвестная функция, ґк < ґ < ґк+1, ю (Ху | ґк) = ю (Ху | ґк + 0) = = Уу(ґк + 0). Дифференцируя (25) по ґ, находим
ёю(Х у | ґ) ёуу (ґ)
йґ
йґ
-ехр
| у(т)ё т
+ Уу (ґ) ехР
| у(т)ё т
У(ґ) (у = 1, п ).
Подставляя правую часть последнего выражения в (24), с учетом (25) получаем
ёУу (ґ)
йґ
ехр
| у(т)ё т
_ґк
+ Уу (ґ )ехр
| у(т)ё т
_ґк
у(ґ) =
= Х У (ґ)еХР
і=1
| у(т)ё т
К' — Х у) + Уу(ґ )ехР
| у(т)ё т
У(ґ) (у = 1, п ),
производя здесь необходимые преобразования, находим
ёУу (ґ) йґ
= XУ-(ґХау— ху), ґк <ґ <ґк+1, у = IП, к = 0,1,....
(26)
і=1
Система (26) представляет собой систему дифференциальных уравнений с постоянными коэффициентами, линейную относительно неизвестных функций у(/)
(1 = 1, п).
і =1
к
Введем следующие вектор-функции:
" У1(/)" ■ У1(/) ■
я/) = У2(/) , У'(/) = у2(/)
_ У и (/ ) _ _ Уп (/)_
?(/) = £ 1 у(/).
С учетом (27), система (26) примет вид
у'(г) = Бу(г), гк < г <гк+1, к = 0,1,....
В силу определения матриц £ и О, соотношение (28) имеет вид у ’ (г) = £О£- у (г), 4 < г < 4+ъ к = 0,1,... . Тогда (26) запишется как
а
(27)
(28)
ё/
(£-1 Я/)) = 05-1 у(/), /к < / < /к+1, к = 0,1,....
(29)
В соответствии с обозначениями (27) соотношение (29) представляется в виде ?' (/) = 0?(/) или
dzi (/)
ё/
= юг2(/^ /к </ <^ і =1,и , к = 0,1,....
(30)
Система дифференциальных уравнений (30) состоит из п независимых уравнений с разделяющимися переменными. Тогда решение /-го уравнения с начальными условиями в точке гк есть
(/) = ^(/к)е“'(/-/к), /к </ </к+1, і = 1,и , к = 0,1,....
(31)
Согласно (27), имеем zi (/) = X1 у1 (/). Тогда, учитывая (25), находим
і=1
zi(/к) = Х^^і/I /к + 0) (і = М ,к = 0,1,...). (32)
і=1
Перейдем от функций х,(/) (і = 1, и ) к функциям ю(Х/ | /) (/ = 1, и). В соответствии с (27) и (31) получаем
у і (/) = Т,*'а^ (/к )е“1 (/-/к) (/ = ^ и).
(33)
і=1
Так как Хю(хг- | /) = 1, /к< /< /к+і, то из (25) находим
ехр
| у(х)^ т
= 1 X Уі (/).
(34)
Подставляя сначала (34), а затем (33) в (25), учитывая при этом (32), получаем (22). Теорема доказана.
Формулы (17), (20), (22) позволяют сформулировать алгоритм расчета апостериорных вероятностей ю(Ху | /), і = 1, и, в любой момент времени /:
1) в момент времени /0 = 0 задаются вероятности ю(Х/ | /0 + 0) = П/, где П/ - решение системы (20), / = 1, и ;
2=1
2) по формуле (22) рассчитываются вероятности ю(Х,- | г), ] = 1, п, в любой момент времени г (0 < г < г1), где г1 - момент наблюдения первого события потока;
3) по формуле (22) рассчитываются вероятности ю(Х,- | г), ] = 1,п, в момент времени г1: ю(Х,- | г1) = ю(Х,- | г1 - 0); затем по формуле (17) производится пересчет апостериорных вероятностей в точке г = г1, при этом ю(Х,- | г1 + 0), ] = 1, п, являются начальными условиями для ю(Х,- | г) на следующем шаге алгоритма;
4) по формуле (22) рассчитываются апостериорные вероятности ю(Х} | г), ] = 1, п, для любого г (г1 < г < г2), где г2 - момент времени наступления второго события потока и т. д.
5. Асинхронный поток с двумя состояниями
Рассмотрим частный случай асинхронного потока, когда п = 2. Для потока с двумя состояниями нетрудно найти введенные в разделе 4 собственные числа ю1, ю2 и матрицу £. Поток с двумя состояниями определяется интенсивностями наступления событий Хь Х2 (Х1 > Х2 > 0) и матрицей интенсивностей переходов ||2 ~у|
значим а1 = а12, а2 = а21 (а1 > 0, а2 > 0). Так как для потока с двумя состояниями ю(Х1 | г) + ю(Х21 г) = 1 для любого г, то будем рассматривать только вероятность
ю(Я,1 | г).
Априорные финальные вероятности п1, п2 состояний процесса Х(г) в любой момент времени г (г ^ да), определяются из (20) как
а9 а1
п1 =- —, п2 =--------1—. (35)
||а,-,|^ . Согласно определению потока, ап = -а12, а22 = -а21, для простоты обо-
Матрица Б примет вид
Б =
-(а1 +Х1) а2
а1 -(а2 +Х 2))’
Характеристическое уравнение для нахождения собственных чисел ю1, ю2 матрицы Б запишется как
ю +ю(Х1 + Х2 + а^ +а2) + Х^а2 + Х2а^ + Х1Х2 = 0 .
Тогда
—(Х + Х2 +а^ +а2) + ^(Х1 — Х2 — а^ -а2) + 4(Х — Х2)а1
2
—(^1 +Х2 +а, +а2) — -\1 (^1 —Х2 - а, -а2) + 4(Хі -Х2)а1 ю2 = 2-----------------------------------------------------------. (36)
Найдем собственные векторы матрицы Б. Для этого решим систему
(Б -ю1Е)х(і) = 0 (і = 1,2),
где х(і) - собственный вектор, соответствующий юі (і = 1,2). Поскольку данная система однородна и ее определитель равен нулю (і = 1,2), то одну из компонент і-го собственного вектора зададим произвольно, другую выразим через заданную. Положим, например, х2(1) = 1, х1(2) = 1. Тогда
(
Х(1) =
а2
л
а^ +Х + 1
X(2) =
Г 1 А
а^ +Х1 + ©2
то есть матрица £ примет следующий вид:
а2
£ =
а^ + + ®2
а2
(37)
Тогда элементы 5 у 1 (у = 1,2) матрицы 5-1 определятся в виде
5,, =
а2(®2 —©1)
512 = 521 =
(38)
Из (32) получаем
21(гк ) = (511 1 — 512 1)ю(Х1 | гк + 0) + 512 ', 22(гк ) = (521 — 522 )го(Х1 | гк + 0) + 522 .
Подставляя сюда выражения (38), находим (а^ + Х +®1)(а1 +а2 + Х1 +©2)
г1(гк)=■
г2(гк ) = —
а 2(^2 —©1) а^ +а2 + +©1
. I А, а1 + Х1 +©1
Ю(Х1 |к 0) — ^----------1----1
га(Х1 | гк + 0) +'
(39)
2 Ш2
При п = 2 формула (22) для нахождения апостериорной вероятности го(Х1 | г) примет вид
512 г2({к ) + 511 г1({к )е( 1 2)( к)
и(х11 г) = -
(“1—®2)(?—к)
512 ^2 (4 ) + 522 22 (4 ) + (^ц^ (% ) + (% ))е
где (ij = 1,2) - элементы матрицы £, определенной в (37), zi(tk) (i = 1,2) опреде-
ляются формулами (39), собственные числа га1, гаг определяются (36).
Подставляя в правую часть полученного равенства явный вид собственных чисел га1, гаг (формулы (36)), явный вид элементов матрицы £ (формула (37)), явный вид величин 21(гк), г2(4) (формулы (39)), производя при этом необходимые преобразования, получаем апостериорную вероятность го(Х1 | г) в виде
го(х11 г) =
где 4 ^ г < 4+1,
^ (^ — и(Х11 гк + 0)) — %2 & — т(Х! | гк + 0))е~(^2-х^—*к) ^ —©(^1 Кк + 0) — (^ —го(Х1 \гк + 0))е-(^2—«Х1 —к)
(Х1 — Х2 +а1 +а 2) — ^ (Х1 — Х 2 — а1 — а 2)2 + 4а1(Х1 — Х 2)
2(^1 — Х 2)
ос
2
22
—©
^ (Х1 —Х2 +а1 +а2) + у! (Х1 —Х2 —а1 —а2) + 4а1 (Х1 — Х2)
^2 = 2(Х1 —Х2) ,
0 < ^ < 1 < ^ Отметим, что Иш го(Х1 | г) = |1.
Таким образом, поведение апостериорной вероятности го(Х1 | г) на полуинтервале [4, 4+0 (к = 1,2,.) между соседними событиями определяется формулой
(40). В момент времени г = 4, т.е. на левом конце полуинтервала [4, 4+0, апостериорная вероятность го(Х1 | 4) определяется формулой (17) для п = 2:
©(Х11гк) = ®СХа |/к + 0) = (к = !,2,...). (41)
Х 2 + (Х1 — Х2 )®(Х1 1^ — 0)
На правом конце полуинтервала [4, 4+0, т.е. в момент времени г = 4+ь апостериорная вероятность го(Х1 | г) определяется формулой (40): го(Х1 | 4+0 = го(Х1 | 4+1 - 0). С помощью значения го(Х1 | 4+1 - 0) по формуле пересчета (41) находится значение го(Х1 | 4+1 + 0), являющееся начальным значением для го(Х1 | г) для следующего полуинтервала [4+ь 4+2) и т.д. Для полуинтервала [г0, 4) имеет место га(Х1 | г0 + 0) = п1, где априорная финальная вероятность п1 определяется формулой (35).
Подчеркнем, что формулы (40), (41) совпадают с формулами для апостериорной вероятности го(Х1 | г), приведенными в [10]. Кроме того, подчеркнем, что для Х1 = Х, Х2 = 0, т.е. для асинхронного альтернирующего потока событий [12, 16], из
(41) вытекает, что га(Х1 | 4 + 0) = 1, к = 1,2.. Последнее означает, что в данном частном случае поведение апостериорной вероятности го(Х1 | г) не зависит от предыстории, что является естественным, так как события асинхронного альтернирующего потока наступают только в первом состоянии процесса Х(г).
6. Численные результаты статистических экспериментов
Сделаем важное замечание. В силу формулы пересчета (17) значение го(Х/ | 4 + 0) (j = 1,п, к = 0,1,.) зависит от всех моментов 4,4,-••,4 наступления событий асинхронного потока, а также начальных условий, задаваемых в момент времени г0. Вследствие этого найти явное выражение для полной (безусловной) вероятности ошибочного решения представляется затруднительным, а, скорее всего, невозможным. Поэтому в данном разделе приводятся результаты статистического эксперимента, реализованного с помощью имитационной модели асинхронного потока событий, по вычислению оценок полной вероятности ошибки вынесения решения Р0 для различных вариантов набора параметров потока.
Отдельный эксперимент включает в себя два этапа. На первом этапе производится имитационное моделирование асинхронного потока при заданных значениях параметров потока и заданном времени моделирования. Алгоритм имитационного моделирования здесь не приводится, так как никаких принципиальных трудностей он не содержит. На втором этапе отдельного эксперимента производится непосредственное вычисление вероятностей го(Х/ | 4 + 0) и го(Х/1 г) по формулам (17), (20), (22), построение оценки состояние потока Х(г) и вычисление оценки полной вероятности ошибки Р0.
В качестве иллюстрации на рис. 1 приведена траектория (верхняя часть рис. 1) случайного процесса Х(0, полученная путем имитационного моделирования. Расчеты произведены для следующих значений параметров потока: п = 3; Х1 = 10; Х2 = 1; Х3 = 0,1; первая строка матрицы интенсивностей переходов процесса Х(0 из одного состояния в другое состояние ||агу Ц3 есть а(1) = (- 1,8; 1; 0,8), вторая строка -
а(2) = (0,55; - 1,2; 0,65), третья строка - а(3) = (0,2; 0,4; - 0,6). Время t изменяется в пределах от 0 до Т, где Т - время моделирования асинхронного потока (Т = 5 ед. времени). На рис. 1 (верхняя часть рис. 1) цифрами 1, 2, 3 обозначены первое, второе и третье состояния случайного процесса Х(^. В нижней части рис.1 приведена траектория оценки Х(Г), где цифрами 1, 2, 3 по-прежнему обозначены состояния оценки Х^). Вынесение решения о состоянии процесса Х(0 производится с шагом Дt = 0,01. На рис. 1 (нижняя часть рис. 1) штриховкой на оси времени обозначены временные промежутки, на которых оценка состояния не совпадает с истинным значением процесса Х(0 (области ошибочных решений). На рис. 2 - 4 приведены траектории поведения апостериорных вероятностей ю(Х1 | 0, ю(Х21 0, ю(Х3 | 0, соответствующие полученной при имитационном моделировании последовательности временных моментов наступления событий ^, ^,... (ю(Х: | 0 + ю(Х2 | 0 + ю(Хэ | () = 1).
Х(0
0 1 2 3 4 г
Рис. 1. Истинная траектория процесса Х(г) (верх рисунка) и траектория оценки Х(г) (низ рисунка)
Рис. 2. Траектория апостериорной вероятности ю(Х1 | ^
Рис. 3. Траектория апостериорной вероятности <в(Х2 | t)
Рис. 4. Траектория апостериорной вероятности <в(Х3 | t)
Для установления частоты ошибочных решений о состоянии случайного процесса Х(0 по наблюдениям за асинхронным потоком проведен статистический эксперимент, состоящий из следующих шагов: 1) для определенного набора параметров осуществляется имитационное моделирование асинхронного потока на заданном отрезке времени [0, Т] (г-й эксперимент, г = 1, N); 2) производится расчет апостериорных вероятностей ю(Х,- | Г) состояний процесса Х(^ на заданном отрезке [0, Т] по формулам (17), (20), (22); 3) осуществляется оценивание истинной
траектории процесса Х(() (оценивание на отрезке [0, Т] интервалов, когда оценка Я,(0 принимает то или иное значение); 4) осуществляется определение (для /-го эксперимента) - суммарной длительности интервалов времени, на которых
значение процесса Я(/) не совпадает с его оценкой Я(/); 5) для /-го эксперимента осуществляется вычисление доли ошибочных решений р/ = /- / Т ; 6) осуществляется повторение N раз (/ = 1, N) шагов 1 - 5 для расчета оценки безусловной вероятности ошибки оценивания состояний процесса Я(/) на отрезке [0, Т].
Результатом выполнения описанного алгоритма является выборка р/ (/ = 1, N)
долей ошибочных решений в N экспериментах. После этого вычисляются выбо-
„ N
рочное среднее безусловной вероятности ошибочного решения Р0 = (1/ N)X р/ и
/=1
„ N „
выборочная дисперсия б = (1/(N -1))X (- Р0)2 .
/=1
Результаты эксперимента, выполненного для асинхронного потока с двумя состояниями (п = 2), приведены в табл. 1 - 5. В первой строке таблиц указано время моделирования асинхронного потока событий Т (Т = 200, 400, ..., 1000 ед. времени). Во второй и третьей строках таблиц для каждого времени моделирования Т приведены численные значения для Р0 и Ъ соответственно. Результаты получены при следующих значениях параметров, общих для всех таблиц: Я2 = 1, а! = а12 = 0,04, а2 = а21 = 0,08, N = 100. При этом результаты в табл. 1 получены для Я = 2, в табл. 2 - для Я = 3, в табл. 3 - для Я = 5, в табл. 4 - для Я = 7, в табл. 5 - для Я = 10.
Т а б л и ц а 1
Результаты статистического эксперимента (Я,! = 2)
Т 200 400 600 800 1000
Р0 0,2270 0,2116 0,2171 0,2138 0,2128
б 0,005246 0,001985 0,001559 0,000984 0,000866
Т а б л и ц а 2 Результаты статистического эксперимента (Я = 3)
Т 200 400 600 800 1000
Р0 0,1267 0,1280 0,1243 0,1297 0,1269
б 0,001630 0,000692 0,000631 0,000397 0,000324
Т а б Результаты статистического эксперимента (Я,! = 5) СО а и л
Т 200 400 600 800 1000
Р0 0,0720 0,0711 0,0662 0,0694 0,0697
б 0,000364 0,000228 0,000154 0,000127 0,000095
Т а б л и ц а 4
Результаты статистического эксперимента (^1 = 7)
T 200 400 бОО 800 1000
Pq 0,0424 0,0452 0,04б3 0,04б2 0,04б4
D 0,0001б9 0,000093 0,000082 0,000050 0,000053
Т а б Результаты статистического эксперимента (Х1 = 10) л и ц а 5
T 200 400 бОО 800 1000
Pq 0,0331 0,0304 0,0309 0,0304 0,0305
0,000124 0,00004б 0,000034 0,000023 0,000019
Анализ численных результатов, представленных в табл. 1 - 5, показывает: 1) для всех вариантов расчета оценка безусловной вероятности ошибочного решения Р0 является достаточно стабильной для T > 200 ед. времени; 2) при фиксированном T оценка Р0 уменьшается в зависимости от Х1 (Х1 = 2, 3, 5, 7, 10), что
является естественным, так как при увеличении разности Х1 - Х2 легче отслеживаются состояния потока; 3) при заданных в осуществленном статистическом эксперименте значениях параметров алгоритм оптимальной оценки состояний асинхронного потока обеспечивает приемлемую оценку безусловной вероятности ошибочного решения, при этом выборочная дисперсия оценки достаточно мала.
Заключение
Полученные результаты показывают возможность оценивания состояний асинхронного дважды стохастического потока событий с произвольным (конечным) числом состояний по результатам текущих наблюдений (в течение некоторого временного интервала) за потоком. Последнее позволяет системе массового обслуживания оперативно адаптироваться (варьировать дисциплину обслуживания, режимы обслуживания и свою структуру) к изменяющимся состояниям потока.
Выражения (17) и (22) для оценки состояний асинхронного дважды стохастического потока событий с конечным числом состояний получены в явном виде, что позволяет производить вычисления без привлечения численных методов. Сам же алгоритм оценки состояний потока обеспечивает минимум полной вероятности ошибки вынесения решения.
ЛИТЕРАТУРА
1. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи. Ч. 1 // Изв. АН СССР. Техн. кибернетика. 1979. № б. С. 92 - 99.
2. Башарин Г.П., Кокотушкин В.А., Наумов В.А. О методе эквивалентных замен расчета фрагментов сетей связи. Ч. 2 // Изв. АН СССР. Техн. кибернетика. 1980. № 1. С. 55 - б1.
3. NeutsM.F. A versatile Markov point process // J. Appl. Probab. 1979. V. 1б. P. 7б4 - 779.
4. Нежельская Л.А. Нелинейная оптимальная фильтрация дважды стохастического потока с инициативными событиями // Тезисы докладов Всесоюзной научно-технич. конф.
«Микросистема - 91», 8 - 12 октября 1991, Суздаль. М.: Всесоюзное общество информатики и вычислительной техники, 1991. С. 26 - 28.
5. Горцев А.М., Нежельская Л.А. Оценка параметров синхронного альтернирующего пу-ассоновского потока событий методом моментов // Радиотехника. 1995. № 7 - 8. С. 6 -10.
6. Горцев А.М., Нежельская Л.А. Оценивание длительности «мертвого времени» и интенсивностей синхронного дважды стохастического потока событий // Радиотехника. 2004. № 10. С. 8 - 16.
7. Бушланов И.В., Горцев А.М. Оптимальная оценка состояний синхронного дважды стохастического потока событий // Автоматика и телемеханика. 2004. № 9. С. 40 - 51.
8. Бушланов И.В., Горцев А.М., Нежельская Л.А. Оценка параметров синхронного дважды стохастического потока событий // Автоматика и телемеханика. 2008. № 9. С. 76 - 93.
9. Горцев А.М., Нежельская Л.А. Оптимизация параметров адаптера при наблюдениях за МС-потоком // Стохастические и детерминированные модели сложных систем: сб. статей. Новосибирск: Изд-во ВЦ СО АН СССР, 1988. С. 20 - 32.
10. Горцев А.М., Нежельская Л.А. Оптимальная нелинейная фильтрация марковского потока событий с переключениями // Техника средств связи. Сер. Системы связи. 1989. Вып. 7. С. 46 - 54.
11. Горцев А.М., Нежельская Л.А., Шевченко Т.Н. Оценивание состояний МС-потока событий при наличии ошибок измерений // Изв. вузов. Физика. 1993. № 12. С. 67 - 85.
12. Горцев А.М., Завгородняя М.Е. Оценка параметров альтернирующего потока событий при условии его частичной наблюдаемости // Оптика атмосферы и океана. 1997. Т. 10. № 3. С. 273 - 280.
13. Горцев А.М., Шмырин И.С. Оптимальный алгоритм оценки состояний МС-потока событий при наличии ошибок в измерениях моментов времени // Оптика атмосферы и океана. 1998. Т. 11. № 4. С. 419 - 429.
14. Горцев А.М., Шмырин И.С. Оптимальная оценка параметров дважды стохастического пуассоновского потока событий при наличии ошибок в измерениях моментов наступления событий // Изв. вузов. Физика. 1999. № 4. С. 19 - 27.
15. Горцев А.М., Шмырин И.С. Оптимальная оценка состояний дважды стохастического потока событий при наличии ошибок в измерениях моментов времени // Автоматика и телемеханика. 1999. № 1. С. 52 - 66.
16. Горцев А.М., Паршина М.Е. Оценивание параметров альтернирующего потока событий в условиях «мертвого времени» // Изв. вузов. Физика. 1999. № 4. С. 8 - 13.
17. Васильева Л.А., Горцев А.М. Оценивание параметров дважды стохастического потока событий в условиях его частичной наблюдаемости // Автоматика и телемеханика. 2002. № 3. С. 179 - 184.
18. Васильева Л.А., Горцев А.М. Оценивание длительности мертвого времени асинхронного дважды стохастического потока событий в условиях его неполной наблюдаемости // Автоматика и телемеханика. 2003. № 12. С. 69 - 79.
19. Горцев А.М., Ниссенбаум О.В. Оценивание длительности мертвого времени и параметров асинхронного альтернирующего потока событий с инициированием лишнего события // Вестн. Томск. гос. ун-та. 2004. № 284. С. 137 - 145.
20. Горцев А.М., Ниссенбаум О.В. Оценивание длительности мертвого времени и параметров асинхронного альтернирующего потока событий при непродлевающемся мертвом времени // Изв. вузов. Физика. 2005. № 10. С. 35 - 49.
21. Горцев А.М., Нежельская Л.А. Оценивание параметров асинхронного потока с инициированием лишних событий методом моментов // Вестник ТГУ: материалы международных, всероссийских и региональных научных конференций, симпозиумов, школ, проводимых в ТГУ. Томск: Изд-во ТГУ, 2006. № 18. С. 267 - 273.
22. Горцев А.М., Ниссенбаум О.В. Оптимальная оценка состояний асинхронного альтернирующего потока с инициированием лишних событий // Вестник Тюмен. гос. ун-та. 2008. № 6. С. 107 - 119.
23. Горцев А.М., ЛеоноваМ.А., Нежельская Л.А. Оптимальная оценка состояний асинхронного дважды стохастического потока с инициированием лишних событий // Массовое обслуживание: потоки, системы, сети: материалы Междунар. науч. конф. «Современные математические методы анализа и оптимизации информационно-телекоммуникационных сетей», Минск, 26 - 29 янв. 2009. Вып. 20. Минск: РИВШ, 2009. С. 90 - 96.
24. Нежельская Л.А. Алгоритм оценивания состояний полусинхронного потока событий с учетом мертвого времени // Массовое обслуживание: потоки, системы, сети: материалы четырнадцатой Белорусской зимней школы-семинара по теории массового обслуживания. Минск: изд-во БГУ, 1998. С. 18 - 21.
25. Нежельская Л.А. Оптимальное оценивание состояний полусинхронного потока событий в условиях его частичной наблюдаемости // Вестник ТГУ. 2000. № 269. С. 95 - 98.
26. Горцев А.М., Нежельская Л.А. Оценивание параметров полусинхронного дважды стохастического потока событий методом моментов // Вестн. ТГУ. Приложение. 2002. № 1(1). С. 18 - 23.
27. Горцев А.М., Нежельская Л.А. Оценивание периода мертвого времени и параметров полусинхронного дважды стохастического потока событий // Измерительная техника. 2003. № 6. С. 7 - 13.
28. Горцев А.М., Нежельская Л.А. Полусинхронный дважды стохастический поток событий при продлевающемся мертвом времени // Вычислительные технологии. 2008. Т. 13. № 1. С. 31 - 34.
29. 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.
30. Lucantoni D.M., Neuts M.F. Some steady-state distributions for the MAP/SM/1 queue // Communications in Statistics Stochastic Models. 1994. V. 10. P. 575 - 598.
31. Дудин А.Н., Клименок В.П. Системы массового обслуживания с коррелированными потоками. Минск: Изд-во БГУ, 2000. 175 с.
32. Хазен Э.М. Методы оптимальных статистических решений и задачи оптимального управления. М.: Сов. радио, 1968. 256 с.
33. Хинчин А.Я. Работы по математической теории массового обслуживания. М.: Физмат-гиз, 1963. 235 с.
Горцев Александр Михайлович
Зуевич Владимир Леонидович
Томский государственный университет
E-mail: [email protected]; [email protected] Поступила в редакцию 18 февраля 2010 г.
