| 第一章 绪论 | 第1-18页 |
| ·课题的目的和意义 | 第12-13页 |
| ·国内外现状 | 第13-16页 |
| ·计算机联锁系统的研究现状 | 第13-14页 |
| ·形式化研究现状 | 第14-16页 |
| ·本章小结 | 第16-18页 |
| 第二章 计算机联锁系统与规则标准 | 第18-31页 |
| ·铁路信号概述 | 第18-19页 |
| ·铁路信号联锁系统 | 第19-23页 |
| ·概述 | 第19-21页 |
| ·系统结构 | 第21-23页 |
| ·计算机联锁系统软件 | 第23-26页 |
| ·联锁软件 | 第24页 |
| ·管理软件 | 第24-25页 |
| ·轨道管理软件 | 第25页 |
| ·通讯软件 | 第25页 |
| ·辅助设计软件 | 第25-26页 |
| ·联锁软件规则的提取与描述 | 第26-30页 |
| ·信号 | 第26-27页 |
| ·道岔 | 第27-28页 |
| ·进路 | 第28页 |
| ·进路的锁闭 | 第28-29页 |
| ·进路的解锁 | 第29-30页 |
| ·本章小结 | 第30-31页 |
| 第三章 形式化描述方法概述 | 第31-46页 |
| ·形式化描述 | 第31-33页 |
| ·形式化方法概念 | 第31-32页 |
| ·形式化方法分类 | 第32页 |
| ·形式化描述技术和特点 | 第32-33页 |
| ·UML统一建模语言 | 第33-37页 |
| ·UML的发展历程和现状 | 第33-34页 |
| ·UML内容和特点 | 第34-36页 |
| ·UML的扩展机制 | 第36-37页 |
| ·Petri网 | 第37-42页 |
| ·Petri网发展简史 | 第37-38页 |
| ·Petri网特点 | 第38页 |
| ·Petri网的主要术语 | 第38-39页 |
| ·Petri网定义和实例 | 第39-40页 |
| ·Petri网的执行 | 第40-41页 |
| ·扩展Petri网 | 第41-42页 |
| ·自动机理论 | 第42-43页 |
| ·自动机理论概述 | 第42页 |
| ·自动机理论数学定义 | 第42-43页 |
| ·自动机与UML及Petri网的比较 | 第43-44页 |
| ·本章小结 | 第44-46页 |
| 第四章 联锁规则的模型化描述 | 第46-62页 |
| ·时间自动机模型 | 第46-50页 |
| ·时间字 | 第47页 |
| ·状态转移系统定义 | 第47-48页 |
| ·时钟约束及时钟映射定义 | 第48页 |
| ·语义和语法 | 第48-49页 |
| ·时间自动机简例 | 第49-50页 |
| ·联锁软件规则的时间自动机模型化描述 | 第50-61页 |
| ·道岔范例 | 第50-53页 |
| ·信号机范例 | 第53-54页 |
| ·进路范例 | 第54-57页 |
| ·进路锁闭范例 | 第57-59页 |
| ·进路解锁范例 | 第59-61页 |
| ·本章小结 | 第61-62页 |
| 第五章 基于时间自动机规则描述方法的联锁软件设计方法 | 第62-67页 |
| ·联锁软件的功能 | 第62-63页 |
| ·联锁软件的构成 | 第63页 |
| ·联锁软件模型化设计方法 | 第63-66页 |
| ·本章小结 | 第66-67页 |
| 第六章 结束语 | 第67-68页 |
| ·全文总结 | 第67页 |
| ·进一步的工作展望 | 第67-68页 |
| 参考文献 | 第68-71页 |
| 攻读硕士学位期间完成的论文 | 第71页 |