| 摘要 | 第1-7页 |
| ABSTRACT | 第7-10页 |
| 目录 | 第10-12页 |
| 第一章 绪论 | 第12-30页 |
| ·CAI 的发展 | 第12-15页 |
| ·地理教育软件的认识 | 第15-20页 |
| ·GIS 与地理教育软件 | 第20-22页 |
| ·问题和展望 | 第22-27页 |
| ·本文的主要工作 | 第27-28页 |
| ·本文的组织结构 | 第28-30页 |
| 第二章 GEOSMARTER 平台概要和设计分析 | 第30-51页 |
| ·GEOSMARTER 平台基本概述 | 第30-33页 |
| ·GEOSMARTER 实现理论分析 | 第33-38页 |
| ·地理构造层 | 第33-35页 |
| ·模拟虚拟地理层 | 第35-36页 |
| ·时态地理层 | 第36页 |
| ·地理知识表示层 | 第36-37页 |
| ·地理知识计算层 | 第37页 |
| ·领域应用和智能教育层 | 第37-38页 |
| ·GEOSMARTER 实现技术分析 | 第38-45页 |
| ·GEOSMARTER 地理知识计算的功能描述和软件结构 | 第45-51页 |
| ·GeoSmarter 地理知识计算功能和软件结构的概述 | 第45-47页 |
| ·GeoSmarter 地理知识计算的功能描述 | 第47-51页 |
| 第三章 地理知识计算—直接侧推法 | 第51-72页 |
| ·地理知识计算—多定性空间属性推理概述 | 第51-58页 |
| ·侧推法概述 | 第58-60页 |
| ·侧推法—地理实体的空间关系分析 | 第60-63页 |
| ·侧推法分类 | 第63-64页 |
| ·直接侧推法 | 第64-72页 |
| ·侧推S 代数 | 第66-70页 |
| ·直接侧推法算法设计 | 第70-72页 |
| 第四章 地理知识计算—并列侧推法 | 第72-93页 |
| ·并列侧推法 | 第72-73页 |
| ·侧推的属性和实体一致性检测 | 第73-75页 |
| ·并列侧推法及其推理分析 | 第75-78页 |
| ·并行侧推法的算法改进 | 第78-92页 |
| ·并行侧推法分析和侧推规则生成 | 第78-84页 |
| ·侧推法—定性空间属性的划分 | 第84-87页 |
| ·SR -ⅠReasoingPlus 算法和实现分析 | 第87-88页 |
| ·最小/大空间边界条件和侧推规则生成的通用算法 | 第88-92页 |
| ·混合侧推法和间接侧推法 | 第92-93页 |
| 第五章 基于机制的设计模式表示语言(M—DP) | 第93-112页 |
| ·DP 形式化语言比较 | 第93-97页 |
| ·基于机制的DP 表示语言:M—DP | 第97-106页 |
| ·基于机制的定义 | 第97-102页 |
| ·模式协议的分析 | 第102-103页 |
| ·M—DP 图形表示 | 第103-106页 |
| ·DP 扩展算子 | 第106-112页 |
| ·DP 扩展分析 | 第106页 |
| ·DP 机制扩展算子 | 第106-108页 |
| ·DP 间扩展算子 | 第108-112页 |
| 第六章 GEOSMARTER HCI 复用框架设计 | 第112-121页 |
| ·GEOSMARTER HCI 概述 | 第112页 |
| ·GEOSMARTER HCI 复用需求分析和设计 | 第112-116页 |
| ·GEOSMARTER HCI 构建和代码分析 | 第116-121页 |
| 第七章 总结和今后工作的设想 | 第121-124页 |
| ·总结 | 第121-122页 |
| ·今后工作的设想 | 第122-124页 |
| 参考文献 | 第124-135页 |
| 附录 | 第135-147页 |
| 地理教育软件抽样统计表 | 第135-139页 |
| M—DP 表示GOF 设计模式 | 第139-147页 |
| 攻读学位期间发表的论文和参加的项目 | 第147-148页 |
| 攻读学位期间发表的论文 | 第147页 |
| 攻读学位期间参加的主要科研项目 | 第147-148页 |
| 致谢 | 第148页 |
