局域网在微机联锁系统结构中的应用研究

应用局域网技术、来取代微机联锁控制系统中所广泛采用的“多微机系统”结构，使系统个有更高的可靠性，实时性、安全性、易维护性。本文从多的系统结构。原理及铁路信号的“故障－－安全”设计原则出发，阐述了方案的规划、设计。     

计算机联锁控制系统安全性保障体系的一种模型

根据铁道部１９９４年颁布的《微机联锁系统暂行技术条件》，在阐述可靠性，安全性，故障－安全等概念及其之间的基础上，提出了一种计算机联锁控制系统安全性保障体系的模型。从这一模型可以清楚地了解到计算机联锁控制系统安全性保障体系的内涵。该模型的提出对计算机联锁控制系统安全性保障的实现奠定了理论基础。     

微机联锁系统的数据结构与编码研究

在分析微机联锁系统数据结构的基础上，给出了站场的节点数据表示方法。应用编码理论对联锁数据及其传输进行编码，有效地提高了微机联锁系统的安全性和可靠性。     

可编程控制顺在信号微机联锁中的应用

本文介绍了在铁路信号控制系统中使用可编程控制技术。应用了故障－安全理论、可靠性理论，实现车站电气集中微机联锁。从系统硬件和软件两方面分析了设计思路和提高系统可靠性的措施。     

车站联锁控制系统的仿真

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

车站联锁控制系统的仿真

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

微机联锁系统硬件结构研究与应用

应用可靠性及故障－安全理论，全面讨论研究了微机联锁系统硬件结构的配置与设计原则。提出了符合国情的硬件结构设计方案。证明了它的有关技术指标符合国家标准，并阐述了它的优越性。     

高速铁路列车运行控制系统车载设备安全性设计

在分析安全性、可靠性关系基础上,讨论了高速铁路列车运行控制系统车载设备的安全性设计及电磁兼容性设计。     

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

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

基于UML的微机联锁软件测试系统分析

基于UML的微机联锁软件自动测试系统对软件开发全过程的软件质量保证实施具有非常重要的现实意义。针对影响微机联锁软件可靠性与安全性的因素,建立微机联锁软件自动化测试的UML模型、测试流程图以及测试框架,给出微机联锁软件自动测试平台的硬件体系结构及微机联锁软件测试平台。并通过实例进行测试分析,结果表明该方法是有效的。     

TMR微机联锁系统的可靠度与安全度分析

分析了微机联锁的可靠度与安全度对于指导微机联锁系统在铁路运行系统中的应用。在分析中,采用马尔可夫模型,并考虑故障覆盖率影响情况,对TMR微机联锁系统的可靠度与安全度进行了推导,得出TMR微机联锁系统可靠度与安全度的定量表达式,分析了在通常情况下的系统可靠度与安全度。     

基于实时Linux计算机联锁系统实时性分析与改进

计算机联锁系统是保障列车在车站范围内安全、高效运行的实时控制系统,它必须具有非常高的安全性、可靠性.这首先应该解决实时性的问题,针对基于Linux下的计算机联锁系统的实时性进行分析,并结合计算机联锁系统的实时性模块给出分析,采用实时Linux系统进行设计与实现,并对改进后的系统与原系统进行测试比较.     

微机联锁系统的硬件及可靠性分析

提出了用标准化模块结构构成微机联锁系统，并通过硬件冗余保证整个系统安全，达到对铁路车站信号控制的目的；并对其各构成模块及整个系统的可靠性作了分析。     

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

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

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

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

大型等离子轰击清洗设备中的PLC控制系统构建

介绍等离子轰击清洗设备系统构成、工作过程及技术要求,分析并设计了使用OMRON PLC实现在等离子轰击设备中的真空系统和工件输送系统的多任务联锁控制,对PLC控制系统构建中系统的硬件、软件结构及工作原理进行了说明,并指出了提高系统可靠性和抗干扰设计方法.     

三模冗余结构微机联锁系统的安全度分析

脸用马尔可夫模型,在考虑故障覆盖率影响的情况下,对三模冗余结构微机联锁系统的安全度进行详细的推导,得出了该系统安全度的定量表达式,分析了在典型情况下的系统安全性能人结果结合实际应用进行了有意义的讨论。     

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

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

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

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

列控车载设备控制程序及参数远程实时更新方法

针对既有列车控制系统不具备对车载设备控制程序及参数进行远程在线实时更新功能的问题,提出一种基于无线传输和嵌入式的列控车载设备控制程序与参数实时更新方法,在无线机车信号实际应用测试中表明,所实现的程序更新机制具有较高的适应性和可靠性,可有效提高运营中的车载设备程序升级效率,提高了对列车控制的安全性,降低了系统维护成本.