石煤含氟酸浸液中V(Ⅴ)-Fe(Ⅲ)-F-H2O系钒铁分离热力学研究

针对石煤含氟酸浸液中钒铁分离问题,计算并绘制298.15 K下V(Ⅴ)-Fe(Ⅲ)-F-H₂O系热力学平衡图,分析含钒离子、含铁离子随总钒浓度、总铁浓度、总氟浓度的变化规律。研究结果表明,随着pH由0升高至3.00,由于氟离子与VO₂⁺、Fe³⁺的配位作用,含钒物种由阳离子转变为阴离子,含铁物种由阳离子转变为中性分子,此时可实现钒铁有效分离。定义pH_50%为含钒阴离子摩尔分数50%时的pH,溶液中总钒浓度升高、总铁浓度升高,均导致pH50%升高,总氟浓度升高,pH_50%则降低。采用N235阴离子萃取剂分离含氟溶液中的钒铁,当溶液中总钒浓度为0.05 mol/L、总铁浓度为0.05 mol/L、总氟浓度为0.50 mol/L时,溶液萃取pH升高,钒铁分离系数βV/Fe增加,当pH为1.97时,钒铁分离系数β_V/Fe可达122.86,钒铁达到有效分离,与热力学分析结果一致。     

混合exactly-one约束的模型计数研究

模型计数是求给定命题公式的模型数，是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中，存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式，再调用模型计数器求解.这种方法扩大了命题公式的规模，容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC，本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明，ECMC的时间效率相比ExactMC有显著提高.