基于有序二叉决策图的装配序列符号表示方法  

Symbolic Representation of Assembly Sequences Using Ordered Binary Decision Diagrams

作　　者：古天龙[1] 杨志飞[1] 

机构地区：[1]桂林电子科技大学计算机学院,桂林541004

出　　处：《计算机辅助设计与图形学学报》2007年第10期1315-1320,共6页Journal of Computer-Aided Design & Computer Graphics

基　　金：国家自然科学基金(60563005)

摘　　要：通过建立装配状态的二进制编码和装配操作的布尔特征函数,给出了装配序列描述的有序二叉决策图(OBDD)方法;建立了从装配序列的与或图模型到OBDD模型的转换规则;并对装配序列表示的与或图模型和OB-DD模型进行了存储效率比较.实验结果表明:OBDD方法具有较好的存储性能,可以改善复杂装配体的装配序列表示的存储效率,适合于复杂装配体的可行装配序列的描述.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） . In terms of the assembly states and assembly operations corresponding to AND arcs and nodes in an AND/OR graph, the procedures to translate traditional AND/OR graphs to OBDD models are presented. Experimental tests are executed to compare the storage space of AND/OR graph with that of OBDD. The results show that OBDD scheme has the competitive advantages of efficient manipulations and storage spaces for complete and feasible assembly sequences against the AND/OR graphs.

关 键 词：装配规划 装配序列表示 与或图 有序二叉决策图 

分 类 号：TP391.72[自动化与计算机技术—计算机应用技术] TP311.12[自动化与计算机技术—计算机科学与技术]