检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[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[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.38