提高产品装配联接图分解效率的算法研究.pdfVIP

_____ -_--___ 第29卷 第3期 玉林师范学院学报 (自然科学) Vo1．29No．3 ERSITY (NaturalScience) 2008年 JOURNALOFYULIN NORMALU■NI鳓V 冒嗣圈 ～ 七日古 口 同 口口装配联接图分解效率的 算法研究 口梁勇强 ，隆 峻 ，刘 峰 (1．玉林师范学院 职业技术学院 副教授 硕士，广西玉林 537000) (2．玉林师范学院 物理和信息科学系 高级工程师，广西玉林 537000) 【摘 要 】割集生成算法和子图过滤算法是基于割集的装配序列规划的基础，本文通过分 析不同基本割集组合之间的关系，设计了更合理的割集生成算法，同时还引进了有序二叉决策 图OBDD表示子图集合，设计 更高效的算法以过滤已分解的子图，从而提高了装配联接 图的分 解效率． 【关键词 】装配规划；算法；割集；有序二叉决策图 【中图分类号 】TBl15【文献标识码 】A 【文章编号】1004-4671(2008)03—0050—06 0 引言 目，但 由于没有很好地对一些基础算法进行优化， 于割集的装配序列生成算法 是装配序 所以不能最大限度地提高生成装配序列的效率． 列生成的经典算法，但 由于只能对零件数 割集生成算法是基于割集的装配序列生成算法 圜目很 小的产品进行装配规划 ，所 以实用 的基础算法，直接采用基于图论的割集生成算法， 性不大．尽管结合层次的思想13~41或启发式搜索的思 没有较好地把握有关数据的内在联系，导致算法存 想[51可以在较大程度上提高算法可以处理的零件数 在大量的冗余计算．另外，在对每个子图进行分解 梁勇强，隆 峻，刘 锋 提高产品装配联接图分解效率的算法研究 之前，虽然现有算法检查已分解子图的集合以避免 OBDD是处理布尔表达式的有效3-具，特别适 了对子图进行重复分解，但简单地采用逐一检查的 用于表示和处理具有大量状态的问题，已被成功应 方式，检查效率有待提高． 用于硬件电路设计与验证、软件测试等多个领域． 为了进一步提高生成装配序列的效率，针对单 可以通过成熟的工具包实现对OBDD的操作， 元装配联接 图的分解 ，本文首先设计 了更合理的 比较典型的OBDD工具包是美国Colorado大学的 割集生成算法，然后采用节尔函数过滤已分解过 CUDD软件包 ，提供 了丰富的函数操作OBDD， 的子图，设计了基于有序二叉决策图 (oBDD—— 这里介绍部分常用函数的功能． OrderedBinaryDecisionDiagram)的子 图过滤算法， (1)求值 ： DdN ode *Cudd 从而在较大程度上提高了装配联接图的分解效率 — Eval(DdManager*dd，DdNode *f,int*inputs)； 1预备知识