1) ordered binary decision diagram
有序二元决策图
1.
This method can narrow down the strategy space using an efficient OBDD-based (ordered binary decision diagram) algorithm in the first phase.
在第1阶段,采用有序二元决策图(ordered binary decision diagram,OBDD)表示法来降低解空间;在第2阶段,利用安全分析等工具在收缩后的解空间内计算最优的分区方案。
2) ordered binary decision diagram(OBDD)
有序二元决策图(OBDD)
3) ordered binary decision diagram
有序二叉决策图
1.
By encoding the assembly states with binary variables and establishing the Boolean characteristic functions of assembly operations,a novel symbolic scheme to represent assembly sequences is proposed using ordered binary decision diagrams(OBDD).
通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较。
2.
Using the ordered binary decision diagram principle,firstly a method to constructed the environmental information in the workspace for robot based on ordered binary decision dia-gram(OBDD) is proposed,and the binary coding for the model is presented.
借助有序二叉决策图的原理,首次采用有序二叉决策图数据结构来表示机器人工作空间中的信息环境模型,并对它们进行了二进制编码,建立一个有效紧凑的OBDD环境模型。
4) OBDD
有序二叉决策图
1.
The disassembly constraints rationally is represented,and an algorithm of judging the geometric feasibility of the disassembly operations with OBDD is designed.
引进有序二叉决策图OBDD合理表示拆卸约束,设计了基于OBDD的几何可行性判别算法,比较了基于OBDD的判别算法与基于移动函数的判别算法的时间复杂度,结果表明基于OBDD的几何可行性判别算法比基于移动函数的判别算法具有更高的判别效率。
2.
Ordered binary decision diagrams(OBDDs)are a data structure for efficient representation and manipulation of Boolean functions.
有序二叉决策图(OBDD)是一种有效表示布尔函数的数据结构,其大小依赖于所采用的变量序。
3.
In addition, Ordered Binary Decision Diagrams (OBDD) is employed to represent sub-graph set.
割集生成算法和子图过滤算法是基于割集的装配序列规划的基础,本文通过分析不同基本割集组合之间的关系,设计了更合理的割集生成算法,同时还引进了有序二叉决策图OBDD表示子图集合,设计了更高效的算法以过滤已分解的子图,从而提高了装配联接图的分解效率。
5) Ordered Binary Decision Diagram
有序二分决策图
1.
1 Ordered Binary Decision Diagram (OBDD) is one of the most efficient tools for computing network reliability.
1 有序二分决策图(OBDD)是计算网络可靠度最有效的工具之一。
6) 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求解过程中的多态部件和重复事件难题。
补充资料：二元相图
binaryphasediagram:由两个组元（二元）所构成的系统（在金属学中是合金系）的相图。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条