Основной алгоритм ЛВ-методов

1. Сначала для технической системы строится модель структуры и функционирования. Это может быть, например структурная схема или структурно-функциональная схема.
2. Состояния элементов описываются с помощью логических переменных , . Для бинарной логики можно принять следующие правила: , если элемент исправен и , если элемент отказал.
3. Формируется один или несколько критериев , по которым определяется работоспособность системы.
4. Каждый критерий представляется в виде функции алгебры логики (ФАЛ) . Функцию называют функцией работоспособности системы (ФРС) и она действует из пространства состояний системы в множества значений критерия функционирования. Для бинарной логики означает выполнение критерия, а - невыполнения.
5. На основе ФРС и показателей надежности отдельных элементов производят переход от логического описания к вероятностному, т.е. ищут вероятность выполнения или невыполнения критерия: или . Из вероятностного описания получают необходимые показатели надежности системы.

Дата добавления: 2014-01-03