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

为探索机械装配序列规划的新技术，剖析了模型检验集成规划系统和规划领域定义语言，根据一般智能规划问题的形式化定义对机械装配序列规划问题进行了形式化描述；基于装配和拆卸可逆的前提假设，利用谓词逻辑公式和时态逻辑公式对机械装配过程中的硬约束和软约束进行了描述；根据装配序列规划问题的形式化描述，对装配序列规划领域及领域的具体问题进行了定义，给出了基于模型检验集成规划系统的装配序列规划问题的求解过程。实验结果表明，该系统可以正确、有效地实施机械装配序列规划。