【摘 要】
：
RBC（无线闭塞中心）交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的
【机 构】
：
北京交通大学轨道交通控制与安全国家重点实验室
论文部分内容阅读
RBC（无线闭塞中心）交接协议是影响ETCS-2级欧洲列车运行控制系统的控制精度、效率、可靠性和安全性的主要因素之一。对该协议的形式化分析可为我国CTCS-3级列车运行控制系统的规范制定和系统研发提供参考。随机Petri网语义清晰、语法严谨,并且具有良好的数学理论支撑,与仿真手段相比能够得出更加可信的定量分析结果。本文选择随机Petri网（SPN）这一形式化语言对RBC交接协议进行研究,综合信道突发降质、GSM-R小区切换、链路中断等故障因素,针对两种协议方案分别建立RBC交接失败概率模型,分析列车运行速
其他文献
“媒体融合”至今仍是一个没有得到广泛认可的概念,与之相关的理论、策略研究及预测也存在着争议,故不能不顾学术传统地引用,也不能不分领域地进行模仿。当前形势下,推动媒体
虚拟现实技术是多种技术的综合,是一门前沿学科。目前,虚拟技术的应用已涉及到军事、教育、医学、心理学、商业、影视等领域。它是21世纪的重要发展学科。
<正>近日,上海市黄浦文化创意企业联合会举办"文化产业+互联网+新媒体"分享会。活动邀请二更新媒体CMO、抢先娱乐新媒体矩阵内容总监、上海中鸿金融信息科技有限公司策略总监
水银洞金矿为滇黔桂"金三角"最重要的金矿床之一,矿床勘查实践表明,地、物、化、遥等综合信息研究和成矿预测是矿床发现的关键因素,区域成矿模式的建立指明了下步工作方向并
利用2005年深圳农民工调查数据,全面考虑了农民工所面临的返乡务农、返乡非农就业和留城发展等三种发展选择,对两代农民工的发展意愿进行了比较研究。研究发现,在中国社会经
前寒武纪地质学是地质科学重要分支学科之一,以地球早期演化历史为主要研究对象。近几年我国前寒武纪地层学、前寒武纪构造演化、前寒武纪古生物学和前寒武纪成矿作用等方面
<正> 溜槽作为一种重力选矿设备有着悠久的历史,在砂金选矿上应用非常广泛。随着砂金矿大量开采,品位高和金粒大的矿体逐渐减少,而品位低、金粒细的矿体开发,给溜槽选矿提出
<正> 在社会竞争激烈、生活节奏日益加快的今天,人们都面临着来自社会方方面面的各种压力。所谓压力,就是不顺心、不顺利,甚至遭受小同程度的挫折或失败;另外,即使是成功者、
北京作为拥有3000余年建城史和800余年建都史的世界著名古都,有着众多近现代遗产建筑,它们见证了北京在20世纪的沧桑巨变,是北京乃至中国近现代史文化的重要载体。然而由于观
目的:综合评分法优选黄精切制工艺。方法:以黄精多糖、总皂苷、水溶性浸出物、醇溶性浸出物为指标成分,对黄精切制工艺的软化时间、加水倍数、切制片型、干燥温度4个影响因素