计算机联锁控制系统软件体系结构的研究

根据计算机软件工程学所同的程序设计方法，把计算机联锁控制系统软件的设计与具体编制作为一项软件工程，在阐述了计算机软件工程学的指导方法的基础上，阐明了计算机联锁控制系统的功能，程序模块的调度方法，最后对计算机联锁控制系统软件的体系结构作了比较详细的解说，对了解与掌握计算机联锁控制系统的软件或编制该类软件有很大的参考价值。     

计算机联锁控制系统数学模型的研究

利用现代控制理论与系统工程学的方法，研究计算机联锁控制系统建立数学模型的方法。系统建模后，利用状态树的方法把系统的全部状态过程分解为若干个子过程，针对每一个过程，建立起系统的解析模型。根据解析模型，选择适当的编程语言，可将系统模型为计算机程序模型。这样的系统建模方法与解析方式，能够准确地描述计算机联锁控制系统的全部动态过程以及表达各个变量之间的复杂关系，从而使计算机联锁控制系统编程标准化，同时也为     

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

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

计算机联锁控制系统检验方法的研究

从分析影响现代安全系统的可靠性和安全性的因素出发，提出一个实现对计算机联锁系统功能性和安全性进行自动或半自动检验的系统模型，并分析了该检验系统的模块功能。     

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

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

计算机联锁控制系统中对特殊联锁条件的处理

针对计算机联锁控制系统中对特殊联锁条件的处理，尤其是对到发线出岔的处理，在比较继电集中与计算机控制两种方法的基础上，阐明了计算机联锁控制系统对于像到发线出岔等的特殊联锁条件的处理，无论在功能上，还是在方法上，都能使车站信号控制系统获得较大的改进。本文对于提高车站信号控制系统的功能、提高运输效率、改变人们对于传统的车站信号控制系统的认识有一定的参考价值。     

��վ���������ϵͳ����״�뷢չ

为满足我国铁路电务事业实现跨越式发展的需要,新时期要积极发展车站计算机联锁技术.计算机联锁系统不是传统的孤立的信号控制系统,而是信号安全综合控制监测系统和综合运营管理系统的一个子系统,它的功能也因超出了车站信号安全控制设备的概念范畴而得以多方面的拓展.本文对国内外计算机联锁系统应用现状进行了分析,提出新一代车站计算机联锁系统向高可靠性、高安全性、高性能、电子化、模块化、智能化、网络化、综合化、一体化等几个方向发展的目标.     

联锁软件的Petri网模型化

铁路信号计算机联锁系统是一个安全－关键系统，运用Petri网模型化了该系统中的软件部分，包括上位机，联锁机和采集／驱动部分，该模型将有助于检测系统定义的一致性，完整性和精确性，有助于提高系统的安全性和实时性能。     

双机热备计算机联锁系统可靠性与安全性指标分析

分析了单机和双机热备计算机联锁系统的工作模式，建立了相应的故障安全模型并分析了故障检测覆盖率对双机热备计算机联锁系统的可靠性与安全性的影响。指出了减小故障检测时间，提高故障检测率是提高双机热备系统可靠性与安全性的重要技术措施；当故障检测覆盖率很高时，双机热备系统与单机系统的不安全度在同一数量级上。     

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

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

高铁计算机联锁仿真培训系统的设计与实现

目前国内车站信号控制系统普遍采用计算机联锁系统,现场计算机联锁系统处于全天候工作状态,难以用于新职人员设备操作演示和实践学习。传统教学培训方式死板,缺乏与现场实际设备结合;现有计算机联锁培训系统缺乏联锁试验方法和针对高铁特殊联锁功能的培训。针对此问题,提出了一种通过软件模拟方式实现高铁计算机联锁仿真培训方案,从现场实际需求和系统功能需求方面对系统功能模块进行了细分,提出了系统软件设计方案,并采用基于.net架构的Microsoft Visual Studio 2005系统开发平台进行软件开发实现。现场使用情况表明,该系统具备完整的联锁操作功能,集成丰富的培训内容和培训操作演练,具有良好的交互性,且系统具有成本低、易维护、集成度高、扩展性强等优点,对一线职工的培训效果好。     

车站联锁控制系统的仿真

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

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

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

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

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

高速铁路信号系统中的PRC系统

铁路运输向高速，重载，高密度的方向发展，促使铁路通信、信号和行车指挥系统趋向一体化。高速铁路信号系统包括列车运行控制系统、计算机联锁控制系统和行车指挥自动化系统。本文着重对行车指挥自动化系统中的进路程序控制系统作具体的论述。     

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

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

智能交通安全控制系统的模型验证

随着智能交通系统的发展，交通安全控制系统的开发变得越来越复杂，系统中存在的“设计型故障”很难被检测和排除，“设计型故障”成为影响系统安全性的主要问题。笔者利用形式化方法对交通安全控制系统进行严格的模型验证，提出了系统模型验证的安全性约束和安全性路径的概念，给出了模型验证的推演方法，为解决智能交通安全控制系统的“设计型故障”问题提供了一种有效的手段。     

计算机联锁控制系统输入与输出接口的研究

介绍了在计算机联锁系统中，满足信号自动控制要求的输入，输出接口电路的基本工作原理，分析了保证输入，输出接口电路安全性的主要技术措施。     

从电气联锁到计算机联锁

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

计算机联锁控制系统中的MMI技术

计算机联锁控制系统按系统的层次结构分为三层：人机会话层、联锁层、执行层。本文着重对其中人机会话层的人机接口ＭＭＩ的任务组成、实现和程序设计技术作详细的论述。