《基于本体的联合作战计划表示与校验研究》由会员分享,可在线阅读,更多相关《基于本体的联合作战计划表示与校验研究(91页珍藏版)》请在金锄头文库上搜索。
1、 分类号 TP391 学号 09050016 密级 公 开 工学硕士学位论文 基于本体的联合作战计划表示基于本体的联合作战计划表示与与校验校验研究研究 硕士生姓名 胡欣 学 科 专 业 管理科学与工程 研 究 方 向 作战计划技术 指 导 教 师 刘忠 国防科学技术大学研究生院国防科学技术大学研究生院 二一二一一一年年十十一一月月 基 于 本 体 的 联 合 作 战 计 划 表 示 与 校 验 研 究 国 防 科 学 技 术 大 学 研 究 生 院 The Research on Ontology Based Representation and Validation of Joint Ope
2、ration Plan Candidate:Xin Hu Advisor:Zhong Liu A thesis Submitted in partial fulfillment of the requirements for the degree of Master of Management in Management Science and Engineering Graduate School of National University of Defense Technology Changsha,Hunan,P.R.China (November,2011) 国防科学技术大学研究生院
3、硕士学位论文 第 I 页 目目 录录 目 录 . I 摘 要 . i ABSTRACT . iii 第一章 绪论 . 1 1.1 研究背景 . 1 1.2 研究现状 . 3 1.2.1 联合作战计划 . 3 1.2.2 作战计划的本体表示 . 4 1.2.3 作战计划的校验 . 7 1.3 论文的主要工作 . 9 1.4 论文的组织结构 . 10 第二章 基于本体的联合作战计划表示和校验框架 . 11 2.1 基于本体的联合作战计划表示和校验框架 . 11 2.1.1 基于本体的联合作战计划表示与校验方法论 . 12 2.1.2 校验机制和框架 . 14 2.2 本体 . 15 2.2.1 本
4、体概述 . 15 2.2.2 本体的形式化描述 . 16 2.2.3 时间描述 . 18 2.2.4 空间描述 . 20 2.3 本体的逻辑校验基础 . 24 2.3.1 基于描述逻辑推理的校验 . 24 2.3.2 基于一阶逻辑推理的校验 . 26 2.4 本章小结 . 29 第三章 联合作战计划的本体表示 . 30 3.1 联合作战计划本体模型 . 30 3.2 目标域 . 31 3.3 作战过程域 . 33 3.4 作战力量域 . 34 3.5 资源域 . 36 国防科学技术大学研究生院硕士学位论文 第 II 页 3.6 时间描述域 . 37 3.7 空间描述域 . 39 3.8 环境域 . 40 3.9 本章小结 . 42 第四章 基于 SWRL 规则的联合作战计划校验 . 43 4.1 联合作战计划的校验内容 . 43 4.2 行动-行动的校验 . 44 4.3 行动-资源的校验 . 46 4.3.1 资源类型对行动的约束 . 47 4.3.2 重用型资源的校验 . 48 4.3.3 消耗型资源的校验 . 51 4.4 行动-兵力的校验 . 54 4.5 行动-目标的校验 .