【摘 要】
:
近年来我国铁路事业不断发展,在运输运营方面作用不可忽视,确保列车的运营安全成为重要课题。目前,我国对于时速超过250km/h的铁路采用的都是CTCS-3(China Train Control System level 3)级列车运行控制系统,也是高铁上运用最多的列车运行控制系统。对于CTCS-3级列车运行控制系统来说,它的核心设备是车载设备,承担着列车运行的主要控制功能,车载设备一旦出现故障会对
论文部分内容阅读
近年来我国铁路事业不断发展,在运输运营方面作用不可忽视,确保列车的运营安全成为重要课题。目前,我国对于时速超过250km/h的铁路采用的都是CTCS-3(China Train Control System level 3)级列车运行控制系统,也是高铁上运用最多的列车运行控制系统。对于CTCS-3级列车运行控制系统来说,它的核心设备是车载设备,承担着列车运行的主要控制功能,车载设备一旦出现故障会对列控系统造成严重影响,因此需要验证车载设备安全性。而根据车载设备的结构和功能,安全计算机完成大部分工作,它根据从其他模块收到的消息完成对列车的控制,必要时对列车实施制动命令。与车载设备进行信息交互的模块主要有RBC、司机、应答器和列车,对这些模块也要验证其正确性。传统的模型构建方法已经不能满足复杂系统的功能需求分析,形式化建模验证方法成为主要趋势。本文的主要研究内容是将CTCS-3级列控车载设备作为研究对象,对其进行建模与验证,并分析系统的安全性。首先根据对车载设备的结构、功能以及运营场景的分析构建车载设备的UML用例图、静态结构类图和动态行为状态图,这样可以直观的展示出车载设备的分析对象和对象的转换状态,为车载设备CPN模型的构建打下基础。然后根据已有的系统需求规范文件(SRS)标准的要求构建出车载设备间的信息交互CPN模型,工作模式转换的顶层CPN模型和子页CPN模型,还有与车载设备进行信息交互的几个外围环境模块(RBC、司机、应答器、列车)的CPN模型。从两个方面验证CPN模型的正确性。动态属性验证是通过模型的状态空间分析得到动态属性验证报告,分析系统的特性。系统性验证是用ASK-CTL分支时序逻辑公式来描述系统的性质,例如系统的自循环终端特性、死锁特性等来证明系统模型是否可执行。验证结果表明对车载设备的建模符合系统需求规范标准,各组件之间的交互符合规范流程。系统的建模和验证都是在系统正常工作状态下,然而在系统某些组分没有正常工作时也要确保安全性,因此最后采用故障注入技术的算法,把故障注入到正常系统中来分析系统的安全性。分析结果表明系统的安全性能满足安全需求,为以后列控系统的形式化建模与安全分析提供了参考意义。
其他文献
随着移动设备,物联网设备,自动驾驶汽车等移动联网设备数量的爆炸性增长,它们使用的流量数据是目前可利用的网络带宽所无法满足的。利用中央云技术处理海量数据一时被认为是一个有效的解决方案。但是,云计算在解决终端计算需求的过程中存在明显劣势:延迟性高、能量消耗大以及网络带宽占用高等。移动边缘计算(Mobile edge computing)作为一种新兴的数据处理模式,其设置若干个边缘服务器分散在四周,用以
森林蓄积量是描述森林生态系统功能和生产力的重要物理指标,是指定森林经营计划与森林采伐的基本依据,也是评价森林固碳能力的重要参数。如何快速准确地获取森林蓄积量,成为近年来森林资源质量动态监测和林业可持续发展的关键。森林蓄积量的基本单元是每颗活立木的材积,但传统的活立木材积测量方法耗时耗力且模型精度不高,在数字化林业新形势下难以满足现在的需求。目前,不同平台及不同光斑大小的激光雷达数据都已被广泛应用于
互联网时代的崛起,加速了物联网的发展。在物联网的发展下,为了解决日常交通状况拥堵的现状,车载自组织网络技术(Vehicular Ad Hoc Network,VANET)成为研究的重点技术。车载自组织网络技术也叫做车联网技术,它为智能交通系统(Intelligent Transportation System,ITS)的发展奠定了基础。目前车联网技术作为当前汽车产业研究的重点技术,是智能交通系统的
生物神经系统是由大量高度内联的神经元组成的,神经元在信息处理及传递的过程中扮演着重要的角色。而神经科学则是以神经元模型作为研究对象,对神经系统的放电活动进行研究。神经元模型的放电活动实质上就是神经系统细胞内电生理活动的重现。在实际生活中,神经元的异常放电会导致生物有机体病理变化。因此,研究神经系统的放电活动、控制神经系统达到稳定放电,具有一定的理论参考价值。本文基于一类改进神经元模型,利用非线性动
随着社会发展的进程,高速铁路需进一步提升安全性、舒适性和平顺性。由于我国幅员辽阔,高速铁路横跨东西南北,测区范围大、线路长,在途经地势复杂区域时,线路具有转折大、高差大等特点。为控制大高差线路的投影长度变形不超过10mm/km:首先,本文论述了研究背景、研究目标,以及控制投影长度变形方法的国内外研究现状。阐述了高斯投影及高斯投影正解的实数和非迭代复变函数表示。研究了高斯投影长度变形的主要影响因素,
接触网是专门为电气化铁路输送电力的特殊供电系统,其供电的稳定性直接影响列车的运行状态。而吊弦是链形悬挂接触网中承力索和接触线之间的重要连接部件,起着调节接触线高度和驰度并承载一定力的作用,其状态的好坏直接影响接触网悬挂系统的稳定性。吊弦一旦发生故障可能造成接触线高度下滑影响列车受流质量,严重时甚至引发弓网事故,危及列车行车安全。但目前有关接触网零部件缺陷检测识别的研究主要集中在支持定位装置区域,有
近年来,城市交通拥堵问题日益突出,城市轨道交通建设被视为有效解决问题途径之一,担任着越来越重要的角色。基于通信的列车运行控制系统(Communication Based Train Control,CBTC),作为我国现代化城市轨道交通最核心的技术之一,对于提高列车通过能力,保证列车运行安全都起到了重要作用。CBTC系统在投入使用前,必然要进行工程测试,目前各CBTC系统生产厂家在工程测试阶段使用