空间凹形区域中拓扑关系模型和形状关系模型的研究
| 摘要 | 第1-7页 |
| Abstract | 第7-14页 |
| 第一章 绪论 | 第14-22页 |
| ·研究背景 | 第14-15页 |
| ·定性空间推理 | 第15-19页 |
| ·定性空间推理的表示方法 | 第16-17页 |
| ·定性空间关系的推理方法 | 第17-19页 |
| ·研究意义 | 第19-20页 |
| ·本文工作 | 第20-22页 |
| 第二章 复杂对象空间关系建模方法 | 第22-40页 |
| ·引言 | 第22-23页 |
| ·基于一阶逻辑的拓扑关系模型 | 第23-26页 |
| ·区域连接演算RCC | 第23-26页 |
| ·RCC8 和RCC5 | 第24-25页 |
| ·RCC23 | 第25-26页 |
| ·基于模态逻辑的拓扑关系模型 | 第26-34页 |
| ·模态逻辑中的常用模型 | 第26-28页 |
| ·Kripke模型 | 第26-27页 |
| ·最小模型和代数模型 | 第27-28页 |
| ·基于外延的代数模型 | 第28页 |
| ·基于零阶演算的空间拓扑关系模型 | 第28-34页 |
| ·基于经典零阶演算的空间关系表示 | 第29-30页 |
| ·基于零阶直觉演算的空间拓扑关系表示 | 第30-32页 |
| ·基于 S4 模态的空间拓扑关系表示 | 第32-34页 |
| ·基于代数方法的拓扑关系模型 | 第34-36页 |
| ·交集模型 | 第34-36页 |
| ·复杂对象拓扑关系模型 | 第36-37页 |
| ·形状关系模型 | 第37-38页 |
| ·基于边界的定性形状表示法 | 第37-38页 |
| ·基于区域的定性形状表示法 | 第38页 |
| ·存在的问题与发展方向 | 第38-40页 |
| 第三章 简单凹形区域拓扑关系模型RCC62 | 第40-54页 |
| ·引言 | 第40页 |
| ·背景知识 | 第40-42页 |
| ·RCC23 | 第40-41页 |
| ·9-交集模型 | 第41-42页 |
| ·RCC62 模型 | 第42-53页 |
| ·RCC62 模型的表示系统 | 第42-47页 |
| ·16-交集矩阵 | 第43页 |
| ·RCC 62 的基本关系 | 第43-46页 |
| ·RCC62 的概念邻域图和最近拓扑关系图 | 第46-47页 |
| ·RCC62 的推理系统 | 第47-53页 |
| ·一般约束条件 | 第47-48页 |
| ·推理规则 | 第48-49页 |
| ·可靠性及正确性证明 | 第49-51页 |
| ·RCC62 的关系复合分析 | 第51-52页 |
| ·RCC62 复合表的推导 | 第52-53页 |
| ·本章小结 | 第53-54页 |
| 第四章 拓扑关系模型RCC62*的表示系统 | 第54-76页 |
| ·引言 | 第54页 |
| ·背景知识 | 第54-58页 |
| ·基于模态逻辑的空间拓扑关系表示 | 第54-58页 |
| ·基于 S4 模态的空间拓扑关系表示 | 第55-57页 |
| ·凸壳的模态表示 | 第57-58页 |
| ·拓扑关系模型RCC62*的表示系统 | 第58-74页 |
| ·16-交集矩阵的模态表示 | 第59-60页 |
| ·RCC8 与RCC62 之间的关系 | 第60-62页 |
| ·RCC62 到RCC62*的模态转化 | 第62页 |
| ·RCC62*基本关系的表示 | 第62-71页 |
| ·简化的RCC62*基本关系表示 | 第71-74页 |
| ·本章小结 | 第74-76页 |
| 第五章 拓扑关系模型RCC62*的推理系统 | 第76-88页 |
| ·引言 | 第76页 |
| ·背景知识 | 第76-80页 |
| ·模态逻辑中的推理方法 | 第76-80页 |
| ·基于表的推理方法 | 第76-78页 |
| ·基于归结的推理方法 | 第78页 |
| ·基于转换的推理方法 | 第78-79页 |
| ·基于相继式演算的推理方法 | 第79-80页 |
| ·基于零阶演算的空间拓扑关系推理 | 第80-84页 |
| ·扩展零阶演算 | 第80-81页 |
| ·基于零阶经典演算的拓扑关系推理 | 第81-82页 |
| ·基于零阶直觉演算的拓扑关系推理 | 第82-84页 |
| ·拓扑关系模型RCC62*的推理系统 | 第84-86页 |
| ·本章小结 | 第86-88页 |
| 第六章 空间凹形区域的定性形状表示 | 第88-100页 |
| ·引言 | 第88页 |
| ·背景知识 | 第88-97页 |
| ·基于连接和凸壳的定性形状表示法 | 第88-92页 |
| ·基本概念 | 第88-89页 |
| ·基本思想 | 第89-90页 |
| ·具体步骤 | 第90-91页 |
| ·谓词SameSide判断存在的两类问题 | 第91-92页 |
| ·改进的凹处同异侧判断方法CTS | 第92-97页 |
| ·凹处类型划分 | 第93页 |
| ·改进的同异侧关系谓词SameSide* | 第93-94页 |
| ·改进的同异侧关系判断方法CTS | 第94-96页 |
| ·实例说明 | 第96-97页 |
| ·本章小结 | 第97-100页 |
| 第七章 结论与展望 | 第100-104页 |
| 参考文献 | 第104-110页 |
| 作者简介及科研成果 | 第110-112页 |
| 致谢 | 第112页 |
