基于着色Petri网的ETCS 2级形式化建模

来源 :北京交通大学 | 被引量 : 0次 | 上传用户:errand2000
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
欧洲铁路运输管理系统(ERTMS)和欧洲列车控制系统(ETCS)是欧盟委员会(EU)和国际铁路联盟(UIC)为实现全欧洲高速铁路网互联运输,组织开发的新型管理和信号系统。ETCS是ERTMS的核心,ETCS采用基于通信的列车控制技术,根据不同的应用,划分了5个等级,其中ETCS2级采用无线通信(GSM-R)来实现车地信息传输,用点式设备作为列车定位参考,实现固定闭塞。ETCS2级应用对我国当前铁路列车控制系统有一定的参考意义。本文阐述了ETCS的基本概况,详细分析了ETCS2级应用的系统组成、主要原理、运行模式等。 ERTMS/ETCS技术标准都是用非形式化自然语言发布的,有可能存在一些模糊,甚至矛盾、错误的地方。着色Petri网(ColouredPetriNet,简称CPN)是一种比较成熟的图形化的建模语言,可以用于系统设计、规范、仿真和验证,特别适合具有通信、同步和资源共享过程的系统建模。本文用具有严格数学定义的形式化语言CPN和它的支持工具CPNTools,对ETCS2级的主要原理和过程进行了建模和仿真,并着重对ETCS2级地面系统的RBC系统构成和列车在相邻RBC之间交接的过程进行了建模和分析,利用仿真工具模拟其动态过程,通过形象、易懂、图形化的方式对所建的模型进行仿真,便于不同领域的人员的沟通和交流。将仿真结果进行分析,得出系统的活性、有界性等特性。
其他文献
该文对光在多层介质中传输Monte Carlo模拟方法进行了阐述.并且用它模拟了有限厚度双层混浊介质的反射光流量密度和反射光流量.研究了介质散射系数、吸收系统、单次散射各项
该文首先对电流变液的研究历史有现状从机理、材料、性能和应用前景等几个方面进行了较全面的综述,继面从应用基础研究的角度出发,对电流变流的Poiseuille流动的分子动力学模
随着我国大规模的铁路提速改造工程的实施,以及大力发展高速客运专线,铁路列车的运行噪声给沿线的居住环境带来了严重影响。本文以提速及高速列车噪声控制问题为背景,围绕铁路轮
学位
青藏铁路特殊的地理环境对客车的设计提出了新的要求。对于车窗来说,主要应解决高海拔带来的低气压、强紫外线、冬季寒冷低温三大问题。 论文首先通过理论计算分析了低压(0
伴随人们近年来生活水平的不断提升,民众的保健、健康意识也得以进一步加强,因此,也对医院服务质量提出了更多要求.再加之新医改的持续推进,更多人开始关注基层医院医疗技术
该论文将着重讨论软X射线多层膜制备时的膜厚监控技术与工艺条件,及其对薄膜性能的影响.在第一章中综述了软X射线多层膜的研究现状.在第二章中介绍了直接决定多层膜质量的两
案例教学法在现阶段的教育模式中可以发挥重要作用,而为了进一步探究其功能,我们也需要以高职院校的教学工作为具体参考目标,结合学生特点和课程要求出发,将三者结合下的应用
许多人在选择路面时,往往只考虑初期修建费的大小,而不考虑由此而引起的养护、改建费用的变化以及对道路使用者的影响。随着近年来我国高速公路大量出现早期损坏及相继进入改建
随着全球化的迅速进展,我国的进出口贸易和国内贸易快速增长,口岸港口作为贸易的咽喉之地得到越来越多的关注,国内的港口建设也掀起了高潮,青岛、上海、深圳等地的沿海大港建设已
研究昆虫运动的机理,可以完善现有的空气动力学理论,现在已经成为昆虫运动仿生研究的一个热门课题.它将为微机械和生物传感器的设计提供新的思想、新的概念.在该论文中研究了