声明
1绪论
1.1研究的背景与意义
1.2国内外研究现状
1.2.1航迹规划领域约束使用现状
1.2.2领域本体研究现状
1.2.3约束检查软件现状
1.3主要研究内容与文章结构
2多色集合理论介绍
2.1引言
2.2多色集合的基本概念
2.3多色集合的数学工具
2.3.1着色的逻辑运算
2.3.2统一颜色的存在条件
2.3.3析取多色集合和合取多色集合
2.4总结
3航迹约束领域本体模型
3.1引言
3.2面向多要素关系的约束分类
3.3领域本体对象抽取
3.3.1总体信息
3.3.2 导航点任务
3.3.3飞行器设备
3.4领域公理集的构建
3.4.1属性公理集
3.4.2关系公理集
3.4.3逻辑公理集
3.5领域本体规则库
3.6总结
4约束领域本体语言
4.1引言
4.2约束领域本体语言设计
4.2.1基于多色集合的约束对象表示与管理
4.2.2本体语言模板组件
4.2.3本体语言结构设计
4.2.4本体语言实例验证
4.3基于Visio的可视化约束配置工具开发
4.4约束领域本体语言解析工具库
4.5总结
5基于约束领域本体模型的航迹约束检查方法
5.1引言
5.2航迹层次模型解析
5.2.1航迹表示方法分析
5.2.2导航点分析
5.2.3基于多色集合的航迹层次化解析
5.3约束检查方法
5.4软件功能验证
5.4.1航迹标准化功能验证
5.4.2约束检查功能验证
5.5总结
6总结和展望
6.1研究总结
6.2研究展望
致谢
参考文献
附录:攻读硕士期间发表的论文