浸没式超滤技术在电厂废水回用中的设计及应用

浸没式超滤技术是水处理行业中的一种创新应用形式。以东北某热电厂废水回用处理工程为实例,从进水水质、出水水质、投资成本、运行负荷及占地面积等方面进行综合分析,重点对浸没式超滤与压力式超滤工艺进行对比,证明了浸没式超滤技术的优势,最终确定了"絮凝沉淀+浸没式超滤+反渗透"的工艺流程。

基于可满足性计数的(≠,=)约束工作流鲁棒性验证

工作流将业务过程分解为有序的步骤并分配人力资源加以执行.资源分配受访问控制约束及资源异常干扰,存在可满足性和鲁棒性问题.而其鲁棒性验证又依赖于其可满足性判定,目前通过求可满足性的一个解来完成.本文提出另一种途径,通过统计解的个数来完成判定.特别地,通过多项式计数归约为有求解器可用的#SAT问题,给出了互斥和绑定约束下的可满足性计数算法.实验表明,相对目前时间复杂度最低的可满足性求解算法,该可满足性计数算法显著提高了实际判定效率和适用规模.