部分赋值一阶逻辑公式的条件求值——NP完全性及在特定情况下的求解

部分赋值的一阶逻辑公式的条件求值问题是在关系数据库应用，尤其是在分布式环境下应用中经常遇到的问题．此问题在一般意义下的解是NP完全的．本文首先证明此问题的解存在的充要条件，从而推知其NP完全性．然后给出该问题在一种特定情况下的求解方法。     

进军国际市场 实现山西煤炭腾飞

通过分析山西煤炭在国际市场中的竞争优势，认为山西煤炭进军国际市场的时机已经成熟；要适时调整煤炭政策、发挥竞争优势，针对性地开发出口煤品种以逐步争取国际市场的份额，振兴山西煤炭。     

凡口铅锌矿矿体开采安全技术措施浅析

根据凡口铅锌矿水文地质特征和矿山开采实践,提出了该矿在开采中应采取的安全技术措施.     

浅论白马铁矿建设条件

从矿石选别性能，外部运输条件，伴生金属以及矿山建设的前期准备工作情况等多方面综合论述了白马铁矿建设的有利条件     

水中碘的分光光度法测定

通过波长选择氧化－还原剂及其它试剂加入量，稳定性能以及准确度等试验步骤，报道了分光光度法碘条件及测试方法，提高了本方法的灵敏度和重现性，具有一定的实用意义。     

强夯加固机理及其在砾质粘土地基中的应用

探讨了强夯加固地基的机理，认为强夯加固主要表现在两个方面：竖向一维压缩加固与侧向挤压加固，并给予详细的解释及其在应用中需注意的事项。最后介绍了运用强夯方法处理砾质粘土地基的一个实例。     

云南山区三维地震勘探方法研究

云南省煤炭资源丰富,但地质结构复杂,地震地质条件差,地震勘探在云南省一直被认为是"盲区",山东物测队在云南富源经过充分地试验,经现场处理,确定了适合本区的观测系统、采集参数与正确的处理方法,得到了高质量的三维数据体,经验证,精度符合《规范》与《合同》的要求,从而说明山区三维地震勘探方法在云南获得成功。     

粉煤灰制备PAFCS絮凝剂

用正交试验和单因素试验，研究以粉煤灰为原料合成PAFCS的最佳工艺和条件。通过两步酸溶和聚合步骤，在pH＝1.40,[Al^3 ]/[SO4^2-]=15-20条件下，制成高效无机复合絮凝剂聚氯硫酸铝铁（PAFCS）。处理模拟废水试验表明，PAFCS比工业PAC去浊率高，耗量少，适用处理水的pH值范围为6－12，以粉煤灰为原料合成PAFCS，实现了以废治废。