装配几何可行性判别的符号OBDD技术研究.pdfVIP

50 2007，43（3） ComputerEngineeringandApplications计算机工程与应用 装配几何可行性判别的符号OBDD技术研究 1 2 3 1 钟艳如 ，梁永强 ，黄美发 ，古天龙 1 2 3 1 ZHONGYan-ru，LIANGYong-qiang，HUANGMei-fa，GUTian-long 1.桂林电子科技大学 计算机系，广西 桂林 541004 2.玉林师范学院 职业技术学院，广西 玉林 537000 3.桂林电子科技大学 机械与交通工程系，广西 桂林 541004 1.DepartmentofComputerScience，GuilinUniversityofElectronicTechnology，Guilin，Guangxi541004，China 2.ProfessionalTechnicalInstitute ，YulinNormalCollege，Yulin，Guangxi537000，China 3.DepartmentofElectricMachineryandTransportationEngineering，GuilinUniversityofElectronicTechnology，Guilin，Guangxi 541004，China E-mail：rosezhong@ ZHONGYan-ru，LIANGYong-qiang，HUANGMei-fa，etal.ResearchonsymbolicOBDDtechnologyofjudginggeome- tricfeasibilityofassembly.ComputerEngineeringandApplications，2007，43（3）：50-53. Abstract：ThispaperemploysOBDD（OrderedBinaryDecisionDiagram）todescribegeometricfeasibility，presentsthesymbolic representationofassemblyoperation andgeometricfeasibility，designsthesymbolicOBDD algorithm ofjudginggeometric feasibility，anddevelopsaprototypesystem ofassembly.Theresultofrunningsystem demonstratesthatitiseffectivetoput symbolicOBDDtechnologyintojudginggeometricfeasibility. Keywords：assemblyoperation；OBDD；geometricfeasibility 摘 要：采用了有序二叉决策图（OBDD）描述装配几何可行性，给出了装配操作及其几何可行性的符号表示，设计了装配操作几何 可行性的符号OBDD判别算法，给出了装配几何可行性的研究实例，开发了装配的原型系统以支持装配规划，原型系统运行结果 表明符号OBDD技术用于装配几何可行性判别的有效性。 关键词：装配操作；OBDD；几何可行性 文章编号：1002-8331（2007）03-0050-04 文献标识码：A 中图分类号：TP391 1 引言 的相对移动关系，要反复处理两个子装配体之间零件的关系， 装配序列规划是CAD/CAM、数字化产品、并行工程、虚拟 反复对6个装配方向的数据进行处理，存在冗余操作。 制造等领域的一个重要研究课题。装配序列规划往往非常复杂 基于局部相对运动自由度矩阵的方法只能判别出装配操 [1-3] 作的局部几何可行性。要真正确定装配操作的全局几何可行 且易于出错 ，尤其对于存在大量序列的复杂装配。因此，计 算机化、系统化的自动生成装配序列显得尤为重要。减缓或部 性，还必须在CAD模型中进行干涉检查，干涉检查过程中难免 分程度上避免组合复杂性问题的一种可行策略是采用符号