摘要4-7
ABSTRACT7-10
目录10-12
章 绪论12-30
1.1 CAI 的发展12-15
1.2 地理教育软件的认识15-20
1.3 GIS 与地理教育软件20-22
1.4 问题和展望22-27
1.5 的主要工作27-28
1.6 的组织结构28-30
章 GEOARTER 平台概要和设计分析30-51
2.1 GEOARTER 平台基本概述30-33
2.2 GEOARTER 实现理论分析33-38
2.2.1 地理构造层33-35
2.2.2 模拟虚拟地理层35-36
2.2.3 时态地理层36
2.2.4 地理知识表示层36-37
2.2.5 地理知识计算层37
2.2.6 领域应用和智能教育层37-38
2.3 GEOARTER 实现技术分析38-45
2.4 GEOARTER 地理知识计算的功能描述和软件结构45-51
2.4.1 GeoSmarter 地理知识计算功能和软件结构的概述45-47
2.4.2 GeoSmarter 地理知识计算的功能描述47-51
章 地理知识计算—侧推法51-72
3.1 地理知识计算—多定性空间属性推理概述51-58
3.2 侧推法概述58-60
3.3 侧推法—地理实体的空间关系分析60-63
3.4 侧推法分类63-64
3.5 侧推法64-72
3.5.1 侧推S 代数66-70
3.5.2 侧推法算法设计70-72
章 地理知识计算—并列侧推法72-93
4.1 并列侧推法72-73
4.2 侧推的属性和实体一致性检测73-75
4.3 并列侧推法及其推理分析75-78
4.4 并行侧推法的算法改进78-92
4.4.1 并行侧推法分析和侧推规则生成78-84
4.4.2 侧推法—定性空间属性的划分84-87
4.4.3 SR -ⅠReasoingPlus 算法和实现分析87-88
4.4.4 最小/大空间边界条件和侧推规则生成的通用算法88-92
4.5 混合侧推法和间接侧推法92-93
第五章 基于机制的设计模式表示语言(M—DP)93-112
5.1 DP 形式化语言比较93-97
5.2 基于机制的DP 表示语言:M—DP97-106
5.2.1 基于机制的定义97-102
5.2.2 模式协议的分析102-103
5.2.3 M—DP 图形表示103-106
5.3 DP 扩展算子106-112
5.3.1 DP 扩展分析106
5.3.2 DP 机制扩展算子106-108
5.3.3 DP 间扩展算子108-112
第六章 GEOARTER HCI 复用框架设计112-121
6.1 GEOARTER HCI 概述112
6.2 GEOARTER HCI 复用需求分析和设计112-116
6.3 GEOARTER HCI 构建和代码分析116-121
第七章 总结和今后工作的设想121-124
7.1 总结121-122
7.2 今后工作的设想122-124