期刊文献+
共找到133篇文章
< 1 2 7 >
每页显示 20 50 100
无线闭塞中心多模车地通信接口设计与实现
1
作者 黄琨 孙贻川 +2 位作者 许加龙 徐强 崔龙 《铁道通信信号》 2025年第2期53-61,共9页
随着列控系统的发展和5G通信技术的普及,CTCS-3级列控系统和新型列控系统无线闭塞中心的车地通信网络由GSM-R/GPRS向5G-R方向发展。为应对车地通信网络升级带来的工程技术挑战,提高列控系统对不同车地无线通信网络模式的兼容性,分析电... 随着列控系统的发展和5G通信技术的普及,CTCS-3级列控系统和新型列控系统无线闭塞中心的车地通信网络由GSM-R/GPRS向5G-R方向发展。为应对车地通信网络升级带来的工程技术挑战,提高列控系统对不同车地无线通信网络模式的兼容性,分析电路域与分组域车地无线通信网络模型和数据传输协议的差异项,以及在电路域和分组域模式下常见的RBC-ATP通信场景的交互流程;提出一种兼容GSM-R电路域和GPRS/5G-R分组域多模网络的RBC多模车地通信接口实现方案,描述了多模车地无线通信接口的系统边界及软硬件设计关键技术的原理和具体实现。通过仿真试验,验证了RBC多模车地无线通信接口功能的正确性和有效性。该方案有助于CTCS-3级列控系统/新型列控系统RBC的车地通信向5G-R升级的工程实现,为后续车地通信升级提供技术支撑和实践参考。 展开更多
关键词 新型列控系统 无线闭塞中心 车地通信 电路域 分组域 多模网络
在线阅读 下载PDF
TCC制式检测平台数字驱动采集接口可视化设计与实现 被引量:1
2
作者 陈增熙 徐中伟 梅萌 《铁路计算机应用》 2019年第8期57-61,67,共6页
为了解决列控中心(TCC)测试过程中测试人员对TCC驱动采集数据无法实时监测的问题,设计了TCC制式检测平台数字驱动采集接口可视化方案。使用S7-300PLC高速数字驱动采集模块和集成的视窗控制中心WinCC平台开发,实现了TCC制式检测平台数字... 为了解决列控中心(TCC)测试过程中测试人员对TCC驱动采集数据无法实时监测的问题,设计了TCC制式检测平台数字驱动采集接口可视化方案。使用S7-300PLC高速数字驱动采集模块和集成的视窗控制中心WinCC平台开发,实现了TCC制式检测平台数字驱动采集接口点位状态与站场图实时可视化。通过对TCC数字驱动采集点位信息的毫秒级精确采集,达到了对TCC请求的毫秒级应答,满足测试人员高效测试的要求,极大地提高了测试效率。该方案成功应用于5个厂家、6个型号TCC制式检测,取得了良好的应用效果,为铁路未来可视化测试提供技术支撑。 展开更多
关键词 列控中心 检测平台 数字驱动采集接口 站场图 可视化
在线阅读 下载PDF
基于CTCS-3级列控场景的TCC仿真系统研究与设计 被引量:1
3
作者 张瑞 杨扬 +1 位作者 张乃心 沈泽 《铁路计算机应用》 2020年第4期60-65,共6页
针对列控中心(TCC)的工作原理和主要功能,在CTCS-3列控仿真平台的基础上,提出TCC仿真子系统的整体架构、通信接口设计方案,实现轨道电路编码、有源应答器报文编制、临时限速和信号降级处理、区间改变运行方向、区间信号机点灯等主要功... 针对列控中心(TCC)的工作原理和主要功能,在CTCS-3列控仿真平台的基础上,提出TCC仿真子系统的整体架构、通信接口设计方案,实现轨道电路编码、有源应答器报文编制、临时限速和信号降级处理、区间改变运行方向、区间信号机点灯等主要功能。通过二维可视化操作界面,实时显示轨道区段的码序变化、区间运行方向,查看通信报文数据,模拟通信故障等。结合Unity3D开发环境下的三维TCC机柜模型,动态展示与其他子系统的通信状态。TCC仿真子系统将逻辑功能的实现与可操作性、可视性相结合,具有良好的实践教学意义。 展开更多
关键词 tcc 码序 可视化 仿真设计
在线阅读 下载PDF
TCC与TSRS间区间占用检查功能的交互及仿真测试方法
4
作者 郭海琦 《通信电源技术》 2020年第10期53-55,共3页
简述列控中心(TCC)与临时限速服务器(TSRS)间区间占用逻辑检查功能的交互,分析现场实际应用中可能出现的场景,从测试角度提出覆盖各种场景的测试方案,同时分析仿真TSRS为有效支撑测试方案应具备的功能.
关键词 列控中心 区间占用逻辑检查 临时限速服务器 测试
在线阅读 下载PDF
基于超椭球Markov的列车控制中心剩余使用寿命预测
5
作者 王康 齐金平 《铁路计算机应用》 2024年第2期67-73,共7页
为研究设备可用度对列车控制中心(TCC,Train Control Center)的影响和预测TCC的剩余使用寿命(RUL,Remaining Useful Life),降低TCC的故障发生率,确保车辆安全运行,构建TCC动态故障树模型。通过引入Markov理论,将其转化为Markov模型,设计... 为研究设备可用度对列车控制中心(TCC,Train Control Center)的影响和预测TCC的剩余使用寿命(RUL,Remaining Useful Life),降低TCC的故障发生率,确保车辆安全运行,构建TCC动态故障树模型。通过引入Markov理论,将其转化为Markov模型,设计了TCC可用度评估与RUL预测方法;考虑了TCC的失效率和共因失效,利用D-S(Dempster-Shafer)证据理论对失效数据作数据融合处理,得到TCC设备初始故障区间概率;在此基础上,采用超椭球模型约束设备初始故障区间概率,得到更加精确的底事件故障区间概率;画出Markov状态转移图,用矩阵推导出TCC可用度和RUL的函数关系式,且对可用度的计算还考虑了维修因素。以兰州—乌鲁木齐客运专线某TCC数据作为分析案例,用该方法计算TCC及其各设备的可用度,并预测TCC的RUL。结果表明:与通用方法相比,评估结果相同,但评估信息更丰富。 展开更多
关键词 列车控制中心 可用度 剩余使用寿命(RUL) MARKOV 超椭球模型 证据理论
在线阅读 下载PDF
基于证据理论和贝叶斯网络的TIS系统风险评估 被引量:2
6
作者 赵映彩 武晓春 《兰州交通大学学报》 CAS 2024年第2期76-84,共9页
目前我国列控联锁一体化系统处于试验阶段,研究列控联锁一体化系统的风险评估对其可靠运行具有重要意义。针对列控联锁一体化系统风险评估中存在的不确定性及风险随时间发生变化的问题,提出基于证据理论和动态贝叶斯网络的列控联锁一体... 目前我国列控联锁一体化系统处于试验阶段,研究列控联锁一体化系统的风险评估对其可靠运行具有重要意义。针对列控联锁一体化系统风险评估中存在的不确定性及风险随时间发生变化的问题,提出基于证据理论和动态贝叶斯网络的列控联锁一体化系统风险评估方法。首先,构建列控联锁一体化系统故障树,并将其转化为动态贝叶斯网络模型;然后,引入模糊集理论和证据理论来确定动态贝叶斯网络的参数,利用动态贝叶斯网络的双向推理、重要度分析等方法,分析影响该系统可靠运行的关键风险因素;最后,利用专家打分法量化风险损失,通过绘制风险矩阵确定系统的风险等级。仿真结果表明:列控联锁一体化系统的风险等级属于铁路安全标准EN 50126中“Ⅳ级(可接受的风险)”,通信单元中与转辙机和轨道电路的通信接口及目标控制器单元为系统的薄弱环节。 展开更多
关键词 铁路信号系统安全 列控联锁一体化 风险评估 动态贝叶斯网络 证据理论 模糊集理论
在线阅读 下载PDF
适应人体重心起伏的悬吊减重康复系统设计
7
作者 王创 陈文杰 +2 位作者 陈伟海 孙先涛 林岩 《北京航空航天大学学报》 EI CAS CSCD 北大核心 2024年第7期2322-2330,共9页
减重系统对下肢疾病患者的行走康复训练有重要影响。现有的下肢康复外骨骼减重装置大多只考虑如何减去患者体重的百分比,而忽略了患者身体重心的起伏。由于外骨骼的骨盆支架在竖直方向运动轨迹固定,患者步态的微小变化就会导致重心高度... 减重系统对下肢疾病患者的行走康复训练有重要影响。现有的下肢康复外骨骼减重装置大多只考虑如何减去患者体重的百分比,而忽略了患者身体重心的起伏。由于外骨骼的骨盆支架在竖直方向运动轨迹固定,患者步态的微小变化就会导致重心高度与骨盆支架运动轨迹不符,这一差异会作用到患者的骨盆位置,影响下肢关节的活动,并产生额外的风险。针对这一问题,提出通过采集足底压力来预测重心位置变化,并利用获得的重心轨迹解算出应施加的减重力方法,为患者训练提供安全有效的减重系统。所提方法的可行性已获仿真证实,并在研发的外骨骼减重系统上获得实际验证,模糊控制器跟踪重心轨迹的误差相比PID控制减少了21.2%,稳态误差维持在±1 mm范围内,髋膝关节的活动范围相比常规减重分别增加了14.36%和13.77%。 展开更多
关键词 下肢外骨骼 康复训练 悬吊减重 重心起伏 PID控制
在线阅读 下载PDF
新型列控系统无线闭塞中心测试平台研究 被引量:5
8
作者 郝建 杨志杰 +2 位作者 卢佩玲 吕方瑶 单一龙 《铁道标准设计》 北大核心 2024年第4期211-219,共9页
新型列控系统是对我国列车运行控制系统的最新研究与技术探索,无线闭塞中心作为新型列控系统的地面核心设备,实时控制列车间的追踪间隔,保障管辖范围内列车安全运行。为发掘新型列控系统无线闭塞中心设计中的不足,需利用测试平台对其安... 新型列控系统是对我国列车运行控制系统的最新研究与技术探索,无线闭塞中心作为新型列控系统的地面核心设备,实时控制列车间的追踪间隔,保障管辖范围内列车安全运行。为发掘新型列控系统无线闭塞中心设计中的不足,需利用测试平台对其安全功能进行充分验证。既有无线闭塞中心测试平台由于逻辑及数据结构设计问题,难以适配新型列控系统的工程数据,且无法满足新型列控系统部分功能的测试需求。通过分析新型列控系统工程数据及无线闭塞中心系统功能,对既有测试平台进行升级,将逻辑构建方式由以数据为基础调整为以模型为基础,降低测试平台与工程数据的耦合性;利用真实线路数据及新型列控系统中典型运用场景对该测试平台功能进行验证。验证结果表明,该测试平台解决了适配度不高、数据配置复杂的问题,可以满足新型列控系统无线闭塞中心多场景测试需求。 展开更多
关键词 新型列控系统CTCS-N 无线闭塞中心 测试平台 仿真环境 移动闭塞
在线阅读 下载PDF
基于云平台的城市轨道交通线网级列车监控系统设计 被引量:1
9
作者 张昱敏 刘德伟 邹海平 《铁道通信信号》 2024年第5期77-84,共8页
为解决传统ATS系统只能显示本线路的线路图、只能进行单一的线路行车调度指挥,以及物理硬件数量多、升级扩容难度大等问题,设计了一种基于云平台的城市轨道交通线网级列车监控系统(NATS)。该系统可以针对大型城市进行轨道交通全路网的... 为解决传统ATS系统只能显示本线路的线路图、只能进行单一的线路行车调度指挥,以及物理硬件数量多、升级扩容难度大等问题,设计了一种基于云平台的城市轨道交通线网级列车监控系统(NATS)。该系统可以针对大型城市进行轨道交通全路网的信息显示,以便线网中心进行整体运营指挥和调度,提供行车指挥、运营指标分析、全局运行图编制、线网和线路协同指挥等运营管理功能,实现城市轨道交通监控调度集中化管理。借助于云平台,NATS系统能够虚拟化到云平台上,无需对系统本身进行大范围、深层次改动。利用云平台的特点,可以整合各线路的硬件资源,减少硬件设置,并根据NATS系统的规模灵活配置,便于既有线路数据迁移、后续线路接入和扩展,对系统整体性能有显著提升。本设计方案对各大城市的轨道交通线网级列车监控提供重要参考。 展开更多
关键词 城市轨道交通 线网级列车监控 云平台 控制中心 列车监控
在线阅读 下载PDF
苏州轨道交通11号线与3号线贯通运营信号系统改造关键技术方案 被引量:1
10
作者 刘冬冬 周祎 +1 位作者 施宇锋 唐陶 《城市轨道交通研究》 北大核心 2024年第12期356-359,共4页
[目的]为实现苏州轨道交通11号线与3号线贯通运营,需根据线路特点和运营需求定制专属的信号系统改造技术方案,以实现“一线一案”的技术目标。[方法]分析了城市轨道交通信号系统无人驾驶制式升级改造的技术关键点,结合苏州轨道交通11号... [目的]为实现苏州轨道交通11号线与3号线贯通运营,需根据线路特点和运营需求定制专属的信号系统改造技术方案,以实现“一线一案”的技术目标。[方法]分析了城市轨道交通信号系统无人驾驶制式升级改造的技术关键点,结合苏州轨道交通11号线与3号线贯通运营信号系统改造方案,从车站改造、控制中心贯通、网络兼容等方面阐述了信号系统改造过程中的技术难点和创新点。[结果及结论]苏州轨道交通3号线为国内首条由GOA2(半自动化列车运行)升级为GOA4(无人干预列车运行)的线路,信号系统改造完成后,3号线运营更安全、更高效、更智能,同时实现了11号线与3号线两线信号系统的全面兼容和无扰贯通。 展开更多
关键词 苏州轨道交通 信号系统 贯通运营 控制中心
在线阅读 下载PDF
列控联锁一体化系统试验应用研究
11
作者 李文涛 颉康 康晖 《铁路通信信号工程技术》 2024年第10期1-6,共6页
列控联锁一体化系统是满足铁路车站设备安全运用需要的一种新型安全苛求控制系统,该系统设备在若和线完成试验应用,对信号控制系统装备技术升级和发展具有示范作用。阐述列控联锁一体化系统的主要功能和技术特点,并结合该系统在若和线... 列控联锁一体化系统是满足铁路车站设备安全运用需要的一种新型安全苛求控制系统,该系统设备在若和线完成试验应用,对信号控制系统装备技术升级和发展具有示范作用。阐述列控联锁一体化系统的主要功能和技术特点,并结合该系统在若和线的试验应用情况,总结分析列控联锁一体化系统在施工、维护方面与传统继电联锁系统相比的差异性,为该系统的运用维护与工程应用推广提供支撑和借鉴。 展开更多
关键词 列控联锁一体化系统 电子执行单元 工程应用 维护管理 差异性分析
在线阅读 下载PDF
全自动运行系统列车远程控制技术研究
12
作者 谭康柏 《设备监理》 2024年第6期50-54,共5页
全自动运行系统在故障、紧急和灾难等特殊运行场景中需要人工介入,对列车进行远程控制。远程控制指令由运行控制中心的调度发出,经由设定的传递路径最后传到列车相关系统,列车系统根据指令完成对应的功能,从而实现人工干预的目的。本文... 全自动运行系统在故障、紧急和灾难等特殊运行场景中需要人工介入,对列车进行远程控制。远程控制指令由运行控制中心的调度发出,经由设定的传递路径最后传到列车相关系统,列车系统根据指令完成对应的功能,从而实现人工干预的目的。本文综合考虑了列车远程控制方案设计依据、远程控制指令传输路径,结合列车各系统的功能,全面阐述了列车九大系统远程控制方案,为智能交通系统、自动驾驶以及远程监控提供参考。 展开更多
关键词 远程控制 运行场景 运行控制中心 列车控制及监控系统
在线阅读 下载PDF
疾控中心对于严重精神障碍患者治疗项目管理的经验探讨
13
作者 路艳 《中国卫生产业》 2024年第7期57-59,69,共4页
本文首先概述了严重精神障碍患者治疗项目管理的内容与原则,明确疾控中心在严重精神障碍患者治疗项目管理的作用,并总结地区疾控中心对于严重精神障碍患者治疗项目管理的经验,包括精神卫生防治综合能力建设、信息管理与项目质控、患者... 本文首先概述了严重精神障碍患者治疗项目管理的内容与原则,明确疾控中心在严重精神障碍患者治疗项目管理的作用,并总结地区疾控中心对于严重精神障碍患者治疗项目管理的经验,包括精神卫生防治综合能力建设、信息管理与项目质控、患者管理治疗、人员培训、健康教育和宣传等。 展开更多
关键词 疾控中心 严重精神障碍管理 项目患者治疗项目 信息管理 患者管理治疗 人员培训
在线阅读 下载PDF
列控中心设备控制能力与应用需求匹配性研究
14
作者 高文慧 李洪飞 +1 位作者 庞晓春 刘强 《铁道通信信号》 2024年第12期71-78,共8页
在CTCS-2、CTCS-3等级线路的新建、改造项目中,出现了突破列控中心规模要求和控制能力的新需求,为避免控制性能超限引发系统性风险,提出在一个车站设置2套列控中心的解决方案。结合不同的工程需求,分别对场景特殊导致部分设备超出列控... 在CTCS-2、CTCS-3等级线路的新建、改造项目中,出现了突破列控中心规模要求和控制能力的新需求,为避免控制性能超限引发系统性风险,提出在一个车站设置2套列控中心的解决方案。结合不同的工程需求,分别对场景特殊导致部分设备超出列控中心性能要求、单个车站配置不同制式轨道电路、站场规模大导致突破列控中心整体性能要求的3种特定场景进行分析,通过对轨道电路、地面电子单元等关键设备进行分割管辖,解决列控中心设备控制性能超限问题。该解决方案已在成宜高铁、集大原高铁引入工程应用,既兼容了列控技术标准,又适应大型车站的特殊需求,为类似工程的改造及实施,以及后续高铁枢纽工程复杂度增加、工程规模变大等问题的解决提供参考。 展开更多
关键词 列控中心 轨道电路 地面电子单元 划分原则 控制能力 性能超限
在线阅读 下载PDF
新型列控系统中心设备维护终端显示方案探讨
15
作者 程宇佳 冯凯 《铁路通信信号工程技术》 2024年第12期15-22,共8页
新型列控系统相对于CTCS-3级列控系统增加了一些维护信息点。针对这些新增内容,基于已经发布的《无线闭塞中心维护终端显示暂行技术规范》(TJ/DW228-2019)、《临时限速服务器维护终端显示暂行技术规范》(TJ/DW227-2019)两个标准性技术文... 新型列控系统相对于CTCS-3级列控系统增加了一些维护信息点。针对这些新增内容,基于已经发布的《无线闭塞中心维护终端显示暂行技术规范》(TJ/DW228-2019)、《临时限速服务器维护终端显示暂行技术规范》(TJ/DW227-2019)两个标准性技术文件,首先提出无线闭塞中心、临时限速服务器维护终端显示方案;其次描述闭塞制式、虚拟区段、站间计轴、信号机、应答器、列车信息、特定引导行车命令、地基增强系统、电子地图等信息的显示方法;最后简要描述IP查询服务器维护终端应具备的显示功能及视图分类,旨在统一维护终端产品显示界面及显示内容,促进全路运营维护规范化。 展开更多
关键词 维护终端 显示规范 新型列控系统 无线闭塞中心 临时限速服务器 IP查询服务器
在线阅读 下载PDF
新型无线闭塞中心新增功能测试方案研究
16
作者 赵琳 《铁道通信信号》 2024年第12期53-60,共8页
新型列控系统是我国列车运行控制系统的最新研究方向。新型无线闭塞中心是新型列控系统的地面核心设备,该设备实时计算行车许可并发送给列车,控制列车的安全运行。为确保新型无线闭塞中心产品的质量和安全性,尽可能在实验室仿真阶段发... 新型列控系统是我国列车运行控制系统的最新研究方向。新型无线闭塞中心是新型列控系统的地面核心设备,该设备实时计算行车许可并发送给列车,控制列车的安全运行。为确保新型无线闭塞中心产品的质量和安全性,尽可能在实验室仿真阶段发现其功能缺陷,需对新型无线闭塞中心进行充分全面的测试验证。在分析新型无线闭塞中心新增功能的基础上,研究基于新型无线闭塞中心仿真测试平台的测试方法,并结合和若线的真实列控数据,设计列车在现场运行过程中可能出现的应用场景,对列车占用检查和目视授权等功能进行测试验证。试验结果表明:设计的测试场景充分结合了实验室仿真测试和现场真实数据,能够满足新型无线闭塞中心的功能验证需求。 展开更多
关键词 新型列控系统 新型无线闭塞中心 功能测试 仿真测试平台 列车占用检查 目视授权
在线阅读 下载PDF
高速铁路列控中心软件安全性需求形式化建模 被引量:4
17
作者 喻钢 刘晓文 +2 位作者 熊静 徐中伟 杜军威 《铁道学报》 EI CSCD 北大核心 2013年第7期74-79,共6页
列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,... 列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法。根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述。通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性。 展开更多
关键词 高速铁路 列控中心 安全性 形式化建模 安全性需求
在线阅读 下载PDF
客运专线列控中心对轨道电路分路不良的防护 被引量:14
18
作者 吴江娇 王亚菊 《北京交通大学学报》 EI CAS CSCD 北大核心 2008年第3期21-24,共4页
轨道电路分路不良会导致信号显示和轨道电路码序升级,联锁关系失效,直接危及行车安全.客运专线列控中心利用现有设备所能提供的技术条件,采用软件处理的方法通过站间安全信息传输和轨道电路占用逻辑检查,对发生分路不良的区段做出判断,... 轨道电路分路不良会导致信号显示和轨道电路码序升级,联锁关系失效,直接危及行车安全.客运专线列控中心利用现有设备所能提供的技术条件,采用软件处理的方法通过站间安全信息传输和轨道电路占用逻辑检查,对发生分路不良的区段做出判断,并选用HU码作为防护码序对后续轨道区段的编码进行控制,防止追踪列车意外闯入,有效降低了区间分路不良对行车安全的风险. 展开更多
关键词 铁道信号 客运专线 列控中心 轨道电路 分路不良
在线阅读 下载PDF
基于Rhapsody的CTCS-3级列控系统无线闭塞中心运营场景建模 被引量:3
19
作者 刘晓斌 莫志松 +2 位作者 杨霓霏 胡裕祥 卢佩玲 《中国铁道科学》 EI CAS CSCD 北大核心 2010年第4期100-104,共5页
在分析无线闭塞中心(RBC)运营场景的基础上,研究利用Rhapsody建模工具建立RBC运营场景模型,并以RBC与外部系统之间的关系、列车状态和RBC移交列车为例,描述整个RBC运营场景的建模过程。用例图从最高层抽象出构成RBC系统的对象以及各个... 在分析无线闭塞中心(RBC)运营场景的基础上,研究利用Rhapsody建模工具建立RBC运营场景模型,并以RBC与外部系统之间的关系、列车状态和RBC移交列车为例,描述整个RBC运营场景的建模过程。用例图从最高层抽象出构成RBC系统的对象以及各个对象之间的相互关系,用状态图建立RBC各个场景的状态模型,用顺序图描述各个系统的信息交互顺序;利用Rhapsody中提供的动态模型执行功能,查找无线闭塞中心系统设计上的错误和缺陷,为完善RBC设计和系统开发提供依据。 展开更多
关键词 无线闭塞中心 运营场景 建模工具 列车控制系统
在线阅读 下载PDF
ETCS-2级列控系统RBC交接协议的形式化分析 被引量:18
20
作者 牛儒 曹源 唐涛 《铁道学报》 EI CAS CSCD 北大核心 2009年第4期52-58,共7页
RBC(无线闭塞中心)交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严... RBC(无线闭塞中心)交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严谨,并且具有良好的数学理论支撑,与仿真手段相比能够得出更加可信的定量分析结果。本文选择随机Petri网(SPN)这一形式化语言对RBC交接协议进行研究,综合信道突发降质、GSM-R小区切换、链路中断等故障因素,针对两种协议方案分别建立RBC交接失败概率模型,分析列车运行速度、RBC重叠范围对交接成功概率的影响。结果表明基于两个车载电台、切换时能同时与两个RBC通信的RBC交接协议能够更好地保证列车交接过程的安全性,对行车效率的影响比较小。 展开更多
关键词 ETCS 形式化分析 随机PETRI网 RBC交接协议 无线闭塞中心(RBC)
在线阅读 下载PDF
上一页 1 2 7 下一页 到第
使用帮助 返回顶部