Commit 67b8a700 authored by Katharina Heck's avatar Katharina Heck
Browse files

[cleanup] change problemtypetag to real name instead of in cmakelist

parent 070423ab
# the one-phase simulation program
dune_add_test(NAME exercise1_1p_a
CMD_ARGS exercise1_1p_a.input)
dune_add_test(NAME exercise1_1p_b
CMD_ARGS exercise1_1p_b.input)
dune_add_test(NAME exercise1_1p_c
CMD_ARGS exercise1_1p_c.input)
# Exercise #1 (DuMuX course)
## Problem set-up
This exercise will make you familiar the program sequence in DuMux and how different levels of complexity can be realized in the main file according to the complexity of your physical problem.
In order to do so, there are three examples of one phase flow problems. Two examples (a and b) are stationary problems and the third example (c) is an instationary problem.
The stationary examples differ in the fluidssystems they are using which means they differ in the fluid properties (e.g. density, thermal conductivity etc). The first problem (a) uses an incompressible fluid which means that the density does not change with pressure changes. This makes is possible to solve the system linearly. The second problem uses a compressible fluid, that means the density is a function of pressure and we need to use a nonlinear solver.
To summarize the problems differ in:
* exercise1_1p_a: a one-phase incompressible, stationary problem
* exercise1_1p_b: a one-phase compressible, stationary problem
* exercise1_1p_c: a one-phase compressible, instationary problem
The problem set-up for all three examples is always the same: It is a two dimensional problem and the domain is $`1m x 1m`$. It is a heterogeneous set-up with a lens in the middle of the domain which has a lower permeability ($`1e-12 m^2`$ compared to $`1e-10 m^2`$ in the rest of the domain).
<img src="" width="1000">
In the beginning there is a uniform pressure of $`1e5 Pa`$. On the top and the bottom border dirichlet boundary conditions are set with a pressure of $`1e5 Pa`$ on top and $`2e5 Pa`$ on the bottom. At the sides there is no in- or outflow and there are no source terms.
## Preparing the exercise
* Navigate to the directory `dumux/tutorial/ex1`
### Task 1: Getting familiar with the code
Locate all the files you will need for this exercise
* The __main file__ for the __1p incompressible, stationary__ problem : ``
* The __main file__ for the __1p compressible, stationary__ problem : ``
* The __main file__ for the __1p compressible, instationary__ problem : ``
* The shared __problem file__: `1pproblem.hh`
* The shared __spatial parameters file__: `1pspatialparams.hh`
* The __input file__ for the __1p incompressible, stationary__ problem: `exercise1_1p_a.input`
* The __input file__ for the __1p compressible, stationary__ problem: `exercise1_1p_b.input`
* The __input file__ for the __1p compressible, instationary__ problem: `exercise1_1p_c.input`
Please pay special attention to the similarities and differences in the three main files. The first main file is solved linearly and does not need a newton solver or any other nonlinear solver method. The second problem is a nonlinear problem and uses newton's method to solve the system. The third problem is nonlinear and additionally instationary. Therefore a time loop needs to be included in the main file.
The general structure of any main file in DuMux is:
* the specific problem TypeTag is defined for that problem. Here this is done via a compile definition in the CMakeLists.txt. You will have a closer look at the CMakeList and how to set up your own problem later in the exercise.
// define the type tag for this problem
using TypeTag = TTAG(TYPETAG);
* a gridmanager tries to create the grid either from a grid file or the input file
GridManager<typename GET_PROP_TYPE(TypeTag, Grid)> gridManager;
* we create the finite volume grid geometry, the problem, solutionvector and the gridvariables and initialize them. Additionally we initialize the vtkoutput. Each model has a predefined model specific output with relevant parameters for that model.
// create the finite volume grid geometry
using FVGridGeometry = typename GET_PROP_TYPE(TypeTag, FVGridGeometry);
auto fvGridGeometry = std::make_shared<FVGridGeometry>(leafGridView);
// the problem (initial and boundary conditions)
using Problem = typename GET_PROP_TYPE(TypeTag, Problem);
auto problem = std::make_shared<Problem>(fvGridGeometry);
// the solution vector
using SolutionVector = typename GET_PROP_TYPE(TypeTag, SolutionVector);
SolutionVector x(fvGridGeometry->numDofs());
// the grid variables
using GridVariables = typename GET_PROP_TYPE(TypeTag, GridVariables);
auto gridVariables = std::make_shared<GridVariables>(problem, fvGridGeometry);
// intialize the vtk output module
using VtkOutputFields = typename GET_PROP_TYPE(TypeTag, VtkOutputFields);
VtkOutputModule<TypeTag> vtkWriter(*problem, *fvGridGeometry, *gridVariables, x, problem->name());
VtkOutputFields::init(vtkWriter); //!< Add model specific output fields
* then we need to assemble and solve the system. Depending on the problem this can be done with a linear solver or with a nonlinear solver. If the problem is time dependent we additionally need a time loop. An example for that is given in exercise1_1p_c:
// get some time loop parameters
using Scalar = typename GET_PROP_TYPE(TypeTag, Scalar);
auto tEnd = getParam<Scalar>("TimeLoop.TEnd");
auto dt = getParam<Scalar>("TimeLoop.DtInitial");
auto maxDt = getParam<Scalar>("TimeLoop.MaxTimeStepSize");
// instantiate time loop
auto timeLoop = std::make_shared<CheckPointTimeLoop<Scalar>>(0.0, dt, tEnd);
// the assembler with time loop for instationary problem
using Assembler = FVAssembler<TypeTag, DiffMethod::numeric>;
auto assembler = std::make_shared<Assembler>(problem, fvGridGeometry, gridVariables, timeLoop);
// the linear solver
using LinearSolver = ILU0BiCGSTABBackend;
auto linearSolver = std::make_shared<LinearSolver>();
// the non-linear solver
using NewtonSolver = Dumux::NewtonSolver<Assembler, LinearSolver>;
NewtonSolver nonLinearSolver(assembler, linearSolver);
// set some check points for the time loop
// time loop
timeLoop->start(); do
// set previous solution for storage evaluations
// linearize & solve
nonLinearSolver.solve(x, *timeLoop);
// make the new solution the old solution
xOld = x;
// advance to the time loop to the next step
// write vtk output
if (timeLoop->isCheckPoint())
// report statistics of this time step
// set new dt as suggested by the newton solver
} while (!timeLoop->finished());
### Task 2: Compiling and running an executable
* Change to the build-directory
cd ../../build-cmake/tutorial/ex1
* Compile all three executables `exercise1_1p_a` and `exercise1_1p_b and exercise1_1p_c`
make exercise1_1p_a exercise1_1p_b exercise1_1p_c
* Execute the three problems and inspect the result
* you can look at the results with paraview
paraview injection-1p_a.pvd
### Task 3: Analytical differentiation
For the incompressible one phase problem it is possible to also have an analytic solution method. To implement that follow the directions in the `` and the `1pproblem.hh` marked by:
// TODO: dumux-course-task
......@@ -51,7 +51,7 @@ int main(int argc, char** argv) try
using namespace Dumux;
// define the type tag for this problem
using TypeTag = TTAG(TYPETAG);
using TypeTag = TTAG(OnePIncompressible);
......@@ -52,7 +52,7 @@ int main(int argc, char** argv) try
using namespace Dumux;
// define the type tag for this problem
using TypeTag = TTAG(TYPETAG);
using TypeTag = TTAG(OnePCompressible);
......@@ -52,7 +52,7 @@ int main(int argc, char** argv) try
using namespace Dumux;
// define the type tag for this problem
using TypeTag = TTAG(TYPETAG);
using TypeTag = TTAG(OnePCompressible);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment