| 摘要 | 第1-5页 |
| Abstract | 第5-9页 |
| 1 绪论 | 第9-14页 |
| ·概述 | 第9页 |
| ·列车运行控制系统技术研究现状 | 第9-12页 |
| ·列车控制系统技术研究现状 | 第9-11页 |
| ·列车控制系统无线通信技术研究现状 | 第11-12页 |
| ·本课题的研究意义 | 第12页 |
| ·论文结构框架及主要内容 | 第12-14页 |
| 2 多 Agent 系统理论 | 第14-20页 |
| ·传统 Agent 和多 Agent 系统 | 第14-15页 |
| ·Agent | 第14页 |
| ·多 Agent 系统 | 第14-15页 |
| ·Agent 之间的通信机制 | 第15页 |
| ·智能 Agent 技术 | 第15-17页 |
| ·智能 Agent | 第15-16页 |
| ·智能 Agent 的特点 | 第16页 |
| ·智能 Agent 的分类 | 第16-17页 |
| ·智能 Agent 的应用 | 第17页 |
| ·多智能 Agent 系统 | 第17-18页 |
| ·多智能 Agent 系统的基本概念 | 第17页 |
| ·多智能 Agent 系统的特点 | 第17-18页 |
| ·智能 Agent 系统的应用及前景 | 第18页 |
| ·智能 Agent 技术 | 第18-19页 |
| ·分布式人工智能 | 第19页 |
| ·本章小结 | 第19-20页 |
| 3 形式化建模语言 Event-B 及其仿真平台 Rodin | 第20-29页 |
| ·Event-B 语言的基本概念 | 第20-22页 |
| ·环境 | 第20页 |
| ·机器 | 第20页 |
| ·事件 | 第20-21页 |
| ·变体 | 第21页 |
| ·行动 | 第21页 |
| ·证明义务 | 第21页 |
| ·提精 | 第21-22页 |
| ·Event-B 模型的基本构成 | 第22-23页 |
| ·Event-B 建模的方法及其优点 | 第23-24页 |
| ·Event-B 的仿真平台 Rodin | 第24-28页 |
| ·本章小结 | 第28-29页 |
| 4 CTCS-4 列车注册与启动过程中车地通信交互的形式化研究 | 第29-40页 |
| ·CTCS-4 列车注册与启动过程中车地通信交互分析 | 第29-30页 |
| ·CTCS-4 列车注册与启动过程中车地通信交互描述方法 | 第30-31页 |
| ·CTCS-4 列车注册与启动过程中车地通信模型的创建 | 第31-37页 |
| ·模型的目标与设计 | 第31页 |
| ·模型的构建与精化 | 第31-37页 |
| ·模型的 PO 验证 | 第37-39页 |
| ·本章小结 | 第39-40页 |
| 5 CTCS-4 无线通信故障恢复模型的形式化研究 | 第40-48页 |
| ·CTCS-4 无线通信故障分析 | 第40-41页 |
| ·CTCS-4 无线通信故障的处理方法 | 第41页 |
| ·CTCS-4 无线通信故障恢复模型的创建 | 第41-46页 |
| ·模型的目标与设计 | 第41-42页 |
| ·模型的构建与精化 | 第42-46页 |
| ·模型的 PO 验证 | 第46-47页 |
| ·本章小结 | 第47-48页 |
| 结论 | 第48-49页 |
| 致谢 | 第49-50页 |
| 参考文献 | 第50-53页 |
| 攻读学位期间的研究成果 | 第53页 |
