首页 > 《基层建设》 > 2019年7期 > 铁路信号联锁逻辑形式化建模研究

铁路信号联锁逻辑形式化建模研究

在线阅读下载PDF 导出详情

摘要摘要铁路安全控制和防护系统是为保证铁路运输安全而诞生和发展，它在保证行车安全的前提下要为提高铁路运输效率起保障作用，铁路车站信号联锁系统是铁路信号系统的重要组成部分。铁路车站信号联锁逻辑形式化，不管是研发计算机联锁软件，还是测试联锁软件，其本身都极为关键。但是这种逻辑非常繁琐，要实现形式化建模是一项系统性的工作。在微电子技术普及的现在，为了能够全面提升铁路车站信号联锁系统运行效率，逐渐开始以计算机联锁系统代替电联锁设备。

DOI rj8n9889j0/2801458

作者李强

机构地区中国铁路呼和浩特局集团有限公司包头电务段内蒙古包头010000

出处《基层建设》 2019年7期

关键词铁路信号联锁逻辑形式化建模

分类 [建筑科学][建筑设计及理论]

出版日期 2019年07月17日（中国期刊网平台首次上网日期，不代表论文的发表时间）