文档介绍：ETPaol学史vosooi6
50定纳公开
工学硕士学位论文
基于本体的联合作战计划表示与校验研究
硕士生姓名胡欣
学科专业管理科学与工程
研究方向作战计划技术
指导教师刘感
国防科学技术大学研究生院
二O一一年十一月
3
棣丨标河心命宁氓玲河十训许
TheResearchonOntologyBased
RepresentationandValidationofJoint
OperationPlan
CandidateXinHu
AdvisorZhongLiu
Athesis
Submittedinpartialfulfillmentoftherequirements
forthedegreeofMasterofManagement
inManagementScienceandEngineering
GraduateSchoolofNationalUniversityofDefense
Technology
Changsha,Hunan,
N0V髦mber,zo】】
国阮租学技术大学明元生院颂学位文
目录
124联合作戛计划.。
122作戚计划的本体裕示
123作婉计刘皇楠骗7
13论文的主要工作2
14论发剑绍纳根10
第二章基于本体的联各作战计划表示和校骊棣标11
22本体.、
224札借椿逊e15
222本体的形式化排述16
2逊18
22420
23本体的造镜根骆e24
232基于一附递辍推理的案骗26
24本章小结29
第三章联合作姚计列的本体袋示
国阮租学技术大学明元生院颂学位文
.7空间排逊域
E
39本章小结.、
第四章基于SWRL规则的联合作或计列校验
4联合作战计划的校验内容
42行动行动的校验
43行动资源的
43J{欠斛义动的约米
432重用城贵源的
433浦耗坂
44行动兵力的校
、
第五章绰司案例.
51联合作戢
52基十本体的联合仵战计划的衣小
.。
522作战过程域.
523仁战力员域
第六章总统与展望
61工作怒结及意义
62未来工作与展埔
参考文献.
作者在学期间取得的学术成果
第1页
国阮租学技术大学明元生院颂学位文
附录A攻读硐士学位期间参加科研情况
国阮租学技术大学明元生院颂学位文
表目录
表1目标域厢伊集七颜会层汀九
表32日标域的数探居性
表33目标域的关系居伯
表37作信力最域椿伊集与椿
表38作战力壁堑的数据居性
表39作排力量域的关系属
。
表320环境垣部分数据屈性
表42行动行动查询规则与说明
表43行动列表.、
表44行动资源关型校验规刑与说明、
表45行动资源类型查询觅刑与说明
表46行动列表.、
表47资源列表.、。
表48行动重用型资
表49行动重用友资
表411行动涉耗型资源校验规刑与说日
第I页
国阮租学技术大学明元生院颂学位文
表442行
、
、
表417行动目标挚验规吴与调明
表52行动积资源的宇间撞60
第V页
国阮租学技术大学明元生院颂学位文
图目录
图22联合作战计划表示与校验的层次化横坂
图23基于联合作歪计划本体的探理探架
图24基本本体结构图河水江沥沥河
图25Allen时间区态关
图27穸间方位关。
图28基于揣迪逗棣的知i
图29SWRL诲言架柄图、
图32目标域概伊及概伊尿次
图33作战过程堑健伊及概伊尿
图34作战力最椿伊反概伊层汀
图35资源域健吾及概吾
图37定间揣迪堑傅伊及概伊尺
图42SWRIJESS探理的结林
图43G错诵的行动.、
图43正确的行动、
图43错误before关系的行动对46
图43d正确before关系的行动对
图44G对舞个行动资源类型
图44对每