检索结果-内蒙古大学图书馆

铁道学报 2025年第2期47卷 83-91页

作者：郁文斌邱兆阳北京全路通信信号研究设计院集团有限公司北京100073

针对铁路信号系统列控设备的安全软件提出一种基于扩展有限状态机的测试验证方法,此形式化方法可有效地应用于铁路信号控制软件的自动化测试技术中。通过对信号安全软件与外部设备的信息交互流程与其应用功能需求间映射关系的特征分析,... 详细信息

针对铁路信号系统列控设备的安全软件提出一种基于扩展有限状态机的测试验证方法,此形式化方法可有效地应用于铁路信号控制软件的自动化测试技术中。通过对信号安全软件与外部设备的信息交互流程与其应用功能需求间映射关系的特征分析,构建出一个基于应用协议的铁路信号事件扩展有限状态机。此扩展状态机能够识别出根据需求定义的预期测试判定序列是否符合软件的实现,从而发现软件的潜在错误。另外,还给出扩展状态机的核心算法以及原理实现,开发出对应的测试验证系统。最后,选取临时限速服务器设备,通过实验验证应用此方法后与未使用此方法前的判定效果,并进行对比分析,结果表明提出的铁路信号扩展有限状态机模型能够正确有效地对设备安全软件进行符合性测试,具有准确率高、可靠性高、性能稳定等优点。

关键词：铁路信号软件形式化状态机符合性测试自动化

来源：评论

学校读者我要写书评

暂无评论

市域铁路车站股道有效长优化研究

引用

铁道工程学报 2025年第3期42卷 65-69页

作者：张友兵北京全路通信信号研究设计院集团有限公司北京100070

研究目的:市域铁路是适用于都市圈中心城市城区连接周边城镇组团的轨道交通系统,提供公交化、大运量、快速便捷的交通服务,因此有些市域铁路车站修建在城市地下或高架线路上。股道有效长度直接影响着铁路车站建设的工程投资额、土地资... 详细信息

研究目的:市域铁路是适用于都市圈中心城市城区连接周边城镇组团的轨道交通系统,提供公交化、大运量、快速便捷的交通服务,因此有些市域铁路车站修建在城市地下或高架线路上。股道有效长度直接影响着铁路车站建设的工程投资额、土地资源利用率等。本文通过分析高速铁路、城际铁路股道有效长度的组成,结合国内延续进路原理和ETCS保护区段原理,提出市域铁路缩短股道有效长方案和股道有效长设计方案。研究结论:(1)接车进路设置保护区段,列车进站停车时,以保护区段末端为行车许可终点,提高进站停车效率;(2)列车进站停稳停准后,车载设备将行车许可终点回撤到出站信号机,并向地面设备报告停稳停准信息,地面设备自动解锁保护区段,降低保护区段锁闭时间,减小对车站其他进路的影响;(3)该方案可将市域铁路到发线有效长度缩短到270m,对减小市域铁路车站规模、降低工程投资具有重要意义,可为类似工程提供借鉴和参考。

关键词：市域铁路到发线有效长度列车控制系统

来源：评论

学校读者我要写书评

暂无评论

基于改进Powell方向加速法的CBTC车-地通信优化

引用

铁道工程学报 2025年第1期42卷 95-100页

作者：杨骞苏宏升杨建刚刘大为董煜兰州交通大学兰州730070 兰州工业学院兰州730050 北京全路通信信号研究设计院集团有限公司北京100070

研究目的:针对CBTC系统车-地通信过程产生的高时延、系统容量不足等情况,进而引发系统瞬时通信中断的问题,对其影响因素进行分析,提出一种CBTC系统车-地通信性能的优化方案,并通过建模仿真验证其有效性。根据CBTC系统的时变信道不完全... 详细信息

研究目的:针对CBTC系统车-地通信过程产生的高时延、系统容量不足等情况,进而引发系统瞬时通信中断的问题,对其影响因素进行分析,提出一种CBTC系统车-地通信性能的优化方案,并通过建模仿真验证其有效性。根据CBTC系统的时变信道不完全信道状态信息特征,用接收端信噪比低于拟设阈值的概率,即中断概率作为车-地通信性能的评价指标,建立数学模型表述其与轨旁通信节点位置、信道小尺度衰落和列车位置等决策变量的关系,利用改进的Powell方向加速算法对目标函数的解进行迭代优化,得到全局最优解。研究结论:(1)利用降低列车速度、降低车-地信息传输速率、改善通信信道环境等方法,可降低车-地通信中断概率,但寻求轨旁通信节点的最优布置方式是改善CBTC系统车-地通信性能的最佳方案,且成本最低;(2)与随机搜索方法相比,通过改进的Powell方向加速算法求解模型中的无约束优化问题,展现出高效性,收敛速度比随机搜索快80%以上;(3)通过优化中断概率,可为提升CBTC系统车-地通信性能提供理论指导,为城轨施工轨旁通信节点设置问题提供解决方案。

关键词： CBTC 车-地通信不完全信道状态信息信噪比中断概率改进的Powell方向加速算法

来源：评论

学校读者我要写书评

暂无评论

低碳视角下城市轨道交通列车交路运行方案优化研究

引用

铁道运输与经济 2025年第2期47卷 110-118,160页

作者：杨安玉中铁第四勘察设计院集团有限公司通信信号设计研究院湖北武汉430063

从低碳视角出发,针对城市轨道交通列车交路运行方案进行优化研究。考虑到城市轨道交通客流分布不均衡性,提出采用大小交路运营模式,以缓解中心城区运力紧张、提高服务质量,并减少碳排放,促进城市低碳发展。以全线乘客总候车时间、列车... 详细信息

从低碳视角出发,针对城市轨道交通列车交路运行方案进行优化研究。考虑到城市轨道交通客流分布不均衡性,提出采用大小交路运营模式,以缓解中心城区运力紧张、提高服务质量,并减少碳排放,促进城市低碳发展。以全线乘客总候车时间、列车的行车公里以及碳排放量最小化为目标,建立多目标优化模型;通过假设和约束条件的设定,综合考虑了乘客出行体验、列车运营成本、碳排放量和列车满载率等因素,采用麻雀优化算法求解模型;通过案例分析,对比了大小交路方案与单一交路方案的运营效果。结果表明,优化发车频率和起始站点得出的运营方案,最多减少总候车时间45197.5 s,最多减少碳排放量601192 kg,运输效率略有下降,最大断面满载率最多下降15%。

关键词：城市轨道交通列车运行交路方案大小交路麻雀优化算法低碳

来源：评论

学校读者我要写书评

暂无评论

基于PRP监测帧的城轨信号系统车地无线通信冗余网络监视方法

引用

铁道通信信号 2025年第1期61卷 57-63页

作者：郭碧中铁第四勘察设计院集团有限公司通信信号研究设计院武汉430063

在城市轨道交通线路采用不同车地无线通信制式的场景中,基于并行冗余协议(PRP)构建的信号系统车地无线通信冗余网络,存在单一链路传输故障监测困难的问题。通过对CBTC系统不同车地无线通信场景及需求进行分析,在充分研究IEC 62439-3监... 详细信息

在城市轨道交通线路采用不同车地无线通信制式的场景中,基于并行冗余协议(PRP)构建的信号系统车地无线通信冗余网络,存在单一链路传输故障监测困难的问题。通过对CBTC系统不同车地无线通信场景及需求进行分析,在充分研究IEC 62439-3监测帧数据结构和工作机制的基础上,提出采用周期性发送监测帧来实现对冗余通信网络节点链状态的监视,并构建了监视机制和算法流程,对该监视方法进行测试和网络负载影响分析。测试结果表明:监测帧可监视数据链路通信状态,且监测帧数据传输对既有网络影响小,验证了该方法在城轨信号系统车地通信并行冗余网络实时监视和网络故障快速定位中应用的可行性。

关键词： CBTC系统车地通信并行冗余协议故障监测监测帧

来源：评论

学校读者我要写书评

暂无评论

接触网关节式电分相与动车组列车过分相逻辑匹配问题分析

引用

电气化铁道 2025年第2期36卷 62-64,73页

作者：陈鑫北京全路通信信号研究设计院集团有限公司

随着近年来我国高速铁路的不断发展,已开通运行的接触网关节式电分相型式较多,加之动车组车型多样,接触网电分相的设计与动车组过分相逻辑的匹配就显得极为重要。本文以实际故障为例,针对典型类型动车组列车过分相的控制逻辑及与接触网... 详细信息

随着近年来我国高速铁路的不断发展,已开通运行的接触网关节式电分相型式较多,加之动车组车型多样,接触网电分相的设计与动车组过分相逻辑的匹配就显得极为重要。本文以实际故障为例,针对典型类型动车组列车过分相的控制逻辑及与接触网电分相匹配关系开展研究,并提出优化建议及电分相设计注意事项,以保证动车组列车在接触网分相区的可靠、安全、稳定运行。

关键词：关节式电分相列车过分相控制逻辑匹配关系优化建议

来源：评论

学校读者我要写书评

暂无评论

铁路线缆精益化管理方案设计

引用

铁路采购与物流 2025年第1期20卷 42-44页

作者：焦名北京全路通信信号研究设计院集团有限公司

线缆作为铁路供电和信息传输的重要媒介，其管理水平的高低关系到铁路运行安全，也将对社会经济活动和公共安全产生巨大影响。阐述了铁路线缆建设原则，针对地下线缆路径查询、定位与故障监测、定位等问题，提出了铁路线缆精益化管理方... 详细信息

线缆作为铁路供电和信息传输的重要媒介，其管理水平的高低关系到铁路运行安全，也将对社会经济活动和公共安全产生巨大影响。阐述了铁路线缆建设原则，针对地下线缆路径查询、定位与故障监测、定位等问题，提出了铁路线缆精益化管理方案，以有效提升铁路线缆信息化、智能化的维护水平。

关键词：信息传输铁路线缆精益化管理 RFID 光纤

来源：评论

学校读者我要写书评

暂无评论

欧洲列车运行控制系统基线4解析

引用

铁路通信信号工程技术 2025年第4期22卷 109-116页

作者：刘旸张文汇北京全路通信信号研究设计院集团有限公司北京100070

通过对比分析法从系统结构和车载设备模式角度识别、分析欧洲列车运行控制系统(ETCS)基线4相对于基线3提出的一些新概念。这些概念包括列车自动驾驶系统(ATO)和未来铁路移动通信系统(FRMCS)以及自动驾驶(AD)模式和监控调车(SM)模式。首... 详细信息

通过对比分析法从系统结构和车载设备模式角度识别、分析欧洲列车运行控制系统(ETCS)基线4相对于基线3提出的一些新概念。这些概念包括列车自动驾驶系统(ATO)和未来铁路移动通信系统(FRMCS)以及自动驾驶(AD)模式和监控调车(SM)模式。首先提供欧盟委员会发布ETCS基线4的背景信息和这些概念的简要介绍,然后概述ETCS系统新增模块,分析ATO系统的结构和接口、启用条件和主要功能,以及FRMCS系统的范围、接口、结构和功能,最后分析AD和SM模式的主要特点和车载设备的主要功能,为后续深入研究ETCS基线4提供参考。

关键词：欧洲列车运行控制系统基线4 控制、指挥和信号系统互联互通技术规范

来源：评论

学校读者我要写书评

暂无评论

SCADE模型测试下最小测试用例集路径生成算法

引用

铁路通信信号工程技术 2025年第4期22卷 19-24,57页

作者：夏苗陈泽华北京全路通信信号研究设计院集团有限公司北京100070

根据在安全关键应用开发环境(Safety Critical Application Development Environment,SCADE)下,对采用Masking Modified Condition/Decision Coverage(MC/DC)准则的A级软件,如何快速生成最小测试用例集,总结出路径生成算法。针对零耦合条件、弱耦合条件、强耦合条件的输入,可使用一套算法完成最小测试用例集的设计,充分提高测试人员效率。并引入路径的概念,帮助测试人员加深对测试覆盖率全面性的理解。

关键词： SCADE MC/DC 测试用例耦合条件路径生成算法

来源：评论

学校读者我要写书评

暂无评论

地铁公安无线通信系统PDT制式转网的研究与实现

引用

无线互联科技 2025年第2期22卷 12-16页

作者：李鸿飞北京全路通信信号研究设计院集团有限公司北京100073

以沈阳地铁公安无线通信系统为研究对象,针对既有系统构成复杂、设备老化和急需制式更新等问题,文章提出了一种从泛欧集群无线电(Trans European Trunked Radio,TETRA)制式转入警用数字集群制式的平滑转网方案,分别从公安无线通信系统... 详细信息

以沈阳地铁公安无线通信系统为研究对象,针对既有系统构成复杂、设备老化和急需制式更新等问题,文章提出了一种从泛欧集群无线电(Trans European Trunked Radio,TETRA)制式转入警用数字集群制式的平滑转网方案,分别从公安无线通信系统交换控制中心、无线网、传输链路和业务平台方面进行详细介绍,得出系统应采用兼容PDT与TETRA制式混合组网模式进行平滑过渡,逐步实现PDT制式转网的结论,可为类似项目提供借鉴和实施经验。

关键词： TETRA制式转入PDT制式平滑转网 PDT与TETRA制式混合组网公安无线通信系统地铁

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：