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

第 卷 6 第 期 4 6 Vol. 43 No.6 计算机科学 一 却 - m 一 年 ­ 月 Computer Scíence ]une 2016 一 基于符号零压缩二叉决策图的装配可行性判定方法 彭瑞李凤英常亮孟瑜 (桂林电子科技大学广西可信软件重点实验室 桂林 541004) 摘 要 为了扩大装配序列规划的求解规模并提高求解效率，提升装配臼动化水平，给出了装配体联接矩阵和干涉矩 阵的零压缩二又决策图描述，建立了基于符号零压缩二又决策图的裴配操作可行性判定方法。基于该方法，可以高效 地求解出一个装配体的可行装配操作。结合实例验证了基于符号零压缩二又决策围的笨重己体模型和可行装配操作判 定方法的正确性和可行性。 关键词 装配可行性，装配体联接矩阵，装配体干涉矩阵，零压缩二又决策图 中固法分类号 TP39 1. 9 文献标识码 A DOI 10. 11896/j. issn. 1002-137)ι2016.6.005 Symbolic ZBDD-based Judgment Metb耐 for Assembly Feasibility PENG Rui LI Feng-ying CHANG Liang MENG Yu (Guangxi Key Lahoratory of Trusted Software ,Guilin University of Electronic Tεchnology.Guilin 541004 ,China) Abstract To enlarge the solution scale and improve the efficiency of assembly sequence planning the level of assembly automation ,zero-suppressed binary decision diagramCZBDD) 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 validi- ty and feasibility of ZBDD-based assembly model and judgment method for feasible assembly operation. Keywords Assembly feasibility , Assembly connection matrix , Assembly interference matrix , Zero-suppressed binary decision diagram 有了一些应用。实验表明，利用 OBDD作为装配序列的表示 引言 比使用 AND/OR 图表示占用的存储空间更小[8.9J 。 装配序列规划~(Assembly Sequence Planning , ASP) 是指 零压缩二叉决策图(Zero-Suppressed Binary Decisí