10.3969/j.issn.1009-3044.2012.10.034
基于GOLOG语言的作战任务形式化方法
随着信息化条件下战场节奏的加快,作战计划制定已经成为联合作战指挥面临的重大挑战.受领使命任务的分析分解是基于模型的作战计划制定的重要步骤.为提高作战任务开发效率,通过分析作战任务的开发流程及作战任务的特点,研究了基于GOLOG语言的作战任务形式化方法,阐述了基于GOLOG语言的作战任务的描述框架,为国内该方向从一般性概念研究转入应用工具开发奠定了技术基础.
作战计划、任务分析、GOLOG、作战任务
8
TP391.9(计算技术、计算机技术)
2012-08-31(万方平台首次上网日期,不代表论文的发表时间)
共4页
2275-2278