基于CPDL模型检验的装配序列规划

• 作者: 古天龙 常亮 李雅楠
• 来源期刊: 桂林电子科技大学学报
• 学科: 工学
• 关键词: 装配序列规划 模型检验 命题动态逻辑 拆卸
• 年，卷（期）: 2011,（2）
• 页码范围: 115-119
• 分类号: TP301
• 字数: 4844字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-808X.2011.02.007

摘要

模型检验的智能规划方法具有较高的求解效率,是当今通用智能规划研究的热点.由于模型检验的命题动态逻辑规划方法无法从拆卸角度求解规划问题,给出了含逆反动作的命题动态逻辑的符号模型检验算法,开发了CPDL符号化模型检验工具;针对一般智能规划问题中的机械装配序列规划问题,从装配体的拆卸出发,给出了基于CPDL模型检验技术的装配序列求解方法,并结合实例验证了该方法的可行性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	古天龙	桂林电子科技大学计算机科学与工程学院	207	1546	18.0	30.0
2	常亮	桂林电子科技大学计算机科学与工程学院	77	450	12.0	17.0
3	李雅楠	桂林电子科技大学计算机科学与工程学院	1	0	0.0	0.0