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

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

深圳地铁3号线车-地无线通信系统

主要介绍应用于深圳地铁3号线正线信号系统中的车-地无线通信系统的结构、组成和原理,并简要描述系统的主要特色,以及系统应用中应注意的问题.     

大数据技术在动力电池异常监控中的应用

新能源电动汽车其安全性一直困扰着行业与市场的发展,传统电池管理系统(BMS)储及计算能力不足,难以实 现动力电池的异常状态预测,基于车联网数据,搭建了大数据监控与管理平台,提出了动力电池热失控关键算法,并实现 了算法的平台集成与应用。应用结果表明,此系统应用能够有效评估和预测动力电池潜在安全风险,并能及时有效地指 导安全处置,从而降低整车安全事故发生概率。     

桥梁平转施工中球铰界面的摩擦力精确计算方法及验证

转体施工是桥梁施工中的重要方法,中国已成功将该技术应用于数百座大跨桥梁的施工。大吨位转体施工中,摩擦力的计算至关重要,但现有工程实践中给出的近似计算方法与工程试验值有较大差距。因此,精确的摩擦力和摩阻力矩计算理论,是转体施工中亟待解决的问题。首先采用称重原理获得竖向摩阻力矩,然后利用接触理论求得接触面的应力分布规律,并推导出竖向摩阻力矩理论公式,进而求得摩擦因数。之后,利用获得的摩擦因数,根据接触面的应力分布规律,获得了平转过程中的水平摩阻力矩和牵引力。最后,进一步将前述方法推广到带滑块的转体装置中,获得统一的摩擦因数、摩阻力矩计算方法。将该方法和有限单元法的计算结果进行对比,两者高度吻合;和实际工程数据对比,显示所提方法的结果更加合理、准确。主要结论如下：①根据称配重方法计算摩擦因数时,现有近似计算方法获得的摩擦因数,随着球铰参数α的增加误差逐渐增大。②球铰表面接触应力呈现出中间向两边逐渐增大的分布特征,现有计算方法假设均匀的法向接触应力分布与实际应力分布差距较大。无滑块转体装置中,有限元模型计算所得水平转动摩阻力矩比现有近似方法计算的大14.3%;而该方法计算值与有限元结果误差仅为3.0%。③在带滑块转体装置中,与工程实测值相比,现有近似方法和该改进方法获得的水平转动摩阻力矩误差分别为31.4%和23.7%。由此可见,该方法进一步提高了计算准确度。     

船舶结构振动噪声时域预报方法研究

针对船舶结构振动噪声频域预报方法存在计算规模大、求解效率差和易出现"峰值遗漏"等现象的不足,本文基于波动理论,提出了船舶结构振动噪声时域预报方法,形成了船舶结构振动噪声时域预报方法流程,并辅以相应的数值验证.研究结果表明,船舶结构振动噪声时域预报方法可有效解决频域分析方法存在的计算规模大、求解效率差和易出现"峰值遗漏"等现象的不足,提高了预报效率和精度,可为船舶结构振动噪声预报评估提供方法支撑.     

"雪龙2"号南极首航破冰试验

为在自然条件下实尺度测试"雪龙2"号的破冰能力,2019年11月"雪龙2"号在南极首航期间,中国在南极考察站——中山站附近普里兹湾固定冰区,首次自主开展了一系列专业破冰试验.通过选取破冰区域、实地测量冰雪厚度、钻采冰芯测量冰温度和盐度、切取完整冰坯并加工冰梁,完成了冰弯曲强度试验和艏艉双向破冰时的实船数据测量,首次获取了中山站附近固定冰的弯曲强度力学特性,成功验证了"雪龙2"号的破冰能力.本文详细介绍了"雪龙2"号现场破冰试验,并根据测量的海冰特性和船舶破冰航行数据对其艏向破冰能力进行了初步评估,摸索了一套在极地冰区开展破冰船破冰试验的方法,同时也对现场破冰试验中需要改进的方向提出了思考,可为我国新的破冰船建设提供参考.     

加周期纵肋圆柱壳声辐射

本文研究了水中加周期纵肋圆柱壳在点力激励下的声辐射特性.壳体振动采用薄壳理论的Donnell方程描述,纵肋振动采用相互独立的梁的纵振动和弯曲振动方程描述.通过周向模态展开和轴向Fourier变换导出圆柱壳体径向振速表达式,使用波数域稳相法积分得到了远场辐射声压的解析解.数值计算给出了接收点正对激励点情况下的远场辐射声压级,并据此进行了机理分析.在加周期纵肋无限长圆柱壳中存在两类辐射机理:亚音速的弯曲波辐射和超音速的Bloch弯曲波分量辐射.由于圆柱壳体表面存在曲率,亚音速的弯曲波也能辐射极小部分能量到远场,并形成频带极窄的共振峰.加周期纵肋圆柱壳在周向是一种无限周期结构,存在多阶次的Bloch弯曲波.低于水中声波数的Bloch弯曲波分量能够通过相位匹配的方式高效辐射到远场.Bloch弯曲波的辐射存在一定的频率下限,其下限与纵肋的间距有关,纵肋间距越大辐射的频率下限就越低.     

国际援潜救生及深海打捞ROV现状与关键技术

随着海洋军事、海上航运、深海科考以及航天器海上发射和回收等活动不断增加,装备故障或复杂的环境因素导致海难事故频频发生,为减小损失、探究事故原因,援潜救生及深海打捞显得尤为重要.遥控潜水器作为深海重要作业装备,在援潜救生及深海打捞活动中发挥重要作用.介绍国际上援潜救生及深海打捞典型遥控潜水器的发展现状,概括其在援潜救生及深海打捞中的典型应用案例,总结援潜救生及深海打捞遥控潜水器关键技术,对其未来的发展提出一些思考.     

基于改进人工势场法的船舶自动避碰研究

为解决传统人工势场法在船舶自动避碰中无法判断避让责任和紧迫局面的问题,创新性地将船舶会遇态势及危险度评价指标引人人工势场中,通过船舶之间相对方位来判断船舶的避让责任并限定避让措施,通过实时计算船舶碰撞危险度,设定相应阈值来界定是否产生紧迫局面,指导船舶采取进一步避让措施.通过对船舶对遇、交叉相遇和追越3种典型局面的仿真实验表明,本文所设计的势场能够较为清晰地判断避让责任和紧迫局面,所规划的船舶避让措施更加符合国际海上避碰规则的要求.     

船舶柴油机颗粒物排放控制技术研究进展

颗粒物是船舶柴油机排气中的主要污染物,严重危害人体健康和大气环境,如何降低船机颗粒物排放已成为环境保护及柴油机领域的一个重点研究方向。本文对船机排放颗粒物的组分及来源进行分析,梳理论述目前主流的颗粒物排放控制技术及DPF再生技术。认为后处理技术是今后颗粒物排放控制技术研究的重点,其中,最有效、应用最广泛的是DPF技术,复合再生技术是DPF再生过程的发展方向,提出了船机颗粒物排放控制未来需重点研究的关键技术及长远发展目标。