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

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

城市轨道交通网络拥堵易发点的识别及评价

在城市轨道交通物理拓扑层、设施能力层与客流分布层网络模型基础上,构建了多属性网络.阐述了网络拥堵易发点的网络拓扑、网络运输能力及网络客流等特征指标,并采用基于AHP-熵权法的组合权重法对拥堵易发点进行拥堵风险的辨识和评估,探究了网络拓扑结构、运输能力和客流需求之间的关联性.在北京轨道交通的实例中,识别的拥堵易发点多为衔接郊区线与市区线的换乘站.这验证了识别和评价方法的有效性和实用性.     

全球FPSO船型开发领域核心技术的演化分析

以国内外专利数据为分析对象,采用专利计量分析的技术方法深入研究浮式生产储油卸油装置(FPSO)开发技术的演化态势,对FPSO船型开发领域的核心专利进行分析,总结出FPSO船型开发的发展路线.结果表明:当前FPSO船型开发领域的主要研究方向是旧船改造、新概念FPSO和通用FPSO.旧船改造的技术点主要聚焦于超大型船舶设计;新概念FPSO的技术点主要集中于浮体形状设计、上部甲板大型化和刚性立管作业问题;通用FPSO的技术点主要侧重于标准化船壳设计、模块化FPSO设计和FPSO一体化建造,未来企业可考虑在模块化FPSO的上甲板承载与布局、管线布置、生活区布置、减摇和抑制垂荡问题上进行专利布局研究.     

大型船舶钨极氩弧重熔工艺应用

疲劳破坏是船体结构的主要破坏形式之一。改进结构节点的设计和施工工艺,可保证船体结构中受交变载荷作用的构件有足够的疲劳寿命。钨极氩弧(Tungsten Inert Gas, TIG)重熔是改善结构节点焊后疲劳强度的有效方法。与目前船上常用的几种改善疲劳强度的方法进行分析对比,对TIG重熔工艺的重要性进行充分论证,获得实施TIG重熔工艺的技术标准和操作要点。TIG重熔工艺不仅改善结构节点疲劳强度,而且为建造具有较长疲劳寿命的大型船舶找到一个行之有效的方法,可产生良好的经济和社会效益。     

地铁地下车站轨顶风道风口参数的优化

针对地铁地下车站轨顶风道排热效率较低的情况,提出了轨顶排热效率评价参数,并通过数值模拟对轨顶流场、温度场及排热效率评价参数进行计算.模拟计算结果表明:过多的冷风被吸入轨顶风道是排热效率低的主要原因;提高轨顶风道中的风口排风量及风口尺寸增加均无法有效增加其排热效率;轨顶热风分布区域较小.由此推论,排风口参数的优化策略为减小轨顶排风口分布尺寸,并适当将排风口位置向车头方向移动,为此可提高排热效率20％～50％.基于优化策略,提出了具体的优化方案,并通过数值模拟验证了优化方案的效果.     

旧水泥混凝土路面加铺沥青混凝土面层勘测设计

旧水泥混凝土路面加铺沥青混凝土面层，当没有路线设计资料时，需对旧有路线进行拟合，重新进行勘测设计，以获得与旧有路线一致的路线设计资料，为旧水泥混凝土路面加铺沥青混凝土面层提供设计依据。结合工程实践，介绍了拟合旧有路线时勘测设计的内容和方法。     

沈大高速公路路面平整度的控制

结合沈大高速公路改扩建工程简述了SMA路面平整度的影响因素和控制方法。     

浮舟托管管线的构成与受力分析

管道运输方式在疏浚工程中使用比较普遍。在急流区域疏浚时，减少水流对管线的作用力成为保证整个管线运输系统安全运行的关键问题。文章运用理论分析的方法，对水中浮管与浮舟托管两种型式的管线受力进行了计算、比较，并对浮舟托管管线的构成提出了建议。     

基于仿真分析的煤炭装船码头筒仓群装卸工艺系统优化

大型煤炭装船码头采用筒仓群储运系统，具有自动化程度高、环保效果好以及集约化发展等多方面优势，但相关储运系统装卸工艺设计无成熟的可供参考的规范。而基于经验公式的计算，无法准确反映出不同工艺平面布置方案对通过能力的影响。本文基于已建黄骅港三、四期煤炭码头工程，根据筒仓群工艺平面布置不同，提出4个典型的装卸工艺方案；然后基于Simio系统仿真软件，建立了4个方案的仿真模型，计算各个方案合理的通过能力；最后对各个方案进行综合经济技术指标比选，并给出类似工程筒仓群平面布置的优化建议。