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

针对高速铁路列控系统的混杂特性,提出一种基于混合通信顺序进程(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%左右, 预测结果具有较高的准确性。      

养生作用对硫沥青性能影响分析

硫磺部分替代传统石油沥青用于道路工程建设可减少石油沥青用量,降低施工能源消耗,促进工业废渣中硫磺的回收利用,具有较高的经济和环保价值。为探究硫磺掺量（质量分数）及养生作用对硫沥青（SEA）性能的影响,采用差示扫描量热仪（DSC）验证硫沥青中硫磺的重结晶现象,对养生前后硫沥青的基本物理性能和黏度进行分析,并采用动态剪切流变仪（DSR）和弯曲梁流变仪（BBR）对养生前后硫沥青的流变特性和疲劳性能进行评价,最后借助荧光显微镜（FM）观察养生前、后硫磺在沥青中的微观分布特性。研究结果表明：养生后高硫磺掺量的硫沥青DSC曲线出现吸热峰,硫沥青（特别是高硫磺掺量下）的劲度有所增加,因此对硫沥青进行养生使其性能稳定后再进行相关性能评价更具现实意义;硫磺掺量较低（≤ 10%）时,硫磺主要以溶解硫的形式存在于沥青中起到软化沥青的作用,因此沥青的低温变形能力有所改善,但其高温抗变形能力有所降低;当硫磺掺量较高（≥ 35%）时,硫磺主要以重结晶的形式悬浮在沥青中使沥青变硬,在增加沥青高温抗变形能力的同时也牺牲了其低温抗裂能力;硫磺掺量较低时,硫沥青黏度随着硫磺掺量的增加而降低;硫磺掺量较高时,硫沥青90℃和105℃黏度随着硫磺掺量的增加而增加,但硫沥青120℃和135℃黏度相差不大,同时硫磺加入最高可降低沥青的施工温度达20℃;线性振幅扫描（LAS）试验结果表明,养生后的硫沥青疲劳寿命比基质沥青长,其中35%硫沥青疲劳性能最佳;硫磺掺量进一步增加,硫沥青疲劳寿命缩短至与基质沥青相近;FM分析表明,硫磺掺量不高于5%时,硫磺全部溶解于沥青中,且养生后硫磺未重结晶,相应硫沥青无荧光性;硫磺掺量高于5%时,硫磺在沥青中分布均匀,养生后10%硫沥青中硫晶斑尺寸和面积显著增大,高硫磺掺量硫沥青中硫晶斑面积仅略有增加。     

基于RBF神经网络补偿的动力定位PD控制

动力定位控制系统在实际工况中会受到外部风、浪、流等环境力的扰动,本文主要研究PD+RBF控制算法以提高动力定位系统的抗干扰性和稳定性.RBF神经网络用来补偿外界环境扰动,其权值自适应律通过Lyapunov稳定性证明得到,通过稳定性的分析能够保证整个系统全局渐进稳定.在一艘平台供应船的仿真结果对比中显示了所提出控制器的有效性.     

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

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

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

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

邮轮儿童活动区域设计

来自国际邮轮协会的数据显示,每年有超过150万儿童乘坐邮轮出行.邮轮具有省时、省力、省心的特性使其作为最适合阖家出游的旅行方式之一,是缓解工作压力、远离城市喧嚣的盛宴,而且近年来邮轮亲子游愈发流行.因此在邮轮旅行中孩子是重要的受众群体,如何设计出新颖独特符合儿童心理需求的娱乐项目,让孩子爱上邮轮旅行,是设计的重点.从人机工程学、色彩设计、导向设计、安全性等多方面阐述邮轮上儿童活动区域的设计方针,层层剖析出设计师的基本设计思路和原则,让更多的人了解邮轮,了解邮轮儿童活动区域设计的理念.     

深水大流速大型构件水下安装设备与应用

结合长江南京以下12.5 m深水航道二期工程仪征水道整治工程梯形空心构件深水大流速没顶安装的特点,研发深水大流速安装专用吊具、配套测量架及测量定位系统,改进传统航道整治中混合堤构件安装工艺,提高安装精度和施工效率,有效解决没顶安装环境下轴线偏差、错台、缝宽控制难度大的问题,实现大型构件深水安装安全、高效、高精度的预期目标。     

基于MATLAB的耙吸船施工方案优化软件的应用

针对耙吸船在浚挖水深较小、疏浚量较大、运距较远的航道作业时常常要浪费大量时间候潮的问题,开发基于MATLAB的耙吸船减载或候潮施工方案优化软件。该软件根据施工海域潮汐情况,预测耙吸船在候潮施工和减载施工2种工况下的生产率,从中选择更为高效的施工方案。同时,该软件可以精准计算挖泥时间,为施工人员提供更为合理的参考,在保障耙吸船安全施工的同时提高船舶施工效率。研究成果成功应用于马来西亚槟城吹填造地工程中,使施工周期缩短10%,生产率提高7%。