5G-R承载CTCS-3级列控数据传输研究 被引量：2

1

作者 秦树增 赵志鹏 +1 位作者 杨胜 韩佳汛 《铁道标准设计》 北大核心 2025年第2期176-182,190,共8页

CTCS-3级列控系统是保障列车在350 km时速下安全运行的关键系统,是铁路无线通信系统承载的关键性核心业务,对于车地间数据通信具有非常高的可靠性要求。5G-R技术的高可靠、低时延、更精细的服务保障机制及增强的高速适应性符合CTCS-3级... CTCS-3级列控系统是保障列车在350 km时速下安全运行的关键系统,是铁路无线通信系统承载的关键性核心业务,对于车地间数据通信具有非常高的可靠性要求。5G-R技术的高可靠、低时延、更精细的服务保障机制及增强的高速适应性符合CTCS-3级列控系统的业务需求。对CTCS-3级列控系统中应用5G-R的必要性和5G-R系统承载CSCS-3级列控数据传输面临的相关问题进行分析,探讨我国未来列控系统通过升级改造适配5G-R系统的技术路线和实现路径,介绍了5G-R模式下CTCS-3级列控车地数据传输机制和5G-R/GSM-R双模模块在基于5G-R的CTCS-3级列控系统中的应用。通过在5G-R专网实验室环境下的列控业务功能和性能试验,对比GSM-R中CSD数据传输的性能指标,探讨5G-R承载列控数据的适用性,研究CTCS-3级列控的服务质量保障机制原理、列控业务专用QoS特性和列控专用QoS流的建立流程,并通过试验验证了5G-R系统的QoS保障机制可以在网络资源紧张的情况下优先保证CTCS-3级列控数据业务的稳定可靠传输。 展开更多

关键词 ctcs-3级列控系统 5G-R 数据传输 性能试验 服务质量

在线阅读 下载PDF 职称材料

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

2

作者 张文韬 张友鹏 +1 位作者 苏宏升 杨蕾 《工程设计学报》 CSCD 北大核心 2014年第1期18-26,共9页

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

关键词 ctcs-3级ATP系统 可靠性分析 动态故障树 马尔科夫矩阵迭代法 分层迭代方法 ATP system of ctcs-3

在线阅读 下载PDF 职称材料

CTCS-3级列控系统临时限速建模与验证 被引量：15

3

作者 袁磊 王俊峰 +1 位作者 康仁伟 吕继东 《西南交通大学学报》 EI CSCD 北大核心 2013年第4期708-714,共7页

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

关键词 ctcs-3级列控系统 临时限速 时间自动机 UPPAAL 实时性

在线阅读 下载PDF 职称材料

基于GPRS分组交换网络的CTCS-3级列控系统车地安全数据传输的可行性 被引量：9

4

作者 丁建文 宋甲英 +2 位作者 林思雨 曹源 钟章队 《中国铁道科学》 EI CAS CSCD 北大核心 2015年第3期119-126,共8页

基于高速铁路既有的通用分组无线业务(GPRS)分组交换网络以及CTCS-3级列控系统车地安全数据传输需求,提出GPRS承载CTCS-3级列控系统车地安全数据传输业务的服务质量(QoS)关键指标和协议栈;基于半实物仿真平台提出GPRS网络承载车地安全... 基于高速铁路既有的通用分组无线业务(GPRS)分组交换网络以及CTCS-3级列控系统车地安全数据传输需求,提出GPRS承载CTCS-3级列控系统车地安全数据传输业务的服务质量(QoS)关键指标和协议栈;基于半实物仿真平台提出GPRS网络承载车地安全数据传输QoS测试方法,并对QoS关键指标进行测量和分析。结果表明:40字节和128字节用户数据报协议(UDP)数据帧端到端传输时延在改进网络临时块流(TBF)释放机制后,可以满足车地安全数据传输QoS的需求;GPRS网络的误帧/丢帧主要出现在小区重选时,下行链路误帧/丢帧率高于上行链路误帧/丢帧率;GPRS附着时延和分组数据协议(PDP)激活时延可以满足车地安全数据传输QoS的需求。优化GPRS网络数据传输时延、小区重选机制和重选时的数据缓存机制是利用GPRS网络承载CTCS-3级列控系统车地安全数据传输的关键。 展开更多

关键词 通用分组无线业务 ctcs-3级列车控制系统 安全数据传输 宽带移动通信 服务质量

在线阅读 下载PDF 职称材料

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

5

作者 谢雨飞 唐涛 +1 位作者 徐田华 赵林 《铁道学报》 EI CAS CSCD 北大核心 2011年第7期67-72,共6页

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

关键词 ctcs-3级列控系统 系统规范 建模 形式化验证

在线阅读 下载PDF 职称材料

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

6

作者 刘金涛 唐涛 +1 位作者 赵林 李宪 《铁道学报》 EI CAS CSCD 北大核心 2013年第10期59-66,共8页

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

关键词 ctcs-3级系统 形式化方法 UML 可达集 功能安全分析

在线阅读 下载PDF 职称材料

基于控制关系模型的CTCS-3级列控系统功能安全分析方法 被引量：7

7

作者 刘金涛 唐涛 +1 位作者 赵林 刘磊 《铁道学报》 EI CAS CSCD 北大核心 2015年第8期36-43,共8页

本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的... 本文给出CTCS-3级列控系统中组件控制行为的形式化定义,并针对控制行为的时序关系,提出控制行为时序逻辑。以此时序逻辑为基础,给出控制关系模型的形式化定义,使用控制关系模型对列控系统中的控制行为关系进行刻画。利用深度优先搜索的方式,对系统的控制关系模型进行分析,实现STPA(System-Theoretic Process Analysis)过程中不恰当控制行为的自动化辨识。以CTCS-3级列控系统的RBC交接场景为例,使用上述基于控制关系模型的STPA方法对列控系统的功能安全进行分析。分析过程表明利用形式化的控制关系模型扩展STPA的方法适用于CTCS-3级列控系统的功能安全分析。 展开更多

关键词 STPA ctcs-3级列控系统 形式化方法 功能安全分析

在线阅读 下载PDF 职称材料

基于云模型和组合赋权法的CTCS-3级列控系统可靠性评价 被引量：20

8

作者 张友鹏 杨金凤 《铁道学报》 EI CAS CSCD 北大核心 2016年第6期59-67,共9页

针对模糊综合评判法在进行列控系统可靠性评价时的不足,本文提出基于云模型和组合赋权法的CTCS-3级列控系统可靠性综合评价方法。首先,根据CTCS-3级列控系统的结构与功能,建立系统的综合能力模型和相应的功能层次结构模型,并采用组合赋... 针对模糊综合评判法在进行列控系统可靠性评价时的不足,本文提出基于云模型和组合赋权法的CTCS-3级列控系统可靠性综合评价方法。首先,根据CTCS-3级列控系统的结构与功能,建立系统的综合能力模型和相应的功能层次结构模型,并采用组合赋权法确定底层设备的权重。然后,采用云模型表示各设备实际指标与额定指标的比值,并根据云运算规则采用加权模型求得CTCS-3级列控系统的可靠性综合指标云。最后,将CTCS-3级列控系统的可靠性综合指标云与可靠性评价集的云模型进行相似度度量,输出评价结果。结果表明:基于云模型和组合赋权法的CTCS-3级列控系统可靠性综合评价方法能够正确且客观地描述系统实现其规定功能的能力,为CTCS-3级列控系统的研发及评估提供借鉴。 展开更多

关键词 可靠性评价 ctcs-3级列控系统 云模型 组合赋权法

在线阅读 下载PDF 职称材料

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

9

作者 张友鹏 杨金凤 《铁道学报》 EI CAS CSCD 北大核心 2017年第7期79-86,共8页

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

关键词 可靠性分析 ctcs-3级ATP系统 动态贝叶斯网络 共因失效

在线阅读 下载PDF 职称材料

基于AdmiTest的CTCS-3级列控系统自动测试平台 被引量：4

10

作者 贺广宇 范明 +1 位作者 程剑锋 黄宏福 《中国铁道科学》 EI CAS CSCD 北大核心 2013年第4期128-136,共9页

根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路... 根据CTCS-3级列控系统的特点,结合欧洲列车运行控制系统(ETCS)测试经验,研发基于通用测试平台AdmiTest的CTCS-3级列控系统自动测试平台CARSTool。CARSTool采用激励-反馈机制实现单系统或多系统的闭环测试,包含测试对象、仿真系统、链路、消息、激励、响应和测试序列等基本元素,具有线路工程数据配置、通信链路配置、站场线路配置、PI Object、仿真系统、列车运行仿真和自动测试序列7个功能模块。以郑西客运专线列控数据为例,采用CARSTool对CTCS-3级列控系统进行仿真测试。测试结果表明:通过规范化语法严格卡控测试步骤,根据CTCS-3级列控系统测试案例库以及激励-反馈信息判断测试项目的执行状态,CARSTool实现了测试计划、执行过程和测试结果的闭环处理;说明CARSTool能够实现CTCS-3级列控系统的自动测试。 展开更多

关键词 ctcs-3级列控系统 激励-反馈机制 系统自动测试 测试平台

在线阅读 下载PDF 职称材料

基于模糊评判和RCM的CTCS-3级车地通信子系统维修决策 被引量：3

11

作者 张友鹏 张芸芸 +1 位作者 石磊 杨金凤 《安全与环境学报》 CAS CSCD 北大核心 2017年第5期1657-1663,共7页

CTCS-3级车地通信子系统是列控系统的重要组成部分之一,且列控系统需求的列车位置、行车许可、临时限速等安全信息都由其提供,因此,对其进行可靠性分析具有十分重要的意义。采用贝叶斯网络对系统进行可靠性分析,并对维修方式进行了讨论... CTCS-3级车地通信子系统是列控系统的重要组成部分之一,且列控系统需求的列车位置、行车许可、临时限速等安全信息都由其提供,因此,对其进行可靠性分析具有十分重要的意义。采用贝叶斯网络对系统进行可靠性分析,并对维修方式进行了讨论。首先,根据车地通信子系统的功能与结构构建其贝叶斯网络模型。然后,综合考虑维修性、共因失效等因素,对车地通信子系统进行可靠性分析。最后,在可靠性分析的基础上运用模糊综合评判法对其进行维修决策。结果表明:利用贝叶斯网络的双向推理,不仅可以计算出车地通信子系统的可靠度,还可以有效识别系统的薄弱环节;若不考虑车地通信系统冗余结构中的共因失效,则得到的可靠性指标会偏于乐观。地面GSM-R单元失效是引起车地通信子系统失效的关键事件,因此针对此薄弱环节进行状态维修检查能够有效降低事故的发生概率。 展开更多

关键词 安全工程 可靠性分析 ctcs-3级车地通信子系统 贝叶斯网络 共因失效 模糊综合评判

在线阅读 下载PDF 职称材料

CTCS-3级列控数据传输与GSM-R网络CSD测试关系 被引量：5

12

作者 邢小琴 王卫东 +1 位作者 王惠生 杨树忠 《中国铁路》 2014年第4期64-68,共5页

介绍CTCS-3级列控系统车-地数据通信协议和传输模型;结合列控系统实际应用,归纳车-地通信常用数据。在此基础上,阐述GSM-R网络CSD测试原理,讨论关键参考指标的确立依据。列控数据传输运用质量是GSM-R网络CSD测试的根本依据,了解实际应... 介绍CTCS-3级列控系统车-地数据通信协议和传输模型;结合列控系统实际应用,归纳车-地通信常用数据。在此基础上,阐述GSM-R网络CSD测试原理,讨论关键参考指标的确立依据。列控数据传输运用质量是GSM-R网络CSD测试的根本依据,了解实际应用与测试之间的关系,对探讨CTCS-3级列控系统车-地数据传输运用质量的评价方法和深入理解GSM-R网络CSD测试结果有着重要意义。 展开更多

关键词 ctcs-3级列控系统 GSM-R网络 车-地数据传输 CSD测试

在线阅读 下载PDF 职称材料

高速铁路CTCS-3级列控系统无线闭塞中心工程设计 被引量：17

13

作者 石先明 《中国铁路》 北大核心 2009年第11期1-6,共6页

介绍我国高速铁路、客运专线CTCS-3级列控系统核心设备"无线闭塞中心(RBC)"的设备组成、接口、部分技术参数项、关键环节的工作流程等。在此基础上,提出RBC工程设计的一些基本原则和方法,推衍计算RBC数量的公式。

关键词 高速铁路 列控系统 ctcs-3级 无线闭塞中心 工程设计

在线阅读 下载PDF 职称材料

基于风险指数的CTCS-3级列控系统设备剩余寿命预测 被引量：4

14

作者 王瑞峰 姚军娟 《铁道学报》 EI CAS CSCD 北大核心 2020年第9期85-91,共7页

针对CTCS-3级列控系统设备剩余寿命受不确定因素影响难以预测的问题,提出一种基于风险指数的预测方法。首先,构建基于模糊AHP-DEMATEL法的CTCS-3级列控系统设备风险指数模型,对其设备进行风险状态评估,评估值即为风险指数RI;其次,通过建... 针对CTCS-3级列控系统设备剩余寿命受不确定因素影响难以预测的问题,提出一种基于风险指数的预测方法。首先,构建基于模糊AHP-DEMATEL法的CTCS-3级列控系统设备风险指数模型,对其设备进行风险状态评估,评估值即为风险指数RI;其次,通过建立RI的随机模糊分布函数和曲线图,确定了RI与设备运行时间的关系;在此基础上,建立了基于不确定理论的CTCS-3级列控系统设备剩余寿命预测模型;最后,采用随机模糊模拟技术对该模型进行求解。实例验证表明,基于风险指数的CTCS-3级列控系统设备剩余寿命预测方法,可以有效地预测其寿命和剩余寿命,为设备的优先维护提供理论依据。 展开更多

关键词 ctcs-3级列控系统 风险指数 剩余寿命预测 模糊AHP-DEMATEL法 不确定理论

在线阅读 下载PDF 职称材料

高速铁路CTCS-3级列控系统等级转换工程应用研究 被引量：8

15

作者 丁一 《铁道标准设计》 北大核心 2021年第6期134-138,共5页

高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在... 高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在工程应用中,地面系统需结合车载设备的控制逻辑进行综合分析。如果等级转换预告点或执行点设置不当,可能会导致列车降速运行,或者导致列车越过等级转换点时触发制动而停车。系统分析CTCS-3级列控系统等级转换的原理,尤其对车载设备在CTCS-2级、CTCS-3级控车曲线存在速度差的情况进行分析。对CTCS-3级列控系统等级转换在正线区间、大号码道岔以及并列车场等工程中的应用方案进行总结,对设置等级转换应答器的距离要求进行归纳及量化,涵盖了常见的工程应用场景。 展开更多

关键词 高速铁路 ctcs-3级列控系统 等级转换 工程设计 系统集成 工程应用研究

在线阅读 下载PDF 职称材料

CTCS-3级列车控制系统仿真平台框架的构建

16

作者 李俊娥 《铁道运输与经济》 北大核心 2010年第12期16-20,共5页

COM+定义了标准构建软件组件的方法,组件对象模型(Component Object Model COM+)具有快速开发、高可靠性和可扩展性好等优点。在介绍CTCS-3列车控制系统和COM+的基础上,构建了CTCS-3级列车控制系统仿真平台的模块功能结构,论述各模块运... COM+定义了标准构建软件组件的方法,组件对象模型(Component Object Model COM+)具有快速开发、高可靠性和可扩展性好等优点。在介绍CTCS-3列车控制系统和COM+的基础上,构建了CTCS-3级列车控制系统仿真平台的模块功能结构,论述各模块运行的平台配置、仿真运行、数据记录及数据分析三大阶段的作用,以及仿真平台的整体结构与实现步骤。 展开更多

关键词 COM+ ctcs-3级列车控制系统 仿真平台

在线阅读 下载PDF 职称材料

CTCS-3级GSM-R车地通信数据丢失概率及其影响的研究 被引量：1

17

作者 张霞 马连川 +1 位作者 曹源 张玉琢 《通信学报》 EI CSCD 北大核心 2014年第12期203-209,共7页

为了解决CTCS-3级列控系统GSM-R车地数据传输接口(Euroradio)安全功能模块没有提供时间相关风险防护措施的问题,建立基于DSPN的数据传输过程中故障恢复模型和通信模型。结合这2种模型并利用Time NET4.0对数据丢失概率进行仿真,发现即使... 为了解决CTCS-3级列控系统GSM-R车地数据传输接口(Euroradio)安全功能模块没有提供时间相关风险防护措施的问题,建立基于DSPN的数据传输过程中故障恢复模型和通信模型。结合这2种模型并利用Time NET4.0对数据丢失概率进行仿真,发现即使只考虑数据丢失才会造成列控系统危险输出的极端情况,仍不满足相关规范对于CTCS-3级列控系统数据传输SIL4级要求。 展开更多

关键词 ctcs-3级列控系统 GSM-R 安全通信协议 确定与随机PETRI网

在线阅读 下载PDF 职称材料

CTCS-3级列控车载设备高速适应性关键技术 被引量：24

18

作者 黄卫中 季学胜 +2 位作者 刘岭 李开成 牛道恒 《中国铁道科学》 EI CAS CSCD 北大核心 2010年第3期87-92,共6页

从CTCS-3级列控系统工程建设角度出发,对包括基于多路速度传感器数据融合的测速测距策略、列车制动模型及CTCS-3/CTCS-2级动态转换机制等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-2级动态转换

在线阅读 下载PDF 职称材料

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

19

作者 盛昭君 米根锁 《铁道标准设计》 北大核心 2017年第11期143-147,共5页

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Ster... 应用统一建模语言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级系统 RBC控车场景 UML PHAVer

在线阅读 下载PDF 职称材料

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

20

作者 全宏宇 赵会兵 《北京交通大学学报》 CAS CSCD 北大核心 2014年第2期37-41,共5页

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

关键词 ctcs-3级无线通信 概率模型检验 建模 可靠性分析

在线阅读 下载PDF 职称材料