关键词: 装配序列生成, 有序二叉决策图, 布尔函数, 几何可行性, 稳定性

Abstract: To improve solution efficiency of assembly sequence planning, Ordered Binary Decision Diagrams (OBDD) was introduced to represent liaison graph, assembly operations, assembly geometric feasibility and stability on the basic principles of the cut-set of graphic theory. Assembly precedence constraints were applied to simplify the liaison graph of assembly. An assembly sequences generation algorithm based on the symblic OBDD technique was presented, and time complexity of this algorithm was also analyzed. Geometric feasibility and stability of the sub-assembly were checked after each decomposition of the graph cut-set to realize the implicit representations and search of state spaces of assembly sequence generation. Experimental results demonstrated the feasibility and validity of the symbolic OBDD technique.

Key words: assembly sequence generation, ordered binary decision diagrams, Boolean function, geometric feasibility, stability, cut-set