从电气联锁到计算机联锁

随着科学技术的进步，电气联锁系统正被计算机联锁系统所取代。本文讨论了在计算机联锁系统中联锁功能的某些改善和联锁软件的设计思路。     

区域计算机联锁系统站间安全通信研究

区域联锁系统是实现铁路相邻车站集中控制功能的安全相关信号控制系统,站间安全通信是区域联锁系统安全性保证的一个至关重要的环节,本文分析了站间通信中潜在的危害,针对每种危害提出可行的安全防范措施,并描述了在区域联锁系统中如何实现安全相关传输功能,进而实现安全完善度等级4的站间安全通信.     

计算机联锁系统可靠性研究

从硬件结构，软件设计，编码技术以及抗干扰等方面对铁路计算机联锁系统的可靠性分析进行了阐述，通过对数据信息传输的各项改进，提高了数据信息和整个计算机联锁系统的安全可靠性。     

车站联锁控制系统的仿真

微机联锁系统是以微型计算机为主要技术手段实现车站联锁的系统,自适应车站联锁模拟控制系统是一套车站联锁的仿真模拟系统.阐述了自适应车站模拟控制系统与微机联锁系统的关系,介绍了自适应车站模拟控制系统的功能、设计和特点.     

基于MAS的分布式计算机联锁系统研究

目前的计算机联锁系统是以联锁计算机为核心的集中控制方式,该部分一旦出现硬件故障,其影响面会很大.为了提高计算机联锁系统的稳定性和可靠性,采用MAS技术实现计算机联锁系统.通过对系统中的Agent特性进行了详细的讨论,并给出了相应Agent的模型,对该模型的功能进行了分析.最后通过对举例站联锁功能的仿真,分析了系统的联锁功能.结果表明:该系统由于降低了问题的复杂度,有效的改善了联锁系统的性能.     

计算机联锁软件测试方法研究

描述了计算机联锁软件的基本结构、主要完成功能和联锁软件测试的重要性,采用白盒法和黑盒法来完成对计算机联锁软件的结构测试和功能测试,并给出结构测试实例和黑盒测试框图;采用故障树分析法来完成对计算机联锁软件的安全性测试,并给出了具体实例.     

信号联锁的开关函数方法研究

采用开关函数对铁路站场网络进行描述，构造出站场网络模型。详细讨论了模型与信号联锁的对应关系，通过开关函数运算，得到一种生成联锁的新方法。结合实例，介绍了有向开关函数实现信号联锁的步骤。     

三模冗余计算机联锁系统可靠性安全性分析

铁路运输事业的发展已经给车站联锁技术提出了更高的要求，随着计算机技术的飞速发展，以计算机为核心的联锁系统已得到了很大的发展和完善。对于计算机联锁系统来说，提高可靠性和安全性是非常重要的问题，利用计算机容错技术则是提高计算机联锁系统的可靠性和安全性的有效手段。     

计算机联锁系统的通信可靠性研究

分析了计算机联锁系统中存在的3部分通信及其对联锁系统的不同影响，描述了通过相互隔离的网络结构，避免不同通信间的相互干扰以提高通信的可靠性，并具体阐述了通过容错技术、软件处理提高联锁系统内部通信的可靠性．     

故障树分析在计算机联锁系统中的应用

应用故障树分析方法对计算机联锁系统进行了可靠性的分析,用故障树讨论了其故障的原因与影响的逻辑关系,并提出了进一步的改进措施及建议.     

一种搜索与交互相结合的联锁表自动生成算法

讨论了一种搜索与交互相结合的联锁表自动生成算法,即用改进的图上站场拓扑图,自动生成车站信号联锁是路的类型、方向、进路按钮、道岔、轨道区段的信号机等。在搜索过程中,对具体站场的特殊信息通过人机交互方式获取。最后将结果数据存入数据库,或根据联锁表的准格式打印输出。     

关于地铁联锁记录电路存在隐患的解决方案

1问题表现 地铁联锁(直接作用于列车运行的道岔、轨道电路和信号机三者之间的制约关系)是非定型继电联锁,记录电路设置有AJ、ZAJ、FJ,进路办理采用双按钮办理方法,即按压进路始、终端两个按钮.每架防护道岔的信号机设一个信号按钮兼作进路的始、终端按钮,无防护信号机的进路终端、出站信号机位于折返进路终端、与运行方向相同的阻挡信号机各设一个终端按钮(站场及按钮布置见图1所示).     

车站联锁系统行为验证与数据确认的形式化方法

车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性. 为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML （unified modeling language）图工具快速建立系统的初始模型,以自动生成模型文件并描述出各系统属性与事件流程;基于精化策略分层建模,对各层模型的证明义务进行定理证明,验证了系统的各项属性,得出可靠的通用功能模型;基于实例车站,对模型的公理进行了验证,同时实现了对联锁数据的确认;通过形式化验证过程,结合给定场景联锁数据的有效性确认,发现并纠正系统需求及分析过程中造成的潜在行为缺陷;通过功能仿真与验收测试,进一步确认了通用模型与联锁数据的正确性. 结果表明:本文方法提高了基于模型开发过程的准确性与层次性,验证了系统通用行为状态,且结合公理验证,实现了联锁数据的确认,并能基于模型进行功能场景仿真与测试,从而可进一步提高系统通用功能原型的可靠性.      

新型网络计算机联锁仿真系统Web化解决方案

计算机联锁仿真系统的出现缓解了铁路科研及培训的压力,在铁路系统得到了广泛应用.本文提出的新型网络计算机联锁仿真系统,与传统单机模式或C/S模式计算机联锁仿真系统不同,它是基于B/S模式,可在浏览器端直接访问的新型仿真培训系统.本文提出运用软件Web化再工程的方法,将传统单机版计算机联锁仿真软件的功能函数加载到动态链接库(DLL)中,用网络编程语言C#调用DLL中的这些函数,从而实现Web访问功能,最大限度的实现了代码复用,降低了软件开发成本.     

Linux环境下计算机联锁系统进程通信的实现

铁路信号计算机联锁系统中联锁关系关键依靠控制大量的数据交换来实现,因此,可靠而高效的数据通信方式十分重要.本文描述了以Linux为平台,在某铁路局已经投入使用的计算机联锁系统中进程通信实现方法.主要讨论了Linux进程通信中的两种方法:共享内存和信号量.     

计算机联锁车务仿真培训系统的研究

为快速提高车务人员的业务水平,更好地组织行车工作,铁路总公司发文要求计算机联锁车站配置与站场一致的联锁仿真软件,而大部分既有联锁仿真软件不能满足这一规定.针对这一主要问题,开发了一款符合铁路总公司规定的计算机联锁车务仿真培训软件,从现场实际需求和系统功能需求方面对系统功能模块进行了细分,提出了软件设计方案,并采用基于.net架构的VS 2005系统开发平台进行软件开发实现.借助本软件,可极有针对性对车务人员的业务操作进行训练考核,实际应用效果良好.     

车站信号两个联锁问题探讨

随着我国社会经济的全面发展,铁路系统作为交通行业的重要组成部分,也在不断更新设备,应用新型的运输形式,一些新的问题也随之出现.铁路计算机信号联锁系统作为行车安全的技术保障之一,具有不可忽视的作用.针对两类联锁问题的处理方法,可有效解决故障范围扩大的问题.     

地铁实训教学沙盘联锁系统软件设计

为进行轨道交通仿真教学,提高轨道交通专业知识学习效果,设计地铁实训教学沙盘联锁系统软件。在研究地铁沙盘控制系统组成、模型小车定位方法、设备控制协议的基础上,分析进路排列、设备联锁、进路解锁方法,编制联锁表。联锁系统软件采用Python语言实现逻辑判断及串口通信,采用软件PyQt5进行界面辅助设计。采用联锁系统软件可排列进路,操纵信号机和转辙机联锁动作,控制沙盘模型小车在进路内安全运行。通过测试验证,该软件控制沙盘模型设备联锁动作精确、可靠,能满足轨道交通仿真教学需求。     

计算机联锁系统关键技术和功能的完善

利用计算机快速、高效、具有记忆功能的特点，无论在联锁功能，还是在设计、处理方法上都较继电联锁更为创新、优越，打破了网络线的概念，实现了继电电路无法实现的一些功能。同时，为实现铁路信号的故障-安全原则，采用了各种软、硬件容错冗余技术．对计算机联锁系统中采用的容错冗余技术、多机(双机、三机)之间的同步方法、某些功能的进一步改进和完善进行了探讨．     

基于Linux联锁计算机系统的实时性和高可靠性研究

计算机联锁控制系统是保障列车在车站范围内安全、高效运行的基础设备，因而要求该系统具有更高的可靠性、安全性和可维护性．为了提高系统的可靠性，联锁机通常采用冗余系统．采用软件容错及硬件冗余相结合的方法，设计了一种基于Linux的双模动态冗余系统，达到了设计要求．