Исследование заданной структуры и оценка ее качества, страница 3

2.4. Формирование формулы неработоспособности.

Для получения логической формулы неработоспособности необходимо инвертировать . После упрощения формулы в ручную составим программу для вычисления МСО в математическом пакете Maple. Воспользуемся функцией BooleanSimplify для раскрытия скобок и последующего упрощения и приведения к форме ДНФ.

2.5. Приведение КПУФ и МСО к форме ОДНФ.

2.5.1. Приведение КПУФ к форме ОДНФ.

Теперь подставим все слагаемые в исходное равенство и упростим:

2.5.2. Приведение МСО к форме ОДНФ.

 2.6. Оценка показателей  – отказоустойчивости  – отказоустойчивости.

 – отказоустойчивость вычисляется по следующей формуле:

, где  – число ортогонализованных конъюнктов;

 – ранг -й конъюнкции.

В нашем случае

Теперь определим параметр , в нашем случае он будет равен .

2.7. Оценка функции отказоустойчивости .