期刊文献+
共找到242篇文章
< 1 2 13 >
每页显示 20 50 100
若和铁路新型列控系统工程设计与创新应用 被引量:1
1
作者 袁娟 《中国铁路》 北大核心 2025年第2期22-27,共6页
新型列控系统作为CTCS列控体系的新成员,具备卫星定位、移动闭塞、列车完整性检查等技术特征,经过多年技术攻关,构建了标准体系,完成了成套装备研制,并在若和铁路全线试用。从工程设计的角度,分析新型列控系统在若和铁路应用的重难点,... 新型列控系统作为CTCS列控体系的新成员,具备卫星定位、移动闭塞、列车完整性检查等技术特征,经过多年技术攻关,构建了标准体系,完成了成套装备研制,并在若和铁路全线试用。从工程设计的角度,分析新型列控系统在若和铁路应用的重难点,研究提出新技术应用、多种应用场景适应性设计、无线通信系统配套设计等创新方案,梳理总结在工程设计及实施流程方面的创新举措,并开展技术经济效益分析,旨在为新型列控系统推广提供技术支撑,并为科研与工程实践的结合提供参考。 展开更多
关键词 新型列控系统 若和铁路 控联锁一体化 工程设计 实施流程
在线阅读 下载PDF
新型列控系统综合试验关键技术 被引量:2
2
作者 郜新军 《中国铁路》 北大核心 2025年第2期9-15,共7页
我国西部地区地广人稀、长大坡道多、长大隧道多,新型列控系统减少轨旁设备,实现移动闭塞、列车自主定位、列车完整性检查等功能,能够满足西部铁路维护少、运输效率高的运营需求。阐述新型列控系统总体架构及核心功能,提炼该系统综合试... 我国西部地区地广人稀、长大坡道多、长大隧道多,新型列控系统减少轨旁设备,实现移动闭塞、列车自主定位、列车完整性检查等功能,能够满足西部铁路维护少、运输效率高的运营需求。阐述新型列控系统总体架构及核心功能,提炼该系统综合试验关键测试方法,并先后在环行铁道、格库铁路、若和铁路3个试验场地,对新型列控系统多型号设备功能和性能、互通兼容性等进行全面验证,实现新型列控系统在若和铁路的工程示范应用。通过对综合试验梳理与总结,完善我国列控系统综合试验技术体系,可为未来铁路科研试验提供有效支持。 展开更多
关键词 新型列控系统 综合试验 车自主定位 车完整性检查 移动闭塞
在线阅读 下载PDF
基于新型列控系统的列车尾部防护装置技术研究 被引量:1
3
作者 窦垭锡 贺刚 +2 位作者 蒋志勇 张勇 李月明 《中国铁路》 北大核心 2025年第2期16-21,共6页
为适应新型列控系统列车完整性检查的要求,解决既有方式实时性差及判定手段单一的问题,设计1种应用于新型列控系统的列车尾部防护装置,该装置融合风压采集和多模卫星定位,且风压采集功能满足SIL4安全等级要求。基于新型列控系统对列车... 为适应新型列控系统列车完整性检查的要求,解决既有方式实时性差及判定手段单一的问题,设计1种应用于新型列控系统的列车尾部防护装置,该装置融合风压采集和多模卫星定位,且风压采集功能满足SIL4安全等级要求。基于新型列控系统对列车完整性自主检查的安全要求,阐述新型尾部防护装置的核心技术架构,包括无线数据传输子系统、完整性数据采集子系统和外围控制子系统等组成部分,并深入探索列车完整性数据安全处理、首尾设备IP化无线数据可靠传输、尾部风压精密检测、多模融合定位、首尾安全通信等关键技术,旨在实现实时、自主且可靠的列车尾部防护功能。通过现场试验与运用考核,新型列车尾部防护装置能够有效协同ATP设备,自动实现列车完整性检查,显著增强了列车运行的安全保障与可靠性。 展开更多
关键词 新型列控系统 尾设备 安全架构 车完整性检查 融合定位 GSM-R
在线阅读 下载PDF
重载群组列控系统安全计算机国产芯片替代关键技术研究 被引量:1
4
作者 丁欢 戴鹏飞 黄彬彬 《铁道科学与工程学报》 北大核心 2025年第5期2257-2267,共11页
为解决重载群组列控系统装备安全计算机平台国产芯片替代的问题,制定了安全计算机平台全部采用国产芯片的总体目标,使用平台构建的列控设备具备在役设备的整机级替代能力。分析总结了安全计算机平台进行国产芯片替代的3个难点,进而提出... 为解决重载群组列控系统装备安全计算机平台国产芯片替代的问题,制定了安全计算机平台全部采用国产芯片的总体目标,使用平台构建的列控设备具备在役设备的整机级替代能力。分析总结了安全计算机平台进行国产芯片替代的3个难点,进而提出了解决问题的关键技术措施。构建模型论证了电路单元采取异构设计是降低共因故障的直接且有效的方式。通过异构设计的方法,解决了国产芯片可选种类少的问题,从而保证平台安全性不降低。通过全面降额设计的方法加强平台的可靠性设计,并采用高加速寿命试验等加强验证措施寻找器件、设计等方面的潜在缺陷,解决了国产芯片一致性不高的问题。通过平台内系统级和单板级优化设计,研制车地统一平台,降低了列控装备国产芯片替代难度。采用上述技术措施,成功解决了替代的难点问题,完成了基于国产芯片的安全计算机平台的研制。研制的基于国产芯片的安全计算机平台通过了测试和安全认证,在重载群组列控系统中的群组控制中心、群组临时限速服务器和群组ATP设备中得到成功应用,实现了重载群组列控系统装备底层软硬件完全自主可控。研制的安全计算机平台具有通用性,能够满足高铁、地铁等领域车、地多种列控装备应用需求。研究结果为彻底实现我国列控装备的软硬件完全自主可控和保障铁路安全运营提供参考。 展开更多
关键词 重载群组控制 列控系统 安全计算机平台 国产芯片 替代技术
在线阅读 下载PDF
基于融合聚类的新型列控系统测试用例自适应排序方法
5
作者 张素阳 窦道飞 郝韬 《中国铁路》 北大核心 2025年第2期28-34,共7页
为提高新型列控系统功能故障检测能力,缩短测试周期,提出聚类分析与多目标优化相结合的测试用例排序方法。分析新型列控系统结构及功能,提取临时限速场景中各子系统的关键状态,生成初始测试用例集;进行文本聚类和覆盖聚类分析,将聚类结... 为提高新型列控系统功能故障检测能力,缩短测试周期,提出聚类分析与多目标优化相结合的测试用例排序方法。分析新型列控系统结构及功能,提取临时限速场景中各子系统的关键状态,生成初始测试用例集;进行文本聚类和覆盖聚类分析,将聚类结果按一定的权重组合,得到测试用例相似性矩阵;以平均故障检测率、语句覆盖率和有效执行时间为多目标优化的度量指标,采用可支配遗传算法与历史执行信息对测试用例集进行自适应排序,得到最终测试序列。依托京张高铁列控系统仿真测试平台,验证该方法的有效性。试验结果表明:在不同测试用例规模情况下,该方法与AP、AC-CAP、AAR-CAP方法相比较,标准平均故障检测率的表现更优,排序结果具有更好的故障检测效果,可为新型列控系统功能测试提供新的、高效的解决方案。 展开更多
关键词 新型列控系统 测试用例排序 聚类分析 组合测试 临时限速 故障检测
在线阅读 下载PDF
市域铁路列控系统密钥管理技术研究
6
作者 王璐 刘月 +3 位作者 黄挺 孟凡一 杨俐 田宏达 《城市轨道交通研究》 北大核心 2025年第10期166-172,189,共8页
[目的]针对市域铁路列控系统车地通信认证密钥的离线管理方式存在安全性不足、操作复杂且跨域运行效率低的问题,提出一种综合性在线密钥管理技术方案。[方法]该技术方案以在线密钥管理为核心,离线密钥管理为补充,构建覆盖密钥全生命周... [目的]针对市域铁路列控系统车地通信认证密钥的离线管理方式存在安全性不足、操作复杂且跨域运行效率低的问题,提出一种综合性在线密钥管理技术方案。[方法]该技术方案以在线密钥管理为核心,离线密钥管理为补充,构建覆盖密钥全生命周期的安全管理体系;采用符合国家标准的密码算法,结合数字信封与数字签名机制,实现安全的数据传输与身份认证;明确同域、异域及特殊场景下的密钥管理技术流程。[结果及结论]该技术方案具有较高的可行性与扩展性,通过新建密钥管理中心(KMC)和证书管理中心(CMC)改造与兼容现有信号设备(KMAC设备);研究成果可为市域铁路列控系统在多场景下的安全稳定运行提供技术支持,也将为轨道交通密钥管理技术的进一步优化提供参考。 展开更多
关键词 市域铁路 列控系统 密钥管理 在线密钥管理 数字信封 数字签名
在线阅读 下载PDF
400km/h高速铁路列控系统设备电磁环境适应性分析
7
作者 苏立轩 李天石 李萌 《中国铁路》 北大核心 2025年第6期131-138,共8页
随着400km/h动车组运行速度和牵引功率的提升,牵引电流和弓网离线产生的电磁辐射会随之增加,给车载及轨旁信号设备正常运行带来隐患。针对400km/h高速铁路列控系统设备电磁环境适应性开展研究,通过对大量实测数据的统计与总结,分析电磁... 随着400km/h动车组运行速度和牵引功率的提升,牵引电流和弓网离线产生的电磁辐射会随之增加,给车载及轨旁信号设备正常运行带来隐患。针对400km/h高速铁路列控系统设备电磁环境适应性开展研究,通过对大量实测数据的统计与总结,分析电磁骚扰在各敏感信号设备端口处的时域与频域特性,以及列车正常运行与特殊工况下,骚扰源对敏感信号设备的电磁影响程度。研究表明,在列车过分相工况下,车载BTM、TCR、SDU、电源等端口以及轨旁信号电缆芯线的电磁骚扰较为明显,可能会对地面应答器报文接收、轨道电路接收、车速判定以及轨旁信号传输造成影响。研究结论可为指导400km/h动车组与车载列控系统的设计、解决高速铁路运营中出现的电磁兼容问题提供参考。 展开更多
关键词 400km/h动车组 列控系统 电磁环境 过分相 电磁骚扰
在线阅读 下载PDF
基于以太网总线的高铁列控系统地面安全计算机平台设计
8
作者 郑长宗 于健洁 +1 位作者 任飞 魏东冬 《铁道标准设计》 北大核心 2025年第7期171-178,共8页
随着列控系统工程化、国产化的不断深入研究,有必要设计实现具备高性能、高带宽、拥有自主知识产权的通用安全计算机平台,为列控系统各装备提供底层的通用基础软硬件载体。提出一种基于千兆以太网的列控系统地面安全计算机平台设计,通... 随着列控系统工程化、国产化的不断深入研究,有必要设计实现具备高性能、高带宽、拥有自主知识产权的通用安全计算机平台,为列控系统各装备提供底层的通用基础软硬件载体。提出一种基于千兆以太网的列控系统地面安全计算机平台设计,通过分析平台的系统功能边界、六类通用接口,确定平台的功能与接口;通过分析平台主流架构的可靠性及安全性,设计平台采用二取二乘二架构;通过分析平台的功能层次,划分平台的软硬件层次及边界。硬件上设计了平台的双以太网总线架构,分析各功能板卡的功能分配,设计了安全计算单元板、接口板的双CPU结构,该结构支持国产、非国产芯片的原位替换。软件上分析了系内二取二同步比较及双系间乘二同步的关键功能,设计了双系4个处理器的同步时序与数据流;分析了平台核心功能—双系切换逻辑,定义了双系工作状态,设计了工作状态转移图与转移事件表。最后,对设计平台的性能进行测试,测试结果表明,该平台的计算性能与带宽比既有平台有显著提升。基于千兆高速以太网的列控系统地面安全计算机平台的性能、可靠性能够满足高铁列控系统地面信号装备(CBI、TCC、RBC、TSRS等)的通用运算及扩展开发需求。 展开更多
关键词 高速铁路 列控系统 安全计算机平台 自主知识产权 千兆以太网 同步比较 切换
在线阅读 下载PDF
基于车车通信列控系统的城市轨道交通列车运行效率分析 被引量:11
9
作者 邓志翔 王成 +1 位作者 徐军 姜西 《城市轨道交通研究》 北大核心 2024年第3期106-113,共8页
[目的]城市轨道交通T2T(车车通信)列控系统是一种新型的信号系统,其通过资源化管理方式对轨旁设备进行管控。为了验证该系统的优越性,需对该系统下的列车运行效率进行分析。[方法]针对T2T列控系统,基于资源管理层面和安全防护原理的特点... [目的]城市轨道交通T2T(车车通信)列控系统是一种新型的信号系统,其通过资源化管理方式对轨旁设备进行管控。为了验证该系统的优越性,需对该系统下的列车运行效率进行分析。[方法]针对T2T列控系统,基于资源管理层面和安全防护原理的特点,在折返工况下,将原本由联锁控制的双动道岔转变为两个单动道岔,并基于列车精确自定位实现ATP(列车自动防护),提高了岔区线路资源的使用能力;在区间和车站追踪工况下,通过前后车对于车速、加速度、所处线路位置等信息的实时互传,利用相对速度安全防护原理进一步缩小了列车的追踪间隔。通过上述两方面的技术革新,结合城市轨道交通线路的实际数据,对站后交叉渡线折返、站前单渡线折返、区间与车站追踪等运营场景进行了模拟仿真计算,确定了T2T列控系统的折返能力和区间追踪能力。[结果及结论]相较传统的CBTC(基于通信的列车控制系统),T2T列控系统在折返能力、追踪能力等方面均有着显著提升,更加适应于超大运量的城市轨道交通线路;T2T列控系统架构简单,轨旁设备少,尤其适合城市轨道交通的大修改造项目。 展开更多
关键词 城市轨道交通 运行效率 列控系统 车车通信
在线阅读 下载PDF
基于人工免疫的城轨列控系统信息安全态势评估方法 被引量:4
10
作者 李其昌 步兵 +1 位作者 赵骏逸 李刚 《中国铁道科学》 EI CAS CSCD 北大核心 2024年第3期128-137,共10页
针对城轨列控系统面临的信息安全风险日益突出的问题,提出基于人工免疫系统的态势评估(AISSA)方法,即利用城轨列控系统数据特性,设计检测器成熟机制和攻击检测方法,实时感知城轨列控系统遭受的网络攻击;设计检测器克隆和变异机制,进一... 针对城轨列控系统面临的信息安全风险日益突出的问题,提出基于人工免疫系统的态势评估(AISSA)方法,即利用城轨列控系统数据特性,设计检测器成熟机制和攻击检测方法,实时感知城轨列控系统遭受的网络攻击;设计检测器克隆和变异机制,进一步丰富检测器种群,提高城轨列控系统感知网络攻击的能力;仿真试验模拟城轨列控系统遭受不同强度身份认证拒绝服务攻击和TCP拒绝服务攻击,采用AIS-SA方法感知网络攻击并实时量化系统的安全态势。结果表明:AIS-SA方法感知网络攻击的能力较强,当检测器进化至25代时,对身份认证拒绝服务攻击的检测率为96.81%、误报率为0.25%,对TCP拒绝服务攻击的检测率为98.46%、误报率为1.32%,与其他方法相比检测率较高且误报率较低;此外,AIS-SA方法能表征不同攻击强度下城轨列控系统安全态势,当攻击强度增大时实时态势量化值升高,反之减小;仿真结果验证了AIS-SA方法的有效性和准确性。 展开更多
关键词 城轨 列控系统 信息安全 态势评估 人工免疫 检测器
在线阅读 下载PDF
新型列控系统无线闭塞中心测试平台研究 被引量:10
11
作者 郝建 杨志杰 +2 位作者 卢佩玲 吕方瑶 单一龙 《铁道标准设计》 北大核心 2024年第4期211-219,共9页
新型列控系统是对我国列车运行控制系统的最新研究与技术探索,无线闭塞中心作为新型列控系统的地面核心设备,实时控制列车间的追踪间隔,保障管辖范围内列车安全运行。为发掘新型列控系统无线闭塞中心设计中的不足,需利用测试平台对其安... 新型列控系统是对我国列车运行控制系统的最新研究与技术探索,无线闭塞中心作为新型列控系统的地面核心设备,实时控制列车间的追踪间隔,保障管辖范围内列车安全运行。为发掘新型列控系统无线闭塞中心设计中的不足,需利用测试平台对其安全功能进行充分验证。既有无线闭塞中心测试平台由于逻辑及数据结构设计问题,难以适配新型列控系统的工程数据,且无法满足新型列控系统部分功能的测试需求。通过分析新型列控系统工程数据及无线闭塞中心系统功能,对既有测试平台进行升级,将逻辑构建方式由以数据为基础调整为以模型为基础,降低测试平台与工程数据的耦合性;利用真实线路数据及新型列控系统中典型运用场景对该测试平台功能进行验证。验证结果表明,该测试平台解决了适配度不高、数据配置复杂的问题,可以满足新型列控系统无线闭塞中心多场景测试需求。 展开更多
关键词 新型列控系统CTCS-N 无线闭塞中心 测试平台 仿真环境 移动闭塞
在线阅读 下载PDF
列控系统仿真测试关键技术 被引量:11
12
作者 禹志阳 郜新军 万林 《中国铁路》 北大核心 2024年第5期82-89,共8页
随着我国高铁线路网络化规模持续扩大及列控系统运用需求日趋复杂,仿真测试手段作为高铁现场测试的有效补充和完善,已成为列控系统测试技术发展的必然趋势。开展适用于工程化的列控系统仿真测试技术研究,构建基于云平台的总体架构;重点... 随着我国高铁线路网络化规模持续扩大及列控系统运用需求日趋复杂,仿真测试手段作为高铁现场测试的有效补充和完善,已成为列控系统测试技术发展的必然趋势。开展适用于工程化的列控系统仿真测试技术研究,构建基于云平台的总体架构;重点研究平台快速搭建与切换、虚实结合与虚实互换、测试案例编制与序列自动生成等关键测试技术,从而实现仿真平台自动测试功能,并结合实际线路进行广泛验证。应用效果表明,仿真测试平台能有效提高测试的覆盖度和测试深度,并在现场试验前提前发现问题,满足工程化应用需求。列控系统仿真测试平台的成功研制,为现场联调联试提供了重要补充。 展开更多
关键词 列控系统 仿真测试 云平台 虚拟化 联调联试
在线阅读 下载PDF
高铁列控系统工程仿真测试平台建设方案研究及验证 被引量:6
13
作者 程远 《铁道标准设计》 北大核心 2024年第6期201-206,228,共7页
高速铁路列控系统安全等级高,设备组成繁多,功能结构和接口关系非常复杂,现场测试和验证的难度极大。利用仿真测试技术,能将完全依赖于现场的动态验证测试工作通过仿真测试实施完成,可以进一步提高测试覆盖度、降低对运输的影响。在对... 高速铁路列控系统安全等级高,设备组成繁多,功能结构和接口关系非常复杂,现场测试和验证的难度极大。利用仿真测试技术,能将完全依赖于现场的动态验证测试工作通过仿真测试实施完成,可以进一步提高测试覆盖度、降低对运输的影响。在对项目建设必要性、建设目标、技术方案等进行研究的基础上,对地面设备、车载设备、仿真系统方案等进行具体研究。经比选,高铁列控系统工程仿真测试平台地面设备采用半实物、半仿真结构,利用云平台技术,具有更好的扩展性、经济性;车载设备采用完全真实设备,提高了测试的可信性和真实性。通过构建仿真测试平台并基于湖杭高铁仿真环境进行验证,研究结果表明,与现场测试相比,仿真测试完成了更多的场景、案例以及进路测试,数量分别增加了275%、336%及442%,可以进一步提升列控系统测试的质量、深度和广度。 展开更多
关键词 高速铁路 列控系统 仿真测试平台 建设方案 云平台 半实物半仿真
在线阅读 下载PDF
面向新型列控系统的高速列车智能驾驶策略优化方法 被引量:1
14
作者 侯卓璞 刘斌 +1 位作者 刘雅晴 李一楠 《铁道运输与经济》 北大核心 2024年第12期169-177,共9页
新型列控系统具备移动闭塞功能,可进一步提升高速铁路的运输效率。针对现有C2/C3+ATO技术无法直接应用在移动闭塞条件下的列车追踪运行场景中,展开面向新型列控系统的高速列车智能驾驶策略优化研究。在强化学习框架下将该问题转化为马... 新型列控系统具备移动闭塞功能,可进一步提升高速铁路的运输效率。针对现有C2/C3+ATO技术无法直接应用在移动闭塞条件下的列车追踪运行场景中,展开面向新型列控系统的高速列车智能驾驶策略优化研究。在强化学习框架下将该问题转化为马尔科夫决策问题,设计列车追踪运行的状态集、动作集及奖励函数,考虑列车追踪运行的静态与动态约束,基于列车动力学模型搭建多列车追踪运行环境,构建基于深度Q网络的列车智能驾驶策略优化方法。设计3个仿真案例,对所提方法的有效性进行验证。仿真结果表明,与遗传算法相比深度Q网络算法可以快速得到追踪列车的驾驶策略曲线,后车可在准点的前提下实现节能和安全追踪运行,为高速列车智能驾驶策略优化研究提供参考。 展开更多
关键词 新型列控系统 车智能驾驶 移动闭塞 深度Q网络 强化学习
在线阅读 下载PDF
基于模型的CTCS-3级列控系统测试案例自动生成方法 被引量:15
15
作者 吕继东 朱晓琳 +2 位作者 李开成 唐涛 王海峰 《西南交通大学学报》 EI CSCD 北大核心 2015年第5期917-927,共11页
为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场... 为了提高CTCS-3级列控系统测试案例生成效率,提出了基于混合通信顺序进程(hybrid communication sequential process,HCSP)形式化模型和时间自动机(timed automaton,TA)形式化模型的列控系统测试案例自动生成方法;建立了列控系统运营场景的时序模型,分析了列控系统运营场景规范中时序功能的正确性;在时序模型的基础上,设计了满足全状态、全变迁和自定义-使用3种领域无关覆盖准则的列控系统测试案例自动生成算法,并以RBC(radio block center,RBC)切换场景为例,生成了100%全状态、全变迁和自定义-使用覆盖准则的测试案例套.从测试套数量、测试时间和内存消耗3个方面分析测试案例的生成效率表明:自定义-使用覆盖准则的测试案例套测试时间和内存消耗最小,分别为0.02 s和9.4 MB,本文方法提高列控系统测试案例生成效率最大达30%. 展开更多
关键词 形式化模型 列控系统 HCSP TA 测试案例自动生成 测试套
在线阅读 下载PDF
动态间隔可调整的列控系统自主感知关键技术及应用 被引量:14
16
作者 蔡伯根 朱强 +3 位作者 上官伟 刘丹 姜维 王剑 《北京交通大学学报》 CAS CSCD 北大核心 2019年第1期31-41,共11页
为提高铁路运输效率、优化列车控制、降低铁路运营维护成本,提出一种动态间隔可调整的列控系统方案,分析列控系统自主感知关键技术和动态间隔调整原理.研究基于卫星导航和惯性导航的组合定位技术,在差分定位和数字轨道地图的辅助下,实... 为提高铁路运输效率、优化列车控制、降低铁路运营维护成本,提出一种动态间隔可调整的列控系统方案,分析列控系统自主感知关键技术和动态间隔调整原理.研究基于卫星导航和惯性导航的组合定位技术,在差分定位和数字轨道地图的辅助下,实现列车连续无缝定位;研究基于三级告警机制的列车追踪预警方法和列车间隔动态调整策略.在京沈高速铁路进行了实测试验,结果表明:在列车高速运行环境下,差分定位误差均值为2.5m,数字轨道地图辅助的组合定位误差均值为1.5m,测试速度与列车实际速度误差±0.01%,满足动态间隔可调整的列控系统对列车运行状态精准、连续获取的需求.基于三级告警机制的列车追踪预警方法可以实时监测列车间隔变化并及时给出预警信号,为司机操作提供参考,保障列车安全运行. 展开更多
关键词 列控系统 动态间隔调整 自主感知 组合定位 追踪预警
在线阅读 下载PDF
CTCS-3级列控系统临时限速建模与验证 被引量:15
17
作者 袁磊 王俊峰 +1 位作者 康仁伟 吕继东 《西南交通大学学报》 EI CSCD 北大核心 2013年第4期708-714,共7页
为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF... 为了满足临时限速系统的实时性要求,采用时间自动机理论,对CTCS-3级列控系统临时限速工作流程分别建立了各设备的时间自动机子模型,进而构成临时限速系统的时间自动机网络模型,并基于临时限速系统技术规范的参数对模型进行赋值;采用BNF语法对临时限速系统待验证的属性进行了形式化描述,并应用UPPAAL验证工具对临时限速模型的安全性和受限活性进行仿真验证.验证结果表明:与现有临时限速系统的时间参数设置相比,修正后的时间参数设置避免了出现系统死锁现象;在不影响安全功能属性和受限活性的基础上,提高了临时限速系统的实时性,可在规范规定时间5 s内做出响应. 展开更多
关键词 CTCS-3级列控系统 临时限速 时间自动机 UPPAAL 实时性
在线阅读 下载PDF
干线铁路CTCS-2级列控系统融合ATO的方案研究 被引量:21
18
作者 徐效宁 李一楠 +1 位作者 刘磊 刘德超 《铁道工程学报》 EI 北大核心 2017年第7期78-83,共6页
研究目的:随着珠三角城际铁路的开通,自动驾驶首次在大铁领域得到应用,它能实现列车运行自动控制,提高系统自动化程度和运输效率。由于干线铁路状况更加复杂,如何在干线铁路中应用自动驾驶尚未有明确的技术方案。基于此,本文主要分析干... 研究目的:随着珠三角城际铁路的开通,自动驾驶首次在大铁领域得到应用,它能实现列车运行自动控制,提高系统自动化程度和运输效率。由于干线铁路状况更加复杂,如何在干线铁路中应用自动驾驶尚未有明确的技术方案。基于此,本文主要分析干线铁路的特点和自动驾驶的需求,提出干线铁路CTCS-2级列控系统融合ATO的技术方案。研究结论:(1)干线铁路应用自动驾驶最可行的自动化等级应为GoA 2级,即半自动化驾驶运行模式;(2)干线铁路应实现的自动驾驶功能主要为区间自动驾驶、区间运行自动调整、进站对标停车和车门防护;(3)考虑干线铁路的特点和既有设备的变动要求,干线铁路C2系统融合ATO在工程实施中推荐采用基于司机估值的技术方案;(4)本研究成果可为干线线路列控系统引入自动驾驶提供一定的借鉴。 展开更多
关键词 干线铁路 列控系统 车自动驾驶(ATO) CTCS2+ATO
在线阅读 下载PDF
CTCS-3级列控系统规范的建模与形式化验证方法研究 被引量:13
19
作者 谢雨飞 唐涛 +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
基于UPPAAL-TRON的高速铁路列控系统非确定性时延一致性测试研究 被引量:6
20
作者 吕继东 朱晓琳 +2 位作者 王海峰 李开成 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2016年第1期54-64,共11页
高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离... 高速铁路列车运行控制系统是一个典型的实时系统,如何保证列控系统在时延约束条件下功能实现的正确性至关重要。传统的离线测试方法已广泛用于列控系统功能一致性测试中,然而,随着系统复杂度的提高,物理环境中时延的非确定性制约传统离线测试方法的应用。本文引入"在线测试"的概念,利用时间自动机理论对典型场景车载设备的RBC切换过程建模,并定义可观测消息通道将该模型划分为环境和设备两部分,从而借助工具UPPAAL-TRON"边生成边执行"测试用例,找出了在非确定性时延下,仿真RBC测试模型与测试需求中不一致的地方。并通过改进测试模型中RBC处理占用参数的设置,实现对RBC切换过程中跨界传递联锁消息时延非确定性的一致性测试。 展开更多
关键词 列控系统 非确定性时延 一致性测试 UPPAAL-TRON RBC切换
在线阅读 下载PDF
上一页 1 2 13 下一页 到第
使用帮助 返回顶部