基于有色Petri网的RBC行车许可生成建模与仿真

来源 :城市轨道交通研究 | 被引量 : 0次 | 上传用户:hesur
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
CTCS-3级列控系统行车许可是保证高速列车安全运行的关键信息,及时准确地为辖区内列车计算和发送行车许可是RBC(无线闭塞中心)子系统的主要功能之一.在分析CTCS-3级列控系统不同运营场景下行车许可生成机制的基础上,采用层次化描述思想,建立基于CPN(有色Petri网)的RBC行车许可生成模型,并运用动态仿真和状态空间分析工具对模型进行了仿真分析.结果表明,所建模型能够满足不同运营场景下计算行车许可的要求,无死锁,并具有活性、回归性和公平性,为分析列控系统性能提供了很好的试验平台.
其他文献
期刊
天黑了,星星出来了。大人们把在花园里玩耍的孩子们领回家,他们要睡觉了。
期刊
5月24日,国际评级机构穆迪将中国主权信用评级从Aa3下调一级至A1。中国财政部回应,穆迪下调中国主权信用评级方法不当,一定程度上高估了中国经济面临的困难。
好脾气的人,一般都表现得宽宏大量,不小气也不霸道,不顽固而又有原则,总是严于律己、善待他人,对社会、对他人和对自己都充满着爱心。这样的人多了,我们的社会就会安定,就会和谐,就会
有些孩子因为体弱或者家长的过度保护等原因.比较胆怯。特别当他们来到幼儿园后,总是喜欢一个人默默地玩,和同伴几乎没有交流;不敢表达自己的愿望;遇到被小朋友欺负,也不敢表示不满
介绍了小轮径转向架、内侧轴箱悬挂式独立轮对二轴转向架、单轮对转向架、独立轮对单轴转向架、独轨车辆走行部,以及自动导向交通系统(AGT)走行部等六类应用于城市轻轨车辆的
王林(儿童文学博士、儿童阅读推广人) 来源:兵兵玲玲书屋      如果你是一个牧羊人,需要一件抵御风寒的斗篷,你会怎么办?  ——卖掉羊,然后用卖羊的钱买一件斗篷。  我猜想,很多“现代人”都会这么回答,这是得到斗篷最简单又最直接的方式。不过,牧羊少年阿利却不打算卖掉自己的羊,他要自己来做一件斗篷。因此,从春天到冬天,从剪羊毛到纺纱织布,经过一年的努力,阿利终于有了一件新的红斗篷。看看阿利穿上新
期刊
目的 比较MRI和螺旋CT诊断椎管肿瘤的效果。方法 选取2015年1月至2016年12月接收的85例疑似椎管肿瘤患者作为观察对象,对85例患者均实施螺旋CT、MRI检查,并将检查结果和术后
硫酸锰溶液在除重金属杂质后还残留有硫离子,S^2-的存在对电解金属锰产品有不利影响。采用碘量法测定锰电解液中S^2含量,结果表明碘量法测定的硫酸锰溶液中硫离子含量与国标中
为解决地铁隧道施工偏差限界检测过程中精度要求高、工作量大等问题,提出了隧道施工偏差限界检测规则,建立了以模块化和功能化为主的设计思想和三层结构整体框架。开发了一套