公开(公告)号：CN104598695A

公开(公告)日：2015-05-06

申请号：CN201510063262.7

申请日：2015-02-06

Applicant: 桂林电子科技大学

Inventor： 李凤英 ,  彭瑞 ,  常亮 ,  古天龙 ,  徐周波

IPC: G06F17/50

Abstract: 本发明公开了一种基于符号ZBDD的装配序列生成方法，包括步骤有：获得装配体知识，即装配体的连接矩阵和干涉矩阵；根据装配体的连接矩阵，创建连接矩阵的ZBDD；根据装配体的干涉矩阵，创建干涉矩阵的ZBDD；搜索出所有可行的装配，即可行装配序列，并创建表示可行装配序列的ZBDD；对生成的表示可行装配序列的ZBDD进行精化，删除装配过程中的死状态。本发明能够在较高的时间和空间效率下，通过分析所有可能的装配操作保证装配序列的完备性，通过判断局部装配几何可行性保证装配序列的可靠性，最终完成对装配体的所有可行装配序列的生成。

公开(公告)号：CN106203696A

公开(公告)日：2016-12-07

申请号：CN201610536636.7

申请日：2016-07-08

Applicant: 桂林电子科技大学

Inventor： 李凤英 ,  彭瑞 ,  常亮 ,  孟瑜

IPC: G06Q10/04 ,  G06Q50/04

CPC classification number: Y02P90/30 ,  G06Q10/04 ,  G06Q50/04

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

公开(公告)号：CN106203696B

公开(公告)日：2019-04-16

申请号：CN201610536636.7

申请日：2016-07-08

Applicant: 桂林电子科技大学

Inventor： 李凤英 ,  彭瑞 ,  常亮 ,  孟瑜

IPC: G06Q10/04 ,  G06Q50/04

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