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

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

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

...全文

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

写回复

1 条回复

切换为时间正序

请发表友善的回复…

发表回复

保佑好运常来 2019-09-12

打赏
举报

回复

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

BDD简介BDD（行为驱动开发），通过BDD方法论帮助团队快速构建和交付更多价值和质量的软件产品，BDD提供了一种通用的，简单的，结构化的描述语言，能够很方便让项目成员和业务干系人非常顺畅的沟通需求，利用BDD思想搭建软件自动化测试，可以更快，更准确的交付符合用户需求的软件产品。学习Tips 本系列课程所涵盖的内容，包括所有Cucumber框架 APIs相关的讲解都是基于java语言，当然不需要测试学习者精通java语言，只需要稍微有些java基础就能轻松学习，比如，基本数据类型，循环控制结构，分支控制结构，java面向对象的概念等

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

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

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

修一门写作课题目是Binary decision diagram。在网上查了些资料感觉说的都不是很清楚，看了半天还是很困惑，这到底是个啥？到底咋使？于是决定写下这篇随笔，总结一下看过的各种资料加上自己的理解，希望对后来之人有所帮助~ Binary decision diagram（BDD）: 中文名叫二元决策图在各类百科里都只有简单一句话：是被用来表达一个布尔函数的一种数据结构（内心os：...

33,311

社区成员

41,784

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

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

+ 用AI写文章