mirror of
https://github.com/OPM/opm-simulators.git
synced 2024-11-22 09:16:27 -06:00
321 lines
11 KiB
C++
321 lines
11 KiB
C++
|
// -*- mode: C++; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*-
|
||
|
|
// vi: set et ts=4 sw=4 sts=4:
|
||
|
|
/*****************************************************************************
|
||
|
|
* Copyright (C) 2008-2013 by Andreas Lauser *
|
||
|
|
* *
|
||
|
|
* This program is free software: you can redistribute it and/or modify *
|
||
|
|
* it under the terms of the GNU General Public License as published by *
|
||
|
|
* the Free Software Foundation, either version 2 of the License, or *
|
||
|
|
* (at your option) any later version. *
|
||
|
|
* *
|
||
|
|
* This program is distributed in the hope that it will be useful, *
|
||
|
|
* but WITHOUT ANY WARRANTY; without even the implied warranty of *
|
||
|
|
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the *
|
||
|
|
* GNU General Public License for more details. *
|
||
|
|
* *
|
||
|
|
* You should have received a copy of the GNU General Public License *
|
||
|
|
* along with this program. If not, see <http://www.gnu.org/licenses/>. *
|
||
|
|
*****************************************************************************/
|
||
|
|
/*!
|
||
|
|
* \file
|
||
|
|
*
|
||
|
|
* \copydoc Ewoms::GroundWaterProblem
|
||
|
|
*/
|
||
|
|
#ifndef EWOMS_GROUND_WATER_PROBLEM_HH
|
||
|
|
#define EWOMS_GROUND_WATER_PROBLEM_HH
|
||
|
|
|
||
|
|
#include <ewoms/linear/paralleliterativebackend.hh>
|
||
|
|
#include <ewoms/models/immiscible/immiscibleproperties.hh>
|
||
|
|
|
||
|
|
#include <opm/material/components/SimpleH2O.hpp>
|
||
|
|
#include <opm/material/fluidstates/ImmiscibleFluidState.hpp>
|
||
|
|
#include <opm/material/fluidsystems/LiquidPhase.hpp>
|
||
|
|
|
||
|
|
#include <dune/grid/io/file/dgfparser/dgfyasp.hh>
|
||
|
|
|
||
|
|
#include <dune/common/fmatrix.hh>
|
||
|
|
#include <dune/common/fvector.hh>
|
||
|
|
|
||
|
|
#include <sstream>
|
||
|
|
#include <string>
|
||
|
|
|
||
|
|
namespace Ewoms {
|
||
|
|
|
||
|
|
template <class TypeTag>
|
||
|
|
class GroundWaterProblem;
|
||
|
|
|
||
|
|
namespace Properties
|
||
|
|
{
|
||
|
|
NEW_TYPE_TAG(GroundWaterBaseProblem);
|
||
|
|
|
||
|
|
NEW_PROP_TAG(LensLowerLeftX);
|
||
|
|
NEW_PROP_TAG(LensLowerLeftY);
|
||
|
|
NEW_PROP_TAG(LensLowerLeftZ);
|
||
|
|
NEW_PROP_TAG(LensUpperRightX);
|
||
|
|
NEW_PROP_TAG(LensUpperRightY);
|
||
|
|
NEW_PROP_TAG(LensUpperRightZ);
|
||
|
|
NEW_PROP_TAG(Permeability);
|
||
|
|
NEW_PROP_TAG(PermeabilityLens);
|
||
|
|
|
||
|
|
SET_PROP(GroundWaterBaseProblem, Fluid)
|
||
|
|
{
|
||
|
|
private:
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, Scalar) Scalar;
|
||
|
|
public:
|
||
|
|
typedef Opm::LiquidPhase<Scalar, Opm::SimpleH2O<Scalar> > type;
|
||
|
|
};
|
||
|
|
|
||
|
|
// Set the grid type
|
||
|
|
SET_TYPE_PROP(GroundWaterBaseProblem, Grid, Dune::YaspGrid<2>);
|
||
|
|
//SET_TYPE_PROP(GroundWaterBaseProblem, Grid, Dune::SGrid<2, 2>);
|
||
|
|
|
||
|
|
SET_TYPE_PROP(GroundWaterBaseProblem, Problem, Ewoms::GroundWaterProblem<TypeTag>);
|
||
|
|
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, LensLowerLeftX, 0.25);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, LensLowerLeftY, 0.25);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, LensLowerLeftZ, 0.25);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, LensUpperRightX, 0.75);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, LensUpperRightY, 0.75);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, LensUpperRightZ, 0.75);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, Permeability, 1e-10);
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, PermeabilityLens, 1e-12);
|
||
|
|
// Linear solver settings
|
||
|
|
SET_TYPE_PROP(GroundWaterBaseProblem, LinearSolverWrapper, Ewoms::Linear::SolverWrapperConjugatedGradients<TypeTag> );
|
||
|
|
SET_TYPE_PROP(GroundWaterBaseProblem, PreconditionerWrapper, Ewoms::Linear::PreconditionerWrapperILU<TypeTag> );
|
||
|
|
SET_INT_PROP(GroundWaterBaseProblem, LinearSolverVerbosity, 0);
|
||
|
|
|
||
|
|
// Enable gravity
|
||
|
|
SET_BOOL_PROP(GroundWaterBaseProblem, EnableGravity, true);
|
||
|
|
|
||
|
|
// The default for the end time of the simulation
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, EndTime, 1);
|
||
|
|
|
||
|
|
// The default for the initial time step size of the simulation
|
||
|
|
SET_SCALAR_PROP(GroundWaterBaseProblem, InitialTimeStepSize, 1);
|
||
|
|
|
||
|
|
// The default DGF file to load
|
||
|
|
SET_STRING_PROP(GroundWaterBaseProblem, GridFile, "./grids/groundwater_2d.dgf");
|
||
|
|
|
||
|
|
}
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \ingroup VcfvTestProblems
|
||
|
|
*
|
||
|
|
* \brief Test for the immisicible VCVF discretization with only a single phase
|
||
|
|
*
|
||
|
|
* This problem is inspired by groundwater flow. Don't expect it to be
|
||
|
|
* realistic, though: For two dimensions, the domain size is 1m times
|
||
|
|
* 1m. On the left and right of the domain, no-flow boundaries are
|
||
|
|
* used, while at the top and bottom free flow boundaries with a
|
||
|
|
* pressure of 2 bar and 1 bar are used. The center of the domain is
|
||
|
|
* occupied by a rectangular lens of lower permeability.
|
||
|
|
*/
|
||
|
|
template <class TypeTag>
|
||
|
|
class GroundWaterProblem
|
||
|
|
: public GET_PROP_TYPE(TypeTag, BaseProblem)
|
||
|
|
{
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, BaseProblem) ParentType;
|
||
|
|
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, GridView) GridView;
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, Scalar) Scalar;
|
||
|
|
|
||
|
|
// copy some indices for convenience
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, Indices) Indices;
|
||
|
|
enum {
|
||
|
|
// Grid and world dimension
|
||
|
|
dim = GridView::dimension,
|
||
|
|
dimWorld = GridView::dimensionworld,
|
||
|
|
|
||
|
|
// indices of the primary variables
|
||
|
|
pressure0Idx = Indices::pressure0Idx
|
||
|
|
};
|
||
|
|
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, TimeManager) TimeManager;
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, FluidSystem) FluidSystem;
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, RateVector) RateVector;
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, BoundaryRateVector) BoundaryRateVector;
|
||
|
|
typedef typename GET_PROP_TYPE(TypeTag, PrimaryVariables) PrimaryVariables;
|
||
|
|
|
||
|
|
typedef typename GridView::ctype CoordScalar;
|
||
|
|
typedef Dune::FieldVector<CoordScalar, dimWorld> GlobalPosition;
|
||
|
|
|
||
|
|
typedef Dune::FieldMatrix<Scalar, dimWorld, dimWorld> DimMatrix;
|
||
|
|
|
||
|
|
public:
|
||
|
|
/*!
|
||
|
|
* \copydoc Doxygen::defaultProblemConstructor
|
||
|
|
*/
|
||
|
|
GroundWaterProblem(TimeManager &timeManager)
|
||
|
|
: ParentType(timeManager, GET_PROP_TYPE(TypeTag, GridCreator)::grid().leafView())
|
||
|
|
{
|
||
|
|
eps_ = 1.0e-3;
|
||
|
|
|
||
|
|
lensLowerLeft_[0] = GET_PARAM(TypeTag, Scalar, LensLowerLeftX);
|
||
|
|
if (dim > 1)
|
||
|
|
lensLowerLeft_[1] = GET_PARAM(TypeTag, Scalar, LensLowerLeftY);
|
||
|
|
if (dim > 2)
|
||
|
|
lensLowerLeft_[2] = GET_PARAM(TypeTag, Scalar, LensLowerLeftY);
|
||
|
|
|
||
|
|
lensUpperRight_[0] = GET_PARAM(TypeTag, Scalar, LensUpperRightX);
|
||
|
|
if (dim > 1)
|
||
|
|
lensUpperRight_[1] = GET_PARAM(TypeTag, Scalar, LensUpperRightY);
|
||
|
|
if (dim > 2)
|
||
|
|
lensUpperRight_[2] = GET_PARAM(TypeTag, Scalar, LensUpperRightY);
|
||
|
|
|
||
|
|
intrinsicPerm_ = this->toDimMatrix_(GET_PARAM(TypeTag, Scalar, Permeability));
|
||
|
|
intrinsicPermLens_ = this->toDimMatrix_(GET_PARAM(TypeTag, Scalar, PermeabilityLens));
|
||
|
|
}
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvMultiPhaseProblem::registerParameters
|
||
|
|
*/
|
||
|
|
static void registerParameters()
|
||
|
|
{
|
||
|
|
ParentType::registerParameters();
|
||
|
|
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, LensLowerLeftX, "The x-coordinate of the lens' lower-left corner [m].");
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, LensUpperRightX, "The x-coordinate of the lens' upper-right corner [m].");
|
||
|
|
|
||
|
|
if (dimWorld > 1) {
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, LensLowerLeftY, "The y-coordinate of the lens' lower-left corner [m].");
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, LensUpperRightY, "The y-coordinate of the lens' upper-right corner [m].");
|
||
|
|
}
|
||
|
|
|
||
|
|
if (dimWorld > 2) {
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, LensLowerLeftZ, "The z-coordinate of the lens' lower-left corner [m].");
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, LensUpperRightZ, "The z-coordinate of the lens' upper-right corner [m].");
|
||
|
|
}
|
||
|
|
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, Permeability, "The intrinsic permeability [m^2] of the ambient material.");
|
||
|
|
REGISTER_PARAM(TypeTag, Scalar, PermeabilityLens, "The intrinsic permeability [m^2] of the lens.");
|
||
|
|
}
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \name Problem parameters
|
||
|
|
*/
|
||
|
|
// \{
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvProblem::name
|
||
|
|
*/
|
||
|
|
std::string name() const
|
||
|
|
{
|
||
|
|
std::ostringstream oss;
|
||
|
|
oss << "groundwater_" << this->model().name();
|
||
|
|
return oss.str();
|
||
|
|
}
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvMultiPhaseProblem::temperature
|
||
|
|
*/
|
||
|
|
template <class Context>
|
||
|
|
Scalar temperature(const Context &context, int spaceIdx, int timeIdx) const
|
||
|
|
{ return 273.15 + 10; } // 10C
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvMultiPhaseProblem::porosity
|
||
|
|
*/
|
||
|
|
template <class Context>
|
||
|
|
Scalar porosity(const Context &context, int spaceIdx, int timeIdx) const
|
||
|
|
{ return 0.4; }
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvMultiPhaseProblem::intrinsicPermeability
|
||
|
|
*/
|
||
|
|
template <class Context>
|
||
|
|
const DimMatrix &intrinsicPermeability(const Context &context, int spaceIdx, int timeIdx) const
|
||
|
|
{ return isInLens_(context.pos(spaceIdx, timeIdx))?intrinsicPermLens_:intrinsicPerm_; }
|
||
|
|
|
||
|
|
//! \}
|
||
|
|
/*!
|
||
|
|
* \name Boundary conditions
|
||
|
|
*/
|
||
|
|
//! \{
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvProblem::boundary
|
||
|
|
*/
|
||
|
|
template <class Context>
|
||
|
|
void boundary(BoundaryRateVector &values,
|
||
|
|
const Context &context,
|
||
|
|
int spaceIdx, int timeIdx) const
|
||
|
|
{
|
||
|
|
const GlobalPosition &globalPos = context.pos(spaceIdx, timeIdx);
|
||
|
|
|
||
|
|
if (onLowerBoundary_(globalPos) || onUpperBoundary_(globalPos)) {
|
||
|
|
Scalar pressure;
|
||
|
|
Scalar T = temperature(context, spaceIdx, timeIdx);
|
||
|
|
if (onLowerBoundary_(globalPos))
|
||
|
|
pressure = 2e5;
|
||
|
|
else // on upper boundary
|
||
|
|
pressure = 1e5;
|
||
|
|
|
||
|
|
Opm::ImmiscibleFluidState<Scalar, FluidSystem, /*storeEnthalpy=*/false> fs;
|
||
|
|
fs.setSaturation(/*phaseIdx=*/0, 1.0);
|
||
|
|
fs.setPressure(/*phaseIdx=*/0, pressure);
|
||
|
|
fs.setTemperature(T);
|
||
|
|
|
||
|
|
// impose an freeflow boundary condition
|
||
|
|
values.setFreeFlow(context, spaceIdx, timeIdx, fs);
|
||
|
|
}
|
||
|
|
else {
|
||
|
|
// no flow boundary
|
||
|
|
values.setNoFlow();
|
||
|
|
}
|
||
|
|
|
||
|
|
}
|
||
|
|
|
||
|
|
//! \}
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \name Volume terms
|
||
|
|
*/
|
||
|
|
//! \{
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvProblem::initial
|
||
|
|
*/
|
||
|
|
template <class Context>
|
||
|
|
void initial(PrimaryVariables &values, const Context &context, int spaceIdx, int timeIdx) const
|
||
|
|
{
|
||
|
|
//const GlobalPosition &globalPos = context.pos(spaceIdx, timeIdx);
|
||
|
|
values[pressure0Idx] = 1.0e+5;// + 9.81*1.23*(20-globalPos[dim-1]);
|
||
|
|
}
|
||
|
|
|
||
|
|
/*!
|
||
|
|
* \copydoc VcfvProblem::source
|
||
|
|
*/
|
||
|
|
template <class Context>
|
||
|
|
void source(RateVector &rate,
|
||
|
|
const Context &context,
|
||
|
|
int spaceIdx, int timeIdx) const
|
||
|
|
{ rate = Scalar(0.0); }
|
||
|
|
|
||
|
|
//! \}
|
||
|
|
|
||
|
|
private:
|
||
|
|
bool onLowerBoundary_(const GlobalPosition &pos) const
|
||
|
|
{ return pos[dim-1] < eps_; }
|
||
|
|
|
||
|
|
bool onUpperBoundary_(const GlobalPosition &pos) const
|
||
|
|
{ return pos[dim-1] > this->bboxMax()[dim-1] - eps_; }
|
||
|
|
|
||
|
|
bool isInLens_(const GlobalPosition &pos) const
|
||
|
|
{
|
||
|
|
return
|
||
|
|
lensLowerLeft_[0] <= pos[0] && pos[0] <= lensUpperRight_[0] &&
|
||
|
|
lensLowerLeft_[1] <= pos[1] && pos[1] <= lensUpperRight_[1];
|
||
|
|
}
|
||
|
|
|
||
|
|
GlobalPosition lensLowerLeft_;
|
||
|
|
GlobalPosition lensUpperRight_;
|
||
|
|
|
||
|
|
DimMatrix intrinsicPerm_;
|
||
|
|
DimMatrix intrinsicPermLens_;
|
||
|
|
|
||
|
|
Scalar eps_;
|
||
|
|
};
|
||
|
|
} //end namespace
|
||
|
|
|
||
|
|
#endif
|