钢桥塔与塔吊联合体系风荷载效应研究

施工阶段的钢桥塔属于典型的高柔结构,由于缺乏缆索的支撑作用,其低刚度可能会引起过大的结构位移响应。针对带塔吊钢桥塔联合体系静风荷载及响应,比较了《公路桥梁抗风设计规范》、《起重机设计规范》所提供的计算方法和计算流体力学(CFD)虚拟风洞技术的计算结果。通过对比可知,与CFD数值的计算结果相比,按照规范计算的联合体系部分位移响应极值偏于不安全;布置在钢桥塔顺桥向方向的塔吊,对桥塔顺桥向风荷载有一定的放大影响;根据CFD计算结果,可以得出风向对联合体系风荷载存在明显的影响。     

低傅氏数兴波数值预报的不稳定现象及其解决方案

本文针对船舶在低傅氏(Froude)数兴波数值预报中容易出现计算不稳定的普遍现象,从离散差分格式出发,对控制方程离散格式进行数值分析,推导出船舶CFD所特有的(带自由面)不稳定项形式,从理论上来解释这一现象.同时,根据所推导的数值耗散项的表达形式,提出了低Froude数计算稳定性的控制策略,主要为采用时间一阶隐式格式;减小时间步长;适当加密自由面附近的网格;综合应用前三种策略.     

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

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

城市轨道交通列车故障救援延误计算与仿真

针对城市轨道交通列车故障救援方式及延误计算问题,对列车故障救援作业流程进行分析,然后根据作业流程建立5种救援方式的延误计算方法,最后使用Open track对福州市某地铁线路进行列车故障救援仿真,并对仿真与计算结果进行比较分析.研究结果表明:在一定范围内提高救援速度可有效减小救援列车作业时间;所提出的计算方法可较为准确反映延误情况;在救援起讫点内,以固定闭塞运行的后序列车的延误会突增并积累,造成延误增幅的差异.     

深部引水隧洞交岔口稳定性仿真计算分析

深部隧洞交岔口稳定性受围岩性质、隧洞断面等诸多因素影响,围岩的力学特性复杂。依托山西省中部引黄工程,基于ABAQUS有限元软件对隧洞交岔口进行仿真分析,研究了断面突变交岔口的三角区围岩应力场与位移场的演变规律。结果表明,交岔口三角区侧围岩存在明显的应力集中,易受挤压破裂,需提高支护参数;交岔口断面突变处的衬砌连接处是薄弱部位,局部混凝土会出现拉裂现象,在施工过程中可采取控制弯曲变形措施,尽量修圆衬砌避免倒角。     

长江三角洲地区集装箱生成量的可拓聚类预测

<正> 在酝酿新世纪的各国港口集装箱运输的持续发展中,各界普遍关注的热点问题是沿海集装箱深水港的建设,而对于内河集装箱运输没有得到应有的重视。内河集装箱运输是推动内河流域经济发展的原动力,无数国内外的水运与区域(城市)经济发展相互依存的实例证实了包括内河运输的水运对人类历史和经济发展的重要作用。     

扬州西北绕城高速公路路基路面排水设计浅析

高速公路排水设计对于高速公路路基的稳定性及路面的使用寿命都有显著影响，本文通过水文计算并结合扬州西北绕城高速公路设计、施工的实际情况，提出了切实可行的设计思路，以便更好地为高速公路建设服务。