镀铜铁屑-H_2O_2催化氧化降解含酚废水

采用镀铜铁屑代替传统Fenton体系中的FeSO4作为催化剂,通过改变H2O2与镀铜铁屑的投加量、溶液的pH值、反应温度、反应时间等条件,研究了该体系对处理苯酚废水的影响。结果表明,常温下处理实际含酚印染废水,在pH值为4~6,30%H2O2 12mL/L,镀铜铁屑5g/L,反应时间为45min时,COD去除率可达96%,其CODCr从5827mg/L降至419mg/L,色度从2000降至30,符合国家三级排放标准。     

一种基于规则化描述方法的验证技术

基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法,并以皮带运输控制系统为实例进行了验证。