1) P-ROBDD (partitioned-reduced ordered binary decision diagrams)
划分的化简有序二分决策图
2) Ordered Binary Decision Diagram
有序二分决策图
1.
1 Ordered Binary Decision Diagram (OBDD) is one of the most efficient tools for computing network reliability.
1 有序二分决策图(OBDD)是计算网络可靠度最有效的工具之一。
3) binary decision diagram
二分决策图
1.
Presents an algorithm for generating the sum of disjoint products by using binary decision diagram as well as certain ordering role of paths and Boolean algebra formulas.
利用二分决策图，同时采用道路排序技巧及布尔代数运算给出了求不交和的方法，它比单纯采用二分决策图的算法更简单，不交和的项数更少，从而得到一个求网络可靠度的有效算法。
4) 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阶段,利用安全分析等工具在收缩后的解空间内计算最优的分区方案。
5) 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环境模型。
6) 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表示子图集合,设计了更高效的算法以过滤已分解的子图,从而提高了装配联接图的分解效率。
补充资料：二分──识二分
【二分──识二分】
﹝出摄大乘论释﹞
论云：于六识中，一分成相，一分成见，故名识二分。
［一、相分］，谓于眼等六识，各各变异，成色等种种诸相，是名相分。（六识者，眼识、耳识、鼻识、舌识、身识、意识也。）
［二、见分］，谓眼等六识，各能了别诸尘境界，是名见分。
﹝出摄大乘论释﹞
论云：于六识中，一分成相，一分成见，故名识二分。
［一、相分］，谓于眼等六识，各各变异，成色等种种诸相，是名相分。（六识者，眼识、耳识、鼻识、舌识、身识、意识也。）
［二、见分］，谓眼等六识，各能了别诸尘境界，是名见分。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条