中文摘要：

为提高装配序列规划求解效率和自动化水平,给出了装配体联结图模型、干涉向量和接触向量模型的有序二叉决策图描述,建立了基于符号有序二叉决策图模型及操作的可行装配序列生成技术。结合实例验证了基于有序二叉决策图的装配体模型和可行装配序列生成技术的正确性和可行性。

英文摘要：

To improve solution efficiency and automation of assembly sequence planning, Ordered Binary Decision Diagram （OBDD） was proposed to represent liaison graph, contact function and translational function. A novel OBDD-based procedure was presented to generate all geometrically feasible assembly sequences from the OBDDs of liaison and translational function. A prototype tool using Visual C＋ ＋ and CUDD package was developed. Experimental results demonstrated the effectiveness and feasibility of the OBDD technique.