首页--交通运输论文--铁路运输论文--铁路通信、信号论文--铁路信号论文--区间闭塞与机车信号系统论文--列车运行自动化论文

列控安全计算机管理机制的形式化验证与实现

致谢第5-6页
摘要第6-7页
ABSTRACT第7-8页
1 引言第11-19页
    1.1 选题背景及意义第11-16页
        1.1.1 列控系统概述第11-15页
        1.1.2 列控安全计算机的应用第15-16页
        1.1.3 本文研究意义第16页
    1.2 国内外研究现状第16-18页
    1.3 论文研究内容和组织结构第18页
    1.4 本章小结第18-19页
2 列控安全计算机管理机制设计第19-37页
    2.1 列控安全计算机概述第19-25页
        2.1.1 列控安全计算机功能需求第19-20页
        2.1.2 既有列控安全计算机平台结构第20-22页
        2.1.3 下一代列控安全计算机结构第22-25页
    2.2 列控安全计算机控制原理第25-28页
        2.2.1 列控安全计算机功能描述第25-26页
        2.2.2 基于通信的任务级同步策略第26-27页
        2.2.3 数据比较功能第27-28页
    2.3 系统运行流程第28-35页
        2.3.1 主备状态切换流程第28-32页
        2.3.2 管理单元运行流程第32-35页
    2.4 本章小结第35-37页
3 安全计算机管理机制的形式化验证第37-71页
    3.1 形式化验证方法第37-43页
        3.1.1 模型检验原理及步骤第37-39页
        3.1.2 CTL计算树逻辑概述第39-42页
        3.1.3 模型检测工具第42-43页
    3.2 管理单元的SMV建模第43-54页
        3.2.1 管理单元状态模型第43-48页
        3.2.2 程序结构及模型转换规则第48-54页
    3.3 验证结果分析第54-70页
    3.4 本章小结第70-71页
4 安全计算机管理单元的实现与测试第71-97页
    4.1 管理单元的硬件设计与实现第71-84页
        4.1.1 管理单元的硬件结构和功能第71页
        4.1.2 硬件各模块的设计第71-82页
        4.1.3 PCB电路板的实现第82-84页
    4.2 状态机的设计与软件实现第84-88页
        4.2.1 安全软件的实现第84-86页
        4.2.2 状态机软件程序实现第86-88页
    4.3 调试环境设计与实现第88-91页
    4.4 测试结果分析第91-95页
    4.5 本章小结第95-97页
5 结论第97-99页
    5.1 总结第97-98页
    5.2 展望第98-99页
参考文献第99-103页
附录A第103-105页
图索引第105-107页
表索引第107-108页
作者简历及攻读硕士学位期间取得的研究成果第108-110页
学位论文数据集第110页

论文共110页,点击 下载论文
上一篇:基于Hadoop的海量工程数据关联规划挖掘方法研究
下一篇:新型变电所监控系统的设计与研究