CTCS-1级列控系统无线广播通信场景建模与验证

在高铁线路故障情况下,为了支持高铁动车组在普速线路上运行,国铁集团组织研究了高铁动车组利用普速线迂回运行系统.该系统车地间无线通信拟采用的无线单向广播方案,在现有的列控系统中从未使用过,对其进行建模与验证研究具有重要意义.通过分析CTCS-1级列控系统的总体技术规范,对无线广播通信场景进行详细设计和完善,采用SysML语言对场景建模,通过设计SysML-PRISM模型的转换规则将场景的SysML模型转换为概率模型,得到由信道模块、车站数据服务器(Station Data Server,SDS)模块、列车模块构成的无线广播通信场景概率模型,采用概率模型检验工具PRISM对场景的概率模型进行描述和验证.结果表明:场景设计合理、无线单向广播通信方式可行、SDS规定的优先发送报文的次数应该为2次或3次.本文中对无线广播通信场景的研究能提早发现系统技术方案中可能存在的问题,为相关研究提供参考.

高速铁路路桥过渡段轨道折角限值的分析

借助翟婉明教授确立的理论与方法，全面分析了高速铁路路桥过渡段车辆与轨道及路基的相互作用特性，并通过对其动力学性能的综合分析与评价，给出了高速铁路路桥过渡段轨道折角的容许限值。

高速铁路整孔预应力箱梁预制工艺的初步研究和试验

就整孔预应力箱梁预制工艺的研究和试验进行了总结，为今后推广应用提供了很好的经验。

高速铁路轨道必须具有高平顺性

国外高速铁路路基、桥梁、轨道的建设标准和技术要求之所以比一般线路高得多,根本原因是必须保证高速轨道具有持久稳定的高平顺性。本文将说明:为什么高速线路必须具有高平顺性;高平顺性的含义和监控标准;目前我国代表性线路的平顺性与高平顺要求的差距;需要采取那些技术措施才能保证建成的高速轨道具有高平顺性。

高速铁路轨道结构与参数分析

文章在理论分析与计算的基础上,参照国外研究成果,对高速铁路轨道结构及线路参数进行了深入研究。特别是对高速轨道结构特点、无缝道岔设计理论与计算方法、轨道参数等方面提出了笔者的观点,为我国高速铁路的轨道结构和设计参数提供了部分理论依据和建议。

高速铁路路基结构变形分析

高速铁路对于路基的变形有严格的要求。本文对中、日、德三国高速铁路的典型路基断面进行了对比分析。分析结果表明,中国高速铁路的路基断面是合理的,参数要求是合适的。

长板-短桩法处理吹填土地基的沉降特性研究

文中以温州市域铁路S1线灵昆维修车辆基站工程为例,利用ABAQUS软件针对长板-短桩法和水泥土搅拌桩法两种工况下的地基沉降特性进行了研究.对桩体和塑料排水板进行了简化,引入桩体等效压缩模量、等效渗透系数,以及土体等效渗透系数等参数,将三维问题转化为二维问题.结果表明:沉降数值分析结果与现场实测数据一致;随着堆载预压的进行,长板-短桩复合地基最大沉降产生于断面道路中心处,最大侧向位移产生于堆载土体坡脚处底部,最大超静孔隙水压力位于搅拌粉喷桩下部区域,最大值达到35.23 kPa,随后逐渐减小;与水泥土搅拌桩法复合地基相比,长板-短桩复合地基沉降增大10%,有利于减少工后沉降,因而具有优越性.

建筑装饰材料在室内设计中的创新性运用

现阶段,我国装修和美化技术日趋完善,为产品的制造助力,提升我国建筑市场的整体发展水平。如何应用装饰材料提升室内设计的质感是整个行业关注的重点。本文探究建筑装饰材料在室内设计中的创新性发展,明确建筑装饰材料创新性的原则。总结建筑装饰材料在室内设计中的创新性运用模式,即利用多元化材料、图形、天然产品、室内结构、大自然形态、废旧材料、室内灯光加强装饰效果,在设计时促进个性需求和灵活设计融合。

高速铁路上承钢混结合连续梁受拉混凝土设计探讨

针对上承钢混结合连续梁混凝土桥面板在支中点负弯矩区拉应力过大问题，提出在该位置浇筑混凝土时预留缺口分两次完成桥面板工程的方法，使支点负弯矩区部分混凝土仅承受ＺＫ活载，较好处理了设计中的难题。

概率模型检验的CBTC系统通信协议的形式化验证

通信协议是CBTC系统重要的组成部分,它的正确性、稳定性和安全性对整个CBTC系统有重要影响.鉴于通信协议中某些参数具有随机特征,本文采用概率模型检验对其进行形式化验证.分析了概率模型检验的语义及语法,建立了通信协议的概率模型,用概率模型检验工具PRISM验证了典型的概率规范.结果证明,当信道正常概率为99%,系统无延时概率为99%时,通信协议失效率小于1.5×10-10.说明了用概率模型检验验证具有随机特征参数的通信协议,方法简单快捷,结论清晰明了.

多相滤波器组的ZFFT算法在轨道电路信号检测中的应用

针对轨道电路信号(FSK信号)的检测提出了基于多相滤波器组的频谱细化(ZFFT)分析方法,该方法利用多相滤波器组将待分析的移频信号按照不同载频分解成多个子带,经过子带选择,再进行FFT,与传统的信号检测算法相比,这种算法可以提高信号检测精度和实时性.

关于高速铁路路基几个问题的分析

鉴于高速铁路行车的特殊要求，指出在机车一线路系统相互匹配的基础上，应从路基、地基角度出发严格控制轨面变形，以确保高速铁路的安全与舒适。同时，对高速铁路路基的断面形式也进行了探讨。

京沪高速铁路软土路基允许工后沉降的研究

通过对软土路基工后沉降量与处理费用、维修量之间关系的研究 ,提出了软土路基设计允许工后沉降量建议值。

CTCS-3级列控系统RBC控车场景建模与验证

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。

高速铁路路堤结构方案的探讨

参考国内外高速铁路的研究成果和经验，对高速铁路的路堤结构、填料、特殊部位结构形式等进行了探讨。

基于概率模型检验的CTCS-3级无线通信建模与分析

CTCS_3级列控系统的无线通信系统是一个复杂、随机的分布式系统,无线通信系统为列控系统车载和地面设备提供安全相关信息交互,因此采用正确有效的方法对其进行建模和可靠性分析具有重要意义.本文根据GSM_R网络的QoS要求,建立了无线通信系统的概率模型,采用概率模型检验工具PRISM对概率模型进行描述和可靠性分析,计算了无线通信系统的稳态概率,并分析了不同速度条件对无线通信的可靠性的影响.结果表明,当无线小区平均间距为3 km,列车运行速度为300 km/h时,无线通信系统处于已连接状态的概率为0.991;随着列车运行速度的增大,无线通信系统处于已连接状态的概率下降.

包钢铁路用钢轨生产发展思路

本文介绍了我国铁路运营现状和发展方向及国外高速铁路用轨概况。论述了国内铁路用钢轨的生产现状 。

现代室内设计目的及材料与照明

阐述了现代室内设计的基本概念和目的,以及材料与照明的应用。目的在于使室内设计师从更关键的角度把握设计思路并掌握科学的设计方法,使感性与理性完美结合。从而设计出更适合于人类生存的更人性化的室内环境。

高速铁路线路轨道平顺问题的探讨

简介了高速铁路的特点．重点论述了轨道平顺性这个在高速铁路线路中的核心问题．讨论了影响平顺性的有关因素和一些著作的看法．希望能对线路的平顺性问题开展我国的试验研究有所助益．

高速铁路简支梁桥下部结构纵向刚度设计有关问题探讨

通过对设计实践中遇到的一些问题的分析研究，提出在铺设无缝线路的高速铁路桥梁下部结构刚度设计中取消同一座桥中各桥墩刚度差限值的建议，并提出可行的处理方法。