| 致谢 | 第4-5页 |
| 摘要 | 第5-7页 |
| Abstract | 第7-8页 |
| 1 引言 | 第13-17页 |
| 1.1 研究背景和意义 | 第13页 |
| 1.2 国内外研究现状 | 第13-15页 |
| 1.3 研究内容 | 第15-16页 |
| 1.4 论文组织结构 | 第16-17页 |
| 2 时空现象建模的发展历程 | 第17-37页 |
| 2.1 引言 | 第17页 |
| 2.2 现实的抽象 | 第17-21页 |
| 2.3 时空建模的发展阶段 | 第21-27页 |
| 2.3.1 静态模型 | 第21-22页 |
| 2.3.2 快照模型 | 第22-23页 |
| 2.3.3 数据模型 | 第23-26页 |
| 2.3.4 过程模型 | 第26-27页 |
| 2.4 时空建模的基本方法 | 第27-34页 |
| 2.4.1 SNAP和SPAN的分类 | 第27-29页 |
| 2.4.2 时态和时间逻辑 | 第29-30页 |
| 2.4.3 情景演算 | 第30页 |
| 2.4.4 事件演算 | 第30页 |
| 2.4.5 过程演算 | 第30-34页 |
| 2.5 时空洞 | 第34-35页 |
| 2.6 本章小结 | 第35-37页 |
| 3 时空过程概念模型 | 第37-47页 |
| 3.1 引言 | 第37页 |
| 3.2 概念的统 | 第37-38页 |
| 3.3 时空过程模型结构 | 第38-40页 |
| 3.3.1 时间域 | 第38-39页 |
| 3.3.2 空间域 | 第39页 |
| 3.3.3 时空域 | 第39-40页 |
| 3.3.4 通道 | 第40页 |
| 3.3.5 链接 | 第40页 |
| 3.4 模型行为 | 第40-41页 |
| 3.5 时空拓展π-演算的模型机制 | 第41-44页 |
| 3.5.1 语法 | 第41-42页 |
| 3.5.2 结构一致性 | 第42-43页 |
| 3.5.3 缩减语义 | 第43-44页 |
| 3.5.4 ST-Barbed互模拟 | 第44页 |
| 3.6 模型输出过程查询 | 第44-46页 |
| 3.6.1 过程状态查询 | 第45页 |
| 3.6.2 过程转换查询 | 第45-46页 |
| 3.7 本章小结 | 第46-47页 |
| 4 时空过程逻辑建模 | 第47-60页 |
| 4.1 引言 | 第47页 |
| 4.2 UML-RT简介 | 第47-49页 |
| 4.2.1 UML-RT中的结构建模 | 第47-48页 |
| 4.2.2 UML-RT中的行为建模 | 第48页 |
| 4.2.3 UML-RT中的建模问题 | 第48-49页 |
| 4.3 STPM结构架构的逻辑框架 | 第49-53页 |
| 4.3.1 静态结构 | 第49-51页 |
| 4.3.2 通信模式 | 第51-52页 |
| 4.3.3 通信场景 | 第52-53页 |
| 4.4 STPM行为架构的逻辑框架 | 第53-59页 |
| 4.4.1 协议架构 | 第53-54页 |
| 4.4.2 状态机器架构 | 第54-59页 |
| 4.5 本章小结 | 第59-60页 |
| 5 时空过程模型解释与适用性 | 第60-71页 |
| 5.1 引言 | 第60页 |
| 5.2 模拟环境 | 第60页 |
| 5.3 模拟结构 | 第60-65页 |
| 5.3.1 时间域 | 第60-61页 |
| 5.3.2 空间域 | 第61-63页 |
| 5.3.3 时空域 | 第63-65页 |
| 5.4 自然灾害的模拟 | 第65-70页 |
| 5.4.1 洪水 | 第65-66页 |
| 5.4.2 飓风 | 第66-67页 |
| 5.4.3 滑坡 | 第67-68页 |
| 5.4.4 海啸 | 第68-69页 |
| 5.4.5 火山 | 第69-70页 |
| 5.5 本章小结 | 第70-71页 |
| 6 时空过程模型案例研究 | 第71-94页 |
| 6.1 引言 | 第71页 |
| 6.2 概念模型模拟案例 | 第71-85页 |
| 6.2.1 位置变化的稳定时空现象的应用 | 第71-73页 |
| 6.2.2 属性变化的稳定时空现象的应用 | 第73-75页 |
| 6.2.3 位置变化的不稳定时空现象的应用 | 第75-78页 |
| 6.2.4 属性变化的不稳定时空现象的应用 | 第78-80页 |
| 6.2.5 位置和属性都变化的稳定时空现象的应用 | 第80-82页 |
| 6.2.6 位置和属性都变化的不稳定时空现象的应用 | 第82-85页 |
| 6.3 逻辑模型模拟案例 | 第85-93页 |
| 6.3.1 位置变化的稳定时空现象的应用 | 第85页 |
| 6.3.2 属性变化的稳定时空现象的应用 | 第85页 |
| 6.3.3 位置变化的不稳定时空现象的应用 | 第85-88页 |
| 6.3.4 属性变化的不稳定时空现象的应用 | 第88-89页 |
| 6.3.5 位置和属性都变化的稳定时空现象的应用 | 第89-91页 |
| 6.3.6 位置和属性都变化的不稳定时空现象的应用 | 第91-93页 |
| 6.4 本章小结 | 第93-94页 |
| 7 结论与展望 | 第94-97页 |
| 7.1 研究总结 | 第94-96页 |
| 7.2 研究与展望 | 第96-97页 |
| 参考文献 | 第97-104页 |
| 附录A 仿真图案例研究Ⅰ | 第104-105页 |
| 附录B 仿真图案例研究Ⅱ | 第105-106页 |
| 附录C 仿真图案例研究Ⅲ | 第106-107页 |
| 附录D 仿真图案例研究Ⅳ | 第107-108页 |
| 附录E 仿真图案例研究Ⅴ | 第108-109页 |
| 附录F 仿真图案例研究Ⅵ | 第109-110页 |
| 作者简历 | 第110-113页 |
| 学位论文数据集 | 第113-114页 |
| 附件 | 第114页 |