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

摘要：

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

关键词：模型检验技术、装配序列

分类号：TP3;TP1

在线出版日期：2017-11-29（万方平台首次上网日期，不代表论文的发表时间）

页数：共1页

页码：72