混合系统的近似形式化验证
| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 1 绪论 | 第7-12页 |
| 1.1 本文的研究背景及意义 | 第7-9页 |
| 1.2 存在的问题 | 第9-10页 |
| 1.3 本文的主要工作及框架结构 | 第10-12页 |
| 2 混合系统简介 | 第12-17页 |
| 2.1 混合系统的语义模型 | 第12-13页 |
| 2.2 转换系统的语义模型 | 第13-15页 |
| 2.3 近似模拟关系 | 第15-16页 |
| 2.4 本章小结 | 第16-17页 |
| 3 不完全矩阵分解 | 第17-22页 |
| 3.1 不完全上下三角矩阵分解（ILU） | 第17-19页 |
| 3.2 修改的ILU分解（MILU） | 第19-21页 |
| 3.3 本章小结 | 第21-22页 |
| 4 标记转换系统的近似语义模型 | 第22-31页 |
| 4.1 等价标记 | 第22-24页 |
| 4.2 标记转换系统的等价语义模型 | 第24页 |
| 4.3 近似标记转换系统 | 第24-25页 |
| 4.4 状态的近似模拟关系 | 第25-28页 |
| 4.5 近似模拟转换系统 | 第28-30页 |
| 4.6 本章小结 | 第30-31页 |
| 5 齐次线性多项式微分混合系统 | 第31-39页 |
| 5.1 齐次线性多项式微分混合系统的语义模型 | 第31-32页 |
| 5.2 基于ILU分解法近似模拟状态 | 第32-34页 |
| 5.3 离散转换关系的近似转换关系 | 第34-36页 |
| 5.4 误差分析 | 第36-38页 |
| 5.5 本章小结 | 第38-39页 |
| 6 总结与展望 | 第39-41页 |
| 6.1 研究工作总结 | 第39-40页 |
| 6.2 未来工作展望 | 第40-41页 |
| 参考文献 | 第41-45页 |
| 致谢 | 第45-46页 |
| 发表与完成文章目录 | 第46页 |
