2013-05-07 12:58:10 -05:00
|
|
|
/*
|
|
|
|
Copyright 2013 SINTEF ICT, Applied Mathematics.
|
|
|
|
Copyright 2013 Statoil ASA.
|
|
|
|
|
|
|
|
This file is part of the Open Porous Media Project (OPM).
|
|
|
|
|
|
|
|
OPM 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 3 of the License, or
|
|
|
|
(at your option) any later version.
|
|
|
|
|
|
|
|
OPM 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 OPM. If not, see <http://www.gnu.org/licenses/>.
|
|
|
|
*/
|
|
|
|
|
|
|
|
#ifndef OPM_IMPESTPFAAD_HEADER_INCLUDED
|
|
|
|
#define OPM_IMPESTPFAAD_HEADER_INCLUDED
|
|
|
|
|
|
|
|
#include "AutoDiffBlock.hpp"
|
2013-05-08 07:34:48 -05:00
|
|
|
#include "AutoDiffHelpers.hpp"
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
#include <opm/core/simulator/BlackoilState.hpp>
|
|
|
|
#include <opm/core/simulator/WellState.hpp>
|
2013-05-13 01:35:39 -05:00
|
|
|
#include <opm/core/utility/ErrorMacros.hpp>
|
|
|
|
#include <opm/core/linalg/LinearSolverInterface.hpp>
|
2013-05-12 14:43:54 -05:00
|
|
|
#include <opm/core/wells.h>
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
#include <algorithm>
|
2013-05-07 17:11:21 -05:00
|
|
|
#include <cassert>
|
2013-05-07 12:58:10 -05:00
|
|
|
#include <vector>
|
|
|
|
|
|
|
|
#include <boost/shared_ptr.hpp>
|
|
|
|
|
|
|
|
struct UnstructuredGrid;
|
|
|
|
|
2013-05-07 14:40:17 -05:00
|
|
|
namespace {
|
2013-05-07 12:58:10 -05:00
|
|
|
std::vector<int>
|
|
|
|
buildAllCells(const int nc)
|
|
|
|
{
|
|
|
|
std::vector<int> all_cells(nc);
|
|
|
|
|
|
|
|
for (int c = 0; c < nc; ++c) { all_cells[c] = c; }
|
|
|
|
|
|
|
|
return all_cells;
|
|
|
|
}
|
2013-05-13 09:11:48 -05:00
|
|
|
|
|
|
|
template <class GeoProps>
|
|
|
|
AutoDiff::ForwardBlock<double>::M
|
|
|
|
gravityOperator(const UnstructuredGrid& grid,
|
|
|
|
const HelperOps& ops ,
|
|
|
|
const GeoProps& geo )
|
|
|
|
{
|
|
|
|
const int nc = grid.number_of_cells;
|
|
|
|
|
|
|
|
std::vector<int> f2hf(2 * grid.number_of_faces, -1);
|
|
|
|
for (int c = 0, i = 0; c < nc; ++c) {
|
|
|
|
for (; i < grid.cell_facepos[c + 1]; ++i) {
|
|
|
|
const int f = grid.cell_faces[ i ];
|
|
|
|
const int p = 0 + (grid.face_cells[2*f + 0] != c);
|
|
|
|
|
|
|
|
f2hf[2*f + p] = i;
|
|
|
|
}
|
|
|
|
}
|
|
|
|
|
|
|
|
typedef AutoDiff::ForwardBlock<double>::V V;
|
|
|
|
typedef AutoDiff::ForwardBlock<double>::M M;
|
|
|
|
|
|
|
|
const V& gpot = geo.gravityPotential();
|
|
|
|
const V& trans = geo.transmissibility();
|
|
|
|
|
|
|
|
const HelperOps::IFaces::Index ni = ops.internal_faces.size();
|
|
|
|
|
|
|
|
typedef Eigen::Triplet<double> Tri;
|
|
|
|
std::vector<Tri> grav; grav.reserve(2 * ni);
|
|
|
|
for (HelperOps::IFaces::Index i = 0; i < ni; ++i) {
|
|
|
|
const int f = ops.internal_faces[ i ];
|
|
|
|
const int c1 = grid.face_cells[2*f + 0];
|
|
|
|
const int c2 = grid.face_cells[2*f + 1];
|
|
|
|
|
|
|
|
assert ((c1 >= 0) && (c2 >= 0));
|
|
|
|
|
|
|
|
const double dG1 = gpot[ f2hf[2*f + 0] ];
|
|
|
|
const double dG2 = gpot[ f2hf[2*f + 1] ];
|
|
|
|
const double t = trans[ f ];
|
|
|
|
|
|
|
|
grav.push_back(Tri(i, c1, t * dG1));
|
|
|
|
grav.push_back(Tri(i, c2, - t * dG2));
|
|
|
|
}
|
|
|
|
|
|
|
|
M G(ni, nc); G.setFromTriplets(grav.begin(), grav.end());
|
|
|
|
|
|
|
|
return G;
|
|
|
|
}
|
2013-05-07 14:40:17 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
namespace Opm {
|
2013-05-13 01:35:39 -05:00
|
|
|
|
2013-05-07 12:58:10 -05:00
|
|
|
|
2013-05-08 02:39:48 -05:00
|
|
|
template <typename Scalar, class BOFluid>
|
2013-05-07 12:58:10 -05:00
|
|
|
class PressureDependentFluidData {
|
|
|
|
public:
|
|
|
|
typedef AutoDiff::ForwardBlock<Scalar> ADB;
|
2013-05-13 01:35:39 -05:00
|
|
|
typedef typename AutoDiff::ForwardBlock<Scalar>::V V;
|
|
|
|
typedef typename AutoDiff::ForwardBlock<Scalar>::M M;
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
PressureDependentFluidData(const int nc,
|
2013-05-08 02:39:48 -05:00
|
|
|
const BOFluid& fluid)
|
2013-05-07 12:58:10 -05:00
|
|
|
: nc_ (nc)
|
2013-05-08 02:39:48 -05:00
|
|
|
, np_ (fluid.numPhases())
|
2013-05-07 12:58:10 -05:00
|
|
|
, cells_(buildAllCells(nc))
|
2013-05-08 02:39:48 -05:00
|
|
|
, fluid_(fluid)
|
2013-05-07 12:58:10 -05:00
|
|
|
, A_ (nc_, np_ * np_)
|
|
|
|
, dA_ (nc_, np_ * np_)
|
|
|
|
, mu_ (nc_, np_ )
|
|
|
|
, dmu_ (nc_, np_ )
|
|
|
|
, kr_ (nc_, np_ )
|
|
|
|
, zero_ (ADB::V::Zero(nc, 1))
|
|
|
|
, one_ (ADB::V::Ones(nc, 1))
|
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
computeSatQuant(const BlackoilState& state)
|
|
|
|
{
|
|
|
|
const std::vector<double>& s = state.saturation();
|
|
|
|
|
2013-05-08 06:02:51 -05:00
|
|
|
assert (s.size() == std::vector<double>::size_type(nc_ * np_));
|
|
|
|
|
2013-05-07 12:58:10 -05:00
|
|
|
double* dkrds = 0; // Ignore rel-perm derivatives
|
2013-05-08 02:39:48 -05:00
|
|
|
fluid_.relperm(nc_, & s[0], & cells_[0],
|
2013-05-07 12:58:10 -05:00
|
|
|
kr_.data(), dkrds);
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
computePressQuant(const BlackoilState& state)
|
|
|
|
{
|
|
|
|
const std::vector<double>& p = state.pressure();
|
|
|
|
const std::vector<double>& z = state.surfacevol();
|
|
|
|
|
2013-05-08 06:02:51 -05:00
|
|
|
assert (p.size() == std::vector<double>::size_type(nc_ * 1 ));
|
|
|
|
assert (z.size() == std::vector<double>::size_type(nc_ * np_));
|
|
|
|
|
2013-05-08 02:39:48 -05:00
|
|
|
fluid_.matrix (nc_, & p[0], & z[0], & cells_[0],
|
2013-05-07 12:58:10 -05:00
|
|
|
A_ .data(), dA_ .data());
|
|
|
|
|
2013-05-08 02:39:48 -05:00
|
|
|
fluid_.viscosity(nc_, & p[0], & z[0], & cells_[0],
|
2013-05-12 14:43:54 -05:00
|
|
|
mu_.data(), /*dmu_.data()*/ 0);
|
2013-05-07 12:58:10 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
ADB
|
2013-05-13 01:35:39 -05:00
|
|
|
fvf(const int phase, const ADB& p) const
|
2013-05-07 12:58:10 -05:00
|
|
|
{
|
2013-05-08 06:13:57 -05:00
|
|
|
assert (0 <= phase);
|
|
|
|
assert (phase < np_ );
|
2013-05-07 12:58:10 -05:00
|
|
|
|
2013-05-12 15:48:15 -05:00
|
|
|
typedef typename ADB::V V;
|
2013-05-08 07:34:48 -05:00
|
|
|
|
2013-05-12 15:48:15 -05:00
|
|
|
const V A = A_ .block(0, phase * (np_ + 1), nc_, 1);
|
|
|
|
const V dA = dA_.block(0, phase * (np_ + 1), nc_, 1);
|
2013-05-08 07:34:48 -05:00
|
|
|
|
2013-05-13 01:35:39 -05:00
|
|
|
std::vector<typename ADB::M> jac(p.numBlocks());
|
|
|
|
assert(p.numBlocks() == 2);
|
|
|
|
jac[0] = spdiag(dA);
|
|
|
|
assert(jac[0].cols() == p.blockPattern()[0]);
|
|
|
|
jac[1] = M(A.rows(), p.blockPattern()[1]);
|
2013-05-07 12:58:10 -05:00
|
|
|
return one_ / ADB::function(A, jac);
|
|
|
|
}
|
|
|
|
|
|
|
|
typename ADB::V
|
2013-05-08 06:13:57 -05:00
|
|
|
phaseRelPerm(const int phase) const
|
2013-05-07 12:58:10 -05:00
|
|
|
{
|
2013-05-12 15:48:15 -05:00
|
|
|
const typename ADB::V kr = kr_.block(0, phase, nc_, 1);
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
return kr;
|
|
|
|
}
|
|
|
|
|
|
|
|
ADB
|
2013-05-13 01:35:39 -05:00
|
|
|
phaseViscosity(const int phase, const ADB& p) const
|
2013-05-07 12:58:10 -05:00
|
|
|
{
|
2013-05-08 06:13:57 -05:00
|
|
|
assert (0 <= phase);
|
|
|
|
assert (phase < np_ );
|
2013-05-07 12:58:10 -05:00
|
|
|
|
2013-05-12 15:48:15 -05:00
|
|
|
typedef typename ADB::V V;
|
|
|
|
|
|
|
|
const V mu = mu_ .block(0, phase, nc_, 1);
|
|
|
|
const V dmu = dmu_.block(0, phase, nc_, 1);
|
2013-05-08 07:34:48 -05:00
|
|
|
|
2013-05-13 01:35:39 -05:00
|
|
|
std::vector<typename ADB::M> jac(p.numBlocks());
|
|
|
|
assert(p.numBlocks() == 2);
|
|
|
|
jac[0] = spdiag(dmu);
|
|
|
|
assert(jac[0].cols() == p.blockPattern()[0]);
|
|
|
|
jac[1] = M(mu.rows(), p.blockPattern()[1]);
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
return ADB::function(mu, jac);
|
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
const int nc_;
|
|
|
|
const int np_;
|
|
|
|
|
|
|
|
const std::vector<int> cells_;
|
2013-05-08 02:39:48 -05:00
|
|
|
const BOFluid& fluid_;
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
typedef Eigen::Array<Scalar,
|
|
|
|
Eigen::Dynamic,
|
|
|
|
Eigen::Dynamic,
|
|
|
|
Eigen::RowMajor> DerivedQuant;
|
|
|
|
|
|
|
|
// Pressure dependent quantities (essentially B and \mu)
|
|
|
|
DerivedQuant A_ ;
|
|
|
|
DerivedQuant dA_ ;
|
|
|
|
DerivedQuant mu_ ;
|
|
|
|
DerivedQuant dmu_;
|
|
|
|
|
|
|
|
// Saturation dependent quantities (rel-perm only)
|
|
|
|
DerivedQuant kr_;
|
|
|
|
|
|
|
|
const typename ADB::V zero_;
|
|
|
|
const typename ADB::V one_ ;
|
|
|
|
};
|
|
|
|
|
2013-05-08 02:39:48 -05:00
|
|
|
template <class BOFluid, class GeoProps>
|
2013-05-07 12:58:10 -05:00
|
|
|
class ImpesTPFAAD {
|
|
|
|
public:
|
|
|
|
ImpesTPFAAD(const UnstructuredGrid& grid ,
|
2013-05-08 02:39:48 -05:00
|
|
|
const BOFluid& fluid,
|
2013-05-12 14:43:54 -05:00
|
|
|
const GeoProps& geo ,
|
2013-05-13 01:35:39 -05:00
|
|
|
const Wells& wells,
|
|
|
|
const LinearSolverInterface& linsolver)
|
2013-05-07 12:58:10 -05:00
|
|
|
: grid_ (grid)
|
2013-05-08 02:39:48 -05:00
|
|
|
, geo_ (geo)
|
2013-05-12 14:43:54 -05:00
|
|
|
, wells_ (wells)
|
2013-05-13 01:35:39 -05:00
|
|
|
, linsolver_(linsolver)
|
2013-05-08 02:39:48 -05:00
|
|
|
, pdepfdata_(grid.number_of_cells, fluid)
|
2013-05-08 07:34:48 -05:00
|
|
|
, ops_ (grid)
|
2013-05-13 09:11:48 -05:00
|
|
|
, grav_ (gravityOperator(grid_, ops_, geo_))
|
2013-05-13 03:26:16 -05:00
|
|
|
, cell_residual_ (ADB::null())
|
|
|
|
, well_residual_ (ADB::null())
|
2013-05-08 07:34:48 -05:00
|
|
|
{
|
|
|
|
}
|
|
|
|
|
|
|
|
void
|
|
|
|
solve(const double dt,
|
2013-05-12 14:43:54 -05:00
|
|
|
BlackoilState& state,
|
|
|
|
WellState& well_state)
|
2013-05-07 12:58:10 -05:00
|
|
|
{
|
2013-05-08 07:34:48 -05:00
|
|
|
pdepfdata_.computeSatQuant(state);
|
|
|
|
|
2013-05-12 14:43:54 -05:00
|
|
|
assemble(dt, state, well_state);
|
2013-05-13 01:35:39 -05:00
|
|
|
|
|
|
|
const int nc = grid_.number_of_cells;
|
2013-05-13 03:26:16 -05:00
|
|
|
M matr = cell_residual_.derivative()[0];
|
2013-05-13 01:35:39 -05:00
|
|
|
V dp(nc);
|
|
|
|
const V p0 = Eigen::Map<const V>(&state.pressure()[0], nc, 1);
|
|
|
|
Opm::LinearSolverInterface::LinearSolverReport rep
|
|
|
|
= linsolver_.solve(nc, matr.nonZeros(),
|
|
|
|
matr.outerIndexPtr(), matr.innerIndexPtr(), matr.valuePtr(),
|
2013-05-13 03:26:16 -05:00
|
|
|
cell_residual_.value().data(), dp.data());
|
2013-05-13 01:35:39 -05:00
|
|
|
if (!rep.converged) {
|
|
|
|
THROW("ImpesTPFAAD::solve(): Linear solver convergence failure.");
|
|
|
|
}
|
|
|
|
const V p = p0 - dp;
|
|
|
|
std::copy(&p[0], &p[0] + nc, state.pressure().begin());
|
2013-05-07 12:58:10 -05:00
|
|
|
}
|
|
|
|
|
|
|
|
private:
|
|
|
|
// Disallow copying and assignment
|
|
|
|
ImpesTPFAAD(const ImpesTPFAAD& rhs);
|
|
|
|
ImpesTPFAAD& operator=(const ImpesTPFAAD& rhs);
|
|
|
|
|
2013-05-08 02:39:48 -05:00
|
|
|
typedef PressureDependentFluidData<double, BOFluid> PDepFData;
|
|
|
|
typedef typename PDepFData::ADB ADB;
|
2013-05-13 01:35:39 -05:00
|
|
|
typedef typename ADB::V V;
|
|
|
|
typedef typename ADB::M M;
|
2013-05-07 12:58:10 -05:00
|
|
|
|
|
|
|
const UnstructuredGrid& grid_;
|
2013-05-08 02:39:48 -05:00
|
|
|
const GeoProps& geo_ ;
|
2013-05-12 14:43:54 -05:00
|
|
|
const Wells& wells_;
|
2013-05-13 01:35:39 -05:00
|
|
|
const LinearSolverInterface& linsolver_;
|
2013-05-07 12:58:10 -05:00
|
|
|
PDepFData pdepfdata_;
|
2013-05-08 07:34:48 -05:00
|
|
|
HelperOps ops_;
|
2013-05-13 09:11:48 -05:00
|
|
|
const M grav_;
|
2013-05-13 03:26:16 -05:00
|
|
|
ADB cell_residual_;
|
|
|
|
ADB well_residual_;
|
2013-05-08 07:34:48 -05:00
|
|
|
|
|
|
|
void
|
|
|
|
assemble(const double dt,
|
2013-05-12 14:43:54 -05:00
|
|
|
const BlackoilState& state,
|
|
|
|
const WellState& well_state)
|
2013-05-08 07:34:48 -05:00
|
|
|
{
|
|
|
|
typedef Eigen::Array<double,
|
|
|
|
Eigen::Dynamic,
|
|
|
|
Eigen::Dynamic,
|
|
|
|
Eigen::RowMajor> DataBlock;
|
|
|
|
|
|
|
|
const V& pv = geo_.poreVolume();
|
|
|
|
const int nc = grid_.number_of_cells;
|
|
|
|
const int np = state.numPhases();
|
2013-05-12 14:43:54 -05:00
|
|
|
const int nw = wells_.number_of_wells;
|
2013-05-08 07:34:48 -05:00
|
|
|
|
|
|
|
pdepfdata_.computePressQuant(state);
|
|
|
|
|
|
|
|
const Eigen::Map<const DataBlock> z0all(&state.surfacevol()[0], nc, np);
|
|
|
|
const DataBlock qall = DataBlock::Zero(nc, np);
|
2013-05-13 01:35:39 -05:00
|
|
|
const V delta_t = dt * V::Ones(nc, 1);
|
2013-05-08 07:34:48 -05:00
|
|
|
const V transi = subset(geo_.transmissibility(),
|
|
|
|
ops_.internal_faces);
|
2013-05-13 01:35:39 -05:00
|
|
|
const std::vector<int> well_cells(wells_.well_cells,
|
|
|
|
wells_.well_cells + wells_.well_connpos[nw]);
|
2013-05-08 07:34:48 -05:00
|
|
|
|
2013-05-13 01:35:39 -05:00
|
|
|
// Initialize AD variables: p (cell pressures) and bhp (well bhp).
|
|
|
|
const V p0 = Eigen::Map<const V>(&state.pressure()[0], nc, 1);
|
|
|
|
const V bhp0 = Eigen::Map<const V>(&well_state.bhp()[0], nw, 1);
|
|
|
|
std::vector<V> vars0 = { p0, bhp0 };
|
|
|
|
std::vector<ADB> vars= ADB::variables(vars0);
|
|
|
|
const ADB& p = vars[0];
|
|
|
|
const ADB& bhp = vars[1];
|
|
|
|
std::vector<int> bpat = p.blockPattern();
|
|
|
|
|
|
|
|
// Compute T_ij * (p_i - p_j) and use for upwinding.
|
2013-05-08 07:34:48 -05:00
|
|
|
const ADB nkgradp = transi * (ops_.ngrad * p);
|
|
|
|
const UpwindSelector<double> upwind(grid_, ops_, nkgradp.value());
|
|
|
|
|
2013-05-13 01:35:39 -05:00
|
|
|
// Extract variables for perforation cell pressures
|
|
|
|
// and corresponding perforation well pressures.
|
|
|
|
const ADB p_perfcell = subset(p, well_cells);
|
|
|
|
// Construct matrix to map wells->perforations.
|
|
|
|
M well_to_perf(well_cells.size(), nw);
|
|
|
|
typedef Eigen::Triplet<double> Tri;
|
|
|
|
std::vector<Tri> w2p;
|
|
|
|
for (int w = 0; w < nw; ++w) {
|
|
|
|
for (int perf = wells_.well_connpos[w]; perf < wells_.well_connpos[w+1]; ++perf) {
|
|
|
|
w2p.emplace_back(perf, w, 1.0);
|
|
|
|
}
|
|
|
|
}
|
|
|
|
well_to_perf.setFromTriplets(w2p.begin(), w2p.end());
|
|
|
|
// Construct pressure difference vector for wells.
|
|
|
|
const V well_perf_dp = V::Zero(well_cells.size()); // No gravity yet!
|
|
|
|
// Finally construct well perforation pressures.
|
|
|
|
const ADB p_perfwell = well_to_perf*bhp + well_perf_dp;
|
2013-05-13 03:35:50 -05:00
|
|
|
|
2013-05-13 03:26:16 -05:00
|
|
|
cell_residual_ = ADB::constant(pv, bpat);
|
2013-05-08 07:34:48 -05:00
|
|
|
for (int phase = 0; phase < np; ++phase) {
|
2013-05-13 01:35:39 -05:00
|
|
|
const ADB cell_B = pdepfdata_.fvf(phase, p);
|
2013-05-08 07:34:48 -05:00
|
|
|
|
|
|
|
const V kr = pdepfdata_.phaseRelPerm(phase);
|
2013-05-13 01:35:39 -05:00
|
|
|
const ADB mu = pdepfdata_.phaseViscosity(phase, p);
|
2013-05-08 08:06:13 -05:00
|
|
|
const ADB mf = upwind.select(kr / mu);
|
|
|
|
const ADB flux = mf * nkgradp;
|
2013-05-08 07:34:48 -05:00
|
|
|
|
|
|
|
const ADB face_B = upwind.select(cell_B);
|
|
|
|
|
|
|
|
const V z0 = z0all.block(0, phase, nc, 1);
|
|
|
|
const V q = qall .block(0, phase, nc, 1);
|
|
|
|
|
|
|
|
ADB component_contrib = pv*z0 + delta_t*(q - (ops_.div * (flux / face_B)));
|
2013-05-13 03:26:16 -05:00
|
|
|
cell_residual_ = cell_residual_ - (cell_B * component_contrib);
|
2013-05-08 07:34:48 -05:00
|
|
|
}
|
|
|
|
}
|
2013-05-07 12:58:10 -05:00
|
|
|
};
|
|
|
|
} // namespace Opm
|
|
|
|
|
|
|
|
#endif /* OPM_IMPESTPFAAD_HEADER_INCLUDED */
|