改性褐煤活性炭吸附TNT红水溶液的实验研究

TNT红水是TNT生产过程中产生的高毒性、高色度的红色废水。目前对TNT红水的处理方法有很多种,传统的吸附法由于其成本过高在处理TNT红水领域应用较少。褐煤活性炭是一种价格低廉且活性较好的材料,利用褐煤活性炭处理TNT红水可望大幅度降低处理成本。实验研究表明,通过一系列的改性处理可提高褐煤活性炭的吸附能力;利用双氧水和浓硫酸改性后的褐煤活性炭吸附能力大大提高,实验室处理后的TNT红水溶液达到国家排放标准要求。     

一阶?ukasiewicz演算系统中的相似度及伪距离

在?ukasiewicz谓词演算系统中引入公理化真度，在此基础上讨论公式之间相似度和伪距离的运算性质，并举例说明将相似度与伪距离转化为公式真度进行计算的方法.     

一阶逻辑中几类特殊公式的真度计算方法

对一阶逻辑?ukasiewicz系统中的几类特殊公式的公理化真度展开研究.根据真度定义及真度的性质,给出了将复杂公式的真度转换成几个简单公式的真度进行计算的方法,从而将真度计算的方法进行了推广.     

谓词逻辑中公理化真度的若干评注

根据一阶谓词逻辑中公理化真度的定义对给定公式的真度进行了计算，讨论了该真度下伪距离的性质，并应用赋值法论证了真度为1的公式与广义定理及定理的关系，分析了真度为0的公式与广义矛盾式及矛盾式之间的异同.