基于RCC理论的时空表示与推理的研究
| 第一章 引言 | 第1-12页 |
| ·研究意义 | 第7页 |
| ·研究背景 | 第7-11页 |
| ·时态表示与推理简介 | 第7-8页 |
| ·空间表示与推理简介 | 第8-9页 |
| ·时空表示与推理简介 | 第9-11页 |
| ·本文的主要工作 | 第11-12页 |
| 第二章 区域连接演算(RCC)模型 | 第12-28页 |
| ·区域连接演算的引入 | 第12-15页 |
| ·RCC理论的公理 | 第15-17页 |
| ·增强的表达能力:凸壳原语 | 第17-20页 |
| ·包含关系和“在内部” | 第19-20页 |
| ·RCC推理 | 第20-25页 |
| ·复合表 | 第21-22页 |
| ·RCC的零阶逻辑编码 | 第22-24页 |
| ·使用RCC推理的复杂性 | 第24页 |
| ·关于连续变化推理 | 第24-25页 |
| ·RCC理论的应用 | 第25-28页 |
| ·RCC在地理信息系统中的应用 | 第25-26页 |
| ·刻画地理属性 | 第26页 |
| ·空间变化的定性模拟 | 第26-27页 |
| ·可视化程序语言的语义 | 第27-28页 |
| 第三章 时空正交组合的时空表示与推理 | 第28-34页 |
| ·基于点的时态RCC-8 | 第28-31页 |
| ·基于区间的时态RCC-8 | 第31-34页 |
| 第四章 时空本体的时空表示与推理 | 第34-58页 |
| ·时空理论 | 第34-41页 |
| ·连接关系 | 第35-36页 |
| ·部分拓扑关系 | 第36-39页 |
| ·时态关系 | 第39-40页 |
| ·时空关系 | 第40-41页 |
| ·时空连续性 | 第41-48页 |
| ·连续的转化 | 第44-46页 |
| ·转换操作 | 第46-48页 |
| ·时空模式 | 第48-51页 |
| ·二元时空模式 | 第49-51页 |
| ·在机器人导航系统中的应用 | 第51-58页 |
| ·一般转换 | 第52-53页 |
| ·部分观察 | 第53-54页 |
| ·启发式选择 | 第54-55页 |
| ·例子一 | 第55-56页 |
| ·例子二 | 第56-58页 |
| 第五章 结论与未来的工作 | 第58-60页 |
| 参考文献 | 第60-63页 |
| 中文摘要 | 第63-67页 |
| Abstract | 第67-72页 |
| 致谢 | 第72-73页 |
| 导师及作者简介 | 第73页 |
