1) binary decision diagram
二元判决图
1.
A new algorithm of computing network reliability by using binary decision diagrams(BDD) is presented.
在已有结果的基础上,提出了一种利用二元判决图计算网络可靠度的方法。
2) binary decision diagram
二叉判决图
1.
Random simulation and binary decision diagrams (BDDs) as well as Boolean satisfiability (SAT) are often used as the engines of equivalence checking algorithms together.
为了验证较大规模的电路,通常需要将随机模拟、自动测试生成、二叉判决图、布尔可满足性等多种推理引擎相结合。
3) BDD
二叉判决图
1.
The BDD propogation and Circuit-based SAT Solver are applied in an intertwined manner to reduce the space of the miter circuit.
本文提出了一种结合二叉判决图BDD和布尔可满足性SAT的新颖组合电路等价性验证技术 。
2.
The combinational equivalence check-ing methods based on binary decision diagram(BDD)are dis-cussed,the false negative problem during equivalence checking and its eliminating methods are analyzed.
文章分析了目前常用的等价性检验方法的特点,包括功能性和结构性的验证方法;讨论了基于二叉判决图(BDD)的组合电路等价性检验方法,并分析了等价性检验过程中的误判问题及其消除方法;然后给出了一种关于带黑匣子的部分实现的隐式等价性检验方法,实验结果表明了该方法的有效性。
4) binary decision diagram
二元决策图
1.
Basic event ordering in fault tree analyses using binary decision diagram;
利用二元决策图求解故障树的基本事件排序
2.
Fault tree analysis based on Binary Decision Diagrams
故障树分析的二元决策图方法
3.
Based on the binary decision diagram(BDD),both the multistage equipments and the repeated events in the fault tree of MEL are well solved by using the multistate dependent operations(MDO) and MCSOR operation.
该算法基于二元决策图(binary decision diagram,BDD)技术,利用改进的多态运算法则和MCS或门求解法则,有效地解决了MEL故障树模型MCS求解过程中的多态部件和重复事件难题。
5) binary decision diagram(BDD)
二元决策图
1.
An efficient way to analyze a fault tree is binary decision diagram(BDD) method,which can take advantage of computer technology to automatically deal with a large scale fault tree.
而在现在所有的故障树分析中,二元决策图(Binary Decision Diagram,BDD)又是其中最有效的方法之一。
6) binary decision diagrams
二元决策图
1.
In this paper we propose an ETA based on BDD(binary decision diagrams).
通过分析传统事件树分析法在求解复杂系统可靠性时的不足,提出了一种基于二元决策图的事件树分析方法,主要讨论了各支点事件之间存在相关性的异常情况。
2.
Binary Decision Diagrams are a symbolic representation of Boolean functions.
二元决策图(Binary Decision Diagrams)是一种高效的数据结构。
补充资料：二元相图
binaryphasediagram:由两个组元（二元）所构成的系统（在金属学中是合金系）的相图。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条