期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
一种基于场景的CTCS-3列车控制系统建模方法研究 被引量:5
1
作者 王帅 吉吟东 杨士元 《铁道学报》 EI CAS CSCD 北大核心 2011年第9期55-61,共7页
对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模... 对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。 展开更多
关键词 ctcs-3列车运行控制系统 自动机 顺序图 形式化建模 运营场景
在线阅读 下载PDF
基于AdmiTest的CTCS-3级列控系统自动测试平台 被引量:4
2
作者 贺广宇 范明 +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
CTCS-3列控系统RBC切换的形式化建模、分析与验证 被引量:4
3
作者 潘登 郑应平 《计算机应用研究》 CSCD 北大核心 2013年第2期443-446,453,共5页
针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运... 针对影响RBC切换质量的列车速度、RBC切换时间等诸因素,以及澄清对RBC交接协议安全性在认识上的一些误区,利用随机Petri网形式化描述工具,建立了CTCS-3列控系统RBC切换模型。通过理论分析和仿真实验,验证了不同速度条件下高速列车越区运行RBC交接协议A、B的可靠性、安全性和合理性。交接协议B作为协议A的冗余措施,由于考虑了RBC切换过程中通信中断时间,从RBC切换成功概率上讲,并不存在安全上的问题,但降低了RBC切换效率,对行车效率有所影响;列车速度进一步提高时,RBC切换的可靠性下降,可考虑适当增加RBC重叠覆盖区域、场强和列车间隔时间裕量。 展开更多
关键词 ctcs-3列控系统 RBC切换 通信协议 形式化建模 PETRI网 分析与验证
在线阅读 下载PDF
高速铁路CTCS-3级列控系统等级转换工程应用研究 被引量:8
4
作者 丁一 《铁道标准设计》 北大核心 2021年第6期134-138,共5页
高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在... 高速铁路CTCS-3列车运行控制系统等级转换是工程设计及系统集成的重要内容之一。列控系统等级转换在地面系统中设置等级转换点,由车载设备完成等级转换。等级转换位置受线路长度、转换点处速度、临时限速、分相区设置等多种因素限制,在工程应用中,地面系统需结合车载设备的控制逻辑进行综合分析。如果等级转换预告点或执行点设置不当,可能会导致列车降速运行,或者导致列车越过等级转换点时触发制动而停车。系统分析CTCS-3级列控系统等级转换的原理,尤其对车载设备在CTCS-2级、CTCS-3级控车曲线存在速度差的情况进行分析。对CTCS-3级列控系统等级转换在正线区间、大号码道岔以及并列车场等工程中的应用方案进行总结,对设置等级转换应答器的距离要求进行归纳及量化,涵盖了常见的工程应用场景。 展开更多
关键词 高速铁路 ctcs-3级列控系统 等级转换 工程设计 系统集成 工程应用研究
在线阅读 下载PDF
速度350km/h高速铁路长大下坡地段闭塞分区设置方法研究 被引量:1
5
作者 张守帅 张雨洁 +2 位作者 闫海峰 田长海 骆泳吉 《铁道学报》 EI CAS CSCD 北大核心 2024年第1期72-80,共9页
通过分析长大下坡道闭塞分区长度对CTCS-3级和后备CTCS-2级列控系统的影响,指出二者对闭塞分区长度的需求完全相反,并针对CTCS-3级列控系统的行车许可回缩、速度突降等问题的产生原因进行分析。阐述坡度、闭塞分区长度与不同列控模式下... 通过分析长大下坡道闭塞分区长度对CTCS-3级和后备CTCS-2级列控系统的影响,指出二者对闭塞分区长度的需求完全相反,并针对CTCS-3级列控系统的行车许可回缩、速度突降等问题的产生原因进行分析。阐述坡度、闭塞分区长度与不同列控模式下列车运行速度、追踪间隔时间等要素之间的关系,制定闭塞分区设置的基本原则。检算典型坡度下闭塞分区长度设置的合理区间范围及相应追踪间隔时间,指出坡度超过-30‰后将无法兼顾不同列控等级下的运行速度。设计模拟退火算法,根据闭塞分区设置原则及闭塞分区取值规律,给出压缩求解空间、提高求解效率的方法。以郑万高速铁路长大下坡地段为例,对闭塞分区设置进行优化,在不考虑其他约束的前提下,与设计院优化方案相比,本求解优化方案在确保CTCS-3级控车模式下允许速度可达350 km/h的同时,将CTCS-2级控车模式下的允许速度提高30 km/h,追踪间隔时间压缩23 s。 展开更多
关键词 高速铁路 长大下坡道 ctcs-3级列控系统 闭塞分区 行车许可
在线阅读 下载PDF
基于CTCS-3/2级列控系统的高速铁路闭塞分区长度设计研究 被引量:1
6
作者 耿敬春 李建新 +2 位作者 吕苗苗 倪少权 潘金山 《铁道学报》 EI CAS CSCD 北大核心 2023年第4期8-15,共8页
根据CTCS-3级和CTCS-2级列控车载设备控车原理,提出高速铁路闭塞分区长度设计原则和约束条件。结合现行列控车载设备参数,当线路长大下坡道不大于24‰时,闭塞分区长度设计满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级300 km/h正常... 根据CTCS-3级和CTCS-2级列控车载设备控车原理,提出高速铁路闭塞分区长度设计原则和约束条件。结合现行列控车载设备参数,当线路长大下坡道不大于24‰时,闭塞分区长度设计满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级300 km/h正常运行。当线路长大下坡道大于24‰时,闭塞分区长度按照满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级降速至250 km/h设计;或将CTCS-3级列控系统结合轨道电路信息定义的闭塞分区平均长度由3000 m调整为4400 m,以满足CTCS-3级列控车载顶棚速度350 km/h、CTCS-2级300 km/h运行要求。 展开更多
关键词 高速铁路 ctcs-3/2级列控系统 闭塞分区 长度 设计
在线阅读 下载PDF
CTCS-3级GSM-R车地通信数据丢失概率及其影响的研究 被引量:1
7
作者 张霞 马连川 +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
高铁联络线不利条件下CTCS3-CTCS2等级转换方案研究 被引量:8
8
作者 卢佩玲 郝韬 徐强 《铁道标准设计》 北大核心 2022年第12期137-142,共6页
CTCS3-CTCS2等级转换是高速铁路列车运行控制系统的重要运营场景之一,在联络线长度过短或联络线存在大号码道岔等不利线路条件下设置CTCS3-CTCS2等级转换点时,由于在部分进路及临时限速场景下CTCS3系统与CTCS2系统计算控车模式曲线的逻... CTCS3-CTCS2等级转换是高速铁路列车运行控制系统的重要运营场景之一,在联络线长度过短或联络线存在大号码道岔等不利线路条件下设置CTCS3-CTCS2等级转换点时,由于在部分进路及临时限速场景下CTCS3系统与CTCS2系统计算控车模式曲线的逻辑存在差异,如果CTCS3-CTCS2等级转换预告点和执行点的位置设置不合理,可能导致列车在等级转换时产生超速制动的风险。对等级转换过程中车载计算控车模式曲线的差异、CTCS3系统与CTCS2系统控车逻辑的差异性进行分析;结合实际线路探讨列车在CTCS3-CTCS2等级转换中可能存在的问题,对选用线路中不同位置的应答器作为等级转换预告点或执行点的方式进行综合分析和测试,提出了解决方案;并通过理论分析及多种车型的仿真试验验证了方案的可行性,对CTCS3-CTCS2等级转换预告点及执行点的设置要求进行归纳和总结。 展开更多
关键词 高速铁路 列控系统 等级转换 ctcs-3 ctcs-2 临时限速 大号码道岔 控车模式曲线
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部