可行装配序列生成是装配序列规划的核心问题,是个典型的NP难题。传统装配序列方法研究主要着眼于通过增加约束的方式减少无效序列的生成,而面对拥有大量可行装配序列的复杂装配体时依然收效甚微。为此在分析和总结现有装配序列生成算法的基础上,本文对解决组合问题方面取得成功的 OBDD符号技术在装配序列生成中的应用进行了研究。本文主要研究内容和结论如下:　　(1)在现有装配体模型的基础上进行简化,建立了一种新的基于OBDD符号技术的装配体模型。在此新模型的基础上,提出相应的基于 OBDD的可行装配序列推理算法。分析表明该推理算法是正确完备的。　　(2)综合分析了现有求无向图所有割集的算法特点,提出基于OBDD的并行枚举割集算法,并通过理论证明了该算法的正确性。为无向图割集生成开辟了一条新的途径。　　(3)从装配体 CAD模型中提取装配体中各零件的接触信息,建立了基于 OBDD的装配体无向联接图模型。在此基础上,利用 OBDD并行枚举割集算法生成装配体的所有装配割集。　　(4)从装配体CAD模型中提取装配体中各零件的干涉信息,建立了OBDD并行干涉检测模型。并对生成的装配割集进行几何可行性判断。从而得到了完整的OBDD可行装配序列割集生成算法。实验结果表明这种基于 OBDD的可行装配序列生成算法是正确完备的。