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

• 作者: 周勇 燕雪峰 郁文枢
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 作战任务 时间约束 一致性验证 NuSMV
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: 工程与应用
• 页码范围: 238-242
• 页数: 5页
• 分类号: TP311
• 字数: 3518字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1407-0478

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周勇	南京航空航天大学计算机科学与技术学院	47	321	8.0	16.0
2	郁文枢	南京航空航天大学计算机科学与技术学院	2	6	1.0	2.0
3	燕雪峰	南京航空航天大学计算机科学与技术学院	34	192	7.0	12.0