共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
4.
列车运行冲突检测是铁路系统安全运营的重要保障。本文首先给出赋时着色Petri网的形式化定义,定义变迁使能和触发规则及状态转移函数;基于赋时着色Petri网,以库表示车站/闭塞分区,托肯表示列车,建立列车群模型,为冲突检测提供模型基础。在经典Petri网冲突定理的基础上,结合库容量约束和时间间隔约束,提出列车运行冲突判定定理,并证明该方法的正确性;在此基础上,设计基于可达树的冲突分析方法,并以太原铁路局部分线路为例,通过实例介绍列车运行冲突和进路冲突检测分析的方法。基于Petri网的列车群模型为铁路系统冲突分析问题的处理提供新的途径。 相似文献
5.
孙艺 《铁路通信信号工程技术》2023,(S1):47-49
ZPW-2000R无绝缘移频自动闭塞是辅助调度来进行地面线路行车许可信息、实现列车占用检查的设备,其是否可以平稳安全的运行直接影响到调度的效率及铁路的安全性。探讨了一些关于ZPW-2000R移频自动闭塞及站内电码化的调试方法。 相似文献
6.
7.
联锁控制对铁路车站的调度指挥和列车的有序安全运行起着非常关键的作用。为保证铁路车站联锁控制及列车运行演练的真实性和安全性,提出铁路车站联锁控制及列车运行三维虚拟仿真的总体框架。从铁路车站联锁功能入手,设计车站联锁控制的数据结构、功能逻辑和联锁控制仿真算法,实现了铁路车站联锁的逻辑控制及人机交互仿真。采用面向对象的层次分级法,设计铁路车站设备三维模型的层次结构。通过创建预制体并修改其组件的方式,构建铁路车站列车运行三维虚拟场景模型。结合铁路线路逻辑模型,提出了面向联锁控制的列车运行虚拟寻路算法和列车运动驱动算法,利用该算法进行列车各车辆空间位置和姿态的连续计算,实现了在三维场景下铁路列车的启动,加减速运动,定点停车、换道等功能。在此基础上,在Unity引擎环境下开发了基于三维场景的铁路车站列车运行联锁控制虚拟仿真系统,该系统支持铁路车站联锁控制人机交互仿真,并可在铁路车站三维场景中的不同视角下,以可视化方式观察信号设备状态变化以及列车的动态运行情况。通过给定的站内列车调度计划表,利用所开发的系统进行了铁路车站联锁控制及列车运行三维仿真。仿真实例表明,所采用的方法及技术方案在车站联锁的仿真... 相似文献
8.
无线闭塞中心(RBC)是CTCS-3级列控系统的地面核心设备,根据联锁、相邻RBC、临时限速服务器、调度集中系统提供的信息以及与车载设备交互的信息生成列车行车授权,并向车载设备发送行车许可,完成列车间隔控制和列车防护,保障列车安全追踪运行。自主化RBC在原基础上增加对道岔状态、信号机状态和轨道电路状态的处理,对进路状态及进路中的道岔位置、信号状态及轨道区段状态进行校核,校核不一致时,进行安全处理;增加站内轨道电路的CEM检查,当列车位于进路上时,列车前方的站内轨道区段占用,则向列车发送CEM信息,进一步加强了列车站内运行的安全性。 相似文献
9.
贠春欣 《城市轨道交通研究》2013,16(7)
众所周知,轨道交通信号必须遵守的一个重要原则就是故障导向安全,也就是当轨道交通信号系统内部发生故障时自动处于安全状态.如何理解这个安全状态,本文就此发表一些看法.
1 安全确认型故障安全原则
早在1825年,世界上第一条铁路——英国的新斯托克顿到达林顿的铁路,为了防止后续列车与在车站内停车的列车发生冲突,在夜间,有列车在站内停车时,用车站窗口点亮的蜡烛作为停车信号,表示站内有车,后续列车不能再进站;以烛光熄灭作为允许运行信号,表示站内没有车,后续列车可以进站. 相似文献
10.
引入北斗导航卫星技术,提出北斗铁路列车卫星定位与辅助预警系统,对列车进行准确定位,并根据铁路运行列车的运行位置进行相邻列车间距预警计算。当相邻列车间的距离达到预警条件时,提示司机和调度人员注意行车安全,防止列车追尾事故的发生。 相似文献
11.
12.
基于RITS的分布式系统结构和智能属性特征,针对列车群运行系统中子系统之间的关系描述以及通信协作行为的建模问题,采用面向Agent的G-Net方法构建了一种多Agent的列车群运行模型(AGNTOM)。该模型体现了多Agent技术、G-Net(Petri网)形式化描述、便于分析等特点,不仅能够描述列车Agent与车站Agent在列车运行过程中的通信能力,而且能使用形式化方法确保模型的各种属性。对模型所描述的列车与车站之间的通信协商过程采用基本Petri网模型描述,并使用已有的Petri网分析方法进行相关属性的分析。研究结果表明:模型具有L3-活性;模型所描述的列车和车站之间的通信协商行为不会导致通信的死锁与阻塞等。 相似文献
13.
1.编组站调度
编组站日接发货运列车数百,日办理车辆过万,担当列车牵引的本务机出入库数百机次,近10台调车机车不停地在站内忙碌,需要在统筹计划和集中调度指挥下,有条不紊地安排源源不断而来的车辆中转. 相似文献
14.
为解决目前列车工作计划编制时未充分考虑与其它调度计划的关联性、调度人员间信息沟通不畅、各层级计划调度员不能有效协同开展工作等问题,结合铁路运输生产全过程,对列车工作计划编制业务流程进行系统分析,梳理了列车工作计划编制过程中涉及的信息交互,提出构建列车工作计划协同管理平台的初步方案,描述该平台支持下客运列车工作计划与货运列车工作计划的具体编制流程,指出后续的平台详细设计和开发工作中需要深入研究的若干要点和关键技术。该平台可让计划调度员在充分共享和及时交换信息基础上高效协同工作,实现列车工作计划编制过程的闭环管理,对促进中国铁路智能综合调度系统的发展将起到积极作用。 相似文献
15.
针对Petri网系统故障检测与诊断过程中存在状态枚举及随后的状态爆炸问题,采用整数线性规划方法,提出了Petri网系统的在线故障诊断算法。算法将故障表示为Petri网模型的不可观变迁,定义了故障诊断器函数,通过可观的变迁序列,诊断系统行为是否出现故障。该算法避免了状态空间爆炸,降低了在线运算量的复杂性。以地铁列车进出站系统为实例,对地铁列车进出站系统进行含不可观变迁Petri网建模,应用提出的算法对铁列车进出站系统故障进行诊断。试验表明,该算法能有效应用于地铁列车进出站过程在线故障诊断。 相似文献
16.
17.
针对大于6‰下坡道高铁车站的延续进路防护问题,以成兰线某车站为例,研究基于Petri网模型的防护方法。以车站平面布置图为依据,建立相应的延续进路防护资源分配约束模型,包含6‰下坡道防护模型和延续进路防护故障诊断模型。通过6‰下坡道防护模型对延续进路涉及到的轨道区段占用权进行分配,实现延续进路的安全性防护;延续进路防护故障诊断模型采用形式化验证方法,通过被标记的故障库所对不可行的延续进路排列报错,实现延续进路运行计划的安全性验证。利用Petri网的可达性、有界性、安全性,对车站延续进路可能产生的列车碰撞和冲突进行仿真验证,验证结果可为列车运行计划的排列提供参考。 相似文献
18.
19.
粤港澳大湾区城际铁路存在同一列车经过多个调度管界的情况,需对不同调度管界的调度方式进行统一。而编号方案是调度指挥的基础,统一的编号方案为调度指挥的一致性提供了保障。通过研究粤港澳大湾区城际铁路的编号方案,包括对粤港澳大湾区城际铁路的建设规划、运营管理模式等进行分析,结合城际铁路的业务需求,给出系统架构以及编号原则;参考GSM-R编号计划,制定出粤港澳大湾区城际铁路的LTE编号方案。 相似文献