Постановка задачи. Общая расчетная модель

Случайный процесс в какой либо физической системе S, называется марковским, если он обладает следующим свойством: для любого момента t₀ вероятность состояния системы в будущем (t > t₀) зависит только от состояния в настоящем (t = t₀) и не зависит от того, когда и каким образом система пришла в это состояние (иначе: при фиксированном настоящем будущее не зависит от предыстории процесса - прошлого).

Для марковского процесса «будущее» зависит от «прошлого» только через «настоящее», т. е. будущее протекание процесса зависит только от тех прошедших событий, которые повлияли на состояние процесса в настоящий момент.

Марковский процесс, как процесс без последействия, не означает полной независимости от прошлого, поскольку оно проявляется в настоящем.

При использовании метода, в общем случае, для системы S, необходимо иметь математическую модель в виде множества состояний системы S₁ , S₂ , …, S_n , в которых она может находиться при отказах и восстановлениях элементов.

Для рассмотрения принципа составления модели введены допущения:

- отказавшие элементы системы (или сам рассматриваемый объект) немедленно восстанавливаются (начало восстановления совпадает с моментом отказа);

- отсутствуют ограничения на число восстановлений;

- если все потоки событий, переводящих систему (объект) из состояния в состояние, являются пуассоновскими (простейшими), то случайный процесс переходов будет марковским процессом с непрерывным временем и дискретными состояниями S₁ , S₂ , …, S_n .

Основные правила составления модели:

1. Математическую модель изображают в виде графа состояний.

Элементы графа:

а) кружки (вершины графа S₁ , S₂ , …, S_n) – возможные состояния системы S, возникающие при отказах элементов;

б) стрелки – возможные направления переходов из одного состояния S_i в другое S_j.

Над/под стрелками указываются интенсивности переходов.

Примеры графа:

S0 – работоспособное состояние;

S1 – состояние отказа.

«Петлей» обозначаются задержки в том или ином состоянии S0 и S1 соответствующие:

- исправное состояние продолжается;

- состояние отказа продолжается (в дальнейшем петли на графах не рассматриваем).

Граф состояний отражает конечное (дискретное) число возможных состояний системы S₁, S₂ , …, S_n. Каждая из вершин графа соответствует одному из состояний.

2. Для описания случайного процесса перехода состояний (отказ/ восстановление) применяют вероятности состояний

P1(t), P2(t), …, P_i(t), …, Pn(t),

где P_i(t) – вероятность нахождения системы в момент t в i -м состоянии, т. е.

P_i(t) = P{S(t) = si}.

Очевидно, что для любого t

(1)

(нормировочное условие, поскольку иных состояний, кроме S₁ , S₂ , …, S_n нет).

3. По графу состояний составляется система обыкновенных дифференциальных уравнений первого порядка (уравнений Колмогорова-Чепмена), имеющих вид:

(2)

В общем случае, интенсивности потоков _ij и _ij могут зависеть от времени t.

При составлении дифференциальных уравнений пользуются простым мнемоническим правилом:

а) в левой части – производная по времени t от P_i(t);

б) число членов в правой части равно числу стрелок, соединяющих рассматриваемое состояние с другими состояниями;

в) каждый член правой части равен произведению интенсивности перехода на вероятность того состояния, из которого выходит стрелка;

г) знак произведения положителен, если стрелка входит (направлена острием) в рассматриваемое состояние, и отрицателен, если стрелка выходит из него.

Проверкой правильности составления уравнений является равенство нулю суммы правых частей уравнений.

4. Чтобы решить систему дифференциальных уравнений для вероятностей состояний P1(t), P_i(t), …, Pn(t) необходимо задать начальное значение вероятностей

P1(0), P_i(0), …, Pn(0), при t = 0,

сумма которых равна единице:

Если в начальный момент t = 0 состояние системы известно, например, S(t=0) = Si, то P_i(0) = 1, а остальные равны нулю.