- •Марковский процесс: определение, свойства, представление.
- •Определение вероятностей состояний марковского процесса (вывод уравнений Колмогорова-Чепмена).
- •Правило получения уравнений Колмогорова-Чепмена непосредственно по виду графа состояний системы (на примере для системы, состоящей из двух элементов)
- •Логико-вероятностные методы расчета надежности резервированных систем: логические основы расчета надежности.
- •Расчет надежности, основанный на использовании параллельных и последовательных структур.
- •2. Параллельное.
- •Последовательность расчета надежности с использованием математической логики.
- •Структурный анализ и структурные преобразования в расчетах надежности: преобразование структуры типа «треугольник» в структуру типа «звезда».
- •Значение и определение испытаний на надежность. Положительные и отрицательные стороны испытаний на надежность.
- •Структурный анализ и структурные преобразования в расчетах надежности: метод разложения сложной структуры по «ключевым элементам».
- •Классификация и краткая характеристика видов испытаний на надежность.
- •Определительные испытания на надежность (характеристика, виды, преимущества, недостатки). Определительные испытания на надежность
- •Контрольные испытания на надежность, основанные на числе допустимых отказов, равном нулю (пример).
- •Контрольные испытания на надежность, основанные на последовательном анализе.
- •Понятие качества программных средств. Функциональные и конструктивные характеристики качества.
- •Иерархия показателей качества пс. Характеристика комплексных показателей качества пс
- •Классификация показателей качества. . Процесс оценки показателей качества по гост
- •Показатели надежности пс
- •Понятия отказа и сбоя пс. Виды состояний по. Примеры
- •Классификация отказов по. Примеры
- •Понятие дефектов пс и причины их появления
- •Области использования понятий отказ, сбой, дефект на протяжении всего жизненного цикла пс
- •Модель анализа надежности пс
- •Марковский процесс: определение, свойства, представление.
- •Определение вероятностей состояний марковского процесса (вывод уравнений Колмогорова-Чепмена).
- •Правило получения уравнений Колмогорова-Чепмена непосредственно по виду графа состояний системы (на примере для системы, состоящей из двух элементов)
Логико-вероятностные методы расчета надежности резервированных систем: логические основы расчета надежности.
Расчет надежности сложной системы по существу является определением истины сложного высказывания.
Сложное высказывание состоит из простых высказываний, соединенных между собой логическими операциями.
Каждая из логических операций устанавливает вполне определенную связь между истинностью сложного высказывания и истинностью простого высказывания.
Ex.
а – находится в работоспособном состоянии
b - находится в работоспособном состоянии
а и b простые высказывания
S1
– работоспособна, если а и b
работоспособны (
)
S2
– работоспособна, если
.
При расчете надежности используют правила преобразования сложных высказываний:
1)
5)
2)
6)
3)
7)
4)
8)
9)
С помощью этих преобразований сложные высказывания можно привести к min безповторимой форме.
Таким образом, чтобы получить формулу для вероятности работоспособного состояния сложной системы, необходимо
сформулировать условие работоспособности системы ;
на основании формулировки записать логическую функцию работоспособности Fл;
преобразовать в случае необходимости логическую функцию работоспособности (минимизировать и исключить повторяющиеся члены);
в логической функции работоспособности заменить логические операции арифметическими;
в полученной таким образом арифметической функции работоспособности заменить простые события (простые высказывания) их вероятностями;
подставить числовые значения вероятностей.
Расчет надежности, основанный на использовании параллельных и последовательных структур.
Последовательное.
1. Если работоспособны 1 и 2 и ... и n элементов
2
.
3.
4.
2. Параллельное.
1. S
работоспособна, если:
(по 3й
формуле) =
2.
3. i
-> Pi
Последовательность расчета надежности с использованием математической логики.
Чтобы получить формулу для вероятности работоспособного состояния сложной системы, необходимо
сформулировать условие работоспособности системы ;
на основании формулировки записать логическую функцию работоспособности Fл;
преобразовать в случае необходимости логическую функцию работоспособности (минимизировать и исключить повторяющиеся члены);
в логической функции работоспособности заменить логические операции арифметическими;
в полученной таким образом арифметической функции работоспособности заменить простые события (простые высказывания) их вероятностями;
подставить числовые значения вероятностей.
Структурный анализ и структурные преобразования в расчетах надежности: преобразование структуры типа «треугольник» в структуру типа «звезда».
Преобразование треугольника в звезду и наоборот.
Эти преобразования позволяют перейти от сложной структурной схемы надежности к параллельно-последовательным схемам надежности.
Ps= Px(PyPb + PzPd – PyPbPzPd)
1
-> 2:
1 -> 3:
2 -> 3:
Заменяем на вероятности a -> pa …
Pa=Pb=Pc=P∆
; Px=Py=Pz=Pз
;
