期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到8篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
基于增强型BN的CTCS-1级ATP可靠性研究 被引量：2
1
作者 刘中田 徐越 王昊 《北京交通大学学报》 CAS CSCD 北大核心 2017年第5期58-65,共8页
结合CTCS-2级与CTCS-3级列控系统设计和运用经验,铁路总公司提出了CTCS-1级列控系统的研制需求,该系统车载ATP设备将取代LKJ与机车信号对既有线列车的控制.本文以CTCS-1级ATP为主要研究对象,对比分析模块级冗余与系统级冗余方案下CTCS-1... 结合CTCS-2级与CTCS-3级列控系统设计和运用经验,铁路总公司提出了CTCS-1级列控系统的研制需求,该系统车载ATP设备将取代LKJ与机车信号对既有线列车的控制.本文以CTCS-1级ATP为主要研究对象,对比分析模块级冗余与系统级冗余方案下CTCS-1级ATP系统可靠性.根据CTCS-1级列控系统总体技术方案,构建模块级冗余与系统级冗余ATP可靠性框图,建立对应增强型贝叶斯网络(BN)模型.借助增强型BN正向推理,求解两种设计方案下ATP可靠性定量指标,评估两种设计方案的优劣.利用增强型BN模型逆向推理,求解列车超速防护(ATP)设备故障下基本单元条件失效概率,查找两种冗余设计方案的潜在薄弱环节.评估结果表明:两种方案下CTCS-1级ATP RAM指标均满足需求规范要求,但采用模块级冗余设计的CTCS-1级ATP RAM指标更优;外围冷备模块条件失效率明显高于其他模块,为CTCS-1级ATP的薄弱环节. 展开更多
关键词 列车运行自动化 增强型BN RAM ctcs-1 ATP
在线阅读 下载PDF
基于多层STAMP模型的CTCS-1级列控系统功能安全分析方法 被引量：4
2
作者 王昊 刘中田 徐越 《铁路计算机应用》 2017年第5期27-33,共7页
根据CTCS-1级列控系统总体设计方案,以安全控制为核心,结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进行描述并将其转换为多层STAMP模型和故障分析模型,分析危险... 根据CTCS-1级列控系统总体设计方案,以安全控制为核心,结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进行描述并将其转换为多层STAMP模型和故障分析模型,分析危险事件产生原因,实现对系统功能的安全分析。以CTCS-1级列车进站场景为例,建立多层STAMP模型并针对可能发生的危险事件进行系统功能安全分析。分析结果表明,多层STAMP模型和安全分析方法适用于CTCS-1级列控系统的功能安全分析。 展开更多
关键词 STAMP ctcs-1级列控系统 功能安全分析
在线阅读 下载PDF
CTCS-1级列控系统总体方案思考与建议 被引量：8
3
作者 王强 刘智平 +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
CTCS-1级列控系统总体技术方案探讨 被引量：28
4
作者 莫志松 《中国铁路》 2016年第8期37-43,共7页
阐述CTCS-1级列控系统总体技术方案研究的背景和意义,重点对总体设计原则、地面总体设计方案、车载设备总体技术方案、关键技术方案等进行深入探讨,并提出推荐的CTCS-1级列控系统方案。
关键词 ctcs-1级列控系统 地面设备 车载设备 应答器 无线通信
在线阅读 下载PDF
CTCS-1级列控系统等级转换场景建模与验证 被引量：2
5
作者 王颖卓 刘中田 《计算机工程与应用》 CSCD 北大核心 2019年第18期256-262,共7页
随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级... 随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。 展开更多
关键词 ctcs-1级列控系统 等级转换场景 NuSMV模型 模型验证
在线阅读 下载PDF
基于时间参数的CTCS-1级RDC设置方式的研究
6
作者 刘中田 徐越 邹少文 《北京交通大学学报》 CAS CSCD 北大核心 2019年第2期32-40,共9页
既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采... 既有线车站分布情况复杂,存在一站多场、多站密集分布的情况,仅依据CTCS-1级区域列控数据中心(RDC)技术规范参数设置RDC,无法满足CTCS-1级列车在RDC切换时车地通信与控车数据更新需求.深入剖析基于单电台的CTCS-1级RDC列车切换场景,采用时间有色Petri网形式化方法对控车权移交过程参与对象进行模型抽象,通过CPN-Tools环境下的模型仿真,挖掘时速200km以下CTCS-1级列车移交过程车地通信中断时间范围,并将通信中断时间约束转化为距离约束,通过分析时间与距离约束探究既有线一站多场、多站密集分布场景下RDC的设置方式,为既有线RDC管辖边界点的选定提供理论依据与数据参考. 展开更多
关键词 ctcs-1 RDC切换 时间有色Petri网 距离约束
在线阅读 下载PDF
基于MVB总线的CTCS-1无线传输单元与主控单元的通信方法 被引量：5
7
作者 孙二敬 吴培栋 张振兴 《铁路通信信号工程技术》 2022年第6期50-53,90,共5页
介绍一种基于MVB总线的CTCS-1无线传输单元和主控单元的通信方法,详细介绍此通信方法中的通信协议字段定义,CTCS-1无线传输单元和主控单元的数据交互流程,以及CTCS-1无线传输单元和主控单元在数据交互过程中各自的工作流程。依据此通信... 介绍一种基于MVB总线的CTCS-1无线传输单元和主控单元的通信方法,详细介绍此通信方法中的通信协议字段定义,CTCS-1无线传输单元和主控单元的数据交互流程,以及CTCS-1无线传输单元和主控单元在数据交互过程中各自的工作流程。依据此通信方法,CTCS-1无线传输单元和主控单元可高效、准确地完成数据交互。 展开更多
关键词 ctcs-1无线传输单元 MVB总线 通信方法
在线阅读 下载PDF
基于CSP的CTCS-1级列控系统RDC数据验证的研究
8
作者 卢铃冉 张勇 《铁路计算机应用》 2019年第7期52-58,共7页
区域列控数据中心(RDC)作为CTCS-1级列控系统地面设备的核心部分,为车载设备提供线路数据、临时限速信息、进路信息等,因此,RDC数据的正确性对列车正常运行至关重要。通过对RDC所包含的静态数据进行分析,总结出数据应满足的约束条件,以... 区域列控数据中心(RDC)作为CTCS-1级列控系统地面设备的核心部分,为车载设备提供线路数据、临时限速信息、进路信息等,因此,RDC数据的正确性对列车正常运行至关重要。通过对RDC所包含的静态数据进行分析,总结出数据应满足的约束条件,以轨道区段数据为例,基于实体数据应满足的域值条件以及数据之间的关系建立数据约束规则,将数据验证规则加入数据验证流程,利用通信顺序进程(CSP)形式化语言对数据验证流程进行建模,用模型检验工具ProB对CSP语义模型进行检验。验证结果正确,表明数据验证方法可行,为RDC静态数据自动化验证奠定了基础。 展开更多
关键词 ctcs-1 区域列控数据中心(RDC) 数据验证 通信顺序进程(CSP)
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部