| 摘要 | 第6-7页 |
| ABSTRACT | 第7页 |
| 符号说明 | 第8-11页 |
| 第一章 引言 | 第11-15页 |
| 1.1 背景及问题的提出 | 第11-12页 |
| 1.2 国内外研究现状 | 第12-13页 |
| 1.2.1 国外研究现状 | 第12-13页 |
| 1.2.2 国内研究现状 | 第13页 |
| 1.3 研究的目标及其主要的内容 | 第13-14页 |
| 1.4 本文的组织结构及其章节编排 | 第14-15页 |
| 第二章 BOOL-CAD 的设计方案 | 第15-19页 |
| 2.1 知识库 | 第16-17页 |
| 2.2 具有白盒应用性的设计语言 | 第17页 |
| 2.3 双套相异软件 | 第17-18页 |
| 2.4 计算机联锁系统中 BOOL-CAD 的设计方案 | 第18页 |
| 2.5 本章小结 | 第18-19页 |
| 第三章 BOOL-CAD 的设计与实现 | 第19-45页 |
| 3.1 BOOL-CAD 的界面 | 第19-20页 |
| 3.2 BOOL-CAD 的组成 | 第20-22页 |
| 3.3 BOOL-CAD 的数据流 | 第22-23页 |
| 3.4 双套相异软件 | 第23-25页 |
| 3.5 BOOL-CAD 的知识库 | 第25-30页 |
| 3.5.1 语法规则 | 第25-26页 |
| 3.5.2 参数命名规则 | 第26页 |
| 3.5.3 进路参数 | 第26-27页 |
| 3.5.4 道岔对向/顺向定义 | 第27页 |
| 3.5.5 道岔参数的定义 | 第27-28页 |
| 3.5.6 领域抽象方法库 | 第28页 |
| 3.5.7 领域抽象类型 | 第28-29页 |
| 3.5.8 方法库获取类型 | 第29-30页 |
| 3.6 知识库的设计 | 第30-44页 |
| 3.6.1 道岔动作 | 第30-32页 |
| 3.6.2 进路建立 | 第32页 |
| 3.6.3 进路锁闭 | 第32-33页 |
| 3.6.4 信号开放 | 第33-35页 |
| 3.6.5 进路解锁 | 第35-44页 |
| 3.7 本章小结 | 第44-45页 |
| 第四章 BOOL-CAD 在计算机联锁系统中的应用 | 第45-55页 |
| 4.1 BOOL-CAD 的工程应用 | 第45-51页 |
| 4.2 知识库的维护 | 第51-52页 |
| 4.3 计算机联锁系统中 BOOL-CAD 的应用效果分析 | 第52-54页 |
| 4.4 本章小结 | 第54-55页 |
| 第五章 总结与展望 | 第55-57页 |
| 5.1 本文工作回顾 | 第55-56页 |
| 5.2 成果及意义 | 第56页 |
| 5.3 存在的问题及进一步的工作 | 第56-57页 |
| 参考文献 | 第57-59页 |
| 附录 1 领域抽象方法库 | 第59-61页 |
| 附录 2 领域抽象类型 | 第61-68页 |
| 附录 2.1 设备的编码类型 | 第61-66页 |
| 附录 2.2 运行方向的编码类型 | 第66-68页 |
| 附录 3 方法库获取类型 | 第68-71页 |
| 附录 3.1 运输特征的编码类型 | 第68-69页 |
| 附录 3.2 其它编码类型 | 第69-71页 |
| 致谢 | 第71-72页 |
| 作者攻读学位期间发表的论文 | 第72页 |
