基于GOLOG语言的作战任务形式化方法

• 作者: 王武华 陈新宁
• 来源期刊: 电脑知识与技术：学术交流
• 学科: 工学
• 关键词: 作战计划 任务分析 GOLOG 作战任务
• 年，卷（期）: 2012,（4）
• 页码范围: 2275-2278
• 页数: 4页
• 分类号: TP391.9

摘要

随着信息化条件下战场节奏的加快,作战计划制定已经成为联合作战指挥面临的重大挑战。受领使命任务的分析分解是基于模型的作战计划制定的重要步骤。为提高作战任务开发效率,通过分析作战任务的开发流程及作战任务的特点,研究了基于GOLOG语言的作战任务形式化方法,阐述了基于GOLOG语言的作战任务的描述框架,为国内该方向从一般性概念研究转入应用工具开发奠定了技术基础。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王武华		1	0	0.0	0.0
2	陈新宁		1	0	0.0	0.0