基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

怀邵衡铁路沅江特大桥主桥设计

怀邵衡铁路沅江特大桥主桥为矮塔斜拉加劲连续梁组合结构,跨径为(90+180+90)m,采用塔、梁固结体系,综述该桥上部结构设计与计算。主梁采用单箱单室变截面混凝土箱梁;桥塔采用双柱式桥塔,塔高28 m;斜拉索为空间双索面体系,扇形布置。采用MIDAS Civil2006及BDAP程序对该桥进行结构计算分析,结果表明:该桥静力、稳定及动力特性均满足要求。     

基于异步动态的地铁综合监控系统可靠性分析

以综合监控系统为研究对象,在对地铁综合监控系统整体架构进行研究的基础上,将系统看作一个离散的异步动态系统,对系统主要设备的控制部分建立可靠性数学模型。运用Lyapunov函数的分析方法证明模型的可靠性,依据控制网络可靠性理论对综合监控系统的平均无故障时间及平均故障修复时间两个指标进行计算,验证系统在不同程度失效时的可靠性。     

高速铁路隧道照明控制方式探讨

高速铁路隧道照明常见的控制方式一般分为交流控制及直流控制。交流控制由于受系统分布电容的影响,控制距离有一定的限制。直流控制不用考虑分布电容的影响,可实现长距离控制,但不能实现模式控制。针对交流及直流两种控制方式存在的问题,并根据高速铁路运营的实际需要,提出智能控制的方案。智能控制除具有常规控制功能外,还可实现模式控制,作为隧道照明控制的新技术,具有很好的推广前景。结合各种控制方式的原理、功能和特点,给出各种控制方式的适用范围。     

主动和被动的冻土地温控制方法和技术

研究目的：主动和被动地温控制是冻土地温控制的基本方法。但如何对主动和被动的概念进行准确区分,目前在国内外却有所混淆,因此对主动和被动地温控制技术提出明确的划分显得尤为重要。研究结论：国际上普遍从能量的观点来区分——被动地温是在运行期问不需人为提供动力,也没有任何不停运动的机械部件,是冻土地温控制最常用的技术;而主动地温控制方法,需要动力支持或温控系统中有持续运动的部件,其显著的特点在于对冻结过程的人为可控制性和提供能量消耗。冻土地温控制的计算,有许多长期以来的研究公式及图表,但更为精确的计算,要利用一些成熟的模型进行模拟。     

铁路计算机网络安全系统建设和应用

铁路计算机网络安全系统基于"应用分区、网络分层、安全分级"的思想,实现铁路计算机网络基础设施、网络边界和局域网环境的安全保障.介绍构成铁路计算机网络安全系统平台的铁路行业数字证书认证、统一用户管理和资源管理、访问控制、病毒防护和应用系统的安全服务5个子系统及其应用,并结合铁路信息化发展提出进一步建设铁路计算机网络安全保障体系的构想.     

控制高速列车环境噪声的对策

简述了高速列车投入运用后,在防治铁路沿线的振动和噪声污染方面应采取的控制对策。其控制对策主要有:从列车结构上控制噪声源,控制构造物噪声,合理设置隧道断面和线间距,合理布置路网和调整城市规划,设置隔声屏障及线路两旁绿化等。     

基于无线通信的列车控制技术与互联互通

分析了基于无线通信的列车控制系统的技术经济优势.采用基于无线通信的列车控制系统可实现互联互通,并有利于设备的国产化.结合国外实施互联互通的经验和中国国情,指出该技术对于上海新线建设及将来的互联互通是一种可行的方案.     

实现速度控制的调车机车监控记录系统

调车机车无线信号安全监控系统将站场调车进路的开放、轨道电路的占用、道岔的位置、调车作业单、调车限制条件、平面调车的调车长控制命令等信息，通过无线信道传送到调车机车上，实现调车信号、调车进路及作业单等在机车上的实时显示，并由此产生联锁控制命令，控制作业机车实现对调车作业的安全防护和作业数据记录，可以有效地解决调车与机车监控装置联锁，保证站内调车作业的安全。该系统具备一次模式曲线无线传输的防护和列车自动控制的功能。     

TDCS系统列车运行阶段计划的处理方法

在分析传统调度指挥方式的基础上,以远程分布式协同闭环智能控制结构定义铁路列车调度指挥系统(Train Dispatching Command System,TDCS)的基本框架。在TDCS系统中,列车运行阶段计划是行车调度台与车站终端之间信息交换的主体。通过分析TDCS系统中行调台与车站终端之间对阶段计划的处理流程,采用基于专家系统的多目标滚动优化算法和建立的行调台对阶段计划调整的数学模型,实现阶段计划的调整。在阶段计划的执行流程中,以生命周期概念表述阶段计划的时效性,并对阶段计划在车站终端中的处理过程进行定义,以此为基础模型应用于TDCS系统的设计和实现。