Extraction of vanadium from stone coal by modified salt-roasting process

In order to reduce the pollution of Cl₂ and HCl released during extracting vanadium from stone coal by sodium chloride roasting, a modified salt-roasting process was proposed by adding calcined lime in roasting process followed by H₂SO₄ leaching. The effects of parameters including roasting temperature, roasting time, addition mass ratio of NaCl, calcined lime upon leaching rate of vanadium and curing rate of chlorine were investigated, and the effects of leaching time and leaching temperature on leaching rate of vanadium were also studied. The results show that the vanadium leaching rate and the curing rate of chlorine are 67.3% and 51.5% (mass fraction), respectively, at roasting temperature of 750 °C, roasting time of 4 h, 15% sodium chloride and 8% (mass fraction) calcined lime, leaching temperature of room temperature, and leaching time of 4 h.     

人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用。区间代数是一种独立的与领域无关的时态理论。用区间代数能表示不确定的时态关系,可以很方便的用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理。在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示。