Abstract

We consider logical-probabilistic modeling of the reliability behavior of multilevel systems described by nonmonotone functions of the algebra of logic. A method is proposed for calculating the parameter of the flow of transitions to a subset of states specified by a nonmonotone function. An approach to calculating estimates of interval indicators of reliability, efficiency, and safety of multilevel systems on logical-probabilistic models is described. An example of calculating the indicators of the operational availability of a multilevel system with nonmonotone logical criteria for the transition between levels is given. The calculated values of indicators are compared with the results of Markov modeling.

中文翻译：

---

多级系统非单调逻辑概率模型中可靠性指标的计算

摘要

我们考虑由逻辑代数的非单调函数描述的多级系统的可靠性行为的逻辑概率建模。提出了一种用于计算向非单调函数指定的状态子集的转换流的参数的方法。描述了一种计算逻辑概率模型上多级系统的可靠性、效率和安全性区间指标估计值的方法。给出了计算多级系统操作可用性指标的示例，该系统具有级别之间转换的非单调逻辑标准。将指标的计算值与马尔可夫模型的结果进行比较。