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

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

地铁运营阶段隧道水平位移测量实施优化探究

地铁隧道结构稳定与地铁运营安全及舒适性紧密相关,地铁运营阶段的变形监测是确保结构稳定的重要措施。为探究地铁隧道基准点布置复杂情况,如点位破坏、集中布点与基准点距离变化等因素对水平位移监测精度影响,依托南京地铁某保护区的地铁变形监测数据,试算并讨论基准点数量、位置分布等因素与设站点精度间的对应关系,得出基准点数量与仪器测角精度是影响设站点精度的重要因素,并根据定量分析结果,给出地铁水平位移监测在满足精度要求条件下更加优化的实施建议。     

多场景下客流精准诱导系统分析与设计

以城市轨道交通多场景下客流精准诱导需求为研究对象,分析多场景下诱导系统应具备的功能和可采用的结构。基于广州地铁中台框架,利用SpringBoot、微服务、Redis、H5等新技术实现诱导系统的功能,包括拥挤条件下的前瞻性诱导、突发情况下的主动诱导和末班车出行路径可达性查询功能。多场景下客流精准诱导系统及其App服务的开发和上线运营,可支撑地铁各场景下的客流运营组织,提升轨道交通客流组织合理性和客运服务水平。     

城市轨道交通精细化客流预测系统设计与实现

针对大部分客流预测系统存在预测客流指标不全,时空粒度较粗,多场景的适用性不足等问题,以大规模网络化运营的城市轨道交通精细化客流预测需求为研究对象,分析适应多场景铁路网客流预测实现方法,利用Hadoop、Spark&Hive、Redis、微服务、H5等先进技术搭建客流预测大数据平台,实现铁路网交通出行量(OD,Origin Destination)的精细化客流功能,为调度指挥和客运管理提供进站、出站、换乘、断面客流量等全指标、精细化时空粒度的客流预测数据支持,提升轨道交通调度指挥针对性、客流组织合理性和客运服务水平。     

一种低信噪比环境下的基音检测方法

噪声是低信噪比环境下影响基音检测准确率的主要因素之一,为此提出一种基于形态学滤波和小波变换相结合的基音检测方法。该方法首先用形态学滤波器滤除噪声,突出基音。然后在小波域利用Teager能量算子区分清、浊音,通过浊音小波系数模的极大值提取基音。实验结果表明,在信噪比较小时该方法也能准确地检测出语音信号的基音,与传统的基音检测方法相比,该方法有较强的抗噪性。     

合金元素对高铬铸铁堆焊层耐冲蚀磨损性能的影响

研究了合金元素镍和硅对高铬合金铸铁（Fe-C-Cr系）堆焊层耐冲蚀磨损性能的影响，从磨损机理和材料微观组织的角度做了理论分析，指出镍和硅能够明显改善堆焊层耐冲蚀磨损性能，并给出了在该试验条件下的适宜的合金元素含量。     

考虑平,纵,横三方面关系的横向加速度变化率

汽车在曲线上行驶时，横向加速度的变化是平，纵，横三方面综合作用的结果，建立了横向加速度变化率与三者之间的关系，可作为路线各几何元素和舒适性的评价指标。据此对传统公路路线几何元素进行了讨论。     

合金元素对球铁焊接接头白口倾向的影响

通过改变焊条药皮成分，系统地研究了C、Al、Si、Bi对球铁焊接接头半熔化区白口宽度的影响。研究结果表明，在一定范围内增加焊缝中C、Al、Si或Bi的含量，有利于减少半熔化区白口的宽度，若将适量的上述元素同时加入，则白口宽度可降至1．8mm。由此可见，在球铁焊缝中加入适量的多元合金元素，是降低半熔化区白口宽度、改善焊接接头加工性能的重要途径。     

人工智能技术在舰船室内设计中的应用

针对传统舰船室内设计方法受到设计元素种类的影响,出现设计效果差的问题,以增强舰船室内设计效果为目的,提出人工智能技术在舰船室内设计中的应用研究。采用人工智能技术优化舰船室内视觉信息,利用视觉信息的获取步骤,得到舰船室内设计的视觉信息,将舰船室内设计的二维坐标转换为三维坐标,完成舰船室内的场景建模,最后通过舰船室内设计流程,实现了舰船室内设计。实验结果表明,与其他2种方法相比,基于人工智能技术的舰船室内设计方法可以增强舰船室内设计的效果。