【摘 要】
:
铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列控系统中的重要组成部分,UPPAAL是一种基于时
论文部分内容阅读
铁路系统历来对安全性要求较高,CTCS-3级列控设备作为高速列车的控制系统对安全性的要求更高。车载设备系统是中国铁路CTCS-3级列控系统中的重要组成部分,UPPAAL是一种基于时间自动机理论的实时系统分析建模验证工具,使用UPPAAL对CTCS-3级列控系统车载设备中的车载安全计算机VC、司机-车载设备接口DMI和无线闭塞中心RBC进行分析建模验证,可以验证车载设备系统的特性。研究车载设备系统的建模,对于完善车载设备仿真系统性能、加快车载设备系统软件设计、节省现场测试成本等具有重要的现实意义。论文完成的主要工作如下:1.概述了国内外基于形式化方法和时间自动机理论的列控系统建模的研究现状,提出了用时间自动机对车载设备建模的意义。2.介绍了CTCS-3级列控车载设备结构、功能以及工作模式。3.分析了工作在CTCS-3级时的车载任务启动流程、车载越行流程、列车冒进后防护流程、司机触发的SH流程和车载任务结束流程,建立了各个工作流程的状态转换图,说明了车载设备的信息交互及状态转换过程。4.介绍了时间自动机理论及其模型检验工具UPPAAL的使用方法。5.基于时间自动机理论对VC、DMI和RBC分别建模:根据研究对象的特点,在合理的抽象和假设之后,确定了各个模型的状态,状态转换路径、状态转换的约束条件和触发事件,得到了车载设备的各个时间自动机模型。6.通过使用UPPAAL对车载设备系统的时间自动机模型进行了分析;使用模拟器,通过实验随机得到了车载设备各实体之间通过通道相互通信、控制消息序列,仿真了车载设备工作流程时序图,分析了车载设备系统模型中的状态变化;使用验证器,通过快速搜索整个系统的状态空间,验证了车载设备系统的可达性、时间特性、安全性和活性等各项特性。
其他文献
视觉是人类从外界获取信息最重要的手段,关于视觉信息的研究是当前科学研究的重要课题。自从计算机发明以后,人们就梦想着有一天计算机能够像人类一样去认识和改造世界。但是
能源、环境是当今人类生存和发展所要解决的紧迫问题,风能作为一种清洁的可再生能源,已经受到世界各国的高度重视。而随着风力发电机组容量的不断增大,提高运行效率、最大程度利用风能已经成为风力发电技术的研究热点。面对更多采用双馈型异步发电机(DFIG)的风力发电系统,对其控制策略的研究以及如何进一步提高系统稳定性和动态运行能力具有重要的意义。矢量控制以其优良的动静态性能、高品质的精度控制、成熟的工业应用成
近年来,视觉辅助导航已成为智能车辆导航领域的研究热点之一,其中道路检测是视觉辅助导航中的关键技术,道路图像的检测结果会受到噪声质量及成像质量的严重影响。本文以道路
轧机的扭转振动是造成传动设备破坏的主要原因之一,它轻则影响轧件的表面质量,缩短传动部件的疲劳寿命,重则威胁整个传动系统的安全生产,甚至诱发严重的安全事故。因此,研究
高炉炉温是衡量高炉运行状态的重要参数,常指高炉内铁水及渣铁的温度,其高低直接影响高炉冶炼过程是否稳定顺行及生产铁水是否优质。由于高炉生产过程中处于封闭状态,其炉内
无线传感器网络(WSN)是由大量具有通信和计算能力的微小传感器节点构成,能根据环境自主完成指定任务的智能网络系统。无线传感器网络成本低廉、应用功能丰富便利,为无线温室
气动系统因其结构简单、干净无污染、性价比高以及操作可靠等优点,在工业、农业、军事以及卫生医疗领域应用越来越广泛。但是,气体的可压缩性与气动元件的非线性特性为气动系
石油炼制工业在国民经济中属于重要产业之一,石油对任何一个国家都有着极大的影响。原油蒸馏不仅是石化企业中的重要生产环节,也是整个石化生产流程中的龙头环节,常压蒸馏装
无线传感器网络(Wireless Sensor Network,WSN)是物联网广泛应用的重要组成部分,其自组织性和容错能力使它非常适用于特殊环境中。随着WSN的广泛应用,频谱(信道)资源日益短缺
随着科学技术的发展,生物发酵拥有广阔的发展前景。近年来,生物发酵技术和发酵装置作为生物技术产业化的基础,已得到了人们的广泛关注。发酵过程本身复杂,控制难度很大。同时