入门:基于BDD分析系统可靠性之各种系统的决策图评估方法

mac2025-01-29  22

首先,一个非汇聚节点,有0边和1边,0代表节点表示的元件运行,1代表本元件失效

计算可靠性时:此处是0边的概率(即元件x的可靠性),是1边的概率(即元件x的不可靠性)。则是指1边所连接的节点的不可靠性,是指0边所连接的节点的可靠性。

对于PMS BDD

 

相连的两个节点可能是不同的两个元件,也可能是同个元件的不同阶段;连接不同的两个元件时,上述BDD评估方法同样适用

连接同元件的不同两个阶段的1边时

(此公式证明方法需了解无需强记)

MBDD(多状态二元决策图)

相连的两个节点可能是不同元件,也可能是相同元件的不同状态(state)

不同元件依旧采用传统BDD评估方法

当0边连接同元件的不同状态变量时,此处的

此外还有LBDD,MMDD的评估方法需了解。但以上几种方法需理解并应用。

以上内容总结于书本

Binary Decision Diagrams and Extensions for System Reliability Analysis 作者:Liudong Xing and Suprasad V. Amari

最新回复(0)