基于模型检验集成规划系统的机械装配序列规划  

MIPS-based mechanical assembly sequence planning

作　　者：古天龙[1] 张勐[1] 

机构地区：[1]桂林电子科技大学计算机学院,广西桂林541004

出　　处：《计算机集成制造系统》2008年第9期1781-1790,共10页Computer Integrated Manufacturing Systems

基　　金：国家自然科学基金资助项目(60563005)~~

摘　　要：为探索机械装配序列规划的新技术,剖析了模型检验集成规划系统和规划领域定义语言,根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述;基于装配和拆卸可逆的前提假设,利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述;根据装配序列规划问题的形式化描述,对装配序列规划领域及领域的具体问题进行了定义,给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明,该系统可以正确、有效地实施机械装配序列规划。To develop new technology for mechanical Assembly Sequence Planning （ASP）, the Model checking Inte grated Planning System （MIPS） and Planning Domain Definition Language （PDDL） were analyzed thoroughly. Mechanical ASP problems were formally represented according to the formal definition of general intelligent planning problems. Based on the presupposition of the assembly ＆ disassembly were reversible processes, the hard constraints and soft constraints in mechanical assembly were represented by predicate logic and temporal logic formula. According to the formal representation of ASP, the ASP domain and its concrete problems were also defined, and the procedures to solve ASP by using MIPS were presented. Experiment results showed that MIPS could implement mechanical ASP correctly and efficiently.

关 键 词：装配序列规划 模型检验 规划领域定义语言 谓词逻辑 时态逻辑 

分 类 号：TP391.7[自动化与计算机技术—计算机应用技术]