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

铁道学报 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方向加速算法

来源：评论

学校读者我要写书评

暂无评论

欧洲列车运行控制系统基线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 测试用例耦合条件路径生成算法

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

铁路列车无线调度通信系统制式对比研究

引用

通讯世界 2025年第2期32卷 10-12页

作者：韦文张鑫马瑞北京全路通信信号研究设计院集团有限公司北京100070

分析铁路列车无线调度(简称“无线列调”)通信业务,对比研究应用于铁路无线列调通信系统的不同制式,包括450 MHz无线列调通信系统、400 MHz数字无线列调通信系统、铁路数字移动通信系统(GSM-R)等,并提出多种制式共存和兼容方案。对比研... 详细信息

分析铁路列车无线调度(简称“无线列调”)通信业务,对比研究应用于铁路无线列调通信系统的不同制式,包括450 MHz无线列调通信系统、400 MHz数字无线列调通信系统、铁路数字移动通信系统(GSM-R)等,并提出多种制式共存和兼容方案。对比研究结果表明,400 MHz数字无线列调通信系统适用于铁路既有450 MHz无线列调通信系统的数字化改造工作,有利于提高列车调度工作效率和铁路运营水平。

关键词：铁路列车无线调度通信系统 GSM-R 制式对比数字化频率清退

来源：评论

学校读者我要写书评

暂无评论

基于骨架识别的城轨车站监控视频乘客行为特征辨识研究

引用

都市快轨交通 2025年第1期38卷 106-111页

作者：管洋贾利民陶思涵豆飞北京交通大学交通运输学院北京100044 北京全路通信信号研究设计院集团有限公司北京100070 北京联合大学北京100101

城市轨道交通领域传统监控分析方法对视频监控图像(如摔倒、晕倒和打斗等异常行为识别)漏识率高、参数调整复杂,且难以高效地应用于现实城轨车站监控场景,针对此问题,采用基于骨架模式识别的人体姿态特征辨识框架,引入基于人体骨架的姿... 详细信息

城市轨道交通领域传统监控分析方法对视频监控图像(如摔倒、晕倒和打斗等异常行为识别)漏识率高、参数调整复杂,且难以高效地应用于现实城轨车站监控场景,针对此问题,采用基于骨架模式识别的人体姿态特征辨识框架,引入基于人体骨架的姿态估计技术,采用Alpha Pose模型对乘客姿态进行精确估计,并结合时空图卷积网络(spatial temporal graph convolutional networks,ST-GCN)模型的方法,实现对城轨车站监控场景中异常行为的辨识。在COCO数据集和MPII数据集上分别达到了72.3 mAP和82.1 mAP的效果,相比较于Open Pose模型提升高达17%,验证了模型的有效性和实用性。结果表明,本文所提出的方法不仅提高了乘客行为的识别速度,同时具备对复杂场景的适应能力,为城轨安全监控提供一种新的技术方案。

关键词：轨道交通骨架识别模式识别城轨车站安全乘客行为特征辨识 ST-GCN

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：