基于点图的作战任务时间协同一致性检验方法
合集下载
- 1、下载文档前请自行甄别文档内容的完整性，平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益，请联系客服反馈,我们会尽快为您处理(人工客服工作时间：9:00-18:30)。
Ｏ 引言
＼
推 理 ，也 可 以将 二 者 结合 起 来 。Ｚ ｉｉ 人 基 于 图论 ａｄ 等 述 ＰＴ ｐ ｉｔ ｒｐ ，Ｇ）５ 】 Ｉ Ｌ。
作 战 计划 制 定 过 程 中 ，军 事 决 策 人 员经 常 需 要 指 定 作 战 任 务 之 间 的 时 间协 同 关 系 …。 时 间协 同 是 以 时 间 作 为 基 本 参 数 ，通 过 对 时 间 的规 定 来 实现 作 战任 务 在 特 定 时 刻 协 调 一 致 ，控 制 各种 相 关 任 务 互
关键 词 ：作 战任 务； 时 间协 同一致 性； 点 图； 时 间推 理
中图 分类号 ：Ｔ ０ 文 献标 志码 ：Ａ Ｊ６
Ｖｅ ｉｙ ｔ ｅＯｐ ｒ ｔ ｎ ｌ ｓ ｍｐ ｒ ｌ ｌａ ｏ ａｉ ｎ Ｃｏ ｓｓｅ ｃ ｒｆ ｅ ａ ｉ ａ ｋ Ｔｅ ｏ ａ ｌ ｂ ｒ ｔ ｎ ｉｔ ｎ ｙ ｈ ｏ Ｔａ Ｃｏ ｏ Ｂａ ｅ ｎ Ｐ ｉ ｔ ａ ｈ ｓｄ ｏ ｏｎ ｐ Ｇｒ
Ａｂ ｔ ａ ｔ Ｔｈ ｔ ｓ ｏ ｅ ｉｙ ｎ ｈ ｏ ｅ ａ ｉ ｎ ｌ ｔ ｓ ｅ ｐ ｒ ｌ ｏ ｌｂ ｒ ｔｏ ｃ ｎ ｉｔ ｎ ｙ ｎ ｓｒ ｃ ． ｅ ａ ｋ ｆ ｖ ｒｆ ｉ ｇ ｔ ｅ ｐ ｒ ｔｏ ａ ａ ｋ ｔ ｍ ｏ ａ ｃ ｌ ｏ ａ ｉ ｎ ｏ ｓｓ ｅ ｃ ｉ ｍｉｉ ｒ ａ ｎ ｎ Ｓ ａ ｌ ａ ｙ ｐｌｎ ｉ ｇ ｉ ｔ
ｒｓａｃ ｅ ａｅ ｎｔｅｐ ｉｔ ｒｐ Ｐ ， ｎ ｔｏ ａｅ ｎＰ ｏ ｅｗｉ ｍｐ ｒｌ ｅｓ ｎｎ ｅｉｎ ｄ Ｂｕｌ ｅｅ ｒｈ ｄｂ ｓｄｏ ｏｎ－ ａ ｈ（Ｇ）ａ ｄａｍｅｈ ｄｂ ｓｄｏ Ｇ ｔ ｃｐ ｔ ｔ ｈ ｇ ｏ ｈ ｅ ｏａ ａｏ ｉｇｉ ｄ ｓ ｅ ． ｉ ａ ｒ ｓ ｇ ｄ
过 程 中 需 要 解 决 的 问题 。
个测试案例对其有 效性进 行验 证 。
１ 点 图模型 介绍
１１ 点 图 的 数 学 描 述 ． 点 图 是 Ｚ ｉｉ 人 在 Ａｌ ｎ的 时段 时序 逻 辑 理 论 ａｄ 等 ｌ ｅ
ｐ ｉ ｔ ｆ ｌ ｉ ｇ ａ ｄ ｐ ｉ ｔｔｍｅ ｃ ｌ ｕ ａ ｉ ｎ ａ ｄ ａ ｃ ｎ ｉｔ ｎ ｙ ｖ ｒ ｆ ｉ ｇ ａ ｇ ｒｔ ｍ ｓｇ ｖ ｎ Ｆｉ ａ ｌ，ａ ｘ ｍｐｌ ｓｐ ｅ ｅ ｔｔ ｏ ｎ － ｏ ｄ ｎ ｎ ｏ ｎ ・ ｉ ａ ｃ ｌ ｔｏ ， ｎ ｏ ｓ ｓｅ ｃ ｅ ｉｙ ｎ ｌ ｏ ｉ ｈ ｉ ｉ ｅ ． ｎ ｌ ｙ ｎｅ ａ ｅ ｉ ｒ ｓ ｎ ｏ ｉｌ ｓ ｒ ｔ ｈ ｅ ｓ ｂ ｌ ｙ ａ ｄ ｅ ｆ ｃ ｉ ｅ ｅ ｓ ｏ ｂ ｖ ｅ ｈ ｄ ｌ ｔａ ｅ ｔ ｅｆ ａ ｉ ｉ ｔ ｎ ｆｅ ｔｖ ｎ ｓ ｆａ ｏ ｅｍ ｔ ｏ ． ｕ ｉ Ｋｅ ｒ ｓ ｏ ｅ ａ ｉ ｎ ｌ ａ ｋ ｔ ｍ ｐ ｒ ｌ ｏ ｌ ｂ ｒ ｔｏ ｏ ｓ ｓｅ ｃ ｐ ｉ ｔｇ ａ ｈ ｔ ｍｐ ｒ ｌ ｅ ｓ ｎ ｎ ｙ ｗｏ ｄ ｐ ｒ ｔ ａ ｓ ； ｅ ｏ ａ ｌ ｏ ａ ｉ ｎ ｃ ｎ ｉｔ ｎ ｙ； ｏ ｎ ｒ ｐ ； ｅ ｏ ａ ａ ｏ ｉ ｇ ｚ ｏ ｔ ｃ ａ ｒ
Ｐ ｍｏ ｅ ｏ ｄ ｓ ｒｂ ｐ ｒｔｏ ａ ａ ｋ ｔｍｐ ｒ ｌｃ ｌ ｂ ｒ ｔ ｎ ｅ ｉ ｈ ｐ ｒｔｏ ａ ａ ｋ ｔｍｐ ｒ ｌｂ ｏｎ — ｎｆｃ ｔｏ ， Ｇ ｄ ｌｔ ｅ ｃ ｉｅ ｏ ｅａ ｉｎ ｌｔ ｓ ｅ ｏ ａ ｏ ｌ ｏ ａ ｉ ，ｖ ｒｆ ｔｅ ｏ ｅａ ｉｎ ｌｔ ｓ ｅ ｏ ａ ｙ ｐ ｉｔｕ ｉ ａｉｎ ａ ｏ ｙ ｉ
摘 要 ：针对 作 战 计 划制定 过程 中任 务 时 间协 同一 致 性 的问题 ，提 出基 于点 图推 断并校 验 时间 的方 法。构 建描 述 作 战任 务 时 间协 同关 系的点 图模 型 ，通 过顶 点聚 合运 算 、顶 点折 叠运 算和 顶 点 时间运 算 ３种 基 本运 算 进行检 验 ，给 出 了作 战任 务 时 间协 同一致 性检 验 方 法 ，并 结合 测试 案 例对 方 法的有 效 性进 行验 证 。验证 结果表 明，该 方 法 能有 效 地检 验 作 战任 务 时间协 同的一致 性 。
兵 工 自劫 化
２ １ ．１ ０ ２Ｏ
Ｏｒ ｎ ｎ ｅＩ ｄ ｓｒ ｔ ｍａｉ ｎ ｄ ａ ｃ ｎ ｕ ｔｙＡｕ ｏ ｔ ｏ
３ （） １１
基 于点 图 的作战 任务 时 间协 同一致 性检 验方 法
姚 剑 ，朱延广 ，曹星平 ，王 维平
（ 国防 科学 技术 大 学信 息系 统 与管理 学 院 ，长沙 ４ ０ ７ ） １ ０ ３
时间推理 引擎是基 于点 图推断并校验 时间系统 中时
段 与 时 间 点所 呈 现 的 时 序 关 系 。因 此 ，笔 者 基 于 点 图给 出作 战任 务 时 间 协 同一 致 性 检 验 算 法 ，并 通 过
一
不干扰 、连续 、紧凑 、有序地进行 。因此 ，对作战 任 务的 时间协 同一致性进行检验 【是作战计划制 定 ２ 】
Ｙａ ｉ ｎ Ｚ ｕ Ｙａ ｇ ａ ｇ Ｃａ ｎ ｐ ｎ ， ａ ｇ Ｗ ｅ ｐ ｎ ｏ Ｊ ａ ， ｈ ｎ ｕ ｎ ， ｏ Ｘｉ ｇ ｉ ｇ Ｗ ｎ ｉ ｉ ｇ
（ｃ ｏ ｌｆＩ ｏ ｍ ｔ ｎＳ ｓ ｍ＆ Ｍａ ａ ｅ ｎ， ｔ ｎ ｌ ｎｖ ｒｉ Ｓ ｈ ｏ ｎ ｒ ａｉ ｔ ｏ ｆ ｏ ｙ ｅ ｎ ｇ ｍｅ ｔＮａｉ ａ ｉ ｓｔ ｏ ｆ ｎｅＴｃ ｎ ｌｇ ， ｈ ｎ ｓａ４ ７ ， ｈｎ ） ｏ Ｕ ｅ ｙ ｆＤｅｅ ｓ ｅｈ ｏｏ ｙ Ｃ ａ ｇ ｈ ０ ３ Ｃ ｉａ １ ０