基于梯形逻辑的联锁系统形式化验证方法

铁路联锁系统设计通常采用梯形逻辑进行建模。为了实现对铁路联锁系统进行形式化验证的目的,根据梯形逻辑的状态变迁语义,将梯形逻辑表示的联锁系统模型转换成模型检测工具NuSMV的语言,并将铁路联锁系统的安全需求表示为计算树逻辑(CTL),最后实现基于NuSMV的铁路联锁系统设计模型的形式化验证。     

PLC构成PROFIBUS网络原理及应用

微机联锁系统中,一般是将联锁置于上位机中,这样安全性、可靠性得不到保障。文中用西门子S7-400HPLC完成联锁功能,构成PROFIBUS-DP/MPI分布式网络系统,这样整个联锁系统安全可靠。通过介绍DP/MPI网的概念和实现,结合唐山钢铁公司焦化站联锁实例,着重阐明用PLC实现DP/MPI网络,以解决该联锁系统中分布式输入输出等。经现场调试、安装,整个网络运行良好,安全可靠地实现和完成车站信号联锁系统的联锁功能,应用前景很好。     

计算机联锁系统在铁路通信方面的运用

计算机联锁系统是铁路通信的重要应用,对于铁路现代化及自动化运营起到至关重要的作用。利用计算机联锁系统可以实现车站之间的联锁,从而让铁路运营更加高效、安全、可靠。本文首先对计算机联锁系统进行介绍,并分别对其系统结构的硬件部分和软件部分进行分析,对计算机联锁系统通信方式进行研究,并提出系统日常注意事项及设备维护措施。     

PLC构成PROFIBUS网络原理及应用

微机联锁系统中,一般是将联锁置于上位机中,这样安全性、可靠性得不到保障.文中用西门子S7-400H PLC完成联锁功能,构成PROFIBUS-DP/MPI分布式网络系统,这样整个联锁系统安全可靠.通过介绍DP/MPI网的概念和实现,结合唐山钢铁公司焦化站联锁实例,着重阐明用PLC实现DP/MPI网络,以解决该联锁系统中分布式输入输出等.经现场调试、安装,整个网络运行良好,安全可靠地实现和完成车站信号联锁系统的联锁功能,应用前景很好.     

ATS仿真系统中计算机联锁功能的设计与实现

计算机联锁系统负责处理进路内的道岔、信号机、轨道之间联锁关系,是实现列车自动监控系统仿真的关键。主要介绍了该系统的组成结构及各部分的功能,运用组件化的仿真技术设计人机交互界面,生成站场图数据库和联锁表数据库,实现进路的排列功能。     

多媒体联锁仿真系统的设计与实现

本文介绍了多媒体联锁仿真系统的总体结构与功能,提出了联锁算法模块、多媒体联锁显示模块的分析与设计.给出了进路排列、进路取消、道岔操作、进路人解、区段故障解锁、引导等联锁算法的实现方法,以及联锁图形的动画设定.     

基于EtherCAT和LabVIEW的风洞安全联锁及状态监测系统设计

安全联锁与状态监控系统是保障风洞运行安全的重要系统,基于EtherCAT环网实现了风洞联锁和监控信号的实时、可靠采集,构建了多网络融合的联锁与状态监控系统。介绍了系统的硬件组成和软件总体功能,利用TwinCAT2设计下位机安全联锁软件,实现了吹风前和吹风过程中的联锁策略,保障了风洞运行安全;基于LabVIEW开发了状态监测软件,通过TCP/IP、OPC等多种通信协议实现了多网络数据利用,利用LabVIEW DSC多个子模块实现了数据存储与查询功能,利于数据溯源。应用结果表面,系统具有良好的实时性和可靠性,功能完备、界面友好,在使用过程中有效保证了风洞及设备安全,并为设备性能分析提供有效分析手段。     

基于CHECK方式的联锁仿真系统的设计与实现

针对城市轨道交通包括地铁、轻轨等的过渡信号系统的特点,研制了CHECK方式的列车运行控制系统1。文章在分析基于CHECK方式的联锁与闭塞系统的工作原理的基础上,给出了联锁仿真系统的数学模型,提出了用“事件调度法”这一仿真技术实现CHECK方式的联锁系统的仿真,并予以实现,满足了实际应用的需要。     

基于PLC的硝酸生产联锁报警控制系统的实现

本文阐述了硝酸生产联锁报警控制系统的意义，介绍了系统的特性和要求，提出了生产联锁报警的实现线路，给出了PLC实现的部分流程。现场应用表明系统可靠实用。     

基于RTLinux/Linux的计算机联锁系统可靠性分析

针对计算机联锁系统故障诊断多基于维修人员实际经验,无法实现快速、精准定位故障,基于贝叶斯网络在表达不确定性知识上的优势,提出了一套完善的计算机联锁系统故障的诊断方法和实现流程。首先,运用贝叶斯算法的理论知识,搭建了基于贝叶斯算法的计算机联锁系统故障诊断模型;然后对计算机联锁系统的整体架构和硬件、软件组成进行搭建。最后,以道岔局部控制电路故障为诊断主体,在RTLinux/Linux操作系统上完成数据采集和实验仿真。实验结果表明,提出的方法能够快速精准地定位计算机联锁系统的故障,缩短了故障诊断时间,提升了故障诊断的实际效果,可用于计算机联锁系统故障诊断的实际开发。