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

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

变形强化对提高汽车覆盖件强度的探讨

通过对０８Ａ１钢板单向拉伸试验和理论计算，研究了变形强化对提高板料强度的贡献，从而为采用张力拉伸成型法来提高汽车覆盖件塑性变形程度，使制件的强度和刚度增加，提供了技术依据。     

车载产品小集合

此款产品利用车载点烟器为手机充电，伸缩式连接线长短易调、收放快速。其简单小巧的造型便于携带，电源接口适用于所有标准的车载点烟器，型号适用于诺基亚、摩托罗拉、索尼爱立信和西门子。     

前导法顶进厚覆盖土大跨度箱涵施工技术

阐述前导法顶进大跨度箱涵的原理及方案设计,并结合工程实例,详细介绍在既有线厚覆盖土内采用前导法顶进大跨度箱涵的施工工艺及注意事项.     

板料斜刃剪切力——位移关系和剪切功

本论述了板料斜刃剪切力和位移的关系，计算了板料斜刃最大剪切力和剪切功，证明了两种斜刃剪切功相同且等于平刃剪切功。为了取得较好的省力效果，斜刃的斜角与板料厚度、宽度之间应满足关系式ｔｇψ≥ｔ／Ｂ，它为斜刃剪切技术设计提供了依据。     

覆盖件检具在汽车制造中的应用

覆盖件检具是汽车制造中的重要检测手段之一，对确保零部件的质量有很大作用。本文就这类检测器具有基本组成、结构特点，以及对工件上的被测要素是如何实施测量的，作了较详细的描述，并介绍了若干应用实例。     

船舶总纵极限强度模糊可靠性研究

本文以模糊数学和结构可靠性基本理论为基础,分析了传统随机可靠性理论的不足,并在常规模糊可靠性理论研究的基础上,利用模糊集合与普通集合之间的转换关系,研究了模糊变量组合时的可靠性计算方法,拓展了模糊可靠性理论的使用范围.通过对模糊可靠度计算结果分析发现,模糊可靠性理论使设计更加科学,更加符合工程实际;模糊变量组合在船舶总纵极限强度可靠性上的应用,避免了传统计算方法由于变量统计数据不足而导致的偏差,减少了很多繁复的数学运算.算例分析验证了本文方法的准确性和实用性.     

NZF—2型铸钢冒口覆盖剂的应用

介绍了ＮＺＦ－２型铸钢冒口覆盖剂在电机铸钢件水玻璃砂型明冒口上的试验和应用情况。通过对机座，支架铸件冒口的解剖，探伤，分析，确认ＮＺＦ－２型铸钢冒口覆盖剂使用方便，补缩效果明显高于一般发热保温覆盖剂。     

光纤直放站在铁路无线通信工程中的应用

本文结合武嘉铁路的实际情况,分析了两种铁路无线弱场强区覆盖方案的特点,提供了以光纤直放站覆盖弱场强区的施工方案。