Abstract

As compared to the two-fluid single-pressure model, the two-fluid seven-equation two-pressure model has been proved to be unconditionally well-posed in all situations, thus existing with a wide range of industrial applications. The classical 1st-order upwind scheme is widely used in existing nuclear system analysis codes such as RELAP5, CATHARE, and TRACE. However, the 1st-order upwind scheme possesses issues of serious numerical diffusion and high truncation error, thus giving rise to the challenge of accurately modeling many nuclear thermal-hydraulics problems such as long term transients. In this paper, a semi-implicit algorithm based on the finite volume method with staggered grids is developed to solve such advanced well-posed two-pressure model. To overcome the challenge from 1st-order upwind scheme, eight high-resolution total variation diminishing (TVD) schemes are implemented in such algorithm to improve spatial accuracy. Then the semi-implicit algorithm with high-resolution TVD schemes is validated on the water faucet test. The numerical results show that the high-resolution semi-implicit algorithm is robust in solving the two-pressure two-fluid two-phase flow model; Superbee scheme and Koren scheme give two highest levels of accuracy while Minmod scheme is the worst one among the eight TVD schemes.

1. Introduction

In many industrial applications especially in nuclear industries, two-phase flows exist widely and are the most important phenomenon. Accurate calculation of two-fluid flows is a subject of intense interest and of great importance in research topics. There are many important models in literature for describing two-phase flows. Herein, the two-fluid six-equation model seems to be the most complete approximation for two-phase flows. Hence, current main reactor thermal-hydraulics analysis codes such as RALAP5, TRACE, TRAC, and CATHARE are all based on such six-equation model.

However, due to an instantaneous equilibrium pressure assumption, such six-equation model has been proved to be ill-posed, which means that the initial value problem of the six-equation system is nonhyperbolic and could lead to numerical oscillations. From the book of De Bertodano et al. [1], which is of great reference value for investigating the stability of two-fluid model, the oscillations are caused by the Kelvin–Helmholtz instability (KH). When the relative velocity exceeds the Kelvin–Helmholtz instability criterion, the oscillations occur. In this book, De Bertodano et al. [1] show how the KH instability behaves in horizontal stratified flow for a well-posed fixed-flux model with surface tension compared to an ill-posed one without surface tension. For the well-posed model, the short-wavelength ripples die out and the large wave grows with time while for the ill-posed model the short-wavelength has a larger growth rate and dominates the solution after a short time.

For simulating complicated two-phase flow phenomenon of many nuclear power plant accidents, the ill-posedness of the differential equations presents a problem for higher order numerical methods or finer grids. Phasic vapor/liquid velocities are generally different, especially in the (fast) transients of nuclear power plant accidents where two-phase flow phenomenon is very complicated and phasic relative velocity may exceed Kelvin–Helmholtz criterion. To overcome the ill-posed issue of two-fluid single-pressure model and obtain well-posed numerical model, there are three important ideas: implementation of the interfacial pressure term used in CATHARE [2], implementation of the virtual mass force term used in RELAP5 [3], and application of the two-pressure model. The interfacial pressure differential term and the virtual mass force differential term are adding to phasic momentum equations to restore the hyperbolicity. The present authors investigated the ill-posed characteristic and analyze ill-posed regions of the two-fluid single-pressure model and the effect of the virtual mass force and the interfacial pressure on improving the ill-posedness [4]. The results showed that such two-fluid six-equation single-pressure model cannot completely avoid the ill-posedness with the virtual mass force and the interfacial pressure, only the two-fluid two-pressure model in which each phase is assumed to have its own pressure is a well-posed model in all situations.

Many researchers carried out the study of two-pressure model due to the well-posed advantage since 1976. The most important two-pressure model is the two-fluid seven-equation model to which much attention has been devoted [514]. Such seven-equation two-pressure model consists of two mass conservation equations, two momentum conservation equations, two energy conservation equations, and a volume fraction transport equation. Using the volume fraction propagation as a basic conservation equation is widely used because it changes the structure of conservation equation system and makes seven-equation model unconditionally hyperbolic (well-posed) in the sense of Hadamard [15]. In recent years, the development of advanced thermal-hydraulics system analysis codes has aroused great interest such as RELAP-7 [16], NEPTUNE project [17], CASL [18], and CATHARE-3 [19]. RELAP7 code developed by the Idaho National Laboratory is ongoing now. It should be noted that RELAP7 code is based on such seven-equation model.

In the last few decades, a volume of work has been conducted on the numerical computation of this seven-equation two-pressure model. Liang et al. [20] and Zein et al. [21] presented the operator splitting approach to decompose the seven-equation model into the hyperbolic operator and the relaxation operators. They used Godunov scheme with the HLLC flux to gain the numerical scheme for solving such seven-equation model. Gallouët et al. [22] proposed two finite volume methods based on Rusanov scheme and Godunov scheme to solve such two-pressure model. The source terms such as relaxation terms, the phase change, and gravity were calculated by a fractional step approach in his scheme. Ambroso et al. [23] constructed a new approximate Riemann solver for the numerical approximation of the seven-equation model. Berry et al. [6] and Abgrall and Saurel [24] developed the discrete equation method (DEM) with a HLLC scheme to solve the seven-equation model. They analyzed two pressure relaxation cases: infinitely fast and bounded with a realistic specific interfacial area. Moreover, Berry et al. took into account the interphase heat and mass transfer in this two-pressure model. The semi-implicit method with the staggered grid mesh is widely used in existing reactor thermal-hydraulics analysis codes (RELAP5, TRAC, TRACE, etc.) due to the advantage of high efficiency and stability. However, there is little information about the semi-implicit scheme to solve the seven-equation two-pressure model in existing public literature. Consequently, more investigations are essential to studying the semi-implicit algorithm for solving such two-pressure model.

In addition to great interest in the development and simulation of advanced two-fluid model, high-order accuracy schemes have also attracted great increasing attention. Many current reactor thermal-hydraulics codes like RELAP5 and CATHARE were developed based on classical first-order upwind scheme. Using such low-order scheme to make the convection terms of conservation equations discrete produces excessive numerical diffusion. This disadvantage has been realized in many nuclear thermal-hydraulics applications such as hydraulic load analysis of loss of coolant accident [25], long term transient natural circulation flow [26, 27], flow instability [28] or stability analysis [29], and boron solute transport [30]. In the past, there are many classical linear schemes like central-difference scheme (CD), QUICK, third-order upwind scheme (TOU), Fromm scheme [31], and second-order upwind scheme (SOU) to reduce high numerical diffusion [32]. These linear schemes are at least of 2nd-order accuracy and they are unbounded. However, Godunov [33] proved that linear unbounded high-order schemes are not mathematically monotonic as compared to 1st-order upwind scheme, allowing unphysical oscillations under some circumstances. Only bounded nonlinear high-order schemes can be monotone and stable. Nonlinear flux limiter schemes which fulfill total variation diminishing (TVD) criteria are one of the most effective methods to achieve high-order accuracy and stability and many researchers have investigated these nonlinear flux limiters. Tiselj and Petelin [34] developed the PDE2 code based on the six-equation model with flux limiter Minmod in achieving second-order accuracy. Wang et al. [29] have implemented high-resolution flux limiters into TRACE code to improve spatial accuracy of convection terms in mass/energy equations and the performance of six nonlinear flux limiters was assessed. Wang et al. [35, 36] also used Lax-Wendroff (L-W) scheme with flux limiters to achieve the 2nd-order accuracy for both spatial discretization and time integration and added the ENO limiter scheme into TRACE for BWR stability analysis. Abu Saleem et al. [37] developed a new flux limiter based on a combination of 1st-order upwind scheme and 3rd-order QUICK scheme to achieve high-resolution of the solver for the two-phase single-pressure model. Zou et al. [30] adapted an existing high-resolution spatial discretization scheme to reduce numerical errors. In his work, the high-resolution scheme was applied for the mass and momentum equations only, and energy equations were neglected. In all the work mentioned above, the high-order schemes are performed for two-fluid six-equation single-pressure model only; few studies have been done on implementing high-resolution scheme in solving two-pressure model.

In the present work, a semi-implicit algorithm using high-resolution TVD schemes is derived to calculate the two-pressure model. The accuracy and robustness of the proposed numerical scheme are validated with the water faucet benchmark test. Eight high-resolution flux limiter schemes, Minmod [38], Superbee [39], Harmonic [40], OSPRE [41], Van Albada [42], SMART [43], Koren [44], and MUSCL [45], are implemented to evaluate the performance of their accuracy. Consequently, this research will potentially lay the foundation for simulating two-phase flows based on the two-pressure model with higher fidelity algorithm. This paper is organized as follows. Section 2 introduces two-fluid two-pressure mathematical model. The numerical algorithm using high-resolution TVD scheme for solving this model is described in Section 3. Next, the validation test for the proposed scheme is presented in Section 4. At last, Section 5 is devoted to the conclusion.

2. Two-Fluid Two-Pressure Mathematical Model

In nuclear industries, the one-dimensional form of two-fluid model is more economical and used widely. The two-fluid seven-equation two-pressure model used in this paper is summarized as follows [16, 22, 23, 46], which allows for a change of the pipeline cross section [34].The gas and liquid volume fractions and are related by the saturation constraint ; the pressure relaxation coefficient stands for the relaxation rate at which the phase pressures equilibrate. As derived in [8], the interfacial pressure and velocity are, respectively, determined byin which The pressure relaxation coefficient can be expressed in the following form (see [22, 23, 46]):where is the pressure relaxation time (s). Here we chose an empirical constant s and the numerical results in this paper show reasonable agreement with the exact/analytical solutions. The net interfacial mass transfer per unit volume can be calculated by [3, 37, 47]

3. Numerical Scheme

In this paper, the finite volume method based on the staggered mesh is used to discretize seven conservation equations of the two-pressure model and the semi-implicit solution algorithm using high-resolution TVD schemes is developed to solve such two-pressure model. Figure 1 shows the staggered mesh schematic. Based on the staggered mesh, the scalar variables such as phasic pressures , specific internal energies , phasic temperatures , and phasic volume fractions are described at the volume centers and the vector quantities (velocities ) are defined at the volume edges.

3.1. High-Resolution TVD Scheme

Using the convection flux of phasic mass conservation equations and the convection flux of phasic energy conservation equations as examples, these convection fluxes can be, respectively, discretized asIt should be noted that the terms and in energy equations are treated similarly to the convection flux. Order of accuracy for spatial discretization depends significantly on the scheme to calculate the donor quantities with an overdot in numerically evaluated fluxes. There are many numerical methods calculating these quantities; one of the most effective methods is to construct flux limiters based on total variation diminishing (TVD). In this paper, the traditional 1st-order upwind scheme and standard high-order schemes are also discussed for the comparisons with high-resolution flux limiter schemes.

For a donor quantity (this can be , or ), the numerically evaluated general form can be written as [32, 47]in which is termed the flux limiter function and the gradient ratio is given byLet ; the traditional 1st-order upwind scheme (FOU) can be obtained from (12).Though FOU scheme is a monotone scheme avoiding nonphysical numerical oscillations, the scheme is of 1st-order accuracy and has significant numerical diffusion resulting in relatively large spatial discretization error. This will be shown in Section 4.

Let the limiter function be a linear unbounded function; standard high-order linear schemes can be derived from (12), as summarized in Table 1.

These linear schemes are of at least 2nd-order accuracy, reducing numerical diffusion effectively, but often lead to unphysical spatial oscillations for the case of sharp gradients which will be shown in the next section.

Let the limiter function be a bounded function; many researchers [32] have proposed monotonic high-resolution schemes which satisfy TVD [48]; here eight flux limiters are selected, as Table 2 shows.

These bounded flux limiter functions are illustrated in Figure 2. All the limiter schemes in Table 2 fulfill TVD and preserve monotonicity to avoid unphysical numerical oscillations under the circumstance of steep gradients. Hereinto, Minmod is the lower bound of second-order TVD region and Superbee is upper bound of second-order TVD region. SMART, Koren, and MUSCL are bounded standard high-order schemes such as QUICK, third-order upwind scheme, and Fromm’s scheme. Harmonic, OSPRE, and Van Albada are symmetric polynomial-ratio schemes.

3.2. Semi-Implicit Scheme

RELAP5 code uses some numerical convenient set to overcome serious numerical instabilities associated with gas/liquid phase appearance and disappearance when solving the six-equation single-pressure model [3]. These numerical challenges arise from the degeneration of the model to the single-phase case or opposite resulting in a singular equation system. Similar to RELAP5 [3], for dealing with numerical challenges in phase appearance and disappearance in solving the advanced two-pressure model, mass and momentum conservation equations (1)–(4) are rearranged into sum and difference equation forms and the time derivative terms in conservation equations (1)–(6) are expanded in this numerical scheme.

Such semi-implicit scheme is achieved by treating implicitly phasic velocities in mass and energy conservation equations, pressure gradient in momentum conservation equations, and all interfacial exchange terms in conservation equations and all the rest terms are treated effectively at the new time [49, 50]. The time advancement for all conservation equations (1)–(7) is achieved by the first-order approximation. Superscripts “” and “” in the following discretization equations denote the old and new time step, respectively, and subscripts containing “” determine the spatial position of scalar variables and subscripts containing “” determine the spatial position of vector variables; the variables with a dot are donor quantities calculated from (12); the variables with an overtilde are the intermediate new time variables that will be corrected in the final.

Expanding the time derivative in phasic mass conservation equations (1) and (2) and adding these two expanded mass conservation equations yield the sum mass conservation equation. The corresponding finite discretization equation in the control volume can be modeled asIn the same way, expanding the time derivative in the mass conservation equations (1) and (2), subtracting these two expanded mass conservation equations, and substituting (10) for yield the difference mass conservation equation. The finite discretization form of the difference mass conservation equation can be given byBy substituting (10) for , the finite difference equation for the volume fraction transport equation (7) readsThe expanded forms of the gas energy equation are defined by expanding the time derivative in gas energy equation (5) and substituting (10). The finite discretization form for the expanded gas energy equation is Expanding the time derivative in liquid energy equation (6) and substituting (10) yield the expanded liquid energy equation. The finite discretization form for the expanded liquid energy equation is expressed asMomentum equations (3)-(4) are firstly rearranged into the expanded forms by substituting mass conservation equations (1)-(2).Adding (20) and (21) yields the sum momentum equation. The sum momentum equation can be converted into the following discretization form.The difference momentum equation is obtained by dividing gas momentum equation (20) by and dividing liquid momentum equation (21) by , respectively, and subtracting them. The finite difference equation for the difference momentum equation can be written asA variable with an overbar is calculated as an averaged quantity in the following.In order to close the system, equations of state for water properties are supplemented. The properties are based on IAPWS IF-97. In this paper, phasic densities and temperatures are provided as functions of phasic pressures or/and phasic specific internal energies and the linearized equations of state are given as

On substituting directly (25) into these seven discretization equations (15)–(19) and (22)-(23), seven discretization equations correspond to seven unknown solution variables (, and . For a system containing volumes, these seven discretization equations form a linear algebraic equation set with unknown solution variables which can be solved by Gauss elimination solver [51]. The intermediate new time variables , and are solved by expanded time derivative forms of conservation equations such that there are linearization errors in these solutions. To alleviate these errors, the final , and are solved again by unexpanded forms of mass and energy conservation equations where , and are used for evaluation of the source terms of conservation equations, similar to RELAP5 [49].

4. Numerical Test

In this section, the water faucet problem is simulated to assess the proposed solution scheme based on two-pressure model. Here, high-resolution TVD schemes are implemented in such scheme to demonstrate the high-order of spatial accuracy. For comparisons, results from traditional 1st-order upwind scheme and classical high-order linear schemes are shown.

4.1. Water Faucet Problem

The water faucet problem proposed by Ransom [52] is one of the most important benchmark tests for validating the ability of numerical scheme to calculate two-phase flows. The geometric configuration is a vertical tube of 12 m in length with the diameter of 1 m. Initially, the tube is composed of a uniform annulus of gas with initial velocity and a surrounded uniform column of water with initial velocity The initial gas volume fraction is 0.2 and all the initial phasic pressures are set to 0.1 MPa. The wall and interfacial drags are ignored and no phase transition is assumed; then the flow goes down driven by the gravity. A schematic diagram of the time evolution for this water faucet problem is shown in Figure 3. Based on the above initial conditions and assumptions, analytical solutions for the gas volume fraction and liquid velocity distribution with time along the pipe length direction have been obtained and are given in the following [53, 54].The gravity accelerates the rate of the liquid; then the liquid column becomes thinner with time; there is a moving discontinuity in the profile (see Figure 3), where it is a very important region for testing the accuracy of the numerical scheme and its stability near discontinuities.

All the following numerical results are calculated using a fixed initial liquid Courant number of CFLf = 0.2. Numerical simulations using the classical FOU scheme are performed first. Figure 4 shows results of gas volume fraction distribution with 96 cells and 192 cells at times 0.2, 0.5, and 0.75 s. This figure illustrates the numerical stability to handle discontinuities and the numerical results are excellently consistent with the corresponding analytical solutions except the near discontinuities (. The difference near discontinuities between numerical and analytical solutions is caused by the numerical diffusion from the FOU scheme. As shown in this figure, the numerical results with 192 cells are more accurate than those with 96 cells which means that the finer the grid is, the smaller the numerical diffusion is. However finer meshes require more computation time and decrease the efficiency; high-order schemes are needed to reduce numerical errors more effectively. The numerical results with 96 cells of liquid velocity distribution are presented in Figure 5. It can be observed that the calculated liquid velocities are in very good agreement with the corresponding analytical solutions such that the calculated results with 192 cells are not given in this figure.

Furthermore, finer grid FOU resolutions ranging from 384 to 1152 cells are studied with single-pressure model and two-pressure model, as shown in Figures 6 and 7, and the comparisons of them are shown in Figure 8. For the case of 1152 cells, numerical solutions of single-pressure model show a big undershoot at the discontinuity which is due to the nature of ill-posedness. As compared to single-pressure model, numerical solutions of two-pressure model are more stable under the same conditions.

Secondly, numerical simulations using standard high-order linear schemes (Table 1) are performed with 96 cells. Figure 9 shows the gas volume fraction distribution using standard high-order linear schemes at 0.75 s. For the comparisons, the result from FOU scheme is also shown in the figure (dash line). It is observed that, as compared to FOU scheme, standard high-order linear schemes reduce the numerical dissipation effectively and TOU scheme seems to be more accurate than other standard high-order linear schemes due to its 3rd-order precision. But unphysical oscillation occurs near discontinuities in some schemes (TOU, Fromm, CD, and SOU scheme). This oscillation can be explained by Godunov’s order barrier theorem [33] which states that linear unbounded high-order schemes used to solve the advection equation are not monotonic, allowing unphysical oscillations under some circumstances such as this case of discontinuities. To achieve monotonic high-order schemes, constructing bounded flux limiters based on TVD is one of the most effective methods. Some flux limiters are piecewise-linear functions constructed from bounded standard high-order linear schemes without compromising their high-order precision as shown in Figure 9.

Finally, eight high-resolution TVD schemes in Table 2 are analyzed with 96 cells. Figure 10 shows the gas volume fraction distribution using high-resolution TVD schemes at 0.75 s and results for various high-resolution TVD schemes are presented in Figure 11, respectively. All of the flux limiter schemes have effectively reduced numerical diffusion and improved the prediction of gas volume fraction. As expected, when compared to unstable results from unbounded SOU, TOU, CD, and Fromm scheme, the corresponding bounded TVD schemes Minmod, Koren, and MUSCL produce stable and more accurate results. Among all the flux limiter schemes, Minmod performs worst to reduce numerical diffusion at the discontinuity point Results from Superbee seem to be more accurate than those from the other seven schemes at the discontinuity point.

In order to analyze the order of accuracy of considered high-resolution schemes, L1 norm of errors between the numerical results and exact solutions on gas volume fraction is assessed and given aswhere is the number of control volumes in the domain; here ; is the numerical solution at and is the exact solution from (26) at . Table 3 shows the order of decreasing accuracy for the TVD schemes. Obviously, Superbee is the most accurate scheme while Minmod is more smeared than other schemes. Koren performs the second best due to a bounded third-order upwind scheme based on TVD.

5. Conclusions

In this paper, a semi-implicit numerical algorithm based on the finite volume method associated with staggered grids has been developed to solve the advanced well-posed two-fluid seven-equation two-pressure model. To overcome the challenge of excessive numerical diffusion from FOU scheme, eight high-resolution TVD schemes are implemented in such numerical algorithm to improve spatial accuracy. Then such new numerical algorithm is validated on the water faucet test, demonstrating high-order spatial accuracy of TVD schemes and robustness near discontinuities. Numerical comparisons reveal that Superbee and Koren give two highest levels of accuracy while Minmod seems to be the worst scheme as compared to other schemes. This research will lay the foundation for more accurately simulating two-phase flows based on the two-pressure model with higher fidelity algorithm.

Nomenclature

Symbol
:Gas density (kg·m−3)
:Liquid density (kg·m−3)
:Gas velocity (m·s−1)
:Liquid velocity (m·s−1)
:The cross-sectional area in the pipeline (m2)
:The net gas-liquid mass transfer per unit volume (kg·m−3·s−1)
:Gas pressure (Pa)
:Liquid pressure (Pa)
:Interfacial pressure (Pa)
:The gravity acceleration (m·s−2)
:The interfacial velocity (m·s−1)
:The wall friction coefficient for phase
:The hydraulic diameter (m)
:The interfacial area between two phases per unit volume (m−1)
:The continuous phase density (kg·m−3)
:The interfacial drag coefficient between two phases
:Vapor/gas specific internal energy (J·kg−1)
:Liquid specific internal energy (J·kg−1)
:Interface-to-gas convective heat transfer coefficient per unit volume (W·m−3·K−1)
:Interface-to-liquid convective heat transfer coefficient per unit volume (W·m−3·K−1)
:Temperature for phase (K)
:The saturation temperature under the interfacial pressure (K)
:The gas specific enthalpy evaluated at the interfacial mass transfer condition (J·kg−1)
:The liquid specific enthalpy evaluated at the interfacial mass transfer condition (J·kg−1)
:The pressure relaxation coefficient function (Pa−1·s−1)
:The interfacial density corresponding to the liquid saturated density with (kg·m−3)
:The phase acoustic impedance (kg·m−2·s−1)
:The phase sound velocity (m·s−1)
:The length of the control volume (m)
:Volume of the control cell (m3)
:Number of control volumes in a system.
Subscript/Superscript
:Gas phase
:Liquid phase
:Phasic interface
:Gas phase () or liquid phase ()
Initial:Initial condition.

Conflicts of Interest

The authors declare that they have no conflicts of interest.

Acknowledgments

The research is supported by Natural Science Foundation of China (Approval no. 11675125) and Science and Technology on Reactor System Design Technology Laboratory, Nuclear Power Institute of China (Approval no. LRSDT2017401).