基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析 被引量：17

1

作者 张友兵 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2012年第7期49-55,共7页

在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GS... 在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。 展开更多

关键词 CTCS 有色PETRI网 rbc切换 车载设备

下载PDF 职称材料

高速铁路列控系统运营场景实时性的建模与验证 被引量：10

2

作者 吕继东 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2011年第6期54-61,共8页

高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限... 高速铁路列控系统是一个典型的分布式实时系统,其时间约束主要反映在运营场景中子系统之间的交互过程中。时序逻辑的扩展方法并不能完全满足描述分布式实时系统性质的需要,并且随着系统的复杂性提高,列控系统运营场景中诸如超时、期限、直到…才等形式化描述与验证上存在不足。本文提出一种适合于列控系统场景建模与验证的方法,其核心思想是使用混合通信顺序进程HCSP(Hybrid Communicating Sequential Process)形式化描述分布式实时系统模型,提出转换规则,转换成时间自动机网络模型并进行自动验证。最后通过对典型场景无线闭塞中心RBC(Radio Block Center)切换的相关属性进行建模与验证,分析证明方法的有效性。 展开更多

关键词 列控系统 时间约束 混合通信顺序进程 时间自动机 rbc切换

下载PDF 职称材料

CTCS-3级列控系统RBC切换过程分析 被引量：8

3

作者 王亚菊 吴江娇 《铁道通信信号》 2010年第4期12-16,共5页

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

关键词 CTCS-3级列控系统 rbc切换 着色PETRI网 建模

下载PDF 职称材料

郑徐高铁CTCS-3无线超时分析 被引量：6

4

作者 刘立海 代赛 《铁路通信信号工程技术》 2020年第5期10-15,26,共7页

针对郑徐高铁开通初期出现的徐州东线路所RBC交接区附近和上海局与郑州局局界附近C3无线超时问题,结合郑徐高铁GSM-R无线覆盖方案、MSC与RBC管辖范围、车载电台记录和网络设备故障代码等,详细分析故障产生的原因,提出解决方案。鉴于问... 针对郑徐高铁开通初期出现的徐州东线路所RBC交接区附近和上海局与郑州局局界附近C3无线超时问题,结合郑徐高铁GSM-R无线覆盖方案、MSC与RBC管辖范围、车载电台记录和网络设备故障代码等,详细分析故障产生的原因,提出解决方案。鉴于问题隐蔽,且涉及通信、信号两系统,在工程建设、联调联试和试运行阶段均未被发现,总结提出工程设计、数据制作、联调联试和试运行方面的建议,供后续高速铁路GSM-R网络设计、调试及故障分析等参考。 展开更多

关键词 GSM-R C3无线超时 rbc切换 MSC切换

下载PDF 职称材料

高速铁路无线闭塞中心系统互联互通测试技术研究 被引量：6

5

作者 赵琳 张浩 杨洪权 《铁道运输与经济》 北大核心 2018年第7期63-68,共6页

根据我国高速铁路列控系统的发展需要,我国高速铁路列控系统(RBC系统)均在进行自主化研制。为完善高速铁路无线闭塞中心系统的互联互通性,保障高速铁路列车运营安全,在分析RBC系统互联互通过程的基础上,根据现场试验结果,研究自主化RBC... 根据我国高速铁路列控系统的发展需要,我国高速铁路列控系统(RBC系统)均在进行自主化研制。为完善高速铁路无线闭塞中心系统的互联互通性,保障高速铁路列车运营安全,在分析RBC系统互联互通过程的基础上,根据现场试验结果,研究自主化RBC系统互联互通测试技术,并按照测试环境、测试问题及分析、问题解决方案3个方面进行详细阐述。自主化RBC系统互联互通测试验证了自主化RBC系统间的互联互通功能,消除了RBC系统间的差异性,实现了信号系统设备之间统型化。 展开更多

关键词 高速铁路 CTCS-3级 无线闭塞中心 rbc互联互通 移交流程

下载PDF 职称材料

基于无线报文的RBC移交无线超时故障分析 被引量：5

6

作者 庹兴兵 徐志根 《中国铁路》 2018年第4期69-76,共8页

地面无线闭塞中心(RBC)与列车无线通信超时故障是当前高速铁路运营中比较常见的一类故障,无线超时故障往往发生在RBC移交区,会导致列车由CTCS-3级降级到CTCS-2级,也会触发列车制动甚至停车。导致无线超时故障的原因复杂,很难定位故障源... 地面无线闭塞中心(RBC)与列车无线通信超时故障是当前高速铁路运营中比较常见的一类故障,无线超时故障往往发生在RBC移交区,会导致列车由CTCS-3级降级到CTCS-2级,也会触发列车制动甚至停车。导致无线超时故障的原因复杂,很难定位故障源。车地通信通过无线报文进行传输,无线报文的交互信息过程能够反映无线传输系统实时工作状态,因此提出基于无线报文的无线超时故障分析方法。根据无线报文包号,利用MATLAB对车地通信在移交区正常与故障情况下的无线报文交互信息过程进行描绘并拟合成曲线,得到阈值曲线和故障曲线,此阈值曲线是故障判定的重要参考依据。该分析方法有助于定位故障源,提高移交区无线超时故障的排查率,并进行故障预判。 展开更多

关键词 车地通信 rbc移交 无线超时 无线报文 MATLAB

下载PDF 职称材料

非闭塞分区处RBC移交方案探讨 被引量：3

7

作者 刘长波 《铁路通信信号工程技术》 2020年第7期15-18,45,共5页

以实际工程中遇到的枢纽内短距离联络线上的RBC移交问题为依托,提出在非闭塞分区边界处设置RBC移交的处理方案.通过研究,给出非闭塞分区边界处RBC移交设置应考虑的条件,实现的方式,并对该方案进行安全性分析.在实验室对提出的方案开展... 以实际工程中遇到的枢纽内短距离联络线上的RBC移交问题为依托,提出在非闭塞分区边界处设置RBC移交的处理方案.通过研究,给出非闭塞分区边界处RBC移交设置应考虑的条件,实现的方式,并对该方案进行安全性分析.在实验室对提出的方案开展仿真测试,与预期结果进行比对,从而对方案设计的可行性、关键点进行归纳和总结. 展开更多

关键词 rbc移交 无线闭塞中心 非闭塞分区

下载PDF 职称材料

基于虚拟信号的场间大号码道岔联络线RBC切换方案 被引量：2

8

作者 武汝涵 刘长波 《铁路通信信号工程技术》 2022年第8期6-12,共7页

某些枢纽车站包含两个高速场,均采用CTCS-3级列控系统,场间设有1/42大号码道岔联络线,联络线信号机设置及列控系统方案非常复杂。在这种特殊站场,首先要确保列车以160 km/h速度正常通过大号码道岔联络线,通过方案比选,得出场间联锁分界... 某些枢纽车站包含两个高速场,均采用CTCS-3级列控系统,场间设有1/42大号码道岔联络线,联络线信号机设置及列控系统方案非常复杂。在这种特殊站场,首先要确保列车以160 km/h速度正常通过大号码道岔联络线,通过方案比选,得出场间联锁分界处必须采用虚拟信号的结论。其次,对两个高速场单独设置RBC时场间联络线列控方案进行研究,分析采用C3→C2级间切换方案和基于虚拟信号的RBC切换方案的可行性。通过研究比选,得出在大号码道岔联络线进行C3→C2级间切换方案不可行,建议采用基于虚拟信号的RBC切换方案。研究结论对类似枢纽车站具有较好的参考意义。 展开更多

关键词 大号码道岔 虚拟信号 rbc切换

下载PDF 职称材料

基于Timed-UML顺序图的RBC交接形式化建模与分析 被引量：3

9

作者 安越 李国宁 《铁道标准设计》 北大核心 2016年第6期132-138,共7页

在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的... 在CTCS-3级列控系统中,采用RBC技术将线路划分成多个管辖区段。当列车行驶并跨越相邻RBC交界区域时,控制权将会移交至前方相邻RBC,整个过程称为RBC交接。在运行中,RBC交接过程能否实时安全可靠地执行,直接影响着列车的行车效率和乘客的生命安全。采用一种基于添加实时约束的UML顺序图与时间自动机结合的模型来建立RBC交接场景。以双车载电台的RBC切换策略出发,建立切换的Timed-UML顺序图模型,然后按照UML-TA转换规则,建立得到完整的时间自动机网络模型。并利用UPPAAL验证工具对RBC交接模型进行形式化建模及分析,对模型的死锁和功能实现做了验证,从而达到对CTCS-3级RBC子系统的实时性以及设计规范合理性的验证目的。 展开更多

关键词 车载系统 rbc交接 实时UML顺序图 时间自动机

下载PDF 职称材料

RBC典型问题原因分析及处置 被引量：1

10

作者 朱伟 冯飞 《铁道通信信号》 2022年第10期35-39,共5页

梳理近一年的RBC故障情况,总结出行车许可异常缩短和无线通信超时两大类故障。针对典型案例,利用日志数据进行原因分析,提出相应的解决措施;根据现场技术管理流程,总结有效提升CTCS-3级列控系统运用质量的处置建议,旨在为现场维护人员处... 梳理近一年的RBC故障情况,总结出行车许可异常缩短和无线通信超时两大类故障。针对典型案例,利用日志数据进行原因分析,提出相应的解决措施;根据现场技术管理流程,总结有效提升CTCS-3级列控系统运用质量的处置建议,旨在为现场维护人员处置RBC故障时提供一定的借鉴作用。 展开更多

关键词 CTCS-3级列控系统 无线闭塞中心 行车许可缩短 无线通信超时 rbc移交

下载PDF 职称材料

CTCS-3级列控系统下RBC切换研究与分析

11

作者 刘浩 《西安交通工程学院学术研究》 2022年第1期28-31,共4页

RBC作为CTCS-3列车控制系统的主要设备,其功能的研究和优化值得探讨。RBC切换是RBC的关键功能之一,RBC切换的成功与否决定了列车能不能快速高效安全的运行。本文主要介绍了CTCS-3列车控制系统中RBC切换的仿真以及优化分析,并介绍RBC切... RBC作为CTCS-3列车控制系统的主要设备,其功能的研究和优化值得探讨。RBC切换是RBC的关键功能之一,RBC切换的成功与否决定了列车能不能快速高效安全的运行。本文主要介绍了CTCS-3列车控制系统中RBC切换的仿真以及优化分析,并介绍RBC切换的过程和影响。 展开更多

关键词 CTCS-3列控系统 rbc rbc切换

下载PDF 职称材料

无线闭塞中心切换问题分析 被引量：3

12

作者 郭岳峰 刘继得 赵建国 《铁道通信信号》 2009年第3期41-42,共2页

主要介绍了基于GSM-R网络的CTCS-3级中RBC切换过程,通过对比基于GSM-R网络的ITCS中的应用,找到CTCS-3级中RBC切换过程中的优势和劣势。

关键词 铁路综合数字移动通信系统 无线闭塞中心 切换

下载PDF 职称材料

基于CPN的切换模式下行车许可生成过程研究 被引量：2

13

作者 张爱玲 徐智 +1 位作者 宗岩 康健 《计算机技术与发展》 2012年第4期157-160,164,共5页

文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,... 文中针对高铁列控行车许可存在的规范化设计问题,根据CTCS-3级列控系统RBC行车许可的生成机制,设计了一种基于Petri网理论的行车许可生成的模型,并运用CPN-Tools仿真工具动态仿真了CTCS-3级列控系统下的RBC切换模式的行车许可生成过程,观察相邻RBC交接时列车运行过程中的通信机制及信息传输,最后通过分析模型的一些性能验证了该模型的正确性。为行车许可模块的设计提供一种规范的正确的软件设计方法,减少软件开发过程中存在的一些缺陷,使列车运行更安全更可靠。 展开更多

关键词 CTCS-3级 行车许可 rbc交接 CPN建模

下载PDF 职称材料

两起时间戳引起的RBC移交典型案例分析

14

作者 赵红霞 冯飞 《铁路通信信号工程技术》 2020年第12期90-94,共5页

在RBC移交的过程中是对列车控制权的交接,牵涉到移交RBC、接受RBC和列车三者之间的信息交互,每一个消息都需要用时间戳来进行区分,如果时间戳出现问题,会导致RBC移交超时,造成列车降级甚至紧急停车。对移交过程和日志分析,有助于处理移... 在RBC移交的过程中是对列车控制权的交接,牵涉到移交RBC、接受RBC和列车三者之间的信息交互,每一个消息都需要用时间戳来进行区分,如果时间戳出现问题,会导致RBC移交超时,造成列车降级甚至紧急停车。对移交过程和日志分析,有助于处理移交时出现的列车降级现象,并加以防范。 展开更多

关键词 rbc移交 移交过程 时间戳 案例分析

下载PDF 职称材料

基于Testcase Designer的列车运行控制系统测试方法的研究 被引量：1

15

作者 陈黎洁 孙超 +1 位作者 卢利勇 贺红阳 《铁路计算机应用》 2017年第1期18-22,共5页

针对CTCS-3级列控系统的需求规范,结合欧洲列车运行控制系统(ETCS)的测试经验,研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化,通过优化编写流程,生成符合测试平台需求的测试序... 针对CTCS-3级列控系统的需求规范,结合欧洲列车运行控制系统(ETCS)的测试经验,研究基于Testcase Designer的CTCS-3级列控系统自动测试方法。Testcase Designer主要用于将测试案例模块化,通过优化编写流程,生成符合测试平台需求的测试序列,为测试项目的执行提供必要的关键数据点。同时,Testcase Designer可供存储、导出及发布。其测试案例中的关键输入输出接口(如BTM、TIU、RTM等)配置信息均已通过配置文件形式实现。以列控系统无线闭塞中心(RBC)切换场景为例,采用Testcase Designer编写该场景的测试案例。研究结果表明:Testcase Designer实现了功能特征、参考需求、测试步骤等元素的集成,编写的测试案例是合理的。 展开更多

关键词 CTCS-3级列控系统 测试案例 运营场景 rbc切换

下载PDF 职称材料

枢纽复杂场景下无线超时问题优化方案

16

作者 刘伟玲 《铁路通信信号工程技术》 2022年第10期90-96,共7页

结合无线通信超时专项整治工作,通过列控车载设备在固定地点重复发生的典型故障案例,深入分析枢纽地区多线交汇车站RBC移交叠加CTCS-3与CTCS-2行车许可比较不一致场景触发列控车载设备无线通信超时的原因。从信号系统工程设计、运输组... 结合无线通信超时专项整治工作,通过列控车载设备在固定地点重复发生的典型故障案例,深入分析枢纽地区多线交汇车站RBC移交叠加CTCS-3与CTCS-2行车许可比较不一致场景触发列控车载设备无线通信超时的原因。从信号系统工程设计、运输组织调度、列控中心轨道电路发码的技术条件、车载设备软件处理逻辑等各专业角度,研究并比选优化技术方案,建议ATP不主动与接收RBC拆链。 展开更多

关键词 枢纽 无线通信超时 rbc移交 技术方案

下载PDF 职称材料

特殊场景下RBC移交造成列车停车故障分析 被引量：1

17

作者 王先明 张健伟 《铁道通信信号》 2021年第5期29-31,共3页

无线闭塞中心(RBC)是CTCS-3级列控系统的地面核心设备,通过地面设备和列控车载设备提供的信息,生成行车许可,可保障RBC管辖范围内的列车安全运行。本文通过3起特殊场景下列车制动停车故障,深入分析故障原因,并提出相应的解决措施。

关键词 无线闭塞中心 rbc移交 特殊场景 故障分析

下载PDF 职称材料

高速铁路枢纽短联络线RBC切换方案研究 被引量：1

18

作者 武汝涵 《铁道通信信号》 2021年第3期9-11,共3页

目前新建高速铁路引入既有枢纽的情况越来越普遍,当枢纽联络线较短时,高速铁路枢纽RBC切换方案比较复杂。本文就高速铁路枢纽短联络线RBC切换方案进行研究,为相关设计工作提供有益借鉴。

关键词 高速铁路枢纽 短联络线 rbc切换

下载PDF 职称材料

杭绍台高铁引入杭甬客专RBC切换方案研究 被引量：1

19

作者 邹枫 《铁道通信信号》 2021年第8期24-28,32,共6页

以杭绍台高铁引入既有杭甬客专绍兴北站为例,通过分析不同线路RBC之间的切换原理,研究在连接2个CTCS-3级列控车站的联络线上无区间信号点的情况下,实现不同RBC之间的自动切换方案;综合调度命令及临时限速命令的下达、后期的运营维护,以... 以杭绍台高铁引入既有杭甬客专绍兴北站为例,通过分析不同线路RBC之间的切换原理,研究在连接2个CTCS-3级列控车站的联络线上无区间信号点的情况下,实现不同RBC之间的自动切换方案;综合调度命令及临时限速命令的下达、后期的运营维护,以及对既有高铁线路的改造难易程度等方面,提出在联络线上设置虚拟信号点的RBC移交方案,为在短联络线上进行RBC切换提供参考。 展开更多

关键词 无线闭塞中心 切换 联络线 虚拟信号点

下载PDF 职称材料

杭黄客专黄山北枢纽列车跨线运行方案探讨 被引量：1

20

作者 纪明慧 《铁路通信信号工程技术》 2018年第9期6-9,共4页

对RBC切换原则进行说明,结合杭黄客专黄山北枢纽实际站场对RBC切换方案进行分析,针对实际线路不满足RBC通信切换的条件,提出通过CTCS-3转CTCS-2和联锁代传信号授权延伸RBC数据覆盖范围,以解决场间列车跨线运行的问题。

关键词 列车运行控制 无线闭塞中心 切换方案

下载PDF 职称材料