湖北工业大学 吕志刚

基于智能的装配序列规划关键技术研究

湖北工业大学 吕志刚

本文将深入对模型检验技术进行研究，不同于现有以时态逻辑为基础的模型检验技术，结合装配序列规划特点，考虑使用其他逻辑语言作为模型检验语言基础，对装配序列规划问题进行研究，找出一种新的装配序列规划方法。力图能够更好地反映出工程的实际情况，并能够更好地知道产品装配，因此，本研究的展开具有十分重要的现实意义。

模型检验技术；装配序列

现有的装配序列规划问题[1]-[3]的研究方法多种多样，并与多种相关技术领域相结合，每种方法都有其特有的优势，同时也存在着各自的不足。通过分析不难发现，每一种规划方法中，都不乏有研究人员从逆向拆卸角度对装配序列规划求解进行研究。相对于正向装配需要考虑零件之间的各种优先约束关系，逆向拆卸将装配体拆成零件的时候，就意味着已经满足了这些关系。可见，对于装配操作可逆的装配体来说，逆向拆卸法具有独特的优势。模型检验技术作为有限状态系统验证的形式化方法，具有高度的自动化技术[4]和提供反例的特点。模型检验集成规划系统MIPS在智能规划大赛中的脱颖而出，成功地证明了模型检验技术在智能规划领域中的优势。

装配序列规划在很大程度上决定着产品的装配费用和产品的生产时间。在目前的产品生产过程中，产品装配序列由设计者根据经验在完成产品设计的同时给出。……