基于UPPAAL的上下文感知系统的建模、仿真与验证工具的设计与实现
| 摘要 | 第1-8页 |
| ABSTRACT | 第8-12页 |
| 第一章 引言 | 第12-18页 |
| ·研究背景 | 第12-15页 |
| ·研究意义和研究内容 | 第15-16页 |
| ·研究意义 | 第15-16页 |
| ·研究内容 | 第16页 |
| ·论文的组织结构 | 第16-18页 |
| 第二章 关键相关技术研究 | 第18-28页 |
| ·上下文感知理论 | 第18-20页 |
| ·上下文 | 第18-19页 |
| ·上下文感知 | 第19页 |
| ·上下文感知系统 | 第19-20页 |
| ·上下文感知系统的建模、仿真和验证 | 第20-24页 |
| ·上下文感知系统的建模 | 第21-22页 |
| ·上下文感知系统的仿真 | 第22-23页 |
| ·上下文感知系统的验证 | 第23-24页 |
| ·工具UPPAAL介绍 | 第24-27页 |
| ·UPPAAL的界面和运行原理 | 第24页 |
| ·UPPAAL的语法 | 第24-26页 |
| ·UPPAAL在实时系统方向的应用 | 第26-27页 |
| ·本章小结 | 第27-28页 |
| 第三章 上下文感知系统建模、仿真和验证的方法 | 第28-49页 |
| ·UPPAAL中上下文感知系统的模型架构 | 第28-38页 |
| ·现有的上下文感知系统的分析 | 第28-30页 |
| ·上下文的表示 | 第30-31页 |
| ·上下文的演算和推理 | 第31-33页 |
| ·上下文感知系统模型的架构设计 | 第33-38页 |
| ·UPPAAL中上下文情境和感应的设计 | 第38-39页 |
| ·上下文情境的设计 | 第38-39页 |
| ·上下文感应的设计 | 第39页 |
| ·UPPAAL中上下文感知方向的数据设计 | 第39-42页 |
| ·一般变量、常量的设计 | 第39-40页 |
| ·维的设计 | 第40-41页 |
| ·上下文的设计 | 第41页 |
| ·数据存储的设计 | 第41-42页 |
| ·UPPAAL中上下文感知方向的模块设计 | 第42-43页 |
| ·模块的建立 | 第42-43页 |
| ·模块间的通信 | 第43页 |
| ·UPPAAL上下文感知方向的函数和复用设计 | 第43-47页 |
| ·上下文构建函数 | 第43-44页 |
| ·上下文演算函数 | 第44-47页 |
| ·上下文适应函数 | 第47页 |
| ·本章小结 | 第47-49页 |
| 第四章 扩展的UPPAAL验证工具的设计与实现 | 第49-58页 |
| ·UPPAAL二次开发的设计路线 | 第49-50页 |
| ·UPPAAL源模型文件的分析 | 第50-53页 |
| ·UPPAAL扩展工具的技术实现 | 第53-57页 |
| ·UPPAAL扩展工具的功能设计 | 第53-56页 |
| ·UPPAAL扩展工具的界面设计 | 第56-57页 |
| ·本章小结 | 第57-58页 |
| 第五章 建模、仿真和验证的研究实例 | 第58-78页 |
| ·自动导游系统的建模、仿真和验证 | 第58-76页 |
| ·自动导游系统的建模 | 第58-74页 |
| ·自动导游系统的仿真 | 第74-75页 |
| ·自动导游系统的验证 | 第75-76页 |
| ·本章小结 | 第76-78页 |
| 第六章 总结与展望 | 第78-81页 |
| ·本文总结 | 第78-79页 |
| ·未来展望 | 第79-81页 |
| 参考文献 | 第81-86页 |
| 致谢 | 第86-87页 |
| 附录 攻读学位期间发表的学术论文目录 | 第87页 |
