命题逻辑提升到一阶逻辑上的子句消去方法

在基于命题逻辑的可满足性问题（SAT）求解器和基于一阶逻辑的定理证明器上，子句集简化一直是必不可少的步骤，而其中子句消去方法在这些子句集简化方法中是非常重要的组成部分。将命题逻辑中的子句消去方法归结隐藏恒真消去方法（RHTE）和归结隐藏包含消去方法（RHSE）提升到一阶逻辑上，并且利用蕴含模归结原则（IMR）证明了这种提升方式在一阶逻辑上具有可靠性（Soundness），即依据这两种子句消去方法删除一阶逻辑公式集中的子句，并不会改变公式集的可满足性或者不可满足性。此外，将这两个方法与一阶逻辑子句消去方法锁子句消去方法（BCE）和归结包含消去方法（RSE）进行组合推广，发展得到一阶逻辑上新型子句消去方法（BC+RHS）E、（RS+RHT）E和（RHS+RHT）E，并且证明了这3种子句消去方法在一阶逻辑上的可靠性。最后，分析比较了这些子句消去方法的有效性，并且证明了这3种新型子句消去方法比组成它们的原始子句消去方法均具有更高的有效性。     

大力实施“四大战略”加快推动山东煤炭工业转型升级

该文回顾了改革开放三十年来山东煤炭工业转型升级的历史规律,分析了当前经济形势新变化对煤炭转型升级提出的迫切要求,提出了推动煤炭工业转型升级的主要战略和内容。     

影响常压储罐底板漏磁检测可靠性的因素研究

通过对影响常压储罐底板漏磁检测可靠性的因素进行研究,希望能帮助业主及检测人员充分理解限制因素从而能够对于漏磁检测技术的局限性有更深刻的认识,只要合理应用漏磁检测技术并且充分理解其局限性,加上漏磁检测技术的可靠、快速没有任何其它技术可以比拟,那么储罐底板漏磁检测技术仍然是一种高效、较高精度的针对底板腐蚀减薄状况进行检测的面扫查技术,并且正逐渐应用于立式储罐底板的腐蚀状况安全评估过程。     

Si3N4基复相陶瓷材料的制备及力学性能

基于高马赫数导弹天线罩为应用背景,以Si粉、BN粉、SiO2粉为主要原料,采用反应烧结法制备Si3N4基复相陶瓷材料,探讨了原料组成以及制备工艺对力学材料性能的影响规律,采用SEM观察了材料的断口形貌.结果表明:当原料中Si、BN和SiO2的含量分别为55%、30%和10%时,采用分段升温烧结工艺制备的材料力学性能最好,强度达到94.3MPa,断裂韧性1.69MPa·m1/2,模量45.2GPa.     

液体除湿技术在建筑环境与设备中的应用及发展趋势

介绍了几种传统除湿方法及存在的问题，阐述了液体除湿的原理与优势；对液体除湿技术在建筑环境与设备中的应用情况进行了重点论述，进一步指出液体除湿技术面临的问题及发展趋势，指出了除湿技术将有着广阔的应用前景。     

Type—Ⅱ型中红外发光二极管及激光器的进展情况

目前,中红外器件的应用已越来越广泛。为了更好地了解此类器件的结构和发展状况,本文结合国外在此方向上所取得的结果,对这类器件的结构设计做了比较详细的介绍。这些器件已能在218K温度下连续工作,其功率达到了500mW,78K时的阈值电流密度为31A/cm~2,特征温度也达到了103K。     

氧化物/氧化物陶瓷基复合材料研究进展

随着连续纤维增韧陶瓷基复合材料的快速发展，氧化物/氧化物基复合材料已成为 航空航天领域热端高温部件的新兴候选材料，本文从纤维、基体及界面相的角度重点介绍了氧 化物/氧化物基复合材料及其主要制备工艺，并指出了这一领域未来的发展趋势。     

二次加酶法提高大米蛋自水解度的研究

选用Alcalase和Flavourzyme为水解大米蛋白的两种工具酶,通过单因素实验和正交实验确定两种酶的最佳水解条件.在这种条件下,采用二次加酶法水解大米蛋白,其水解度可达10.26%,与其他水解法比较明显地提高了大米蛋白的水解度.     

水泥稳定碎石基层施工工艺控制

随着水泥稳定碎石基层在公路中的广泛应用,水泥稳定碎石基层的质量得尤为重要.有关水泥稳定碎石基层施工工艺控制的分析,对提高水泥稳定碎石基层的质量具有重要的意义.