期刊文献+
共找到25篇文章
< 1 2 >
每页显示 20 50 100
CTCS-3(中国列车运行控制系统3级)在市域铁路中的应用分析
1
作者 全宏宇 《城市轨道交通研究》 北大核心 2024年第9期260-263,268,共5页
[目的]目前,我国市域铁路仍没有应用CTCS-3(中国列车运行控制系统3级)的案例。为扩展CTCS(中国列车运行控制系统)在市域铁路中的应用,应对CTCS-3在市域铁路的应用进行探讨。[方法]分析了现有市域铁路的特点及CTCS制式在市域铁路应用的现... [目的]目前,我国市域铁路仍没有应用CTCS-3(中国列车运行控制系统3级)的案例。为扩展CTCS(中国列车运行控制系统)在市域铁路中的应用,应对CTCS-3在市域铁路的应用进行探讨。[方法]分析了现有市域铁路的特点及CTCS制式在市域铁路应用的现状,提出了CTCS-3在市域铁路应用的技术方案。分析了CTCS-3在市域铁路的适应性,对应用于市域铁路的CTCS-3的技术方案提出了优化建议。[结果及结论]与CTCS-2(中国列车运行控制系统2级)相比,CTCS-3(不以CTCS-2为后备)在市域铁路中具有更好的适应性,其在牵引供电制式适应性、保护区段设置方式、与其他轨道交通制式互联互通等方面均具有优势,信号工程成本也较低。 展开更多
关键词 市域铁路 列车控制系统 中国列车运行控制系统3级 技术方案优化
在线阅读 下载PDF
基于禁忌搜索的列车运行控制系统测试用例生成方法研究 被引量:4
2
作者 邢毅 赵一莉 +1 位作者 张雁鹏 左兴 《铁道学报》 EI CAS CSCD 北大核心 2024年第5期66-75,共10页
当采用故障注入方法对高速铁路列车运行控制系统功能进行组合测试时,系统容易受到输入参数之间约束关系的影响,产生无效测试用例。为了应对多个故障间的耦合作用,以临时限速场景为例,提出一种基于禁忌搜索算法的测试用例生成方法。首先... 当采用故障注入方法对高速铁路列车运行控制系统功能进行组合测试时,系统容易受到输入参数之间约束关系的影响,产生无效测试用例。为了应对多个故障间的耦合作用,以临时限速场景为例,提出一种基于禁忌搜索算法的测试用例生成方法。首先,提取临时限速场景的设备故障特征作为故障注入输入参数,分析设备间的约束关系,建立约束满足模型;然后,依据信号设备的特点,改进禁忌搜索算法的初始解生成方式和邻域搜索过程,生成满足约束关系的测试用例;最后,依托京张智能高速铁路列车运行控制系统仿真测试平台,结合现场线路数据和实际设备信息,验证所提算法的有效性。实验结果表明:临时限速场景中加入约束后的测试用例个数比加入约束前在覆盖维度为2、3、4时分别减少了7.7%、7.0%、4.5%;所提算法生成的测试用例个数比IPOG、IPOG-F、mAETG、TS算法分别降低了32%、30.1%、24.5%、3.7%,且组合覆盖率比随机测试和自适应随机测试提高了9.5%和3.7%。该研究成果可为列车运行控制系统优化及安全性验证提供一定的参考。 展开更多
关键词 中国列车运行控制系统 禁忌搜索 测试用例 临时限速 组合测试
在线阅读 下载PDF
“轨道交通列车运行控制系统”研究团队
3
《北京交通大学学报》 CAS CSCD 北大核心 2018年第3期142-142,共1页
北京交通大学“轨道交通列车运行控制系统”研究团队是由1991年成立的运输自动化科学技术研究所发展而来,主要从事轨道交通列控系统领域基础理论和关键技术研究、核心设备研制、系统集成测试、成果产业化等工作.研究团队汇集了轨道交通... 北京交通大学“轨道交通列车运行控制系统”研究团队是由1991年成立的运输自动化科学技术研究所发展而来,主要从事轨道交通列控系统领域基础理论和关键技术研究、核心设备研制、系统集成测试、成果产业化等工作.研究团队汇集了轨道交通列控领域的优秀人才,包括18名教授,27名副教授,其中中国工程院院士1人,国家级“百千万人才工程”入选者3人,全国有突出贡献的中青年专家1人,詹天佑铁道科学技术奖大奖、成就奖、贡献奖、青年奖9人,中青年科技创新领军人才1人,“万人计划”科技创新领军人才1人,国家优青基金获得者1人,铁道部有突出贡献中青年专家5人,茅以升铁道科技奖3人,铁道部火车头奖1人,教育部“新世纪优秀人才支持计划”入选者2人,北京市科技新星1人,享受国务院特殊津贴7人. 展开更多
关键词 列车运行控制系统 轨道交通 自动化科学技术 中国工程院院士 人才工程 北京交通大学 科技创新 成果产业化
在线阅读 下载PDF
CTCS-3级列车控制系统仿真平台框架的构建
4
作者 李俊娥 《铁道运输与经济》 北大核心 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列车控制系统建模方法研究 被引量:5
5
作者 王帅 吉吟东 杨士元 《铁道学报》 EI CAS CSCD 北大核心 2011年第9期55-61,共7页
对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模... 对CTCS-3列车控制系统进行有效的测试、分析和验证是保证列车运行安全和旅客生命财产安全的重要手段,而形式化模型是系统测试、分析和验证的基础。本文以CTCS-3列车运行控制系统的UML非形式化模型为基础,以自动机模型作为系统形式化模型描述的数学工具,研究UML顺序图(场景)自动转化为自动机网模型的方法。首先将场景的UML顺序图自动转化为子系统的子自动机模型,然后通过合并不同场景的子自动机模型,得到子系统的组元自动机模型,最后通过对通信通道的建模得到系统的自动机网模型。使用本方法,基于系统的UML顺序图模型可以自动生成系统的自动机网模型。 展开更多
关键词 CTCS-3列车运行控制系统 自动机 顺序图 形式化建模 运营场景
在线阅读 下载PDF
基于GPRS分组交换网络的CTCS-3级列控系统车地安全数据传输的可行性 被引量:9
6
作者 丁建文 宋甲英 +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级列控系统临时限速服务器建模与形式化验证 被引量:11
7
作者 万勇兵 徐中伟 梅萌 《系统仿真学报》 CAS CSCD 北大核心 2013年第1期132-138,共7页
临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构... 临时限速服务器是CTCS-3级列控系统的重要组成部分,其系统安全性直接影响到高速铁路的运营安全。在TSRS系统研发过程中需对系统进行仿真建模和验证,发现系统设计错误,以保证系统的安全性。分析CTCS-3级列控系统临时限速服务器的组成结构,提取系统功能和性能规范约束,利用消息顺序图对TSRS与外部系统之间的信息交互行为建模,并将系统MSC模型转化为UPPAAL中的时间自动机仿真模型,对系统的功能和性能要求进行形式化验证。验证结果确认了系统的安全性和受限活性,为进一步完善TSRS设计和系统开发提供参考。 展开更多
关键词 中国列车运行控制系统 临时限速服务器 消息顺序图 时间自动机 UPPAAL
在线阅读 下载PDF
基于贝叶斯网络的CTCS-3级列控车载系统韧性 被引量:2
8
作者 吕彪 刘于萌 《西南交通大学学报》 EI CSCD 北大核心 2022年第5期949-959,共11页
为弥补现有指标的不足,引入韧性作为非常态事件下CTCS-3级(China train control system-3)列控车载子系统运行稳定性的测度指标.提出了车载子系统韧性量化评估方法,构建了基于贝叶斯网络(Bayesian network,BN)的韧性评估模型,并定义了5... 为弥补现有指标的不足,引入韧性作为非常态事件下CTCS-3级(China train control system-3)列控车载子系统运行稳定性的测度指标.提出了车载子系统韧性量化评估方法,构建了基于贝叶斯网络(Bayesian network,BN)的韧性评估模型,并定义了5种基于韧性的部件重要度指标;进一步利用贝叶斯网络双向推理功能,计算了车载子系统在不同扰动情景下的韧性及部件重要度指标.研究结果表明:韧性可全面描述车载子系统抵御扰动和从扰动中恢复的能力,非常态事件扰动下,韧性与可用性指标存在明显差异;不同扰动情景下系统韧性明显不同,扰动发生时,车载子系统面临磁暴影响时的韧性为0.8017,而遭遇雷电时的韧性为0.8819,面临冰雪扰动时的韧性为0.9880;部件重要度存在情景依赖,同一部件在不同扰动情景下重要度排序可能不同,且可能随时间动态变化. 展开更多
关键词 列车运行控制 韧性 CTCS-3 车载子系统 贝叶斯网络 重要度分析
在线阅读 下载PDF
时速300~350km客运专线信号系统及与既有系统兼容方案研究 被引量:2
9
作者 何永发 《中国铁路》 北大核心 2009年第11期7-12,共6页
京津城际铁路延伸线二期工程作为京津塘城际铁路通路的一部分,采用以CTCS-3级列控系统为核心的信号系统,同时兼顾京津城际铁路CTCS-3D列控系统。分析和研究京津城际铁路延伸线二期工程信号系统的构成及与京津城际铁路信号系统的兼容,提... 京津城际铁路延伸线二期工程作为京津塘城际铁路通路的一部分,采用以CTCS-3级列控系统为核心的信号系统,同时兼顾京津城际铁路CTCS-3D列控系统。分析和研究京津城际铁路延伸线二期工程信号系统的构成及与京津城际铁路信号系统的兼容,提出京津城际铁路延伸线二期工程的可行方案。 展开更多
关键词 京津城际铁路 列车运行控制系统 CTCS-3 CTCS-3D 系统兼容 延伸线
在线阅读 下载PDF
面向高速铁路的全自动运行系统应用 被引量:6
10
作者 龙时丹 《中国安全科学学报》 CAS CSCD 北大核心 2020年第S01期92-97,共6页
为提高高速铁路自动化、智能化程度,以高速铁路列车自动驾驶(ATO)系统替代司乘人员工作,减轻司机劳动强度、降低运行能耗,首先,结合自动化等级(GOA)分类,介绍我国高速铁路列车自动驾驶系统现状;然后,从系统架构、运行工况、车辆接口及... 为提高高速铁路自动化、智能化程度,以高速铁路列车自动驾驶(ATO)系统替代司乘人员工作,减轻司机劳动强度、降低运行能耗,首先,结合自动化等级(GOA)分类,介绍我国高速铁路列车自动驾驶系统现状;然后,从系统架构、运行工况、车辆接口及运营管理需求4个方面,分析高速铁路列车自动驾驶系统与城轨全自动运行(FAO)系统的差异;最后,探讨高速铁路实现全自动运行的可行性。结果表明:全自动运行系统是中国列车运行控制系统(CTCS)的必然发展趋势,可进一步提升高速铁路ATO系统的自动化等级。 展开更多
关键词 高速铁路 全自动运行(FAO) 列车自动驾驶(ATO) 自动化等(GOA) 中国列车运行控制系统(CTCS)
在线阅读 下载PDF
我国铁路列车行车安全系统行业市场研究
11
作者 江文斌 《中国铁路》 2012年第7期38-41,共4页
以列车运行控制系统应用为重点,对我国铁路列车行车安全系统细分行业的发展现状与趋势、行业供求状况及成长性、市场规模,以及市场竞争格局进行研究,并对未来行业市场规模进行具体测算,揭示未来行业发展的空间。
关键词 列车运行监控 列车运行控制 市场研究 LKJ2000型 CTCS-2 CTCS-3
在线阅读 下载PDF
市域铁路CBTC与CTCS-2贯通运行方案研究 被引量:3
12
作者 唐凯林 姜庆阳 +1 位作者 冯浩楠 黄长鹏 《城市轨道交通研究》 北大核心 2024年第10期199-204,共6页
[目的]为了满足市域铁路CBTC(基于通信的列车控制)信号系统与铁路CTCS-2(中国列车控制系统2级)信号系统互联互通的运行需求,特开展本研究。[方法]在现有CBTC和CTCS-2信号系统的架构基础上,提出该两种信号系统的融合方案。对两种融合方... [目的]为了满足市域铁路CBTC(基于通信的列车控制)信号系统与铁路CTCS-2(中国列车控制系统2级)信号系统互联互通的运行需求,特开展本研究。[方法]在现有CBTC和CTCS-2信号系统的架构基础上,提出该两种信号系统的融合方案。对两种融合方案在成本投入、影响范围、改造难度和适用范围这4个方面进行比较,最终选用车载设备同时满足两种不同信号制式地面设备的融合方案。其中,地面设备秉持“CTCS设备尽量少变,增加或修改CBTC设备”的设计原则,车载设备秉持“ATP(列车自动保护)核心设备独立,外围部件尽量共用”的设计原则;在保证系统运营效率、满足CTCS-2相关标准的前提下,提出“列车从CTCS-2线路转换至CBTC线路的转换方案”和“列车从CBTC线路转换至CTCS-2线路的转换方案”,以实现市域铁路CBTC与CTCS-2双向互联互通贯通运行。[结果及结论]研究结果表明,该选用方案的实现能够提升市域铁路运输效率,优化运输组织与管理,完善轨道交通网络化功能,促进中心城市与周边城市的协调发展。 展开更多
关键词 市域铁路 基于通信的列车控制 中国列车控制系统2 互联互通
在线阅读 下载PDF
基于FMEA与ELECTRE-Ⅲ的CTCS-3风险评估研究 被引量:4
13
作者 牟能冶 邱忠权 《中国安全科学学报》 CAS CSCD 北大核心 2018年第4期163-168,共6页
为提升中国列车运行控制系统-3(CTCS-3)的可靠性,建立一个种新的基于失效模式与影响分析(FMEA)与消去与转换法-Ⅲ(ELECTRE-Ⅲ)的风险评估模型。首先利用直觉模糊数(IFNs)刻画不确定评估信息,利用ELECTRE-Ⅲ构造不同潜在失效模式... 为提升中国列车运行控制系统-3(CTCS-3)的可靠性,建立一个种新的基于失效模式与影响分析(FMEA)与消去与转换法-Ⅲ(ELECTRE-Ⅲ)的风险评估模型。首先利用直觉模糊数(IFNs)刻画不确定评估信息,利用ELECTRE-Ⅲ构造不同潜在失效模式(PFMs)间的级别高于关系,进而将PFMs的风险水平排序;然后进行案例分析,并与传统FMEA方法、加权平均集结算子、多准则妥协解排序法(VIKOR)、逼近理想解排序法(TOPSIS)等方法对比。结果表明:基于FMEA与ELECTRE-Ⅲ的CTCS-3的安全评估模型的稳健性较强,并能有效克服指标间异质性的影响。 展开更多
关键词 中国列车运行控制系统-3(CTCS-3) 失效模式与影响分析(FMEA) 直觉模糊数(IFNs) 消去与转换法-Ⅲ(ELECTRE-Ⅲ) 潜在失效模式(PFMs)
在线阅读 下载PDF
基于运营场景分析的CTCS-2级列控车载工作模式研究 被引量:1
14
作者 张新明 《铁道运输与经济》 北大核心 2017年第9期32-37,63,共7页
为保证列车安全运行,制定了一体化、系列化、标准化的中国列车运行控制系统(CTCS)。从运营场景分析的角度,对CTCS-2列控系统车载设备的待机模式、完全监控模式、部分监控模式、调车模式、目视行车模式、引导模式和隔离模式7种工作模式... 为保证列车安全运行,制定了一体化、系列化、标准化的中国列车运行控制系统(CTCS)。从运营场景分析的角度,对CTCS-2列控系统车载设备的待机模式、完全监控模式、部分监控模式、调车模式、目视行车模式、引导模式和隔离模式7种工作模式及其相互关系进行研究,结合车载设备各工作模式转换表,提出车载设备各工作模式及其转换在铁路运营中的作用,以期达到完善CTCS列控系统的理论体系、为CTCS列控系统的研发和运用提供参考的目的。 展开更多
关键词 铁路运营 中国列车运行控制系统 车载设备 工作模式 转换表
在线阅读 下载PDF
3S网络网络:面向业务、安全增强的软件定义网络
15
作者 李赛飞 邢焕来 闫连山 《中兴通讯技术》 2015年第4期11-14,共4页
针对如何在软件定义网络(SDN)体系架构下设计管理灵活、复杂性可控的网络以及如何保障网络安全等问题,提出了一种面向业务、安全增强、软件定义(3S)的网络体系架构。基于3S架构,设计实现了一种针对中国铁路通信信号系统网络的统一安全... 针对如何在软件定义网络(SDN)体系架构下设计管理灵活、复杂性可控的网络以及如何保障网络安全等问题,提出了一种面向业务、安全增强、软件定义(3S)的网络体系架构。基于3S架构,设计实现了一种针对中国铁路通信信号系统网络的统一安全管控方案,并借助3S特性及神经网络算法,设计实现了一种有效的分布式拒绝服务攻击(DDo S)检测方法。 展开更多
关键词 软件定义网络 网络安全 分布式拒绝服务攻击 中国列车运行控制系统
在线阅读 下载PDF
上海机场联络线列车自动折返方案研究 被引量:4
16
作者 杨俐 《城市轨道交通研究》 北大核心 2022年第11期9-13,共5页
CTCS-2(中国列车运行控制系统2级)+ATO(列车自动运行)系统应用于市域(郊)铁路时,存在线路折返能力不足的问题。以上海机场联络线为研究对象,对CTCS-2+ATO制式下的列车折返作业进行分析,在国内首次提出CTCS-2+ATO下3 min内完成列车自动... CTCS-2(中国列车运行控制系统2级)+ATO(列车自动运行)系统应用于市域(郊)铁路时,存在线路折返能力不足的问题。以上海机场联络线为研究对象,对CTCS-2+ATO制式下的列车折返作业进行分析,在国内首次提出CTCS-2+ATO下3 min内完成列车自动折返的技术方案。该方案建立了CTCS-2+ATO下的列车自动折返流程,并提出列车自动折返的信号-车辆接口方案。仿真验证结果表明:该方案的列车自动换端时间在20 s以内,列车自动折返全过程可在3 min内完成。 展开更多
关键词 市域铁路 上海机场联络线 信号系统 中国列车运行控制系统2 列车自动折返
在线阅读 下载PDF
北京交通大学宁滨教授当选中国工程院院士
17
《都市快轨交通》 北大核心 2018年第1期11-11,共1页
2017年11月27日,中国工程院公布2017年院士增选结果,宁滨教授当选为中国工程院信息与电子工程学部院士,并参加了中国工程院2017年当选院士颁证仪式。宁滨教授长期从事"轨道交通列车运行控制系统"(简称列控系统)领域的科研与教学,为... 2017年11月27日,中国工程院公布2017年院士增选结果,宁滨教授当选为中国工程院信息与电子工程学部院士,并参加了中国工程院2017年当选院士颁证仪式。宁滨教授长期从事"轨道交通列车运行控制系统"(简称列控系统)领域的科研与教学,为我国地铁、提速和高铁等3个方面的列控系统自主创新做出了系统性贡献, 展开更多
关键词 中国工程院院士 北京交通大学 列车运行控制系统 列控系统 轨道交通 自主创新 工程学 地铁
在线阅读 下载PDF
黄纬禄 铸中华神剑 壮民族之胆
18
《振动工程学报》 EI CSCD 北大核心 2024年第2期F0003-F0003,共1页
黄纬禄(1916年12月-2011年11月),自动控制专家,中国科学院院士。1957年后主持液体战略导弹控制系统试制及改型设计,解决了远程多级火箭液体晃动、弹性弹体稳定、级间分离及各种制导、稳定方案的理论和工程技术问题;20世纪70年代后主持... 黄纬禄(1916年12月-2011年11月),自动控制专家,中国科学院院士。1957年后主持液体战略导弹控制系统试制及改型设计,解决了远程多级火箭液体晃动、弹性弹体稳定、级间分离及各种制导、稳定方案的理论和工程技术问题;20世纪70年代后主持研制潜地和地地固休机动战略导弹获得成功,突破了水下发射、三轴稳定平台在运动基座上的调平及瞄准、导弹设计诸元的适时计算和装订、陆上机动车的研制发射等系列关键技术。1999年被授予“两弹一星”功勋奖章。入选“庆祝中华人民共和国成立70周年大型成就展”1970-1979年英雄模范人物。 展开更多
关键词 导弹控制系统 水下发射 中国科学院院士 英雄模范人物 神剑 间分离 火箭 工程技术问题
在线阅读 下载PDF
基于SPN的越区切换模型分析 被引量:12
19
作者 曹源 牛儒 +1 位作者 唐涛 穆建成 《铁道学报》 EI CAS CSCD 北大核心 2009年第4期104-107,共4页
CTCS-3列车运行控制系统是中国列车控制系统(CTCS)的重要组成部分之一,它采用GSM-R实现地面-列车间连续、双向的安全信息的无线传输。对于GSM-R而言,移动台的越区切换必然引起通信连接的暂时中断。由于安全数据传输直接影响行车安全,为... CTCS-3列车运行控制系统是中国列车控制系统(CTCS)的重要组成部分之一,它采用GSM-R实现地面-列车间连续、双向的安全信息的无线传输。对于GSM-R而言,移动台的越区切换必然引起通信连接的暂时中断。由于安全数据传输直接影响行车安全,为保证其传输的可靠性,必然要求更短的切换时间和更高的切换成功率。本文研究安全数据通信在越区切换时的传输可靠性,并对越区切换过程进行随机Petri网的建模和分析。给出列车速度与越区切换成功率的关系,以及列车在350km/h的速度下,越区切换时间与越区切换成功率之间的关系。最后,本文将分析结果与CTCS-3需求标准进行了比较,说明其可以满足要求。 展开更多
关键词 中国列车控制系统3 GSM-R系统 PETRI网 越区切换
在线阅读 下载PDF
基于SPN的CTCS无线通信形式化建模与分析 被引量:8
20
作者 陈永 王晓明 +1 位作者 党建武 胡晓辉 《铁道学报》 EI CAS CSCD 北大核心 2011年第8期63-68,共6页
CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性... CTCS-4列车运行控制系统是基于无线通信传输信息的系统,其无线通信系统是一个动态、复杂的分布式系统,正确的形式化验证对于其性质和最终实现具有重要意义。本文主要考虑高速列车在移动闭塞区间条件下CTCS无线通信的形式化建模和可靠性分析,建立随机Petri网(SPN)表示的CTCS无线通信机制模型和列车与无线闭塞中心通信的GSM-R故障恢复模型,给出对通信故障定位的表示方法,并采用TimeNET仿真工具对GSM-R通信系统的可靠性进行分析得出相应结论。分析结果表明,列车在500 km/h的速度下,越区切换成功概率为99.45%,连接丢失概率为10-2/h。最后,本文将分析结果与GSM-R的技术标准进行比较,说明其可靠性满足规范要求。 展开更多
关键词 铁路无线通信 随机PETRI网 中国列车运行控制系统4 故障定位
在线阅读 下载PDF
上一页 1 2 下一页 到第
使用帮助 返回顶部