论文标题
一种方法,用于在具有不同横截面区域的储罐中的反应性沉降模型
A method-of-lines formulation for a model of reactive settling in tanks with varying cross-sectional area
论文作者
论文摘要
反应性沉降表示分散在粘性流体中的小固体颗粒的沉积过程,并在构成固体和液相的组件之间同时反应。对于水资源回收设施(WRRFS)(以前称为废水处理厂)中二级沉降罐(SST)的模拟和控制,此过程尤其重要。 SST中反应性沉降的空间一维模型是通过将压缩的机械模型与一种生物动力反应模型结合在一起来制定的。另外,允许储罐的横截面区域随着高度的函数而变化。最终模型是一个强烈退化的抛物线,非线性偏微分方程(PDE)的系统,其中包括不连续的系数,以描述饲料,下流和溢出机制,以及对进料机制进行建模的奇异源术语。最终模型的有限差方案是通过首先得出方法公式(离散在空间,连续的时间),然后通过时间离散化传递到完全离散的方案来得出的。该公式的优点是它与WRRF软件开发的共同实践的兼容性。主要的数学结果是不变的区域属性,这意味着产生了与物理相关的数值解决方案。在废水处理中SST的硝化模拟模拟说明了该模型及其离散化。
Reactive settling denotes the process of sedimentation of small solid particles dispersed in a viscous fluid with simultaneous reactions between the components that constitute the solid and liquid phases. This process is of particular importance for the simulation and control of secondary settling tanks (SSTs) in water resource recovery facilities (WRRFs), formerly known as wastewater treatment plants. A spatially one-dimensional model of reactive settling in an SST is formulated by combining a mechanistic model of sedimentation with compression with a model of biokinetic reactions. In addition, the cross-sectional area of the tank is allowed to vary as a function of height. The final model is a system of strongly degenerate parabolic, nonlinear partial differential equations (PDEs)that include discontinuous coefficients to describe the feed, underflow and overflow mechanisms, as well as singular source terms that model the feed mechanism. A finite difference scheme for the final model is derived by first deriving a method-of-lines formulation (discrete in space, continuous in time), and then passing to a fully discrete scheme by a time discretization. The advantage of this formulation is its compatibility with common practice in development of software for WRRFs. The main mathematical result is an invariant-region property, which implies that physically relevant numerical solutions are produced. Simulations of denitrification in SSTs in wastewater treatment illustrate the model and its discretization.