
- •Марковский процесс: определение, свойства, представление.
- •Определение вероятностей состояний марковского процесса (вывод уравнений Колмогорова-Чепмена).
- •Правило получения уравнений Колмогорова-Чепмена непосредственно по виду графа состояний системы (на примере для системы, состоящей из двух элементов)
- •Логико-вероятностные методы расчета надежности резервированных систем: логические основы расчета надежности.
- •Расчет надежности, основанный на использовании параллельных и последовательных структур.
- •2. Параллельное.
- •Последовательность расчета надежности с использованием математической логики.
- •Структурный анализ и структурные преобразования в расчетах надежности: преобразование структуры типа «треугольник» в структуру типа «звезда».
- •Структурный анализ и структурные преобразования в расчетах надежности: метод разложения сложной структуры по «ключевым элементам».
- •Значение и определение испытаний на надежность. Положительные и отрицательные стороны испытаний на надежность.
- •Классификация и краткая характеристика видов испытаний на надежность.
- •Определительные испытания на надежность (характеристика, виды, преимущества, недостатки). Определительные испытания на надежность
- •Контрольные испытания на надежность, основанные на числе допустимых отказов, равном нулю (пример).
- •Контрольные испытания на надежность, основанные на последовательном анализе.
- •Понятие качества программных средств. Функциональные и конструктивные характеристики качества.
- •Иерархия показателей качества пс. Характеристика комплексных показателей качества пс
- •Классификация показателей качества. . Процесс оценки показателей качества по гост
- •Показатели надежности пс
- •Понятия отказа и сбоя пс. Виды состояний по. Примеры
- •Классификация отказов по. Примеры
- •Понятие дефектов пс и причины их появления
- •Области использования понятий отказ, сбой, дефект на протяжении всего жизненного цикла пс
- •Модель анализа надежности пс
- •Марковский процесс: определение, свойства, представление.
- •Определение вероятностей состояний марковского процесса (вывод уравнений Колмогорова-Чепмена).
- •Правило получения уравнений Колмогорова-Чепмена непосредственно по виду графа состояний системы (на примере для системы, состоящей из двух элементов)
Марковский процесс: определение, свойства, представление.
Марковский процесс – для каждого момента времени вероятность любого состояния в будущем зависит только от ее состояния в настоящий момент времени и не зависит от того, каким образом система пришла в это состояние.
Характеристику процесса удобно представлять в виде графа состояний.
- переходы
- состояния
S1 – все работают
S2 – 1 не работает, 2 работают
S3 – 2 не работают, 1 работает
S4 – 1,2 не работают
λ – интенсивность отказов
μ – интенсивность восстановления
Случайное событие – это событие, которое может появляться или не появляться в результате данного опыта.
Случайные события, следующие одно за другим в некоторой последовательности, образуют поток случайных событий.
Свойства:
Одинарный поток событий – поток, при котором вероятность попадания 2х событий на один и тот же малый участок времени ∆t пренебрежимо мала.
Стационарный поток случайных событий – поток, однородный по времени, т.е. среднее число событий в единицу времени остается постоянным.
Поток без последействия – поток, для кот-го для 2х непрерывающихся временных участков число событий, попадающих на один из них, не зависит от того, сколько событий попало на другой участок.
Определение вероятностей состояний марковского процесса (вывод уравнений Колмогорова-Чепмена).
Вероятности того, что система будет находиться в i-том состоянии:
P1(t+∆t)=p1(t)p11(∆t)+p2(t)p21(∆t)+p3(t)p31(∆t)
P2(t+∆t)=p2(t)p22(∆t)+p1(t)p12(∆t)+p4(t)p42(∆t)
…
Pij(∆t) – вероятность отказа
Pji(∆t) – вероятность восстановления
P1(t+∆t)=p1(t)[1-(p12(∆t)+p13(∆t))]+…
при
1 – система работоспособна (единственное состояние)
2, 3, 4 – вероятность отказа системы
Р1 – ВБР системы
В левой части производная по t для вероятности того, что мы определяем.
В правой части столько слагаемых, сколько входит и выходит стрелок («-» если стрелка выходит).
Если λ1 = λ2 = λ; μ1 = μ2 = μ
Если имеются 2 ремонтные бригады
S1 – все работают
S2 – 1 работает, 1 отказал
S3 – все не работают
Правило получения уравнений Колмогорова-Чепмена непосредственно по виду графа состояний системы (на примере для системы, состоящей из двух элементов)
Для каждого из возможных состояний системы записываются уравнения, в левой части которого dPi/dt, а справа –только слагаемые, сколько стрелок графа соприкасается с данным состоянием.
Если стрелка направлена в данное состояние, то перед слагаемым ставиться +,если стрелка направлена из данного состояния- -.
Каждое из слагаемых будет равно произведению интенсивности перехода из данного состояния (либо в данное) на вероятности состояния, из которого выходит стрелка.
4-5. Решение уравнений Колмогорова-Чепмена для нестационарного и стационарного марковского процесса. Правило получения вероятностей состояний непосредственно по графу состояний. Вычисление стационарного коэффициента готовности и коэффициента простоя.
Для схемы, изображенной на рис.
а) число состояний – три. Состояние S0 – два элемента, входящие в систему, работоспособны; состояние S1 – один из элементов, входящих в систему , в неработоспособном состоянии; S2 – оба элемента, входящие в систему, находятся в отказовом состоянии.
а
)
б)
2
2
Получить систему дифференциальных уравнений можно непосредственно по виду графа переходов по следующему правилу.
Для каждого из возможных состояний системы записывается уравнение, в левой части которого -
а справа – столько слагаемых, сколько стрелок графа соприкасается с данным состоянием.
Если стрелка направлена в данное состояние, то перед слагаемым ставится плюс, если стрелка направлена из данного состояния – минус.
Каждое из слагаемых будет равно произведению интенсивности перехода из данного состояния (либо в данное состояние) на вероятности состояния, из которого выходит стрелка.
Вероятность нулевого состояния определяется выражением
Вероятность каждого из состояний определяется выражением:
.
Руководствуясь этим правилом, получим систему уравнения для нашего примера:
(7.2)
Решение уравнений можно получить, использовуя преобразование Лапласа. Основные соотношения преобразования приведены в табл.7.1.
Но с учетом того,
что интенсивности переходов
и
постоянны и
равны соответственно:
,
а рассматриваемый марковский процесс
– процесс стационарный, решение системы
уравнений можно существенно упростить,
приняв производные
равными нулю:
(7.3)
Четвертое уравнения системы (при трех неизвестных) становится необходимым потому, что первые три уравнения сводятся к двум. Решение этой системы будет иметь вид
,
,
.
Теперь нетрудно вычислить стационарные коэффициенты готовности и простоя системы. Коэффициент готовности представляет собой сумму вероятностей работоспособных состояний системы, в нашем примере
,
.