论文部分内容阅读
针对Markov方法在动态多阶段系统模块化分析中的状态爆炸问题,给出了一种新的动态模块化方法.该方法首先从充分利用动态多阶段系统所包含的静态特性的角度出发,利用集合并操作将阶段故障树的动态模块构造成跨阶段的动态模块.然后,利用变量排序和BDD操作生成模块化MPS对应的系统BDD.针对系统BDD中各种节点连结关系,推导出BDD节点事件概率计算公式,从而计算出动态多阶段系统的可靠度.最后,通过实例说明了动态模块化方法在Markov状态空间和系统BDD尺度均减少时的优越性.
Aiming at the state explosion problem of Markov’s method in dynamic multi-stage system’s modular analysis, a new dynamic modular method is proposed. Firstly, from the perspective of making full use of the static characteristics contained in the dynamic multi-stage system, And operate the dynamic module of the phase fault tree as a cross-stage dynamic module.Then, the system BDD corresponding to the modular MPS is generated by using variable ordering and BDD operations.According to the connection relationships among various nodes in the system BDD, the probability of BDD node events is derived Calculation formula to calculate the reliability of the dynamic multi-stage system.Finally, an example is given to illustrate the superiority of the dynamic modular approach when both the Markov state space and the system BDD scale are reduced.