| 摘要 | 第1-10页 |
| ABSTRACT | 第10-12页 |
| 第1章 引言 | 第12-18页 |
| ·背景介绍 | 第12-13页 |
| ·相关工作 | 第13-15页 |
| ·模型验证方面的相关工作 | 第13-14页 |
| ·基于仿真方法的相关工作 | 第14-15页 |
| ·论文的主要贡献 | 第15页 |
| ·本文的结构 | 第15-18页 |
| 第2章 概率模型检验和PRISM | 第18-30页 |
| ·持续时间马尔科夫链 | 第18-23页 |
| ·CTMC中路径和概率度量 | 第20-22页 |
| ·瞬时状态和稳定状态概率 | 第22-23页 |
| ·持续概率逻辑 | 第23-25页 |
| ·模型验证工具PRISM | 第25-30页 |
| 第3章 PDGF信号路径 | 第30-34页 |
| 第4章 用PRISM建模和分析 | 第34-46页 |
| ·在PRISM中建模 | 第34-37页 |
| ·属性描述 | 第37-38页 |
| ·结果分析 | 第38-46页 |
| 第5章 常微分方程 | 第46-56页 |
| ·生物系统中的常微分方程概念 | 第46-47页 |
| ·瞬时状态行为和稳定状态行为 | 第47-50页 |
| ·用常微分方程分析PDGF信号路径 | 第50-56页 |
| 第6章 总结 | 第56-58页 |
| 附录 | 第58-64页 |
| 附录A 17分子PDGF信号路径的完整PRISM模型代码 | 第58-62页 |
| 附录B 17分子PDGF信号路径模型的完整PRISM属性描述 | 第62-64页 |
| 参考文献 | 第64-70页 |
| 致谢 | 第70-72页 |
| 攻读学位期间发表的主要学术论文目录 | 第72-73页 |
| 攻读学位期间参与科研项目情况 | 第73-74页 |
| 学位论文评阅及答辩情况表 | 第74页 |