引汉济渭工程岭北TBM无扩大洞室刀盘边块更换技术

本文以陕西省引汉济渭工程岭北TBM施工段为依托,为解决TBM在狭小空间内较大部件更换维修困难难题,开展大直径TBM刀盘边块在狭小空间内更换技术研究。通过大量研究,创新性提出新刀盘边块更换方法——基坑法,即通过专用设备配合TBM固有性能,在无扩大洞室工况下完成刀盘边块更换。经岭北TBM刀盘边块更换实例证明,此方法操作简单、适用性高,尤其在狭小空间内更具有优越性,且能节省大量维修时间,有效提高施工工效,可为同类TBM施工提供有益借鉴。     

铁路桥梁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方法更为有效.      

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

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

基于线阵CCD的空间滤波测速算法关键参数研究

介绍了基于线阵CCD的空间滤波器的基本架构与原理,并通过MATLAB工具对基本型空间滤波器的算法进行了仿真验证;针对基本型空间滤波器频谱中存在的严重的基频干扰问题,提出了一种差分算法来解决,并进行了计算机仿真验证和真实皮带轮运动视频验证;对空间滤波器的各项参数设置对测量效果的影响进行了分析与仿真,确定了光栅周期宽度、周期数、CCD像素值、ADC采样分辨率、采样时间长度等参数的选择范围。基于线阵CCD结构的空间滤波器具有成本低、安装调试简单、噪声低等特点。     

考虑拥堵空间排队与溢出的道路网静态交通流分配

为刻画拥堵空间排队与溢出现象对交通流分配的影响，提出考虑拥堵空间排队与溢出的道路网静态交通流分配问题，并构建相关的求解算法，用于描述交通需求在起讫点移动过程中路网整体的宏观运行状态。首先，丰富和完善考虑拥堵空间排队与溢出的静态交通流分配的相关假设，提出次生瓶颈、拥堵干扰与渗透和分段化路段阻抗等基本概念和理论，来刻画拥堵交通瓶颈、拥堵空间排队等交通现象；其次，建立网络瓶颈识别算法和空间排队回溯算法，基于此构建考虑拥堵空间排队和溢出的增量分配算法，用于求解交通流分配的结果；最后，通过使用一个具有说明型的算例进行对比分析。研究结果表明：建立的瓶颈识别、排队回溯和增量分配算法可以识别路网中的瓶颈位置及其拥堵排队区域，并可计算得到各路段上的分段分配流量；与点排队只影响瓶颈路段的运行状况和均一的路段分配结果相比，可有效描述路网整体的宏观运行状态以及由于拥堵空间排队所导致的拥堵干扰与渗透现象；不同于“时间片”的伪动态交通流分配模型，新建算法的分配结果是“全时段”与“整体性”的路网宏观运行状态，包含了拥堵瓶颈的具体位置和空间排队的干扰与渗透情况；一般拥堵点排队模型和基于“时间片”的拥堵空间排队模型难以刻画拥堵干扰与渗透现象以及路网整体的宏观运行状态，故所建立的分配方法是对传统拥堵交通流分配的丰富和发展。     

阶梯形丁坝区明槽紊流脉动流速的空间相关结构*

阶梯形丁坝在航道整治中应用广泛，脉动流速的空间相关结构是紊流相干结构的重要组成，可有效反映阶梯形丁坝区的流场特性。基于阶梯形丁坝区明槽紊流PIV流场测试资料，分析阶梯形丁坝区脉动流速空间自相关结构与互相关结构的分布特性，研究脉动流速空间相关结构沿主流、水深及槽宽方向的变化规律。结果表明：纵向脉动流速自相关系数Cuu与垂向脉动流速自相关系数Cvv均为正值；自相关系数在0.3~0.9区间内的等值线，其分布范围随着水深增加而减小，随着与丁坝距离的增大而增大；近坝区纵、垂向脉动流速互相关系数Cuv与垂、纵向脉动流速互相关系数Cvu云图在丁坝下游约一级丁坝坝长范围内出现基本对称的正负分区现象；一级丁坝附近Cuv及Cvu云图中相关性较强的等值线分布范围在近坝区较大而水槽中心较小；水槽中心附近，脉动流速空间互相关系数绝对值较大的等值线基本分布在二级丁坝上方，Cuv为正，Cvu为负。