机器人软件运行时性能验证与异常分析
| 摘要 | 第1-6页 |
| ABSTRACT | 第6-10页 |
| 第一章 绪论 | 第10-17页 |
| ·论文研究的背景 | 第10-11页 |
| ·国内外研究现状 | 第11-13页 |
| ·论文研究的问题 | 第13-14页 |
| ·论文的主要贡献 | 第14-15页 |
| ·论文的组织结构 | 第15-17页 |
| 第二章 运行时模型设计与生成 | 第17-30页 |
| ·运行时系统MiniROS | 第17-19页 |
| ·整体介绍 | 第17页 |
| ·组件模型 | 第17-19页 |
| ·Petri网 | 第19-23页 |
| ·Petri网的发展 | 第19-20页 |
| ·有向网结构 | 第20-21页 |
| ·库所/迁移Petri网 | 第21-23页 |
| ·运行时模型的设计 | 第23-26页 |
| ·建模理由 | 第23页 |
| ·模型设计 | 第23-26页 |
| ·运行时模型的生成 | 第26-28页 |
| ·运行时模型的优点 | 第28-29页 |
| ·本章小结 | 第29-30页 |
| 第三章 上下文监测与性能验证 | 第30-41页 |
| ·上下文模型 | 第30-35页 |
| ·上下文定义 | 第30页 |
| ·上下文模型及分析 | 第30-35页 |
| ·上下文监测 | 第35-40页 |
| ·面向切面编程（AOP） | 第35-36页 |
| ·AOP基本原理 | 第36-37页 |
| ·AspectC++的核心概念 | 第37-39页 |
| ·AOP监测上下文 | 第39-40页 |
| ·运行时系统的性能验证 | 第40页 |
| ·本章小结 | 第40-41页 |
| 第四章 运行时性能异常分析与解决 | 第41-51页 |
| ·基于迁移重要性的分析优先级 | 第41-44页 |
| ·PageRank算法 | 第41-42页 |
| ·迁移重要性 | 第42-43页 |
| ·示例分析 | 第43-44页 |
| ·基于运行时模型的异常分析方法 | 第44-48页 |
| ·基于模型结构的分析方法 | 第44-46页 |
| ·基于模型性质的分析方法 | 第46-48页 |
| ·基于规则知识库的异常解决方法 | 第48-50页 |
| ·规则知识库 | 第48-49页 |
| ·基于规则知识库优化 | 第49-50页 |
| ·本章小结 | 第50-51页 |
| 第五章 运行时性能自适应的应用 | 第51-60页 |
| ·机器人足球的应用例子 | 第51-59页 |
| ·运行时模型的构建 | 第51-56页 |
| ·验证、分析与调整 | 第56-59页 |
| ·本章小结 | 第59-60页 |
| 总结 | 第60-61页 |
| 参考文献 | 第61-64页 |
| 攻读硕士学位期间取得的研究成果 | 第64-65页 |
| 致谢 | 第65-66页 |
| 附件 | 第66页 |
