技术详细介绍
本发明公开了一种基于符号的混合装配序列生成方法，包括先根据装配体的联接矩阵和干涉矩阵创建联接矩阵和干涉矩阵的ZBDD表示；再根据装配体的干涉矩阵，求解优先关系矩阵；再搜索出所有可行的装配，并创建文件存放可行装配序列和装配过程中生成的子装配体，创建动态数组存放生成每个子装配体的路径数；后对生成的存放可行装配序列和子装配体的文件进行精化，删除装配过程中的死状态。
本发明能够在较高的时间和空间效率下，通过分析所有可能的装配操作保证装配序列的完备性，通过判断局部装配几何可行性保证装配序列的可靠性，通过判断优先关系的可满足性保证算法的高效性，最终完成对装配体的所有可行装配序列的生成。