CTCS-1级列控系统总体方案思考与建议 被引量：8

1

作者 王强 刘智平 +1 位作者 王松林 刘洋 《中国铁路》 2021年第2期81-87,共7页

为完善CTCS列控系统总体架构,基于CTCS列控系统特点分析,并结合既有铁路列控系统现状,对CTCS-1级列控系统总体方案提出建议。重点从列控系统的兼容性、冗余性、可转换、可降级4个方面对CTCS-1级列控系统总体技术方案和总体结构进行论述... 为完善CTCS列控系统总体架构,基于CTCS列控系统特点分析,并结合既有铁路列控系统现状,对CTCS-1级列控系统总体方案提出建议。重点从列控系统的兼容性、冗余性、可转换、可降级4个方面对CTCS-1级列控系统总体技术方案和总体结构进行论述,并对系统安全性进行分析,为CTCS-1级列控系统的发展提供参考。 展开更多

关键词 铁路列控系统 CTCS-1 兼容性 冗余性 可转换 可降级

下载PDF 职称材料

铁路列控系统应急案例知识重用方法 被引量：2

2

作者 赵开功 张晓蕾 +2 位作者 李长明 越成浩 盖泳伶 《中国安全科学学报》 CAS CSCD 北大核心 2022年第S02期217-224,共8页

为提升重载铁路煤炭运输事故救援预案的可操作性和实用性,分析国能朔黄铁路公司列控系统的应预案知识结构,在相似度计算中融合适应度与相关度,提出一种新的案例检索方法,即新相似度计算方法;基于“2层本体”组织方式构建知识共享体系结... 为提升重载铁路煤炭运输事故救援预案的可操作性和实用性,分析国能朔黄铁路公司列控系统的应预案知识结构,在相似度计算中融合适应度与相关度,提出一种新的案例检索方法,即新相似度计算方法;基于“2层本体”组织方式构建知识共享体系结构,设定阈值通过知识重用模型检索历史案例,利用新相似度计算方法判断适应度更高的历史案例,并在国家能源集团应急指挥系统生产安全事故救援和应急演练中的实际应用。结果表明:该方法能够筛选出与当前案例在适应度和相似度2个方面均适用的历史案例,为当前案例的应急响应过程提供可行性的处置参考方案,有效缩短联动协同救援响应时间。 展开更多

关键词 铁路列控系统 应急处置 案例检索 知识重用 应急案例

下载PDF 职称材料

基于CTCS2+ATO的市域(郊)铁路列控系统技术研究 被引量：9

3

作者 吴培栋 《铁路通信信号工程技术》 2023年第7期16-23,共8页

介绍CTCS+ATO列控系统的功能和结构,分析并提出CTCS2+ATO列控系统应用于市域(郊)铁路列控系统需进行的优化项,分别对减少追踪间隔时间、缩短到发线有效长、支持“四网融合”、支持多模车地通信进行分析和探讨,并结合既有研究成果提出建... 介绍CTCS+ATO列控系统的功能和结构,分析并提出CTCS2+ATO列控系统应用于市域(郊)铁路列控系统需进行的优化项,分别对减少追踪间隔时间、缩短到发线有效长、支持“四网融合”、支持多模车地通信进行分析和探讨,并结合既有研究成果提出建议解决方案。 展开更多

关键词 CTCS2+ATO 市域(郊)铁路列控系统 自动折返 到发线有效长 四网融合 多模车地通信 技术研究

下载PDF 职称材料

基于HUML的列控系统形式化建模与参数分析方法 被引量：7

4

作者 赵晓宇 程瑞军 +1 位作者 程雨 马小平 《铁道学报》 EI CAS CSCD 北大核心 2016年第11期80-87,共8页

针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;... 针对高速列车控制系统的混成特性,提出了基于混成统一化建模语言的列控系统形式化建模和分析方法。运用UML2.0及其扩展机制对列控系统的混成行为进行建模。定义由HUML模型到HYTECH模型的转换规则,将HUML模型转换为线性混成自动机模型;将列控系统安全性需求加入到HYTECH模型,建立安全HYTECH模;利用模型检验工具HYTECH对安全HYTECH模型进行自动分析。根据所提出的基于UML概要文件建模方法,以移动闭塞系统中的追踪模型为例,建立后行列车的控制器HUML模型;通过计算安全HYTECH模型的可达集得到未知控制参数的取值范围;验证结果表明基于HUML的列控系统建模和分析方法的有效性。 展开更多

关键词 高速铁路列控系统 UML扩展机制 混成自动机 移动闭塞控制系统 控制参数分析

下载PDF 职称材料

中国高速铁路列控系统的形式化分析与验证 被引量：6

5

作者 郭丹青 吕继东 +4 位作者 王淑灵 唐涛 詹乃军 周达天 邹亮 《中国科学：信息科学》 CSCD 北大核心 2015年第3期417-438,共22页

高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验... 高速铁路列控系统的安全与否直接涉及人民的生命财产安全,对高速铁路列控系统进行严格的形式化验证具有重要意义.但是随着高速铁路列控系统软件以及硬件规模的不断增大,系统的复杂性有了很大的提高,直接对高速铁路列控系统进行形式化验证已经变得越来越困难.另一方面,由于图形化建模和仿真表现方式直观且易于理解,在工程实践中已经得到了广泛的应用.因此,为了更好地保证铁路系统的安全,对系统进行仿真,排除部分安全隐患显得尤为重要.本文通过使用Simulink/Stateflow建模工具对高速铁路列控系统的行车许可,等级升级及部分模式转换场景进行了建模.该模型具有普适性,通过修改参数信息,可以对不同的等级转换和模式转换的组合情况进行仿真.本文使用该模型对10种组合情况进行了仿真,发现在某些情况下可能会出现不正常停车或者等级转换失败的现象.类似于测试,仿真仅仅能够发现错误,如未发现错误,也不能证明系统是正确的.因为仿真的这种不完备性,对仿真辅助形式验证在安全攸关系统设计中非常必要.为此,取其中一个不正常停车的场景进行了形式验证,验证结果证明在任何情况下都不能正常停车. 展开更多

关键词 中国高速铁路列控系统 Simulink/Stateflow 仿真 模式转换 等级转换 形式化验证

原文传递

高速铁路宽带无线接入网的分析与设计 被引量：2

6

作者 何宇 周志刚 卜智勇 《计算机应用与软件》 CSCD 北大核心 2013年第2期128-132,164,共6页

随着我国高速铁路网的大规模扩张,原有的铁路无线接入技术在数据传输速率方面已经不适应新的通信业务需求,因此在铁路通信系统的无线接入专网中引入宽带无线通信技术已经成为必然趋势。结合高速铁路的通信业务需要,根据CTCS列控数据传... 随着我国高速铁路网的大规模扩张,原有的铁路无线接入技术在数据传输速率方面已经不适应新的通信业务需求,因此在铁路通信系统的无线接入专网中引入宽带无线通信技术已经成为必然趋势。结合高速铁路的通信业务需要,根据CTCS列控数据传输标准对铁路通信系统的QoS保障要求,分析比较了当前宽带无线通信协议中的几种接入网架构,并设计了高铁宽带无线通信接入网架构。 展开更多

关键词 高速铁路 宽带无线通信 网络架构 接入网 服务质量指标 中国铁路列控系统

下载PDF 职称材料

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法 被引量：2

7

作者 吕继东 李开成 +1 位作者 唐涛 袁磊 《中国铁道科学》 EI CAS CSCD 北大核心 2012年第5期91-97,共7页

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具... 针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。 展开更多

关键词 高速铁路列控系统 混合通信顺序进程 混合自动机 行车许可场景

下载PDF 职称材料

面向安全评估的CTCS-2列控系统安全性测试环境 被引量：1

8

作者 熊静 喻钢 +1 位作者 徐中伟 郦萌 《计算机应用》 CSCD 北大核心 2010年第8期2181-2184,2188,共5页

高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试... 高速铁路CTCS-2列控系统是典型的安全苛求系统。根据安全苛求系统的特点,针对高速铁路CTCS-2列控系统的安全性测试和评估需求,设计了场景—事件驱动的测试脚本语言SED_TSL,提出了高速铁路CTCS-2列控系统测试环境的功能、系统框架、测试策略,实现了基于SED_TSL的CTCS-2列控系统自动化测试环境,并投入到铁道部的CTCS-2列控系统产品制式检测中,有效地实现了列控系统产品的功能与安全性测试。 展开更多

关键词 高速铁路列控系统 安全苛求系统 安全性 安全性测试

下载PDF 职称材料

基于Stateflow的城际铁路列控系统车载控制子系统建模与分析 被引量：1

9

作者 杜庆豪 李开成 《铁路计算机应用》 2017年第3期40-44,共5页

根据城际铁路列控系统中离散逻辑跳转和连续时间行为交织的特征,采用Matlab软件中的Simulink和Stateflow结合的方式实现车载控制子系统混成行为的建模与仿真,分析不同速度下列车超过紧急制动触发速度后产生的紧急制动距离以及列车实际... 根据城际铁路列控系统中离散逻辑跳转和连续时间行为交织的特征,采用Matlab软件中的Simulink和Stateflow结合的方式实现车载控制子系统混成行为的建模与仿真,分析不同速度下列车超过紧急制动触发速度后产生的紧急制动距离以及列车实际运行曲线。结果表明:建立的紧急制动触发模型所产生的制动距离满足动车组厂家给出的要求,并且具有一定的安全余量;该建模方法直观高效,易于理解,模型能够很好的描述系统特性。仿真结果也可为车载控制子系统的设计和实现提供一定的支持。 展开更多

关键词 城际铁路列控系统 车载控制子系统 紧急制动距离 ATO控制逻辑

下载PDF 职称材料

基于XMSF的高速铁路列控系统仿真测试平台设计 被引量：1

10

作者 陈建球 唐涛 《系统仿真学报》 CAS CSCD 北大核心 2013年第5期1090-1095,共6页

总结高速铁路列控系统仿真的特点,提出了基于可扩展建模及仿真框架(XMSF)的高速铁路列控系统仿真测试平台方案,以使平台达到可扩展性,可重用性和可操作性,为高速铁路列控系统仿真测试平台的兼容性和可持续性发展提供支撑。利用XMSF可使... 总结高速铁路列控系统仿真的特点,提出了基于可扩展建模及仿真框架(XMSF)的高速铁路列控系统仿真测试平台方案,以使平台达到可扩展性,可重用性和可操作性,为高速铁路列控系统仿真测试平台的兼容性和可持续性发展提供支撑。利用XMSF可使系统仿真不只局限于某个平台或中间件,可实现仿真测试系统的跨平台和跨地域性。同时,采用分层结构,在平台中增加仿真辅助层,通过XML描述不同运行模式,实现仿真运行地自动化,减少人员操作,提高系统仿真及测试的高效性。 展开更多

关键词 XMSF 高速铁路列控系统 可扩展性 仿真辅助

下载PDF 职称材料

和利时参与高铁列控系统项目获国家科技进步奖

11

《中国仪器仪表》 2018年第2期18-18,共1页

2018年1月8日,国家科学技术奖励大会在人民大会堂举行,中共中央、国务院领导出席大会为2017年度国家科学技术奖励项目获奖者颁奖。此次颁奖中,由和利时集团副总经理兼北京和利时总裁徐悦、集团副总经理兼北京和利时副总裁兼北京和利时... 2018年1月8日,国家科学技术奖励大会在人民大会堂举行,中共中央、国务院领导出席大会为2017年度国家科学技术奖励项目获奖者颁奖。此次颁奖中,由和利时集团副总经理兼北京和利时总裁徐悦、集团副总经理兼北京和利时副总裁兼北京和利时总工程师何春明参与完成的＂复杂路网条件下高速铁路列控系统互操作和可靠运用关键技术及应用＂项目荣获国家科技进步二等奖。 展开更多

关键词 高速铁路列控系统 和利时

下载PDF 职称材料