基于有色Petri网的CTCS-3级列控系统RBC切换的建模与形式化分析

来源 :铁道学报 | 被引量 : 0次 | 上传用户:zjg760623
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在CTCS-3级列控系统中,车载设备在执行RBC切换过程中所用时间的长短和切换成功概率的大小,严重影响着列车的运行效率。本文利用有色Petri网对车载设备进行RBC切换的两种方式分别建模,模型中引入GSM-R故障模型和非周期消息模型,模拟在GSM-R网络中消息的传输过程和重发机制。研究结果表明:基于两部车载电台的RBC切换方式比基于一部车载电台的RBC切换方式所用时间更少,效率更高。列车速度、消息重发时间间隔都会影响列车执行RBC切换的时间。消息重发时间间隔和RBC重叠范围又会影响车载设备进行RBC切换的成功概率。
其他文献
网络化控制系统中,各种恒定、时变或者随机的网络时延会导致系统控制性能的下降甚至不稳定。针对基于交换式以太网所造成的随机网络时延问题,结合对系统结构及时延特征的分析,给出了一种基于广义预测控制的控制方法,该方法采用网络时间戳机制和模型的在线辨识,能够准确地测量系统输出并及时对预测值进行在线修正,实现对随机时延的网络化控制系统的有效控制。最后通过仿真验证了该方法的有效性。
目的通过唑来膦酸联合IL-2体外诱导扩增γδT细胞,研究γδT细胞对卵巢癌SKOV3细胞的杀伤作用及其可能存在的作用机制。方法采集健康志愿者外周血,密度梯度离心法分离人单个
随着我国经济体制的不断深化,一些企业经营者不断认识到管理工作的重要性,特别是企业的设备管理,能够在生产中发挥其功能效益,以促进现代企业的更好发展。因此,在本文中对石
为解决成型钢筋骨架钢筋连接问题,对搭接连接、正反丝套筒连接、冷挤压连接、灌浆套筒连接等传统钢筋连接方式进行了研究,通过工程实践验证了这些钢筋连接方式不适用于成型钢
近20年来中国基本处于货币超发状态。2000年以来,中国共有5轮货币超发达到峰值的时期,而这其中自2008年以来,货币超发广度、深度均远超过去水平。过量的货币最终流入以房产为
在水利工程项目找那个,泵站是最主要的一项供水设施,该设施的使用对我国经济的发展起到重要的帮助,不仅能对我国农业的发展现状进行调整,还能有效的改善我国各地用水的情况,
骄阳似火,夏山如碧。“唯有牡丹真国色,花开时节动京城”的洛阳市,不止牡丹花在竞相绽放,新型研发机构也在“争妍斗奇”。到目前,洛阳相继建立了14家新型研发机构。洛阳市新
商业展示设计课程是以培养学生动手能力、分析能力、创造能力为主要目标的课程,课程的教学切入点为学生动手能力、创新能力、分析能力、协作能力的培养,因此其实训教学环节是
目的探讨静脉留置针在急诊抢救手术中的应用。方法常规消毒,静脉留置针穿刺,建立静脉通路,快速输液。结果静脉留置针在急诊抢救手术中能满足输液要求。结论静脉留置针应用于急诊