铁路计算机联锁系统相关论文
计算机联锁设备是铁路信号系统的核心设备,其重要性不言而喻,需要在工作开展过程中投入较大精力.计算机联锁设备的维护与管理工作......
描述了符号化模型检验策略和相应的工具软件SMV,通过该工具验证了铁路计算机联锁控制逻辑的设计符合其安全规范,最后分析了模型检......
