“天鲲号”超大型自航绞吸船辅钢桩门装置设计

针对自航绞吸船在艏部设置辅钢桩定位系统存在的影响航速等问题，“天鲲”号超大型自航绞吸挖泥船提出了在艏部设置钢桩门的解决方案。该解决方案不仅可以保持完整的艏部线型，减小航行阻力，而且还可以减小辅钢桩甲板作业空间。本文介绍了“天鲲”号辅钢桩门装置的设计方案，以及辅桩钢桩门结构设计，最后提出了辅钢桩门开闭油缸等关键设备的选型计算方法及选型结果。本文可为超大型自航绞吸式挖泥船的辅钢桩门装置的设计分析提供参考和设计思路。     

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

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

艇用励磁变阻器设计

根据用户需求进行艇用励磁变阻器设计.根据功能需求,对电阻器、触头板及操作机构进行设计.温升、寿命、冲击、振动等多组试验验证表明,变阻器可靠性高,耐机械磨损性能好,设计满足客户需求.     

五十铃载货车制动系常见故障诊断与排除

五十铃载货汽车制动系统常见故障主要有制动效能不良与制动拖滞等，现将其诊断与排除方法介绍如下。     

ST614型启动机驱动机构常见故障原因分析及其排除方法

介绍了启动机驱动机构的功用，分析了该机构常见故障原因及其判断与排除。     

我国铁路建设融资新途径--资产证券化

通过分析“八五”和“九五”期间铁路资金筹集的主要渠道，提出用资产证券化筹集铁路建设资金：详细分析了我国铁路应用资产证券化融资的可行性，包括铁路适合资产证券化资产和应用资产证券化筹资的不利因素及解决办法。最终建立了铁路应用资产证券化具体操作模型。