计算机联锁MMI子系统双机热备的实现

对计算机联锁ＭＭＩ子系统采取双机热备技术的必要性和实现难点进行了论述，并给出了一种安全，可靠的实现方案。     

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

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

从电气联锁到计算机联锁

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

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

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

南昌地铁1号线车辆检修库安全联锁系统研究

简述南昌地铁1号线车辆检修库工艺设计情况,对该库安全联锁风险进行分析。针对安全联锁风险,提出基于安全联锁监控系统的解决方案。最后研究确定了系统的构成、主要功能、电气连锁方案和主要设备接口。     

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

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

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

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

故障—安全通信（点—点）MAC协议研究

给出了适用于故障－安全（点－点）通信的ＭＡＣ子层协议的体系结构,分析了（点－点）ＭＡＣ协议的服务规范、帧结构、协议规程及其支持故障－安全消息传输的特性,同时描述了部分ＭＡＣ子层协议的接口规程的验证问题。     

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

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

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

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

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

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

车站联锁控制系统的仿真

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

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

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

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

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

企业物料需求系统中BOM的设计

ＢＯＭ作为ＭＲＰ Ⅱ、ＣＭＳ的核心，其数据结构的确定民操作算法的设计直接影响到信息系统的效率。通过对ＢＯＭ的概念和ＢＯＭ一般性描述的介绍，提出了对单层结构和复杂结构的ＢＯＭ的表述方式，并针对其表述方式设计了通过ＢＯＭ产生企业物料需求清单的算法。     

车站联锁控制系统的仿真

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

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

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

计算机联锁测试评估平台的数据通信研究

针对铁路车站计算机联锁测试估平台与被测计算机联锁系统的测试数据需求,分析了测试过程中的通信要素,给出了通信的接口方式和要素,具体阐述了计算机联锁测试评估平台的接口通信协议,并分析其可行性,实时性,时序性,吞吐量和传输时延,经过对一些车站联锁软件的测试评估使用结果表明明,该接口方式的通信协议是可行和有效的。     

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

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

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

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