Процесс “гибели и размножения”. Формулы нахождения вероятностей состояний.


Зная размеченный граф состояний системы, легко написать систему алгебраических уравнений для предельных вероятностей состояний и рассчитать их. Но если две системы имеют одинаковые графы состояний и различаются лишь интенсивностями потоков, то нет надобности каждый раз выписывать системы этих уравнений.

Рассмотрим так называемый “процесс гибели и размножения”, который лежит в основе изучения простейших систем массового обслуживания.

clip_image002 Марковская непрерывная цепь называется “процессом гибели и размножения”, если граф состояний имеет вид, представленный на рис. 1.6, т.е. все состояния можно вытянуть в одну цепочку, в которой каждое из средних состояний связано прямой и обратной связью с каждым из соседних состояний, а крайнее состояние только с одним соседним состоянием.

Запишем для вероятностей состояний систему уравнений и решим её.

Для первого состояния X1 имеем:

?01P0=?10P1

Для второго состояния X2 имеем:

?01P0+?21P2=?10P1+?12P1 , но ?12P1=?21P2 , тогда

?21P2=?12P1

Аналогично получаем:

?23P2=?32P3

…………………

?k-1,kPk-1=?k,k-1Pk

…………………

?n-1,nPn-1=?n,n-1Pn

Итак, предельные вероятности состояний P0 , P1 , ………. , Pn в любой схеме гибели и размножения удовлетворяют системе:

clip_image003 ?01P0=?10P1

?12P1=?21P2

?23P2=?32P3

………………………

?k-1,kPk-1=?k,k-1Pk

………………………

?n-1,nPn-1=?n,n-1Pn и

условию: P0+P1+………+Pn=1.

Решим систему следующим образом: из первого уравнения выразим P1 :

clip_image005

Из второго, с учётом предыдущего равенства, получим :

clip_image007 и т.д.

Для clip_image009

Эта формула справедлива для любого clip_image011

Полученные значения P1……..Pn подставим в уравнение

P0+P1+………+Pn=1.

Получим :

clip_image013

Откуда: clip_image015

Зная P0 , найдём все остальные значения вероятностей P1 , P2 , …… , Pn по вышеприведённым формулам. Таким образом, задача «гибели и размножения» решена в общем виде.

Пример 1.3. Найти предельные вероятности состояний для процесса «гибели и размножения», размеченный граф состояний которого изображён на

clip_image016рис. 1.7.

clip_image018 ; clip_image020

clip_image022

Проверим: clip_image024

Загрузка...