基于动态故障树的CTCS-3级ATP系统可靠性分析

针对传统的可靠性分析方法分析CTCS-3级ATP系统动态失效问题的不足,提出采用动态故障树分析其可靠性.首先,分析系统的结构和功能建立动态故障树模型;其次,采用深度优先最左遍历算法搜索动态故障树模型,得到独立的子树;最后,在引入可修系统可靠性指标基础上,采用解析法和马尔科夫矩阵迭代法求解子树,结合分层迭代方法对动态故障树分析法改进,以减小运算量,使得上述可靠性指标能用于CTCS-3级ATP系统的可靠性评估.计算所得可靠性指标与可靠性框图分析得到的结果对比表明:动态故障树能够更好地描述系统的冗余性和容错性等特点,提高了可靠性指标的精度.

基于动态贝叶斯网络的CTCS-3级ATP系统可靠性分析

针对传统可靠性分析方法在分析CTCS-3级ATP系统可靠性时存在的不足,采用动态贝叶斯网络模型对其进行可靠性分析。首先,根据CTCS-3级ATP系统的结构与功能建立其故障树模型,并将故障树模型转化为相应的动态贝叶斯网络模型。然后,综合考虑维修、共因失效等因素,对ATP系统进行可靠性分析。结果表明:利用动态贝叶斯网络双向推理的优势对ATP系统进行可靠性分析,不仅可以计算出系统的可靠度,而且可以有效地识别系统的薄弱环节;在可靠性分析过程中,如果忽略共因失效和维修因素对ATP系统可靠性的影响,将导致分析结果偏差过大。通过诊断推理得到,除双系冷备单元外,列车接口单元是ATP系统的薄弱环节,因此加强对其维护检查能够有效降低事故的发生概率。

CTCS-3级列控仿真系统ATP接口平台实时性研究与实现

详细分析在CTCS-3级列控仿真系统中ATP实物设备接入仿真平台面临的实时性问题,并对ATP接口平台的实时性进行详细研究与分析,针对ATP接口平台实时性设计中的关键问题提出解决方案。

降级运行后CTCS-2/3等级转换点设置方案研究

装备CTCS-3级列控系统车载设备的列车,在安装CTCS-3级地面设备区域运行时出现无线通信中断等原因降级后,若长时间按CTCS-2等级运行将影响区间通过能力。合理设置降级后CTCS-2/3等级转换点,实现降级为CTCS-2等级运行的列车尽早恢复CTCS-3等级运行,可提高列车运行效率。结合等级转换设计有关规定及工程案例,对降级后CTCS-2/3等级转换点的设置方案进行研究,同时考虑RBC移交需求、站间距过长或过短、枢纽场/站间通过联络线和渡线衔接的特殊场景。研究结果表明:两站间有RBC移交需求时,应优先确保RBC移交,再根据站间距设置降级后等级转换点;对于长大区间,应在区间适当位置增设正向等级转换点;对于枢纽,可设计多场/站共用等级转换点。研究结果可为降级后CTCS-2/3等级转换点的工程设计提供借鉴与参考。

CTCS-3线路GSM-R网络运维质量评价体系研究

针对高速铁路GSM-R网络承载行车通信业务的特点,分析CTCS-3线路GSM-R网络运维质量评价思路,提出CTCS-3线路GSM-R网络运维质量评价体系,通过GSM-R网络运行数据进行计算得出评价结果,综合反映出CTCS-3线路GSM-R网络运维质量状况。

ATP1B3在神经胶质瘤中表达及其对细胞增殖和迁移的影响

目的:探讨ATP1B3在神经胶质瘤细胞(U87MG)中的表达及其对细胞增殖和迁移的影响。方法:利用在线数据库CGGA及TCGA分析ATP1B3在不同级别神经胶质瘤细胞中差异表达,及其与患者生存、预后的关系;利用siRNA干扰技术瞬时敲减神经胶质瘤细胞系U87MG中ATP1B3的表达水平,通过RT-qPCR和western blot方法检测敲减效率;用CCK-8、transwell实验检测敲减ATP1B3后神经胶质瘤细胞增殖及迁移能力变化;western blot实验检测敲减ATP1B3后P-MTOR、MTOR蛋白的表达变化。结果:数据库分析表明ATP1B3的表达量与恶神经胶质瘤恶性程度成正相关,且与患者的预后生存成负相关。敲减ATP1B3后其mRNA和蛋白表达水平后明显降低,敲减组细胞增殖及迁移能力显著低于对照组(P<0.01);敲减ATP1B3影响P-MTOR的表达水平,P-MTOR/MTOR比值降低。结论:ATP1B3高表达与胶质瘤恶性程度相关且不利于患者的生存预后。在神经胶质瘤细胞内ATP1B3可调控MTOR细胞增殖生长信号通路,敲减ATP1B3基因能有效抑制神经胶质瘤细胞的增殖和迁移,因此ATP1B3基因可能是一个潜在神经肿瘤标志物和治疗的分子靶点。

CTCS-3仿真测试平台ATP外部实时仿真环境的研究

在介绍CTCS-3仿真测试平台的基础上,重点对CTCS-3级ATP外部实时环境仿真系统的设计进行研究。描述该仿真子系统的结构和功能,利用多线程技术对其核心功能进行设计,包括对脚本的解析执行功能、模拟轨道信号的发送功能、模拟应答器报文发送功能、模拟速度传感器功能和列车驾驶台操作模拟功能等,利用消息以及共享内存技术来实现进程间通讯。基于VC6.0实现对ATP外部实时仿真环境的设计。

CTCS-3级列控ATP车载设备升级自动驾驶的扩展技术研究

随着我国高速铁路CTCS-3级列控系统的广泛应用,其功能扩展变得十分迫切,而现阶段的核心任务为扩展自动驾驶(ATO)功能。列控车载ATP设备为支持自动驾驶功能,必须在既有运行防护基础上进行功能扩展。针对CTCS-3级列控ATP车载设备承载自动驾驶功能的需求,对ATP设备的相关扩展技术进行研究,以实现自动驾驶业务中与ATP设备关联的关键功能。重点对扩展自动驾驶功能要求、扩展ATO功能的ATP系统结构、扩展列车接口功能、分组域无线通信功能、车门防护功能、人机显示扩展功能、通信与接口、双机热备等方面进行阐述。

CTCS-3级列控系统ATP超速防护曲线的仿真

CTCS-3级列控系统的核心——ATP自动防护系统,它生成的目标距离模式曲线实现了由对地面固定信号显示的控制到面向列车移动体直接控制的转变,为高速铁路时代的列车提供安全保障。本文以ATP仿真系统为研究对象,提出用硬件与软件相结合的方法模拟仿真CTCS-3级列控ATP控车曲线,对制动曲线进行建模,分析及计算,完成ATP仿真系统模型的建立、数据的采集以及模型参数的分析。

CTCS-3级ATP无线通信技术自主化研究

CTCS-3级ATP无线通信技术是CTCS-3级高速铁路列控系统车-地通信的关键技术,着重阐述无线通信技术在自主化研发过程中的新技术,包括紧耦合热备结构特点、安全算法的自主化演进,以及通信协议栈的扩展性研究等。通过对CTCS-3级ATP无线通信技术的自主化研究,进一步提高ATP设备的可用性,提高车-地通信的安全性,并提高CTCS-3级高速铁路列控系统对下一代通信系统的兼容性。

CTCS-3级列控系统冒进模式处置分析与优化

冒进模式是列控系统执行冒进防护时,车载设备进入的一种模式。车载设备进入冒进模式后,按照CTCS-3级列控车载设备技术规范及司机操作说明进行处置时,对于现场某些特定场景,会出现对运输影响较大的情况。从动车组列车现场实际运用场景出发,介绍CTCS-3级列控系统300T、300H、300SC三种车载设备对冒进模式的处置方式,分析目视行车模式在现场特定场景下对运输的影响,结合列控车载设备冒进模式操作规定,提出特定场景下的软件优化及操作修订建议,从而减小设备发生故障对现场运输效率的影响。

CTCS-2级列控系统升级改造为CTCS-3级的工程实施方案及经验总结

随着高速铁路技术的不断发展,列控系统的升级成为提升运输效能的重要途径。从CTCS-2级列控系统升级改造为CTCS-3级,不仅涉及技术层面的升级,还需在不影响既有线路正常运营的条件下进行,施工难度极大。为解决升级改造过程涉及到新增列控地面设备接入与恢复、既有系统软件过渡、合理规划分步开通方案等问题,以贵广铁路提质改造工程为例,在分析工程难点和工程量的基础上,从软件换装、应答器安装、RBC接入方面对工程实施方案进行研究,并从标准建设、人员培训、关键环节管控、技术手段应用等角度对工程实施经验进行总结。提出应答器静默安装方案和报文核对助手等一系列施工方案和管理措施,可减少施工对既有线路运输生产的干扰,保障改造工作的安全性,可作为后续类似改造工程的参考案例。

离去区段CTCS-3级向CTCS-2级列控系统等级转换测试用例研究

动车组在高速铁路运行时,应能根据线路的列控系统等级自动切换车载设备的控制等级而不引发紧急制动,因此在工程线路开通前,设计测试用例,对离去区段上设置有CTCS-3向CTCS-2等级转换点的特殊线路场景进行针对性的系统集成测试十分必要。在CTCS-3级向CTCS-2级转换过程中,车载设备是否触发制动受许多外部条件影响,如车载设备类型、CTCS-3级与CTCS-2级行车许可中描述的最高允许速度是否存在较大差异等。利用场景举例法,研究等级转换点所在离去区段长度不同时的测试用例设计方案,确保覆盖CTCS-3级与CTCS-2级行车许可存在最不利差异的场景。所研究的测试用例可最大化地在测试阶段发现车载设备紧急制动问题,并已在工程建设中得到验证,对集成测试工作开展有一定指导意义。

高速铁路CTCS-3级列控系统信号工程改造施工技术研究

高速铁路CTCS-3级列车控制系统是高速铁路的重要组成部分,对列车运行实现自动控制的系统,是保证列车按照空间间隔制运行的技术手段,并可以根据列车在线路上的客观条件和实际情况,对列车的运行速度及制动方式等状态进行监督、控制和调整。结合2010年开通运营的郑西高铁,截至2023年底我国高速铁路营业总里程已经超过4万公里,既有高速铁路更新改造工程也将陆续实施。本文主要对既有列车控制系统的信号工程改造升级施工技术方案进行探讨,确保改造工程施工安全顺利进行,对后续高速铁路信号工程改造施工提出参考和建议。

新型列控系统与CTCS-3级列控系统RBC切换机制差异研究

为应对RBC切换在新型列控系统与CTCS-3级列控系统间互联互通应用的技术挑战,深入研究2种列控系统RBC切换流程的差异。基于CTCS-3级列控系统RBC切换流程,结合新型列控系统特性,从行车许可计算方式、交互信息、车地通信协议等方面,区分2种列控系统RBC切换关键技术要求;从列车信息处理策略、列车防护、通信故障处理、边界后首区间检查、后备监控模式列车管理等关键环节,分析2种列控系统RBC切换差异。可为工程应用中RBC切换场景的问题分析、工程设计提供支撑,也为未来铁路线路升级与跨系统运营提供理论依据和技术支持。

CTCS-3级列控系统RBC与ATP结合部异常信息处理

通过2起因车载ATP设备与地面RBC设备处理逻辑不同而引发动车组输出制动并停车的故障,对CTCS-3级列控系统ATP与RBC结合部异常信息进行分析,避免类似问题的出现,并提出建议措施。

CTCS-3级列控车载设备高速适应性关键技术

从CTCS-3级列控系统工程建设角度出发,对包括基于多路速度传感器数据融合的测速测距策略、列车制动模型及CTCS-3/CTCS-2级动态转换机制等CTCS-3级列控车载设备高速适应性关键技术进行研究。根据不同类型测速传感器的特点,采用车轮速度传感器与雷达相结合的方式实现列车速度的安全测量,并运用联合卡尔曼滤波理论提出基于多路传感器数据融合的测速测距算法策略。结合列车移动体的控制特点,在国际铁路联盟UIC 544—1标准的基础上,提出1种改进的分段式减速度计算的列车制动模型,可兼顾行车安全和效率。针对列车运营模式的兼容性与可靠性,采用兼容CTCS-3级和CTCS-2级的双模冗余设计,使CTCS-3级列控车载设备同时具有CTCS-3级控车功能和CTCS-2级控车功能,并通过输入信息共享和等级转换时信息交换等技术手段,实现CTCS-3/CTCS-2级之间的平滑动态转换。研究成果已在武广高速铁路上实施,满足了列车高速安全运行的要求,并提高了等级转换时的列车运行效率和旅客舒适度。

CTCS-3级列控系统临时限速建模与验证

为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应.

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

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

基于UML模型的CTCS-3级列控系统功能安全分析方法

本文利用UML支持的底层扩展机制对UML进行面向列控系统混成性的扩展,使用扩展后的UML对列控系统进行半形式化建模,并采用故障事件机制对系统的故障情况进行刻画。给出UML模型到PHAVer模型的转化规则以及故障监视器模型的建立方法,利用可达集计算原理验证列控系统的PHAVer模型并对其进行功能安全性分析。以CTCS-3级列控系统的RBC交接为例,使用UML结合可达集计算对系统进行功能安全分析。分析结果表明:UML与可达集计算相结合的方法适用于CTCS-3级列控系统的功能安全分析。