导读:本文包含了级列控系统论文开题报告文献综述及选题提纲参考文献，主要关键词:列控系统,软件定义网络,云计算,虚拟化技术
级列控系统论文文献综述
刘军,李洪赭,李赛飞[1]（2019）在《CTCS-3级列控系统虚拟仿真与网络安全测试平台的设计与实现》一文中研究指出为了测试验证网络威胁对高速铁路CTCS-3级列控系统功能的影响,设计实现了高速铁路CTCS-3级列控系统虚拟仿真及网络安全测试平台。该平台采用了软件定义网络、网络功能虚拟化和云计算等技术,并使用主流的网络安全威胁手段对高速铁路CTCS-3级列控仿真系统进行测试验证。(本文来源于《铁道通信信号》期刊2019年08期）
卢铃冉,张勇[2]（2019）在《基于规则的CTCS-1级列控系统RDC数据验证工具的设计和实现》一文中研究指出区域列控数据中心(RDC)是CTCS-1级列控系统新增的地面核心设备,主要为车载设备提供线路数据、临时限速数据和进路数据。RDC子系统自带静态数据库,存储当前RDC管辖区域内的线路数据。本文在深入研究RDC数据特点的基础上,提取数据约束规则,并设计开发了RDC数据自动化验证工具,提高了数据验证的效率和准确率。(本文来源于《铁道通信信号》期刊2019年08期）
卢铃冉,张勇[3]（2019）在《基于CSP的CTCS-1级列控系统RDC数据验证的研究》一文中研究指出区域列控数据中心(RDC)作为CTCS-1级列控系统地面设备的核心部分,为车载设备提供线路数据、临时限速信息、进路信息等,因此,RDC数据的正确性对列车正常运行至关重要。通过对RDC所包含的静态数据进行分析,总结出数据应满足的约束条件,以轨道区段数据为例,基于实体数据应满足的域值条件以及数据之间的关系建立数据约束规则,将数据验证规则加入数据验证流程,利用通信顺序进程(CSP)形式化语言对数据验证流程进行建模,用模型检验工具ProB对CSP语义模型进行检验。验证结果正确,表明数据验证方法可行,为RDC静态数据自动化验证奠定了基础。(本文来源于《铁路计算机应用》期刊2019年07期）
王秀玄,吕兴瑞[4]（2019）在《CTCS-3级列控系统超速防护仿真软件在教学中的应用》一文中研究指出根据CTCS-3级列控系统列车超速防护系统的主要原理及实现方法,采用虚拟地面数据的方式,直接模拟列车ATP超速防护功能。设计车载设备的DMI信息显示,实现ATP防护曲线、速度信息、目标距离、机车信号等信息显示,实现列车的超速防护功能。单机直观显示,有助于学生操作练习,为学生提供虚拟仿真教学环境,理解超速防护曲线的生成原理。(本文来源于《郑州铁路职业技术学院学报》期刊2019年02期）
匡燮鼐[5]（2019）在《既有城际铁路CTCS-2级列控系统上融合ATO的方案研究》一文中研究指出随着我国社会经济的快速发展,区域经济的增长以及城市一体化建设的步伐不断加快,高速铁路在国民的生产生活中扮演着越来越重要的角色,铁路运输需求和压力不断增长,研制满足“高速度、高密度、跨线公交化运行”运营需求的铁路信号系统已经迫在眉睫。高速铁路ATO系统是在既有CTCS-2/CTCS-3级列控系统的基础上,修改或新增车载和地面设备,以实现高速铁路列车自动运行、折返作业、定点停车、车门/站台门联动控制等智能化功能。本文在分析我国高速铁路ATO系研究情况的基础上,借鉴了珠叁角城际铁路CTCS2+ATO系统的先进经验,提出了在既有城际铁路线路CTCS-2级列控系统上融合ATO技术的方案,并结合实际,提出了在其列控系统上融合ATO技术的施工组织及施工验收组织。首先,本文分析我国高速铁路ATO系统的研究发展情况,分别介绍了城际铁路CTCS2+ATO系统和高速铁路CTCS3+ATO系统的结构原理以及各系统新增设备和新增功能,分析了CTCS2+ATO系统和CTCS3+ATO系统的主要区别,为在既有城际铁路线路CTCS-2级列控系统上融合ATO的技术方案提供了参考。然后,分析珠叁角城际铁路CTCS2+ATO列控系统的运用情况,对现场出现的站台门问题、车地通信问题、自动开门问题等典型故障和现场的改进措施进行了分析说明,并结合既有城际铁路发展状况和基础条件,CTCS3+ATO系统的先进模式提出了两种技术方案,一种是基于GSM-R通信的技术方案,适用于G网条件满足的城际铁路线路;一种是基于司机估值的技术方案,适用于G网条件不成熟的城际铁路线路。最后,分析在既有城际铁路CTCS-2级列控系统上融合ATO技术的施工组织方式、技术难点及安全风险。提出了“先实现部分功能,整体功能逐步实现”的改造方式,并对施工后的静态验收和动态验收内容和方法进行了分析说明。(本文来源于《中国铁道科学研究院》期刊2019-05-01）
徐效宁,李辉,王菲,吕书丽[6]（2019）在《基于CTCS-3级列控系统的高速铁路移动闭塞实现》一文中研究指出随着我国经济的快速发展,高速铁路的运输能力要求不断提高。目前我国高速铁路装备CTCS-2/3级列控系统,采用准移动闭塞方式。CTCS-4级列控系统取消轨道电路,通过地面和车载设备共同完成列车定位,能够实现移动闭塞,进一步缩短行车间隔。但是,我国高速铁路一直基于轨道电路实现列车占用检查,干线铁路也未有取消轨道电路的列控系统运用。通过分析现阶段CTCS-4级列控系统面临的问题,提出一种基于CTCS-3级列控系统的高速铁路移动闭塞实现方案,并阐述该方案的系统总体结构和基本工作原理。方案中列控地面子系统综合利用列车位置报告和轨道电路信息,保证了移动闭塞的运输效率。同时给出了一种移动闭塞方式下行车许可的计算方法,并通过建模和运营场景进行验证,为我国高速铁路移动闭塞的实现提供参考。(本文来源于《铁道标准设计》期刊2019年10期）
盛昭君,米根锁[7]（2019）在《CTCS-3级列控系统等级转换场景功能安全分析》一文中研究指出针对CTCS-3级列控系统等级转换场景的混成性,以CTCS-3级列控系统需求规范为研究依据,选取系统生命周期的需求阶段,研究了等级转换场景的功能安全性。首先,基于UML扩展机制,建立了等级转换场景的HybridUML模型,实现了等级转换场景的混成性描述;进而依据CTCS-3级列控系统需求规范,总结等级转换场景的功能需求,根据UML到PHAVer的转换规则,构建了PHAVer模型并验证了该模型的正确性;其次,通过分析等级转换过程,找出各相关设备可能的功能模块失效情况,采用功能模块失效描述符号(Function Failure Description Notation,FFDN)建立了等级转换场景的故障模型,并将PHAVer模型和故障模型整合,获得了包含故障的PHAVer模型;最后,运用PHAVer分析出导致等级转换场景功能需求不能满足时的功能模块失效情况,实现了等级转换场景的功能安全分析。(本文来源于《控制工程》期刊2019年02期）
李晗,王立志,韩波[8]（2019）在《探讨CTCS-3级列控系统对STP系统的指导作用》一文中研究指出通过对无线调车机车信号和监控系统(STP)和CTCS-3级列车运行控制系统(C3列控系统)进行对比,归纳了STP系统与C3列控系统在硬件和软件上的相似性;提出了借鉴C3列控系统的相关技术,实现对STP系统的技术升级;结合列控系统的等级划分方式,指出STP系统应向安全型设备发展。(本文来源于《铁道通信信号》期刊2019年02期）
王颖卓,刘中田[9]（2019）在《CTCS-1级列控系统等级转换场景建模与验证》一文中研究指出随着CTCS-1级列控系统关键技术研究工作的开展,必然要面临装载CTCS-1级车载设备的列车跨线运营至CTCS-0级线路的问题,而系统等级转换的顺利进行是实现列车安全跨线运营的基础。通过系统功能分析,建立了系统多分辨率功能模型,以识别等级转换场景需求;根据场景需求,结合现行系统规范,完善了CTCS-1级系统等级转换场景的方案;采用基于UML的NuSMV建模与验证方法,建立了等级转换场景的UML模型和NuSMV模型,并验证了场景模型的活性、确定性等属性,从而证明了完善后的场景方案满足场景需求,且符合系统规范。文中对CTCS-1级系统等级转换场景的探讨可为相关规范的修订提供支持。(本文来源于《计算机工程与应用》期刊2019年18期）
[10]（2018）在《中国铁路总公司关于发布《CTCS-3级列控系统总体技术规范》等17项技术标准的通知》一文中研究指出(本文来源于《铁道技术监督》期刊2018年12期）
级列控系统论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
区域列控数据中心(RDC)是CTCS-1级列控系统新增的地面核心设备,主要为车载设备提供线路数据、临时限速数据和进路数据。RDC子系统自带静态数据库,存储当前RDC管辖区域内的线路数据。本文在深入研究RDC数据特点的基础上,提取数据约束规则,并设计开发了RDC数据自动化验证工具,提高了数据验证的效率和准确率。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
级列控系统论文参考文献
[1].刘军,李洪赭,李赛飞.CTCS-3级列控系统虚拟仿真与网络安全测试平台的设计与实现[J].铁道通信信号.2019
[2].卢铃冉,张勇.基于规则的CTCS-1级列控系统RDC数据验证工具的设计和实现[J].铁道通信信号.2019
[3].卢铃冉,张勇.基于CSP的CTCS-1级列控系统RDC数据验证的研究[J].铁路计算机应用.2019
[4].王秀玄,吕兴瑞.CTCS-3级列控系统超速防护仿真软件在教学中的应用[J].郑州铁路职业技术学院学报.2019
[5].匡燮鼐.既有城际铁路CTCS-2级列控系统上融合ATO的方案研究[D].中国铁道科学研究院.2019
[6].徐效宁,李辉,王菲,吕书丽.基于CTCS-3级列控系统的高速铁路移动闭塞实现[J].铁道标准设计.2019
[7].盛昭君,米根锁.CTCS-3级列控系统等级转换场景功能安全分析[J].控制工程.2019
[8].李晗,王立志,韩波.探讨CTCS-3级列控系统对STP系统的指导作用[J].铁道通信信号.2019
[9].王颖卓,刘中田.CTCS-1级列控系统等级转换场景建模与验证[J].计算机工程与应用.2019
[10]..中国铁路总公司关于发布《CTCS-3级列控系统总体技术规范》等17项技术标准的通知[J].铁道技术监督.2018