实时模型检测中精确加速的研究
| 摘要 | 第1-5页 |
| ABSTRACT | 第5-8页 |
| 1 引言 | 第8-14页 |
| ·研究背景 | 第8-9页 |
| ·研究现状 | 第9-12页 |
| ·研究内容 | 第12-13页 |
| ·本文结构 | 第13-14页 |
| 2 时间自动机 | 第14-24页 |
| ·相关背景 | 第14页 |
| ·时间自动机 | 第14-17页 |
| ·区域自动机 | 第17-19页 |
| ·区域等价 | 第17-18页 |
| ·区域自动机 | 第18-19页 |
| ·带自动机 | 第19-21页 |
| ·可达性分析 | 第21-23页 |
| ·小结 | 第23-24页 |
| 3 加速技术分析 | 第24-36页 |
| ·片段问题 | 第24-25页 |
| ·模型增量 | 第25-28页 |
| ·精确加速 | 第28-33页 |
| ·环 | 第29页 |
| ·可加速环 | 第29-30页 |
| ·加速 | 第30-33页 |
| ·加速技术分析 | 第33-35页 |
| ·小结 | 第35-36页 |
| 4 基于驻留环的精确加速 | 第36-44页 |
| ·精确加速缺陷分析 | 第36-37页 |
| ·精确加速原理分析 | 第37-38页 |
| ·基于驻留环的精确加速 | 第38-41页 |
| ·对比分析 | 第41-43页 |
| ·小结 | 第43-44页 |
| 5 一种快速计算边界控制条件的方法 | 第44-48页 |
| ·窗口的计算 | 第44-45页 |
| ·一种快速计算边界控制条件的方法 | 第45-46页 |
| ·实例验证及分析 | 第46-47页 |
| ·小结 | 第47-48页 |
| 6 一种识别可加速环的方法 | 第48-56页 |
| ·相关背景 | 第48页 |
| ·模型检测工具UPPAAL | 第48-51页 |
| ·用UPPAAL建模 | 第48-49页 |
| ·用UPPAAL检测 | 第49-51页 |
| ·可加速环识别算法 | 第51-53页 |
| ·实例验证及复杂度分析 | 第53-55页 |
| ·小结 | 第55-56页 |
| 7 总结与展望 | 第56-57页 |
| 参考文献 | 第57-60页 |
| 致谢 | 第60-61页 |
| 个人简历 在学期间发表的学术论文与研究成果 | 第61页 |
