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

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

围护结构兼竖向支撑系统在盖挖逆作地下交通工程中的应用

盖挖逆作法基坑两侧的地下连续墙,作为施工期间基坑的围护结构,截水防渗并承受周围水土的侧压力,作为竖向支撑结构,承受着由各层逆作结构板传递的竖向载荷,在使用阶段可以作为工程永久抗浮结构。一级基坑内部的二级基坑地下连续墙,因为墙顶在负一层底板处,不能直接兼顾竖向支撑作用,结合工程实例,对该技术问题进行分析研究,提出采用临时格构柱等措施,永临结合,实现了二级基坑围护结构兼竖向支撑系统在盖挖逆作地下交通工程中的应用。     

利用电力电子技术构建的新型牵引供电系统

由于当前牵引供电系统结构的特殊性,存在着谐波、无功、负序、通信干扰、"过电分相"等其自身无法解决的问题.其中"过电分相"还对高速铁路的安全、可靠运行构成了威胁.文章提出了利用电力电子技术和不同接线方式的变压器以及AT牵引网构成的新型牵引供电系统.新系统采用了AT供电方式,具有综合经济技术性能优越的通信防护效果,利用电力电子技术滤除了谐波、补偿了无功、消除了系统不平衡,实现了同相供电,解决了过电分相问题.分析仿真证实新型牵引供电系统不但可以解决当前牵引供电系统所存在的问题,且可以提高供电的质量与效率,增强供电的可靠性与安全性.     

英国城市轨道交通安全认证和许可制度

确保安全是城市轨道交通建设和运营管理中最重要的职责与任务。介绍了英国城市轨道交通安全法规中的安全管理体系内容、程序和管理,分析了安全管理体系及其安全认证和许可、安全评估和安全评估准则的执行。介绍了伦敦地铁安全认证和许可、审计。提出借鉴英国的经验,建立我国城市轨道交通安全认证、许可制度,强调制度应具有的程序化和不断更新、法规执行具体化落实和持续的安全审计等关键特征。     

可视化技术及其在铁路微机联锁系统中的应用

作者结合我国铁路人员的现状,研究提出采用可视化和人工智能技术开发微机联锁系统的方法,从而可在设计、开发和使用维护微机联锁系统各个阶段提高系统的可靠性和安全性。     

浅谈模拟集群通信系统在伊朗铁路中应用

简要介绍伊朗铁路情况;从系统结构、功能特点、组网方式及价格等方面,对模拟集群、数字集群、GSM-R以及常规的无线列调系统进行比较;根据伊朗既有铁路情况,采用模拟集群通信系统具有明显的优势。     

高速磁浮交通技术标准体系研究

高速磁浮交通技术标准体系的研究和编制有利于指导我国高速磁浮交通工程项目建设、生产及运营中涉及的技术标准编制和实施工作,对高速磁浮交通在我国的发展具有重要推动作用。根据标准应用阶段的不同,将该标准体系分为工程建设、运营维护和产品3个分体系;根据使用范围的不同,将各分体系中标准分为基础标准、通用标准和专用标准3个层次。结合高速磁浮交通技术特点及标准体系编制规范,确定了标准体系表和标准编码的格式;建立了各分体系的结构框架,为标准体系表和各项标准的制定提供依据。     

基于无线网络的高速公路建设管理信息系统应用研究

基于无线网络的高速公路建设管理信息系统的应用,具有显著的经济效益和良好的社会效益.本系统为我国公路工程项目建设管理开拓了新路子,对今后无线网络在公路建设项目建设期应用的推广具有重要的意义.     

基于PWM的无极电涡流缓速器控制器研制和试验

论文对现有电涡流缓速器的控制系统进行了探讨,并且设计制作了一种新型的电涡流缓速器。对其控制器硬件软件设计和制动效果进行了比较全面系统的研究探讨。该新型电涡流缓速器运用PWM（脉宽调制）控制方法,实现了结合车速和制动量判断的制动力矩的无极调节、温度电子控制、电压和过载保护等全控制功能。同时采用制动量位置传感器代替传统的压力传感器,使缓速器的特性能独立于主制动系统,不受主制动系统的制约。通过试验台和整车实地试验可以得到本缓速器的最大制动力矩达2500Nm。同时单独作用时的制动减速度可达0．77m/s^2。     

底盘压缩空气干燥器管路设计时需注意的问题

通过对空气干燥器结构及工作原理的分析,阐述空气干燥器管路设计时应注意的问题,并提出改进措施。