简介:PCB制造过程中的化学镀铜废水,由于络合剂EDTA(乙二胺四乙酸二钠)的存在,影响着末端处理使用化学沉淀方法的处理效果。本文采用溶胶-凝胶法,以泡沫镍片为载体,制得负载型纳米TiO_2催化剂。以制备的负载型催化剂为工作电极,以波长为275.3nm的紫外灯为光源,选择降解物为PCB化学镀铜废水中的EDTA。用自制的光电催化降解反应装置,对光电催化降解PCB化学镀铜废水中的EDTA进行研究;用消解法测定目标物EDTA降解过程的COD变化以计算其降解效率;探讨影响含EDTA废水降解效率的一些因素:如外加电压、溶液PH值、温度等。结果表明,用负载型纳米TiO_2催化剂对化学镀铜废水中的EDTA进行光电催化降解有一定的效果。
简介:为了减少复杂设计中可能的亚稳态风险,不少公司都采用工具或人工来检查设计中存在跨时钟域的问题。传统的检查方法只能检查设计中是否做了跨时钟域的处理,却无法检查处理得是否合理,而静态Formal验证技术采用数学穷举的方法,利用断言对设计中的同步器进行快速验证,确保数据的可靠传输,有效避免了一些设计缺陷。Mentor公司的QuestaCDC和Forma1工具可以对设计进行跨时钟域的检查,并可用Formal引擎证明设计中跨时钟域同步器与其断言的一致性,可极大地提高复杂设计的验证效率和鲁棒性。