далее будем рассматривать марковские процессы с дискретными состояниями и непрерывным временем.
Пример.1
Техническое устройство состоит из трёх узлов и в любой момент времени может находиться в одном из восьми состояний (рис. 1).
S6
S1 S2
S0
|
S5
S3
S7
Рис.1
Возможные состояния устройства таковы:
S0 — все три узла исправны;
S1 — первый узел неисправен, второй и третий исправны;
S2 — второй узел неисправен, первый и третий исправны;
S3 — третий узел неисправен, первый и второй исправны;
S4— первый и третий узлы неисправны, второй исправен;
S5- второй и третий узлы неисправны, первый исправен;
S6 — первый и второй узлы неисправны, третий исправен;
S7 — все три узла неисправны.
Размеченным графом будем считать такой граф, у которого стрелками указаны переходы из одного состояния в другое, а рядом со стрелкой указана интенсивность перехода. Будем различать две интенсивности — прямую λ и обратную µ.
Тогда λ1 λ2 λ 3— интенсивности потоков отказов соответственно первого, второго и третьего узлов, а µ1 µ2 µ.3 — соответственно интенсивности потоков возвратов (ремонтов) узлов.
|
|
Если для ремонта каждого узла имеется отдельный специалист, то среднее время ремонта каждого узла есть величина постоянная и не имеет значения, один или несколько узлов вышли из строя.
На основе построенного размеченного графа (см. рис..1) создадим математическую модель.
Наше техническое устройство в соответствии с построенным графом в любой момент времени будет находиться в одном из восьми возможных состояний. Обозначим вероятность каждого i-го состояния как pi (t), тогда
(1)
Для определения вероятности каждого состояния технического устройства составим соответствующие дифференциальные уравнения. Вероятность того, что техническое устройство будет находиться в состоянии S1 (первый узел неисправен, а второй и третий узлы исправны), обозначим p1 (t). Дадим малое приращение по времени Δt. За это малое время Δt техническое устройство либо остается в прежнем состоянии So, либо перейдет в состояние S1 из состояний S0, S4 или S6.
Определим вероятность первого случая — устройство остается в состоянии S1. В момент времени t устройство было в состоянии S1 с вероятностью p1(t). За время Δt устройство не перейдет в любое из состояний So, S4 или S6. Суммарный поток событий, который может вывести устройство из состояния S1, будет равен λ2 +λ3 +µ1 Каждый из этих потоков событий простейший, поэтому и суммарный поток также будет простейшим (все три свойства стационарности, ординарности и отсутствие последействия сохраняются).
Вероятность того, что устройство выйдет из состояния S1 будет равна p1(t) (λ2 +λ3 +µ1) Δt, а вероятность того, что останется в состоянии S1 P1(t)(l - (λ2 +λ3 +µ1) Δ t).
|
|
Теперь определим вероятность перехода устройства за время Δ t в состояние S1 из состояний S0, S4 или S6,:
Для S4 p4(t)Δtμ3
Для S6 p6(t)Δtμ2
Для S0 p0(t)Δtλ1
Таким образом, вероятность нахождения устройства в состоянии S1 будет равна:
p1(t+Δt)=p1(t)(1-(μ1+λ2+λ3)Δt)+p0(t)λ1Δt+p4(t)μ3Δt+p6(t)μ2Δt
Выполним преобразования:
p1(t+Δt)=p1(t)- p1(t)(μ1+λ2+λ3)Δt)+p0(t)λ1Δt+p4(t)μ3Δt+p6(t)μ2Δt
p1(t+Δt)- p1(t) =- p1(t)(μ1+λ2+λ3)Δt+p0(t)λ1Δt+p4(t)μ3Δt+p6(t)μ2Δt
p1(t+Δt)- p1(t) =- p1(t)(μ1+λ2+λ3) +p0(t)λ1+p4(t)μ3+p6(t)μ2
Δt
Устремив Δt к нулю, получим
-p1(t)(μ1+λ2+λ3) +p0(t)λ1+p4(t)μ3+p6(t)μ2 (2)
Выполнив аналогичные действия, получим 8 дифференциальных уравнений
(3)
Эта система дифференциальных уравнений называется системой уравнений Колмогорова. Имеем систему из восьми линейных дифференциальных уравнений с восемью неизвестными. Известно, что сумма всех вероятностей равна единице, т. е.
Ро+P1 +P2+P3+P4+P5+P6+P7 = 1. (4)
Таким образом, любое из уравнений, входящее в систему уравнений (3), можно записать, используя уравнение (4), и найти значения вероятностей для каждого события.
Для облегчения процесса составления дифференциальных уравнений можно применить следующее правило:
В левой части каждого уравнения следует записать производную вероятности i-го состояния устройства.
В правой части сумма произведений потока событий, входящих в текущее состояние, умноженная на вероятность состояния, из которого исходит поток, минус суммарная интенсивность исходящих потоков событий из текущего состояния, умноженная на вероятность текущего состояния.
Когда определены вероятности событий, то встаёт вопрос: «Что будет с техническим устройством в установившемся режиме?» В каком состоянии (режиме) будет находиться техническое устройство по прошествии большого периода времени, т. е. при t —> °°. Если существуют пределы вероятностей pi(t) состояний устройства и они не зависят от текущего состояния устройства, то эти пределы называются финальными вероятностями состояний.
Если число состояний некоторого устройства равно n (конечное число состояний) и из каждого состояния можно перейти в другое состояние, то финальные вероятности существуют. Это положение доказывается в теории случайных процессов.
Если финальные вероятности существуют:
Lim pi(t) = Pi при i = 1, 2, 3, n, (5)
t→∞
то их сумма будет равна единице:
(6)
Финальные вероятности показывают, какое среднее время устройство будет находиться в каждом состоянии. Финальные вероятности находятся из системы дифференциальных уравнений, если их правые части приравнять нулю.
Зададим численные значения интенсивности потоков событий для примера 1:
λ1= 1; λ2 = 2; λ3 = l; μ1 =2; μ2 = 4; μ3 = 2.
Приравняем левые части уравнений системы (3) нулю и заменим одно из уравнений выражением (4)
0=-p1(μ1+λ2+λ3) +p0λ1+p4μ3+p6μ2
0=-p2(μ2+λ1+λ3) +p0λ2+p5μ3+p6μ1
0=-p3(μ3+λ2+λ1) +p0λ3+p4μ1+p5μ2
0=-p4(μ1+λ2+μ3) +p3λ1+p1λ3+p7μ2
0=-p5(λ1+μ2+μ3) +p3λ2+p2λ3+p7μ1
0=-p6(μ1+μ2+λ3) +p1λ2+p7μ3+p2λ1
0=-p0(λ1+λ2+λ3) +p1μ1+p3μ3+p2μ2
Ро+P1 +P2+P3+P4+P5+P6+P7 = 1
Второй (отрицательный) член каждого выражения перенесем левую часть
p1(μ1+λ2+λ3)=p0(t)λ1+p4(t)μ3+p6(t)μ2
p2(μ2+λ1+λ3) =p0(t)λ2+p5(t)μ3+p6(t)μ1
p3(μ3+λ2+λ1) =p0(t)λ3+p4(t)μ1+p5(t)μ2
p4(μ1+λ2+μ3) =p3(t)λ1+p1(t)λ3+p7(t)μ2
p5(λ1+μ2+μ3) =p3(t)λ2+p2(t)λ3+p7(t)μ1
p6(μ1+μ2+λ3) =p1(t)λ2+p7(t)μ3+p2(t)λ1
p0(λ1+λ2+λ3) =p1(t)μ1+p3(t)μ3+p2(t)μ2
P7 = 1- Ро-P1 -P2-P3-P4-P5-P6
Подставим конкретные значения (указанные выше) прямых обратных интенсивностей
|
|
p1(2+2+1)=1p0+2p4+4p6
p2(4+1+1) =2p0+2p5+2p6
p3(2+1+2) =1p0+2p4+4p5
p4(2+2+2) =1p3+1p1+4p7
p5(1+2+4) =2p3+1p2+2p7
p6(2+4+1) =2p1+2p7+1p2
p0(1+2+1) =2p1+2p3+4p2
P7 = 1- Ро-P1 -P2-P3-P4-P5-P6
После выполнения арифметических действий получим:
5p1=1p0+2p4+4p6
6p2 =2p0+2p5+2p6
5p3 =1p0+2p4+4p5
6p4 =1p3+1p1+4p7
7p5 =2p3+1p2+2p7
7p6 =2p1+2p7+1p2
4p0 =2p1+2p3+4p2
P7 = 1- Ро-P1 -P2-P3-P4-P5-P6
Из первого уравнения выразим pl= 1/5p0+ 2/5 p4+ 4/5p6, и подставим его в остальные уравнения:
6р2 = 2р0 + 2р5 + 2р6;
5P3 = Ро+4р5 +2р4;
28/5p4=p3+4p7+1/5p0+4/5p6
7р5 = р2 + 2р3 + 2р7;
27/2p6=2/5p0+4/5p4+p2+2p7
48/5p0=4/5p4+8/5p6+4p2+2p3.
P7=1-6/5p0-p2-p3-7/5p4-p5-9/5p6
Аналогично выражаем p2=1/3P0+1/3P5 +1/3Р6 и подставляем в
оставшиеся уравнения и получаем:
5 P3 = р0+4р5 + 2р4;
28/5p4=p3+4p7+1/5p0+4/5p6
20/3p5 =1/3p0+1/3p6+2p3+2p7
79/6p6 = 11/15p0+4/5p4+1/3p5+2Р7;
124/15p0=2p3+4/5p4+4/3p5+44/15p6
p7 = 1-23/15p0-p3-7/5p4-4/3p5-32/15p6
Выражаем р3 = 1/5р0 + 4/5 р5 +2/5 р4 и подставляем в оставшиеся уравнения и получаем:
26/5p4=2/5p0+4/5p6+4p7+4/5p5
76/15p5=11/15p0+1/3p6+2p7+4/5p4
79/6p6=11/15p0+4/5p4+1/3p5+2p7
20/3p0=8/5p4+44/15p5+44/15p6
Р7 = 1-26/15p0-9/5p4-32/15p5-62/15p6
Из первого уравнения выразим р4 = 1/13 Ро + 2/13p5+2/13p6+10/13p7
и подставим в оставшиеся уравнения. После выполнения преобразований получим:
Из первого уравнения выразим
И подставим в оставшиеся уравнения
Из первого уравнения выразим Р6 и подставим в оставшиеся уравнения
Из первого уравнения р0 и подставим в оставшиеся уравнения:
Р7=0,2845+0,6927*0,4697р7 р7=0,2146
Определим остальные вероятности, подставляя полученные результаты в обратном порядке
ро = 0,4694 • 0,2146 = 0,1007;
р6 = 0,06678*0,1007 + 0,1731 • 0,2146 = 0,04387;
р5 = 0,1608 * 0,1007 + 0,09232 • 0,04387 + 0,2801 • 0,2146 = 0,08035;
р4 = 0,07692 • 0,1007 + 0,1538 • 0,08035 + 0,1538 * 0,04387 + 0,7692*0,2146 = 0,08035;
р3 = 0,2 • 0,1007 + 0,8 • 0,08035 + 0,4 • 0,1853 = 0,1585;
р2 = 0,3333 • 0,1007 + 0,3333 • 0,08035 + 0,3333 • 0,04387 = 0,07498;
Р1 = 0,2 • 0,1007 + 0,4 • 0,1853 + 0,8 • 0,04387 = 0,1294
. Выполним проверку. Сумма вероятностей всех событий должна быть равна единице.
Р0+Р1 + P2+ РЗ+ Р4+ Р5+ P6+ P7 = 1
0,1294 + 0,07498 + 0,1585 + 0,1853 + 0,08035 + 0,04387 + 0,1007 + + 0,2146 = 0,9877
Полученный результат меньше единицы, так как значение каждой вероятности было округлено.