CTCS-3级列控系统RBC切换过程分析

RBC根据轨道电路、联锁进路等信息生成行车许可,通过GSM-R无线通信系统传输给车载设备。受单套RBC控制能力限制,在相邻RBC控制范围的边界处必须实现对列车控制权的安全可靠切换。分别对车载设备采用2部或1部车载电台时的RBC切换过程进行了深入分析,并在详细分析RBC切换过程的基础上,用着色Petri网的支持工具CPNTools对该过程进行了形式化建模,对所建立的模型进行了仿真,对用自然语言描述的RBC切换过程进行了形式化表示和验证。     

CTCS-3级列控系统中RBC功能需求及接口分析

无线闭塞中心(RBC)是CTCS-3级列控系统的核心地面子系统,随着300km/h以上CTCS-3级客运专线的建设,RBC的运用越来越广泛。着重分析RBC结构、列控系统运营场景中的功能需求、容量计算以及与CTCS-3级列控系统中其他子系统的接口,对CTCS-3级列控系统工程设计中RBC的功能划分和接口设计有很大的帮助。     

CTCS-3级列控系统规范建模与验证

结合统一建模语言UML与符号模型检验SMV形式化方法,提出需求规范严格建模和验证方法。利用需求管理工具,保证了模型和规范的一致性和对规范的覆盖性,同时实现了规范验证结果对模型、转换规则和规范的跟踪。给出了CTCS-3级列控系统严格建模与验证的方法体系和流程,并以CTCS-3级列控系统需求规范中的模式转换部分为例,说明了规范的建模、验证和分析过程。     

基于UML与CPN的CTCS-3级列控系统建模与验证方法研究

CTCS-3级列控系统安全功能极其复杂,为保障其正常运转,有必要对列车运行控制系统的建模与验证进行深入研究。在分析了UML建模图和有色Petri网优缺点的基础上,提出了UML和有色Petri网(CPN)相结合的建模与验证方法,并应用在CTCS-3系统中,对CTCS-3级列控系统的建模与验证具有积极的研究意义。     

基于SPN的CTCS-3级列控系统RBC实时性能分析

RBC(无线闭塞中心)实时性能指标是影响CTCS-3级列控系统运行的关键要素。本文将随机Petri网和马尔可夫随机过程理论结合起来,提出一种新的系统性能分析方法,剖析CTCS-3级列控系统的运行机制,建立RBC子系统周期处理和非周期处理的随机Petri网模型,并利用ERTMS/ETCS的参考数据,分析GSM-R通信环境下RBC的实时性能,在不同系统周期和列车交互数量下得出RBC子系统平均延时曲线。本文对我国CTCS-3级列控系统的规范制定和系统开发具有一定的借鉴意义。     

CTCS-3级列控系统规范的建模与形式化验证方法研究

CTCS-3级列控系统规范是CTCS-3级列控系统设计与开发的基础,是实现互联互通以及确保系统高效率与安全性的关键环节。然而,依靠经验与直觉制定的规范不可避免地存在某些漏洞或者安全隐患,因此对CTCS-3级列控系统规范进行建模与形式化验证显得十分必要。本文提出CTCS-3级列控系统规范建模与形式化验证方法,此方法的特点是能够在系统规范、模型、验证工具以及验证结果之间建立一条跟踪链,从而始终保证系统规范、模型及程序代码之间的一致性。结合笔者运用此方法对CTCS-3级列控系统规范建模与形式化验证的实践,证明这种方法是可行的、高效的。     

CTCS-3级列控系统RBC互联互通技术分析

新型设备上线运行,都必须考虑与既有设备实现机制的兼容和互通.基于CTCS-3级列控系统的技术特点,分析目前已经开通运营的客运专线在地面RBC设备互联互通方面存在的问题,以实现列控设备跨线运行.     

郑州-西安客运专线CTCS-3级列控系统联调联试

郑西客运专线是紧随武广客运专线之后,又一条开通运营的具有世界一流水平的长大高速铁路,建设过程中,为保证CTCS-3级列控系统开通后能可靠安全运行,在郑西客运专线进行了大量的联调联试工作。系统总结了郑西客运专线CTCS-3级列控系统联调联试工作,包括联调联试的目的、内容、方法、实施过程等。     

CTCS-3级列控系统系统评估的分析与研究

介绍了CTCS-3级列控系统评估的基础、内容、方法和目的,详细阐述了系统评估各阶段的主要活动及其相应的技术措施,并对系统评估中的关键问题进行了深入分析。     

CTCS-3级列控系统的系统评估研究

我国已经步入高速铁路时代,通过集成创新,建立符合我国国情和路情的高速铁路列控系统及系统评估体系具有非常重要的意义。论述了CTCS-3级列控系统的研究技术路线,提出了CTCS-3级列控系统的系统评估方法,对CTCS-3级列控系统的生命周期各个阶段进行有效评估,从而保证高速铁路列控系统满足高速铁路的需求。     

CTCS-3级列控系统无线闭塞中心仿真研究

基于Visio studio 2008平台设计了无线闭塞中心(RBC)仿真系统、简易的车载仿真系统和仿真系统内部数据库。实现了列车注册、注销、列车行车许可计算等列车运行管理功能及与车载子系统通信功能的仿真。     

郑西客运专线CTCS-3级列控系统及其用户需求验证

CTCS-3级列车运行控制系统是中国铁路时速500～550km客运专线的重要技术装备,是保证高速列车运行安全、可靠的核心技术之一.概述了CTCS-3级列控系统的用户需求,简介了郑州一西安客运专线CTCS-3级列控系统、验证用户需求联调联试的实施案例及测试分析方法.并根据郑西线联调联试的试验情况,提出了进一步完善中国CT...     

CTCS-3级列控系统仿真试验平台的研究

阐述了CTCS-3级列控系统仿真试验平台的构成、主要测试内容及工作流程,并通过具体的测试实例对试验平台进行了优缺点评价,同时对其前景进行了展望。     

CTCS-3级列控系统的调试与试验

列控系统的调试和动态联调联试是高速铁路开通运营前的关键环节,通过测试,可实现对列控系统整体功能、接口关系和工程数据的检查、完善与优化。按照CTCS-3级列车运行控制系统开发周期,列控系统调试与试验划分为实验室仿真测试、现场设备静态调试、系统集成测试与联调联试等不同阶段,各阶段的主要测试内容、测试方法和要求不同,但又构成一个不可分割的有机整体。     

我国铁路CTCS-3级列控系统的分析与研究

CTCS-3级列控系统是我国通过自主创新建成的具有自主知识产权的列车运行控制系统,凝结了我国铁道部、高校、科研院所和骨干企业群策群力的智慧结晶。通过对国外列车控制系统发展现状及我国列控系统发展历程的介绍,阐述了我国CTCS-3级列控系统研究的必要性及技术方向的选择;说明了我国CTCS-3级列控系统的技术特点;同时还对CTCS-3级列控系统结构及主要设备的功能作了简要介绍,并总结了系统研发的主要创新成果。