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

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

单线铁路隧道内弹性支承块式无砟轨道施工技术

结合衢宁铁路福建段隧道内弹性支承块式无砟轨道的施工,介绍弹性支承块式无砟轨道精调、道床施工工艺、创新施工方法等,为类似工程提供借鉴。     

局部载荷作用下四边固支矩形板弹性解答及其应用

针对局部横向载荷作用下四边刚性固定矩形板,运用能量法推导出板中挠度解答方程组,利用Matlab编程求解,可计算得到任意矩形板尺寸及横向载荷尺寸下弹性阶段的变形,将结果与有限元数值解进行对比,证明了该方法的精确与快速性,并将该公式应用于极地船舶冰区加强区域外板强度的快速校核中。     

地铁小半径曲线钢轨型面打磨技术及评价＊

为了解决地铁小半径曲线钢轨非正常磨耗问题、延长曲线段钢轨使用寿命、保障列车运行的安全性和稳定性,通过实测分析小半径曲线钢轨型面数据的磨耗特点及其接触变化,设计出适用于小半径曲线轨道的钢轨打磨型面(Opt-60型面).建立地铁B型车动力学模型和轮轨接触有限元模型,分别对不同打磨型面在整个维护周期内的钢轨性能进行仿真计算.计算结果表明:相对于CN60打磨型面,Opt-60型面的打磨量减小了 44.2％,打磨深度减小了 0.646 mm;在维护周期内Opt-60型面的轮轨横向力和脱轨系数都有明显改善,安全系数有所提升,且横向平稳系数与垂向平稳性系数均得到提高;在一定列车通过量下,Opt-60型面的轮轨接触面积比CN60打磨型面的轮轨接触面积大14.63％～27.13％,接触应力减小19.27％～27.97％.计算结果已明显表明,Opt-60型面能有效减缓钢轨磨耗、抑制钢轨疲劳,还能提高列车运行的安全性和平稳性,优化了列车的动力学性能.     

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

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