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

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

尽头式车站列控技术方案

按照尽头式车站的站场情况和靠标停车要求,根据动车组列车的制动特性、CTCS-2级列控系统技术规范和列控车载设备技术规格,研究提出了尽头式车站列控技术方案和采取的技术措施,对控车效果、安全性进行了分析,通过实验室仿真测试和实际工程实践验证了方案的可行性。     

C2系统车站站名显示问题的解决方案

站名显示是CTCS-2级列控系统车载设备控车显示的重要信息之一。CTCS-2级列控系统应答器应用原则（V1．0）中规定：提供车站名称的文本信息可在列车进站外方3个闭塞分区开始显示,出站进入区间后,文本显示消失。该文本信息一般是放置在进站外方3个闭塞分区处的无源应答器中。     

基于GSM-R的CTCS-3级列控系统安全数据传输通信协议栈分析

基于开放系统的安全数据传输理论,分析了开放传输系统的特点和应对策略,针对CTCS-3级列控系统安全数据传输,从数据链路层和传输层的角度探讨了用GSM-R来承载CTCS-3级列控安全数据传输时在协议方面所采取的差错控制、防止非授权接入等措施,在分析的基础上,给出了基于GSM-R开放系统的CTCS-3级列控系统连接建立详细过程。     

多观测列互差求中误差

根据最小二乘法和单位权中误差公式,推导了多观测列中误差公式,进而得到了三观测列、双观测列和贝塞尔中误差公式,揭示了三观测列、双观测列和贝塞尔中误差公式三者之间的内在联系。同时,更正了一个文献的错误。     

既有高铁C3车站引入C2高铁线路特殊进路报文编制研究与应用

为保证宝兰客运专线引入已开通运行的CTCS-3级列控系统宝鸡南站,需对地面应答器进行报文编制及数据测试。首先根据现场存在的由于特殊应答器设置及特殊场景测试不完善导致报文溢出问题进行分析,提出速度报文及距离报文合并和设置有源应答器等多个技术方案,通过车载仿真及数据测算最终采用设置有源应答器解决报文溢出的方案,该方案有效解决应答器报文溢出问题,并为类似项目提供借鉴。     

基于多层STAMP模型的CTCS-1级列控系统功能安全分析方法

根据CTCS-1级列控系统总体设计方案,以安全控制为核心,结合系统理论事故模型和控制过程提出多层STAMP模型与相应的安全分析方法。利用UML语言对列控系统内部组件交互控制过程进行描述并将其转换为多层STAMP模型和故障分析模型,分析危险事件产生原因,实现对系统功能的安全分析。以CTCS-1级列车进站场景为例,建立多层STAMP模型并针对可能发生的危险事件进行系统功能安全分析。分析结果表明,多层STAMP模型和安全分析方法适用于CTCS-1级列控系统的功能安全分析。     

长大坡道和分相区设置对列控系统影响分析

对客专建设中新发现的长大坡道引起列控车载设备提前生成制动模式曲线,和特定条件下车载自动过分相装置两次输出断主断命令问题,进行了分析研究,提出了解决建议.     

关于西宁动车运用所作业方式的探讨

根据西宁动车运用所特殊的站场布置形式,综合研究分析了动车运用所采用列车和调车作业方式的优缺点,得出更适合运输需求的控制方案。