武广客运专线CTCS-3级列控系统技术创新

CTCS-3级列车运行控制系统(以下简称C3系统)是高速铁路的5大核心系统之一,武广客运专线是国家在"十一五"期间首个实施c5系统的重点工程项目.通过对武广C3系统技术创新过程的总结,分析归纳了"武广式"创新模式和各个创新要点,对国内后续大规模的高铁建设及实施高铁技术"走出去"战略具有重要的指导意义.     

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

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

CTCS-2级列控系统数字化验证平台研究

根据CTCS-2级列控系统技术规范,结合高速铁路列控工程数据和设计方案的验证试验需求,采用先进的分布式计算机数字化仿真技术,开展高速铁路CTCS-2级列控系统的数字化验证平台研究,提高列控工程设计质量,缩短现场实物测试周期,降低测试成本。     

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

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

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

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

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

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

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

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

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

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

客运专线CTCS-2级列控系统设计方案探讨

分析了我国既有线CTCS-2级列控系统的技术方案和不足,提出了客运专线CTCS-2级列控系统应采用高速铁路技术体系,在满足系统兼容性的前提下,按照"高标准、高质量"的要求,进一步优化、完善的建议,并设计了一套客运专线CTCS-2级列控系统的技术方案。     

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

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

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

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

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

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

CTCS-3级列控系统EMC技术的研究

依据CTCS-3级列控系统在实际运行中的电磁环境状况,从骚扰源、耦合途径和敏感设备3个构成电磁干扰的环节入手,分析CTCS-3级列控系统的干扰模型。围绕ATP系统的电磁兼容性试验,研究并验证CTCS-3级列控系统在现场和在实验室的电磁兼容测试方法和测试技术,讨论国内和国际相关标准的发展状况,提出了几点展望。     

CTCS-3级列车运行控制系统对GSM-R网络主要需求的探讨

CTCS-3级列车运行控制系统采用GSM-R网络实现RBC与车载设备的车-地信息双向传输。通过总结CTCS-3级列车运行控制系统安全数据传输对GSM-R网络的主要需求特点,分析满足列车运行控制系统需求的GSM-R网络主要运行指标,提出工程建设和运营维护工作中需要考虑的因素及建议采取的措施,可供统筹开展高速铁路信号、通信系统设计、建设与维护工作参考。     

CTCS-2/CTCS-3等级线路引入京津城际工程中列控系统设计的探讨

通过对北京南枢纽列控系统集成工程中应答器报文及临时限速系统设计的分析,总结研究CTCS-2/CTCS-3等级线路接入CTCS-3D等级线路时需要注意的特殊点,对今后类似工程的列控系统设计提出建设性的意见。     

CTCS-3级列控系统RBC控车场景建模与验证

应用统一建模语言UML与模型检验工具PHAVer(Polyhedral Hybrid Automaton verifier)相结合的方法,研究CTCS-3级列控系统RBC控车场景:列车注册与启动、行车许可、等级转换、列车注销的混成性。首先通过UML支持的扩展机制,引入构造型(Stereotype)对UML进行面向混成性的扩展,建立RBC控车场景UML模型,实现对RBC控车场景混成性的描述。然后依据UML到PHAVer的转换规则,将UML模型转换成PHAVer模型。最后,依据CTCS-3级列控系统需求规范,总结RBC控车场景的功能需求,运用PHAVer进行验证,证明CTCS-3级列控系统需求规范的正确性。