| 中文摘要 | 第4-7页 |
| ABSTRACT | 第7-10页 |
| 1 绪论 | 第13-25页 |
| 1.1 研究背景 | 第13-14页 |
| 1.2 研究现状 | 第14-20页 |
| 1.2.1 信息资源规划研究现状 | 第14-18页 |
| 1.2.2 空间信息资源管理研究现状 | 第18-20页 |
| 1.3 研究内容和技术路线 | 第20-23页 |
| 1.3.1 研究内容 | 第20-22页 |
| 1.3.2 技术路线 | 第22-23页 |
| 1.4 论文的组织 | 第23-25页 |
| 2 智慧城市空间信息资源规划的框架 | 第25-50页 |
| 2.1 空间信息资源规划的概念 | 第25-26页 |
| 2.2 智慧城市空间信息资源的特点 | 第26-28页 |
| 2.3 智慧城市空间信息资源框架 | 第28-32页 |
| 2.4 智慧城市空间信息资源规划模型 | 第32-37页 |
| 2.4.1 各组织空间信息资源规划 | 第33-36页 |
| 2.4.2 智慧城市空间信息资源总体规划 | 第36-37页 |
| 2.5 空间信息资源规划的方法 | 第37-39页 |
| 2.5.1 空间信息服务组合参考模型 | 第37-38页 |
| 2.5.2 空间信息本体匹配参考模型 | 第38页 |
| 2.5.3 空间信息业务应用参考模型 | 第38-39页 |
| 2.6 空间信息资源规划的方法 | 第39-49页 |
| 2.7 结论 | 第49-50页 |
| 3 空间信息业务应用参考模型与实现 | 第50-71页 |
| 3.1 前言和相关工作 | 第50-52页 |
| 3.2 空间信息约束 | 第52-61页 |
| 3.2.1 空间信息约束单元 | 第52-58页 |
| 3.2.2 空间信息约束网 | 第58-61页 |
| 3.3 空间信息约束的工作流模型 | 第61-64页 |
| 3.3.1 空间信息约束的工作流模型定义 | 第61页 |
| 3.3.2 变迁规则 | 第61-62页 |
| 3.3.3 基本工作流路由 | 第62-63页 |
| 3.3.4 GCWF-net的有效性 | 第63-64页 |
| 3.4 模型实现方法与实例 | 第64-69页 |
| 3.4.0 GCWF-net建模 | 第64-65页 |
| 3.4.1 GCWF-net的PNML表示 | 第65-67页 |
| 3.4.2 PNML到BPEL的转换 | 第67-68页 |
| 3.4.3 BPEL的实现 | 第68-69页 |
| 3.5 结论 | 第69-71页 |
| 4 空间信息本体匹配参考模型与实现 | 第71-95页 |
| 4.1 前言 | 第71-73页 |
| 4.2 相关工作 | 第73-77页 |
| 4.2.1 本体匹配技术组合方法 | 第73-76页 |
| 4.2.2 基于进化算法的本体匹配优化方法 | 第76-77页 |
| 4.3 模型和实现方法 | 第77-88页 |
| 4.3.1 本体匹配相似度集成 | 第78-80页 |
| 4.3.2 本体匹配的数学优化模型 | 第80-83页 |
| 4.3.3 改进的SFLA算法 | 第83-88页 |
| 4.4 实验和讨论 | 第88-93页 |
| 4.4.1 实验配置 | 第88-89页 |
| 4.4.2 实验结果与分析 | 第89-93页 |
| 4.5 结论 | 第93-95页 |
| 5 空间信息服务组合参考模型与实现 | 第95-138页 |
| 5.1 前言 | 第95-98页 |
| 5.2 相关工作 | 第98-104页 |
| 5.2.1 物联网服务建模 | 第99-101页 |
| 5.2.2 服务组合 | 第101-104页 |
| 5.3 GIS-oriented IoT服务 | 第104-116页 |
| 5.3.1 Petri Nets简介 | 第104-105页 |
| 5.3.2 地理实体 | 第105-108页 |
| 5.3.3 物联网服务 | 第108-111页 |
| 5.3.4 地理信息服务 | 第111-114页 |
| 5.3.5 GIS-oriented IoT信息流 | 第114-116页 |
| 5.4 GIS-oriented IoT服务组合建模 | 第116-129页 |
| 5.4.1 服务运算代数 | 第117-119页 |
| 5.4.2 感知型物联网服务组合 | 第119-121页 |
| 5.4.3 GIS处理服务组合 | 第121-126页 |
| 5.4.4 控制型物联网服务映射 | 第126-127页 |
| 5.4.5 GIS-oriented IoT服务模型 | 第127-129页 |
| 5.5 模型实现方法与实例 | 第129-137页 |
| 5.5.1 模拟场景描述 | 第129-131页 |
| 5.5.2 建模过程 | 第131-135页 |
| 5.5.3 与Activity Diagram Variants模型的对比 | 第135-136页 |
| 5.5.4 讨论 | 第136-137页 |
| 5.6 结论 | 第137-138页 |
| 6 总结与展望 | 第138-142页 |
| 6.1 总结 | 第138-140页 |
| 6.2 展望 | 第140-142页 |
| 致谢 | 第142-143页 |
| 攻读学位期间发表的论文 | 第143-144页 |
| 参考文献 | 第144-150页 |
