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

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

基于OOCPN结线分析和反向推理的城市轨道交通牵引供电系统故障诊断方法

基于面向对象的思想和有色Petri网理论,构建库所的令牌,描述城市轨道交通牵引供电系统中组成结点的元件、开关及结点的含源性质,进而建立城市轨道交通牵引供电系统结线分析的OOCPN(Object-Ori-ented Colored Petri-Nets)模型。求解该模型可确定城市轨道交通牵引供电系统的故障域;然后结合专家经验以及牵引变电所综合自动化系统轮询到的保护动作信息,通过反向推理遍历搜索该故障域,对故障元件进行定位;根据专家推理规则以及城市轨道交通牵引变电所内的保护配合关系,判断开关的拒动行为。以城市轨道交通牵引供电系统馈线短路且馈线开关拒动为例进行验证,结果表明:提出的城市轨道交通牵引供电系统故障诊断方法能够实现对故障元件的准确定位和开关拒动行为的判断。     

基于UWB定位的邮轮乘员伴随关系发现算法

准确发现邮轮内部空间乘客之间的伴随关系, 在室内环境安装UWB定位设备开展室内人员定位实验。根据UWB定位的位置数据特点, 提出结合室内位置语义的Hausdorff-DBSCAN算法以聚类邮轮乘员轨迹, 并利用LSTM神经网络对疑似伴随关系对象进行相似度变化趋势的预测。传统的Hausdorff算法在计算轨迹相似度时未考虑轨迹时序一致的问题, 引入位置语义序列能够较好地解决这个问题。改进后的Hausdorff-DBSCAN算法的输入为乘员轨迹数据集, 根据轨迹整体相似度阈值选定聚类半径, 输出具有伴随关系的乘员轨迹聚类结果; LSTM神经网络以定长时间窗口的点邻近度序列为输入, 预测后1个时刻点邻近度值, 结合轨迹相似度阈值和预测结果分析乘员伴随关系的时序变化。利用Anylogic建模单层邮轮室内环境进行乘员仿真得到的轨迹数据验证算法的有效性。改进的Hausdorff-DBSCAN算法的准确率为0.920, 召回率为0.950, F₁值为0.934, 准确率高出对比算法至少5.7%, 召回率高出对比算法至少8.0%, F1值高出对比算法至少6.7%。同时LSTM在预测邮轮乘员之间相似度变化时, 收敛后的误差值能保持在3%~4%左右, 预测结果具有较高的准确性。      

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

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

低等级公路路侧绿化形态对驾驶人视觉及生理影响

为对比驾驶人在不同公路路侧绿化环境中的行车安全性及舒适性,针对普通行道树和树隧道路段,在山区公路进行实车试验,采用Dikablis眼镜式眼动仪和Varioport生理记录仪进行数据采集,以注视时间百分比、平均注视时间、扫视幅度、眨眼率、皮电等指标分析为切入点开展路侧绿化对驾驶入视觉及生理影响研究.研究结果表明:不同路侧绿化形态对驾驶人的视觉及生理反应影响显著;树冠投影面大的绿化形态更优.     

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

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

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

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

加周期纵肋圆柱壳声辐射

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

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

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

一种含内部结构的水下圆柱壳振动声辐射计算方法

为解决含内部结构的水下圆柱壳振动声辐射快速预报问题,提出一种解析-数值混合方法.将整个结构分为水下圆柱壳和内部结构两部分,采用轴对称边界元法得到圆柱壳表面声阻抗,结合Flügge壳体理论,建立水下圆柱壳的数理模型;采用有限元法建立内部结构的动力学模型.根据圆柱壳与内部结构接触点的位移协调和内力平衡条件,建立整个结构的动力学方程,求解方程得到壳体表面振动速度,再采用边界元法得到声场中任意一点的辐射声压.通过与数值软件计算结果对比,验证了本文方法的正确性.本文方法在改变内部结构进行多方案对比分析时具有显著的计算速度优势.