装配序列生成的符号技术研究

本项目研究装配序列生成的符号模型、评价及优化的方法和算法。研究内容包括：以有序二叉决策图（OBDD）及其操作为基础，给出装配体信息和完全、正确装配序列的符号描述，为装配序列的生成、评价和优化提供有效模型；提出混合（有向/无向）图的符号割集生成算法，为装配序列的几何可行性判定提供有效方法；研究机械、工艺相关约束及装配时间/成本的时态逻辑规格、符号推理和AND/OR图的模型检验技术，以自动生成满足给定目标准则的最佳装配序列；实现能够克服现有装配自动规划系统所能处理的工件数目瓶颈的原型系统模块。该项目研究有助于目前计算机辅助装配序列规划中基础理论问题的解决，为数字化产品、并行工程、虚拟制造等提供实用的装配序列自动生成模型、算法和方法。目前国内外尚无此方面相近方法研究的报道，项目具有源头创新的特色。项目研究成果的应用可以形成自主知识产权的装配序列生成软件，对本研究领域的技术进步将产生积极的影响。