Оценка надежности системы из элементов с тремя состояниями с использованием ПК АРБИТР

Описываются методики решения задач оценки надежности систем, состоящих из элементов с тремя состояниями. Показано, что развитие логико-вероятностных методов (ЛВМ), позволяет устранить такие недостатки ЛВМ, как анализ лишь двух состояний у элементов системы и только в предположении их независимости. На примере двух моделей влияния отказов элементов на надежность системы рассматривается методика решения задач с использованием ПК АРБИТР, программно реализующего возможности аппарата групп несовместных событий (ГНС), разработанного в рамках общего логико-вероятностного метода (ОЛВМ). В приложениях доказаны и описаны преобразования логических и вероятностных функций для несовместных событий.