【摘 要】
:
基于通信的列车自动控制系统(Communication Based Train Control System,CBTC)是典型的由数据驱动的安全苛求系统,其子系统和各个单元集成来实现系统的功能都需依赖配置数据,所以CBTC系统的安全性和系统数据的质量密不可分。如何确保数据的质量,以形式化方法可以通过数学描述对系统的组成及其特点有精准详细的表达,而且可通过形式化建模的方法对系统特性进行建模验证;基于
论文部分内容阅读
基于通信的列车自动控制系统(Communication Based Train Control System,CBTC)是典型的由数据驱动的安全苛求系统,其子系统和各个单元集成来实现系统的功能都需依赖配置数据,所以CBTC系统的安全性和系统数据的质量密不可分。如何确保数据的质量,以形式化方法可以通过数学描述对系统的组成及其特点有精准详细的表达,而且可通过形式化建模的方法对系统特性进行建模验证;基于数据约束规则开发的数据验证系统能准确定位到某个数据的具体错误。本文采用建模验证和系统运行验证相结合的方法,对CBTC系统数据进行验证分析和检查,方便修改错误以提高数据质量。首先,论文分析了CBTC系统的组成成分和其系统的数据特点,基于此,对数据验证方法进行了调研,最终选择了基于时间自动机的模型验证和基于数据约束规则开发验证系统验证相结合的方法,既可以通过数学语言详细描述数据间的约束关系,也可以通过系统运行结果精准定位到错误数据。其次,在对CBTC系统特点、数据验证方案的设计以及相关理论知识和技术的了解下,对CBTC系统数据进行设计,从数据开发过程和数据描述的角度对数据进行分析。根据分析出的数据的特性,将数据关系分为值域关系、关联关系和网络拓扑关系三大类,并依据分类标准对数据约束规则进行归纳总结。然后,在归纳出的数据约束规则的基础上,进行数据验证的模型设计。根据规则将数据实体及其的属性时间自动机模型,通过状态的迁移描述数据关系。再基于归纳出的数据约束规则,从三类数据关系对大兴机场线的线路数据进行了建模和验证。最后,根据先前设计建立的数据约束规则的集合,对规则进行代码开发,数据约束集合转换为数据规则脚本库,数据验证系统调用规则脚本对输入的线路数据进行验证。从建模验证和系统验证两方面对数据的正确性进行检测,结果表明,该方案能有效准确的发现数据的缺陷。
其他文献
我国铝工业快速发展使人们对铝土矿的需求与日俱增,但是由于我国铝土矿以高铝-高硅-低铝硅比的一水硬铝石型为主,难以直接满足拜耳法生产氧化铝的需求,因此铝土矿的提质脱硅
二维材料由于其特有的物理、化学性质受到了各个领域研究者的广泛关注。理论计算、材料模拟和结构预测已经成为研究二维材料性质和设计新型二维材料的重要手段。此外,自下而
液滴碰撞现象广泛存在于自然界和工业应用之中。虽然前人已经对液滴碰撞问题做了大量研究,但前人主要局限于相同组分液滴的碰撞,缺少对不可混溶液滴碰撞的定量研究。因此本文
随着“一带一路”的持续开展,各个民族之间的交流日益增多,新疆作为少数民族聚集区,加强少数民族尤其是维吾尔族信息文字技术处理对新疆地区经济建设和信息安全都有着重要的
从经典的模型预测控制算法到精确的显式模型预测控制算法再到显式模型预测控制近似算法,模型预测控制算法以其能显式处理复杂约束优化问题的特点,逐渐被工程控制界所认可。相
蜂窝结构材料以其优异的能量吸收和缓冲性能而被广泛应用于缓冲包装、航空航天工业、建筑等多个领域。三角形蜂窝作为一种典型的蜂窝结构,在实际应用中常在其异面方向上承载,
自动驾驶技术在未来交通智能与互联化发展中扮演重要角色,它可以在为人们的出行规避风险的同时,提供便利。而计算机视觉技术在自动驾驶技术中发挥着重要作用,其中又以目标检测技术为重中之重。近年来,深度学习异军突起,将计算机视觉技术推陈出新,从而为自动驾驶的真正落地提供了极大的助力。但是,自动驾驶场景中的感兴趣目标,如行人、车辆等,大小尺度繁多,且道路背景变化极大,又有光线强弱和模糊遮挡等因素干扰,面向自动
快速发展的社会对能源的需求日益增加,柔性直流输电以其更为灵活可靠的输电方式得到广泛发展,为维护系统安全运行,对构成柔性换流器的可控整流管(通常为IGBT)提出了更加严苛的要求。相比焊接式IGBT,压接型IGBT使用寿命更长,具有独特的短路失效模式,载流能力高等优点。压接型IGBT多个芯片一般采用并联方式提高PPI电流等级,但是由于凸台芯片布局等影响,难免会使得每个芯片的电流在开通关断过程中出现不均
在微重力的条件下,流体的毛细驱动流问题是在空间流体管理应用技术中基础性研究课题的最重要部分。如果使得空间流体管理装置能够安全且高效的运行,需要深入了解微重力环境下
风格转移是近来计算机视觉领域的一个热门研究主题,国内外各研究机构和学者对其进行研究实验,从目前研究状况来看,已经实现将卡通画、铅笔画、中国山水画、油画、剪纸等风格