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