基于符号零压缩二叉决策图的装配可行性判定方法  

Symbolic ZBDD-based Judgment Method for Assembly Feasibility

作　　者：彭瑞[1] 李凤英[1] 常亮[1] 孟瑜[1] 

机构地区：[1]桂林电子科技大学广西可信软件重点实验室,桂林541004

出　　处：《计算机科学》2016年第6期28-31,49,共5页Computer Science

基　　金：广西高校科研项目(YB2014125);桂林电子科技大学研究生教育创新计划资助项目(YJCXS201541);广西高等学校高水平创新团队及卓越学者计划资助

摘　　要：为了扩大装配序列规划的求解规模并提高求解效率,提升装配自动化水平,给出了装配体联接矩阵和干涉矩阵的零压缩二叉决策图描述,建立了基于符号零压缩二叉决策图的装配操作可行性判定方法。基于该方法,可以高效地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二叉决策图的装配体模型和可行装配操作判定方法的正确性和可行性。To enlarge the solution scale and improve the efficiency of assembly sequence planning the level of assembly automation, zero-suppressed binary decision diagram（ZBDD） was proposed to represent assembly connection matrix and interference matrix. A novel ZBDD-based method was presented to judge the feasibility of assembly operation, thereby feasible assembly operations of an assembly can be obtained efficiently. The experimental results demonstrate the validity and feasibility of ZBDD-based assembly model and judgment method for feasible assembly operation.

关 键 词：装配可行性 装配体联接矩阵 装配体干涉矩阵 零压缩二叉决策图 

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]