G3铜陵长江公铁大桥南锚碇锚固系统施工完成北大核心

2022年11月6日,随着最后一根锚杆的密封材料涂装完成,G3铜陵长江公铁大桥南锚碇锚固系统施工顺利完成(见图1),为下阶段主缆牵引架设及张拉奠定了基础。G3铜陵长江公铁大桥是世界首座双层斜拉-悬索协作体系大桥,大体量、一跨过江的设计对大桥主缆锚碇提出了更高要求。南锚碇为全桥主缆2个固定点之一,采用复合板桩嵌岩重力式基础,基础长75m、宽80m、高15m。锚碇内设置的锚固系统由后锚梁和锚杆组成,为主缆与锚碇连接的关键结构,承担着承上接下的作用,是南锚碇施工中的重要节点之一。     

隧道掘进机主驱动高压密封系统关键参数试验研究

为解决隧道掘进机主驱动高压密封技术难题，指导高压工况下密封系统参数设计，通过搭建5 m级主驱动密封试验台，采用静态试验与动态试验相结合的方法，验证密封试验台的可行性，并深入研究转速、承压状态与冷却水流量对唇形密封与聚氨酯密封2种高压密封系统运行温度的影响。结果表明： 1）静态试验下，高压密封系统逐级加压至2 MPa可保持稳定，验证了2种密封系统的高承压能力； 2）唇形密封与聚氨酯密封的动态试验显示，高转速会降低承压密封的稳定性，在高压下影响显著增强； 3）转速对密封系统温度有较大影响，与密封系统温升呈正相关，并且承压越高，密封系统温升越大； 4）2种密封系统在转速1.5 r/min附近可均衡系统稳定性与发热量要求，聚氨酯密封结构的冷却水流量控制在50 L/min较优。     

基于连续点云数据的既有铁路轨面信息快速提取算法设计

三维激光扫描获取的既有铁路点云数据具有海量性、离散性等特点,难以从点云数据中快速提取线路参数.为此,结合现场实测数据,提出一种基于连续点云数据的既有铁路轨面信息快速提取算法.通过k-d树实现点云的快速搜索、查询和储存,利用主成分分析法和移动激光点聚类法提取的接触线分割构建出铁路缓冲区,进而通过平面格网法的粗提和多种约束条件下的精提实现了轨面点提取.对既有线路现场试验结果表明,轨面点提取的完整度c和准确度p均在93％以上,该方法能较好地实现钢轨轨面点云的快速提取.     

复式断面明渠湍流的统计特征和拟序结构

应用直接数值模拟(DNS)方法，研究了复式断面明渠湍流的一阶和二阶统计特征，分析了湍流拟序结构在复式断面明渠内的分布规律。首先，针对平板边界层湍流问题对数值模拟方法的精度进行了验证；随后，分析了复式断面明渠的主流流速分布、二次环流强度和分布，以及二次环流对主流流速分布的影响，讨论了紊动强度和雷诺剪切应力极值大小和分布特征；最后，再现了复式断面明渠湍流的三维拟序结构，阐述了滩槽结合处典型“发卡”涡结构的特征及其诱发二次环流的机制。     

广西海事:聚焦国家战略落地落实,全力服务保障经济社会发展

一年来,广西海事局共成功救助遇险船舶121艘.次、遇险人员1337人,人命救助成功率达9653%。记者从1月12日召开的广西海事2022年工作会议上了解到,2021年广西海事局扎实开展党史学习教育,将以人民为中心的发展思想贯穿履职尽责全过程,推动党中央及上级各项决策部署落地见效,实现"十四五"良好开局。     

铁路桥梁BIM程序的设计与实现

针对桥梁工程设计的特点,自主开发一款具有二维交互设计,及三维显示功能的铁路桥梁BIM设计程序。阐述了在建筑信息模型(BIM)模式下桥梁程序开发不易完全抛弃二维设计视图及传统设计的理念。着重介绍了该程序的MVC框架、桥梁设计功能,以及在二维、三维显示视口开发中所使用的OPENGL VBO、四叉树空间索引等技术。通过工程项目应用,表明该程序具备BIM铁路桥梁方案设计功能,三维场景直观生动,并且结合二维视图辅助,使用户能够直接、实时地掌握桥梁结构高程、尺寸等数据,更好地帮助决策合理的桥梁方案。     

考虑高铁客运产品间交叉弹性的动态票价策略

将由特定高铁列车所提供的起讫点间的旅客运输服务定义为单个高铁客运产品。随着高速铁路越来越"公交化",同一起讫点间客运产品间的可替代性越来越强,票价的调整有了更精细化的要求。用经济学中的交叉弹性理论描述客运产品间的可替代程度,用指数需求函数描述客运产品的需求与票价的关系,构建并求解高铁动态票价优化模型,对客运产品间不同可替代程度下的最优动态票价策略进行研究。结果显示:高铁客运产品间的可替代性会影响票价策略的选择,且客运产品间可替代程度的增加是否有利于客票收益的提高与可行折扣票价集合的选取有关。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.