基于SPN的CTCS-3级列控系统RBC实时性能分析

RBC(无线闭塞中心)实时性能指标是影响CTCS-3级列控系统运行的关键要素。本文将随机Petri网和马尔可夫随机过程理论结合起来,提出一种新的系统性能分析方法,剖析CTCS-3级列控系统的运行机制,建立RBC子系统周期处理和非周期处理的随机Petri网模型,并利用ERTMS/ETCS的参考数据,分析GSM-R通信环境下RBC的实时性能,在不同系统周期和列车交互数量下得出RBC子系统平均延时曲线。本文对我国CTCS-3级列控系统的规范制定和系统开发具有一定的借鉴意义。     

金山铁路既有线提速路基动力响应分析

基于无限元人工边界和基床—路堤—场地子结构系统,建立上海金山铁路既有线有限元模型,根据实测路基响应特征构造基床顶面动荷载,模拟列车以现行速度通过路基产生的动荷载,分析列车在现行速度43km· h-1和目标速度160 km· h-1范围内变化时,普通路基在动荷载作用下的动力响应规律.研究发现:如果既有线路基床不改造,列车速度从43km· h-1提高至160km· h-1时,基床顶面动应力峰值将增大17％左右;路基面动应力沿基面以下深度方向呈指数形态衰减;与现行速度条件下基床顶面以下6.2m的影响深度相比,提速后影响深度增加了1.2m.     

侧风风场特征对高速列车气动性能作用的研究

侧风风场特征,如均匀风和大气底层边界速度型对高速列车在侧风环境下运行的安全性评估有直接影响.为了准确地评估侧风对在平原上运行的高速列车的影响,基于三维定常可压缩流动的NS方程,采用SSTk-ω两方程湍流模型和有限体积法,对时速350 km的动车组在均匀风和大气底层边界速度型风场中的流场和气动力特性分别进行了数值模拟计算和分析.结果表明:对在平原上运行的高速列车而言,作用于列车的气动升力、侧向力及倾覆力矩均随侧风风向角的增大而迅速增大;当风场为大气底层边界速度型时,列车顶部与底部及两个侧面的压力差小于风场为均匀风时的压力差,侧向力及倾覆力矩均小于风场为均匀风时的力及力矩,升力则随侧风风向角的增加具有不确定性.采用均匀风场评估高速列车在平原侧风环境中运行的安全性,会高估侧风对列车运行安全影响的风险,使得过低地限制列车的安全行驶速度,从而影响列车的正常运行效率.建议采用大气底层边界速度型风场进行评估.     

高速铁路列控系统运营场景实时性的建模与验证

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。     

某石棉矿采空区对铁路的稳定影响分析

拟建铁路线位穿越一个规模较大的石棉矿区,分析研究石棉矿区的地层结构、矿层分布深度和范围以及开采方法等因素,选择合理的计算模型和参数,确定石棉矿采空区的塌陷稳定影响范围及其对铁路稳定性的影响,从而确定线位和走向方案。     

吸声材料布局对铁路声屏障降噪效果影响研究

为研究吸声材料布局对铁路声屏障降噪效果的影响,以3 m直立型声屏障为研究对象,通过有限元和声学边界元相结合的方法进行建模,分析6种非全吸声屏体布局声屏障的降噪效果,并与全吸声和全反射型声屏障进行对比分析。结果表明：吸声屏体在上部、中部、下部分别对高频(1 000 Hz左右)、中频(630～800 Hz)和低频(100～500 Hz)噪声的插入损失影响较大;在水平方向上,随着下部吸声屏体面积增加,声屏障总的插入损失逐渐增大,声屏障下部屏体2 m范围内吸声对插入损失的改善起主要作用;竖直方向上,受声点7.5 m以上时,声屏障中上部屏体1.5～2.25 m范围内吸声对插入损失的改善起主要作用;随着距离增加,非全吸声屏板布局与全吸声、全反射布局之间的降噪效果差值逐渐变小。当受声点高度为1.5 m,距离声屏障2 m时,非全布局与全吸声和全反射工况的降噪效果相差8.6 dB(A),距离20 m位置时相差2.6 dB(A),距离30 m位置时相差为1.1dB(A)。     

基于Timed-UML顺序图的RBC交接形式化建模与分析

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。     

基于Timed RAISE的高速列车RBC切换协议形式化建模及验证

在CTCS-3(Chinese Train Control System Level 3)级列控系统中,RBC(Radio Block Center)切换是影响列车安全高效运行的重要环节,现阶段对RBC切换协议进行验证分析所使用的形式化方法还存在状态爆炸或描述性质单一等问题。基于Timed RAISE的形式化方法,结合域的模型,在对RBC切换流程分析的基础上,构建状态转移图,得到切换协议的形式化模型,使用等价和推断的推理规则对模型的正确性和实时性进行推理验证,得到的结果表明,RBC切换协议满足规范标准对正确性与实时性的要求,将验证结果与其他文献的结论进行比较分析,说明该方法具有通用性,对于推广其在列控系统场景验证中的应用有一定的实际意义。     

高速铁路空沟减隔振措施数值分析与模型试验

空沟减隔振措施由于隔振效果明显、施工方便而在高速铁路减隔振工程中得到广泛应用。通过有限元软件ABAQUS对距离振源一定远固定位置处的振动情况进行数值分析,并通过缩尺模型试验分析相似工况下空沟减隔振措施的减隔振效果以及影响其减隔振效果的因素。对比分析结果表明:设置空沟可有效地阻隔振动波在土体中的传播,使土体的振动加速度明显减弱;空沟深度对距离振源一定远固定位置处的减隔振效果影响显著,设置空沟减隔振措施可使该区域的振动加速度衰减20%~60%;空沟宽度对距离振源一定远固定位置处的减隔振效果影响不明显,宽度的增加不能很好地降低该区域的振动加速度。     

客运专线CTCS-3级列控系统无线闭塞中心的建模与验证

本文分析客运专线CTCS-3级列控系统中无线闭塞中心(RBC)子系统软件的功能和性能约束,在此基础上采用时间自动机理论进行RBC子系统形式化语义描述,建立TER-QSR时间自动机网络模型,并应用UPPAAL验证工具对RBC子系统进行仿真分析,验证RBC的安全性(Safety)和受限活性(Bounded Liveness),同时进行RBC切换时间的优化。