在装配序列的自动规划中,尤其是对于存在大量可行装配序列的复杂装配,装配序列的紧凑表示是装配序列评价与优化的必要条件,然而传统的装配序列表示方法,要么受组合复杂性影响,描述效率低,要么难于提取有效的装配序列。为此,本文对OBDD在可行装配序列的表示及其相关问题进行了探研。论文取得的主要结果包括:　　(1)提出了一种新的基于符号OBDD的装配序列的表示模型并给出了提取可行装配序列的符号搜索算法。分析表明该模型是完全的和正确的,且易于从装配模型推导出来,易于提取有效的可行装配序列。　　(2)给出了与或图、有向图、建立条件转化为OBDD表示模型的方法,并对OBDD模型与与或图、有向图在表示复杂装配的可行装配序列时的存储空间进行了比较,实验结果表明 OBDD表示模型在表示复杂装配体的可行装配序列时占用较少的存储空间,是一种紧凑的表示方法。　　(3)提出了有向图的一种新的存储结构—基于OBDD的存储结构,并给出了在该种存储结构上图的操作方法及搜索算法。实验结果表明,该存储结构较传统的邻接表的存储结构,在处理大规模的有向图时,具有较高的存储效率。