包含时间约束的作战任务建模与验证方法

摘要：

制定作战计划时往往需要考虑作战任务的时间约束问题.目前对作战任务的时间约束分析方法都存在约束类型少、验证方法适用范围小等问题.为此提出基于业务流的作战任务时间约束建模方法,构建了作战任务流模型并用以描述作战任务的相对和绝对时间约束.提出了作战任务的时间约束形式化验证方法,设计了作战任务模型到NuSMV语言的转换算法,并基于时序逻辑给出了作战任务的基本时间约束描述方法.最后以登岛作战任务为例,验证了其相对约束和绝对约束的部分性质,并根据反馈结果对模型进行了修正.

关键词：作战任务、时间约束、一致性验证、NuSMV

所属期刊栏目：52

分类号：TP311(计算技术、计算机技术)

资助基金：国防科工局十二五重大基础科研项目c0420110005

在线出版日期：2016-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：238-242