基于继电电路的计算机联锁逻辑模型研究

发布时间：2021-08-02 01:51

　　铁路信号系统是铁路运输中保障列车安全运行、提高运输效率、改善劳动条件和提升运营管理水平的重要系统。联锁系统是铁路信号系统的重要组成部分,它以联锁软件为核心,指挥车站内的信号机、道岔和轨道电路等基本信号设备遵循一定的条件按照一定的程序执行控制条件,是用于保障列车运行可靠性安全性的重要设备。联锁软件的可靠性安全性直接关系到列车的运行。随着铁路行车密度不断增大、运行速度不断提高,我们需要更安全高效的联锁软件来控制列车运行。6502电气集中联锁系统和计算机联锁系统是我国使用最为广泛的联锁系统,但在实际应用中这两种联锁系统的缺陷日益显现。基于继电电路的计算机联锁系统在联锁软件方面做了改进,他结合6502电气集联锁系统与计算机联锁系统两者的优点的同时规避两者的缺点,提出一种将计算机内部的联锁逻辑过程可视化透明化的计算机联锁系统。本文主要完成基于继电电路的计算机联锁逻辑模型研究,它是基于继电电路的计算机联锁系统中的一个重要组成部分。文中建立联锁逻辑模型绘制继电电路图,动态展示联锁程序的执行过程,实时反馈联锁程序内部的联锁运算情况,使得联锁运算过程更容易理解,实现联锁程序的透明化,也便于排查错误,降低... 

【文章来源】：西南交通大学四川省 211工程院校 教育部直属院校

【文章页数】：83 页

【学位级别】：硕士

【部分图文】：

论文的整体结构

章 系统概述及联锁逻辑模型总体总体介绍基于继电电路的计算机联锁系统的概念电电路的计算机联锁逻辑模型的设计过程进行一路的计算机联锁系统概述路的计算机联锁系统开发方法与传统联锁软件的行一个比较，介绍基于继电电路的计算机联锁系介绍基于继电电路的计算机联锁系统的概念。软件开发方法数单位研制的联锁系统，其联锁软件的编制都是基言将联锁软件的需求和定义写在文档中[6]。这种传的开发方法。一般用“V”字形开发流程表示传统

西南交通大学硕士研究生学位论文过程全部由人工完成，会导致大量错误代出错误代码并由编码人员对其进行修正联锁软件中仍然会包含一些错误代码，。联锁软件在编码、测试、应用过程中出软件又极其复杂，一旦编程人员出现人困难。方法安全苛求高的系统，正好适用于联锁软件形式化联锁软件开发的设计流程。SCADE 2-2 所示。

【参考文献】：
期刊论文
[1]计算机联锁系统与6502的技术对比以及未来发展方向[J]. 刘家承.  信息化建设. 2016(03)
[2]基于UPPAAL的列车自动防护系统形式化建模与验证[J]. 蒋建军,王长林.  铁路计算机应用. 2014(08)
[3]基于SCADE的城轨联锁软件开发方法的研究[J]. 张重,刘晓娟,李国瑞.  铁路计算机应用. 2014(02)
[4]计算机联锁控制系统的研究与发展趋势[J]. 张振波.  电子世界. 2014(03)
[5]基于双缓存技术解决某模拟系统实时显示屏幕闪烁的方法[J]. 董燕,周燕明,崔卫兵.  电脑知识与技术. 2008(26)
[6]继电控制线路的功能仿真系统[J]. 张颖瑶,耿英三,邓永庆,张国钢.  低压电器. 2008(03)
[7]计算机联锁的进路搜索Petri网模型分析[J]. 马鑫,董昱.  科技咨询导报. 2007(07)
[8]TCP/IP下的Socket及Winsock通信机制[J]. 王晓鹏.  航空计算技术. 2004(02)
[9]联锁软件的Petri网形式化定义[J]. 杨扬,潘明,何梅芳.  中国铁道科学. 2002(03)
[10]联锁软件的Petri网模型化[J]. 杨扬,王晓明,何梅芳,肖蒙.  兰州铁道学院学报. 2002(01)

硕士论文
[1]基于SCADE的城轨正线联锁系统研究[D]. 雷贝贝.西南交通大学 2017
[2]基于UPPAAL的计算机联锁进路控制过程测试用例自动生成[D]. 谢林.西南交通大学 2017
[3]基于模型的城轨信号联锁系统开发方法[D]. 贾赟.北京交通大学 2017
[4]ZPW2000A/K设备配置软件的设计与实现[D]. 李胜.西南交通大学 2016
[5]基于UML的铁路信号计算机联锁仿真系统的研究与实现[D]. 张京晶.北京工业大学 2016
[6]基于SCADE的联锁逻辑建模与仿真[D]. 袁晴.西南交通大学 2016
[7]车站信号计算机联锁逻辑关系形式化验证方法的研究[D]. 陶玲.重庆交通大学 2015
[8]基于TMS570的计算机联锁系统嵌入式计算平台设计与实现[D]. 张勇.北京交通大学 2014
[9]铁路信号继电电路动态逻辑化仿真研究[D]. 蒲加永.西南交通大学 2013
[10]二乘二取二系统的可靠性和安全性[D]. 许崇.合肥工业大学 2013



本文编号：3316647