Академический Документы
Профессиональный Документы
Культура Документы
5 | 2016
ABSTRACT
Raimund Bürger (corresponding author)
The main purpose of the recently introduced Bürger–Diehl simulation model for secondary settling
Camilo Mejías
tanks was to resolve spatial discretization problems when both hindered settling and the CI2MA and Departamento de Ingeniería
Matemática, Facultad de Ciencias Físicas y
phenomena of compression and dispersion are included. Straightforward time integration Matemáticas,
Universidad de Concepción,
unfortunately means long computational times. The next step in the development is to introduce Casilla 160-C,
Concepción,
and investigate time-integration methods for more efficient simulations, but where other aspects
Chile
such as implementation complexity and robustness are equally considered. This is done for batch E-mail: rburger@ing-mat.udec.cl
settling simulations. The key findings are partly a new time-discretization method and partly its Stefan Diehl
Centre for Mathematical Sciences,
comparison with other specially tailored and standard methods. Several advantages and Lund University,
PO Box 118,
disadvantages for each method are given. One conclusion is that the new linearly implicit method is S-221 00 Lund,
Sweden
easier to implement than another one (semi-implicit method), but less efficient based on two types
of batch sedimentation tests.
Key words | benchmark simulation, Bürger–Diehl simulation model, clarifier, compressive settling,
linearly implicit time integration, numerical efficiency
INTRODUCTION
Benchmark simulations of entire wastewater treatment Bürger et al. () presented implementation details of a
plants (WWTPs) are today performed with one-dimensional numerical algorithm, which gives reliable simulations with
simulation models of the secondary settling tank (Gernaey respect to the underlying physical principles and can be
et al. ; Li & Stenstrom ). In the model by Bürger obtained with a user-defined accuracy. For long-time simu-
et al. (, ), sometimes referred to as ‘Bürger–Diehl lations of entire WWTPs, it is important to keep
model’, the physical phenomena of hindered settling, volu- discretization errors small. This calls for a fine resolution
metric bulk flows, compression of the sludge at high in both space (many layers in the settler) and time (short
concentrations and dispersion of the suspension near the time steps), which implies long computational times.
feed inlet can be included in a flexible way. Each phenom- Conversely, fast computations obtained with a low resol-
enon is associated with a separate constitutive function ution in space and time come at the cost of poor accuracy.
with its model parameters, and can be activated or deacti- In scientific computing, the numerical error is a
vated at the user’s discretion. The possibility to include measure of how close a numerical solution is to the exact
sludge compression is particularly important, since this solution or reference solution (obtained by a very fine dis-
improves the predictive power considerably (De Clercq cretization) of the model, i.e., the governing differential
et al. ; Ramin et al. ; Guyonvarch et al. ; Torfs equation. The efficiency of a numerical method is assessed
et al. ; Van Loosdrecht et al. ). However, the by relating the numerical errors to the computational (cen-
inclusion of physical phenomena that result in second- tral processing unit; CPU) times necessary to obtain the
order derivative terms in the model partial differential numerical solutions for different discretizations. It is then
equation (PDE), e.g., compression, means that straightfor- said that one numerical method is more efficient than
ward time discretization by easy-to-implement, explicit another if it allows a numerical solution with a determined
methods such as the explicit Euler method leads to long numerical error to be obtained in less CPU time, or equiva-
computational times. lently, a given budget of CPU time allows one to obtain a
doi: 10.2166/wst.2015.572
1011 R. Bürger et al. | Time discretizations for the simulation of settling–compression Water Science & Technology | 73.5 | 2016
more accurate numerical solution by the first method than particular a scenario that exhibits some spatial variation
by the second. of the solution. For this reason we consider a convention-
The simulation model by Bürger et al. () is based on al Kynch test (KT; Kynch ), that is, the settling of an
a method-of-lines formulation of the underlying nonlinear initially homogeneous suspension, and a Diehl test (DT;
PDE. This means a system of time-dependent ordinary Diehl ), where a body of concentrated suspension is
differential equations (ODEs), one for each layer of the set- initially located above clear liquid, separated by, for
tler. Simulations of PDEs are stable and reliable if a example, a membrane. The DT shows a stronger variation
so-called CFL (Courant–Friedrichs–Lewy) condition is satis- of the solution than the KT. Both tests provide comp-
fied. This gives a maximal time step Δt for each given layer lementary information that can be used to identify large
thickness Δz. If only hindered settling and bulk flows are portions of the flux function f (Betancourt et al. ).
included, then the CFL condition means that Δt can be
chosen proportional to Δz, i.e., Δt–Δz, which results in fast
simulations. When compression or dispersion is included METHODS
and standard ODE solvers used, the CFL condition states
that Δt–(Δz)2 , which means very small Δt when the error As hindered settling velocity function we choose for simpli-
should be reduced (small Δz is chosen). city vhs (C) ¼ v0 e"rC with v0 ¼ 10 m/h and r ¼ 0:45 m3/kg,
The purpose of this contribution is to investigate and the effective solids stress chosen is
different time-integration methods, of which one is new,
with respect to efficiency and other aspects, such as #
0 for 0 $ C $ Cc ,
implementation complexity. There is a qualitative differ- σ e (C) ¼
α(C " Cc ) for C>Cc ,
ence in the numerical treatment depending on whether
only hindered settling and bulk flows are considered or, where α ¼ 0:5 m2/s2 and Cc ¼ 6 kg/m3. To obtain a working
in addition, compression or dispersion are included. For numerical method an important preparation is to compute
clarity of presentation, we limit ourselves here to batch the primitive
sedimentation in a vessel with a constant cross-sectional
area, and for which the depth z is measured from the sus- ðC
pension surface downwards to the bottom at z ¼ B. The D(C) :¼ d(s)ds
0
model PDE is
method-of-lines formulation (Bürger et al. ), which is a The explicit Euler method
system of N ODEs:
The explicit Euler method was used for all simulations in
dC1 G3=2 J3=2 Bürger et al. (, ). The CFL condition of the fully dis-
¼" þ , (3)
dt Δz Δz crete scheme can be captured by Δt $ k2 Δz2 when Δz is
small. The method is easy to implement since all terms in
dCj G jþ1=2 " G j"1=2 J jþ1=2 " J j"1=2 the right-hand side of (3)–(5) are evaluated at t ¼ tn , and
¼" þ , therefore each concentration Cjnþ1 is an explicit function
dt Δz Δz (4)
j ¼ 2, . . . , N " 1, of the known ones at the previous time tn . Thus, the fully dis-
crete version of (4) is
3. Calculate C1nþ1 , . . . , CN
nþ1
from RESULTS AND DISCUSSION
n
C1nþ1 " C1n G3=2 qnþ1 " qn1 For both the KT and the DT we measure the performance of
¼" þ 1 ,
Δt Δz Δt the numerical methods in terms of numerical error and CPU
1014 R. Bürger et al. | Time discretizations for the simulation of settling–compression Water Science & Technology | 73.5 | 2016
time. The error of a total simulated solution Ctot,N with N seems a good compromise for further comparison with
layers up to a time T is calculated by comparing with a refer- other methods.
ence solution Cref obtained by Euler’s method and N ¼ 2430 For the DT we choose the initial data
layers (Δz ¼ B=N ¼ 1 m=2430 ≈ 0:41 mm). The relative L1
#
error is calculated as 10 kg=m3 for 0 < z < 0:4 m,
C(z, 0) ¼
0 for 0:4 m < z < B ¼ 1 m:
ðT ðB ðT ðB
EN ¼ jCtot,N (z, t) " Cref (z, t)j dz dt= Cref (z, t)dz dt:
0 0 0 0 Figure 3 shows the numerical solution by the LI method
with γ ¼ 3 and a contour plot of the reference solution. The
For the KT we choose an initial concentration of right plot illustrates that in those regions where C < Cc ,
C0 ¼ 5kg=m3 and T ¼ 1:5 h, which means that almost therefore d ¼ 0, and (1) reduces to a first-order hyperbolic
steady state has been reached. This test is also used to PDE, iso-concentration curves are straight lines, in complete
study the dependence of the numerical solutions produced agreement with the corresponding theory.
by the LI method on the choice of the parameter γ. For Figure 4 shows the efficiency curves for all methods
each run, the time step Δt is chosen according to the CFL investigated plus those produced by employing Matlab’s
condition (10) (with equality). Note that the right-hand ode15s solver. It turns out that the latter method is the
side of (10) is a decreasing function of γ and it tends to least efficient, and that for both tests the implicit methods
infinity as γ approaches 1 from above. Figure 1 shows are most efficient, as expected from the corresponding
numerical solutions obtained for three different values of CFL conditions. Moreover, for a given number of layers
γ. This figure and Figure 2 indicate that for a given N, the LI method is the fastest, although not necessarily
number of layers N > 30, the values of γ closest to 1 pro- the one with the smallest error. Note that the efficiency
duce the solutions with the smallest errors, but the curve for the SI method for the DT (the right plot of
highest CPU times. We note that, for instance, for a given Figure 3) is composed of four symbols only. In fact, no
value of N the time step for γ ¼ 3 can be chosen twice information is available for the run with N ¼ 810 since
larger than that for γ ¼ 1:5, so the total CPU time for the Newton–Raphson iterations did not converge for
γ ¼ 3 should be about half of that for γ ¼ 1:5. To assess that case. While this situation could be easily overcome
which value of γ is optimal, an efficiency plot (of relative by the ad–hoc remedy of further reducing Δt (say, to
L1 error versus CPU time) is helpful, see Figure 2. The 80% of its maximal value determined by the CFL con-
curves are roughly L-shaped, indicating that γ should be dition), it alerts us to a more fundamental problem
chosen close to the point corresponding to the point of observed with the SI method, namely that the conver-
‘bend’, since smaller or larger values would lead to larger gence of (iterative) solvers for the nonlinear equations is
numerical errors (at only slightly smaller CPU times) or not ensured a priori.
to smaller numerical errors at much increased CPU For accurate simulation results, Δz should be chosen
times. Based on these considerations, the choice γ ¼ 3 small, whereby the CFL condition implies that the explicit
Figure 1 | Kynch test simulated by the LI method with N ¼ 90 layers and the indicated values of γ.
1015 R. Bürger et al. | Time discretizations for the simulation of settling–compression Water Science & Technology | 73.5 | 2016
CONCLUSIONS
Figure 3 | Numerical solution of the DT. Left: solution by the LI method with γ ¼ 3 and N ¼ 90. Right: contour plot of the reference solution, showing areas of C ¼ 0 (light grey; blue in
online version), 0 < C < Cc (medium grey; light brown) and C > Cc (dark grey; dark brown) and iso-concentration lines corresponding to the annotated values of C [kg/m3]. The
full colour version of this figure is available online.
1016 R. Bürger et al. | Time discretizations for the simulation of settling–compression Water Science & Technology | 73.5 | 2016
Figure 4 | Efficiency plots for the KT (left) and the DT (right) and the Euler, SI and LI methods (γ ¼ 3) and Matlab’s ode15s solver. In the right plot the cross corresponding to N ¼ 810 for the
SI method is not shown since the Newton–Raphson iterations did not converge, i.e., the method failed.
Gernaey, K. V., Jeppsson, U., Vanrolleghem, P. A. & Copp, J. B. MATLAB Release 2014b. The MathWorks, Inc., Natick, MA,
Benchmarking of Control Strategies for Wastewater USA.
Treatment Plants. IWA Scientific and Technical Report No. Ramin, E., Wágner, D. S., Yde, L., Binning, P. J., Rasmussen, M. R.,
23. IWA Publishing, London, UK. Mikkelsen, P. S. & Plósz, B. G. A new settling velocity
Guyonvarch, E., Ramin, E., Kulahci, M. & Plósz, B. G. iCFD: model to describe secondary sedimentation. Water Res. 66,
interpreted computational fluid dynamics–Degeneration of 447–458.
CFD to one-dimensional advection-dispersion models using Torfs, E., Maere, T., Bürger, R., Diehl, S. & Nopens, I. Impact
statistical experimental design–The secondary clarifier. Water on sludge inventory and control strategies using the
Res. 83, 396–411. benchmark simulation model no. 1 with the Bürger-Diehl
Kynch, G. J. A theory of sedimentation. Trans. Farad. Soc. 48, settler model. Water Sci. Technol. 71, 1524–1535.
166–176. Van Loosdrecht, M. C. M., Lopez-Vazquez, C. M., Meijer, S. C. F.,
Li, B. & Stenstrom, M. K. Research advances and challenges Hooijmans, C. M. & Brdjanovic, D. Twenty-five years of
in one-dimensional modeling of secondary settling tanks–-a ASM1: past, present and future of wastewater treatment
critical review. Water Res. 65, 40–63. modelling. J. Hydroinformatics 17, 697–718.
First received 24 June 2015; accepted in revised form 27 October 2015. Available online 7 November 2015