Аннотация:
Рассматривается логико-вероятностное моделирование надежностного поведения многоуровневых систем, описываемое немонотонными функциями алгебры логики. Предлагается метод вычисления параметра потока переходов в заданное немонотонной функцией подмножество состояний. Описывается подход к вычислению на логико-вероятностных моделях оценок интервальных показателей надежности, эффективности, безопасности многоуровневых систем. Приводится пример расчета показателей эксплуатационной готовности многоуровневой системы с немонотонными логическими критериями перехода между уровнями. Проводится сравнение полученных значений показателей с результатами марковского моделирования.