Файл: Казаков В.А. Введение в теорию марковских процессов и некоторые радиотехнические задачи.pdf
ВУЗ: Не указан
Категория: Не указан
Дисциплина: Не указана
Добавлен: 28.06.2024
Просмотров: 213
Скачиваний: 3
чиниться уравнению |
Колмогорова—Чепмена (1.10), которое Для трех |
||
последовательных моментов времени to<Kt+At |
имеет |
вид*) |
|
|
N |
|
|
РІІѴО, |
М - А О = 2 Л» Ca. t)Pii(t,t+M). |
(2.1) |
|
|
/=і |
|
|
В отличие от цепей Маркова непосредственное задание вероят ностей перехода Pa(t, i+At) оказывается невозможным, поскольку моменты переходов в разрывных марковских процессах не детермн-
t
XZ- I — І П 1 1 i 1 П I 1
Рис. 2.1. |
|
ннрованы, а с л у ч а й н ы . Обычно закон распределения моментов |
|
времени, когда система может перейти из одного состояния в другое, |
|
задается случайным п о т о к о м и момент перехода отождествляется |
|
с осуществлением события из этого случайного |
потока. |
В общем случае для каждого состояния |
я,- может быть задан |
самостоятельный управляющий поток, каждое из событий которого
разрешает |
переход |
из состояния ХІ в |
любое |
другое |
состояние |
||||||||||
Xj (/=1, 2,...). Таким образом, |
переход |
системы |
из одного |
состоя |
|||||||||||
ния в другое состоит в осуществлении |
двух зависимых |
|
событий: |
||||||||||||
сначала должно произойти событие из управляющего |
потока, а за |
||||||||||||||
тем собственно |
переход. Обычно |
предполагается, |
что собственно пе |
||||||||||||
реход системы |
из состояния в |
состояние |
происходит |
мгновенно, |
|||||||||||
поэтому осуществление события |
из управляющего |
потока |
влечет за |
||||||||||||
собой |
с к а ч о к |
в процессе. Это обстоятельство |
дает |
|
повод назы |
||||||||||
вать |
разрывные |
марковские |
процессы |
с к а ч к о о б р а з н ы м и . |
|||||||||||
. Если-множество состояний |
конечно |
(W=const) |
или. бесконечно, |
||||||||||||
но счетно, |
то соответствующий |
процесс |
называется |
р а з р ы в н ы м |
|||||||||||
процессом со счетным числом состояний. |
|
|
|
|
|
|
|
|
|||||||
Аналогия таких процессов с цепями Маркова весьма значитель |
|||||||||||||||
на, а разница, как указывалось выше, состоит в характере |
изменения |
||||||||||||||
времени, |
поэтому |
разрывные |
марковские |
процессы |
со |
счетным |
|||||||||
(в частности, с |
конечным) |
числом |
состояний |
называют |
иногда |
||||||||||
м а р к о в с к и м и ' ц е п я м и с н е п р е р ы в н ы м |
|
в р е м е н е м . |
|||||||||||||
Состояния разрывного марковского процесса могут образовы |
|||||||||||||||
вать |
такж'! и непрерывное |
(континуальное) |
множество. При этом |
получаете!) разрывный процесс с непрерывным множеством состоя ний. На р іс. 2.2, 2.3 изображены две возможные реализации разрыв ных процессов со счетным и непрерывным множествами состояний соответсі енно.
*> Для процессов іс непрерывным временем уравнение Колмого рова—Чепмена называют также соотношением Омолуховского.
38
Как и в марковских цепях, состояния разрывного процесса под разделяются на поглощающие и непоглощающие. В зависимости от наличия или отсутствия поглощающих состояний процессы класси фицируются на поглощающие и эргоднческне.
jh-rM-H-r
Рис. 2.2.
Рис. 2.3.
Поскольку любой разрывный марковский процесс должен удовлетворять марковскому свойству (;§ 1.1), то на характер управ
ляющих потоков |
накладываются |
весьма |
жесткие |
ограничения. |
В совокупности |
эти ограничения |
определяют так |
называемый |
|
п у а с с о н о в с к и й поток событий, |
изучению |
основных |
свойств ко |
|
торого посвящен следующий параграф. |
|
|
2.2.Пуассоновский поток событий
Вообще потоком событий называется последователь ность событий, происходящих одно за другим в случай ные моменты времени. Геометрически поток случайных событий удобно изображать в виде случайных точек на" реи времени. Пуассоновским потоком называется поток,
39
обладающий двумя свойствами — о р д и н а р н о с т ь ю |
и |
|||||||
о т с у т с т в и е м |
п о с л е д е й с т в и я . |
Рассмотрим |
эти |
|||||
свойства |
подробнее. |
|
|
|
|
|
||
Поток |
событий |
называется |
ординарным, |
если вероят |
||||
ности |
осуществления на бесконечно |
малом отрезке време |
||||||
ни M двух, трех и более событий pt |
&t (i) |
(i = |
2, 3,...) пре |
|||||
небрежимо малы |
по сравнению с вероятностью-^ м ( 1 ) |
|||||||
одного |
события |
|
|
|
|
|
|
|
|
|
Л . |
Ю |
(< = 2 , З . - ) - |
(2-2) |
Физически условие (2.2) означает, что ординарный по ток— это поток относительно редких событий. Вообще при произвольном потоке для любого интервала (і, t+x) справедливо соотношение нормировки
|
|
pt,A0)+pt, |
,(i) + S |
^ . Л 0 = і . |
|
(2.3) |
||||
|
|
|
|
|
1-2 |
|
|
|
|
|
где |
pt |
— вероятность |
того, |
что на г участке (t, t-\-*) |
||||||
не |
произойдет ни одного |
события. |
|
|
|
x=At |
||||
|
С учетом (2.2) для ординарного |
потока |
при |
|||||||
соотношение (2.3) |
приобретает вид |
|
|
|
|
|||||
|
|
Pt.AtW |
+ Pt.tii1)™1- |
|
|
|
(2-4) |
|||
|
Найдем среднее число событий ординарного потока, |
|||||||||
наступающих на интервале |
времени |
(i, |
t+At): |
|
||||||
|
|
0-Pt.u<P)+l-Pt.uQ) |
|
+ |
2-Pt. дЛ2) + |
. . . + |
|
|||
|
|
+ mpti |
д < ( m ) + ... = |
/?,_ |
|
|
|
|
||
Тогда среднее число событий в единицу времени |
равно |
|||||||||
Р<,д*(1)/Д£. Если существует предел этого |
выражения, |
|||||||||
то |
он называется и н т е н с и в н о с т ь ю |
ординарного по |
||||||||
тока K(t) : |
|
|
[piiLi(l)!M]. |
|
|
|
|
|||
|
|
*(*) = Um |
|
|
|
(2.5) |
Интенсивность X(t) может быть любой неотрицательной
функцией времени и имеет размерность |
[l/сек]. В част |
|||
ном случае, когда %(t) =Ä,=const, |
поток называется |
с т а |
||
ц и о н а р н ы м . У стационарного |
потока |
вероятность по |
||
явления того или иного числа событий |
на |
участке |
(t, |
|
t+x) зависит лишь от длины этого участка |
х и не зави |
|||
сит от t. |
|
|
|
|
Второе основное свойство пуассоновского потока —
от с у т с т в и е п о с л е д е й с т в и я — свидетельствует
отом, что пуассоновский поток событий есть марковский процесс. Применительно к рассматриваемому потоку
свойство отсутствия последействия состоит в |
том, |
что |
|||
для |
любых н е п е р е к р ы в а ю щ и х с я |
участков |
длиной |
||
Ті и |
Т2 число событий, случившихся на |
одном |
из |
них, |
не |
зависит от того, сколько событий произошло на другом.
Используя это свойство, можно показать |
(см., |
например, |
||||||||||||||
(1, 2]), что для нестационарного пуассоновского |
потока |
|||||||||||||||
число событий, |
попадающих |
на |
интервал |
(t, |
t+x), |
рас |
||||||||||
пределено по закону |
Пуассона: |
|
|
|
|
|
|
|
||||||||
|
|
^ И ^ ^ ^ 1 |
' ' 1 |
1 |
- |
|
|
|
(2-6) |
|||||||
Здесь A(t, |
х) |
—среднее число событий, наступающих на |
||||||||||||||
интервале |
(і, |
|
t+x), |
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
A{t, |
|
t+x |
X{t')dt'. |
|
|
|
|
|
|||
|
|
|
|
|
x ) = |
|
f |
|
|
|
|
(2.7) |
||||
Для стационарного |
потока |
|
t |
|
|
|
|
|
|
|
|
|||||
|
t + z |
|
|
|
|
|
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
A(t, |
х) = |
Л(т;)= |
j |
MÏ = |
Xt, |
|
|
|
(2.8) |
|||||
|
|
|
|
|
|
|
|
t |
|
|
|
|
|
|
|
|
и тогда |
(2.6) |
вырождается |
в |
широко известную фор |
||||||||||||
мулу распределения |
Пуассона |
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
Л И = ^ е Л |
|
|
|
|
|
(2.9) |
|||||
Стационарный |
пуассоновский |
лоток, |
для |
|
которого |
|||||||||||
справедливо |
соотношение |
(2.9), |
называют |
п р о с т е й |
||||||||||||
ш и м потоком. На примере простейшего потока |
покажем |
|||||||||||||||
справедливость соотношения |
(2.9) [3]. |
|
|
|
|
|
||||||||||
Выберем т = 0 и рассмотрим |
два |
интервала |
(0, т) и |
|||||||||||||
и (т, т + Д т ) , |
причем |
Ат мало. В |
силу |
отсутствия |
после |
|||||||||||
действия |
|
вероятность того, |
что |
на |
отрезке |
-(0, |
х+Ах) |
|||||||||
не (произойдет ни одного события, 'равна |
|
|
|
|
||||||||||||
|
|
|
|
|
Л+ дДО)=Л(0)/>д*(0)- |
|
|
|
( 2 л ° ) |
|||||||
Но для |
ординарного |
потока |
из |
(2.4) |
|
следует |
|
|
|
|||||||
|
|
|
|
|
/>дх(0)« |
1 - ^ ( 1 ) - |
|
|
|
|
|
(2.11) |
41
так что |
|
|
|
|
Перенесем |
р^(0) в левую |
часть |
и разделим |
обе части |
равенства |
на А-г. Затем, переходя к пределу |
при Дт—Ю, |
||
с учетом (2.5) получаем |
|
|
|
|
|
• AljW |
= — Xp^Q). |
(2.13) |
|
Интегрирование этого уравнения |
при начальном условии |
|||
Ро (0) = 1 приводит к соотношению |
|
|||
|
РІ(0)=ІГ\ |
|
(2.14) |
которое совпадает с (2.9) при т = 0. Аналогично можно доказать справедливость (2.9) для других т.
Найдем закон распределения интервала времени Т между двумя событиями в простейшем потоке. Совме стим начальную точку отсчета с моментом появления
|
|
|
t |
|
|
Рис. 2.4. |
|
|
|
произвольного события |
(рис. 2.4). Вероятность того, что |
|||
на отрезке времени т |
не появится |
ни |
одного |
события |
( т = 0 ) определяется (2.14). Вместе |
с |
тем эта |
вероят |
ность равна вероятности того, что случайная иеличина Т больше величины т:
Вероятность того, что Т<%, очевидно, равна |
|
Я ( Г ь < х ) = 1 - Р ( Г > т ) = 1 _ : е - Х т . |
(2.15) |
Но вероятность Р(Т<х) по определению означает функ цию распределения (интегральный закон) случайной ве личины Т. Дифференцируя (2.15), получаем дифферен циальный закон распределения:
щ)(т) = |
Я е _ х \ х > 0 . |
(2.16) |
Таким образом, в простейшем потоке интервалы вре |
||
мени между соседними |
событиями подчиняются |
п о к а - |
42