基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统.本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证.通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间,验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现.在保证系统安全性的基础上,以全状态空间查找反例的...     

道路货运量、燃油价格与国民经济的协整分析

为了研究中国道路货运量、燃油价格和国民经济之间的动态规律,是否具有长期稳定均衡关系及道路运输业的发展问题,本文选取我国1978-2007年的实际数据,并利用计量经济学中Econometric Views软件工具对这些数据进行处理和分析. 运用协整分析方法、单位根检验、Granger因果关系和Johansen检验等方法,对我国道路货运量、燃油价格和国民经济之间的关系进行了实证分析并建立了误差修正模型,寻求这三者之间的短期动态波动和长期均衡关系. 分析结果表明：道路货运量、燃油价格和国民经济之间存在协整关系,即它们之间已形成长期稳定均衡关系;道路货运量是国民经济GDP的Granger原因,道路货运量的变化将引起国民经济的同方向变动;燃油价格的变化与道路货运量呈现反方向变动.     

基于模糊神经网络模型的广西炭质岩地区高填筑地基沉降预测研究

对于路基沉降预测来说,指数曲线和双曲线延拟合法都有其局限性,不能很好地反映路基沉降的真实情况.神经网络可用于已有大量沉降数据的路基沉降预测,然而目前所使用的模型较少采用TS模糊神经多层网络.文章同时结合了TS模糊系统与神经网络的特点,实现了两种方法相互兼容的目的,并以河池至百色高速公路炭质岩高填筑路基现场实测数据建立路...     

基于异构模型的铁路出发旅客衔接时间价值

旅客时间价值是开展区域综合交通一体化研究的重要参数.本文针对现有文献中铁路旅客衔接时间价值研究较少、异构模型计算结果的比较不够充分等问题,以成都铁路东客站出发旅客衔接方式选择SP数据为依托,建立了MNL、ML、LCL、Hybrid等异构模型,对异构模型所得旅客个体和样本总体的等候时间价值、车内时间价值进行了比较.结果表明：模型结构对时间价值求解有较大影响,ML中单侧三角分布模型求解结果较为合理;Hybrid模型在拟合效果上表现优良,但在个体等候时间价值求解结果中呈现出较为明显的偏态性,给总体统计描述带来一定的困难.由于目前尚无关于时间价值的明确比选方法,应用中可考虑取异构模型计算结果的均值.     

涡轮增压柴油机建模流程图技术研究

指出涡轮增压柴油机系统循环模拟的关键是建立系统的计算机模型,在对一些常用的建模流程图进行深入研究的基础上,提出了一种适合于涡轮增压柴油机系统的双向参数流程图.     

基于N-K模型长大下坡路段安全风险研究

为探究云南山区长大下坡路段交通事故风险致险因素的耦合关系,借鉴事故致因理论对长大下坡路段交通事故原因进行分析.运用N-K模型定量研究长大下坡路段交通事故中人为、车辆、环境和管理4个风险因素的耦合情况,收集了长大下坡路段80起交通事故,进行实证分析.结果显示:(1)交通事故数与各致险因素的耦合值呈现正相关,4因素耦合＞3因素耦合＞双因素耦合＞单因素耦合;(2)3因素耦合状态下,THVE＞THVM＞TVEM＞THEM,前3风险值均包含车辆因素;(3)双因素耦合状态下,TVE＞THM＞THV＞TEM＞TVM＞THE,双因素风险耦合时车辆因素和环境因素共同耦合导致发生事故的风险最大.     

BIM在铁路工程建设管理中的应用研究

铁路工程项目由于其施工线路长、施工周期短、技术复杂,直接增加了施工难度,而以往的铁路施工组织管理方式已达不到多维信息共享要求,为有效解决铁路建设施工过程技术难题,采用建筑信息模型(BIM)技术来指导实际施工.以工程施工技术图纸为基础构建工程模型的三维结构模型,实现铁路施工项目与三维模型的信息共享与集成,达到工程项目的信...     

重载对以弹性模型表征的沥青路面使用性能的影响

利用 ABAQUS有限元分析软件,采用弹性本构模型表征沥青混合料的材料性质,结合JTG D50-2017?公路沥青路面设计规范?,分析重载对沥青路面使用性能的影响.结果表明,路表弯沉随着轴重的增长呈线性增长,重载会大大降低结构承载能力;重载作用使路面结构产生相同永久变形量所需荷载作用次数急剧降低;随着轴重的增加,中面层...     

模型降阶方法在瞬态热仿真中的应用

为解决有限元法计算瞬态热仿真问题需要消耗大量计算机资源的问题,基于瞬态热传导方程和模型降阶方法,通过计算流体力学方法和有限元法提取IGBT风冷散热器的模型数据,再利用Krylov子空间投影法缩聚自由度建立降阶模型并求解。仿真结果对比分析表明,此方法建立的降阶模型可以准确反映物理场的特性,不仅满足精度要求,还能极大地降低计算复杂度,提高计算速度。