SWJTU-Ⅱ型计算机联锁控制系统设计和实现

铁路信号计算机联锁系统是一个有着高可靠性、故障-安全性和实时性要求的安全-关键系统.本单位自行设计研制了一个满足这种高可靠性、故障-安全性和实时性要求的容错计算机联锁系统SWJTU-II.计算机联锁系统SWJTU-II,硬件结构上,采用SIEMENS公司PLC作为主要控制部件,双机热备冗余结构,能实现无扰动的故障切换;联锁软件采用Petri网模型化,面向对象方法设计,Step 7 STL语言实现;通过仿真软件模拟列车运行来对系统进行仿真测试并取得良好效果.该系统已开发完成并投入应用.     

TYJL-TR2000型容错计算机联锁控制系统设计和实现

在铁路车站信号计算机联锁控制系统中，对系统的可靠性，可用性和实时性要求较高。本单位自行设计研制了一个满足这种高可靠性，可用性和实时性要求的三模冗余容错计算机联锁控制系统TYJL-TR2000，本文介绍了该系统的硬件和软件结构。     

计算机联锁新秀JD—IA

铁路信号是指挥列车安全、正点运行的重要设备。铁路车站信号控制是铁路信号的组成部分,它指挥列车通过车站、进出车站和在站内调车。在给出允许或禁止列车运行的信号前,必须把有关的道岔自动地扳到正确位置,并予以锁闭,也就是说,在列车真正通过道岔时不允许道岔再转动;如果列车通过的经路上还有其他列车在运行或停留,就必须关闭信号,禁止后续列车通过——这些都是车站作业最基本的安全保证,也就是铁路车站信号控制的内容,这种控制称作联锁。 当前广泛使用的车站联锁系统是电气联锁系统,也称为电气集中系统,它全部用继电器电路构成。电     

联锁软件的Petri网形式化定义

用Petri网对联锁系统中的核心部分－联锁机中的联锁软件进行表式化定义和分析，以减少联锁系统中的不确定性因素，降低联锁软件的复杂性，保证联锁软件定义的正确性，并对该定义进行了形式化验证。同时以进程建立过程作为事例，说明了用Petri我形式化定义联锁软件的具体过程，采用分层模型化技术对联锁软件中的各个变迁（模块）进行逐级分解和验证，最终得到经过验证的，足够详细的联锁软件模型，利用该模型能对系统的一些重要性能（如安全性和实时性）进行分析和改进。     

基于ARM嵌入式的计算机联锁控制系统研究

铁路车站信号计算机联锁控制系统是实时、多任务、安全苛求的计算机控制系统.基于ARM嵌入式的计算机联锁控制系统可以确保系统可靠性和安全性的实现.利用Linux的实时多任务处理能力,提供系统在分布式环境下实时通信能力.利用源代码公开的特点,保证系统具有良好的可扩展性及性价比.     

计算机联锁春花烂漫

车站计算机联锁是一种将车站道岔、轨道电路和信号机,用计算机进行集中有效控制和管理的重要行车设备,是车站值班员赖于组织行车必不可少的工具,同时也是一种在设备发生故障或人为错误操作时能够将故障倒向安全的保安设备。车站计算机联锁不仅继承了继电联锁的全部功能,而且以其先进的数字化技术、综合功能优势显示出广阔的发展前景。可以认为随着技术的进步和铁路运输现代化要求的不断提高,车站计算机联锁设备将成为继电联锁的换代产品。我国计算机联锁技术在经过全面整顿、规范上道之后,其技术水平有了较大的提高,安全运用有了保证,因此车站计算机联锁技术迎来了春花烂漫的发展时期。 我国车站计算机联锁的发展概况 我国计算机联锁技术的研制开发工作起始于上世纪80年代初期,其发展历程大致可分为四个阶段。 起步阶段(1984～1989)。1984年1月,通号总公司     

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

铁路车站信号联锁逻辑的形式化描述无论对计算机联锁软件的开发，还是对联锁软件的测试都是非常重要的。 铁路大站的联锁逻辑十分复杂，对其进行形式化描述是一项艰难的工作。目前，国内外尚无这方面详细研究的文章和报道。本文利用层次结构的概念，采用层次化有色Petri网，以建立铁路车站信号计算机联锁软件第三方测试的现场仿真环境为目的，以车站联锁设备的层次化有色Petri网模型为背景，介绍了铁路车站信号联锁逻辑的形式化描述的基本方法。     

计算机联锁表示盘系统的设计和实现

车站信号表示盘系统是车站调度人员进行作业调度的重要设备.本单位和西安铁路信号工厂联合开发了一种新型计算机联锁表示盘系统,介绍了该表示盘系统的硬件结构和软件结构,对CAD软件中涉及到的搜索算法进行了详细的阐述.该系统较好地满足了现场调度人员的要求,已通过有关电务部门的鉴定.     

全电子化计算机联锁系统RAMS设计考虑

随着计算机技术发展,计算机联锁已经成为我国铁路信号联锁系统的主要技术装备。主要对全电子化的计算机联锁系统的RAMS设计,即安全性、可靠性、可用性和可维护性设计进行分析。希望随着计算机技术和电子制造技术的发展,全电子化的计算机联锁系统会成为联锁系统的发展方向。     

关于计算机联锁系统在CTCS-3客运专线中运用的研究

主要介绍在CTCS-3客专中计算机联锁系统的主要工作机制和系统的运用情况,阐述计算机联锁系统在CTCS-3客专中的重要地位,并对计算机联锁结合CTCS-3技术在今后的发展中提出观点。     

基于VLisp开发车站信号计算机联锁辅助设计程序

针对目前完成计算机联锁图纸存在的困难,基于VLisp开发计算机辅助设计软件。分析该软件的系统结构,分析系统需要支持多种联锁制式、与电码化软件结合等难点,提供了有效的解决方案,同时提出了系统的改进方向。CBICAD的应用,大大方便了用户,提高了生产效率。     

全电子联锁开发和应用研究

从计算机联锁系统的发展出发,给出全电子联锁系统的定义,分析全电子联锁系统的特点,与现有联锁系统的主要区别。在开发和应用方面,研究应遵守的标准和规范,提出安全要求,并对信号机和道岔模块完成的功能进行重点讨论。     

计算机联锁系统二乘二取二容错结构分析

针对计算机联锁系统的二乘二取二容错结构,基于马尔可夫模型,将各单元的失效率划分为几个独立的分量,根据每部分失效率对结构的影响,利用计算机对系统的可靠性和安全性进行分析和仿真计算.结果表明,二乘二取二容错结构满足铁路联锁系统高可靠性和高安全性要求.     

准东北站区域计算机联锁系统解决方案

以准东北站扩能改造工程为项目背景,以多条地方铁路专用线集中控制为目标,阐述整个改建方案的设计特点及原则,分析区域联锁系统架构、安全传输方式、应急处理、系统功能及运营后的行车组织方式,推出类似问题的解决方案,为类似工程提供了一种与之相适应的信号系统设计借鉴案例。     

仿真计算机联锁接口的设计

介绍了仿真计算机联锁接口的设计,重点描述其故障仿真模型。目前该测试系统已经成功地应用于计算机联锁机构和轨旁设备的测试中,可以模拟计算机联锁机构和轨旁设备之间的信号传输故障,在计算机联锁机构和轨旁设备的测试中起到了重要的作用。     

基于自动Petri网的联锁逻辑设计

联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。     

铁路信号计算机联锁技术介绍

阐述计算机联锁技术的原理结构,详细说明当前我国铁路信号施工技术中广泛应用的几种计算机联锁主流技术,展望计算机联锁技术的未来发展趋势。