摘要：拆卸序列的紧凑表示是拆卸序列的评价与优化的基础，AND—OR图是拆卸序列表示的一种典型方法，但是拆卸序列的AND—OR图表示模型存在冗余信息．通过对AND—OR图模型作等价变换，消除AND—OR图表示模型中的冗余信息．设计了拆卸序列的优化表示模型的生成算法，建立了优化的基于OBDD的拆卸序列表示模型，用来表示复杂装配体的拆卸序列．并论证了优化模型的拆卸序列表示可以节省存储空间，最后的实验表明，基于OB-DD的拆卸序列优化表示模型的存储空间远小于AND—OR图的存储空间．

关键词：拆卸序列 obdd 表示模型 

单位：桂林电子工业学院计算机系; 广西桂林541004; 玉林师范学院职业技术学院; 广西玉林537000