基于时间自动机模型的安全计算机平台的形式化验证

众多工业控制领域要求计算机控制系统具有高可靠、高可用和高安全的运行基础,2乘2取2冗余结构的安全计算机平台是提高系统安全性、可靠性的一种重要解决方式。CBTC列控系统的安全计算机平台采用2乘2取2冗余结构,它是一个实时系统,控制过程需要考虑时间因素。本文分析CBTC系统安全计算机平台系统的组成结构,提取出系统的功能约束,采用基于时间自动机理论的建模验证工具UPPAAL建立系统的自动机网络模型,进行仿真分析,验证系统的功能性、实时性、安全性要求。     

铁路隔震连续梁桥地震碰撞响应研究

在地震作用下隔震桥梁的梁体位移比非隔震桥梁明显增加,使得相邻梁发生碰撞的概率增大。以1联3跨铁路隔震连续梁桥为例,选用3条人工地震波,采用非线性时程分析方法进行该桥的碰撞响应分析,研究梁间伸缩缝宽度和隔震支座刚度对梁间碰撞响应的影响。结果表明:随着伸缩缝宽度的增大和隔震支座刚度的增大,相邻梁碰撞的发生次数和碰撞力均有明显减小;地震作用下隔震固定墩墩底最大弯矩和最大剪力均随着隔震支座刚度的增加而增加。因此,在进行隔震桥梁设计时,应综合考虑隔震支座的隔震效果和碰撞响应,从而得到既经济又安全的隔震桥梁设计参数。     

基于混合通信顺序进程的高速铁路列控系统形式化建模与验证方法

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(HCSP)的列控系统形式化建模与验证方法。引入了HCSP的假设条件,建立列控系统的行为模型;定义了HCSP到混合自动机(HA)的转换规则,将HCSP模型转换成HA模型;利用模型检验工具PHAVer对HA模型进行自动验证。以高速铁路列控系统典型的行车许可运营场景为例,建立区间闭塞分区行车许可场景的HCSP模型;根据转换规则将行车许可场景的HCSP模型转换成HA模型;用PHAVer验证了所建立的区间闭塞分区行车许可场景模型的正确性,从而证明了基于HCSP的高速铁路列控系统建模及验证方法的有效性。     

高速公路PPP项目利率保障及其期权价值分析

高速公路项目因建设成本较高,贷款融资是其必要的融资方式.市场利率超预期的波动将极大地影响项目债务成本,从而影响收益.通过分析利率风险对项目债务成本的影响,根据"风险共担,收益共享"的原则,提出了包含利率补偿和成本节省共享的利率保障方法.在实物期权理论的基础上通过仿真分析了利率保障的期权价值及其影响因素.研究发现,利率保...     

基于核磁共振与无侧限抗压试验对纤维加固红黏土的宏微观特性研究

红黏土因其具有孔隙比大、易压缩等不良工程特性,常在工程建设中引起一列工程问题.为此,采用聚丙烯纤维对红黏土进行加固,并采用核磁共振(NMR)技术和无侧限抗压强度试验对不同含量纤维加固后土体的宏微观特性进行测试,得到以下结论:1)不同含量纤维加固后红黏土的T2谱形态基本保持一致,均在弛豫时间为1 ms附近出现峰值,且纤维...     

富水砂层盾构始发井防涌水检测与加固

基于广州地铁6号线大坦沙站盾构始发井的实践,研究富水砂层中破除盾构井端头门时防涌水的施工监测和工程检测方法,根据检测和监测结果,基于朗金土压力理论进行计算分析,提出相应的加固措施和方法。介绍了具体的防水加固措施和效果。     

利用稳定系数法估计电机的寿命

工程实践认为,电机的寿命主要取决于绕组绝缘的寿命.本文介绍一种利用电机绕组绝缘变化状况预测电机寿命的方法-稳定系数法,为电机的绝缘诊断和维护保养提供重要的依据.     

编者的话

相比于国外汽车工业发达国家,我国在车辆NVH领域的研究起步较晚,开发能力和经验也相对欠缺。随着消费者对汽车品质的日益关注,提高NVH性能已经成为各汽车企业车型开发的重点之一。在年初颁布的《汽车产业调整和振兴规划》中,NVH已被列为今后汽车行业需要解决和突破的关键技术,也是企业自主创新的主要内容之一。本期专题讨论聚焦于NVH技术,来自业内的几位专家将阐述提高NVH开发能力的关键要素,值得国内企业参考。     

疲劳驾驶检测方法的研究进展

全世界每年因驾驶员疲劳驾驶而导致的死亡人数占交通灾难性事故的57%,故针对疲劳驾驶检测方法的研究具有现实意义.阐述了目前国内外各类疲劳驾驶检测方法的研究难点,介绍并对比分析了基于驾驶员生理参数、驾驶员行为特征、车辆行为特征的各类客观检测方法;最后对疲劳驾驶检测方法的发展趋势和应用前景进行了论述.     

刚架拱桥的检测与承载能力评定

对某缺失资料的刚架拱桥进行了病害调查、无损检测及荷载试验,重点对荷载试验进行了分析.通过对结构加载模拟分析、加载等级与方式的确定、变形和自振频率的实测与分析,表明该桥的承载能力不满足规定的荷载等级,且动力性能较差,需要进行加固维修.此方法为该类桥梁的维护使用和加固改造提供参考.