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

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

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

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

城市轨道交通运营部门建立模拟法人管理体制的初步探讨

论述模拟法人的概念和体制优势,提出了城市轨道交通企业运营部门建立模拟法人管理体制“合理授权”与“战略管控”相结合的总体思路,详细阐述了“授权与明职”、“推行战略预算管控”、“开展关键绩效考评”的实施方法和操作流程,最后指出了保障实施的相关建议。     

简析地铁施工现场安全监控系统

地铁施工现场安全监控系统可以实现对施工现场的远程监控及管理,越来越广泛地应用在地铁施工中。以北京地铁15号线一期工程西段施工现场安全监控系统为例,介绍了地铁施工现场安全监控系统的建设原则、系统功能、结构及在建设中应注意的问题。     

基于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%左右, 预测结果具有较高的准确性。      

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

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

市政道路标志标线存在的问题及改善措施研究

With the transfer of rural population to cities, the municipal engineering construction is becoming more and more rapid, in which the investment in the urban roads convenient for citizens to travel and transport is increasing year by year. With the increasing frequency of the use of municipal roads, the signings and markings playing the role of warning and indication expose some problems that need to be solved urgently, which seriously affect the function and comfort of municipal roads. Based on a detailed analysis of the existing problems and impacts of the signings and markings of municipal road engineering in China, the targeted improvement measures are proposed to ensure the perfection of the functions of signings and markings and improve the efficiency of vehicle traffic, which escort the safety, convenience and comfort of municipal road engineering.     

基于TD3算法的人机混驾交通环境自动驾驶汽车换道研究

提高人类驾驶人的接受度是自动驾驶汽车未来的重要方向,而深度强化学习是其发展的一项关键技术。为了解决人机混驾混合交通流下的换道决策问题,利用深度强化学习算法TD3（Twin Delayed Deep Deterministic Policy Gradient）实现自动驾驶汽车的自主换道行为。首先介绍基于马尔科夫决策过程的强化学习的理论框架,其次基于来自真实工况的NGSIM数据集中的驾驶数据,通过自动驾驶模拟器NGSIM-ENV搭建单向6车道、交通拥挤程度适中的仿真场景,非自动驾驶车辆按照数据集中驾驶人行车数据行驶。针对连续动作空间下的自动驾驶换道决策,采用改进的深度强化学习算法TD3构建换道模型控制自动驾驶汽车的换道驾驶行为。在所提出的TD3换道模型中,构建决策所需周围环境及自车信息的状态空间、包含受控汽车加速度和航向角的动作空间,同时综合考虑安全性、行车效率和舒适性等因素设计强化学习的奖励函数。最终在NGSIM-ENV仿真平台上,将基于TD3算法控制的自动驾驶汽车换道行为与人类驾驶人行车数据进行比较。研究结果表明：基于TD3算法控制的车辆其平均行驶速度比人类驾驶人的平均行车速度高4.8%,在安全性以及舒适性上也有一定的提升;试验结果验证了训练完成后TD3换道模型的有效性,其能够在复杂交通环境下自主实现安全、舒适、流畅的换道行为。     

长江下游江阴水道下段开通上行副航道可行性研究

结合江阴水道的航道自然条件,分析江阴水道的河床演变、航道条件及经济效益等,研究江阴水道下段开通上行副航道可行性,并提出相应的开通方案。结果表明,按照现有的自然条件并考虑利用一定的水位,江阴水道下段具备开通一定等级上行副航道的条件。考虑到江阴水道航道条件虽然近年来良好,但航道关系情况复杂,建议开通副航道等级为I-4,按照通航3 000吨级海船及7 000吨级内河船要求确定航道尺度,航标配布采用虚拟航标。     

某二线船闸开挖方式对跨线桥梁桩的影响规律

针对不同基坑开挖方式对邻近桥梁桩基的影响,采用有限元建模分析法,对某二线船闸工程确定2种不同的开挖方案：方案1通过三级梯度以较大平均坡度方式开挖,方案2通过四级梯度以较缓坡度方式开挖。计算分析2种基坑开挖方式对跨线桥梁桩水平位移、拉应力及弯矩的影响。结果表明：平均坡度越陡的开挖方式其位移越大,拉应力在开挖16 m处达到峰值,同时方案2的弯矩值远小于方案1。成果完善了复杂船闸基坑工程施工领域的研究,对今后该领域的工程设计及研究具有重要意义。