车站联锁

作品数：50被引量：71H指数：5
导出分析报告
相关领域：交通运输工程更多>>
相关作者：沈志凌石先明刘立峰杨扬蒋熙更多>>
相关机构：西南交通大学北京全路通信信号研究设计院集团有限公司兰州交通大学兰州安信铁路科技有限公司更多>>
相关期刊：《现代城市轨道交通》《世界轨道交通》《科学与财富》《山东煤炭科技》更多>>
相关基金：中央高校基本科研业务费专项资金国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
专用线DX3型道口电路设计方案分析与运用被引量：2
《铁道通信信号》2024年第3期95-101,共7页代立疆 
中国铁路设计集团有限公司科技开发课题(2021B340807)。
沈阳东站与八家子(电厂)专用线间有3个道口,每个道口与车站的相对位置和联锁关系均不相同。根据专用线上道口接近通知点与车站、区间的位置关系,有道口上下行通知点均在站内、分别在站内和区间、均在区间3种情况。根据各道口的现场实际...
关键词：道口电路 专用线 车站联锁 动作逻辑 接近通知 
计算机联锁车站联锁图表设计的研究被引量：1
《科技资讯》2023年第19期6-10,共5页习家宁 
该文根据中国铁路总公司《计算机联锁车站图表编制原则》(Q/CR 654-2018),对联锁表设计中接近锁闭区段栏、人解时间栏、带动及防护道岔栏、敌对信号栏这4个方面进行分析研究,并结合实际工程设计,总结联锁表设计规律,重点阐述了不同进路...
关键词：联锁 人解时间 接近锁闭 道岔 
特定车站联锁安全软件形式化验证流程
《铁道通信信号》2022年第12期28-31,共4页魏民 刘晓 张文燕 王燕芩 
特定车站的联锁安全软件因其变量复杂且变量间耦合众多,使得传统测试很难覆盖所有的联锁场景,而形式化验证具有遍历系统各个状态的特点,可以实现联锁所有可能场景的验证。研究了联锁安全软件的形式化验证流程,包括安全需求的提炼、形式...
关键词：特定车站 联锁系统 危害分析 形式化验证 模型检测 
车站联锁系统行为验证与数据确认的形式化方法被引量：5
《西南交通大学学报》2021年第3期587-593,610,共8页王恪铭 王霞 程鹏 刘宁 张传东 
国家自然科学基金(71502146,61673320);中央高校基本科研业务费专项资金(2682017ZT12)。
车站联锁系统是一种典型的基于数据驱动的安全苛求系统,开发过程中需要对系统行为进行验证并需确认数据的正确性.为此,通过分析联锁系统的设计规范,基于RODIN平台并使用Event-B语言,辅助使用UML(unified modeling language)图工具快速...
关键词：车站联锁系统 形式化验证 定理证明 数据确认 功能仿真 测试 
矿区铁路车站联锁集控操作层关键系统维护技术研究
《中国科技期刊数据库 工业A》2021年第2期00054-00055,57,共3页杨金辉 
山东淄矿铁路运输有限公司在微机联锁远程集中控制系统改造后,一直正常运输,系统通过系统结构的灵活配置和多层次的"故障—安全"模式设计,实现对区域内多个铁路车站的远程集中控制。但随着系统的不断运行和维护,出现了一些问题,本文结...
关键词：矿区铁路 联锁集控 系统结构 系统维护 
郑万高铁河南段信号工程安全评估被引量：1
《铁道技术监督》2020年第3期20-22,共3页孙彦英 王继星 杜艳萍 袁伟家 
为进一步提升高速铁路信号联锁和列控设备的质量管理水平,保障高速铁路信号系统安全,中国国家铁路集团有限公司在郑万高铁河南段开展高铁信号工程安全评估试点。探索第三方技术机构在高铁信号工程特定应用的安全评估工作,持续提升信号...
关键词：郑万高铁 信号工程 车站联锁 列车自动控制系统 安全评估 
车站站场室外场景3D联锁仿真软件设计被引量：3
《铁路计算机应用》2019年第5期50-53,共4页宋一锋 杨扬 王秀峰 刘宇 邓川 
车站站场室外场景3D联锁仿真软件实现了车站联锁控制过程的三维实时动态复示。该软件的设计采用3DMAX软件对各信号设备建模,采用C#编程语言在Unity3D平台下制作转辙机带动道岔转换、轨道电路光带显示及信号机点灯等动画;通过实时接收计...
关键词：铁路信号 车站联锁 三维建模 3DMAX UNITY3D 
试论优化车站联锁电路修改施工的方法
《建材发展导向》2018年第1期367-367,共1页张金平 
车站联锁电路系统一直在改进,以这些年来对车站联锁电路系统的研究,探究出了一些关于车站联锁电路修改施工的方法.以利于提高铁路工程质量,确保工程安全、准时开通等一系列问题.
关键词：车站 联锁电路 修改施工 
基于UML建模的计算机联锁进路模块Petri网验证被引量：4
《铁路计算机应用》2017年第4期10-14,共5页薛丰 杨扬 谢林 
对于铁路车站计算机联锁软件中的重要部分之一的进路模块,使用UML对其进行建模。针对UML没有精确语义、缺少模型分析和验证手段不足的缺点,利用具有严格理论分析方法的Petri网对模型进行形式化验证,保证模型的精确性和安全性。
关键词：车站联锁 UML PETRI网 建模 
车站联锁进路变化引起列车降级情况探讨被引量：1
《内江科技》2016年第3期131-131,113,共2页张晏辅 
当列车车载设备或者列车控制系统发生故障后,列车控制系统会根据情况采取对应的速度降低措施来保证行车安全。而在日常运营中,车站联锁进路发生变化是最常见的情况。而车站联锁进路变化主要包括站内轨道非正常占用、道岔失去表示故障,...
关键词：车站联锁 道岔失去表示 列车控制系统 车载设备 列控系统 无线闭塞 速度降低 联锁系统 进站信号机 日常运营 
全选清除导出
共5页<12345>
检索报告 对象比较 聚类工具 使用帮助 返回顶部