无干扰技术在车载在线无扰实时监测系统的应用研究

干扰问题是列控车载设备中,监测系统和其他安全系统交互时面对的关键问题。基于对现有无干扰技术和模型的研究,运用无干扰的终端安全模型原理,结合车载在线无扰实时监测系统的设计方案进行分析,详细地探讨无干扰技术在车载在线无扰监测系统的实际应用,明确无干扰技术对列控车载监测设备的保障意义。     

城轨交通隧道过江段杂散电流防护方案探讨

简介城市轨道交通工程中杂散电流防护的基本原理,并分析过江隧道区段的特点,同时对过江隧道区段杂散电流防护的不同方案进行了比较分析,提出了可行的过江隧道区段杂散电流防护方案及优化建议,并对目前城市轨道交通过江隧道区段杂散电流防护方案进行了较为深入的总结。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

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

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

基于脚本技术的高速铁路列控中心系统安全性自动化测试研究

列控中心系统是实现高速铁路安全运行的关键设备。自动化的黑盒测试是验证其系统功能和确认系统满足系统需求,具有足够安全性防护能力的重要手段。脚本技术是实现软件测试自动化技术的有效方法。测试脚本语言是脚本技术的核心,但是目前没有专门针对列控中心测试的脚本语言。本文结合列控中心测试的特点,提出一种测试策略,设计了场景-事件驱动的测试脚本语言SED_TSL。在本文提出的测试策略中针对安全防护功能,以实际运营场景为核心,利用测试脚本语言SED_TSL定义正常场景与故障场景,测试序列与测试用例,仿真环境,形成分级测试脚本。通过场景变换控制测试逻辑与流程,触发仿真事件加载测试用例实现系统的功能性与安全性测试。本文对测试脚本语言SED_TSL与基于SED_TSL的自动化测试环境的实现机制进行阐述,并实现了基于SED_TSL的高速铁路列控中心系统自动化测试环境,投入到铁道部的列控中心产品制式检测中。实际应用表明:测试脚本语言的描述能力与自动化测试环境符合测试需求,有效地实现了列控中心产品的功能与安全性测试。     

基于形函数的隧道衬砌内壁影像展平方法及其应用

通过透视变换和四边形八节点形函数变换2种平面变换方法即可建立影像像素与展平坐标系之间的关系,生成基于影像的展开图,提出一种基于形函数的隧道衬砌影像展平变换方法。通过数值模拟测试,得出展平照片的误差分布以及不同拍摄位置对误差的影响。最后通过案例给出方法实际应用的效果。结果表明：基于形函数变换的展平方法反需要衬砌表面照片及照片中8个控制点的展平坐标即能建立隧道影像与展开平面之间的坐标关系。该方法所产生的误差很小,具有较高的实用性。     

区间信号联锁方案研究

基于轨道电路的信号系统一直面临轨道电路失去分路的问题,通过分析区间轨道电路失去分路所产生的风险,提出了一种通过对列车运行进行追踪,实现对轨道电路失去分路进行防护的区间信号联锁检查方案。     

《城际铁路设计规范》主要技术标准审查会在京召开

<正>国家铁路局组织召开《城际铁路设计规范》主要技术标准审查会,重点就城际铁路运输组织、限界、设计活载、线路、桥梁、隧道、路基、轨道、车辆、牵引供电制式、列控系统、无线通信系统、票务系统等涉及的技术标准进行专家研究论证,明确城际铁路设计规范采用的主要技术标准。专家认为,编制《城际铁路设计规范》是贯彻落实国务     

非线性函数法研究曲率对弯箱梁桥的影响

为了研究曲率对弯箱梁桥的影响,以桥长和圆心角为参数,建立了36个二等跨连续弯箱梁桥模型,采用非线性函数拟合法进行数据处理,拟合出极限状态下的截面配筋内力、单位位移及支承反力与圆心角和桥长的显式函数关系,得到各种结构反应受圆心角及桥长影响的变化趋势及程度大小,对比表明拟合结果比较可靠.认为连续弯箱梁桥结构反应与桥长和圆心角间的显式函数关系式可以通过数值模拟和统计分析的方法建立;用非线性函数法拟合,可以用其变量间的符号关系表达出结构反应受变量影响的增减性,并对工程设计提出建议和借鉴依据.     

地铁列车运行引起环境振动响应的人工单点列脉冲激励预测方法

为了在频域内精确预测地铁列车运行引起的环境振动响应,研究提出基于实测振动传递特性的人工单点列脉冲激励预测方法。应用人工单点列脉冲激励获得传播系统的振动传递特性,采用振动传递转换公式将其转化为地铁列车运行时的振动传递特性;结合已建立的实测振源数据库,预测地铁列车运行引起的环境振动响应。以地铁15号线望京站—望京东站区间的地表振动预测为例,采用该方法、数值模拟方法和链式衰减预测法分别预测该区间地表预测点处的振动响应,并与实测结果进行对比。结果表明:采用该方法可以得到受振目标测点的频谱、1/3倍频程谱、Z振级等指标,并可实现多点同步、精确的振动响应预测;与其他2种预测方法相比,该方法具有预测精确度高、预测频带宽、受振目标针对性强等特点,适用于地铁隧道修建前后对重点受振目标的频域内精确预测。