面向多源异构信息融合的隧道群组装备数据提取技术研究

为保证隧道施工多源异构设备数据的有效采集，针对施工群组装备运行数据特征，开展散布、异构设备数据的并行采集方案及技术研究； 在先行构建出数据采集系统框架、采集实施流程的基础上，针对设备多维、连续数据生成的特点，开展基于流数据管理（stream-based date management， DSM）的技术方法探究； 通过构建多并发数据采集（forward-oriented optimal concurrency control， FOCC）系统，实现多源异构数据的集采、并采。通过重点对前向乐观并发数据采集管理、采集设备自动组网技术方案进行研发实践，研发多协议集成、多接口并发采集、自组网、自主发送的“数据采集终端”，成功实现了龙门吊、泥水分离系统等隧道施工装备运行数据的实时提取。研究证明，提出的多数据并采技术方案可有效解决多源异构数据采集问题。     

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

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

TBM机载锚杆钻机摆动结构拓扑优化研究

为解决TBM机载锚杆钻机推进梁的摆动结构作业时因受力复杂而导致的安全性问题，提升其力学性能和稳定性，首先，通过对摆动结构进行静力学分析，确定其作业时应力集中和应力分布极度不均的薄弱部位； 然后，基于子模型法将摆动结构的薄弱部位切割出来，扩大其设计空间，再运用拓扑优化方法进行优化设计，得到该部位全新的拓扑结构形式; 最后，对比分析优化前后摆动结构的受力、变形情况及振动频率。结果显示： 优化后危险工况下摆动结构的应力集中现象明显改善，一定程度上提高了该结构的刚度和强度，同时有效改善了结构的振动特性，提高了结构的稳定性。     

基于随机森林结合前向序列选择算法的铁路隧道防水板检测数据关键影响因素识别北大核心

针对参数特征复杂度高的铁路产品,提出了一种基于随机森林(RF)结合前向序列选择(SFS)算法的铁路产品检验检测数据关键影响因素识别方法,以辅助基于经验的识别方法。创新使用RF-SFS算法,将其应用于铁路隧道防水板检验检测数据关键影响因素的识别研究。根据多年铁路隧道防水板检测数据,建立RF模型,获得了影响铁路隧道防水板检测结果的特征关键性评分序列。随后,结合SFS方法得出关键性评分序列的阈值,将排名前6位的影响因素识别为关键特征,模型的预测能力达到99.98%。为验证关键特征识别方法的有效性,对比分析3种模型在使用不同特征子集时的预测能力。当仅选用关键特征时,3种模型的预测能力均达到最佳,加入冗余特征后模型的预测能力逐渐降低。     

突涌地质隧道TSP法弹性参数判识研究

结合云南4座在建高风险隧道典型突涌实例,对不同不良地质发生突涌的地质情况及突涌段落地震波反射法(TSP)的预报成果进行总结,分析各类突涌发生的工程地质条件和地震波反射法物理参数,归纳隧道突涌地质特征,得出大规模突涌时地震波反射法物理参数中纵波速度V_p、横波波速V_s、纵横波速比V_p/V_s和泊松比σ四项参数的判断标准:(1)富水时,V_p/V_s与σ都呈增长趋势,V_p/V_s变化率增长约5%以上,σ变化率增长约10%以上;(2)富水时,V_p/V_s由1.7→2.0变化,σ由0.25→0.3变化;(3)层状裂隙或构造破碎时,V_p均呈下降趋势;(4)存在裂隙及富水通道时,V_s均呈下降趋势;(5)V_p和V_s同时下降时,围岩破碎及地下水发育程度同步上升;(6)V_p上升、V_s下降时,围岩完整程度变化不大,地下水或裂隙发育程度上升。     

隧道监控量测数据反分析技术研究

结合某隧道监测断面各施工阶段位移变化情况,应用MIDAS GTS软件建立三维模型,通过反分析计算确定了弹性模量E及侧压力系数K0的取值范围。通过对隧道各施工阶段的变形情况进行模拟,采用黄金分割法对隧道拱顶下沉和净空位移量测值进行了反分析计算,与实测值对比分析后说明计算结果准确可靠。     

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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

河钢塞钢对中国港口开拓海外市场的启示

面对机遇与风险并存的局面,中国港口企业如何学习河钢塞钢管理团队的成功经验,在"走出去"的过程中,用最短时间实现最大化发展近几年,随着"一带一路"倡议转入实体层面的推动,中国港口企业纷纷走出国门,积极开拓海外市场,投资项目的数量和规模不断扩大,取得了不错的成绩。