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

• 作者: 吕志刚
• 来源期刊: 湖北农机化
• 关键词: 模型检验技术 装配序列
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 开发与研究
• 页码范围: 72
• 页数: 1页
• 字数: 1285字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-1440.2017.05.049

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吕志刚		1	0	0.0	0.0