求助，非专业抽到了这个题目，故障树转二元决策图（bdd），有偿的也可以，，大神帮帮我

惜枫影 2019-04-17 03:11:29

求助，非专业抽到了这个题目，故障树转二元决策图（bdd），，，大神帮帮我

...全文

90 1 打赏收藏转发到动态举报

写回复

1 条回复

切换为时间正序

请发表友善的回复…

发表回复

保佑好运常来 2019-09-12

打赏
举报

回复

这个有很多相关论文的，就是木有代码唉

转载自：二元决策图(Binary Decision Diagrams - BDD) （一）在形式化验证、数字系统的设计和验证中，许多任务都涉及大型命题逻辑公式的运算。二元决策图（BDD）已经成为许多应用的首选表示方法。1986年，Bryant发表论文指出归约有序的二元决策图是布尔函数的规范表示。几个基本概念：布尔函数（Boolean function）描述如何基于对布尔输入的某种逻辑计算确定布尔值输出，它

二元决策图(binary decsion diagram):本质上是一个有向无环图，很类似于决策树。可以把多阶段系统的故障树(FTA)转换成BDD，然后用BDD进行PMS的分析可靠性。由于BDD使用ite的布尔值，用它计算比较方便和快。 ite(x,f1,f2）=x*f1+(1-x)*f2。我的理解就是，对于变量x，因为它只有两个值：0(完全成功)、1(完全失效)（只讨论二态元件），所以x的路径选...

学习笔记：使用边缘值二元决策图Edge-valued BDD（EVBDD）简化查找表，以二位全加器为例以二位全加器为例：查找表可以用二元决策图（二叉决策图/BDD）表示。通过合并相同节点和去除冗余节点可以简化查找表。 BDD简化方法： 1.合并任何同构子图。 2.消除其两个子节点是同构的任何节点。 BDD到EVBDD的转换方法：规则1.对终节点的转化规则2.对普通节点的转化以二位全加器为例：二位全加器的真值表： 2bit输入，2bit输出，输出进位Cout和S1，S0组成的二进制数转换为

在形式化验证、数字系统的设计和验证中，许多任务都涉及大型命题逻辑公式的运算。二元决策图（BDD）已经成为许多应用的首选表示方法。1986年，Bryant发表论文指出归约有序的二元决策图是布尔函数的规范表示。几个基本概念：布尔函数（Boolean function）描述如何基于对布尔输入的某种逻辑计算确定布尔值输出，它们在复杂性理论的问题和数字计算机的芯片设计中扮演基础角色。比如下面的逻辑电路：可以使用布尔函数：来表示。有n个变量的布尔函数F为：函数有个不同的可能输入，输...

可以使用布尔函数：来表示。这个函数有四个输入，一个输出。那么对应BDD就是四层的数，每个节点有0/1两个值。我们可以看到如果一个BDD不进行优化的话，那么它将是满二叉树。就像上图所示上图很简单，无非就是进行一次DFS就能爆搜出所有结果。

33,321

社区成员

41,774

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章