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

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

新型明桥面轨枕板式无砟轨道结构参数研究

钢桁梁桥由于其承载性能好和跨越能力较强等优点,在大跨度铁路桥梁中被广泛采用。但大跨度钢桁梁桥具有跨中挠度大、梁端转角大和温度变形敏感等特点,为了减小大跨度钢桁梁桥二期恒载、适应桥梁变形特性,在大跨度钢桁梁桥上采用新型明桥面轨枕板式无砟轨道结构。以南沙港铁路某大跨度钢桁梁桥铺设新型明桥面轨枕板式轨道为背景,采用有限元法建立大跨度钢桁梁桥上轨枕板式无砟轨道结构计算模型,研究了轨枕板结构参数对轨道受力与变形的影响,确定轨道结构的合理尺寸与参数。结果表明:轨枕板的外形尺寸直接影响其受力和变形特征;板下垫层的厚度对垫层的受力特性的影响较大;建议南沙港铁路某大跨度钢桁梁桥上采用具有2组承轨台、宽度为2800 mm的轨枕板,轨枕板厚度为280 mm,板下垫层厚度为120 mm。     

关于某项目上部结构通用图配束优化的研究

预制T形桥梁在高速公路中应用广泛，但预制桥梁由于标准化要求，单个项目采用标准跨径的类型有限，跨径组合在布置时常常造成浪费或者略有不足，灵活性不高，尤其在山岭重丘区情况下问题突显。结合规范变化等研究钢束布置情况，通过大量计算分析，优化钢束配置，增加常见跨径预制T形桥梁通用图的适用性，达到跨径布置合理、满足标准化要求、优良的经济性目的。     

桩墙联合支挡结构在陡坡填方滑坡治理中的应用

依托贵州省某高速公路陡坡填方路堤滑坡治理工程，对已竣工路肩墙在路基滑坡牵引下破坏垮塌的实际问题，在路肩位置采用仰斜式路肩墙与抗滑桩联合支挡结构进行治理；运用FLAC3D对桩墙联合支挡结构进行计算，分析治理后的边坡变形沉降、稳定性及其各部分受力特点。治理效果表明:桩墙联合支挡结构治理后边坡稳定性较好，变形、裂缝均在设计控制范围内。     

我国西部地区航空网络结构研究

我国西部地区民航运输机场数量与运量严重失调,不利于西部地区经济发展。本文借助复杂网络理论,对2016年我国西部地区航空网络进行实证研究,并从西部地区城市规模角度,对网络客货流向进行分析。结果表明:我国西部地区航空网络是小世界网络兼具无标度特征,网络集中性强,形成了以成都、重庆、西安为主的区域性枢纽,区内节点与全国性枢纽城市(北京、上海、深圳和广州)及沿海城市联系最为密切。我国西部地区目前航空运输主要集中在区域枢纽城市,不同城市运输水平差异明显,尤其是航空货运,高度集中人口500万以上的城市。     

64000 DWT散货船结构轻量化设计和建造

散货船结构轻量化设计与建造,是提升散货船性能重要途径之一。本文以64 000 DWT超灵便,最大型散货船为例,阐述了船体结构轻量化在设计和制造中所采用的方法和手段,通过对总体布置合理规划、结构合理布局、有限元直接强度计算替代规范法、船体建造控制等措施,实现了控制和减轻船体结构重量的目的。文中所述方法是本船设计和建造的经验总结,对提高船舶设计水平、设计类似船舶具有一定的借鉴和参考价值。     

长江口南槽航道透水梯形结构整治建筑物水动力特性研究

文章依托长江口南槽航道治理工程,对一种透水梯形结构整治建筑物进行了研究,通过物理模型试验重点研究了其水流流速和泥沙淤积效果等水动力特性,并根据试验结果对结构进行了优化。优化方案对透水梯形结构的不同开孔结构和底板方案进行了比选,基于比选试验结果,给出了推荐方案结构,可为生态航道建设提供参考。     

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

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