自动防护系统

作品数：60被引量：130H指数：6
导出分析报告
相关领域：交通运输工程更多>>
相关作者：王长林王利军林颖郜春海蒋建军更多>>
相关机构：北京交通大学通号城市轨道交通技术有限公司西南交通大学湖南中车时代通信信号有限公司更多>>
相关期刊：《科技风》《科技信息》《控制与信息技术》《大气与环境光学学报》更多>>
相关基金：国家自然科学基金铁道部科技研究开发计划国家科技支撑计划更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 期刊=铁路计算机应用x
共 条 记 录，以下是1-4
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
两例特殊场景下ATP车载设备机车信号掉码原因分析与纠正措施
《铁路计算机应用》2025年第1期75-81,共7页赵志鹏 张亮 徐威 田密 
中国铁道科学研究院集团有限公司基金重点课题(2024YJ191)。
机车信号掉码是ATP车载设备日常运用中的常见故障,会直接触发列车制动,影响列车运行效率。地面轨道电路特殊设计场景下的机车信号掉码事件多发生在新线开通前或线路改造后的联调联试阶段,其原因复杂多变,需要结合ATP车载设备解码逻辑和...
关键词：列车自动防护系统车载设备 机车信号 掉码 轨道电路 原因分析 纠正措施 
铁路货场平过道道口自动防护系统设计与实现被引量：1
《铁路计算机应用》2021年第6期52-57,共6页张德军 邱培军 李映 荆长顺 
中国铁路青藏集团有限公司(QZ2020-Y03)。
铁路货场平过道道口自动防护系统以高清视频设备、智能闸机控制装置、列车及车辆检测传感器等为基础,采用计算机网络技术、物联网技术、自动控制理论及信息处理与集成技术,实现列车通过平过道道口图像信息的自动采集,平过道道口列车接...
关键词：铁路货场 货场平过道道口 智能闸机 视频监控 应急处理 
基于UPPAAL的列车自动防护系统形式化建模与验证被引量：3
《铁路计算机应用》2014年第8期42-44,48,共4页蒋建军 王长林 
本文分析列车自动防护(ATP)系统的结构和功能需求,建立系统的时间自动机模型,采用UPPAAL模型验证工具对模型的活性和安全性进行验证。结果表明,采用时间自动机对安全苛求实时系统进行建模与验证,可以有效地保证系统的可靠性和实时性。
关键词：安全苛求系统 时间自动机 模型验证 UPPAAL 
基于UML的列车自动防护系统测试用例生成方法研究被引量：1
《铁路计算机应用》2013年第7期33-35,39,共4页李晓洁 
文章研究基于UML的列车自动防护系统测试用例的生成方法。对基于UML的列车自动防护系统测试技术进行分析,采用UML生成XML测试脚本的3层设计方法,分别从概念层、逻辑层和物理层对列车自动防护系统进行描述,通过转换规则与对应关系,生成XM...
关键词：ATP UML自动测试技术 XML 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部