求助，有人做过BDD二元决策图算法么？

DJoe-3 2012-09-01 01:02:52

求助，有人做过BDD二元决策图算法么？
本人正在做FTA项目，遇到了BDD算法，是一个递归算法，如何设计数据结构？
如何实现？想请教！
谢谢！

...全文

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

写回复

1 条回复

切换为时间正序

请发表友善的回复…

发表回复

mathe 2012-09-01

打赏
举报

回复

有GPL的开源代码

这是二元决策图库的 Lua 实现，如 Henrik Reif Andersen 的“二元决策图简介”中所述。有关使用示例，请查看测试套件（取决于 lunatest）。编写代码是为了清晰而不是性能（尽管它确实在几秒钟内找到了 10-queens 的所有解决方案）。我一直在研究 BDD 及其在二元约束求解器、Datalog 等方面的应用。也许它会对其他人有所帮助。如果您想了解有关 BDD 的更多信息，Knuth 的The Art of Computer Programming vol. 中有很多信息。 4A，以及 Aho、Sethi 和 Ullman 的编译器：原理、技术和工具第二版中的一些报道。

提出一种改进二元决策图(BDD) 的网络可靠性评估方法. 为了解决BDD构造中有效识别同构子图的问题, 将边收缩/ 删除法应用于BDD的图分解中, 并提出了BDD的宽度优先搜索算法, 通过遍历BDD图对边进行排序, 为布尔函数的不交化提供了一种新的高效途径. 实验结果表明, 该算法具有精确性高、时间复杂度低的优点, 可以避免常规最小路算法中进行不交化的大量运算, 并可应用于一些大规模的网络.

论文研究-基于二元决策图的建筑施工安全风险评估.pdf, 研究建筑施工安全风险的定量分析, 提出基于BDD (binary decision diagram, 二元决策图)的建筑施工安全风险评估方法, 为制定安全风险控制措施提供科学依据. 该方法首先将建筑施工安全风险的故障树转化为BDD结构, 然后沿BDD结构从上到下访问各结点来计算风险事故率和基本事件重要度. 依据计算得到的数据, 安全管理人员可预测建筑施工中风险事故的发生概率、确定引发事故的关键因素. 此外, 实现了计算风险事故率和基本事件重要度的算法, 并结合建筑施工中主要风险事故类型给出了施工安全综合风险的分析思路. 基于BDD的方法充分利用了空间优势和易于计算机编程实现的特点, 相比传统的故障树方法具有更高的效率. 实验数据的对比分析表明: 该方法的分析结果与故障树定性分析结果吻合, 而且能快速得到建筑施工安全的风险事故率和影响安全的关键因素.

针对多阶任务系统中考虑共因失效后,系统的阶段依赖性和共因失效而增加了系统可靠性分析的复杂度,采用分析显式和隐式方法存在不足的问题,提出了一种基于二元决策图考虑共因失效的故障树可靠性分析方法.该方法首先忽略共因失效情况下的故障树并将其转化为多阶段任务系绕的二元决策图(PMS-BDD),求出系统的不可靠度表达式;然后,通过隐式方法将该表达式转化成包含共因失效信息的不可靠度或可靠度表达式,并依据求得的表达式进行相应的可靠性分析.研究结果表明:该算法与显示式算法的结果相同.该研究结论为多阶任务系统可靠性分析提供一种更加简便方法.

分析了多阶段任务系统(PMS)可靠性分析中传统二元决策图(BDD)建模方法的不足,提出了一种将多阶段任务失效事件分解为互不相容的阶段失效事件,然后分别建立可靠性BDD模型的新方法。通过该方法建立的PMS可靠性BDD模型不但可以计算总体任务失效概率,同时也能计算任务在各阶段发生失效的概率。最后,给出了一个算例,验证了该算法的有效性。

数据结构与算法

33,010

社区成员

35,327

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

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

+ 用AI写文章