Flow123d  master-94c4283
dual_porosity.cc
Go to the documentation of this file.
1 /*!
2  *
3  * Copyright (C) 2015 Technical University of Liberec. All rights reserved.
4  *
5  * This program is free software; you can redistribute it and/or modify it under
6  * the terms of the GNU General Public License version 3 as published by the
7  * Free Software Foundation. (http://www.gnu.org/licenses/gpl-3.0.en.html)
8  *
9  * This program is distributed in the hope that it will be useful, but WITHOUT
10  * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
11  * FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.
12  *
13  *
14  * @file dual_porosity.cc
15  * @brief
16  */
17 
18 #include <iostream>
19 #include <stdlib.h>
20 #include <math.h>
21 
24 #include "system/system.hh"
25 #include "system/sys_profiler.hh"
26 
27 #include "la/distribution.hh"
28 #include "mesh/mesh.h"
29 #include "mesh/elements.h"
30 #include "mesh/region.hh"
31 #include "mesh/accessors.hh"
32 #include "fields/field_fe.hh"
33 
34 #include "reaction/sorption.hh"
38 #include "input/factory.hh"
39 
40 FLOW123D_FORCE_LINK_IN_CHILD(dualPorosity)
41 
42 
43 using namespace Input::Type;
44 
45 
46 
48  return Record("DualPorosity",
49  "Dual porosity model in transport problems.\n"
50  "Provides computing the concentration of substances in mobile and immobile zone.\n"
51  )
53  .declare_key("input_fields", Array(DualPorosity::EqFields().make_field_descriptor_type("DualPorosity")), Default::obligatory(),
54  "Containes region specific data necessary to construct dual porosity model.")
55  .declare_key("scheme_tolerance", Double(0.0), Default("1e-3"),
56  "Tolerance according to which the explicit Euler scheme is used or not."
57  "Set 0.0 to use analytic formula only (can be slower).")
58 
59  .declare_key("reaction_mobile", ReactionTerm::it_abstract_mobile_term(), Default::optional(), "Reaction model in mobile zone.")
60  .declare_key("reaction_immobile", ReactionTerm::it_abstract_immobile_term(), Default::optional(), "Reaction model in immobile zone.")
61  .declare_key("output",
62  EqFields().output_fields.make_output_type("DualPorosity", ""),
63  IT::Default("{ \"fields\": [ \"conc_immobile\" ] }"),
64  "Setting of the fields output.")
65  .close();
66 }
67 
68 const int DualPorosity::registrar =
69  Input::register_class< DualPorosity, Mesh &, Input::Record >("DualPorosity") +
71 
74 {
76  .name("diffusion_rate_immobile")
77  .description("Diffusion coefficient of non-equilibrium linear exchange between mobile and immobile zone.")
78  .input_default("0")
79  .units( UnitSI().s(-1) );
80 
81  *this += porosity_immobile
82  .name("porosity_immobile")
83  .description("Porosity of the immobile zone.")
84  .input_default("0")
86  .set_limits(0.0);
87 
88  *this += init_conc_immobile
89  .name("init_conc_immobile")
90  .description("Initial concentration of substances in the immobile zone.")
91  .units( UnitSI().kg().m(-3) );
92 
93  //creating field for porosity that is set later from the governing equation (transport)
94  *this +=porosity
95  .name("porosity")
96  .description("Concentration solution in the mobile phase.")
99  .set_limits(0.0);
100 
101  *this += conc_immobile
102  .name("conc_immobile")
103  .units( UnitSI().kg().m(-3) )
105 
106  output_fields += *this;
107 
108 }
109 
111 : ReactionTerm::EqData() {}
112 
114  : ReactionTerm(init_mesh, in_rec),
115  init_condition_assembly_(nullptr),
116  reaction_assembly_(nullptr)
117 {
118  eq_fields_ = std::make_shared<EqFields>();
119  eq_fields_->add_coords_field();
120  //set pointer to equation data fieldset
121  this->eq_fieldset_ = eq_fields_;
122  this->eq_fields_base_ = std::static_pointer_cast<ReactionTerm::EqFields>(eq_fields_);
123 
124  eq_data_ = std::make_shared<EqData>();
125  this->eq_data_base_ = std::static_pointer_cast<ReactionTerm::EqData>(eq_data_);
126 
127  //reads input and creates possibly other reaction terms
128  make_reactions();
129  //read value from input
130  eq_data_->scheme_tolerance_ = input_record_.val<double>("scheme_tolerance");
131 }
132 
134 {
136  if (reaction_assembly_!=nullptr) delete reaction_assembly_;
137 }
138 
139 
142  if ( reactions_it )
143  {
144  // TODO: allowed instances in this case are only
145  // FirstOrderReaction, RadioactiveDecay and SorptionMob
146  reaction_mobile = (*reactions_it).factory< ReactionTerm, Mesh &, Input::Record >(*mesh_, *reactions_it);
147  } else
148  {
149  reaction_mobile = nullptr;
150  }
151 
152  reactions_it = input_record_.find<Input::AbstractRecord>("reaction_immobile");
153  if ( reactions_it )
154  {
155  // TODO: allowed instances in this case are only
156  // FirstOrderReaction, RadioactiveDecay and SorptionImmob
157  reaction_immobile = (*reactions_it).factory< ReactionTerm, Mesh &, Input::Record >(*mesh_, *reactions_it);
158  } else
159  {
160  reaction_immobile = nullptr;
161  }
162 
163 }
164 
166 {
167  ASSERT_PERMANENT(time_ != nullptr).error("Time governor has not been set yet.\n");
168  ASSERT_PERMANENT_LT(0, eq_data_->substances_.size()).error("No substances for rection term.\n");
169  ASSERT_PERMANENT(output_stream_ != nullptr).error("Null output stream.\n");
170 
171  eq_data_->time_ = this->time_;
172 
174 
175  if(reaction_mobile)
176  {
177  reaction_mobile->substances(eq_data_->substances_)
178  .output_stream(output_stream_)
179  .concentration_fields(eq_fields_->conc_mobile_fe)
180  .set_time_governor(*time_);
181  reaction_mobile->initialize();
182  }
183 
185  {
186  reaction_immobile->substances(eq_data_->substances_)
187  .output_stream(output_stream_)
188  .concentration_fields(eq_fields_->conc_immobile_fe)
189  .set_time_governor(*time_);
190  reaction_immobile->initialize();
191  }
192 
195 
196 }
197 
199 {
200  eq_fields_->set_components(eq_data_->substances_.names());
201  //setting fields that are set from input file
204 
205  //setting fields in data
206  eq_fields_->set_mesh(*mesh_);
207 
208  //initialization of output
209  eq_fields_->output_fields.set_components(eq_data_->substances_.names());
210  eq_fields_->output_fields.set_mesh(*mesh_);
211  eq_fields_->output_fields.output_type(OutputTime::ELEM_DATA);
212  eq_fields_->conc_immobile.setup_components();
213 
214 
215  //creating field fe and output multifield for sorbed concentrations
216  eq_fields_->conc_immobile_fe.resize(eq_data_->substances_.size());
217  for (unsigned int sbi = 0; sbi < eq_data_->substances_.size(); sbi++)
218  {
219  // create shared pointer to a FieldFE and push this Field to output_field on all regions
220  eq_fields_->conc_immobile_fe[sbi] = create_field_fe< 3, FieldValue<3>::Scalar >(eq_data_->dof_handler_);
221  eq_fields_->conc_immobile[sbi].set(eq_fields_->conc_immobile_fe[sbi], 0);
222  }
223 
224  eq_fields_->output_fields.initialize(output_stream_, mesh_, input_record_.val<Input::Record>("output"),time());
225 }
226 
227 
229 {
230  ASSERT(time_ != nullptr).error("Time governor has not been set yet.\n");
231  ASSERT_LT(0, eq_data_->substances_.size()).error("No substances for rection term.\n");
232  ASSERT(output_stream_ != nullptr).error("Null output stream.\n");
233 
234  //coupling - passing fields
235  if(reaction_mobile)
236  if (typeid(*reaction_mobile) == typeid(SorptionMob))
237  {
238  reaction_mobile->eq_fieldset().set_field("porosity", (*eq_fields_)["porosity"]);
239  reaction_mobile->eq_fieldset().set_field("porosity_immobile", (*eq_fields_)["porosity_immobile"]);
240  }
242  if (typeid(*reaction_immobile) == typeid(SorptionImmob))
243  {
244  reaction_immobile->eq_fieldset().set_field("porosity", (*eq_fields_)["porosity"]);
245  reaction_immobile->eq_fieldset().set_field("porosity_immobile", (*eq_fields_)["porosity_immobile"]);
246  }
247 
248  eq_fields_->set_time(time_->step(0), LimitSide::right);
249  std::stringstream ss; // print warning message with table of uninitialized fields
250  if ( FieldCommon::print_message_table(ss, "dual porosity") ) {
251  WarningOut() << ss.str();
252  }
254 
255  output_data();
256 
257  if(reaction_mobile)
258  reaction_mobile->zero_time_step();
259 
261  reaction_immobile->zero_time_step();
262 
263 }
264 
266 {
267  eq_fields_->set_time(time_->step(-2), LimitSide::right);
268 
269  START_TIMER("dual_por_exchange_step");
270  reaction_assembly_->assemble(eq_data_->dof_handler_);
271  END_TIMER("dual_por_exchange_step");
272 
273  if(reaction_mobile) reaction_mobile->update_solution();
274  if(reaction_immobile) reaction_immobile->update_solution();
275 }
276 
277 
279 {
280 }
281 
282 
284 {
285  eq_fields_->output_fields.set_time(time_->step(), LimitSide::right);
286 
287  // Register fresh output data
288  eq_fields_->output_fields.output(time_->step());
289 
290  if (time_->tlevel() !=0) {
291  // zero_time_step call zero_time_Step of subreactions which performs its own output
292  if (reaction_mobile) reaction_mobile->output_data();
293  if (reaction_immobile) reaction_immobile->output_data();
294  }
295 }
DualPorosity::EqFields::EqFields
EqFields()
Collect all fields.
Definition: dual_porosity.cc:72
FieldCommon::units
FieldCommon & units(const UnitSI &units)
Set basic units of the field.
Definition: field_common.hh:153
LimitSide::right
@ right
ReactionTerm::output_stream_
std::shared_ptr< OutputTime > output_stream_
Pointer to a transport output stream.
Definition: reaction_term.hh:146
EquationBase::mesh_
Mesh * mesh_
Definition: equation.hh:240
DualPorosity::registrar
static const int registrar
Registrar of class to factory.
Definition: dual_porosity.hh:163
DualPorosity::EqFields::diffusion_rate_immobile
MultiField< 3, FieldValue< 3 >::Scalar > diffusion_rate_immobile
Mass transfer coefficients between mobile and immobile pores.
Definition: dual_porosity.hh:71
DualPorosity::initialize
void initialize() override
Prepares the object to usage.
Definition: dual_porosity.cc:165
UnitSI::dimensionless
static UnitSI & dimensionless()
Returns dimensionless unit.
Definition: unit_si.cc:55
ReactionTerm::it_abstract_immobile_term
static Input::Type::Abstract & it_abstract_immobile_term()
Definition: reaction_term.cc:37
factory.hh
ReactionTerm::ReactionTerm
ReactionTerm(Mesh &init_mesh, Input::Record in_rec)
Definition: reaction_term.cc:51
EquationBase::eq_fieldset_
std::shared_ptr< FieldSet > eq_fieldset_
Definition: equation.hh:249
ASSERT
#define ASSERT(expr)
Definition: asserts.hh:351
DualPorosity::eq_fields_
std::shared_ptr< EqFields > eq_fields_
Equation fields - all fields are in this set.
Definition: dual_porosity.hh:146
EquationBase::time_
TimeGovernor * time_
Definition: equation.hh:241
distribution.hh
Support classes for parallel programing.
ASSERT_PERMANENT_LT
#define ASSERT_PERMANENT_LT(a, b)
Definition of comparative assert macro (Less Than)
Definition: asserts.hh:297
Input::Record::val
const Ret val(const string &key) const
Definition: accessors_impl.hh:31
EquationBase::time
TimeGovernor & time()
Definition: equation.hh:151
FieldSet::set_input_list
void set_input_list(Input::Array input_list, const TimeGovernor &tg)
Definition: field_set.hh:293
Input::Type::Double
Class for declaration of the input data that are floating point numbers.
Definition: type_base.hh:534
DualPorosity::compute_reaction
void compute_reaction(const DHCellAccessor &dh_cell) override
Compute reaction on a single element.
Definition: dual_porosity.cc:278
DualPorosity::update_solution
void update_solution(void) override
Definition: dual_porosity.cc:265
FLOW123D_FORCE_LINK_IN_CHILD
#define FLOW123D_FORCE_LINK_IN_CHILD(x)
Definition: global_defs.h:104
DualPorosity::DualPorosity
DualPorosity()
DualPorosity::EqFields::init_conc_immobile
MultiField< 3, FieldValue< 3 >::Scalar > init_conc_immobile
Initial concentrations in the immobile zone.
Definition: dual_porosity.hh:74
system.hh
OutputTime::ELEM_DATA
@ ELEM_DATA
Definition: output_time.hh:111
FieldCommon::set_limits
FieldCommon & set_limits(double min, double max=std::numeric_limits< double >::max())
Definition: field_common.hh:159
FieldCommon::flags
FieldCommon & flags(FieldFlag::Flags::Mask mask)
Definition: field_common.hh:192
field_fe.hh
DualPorosity::make_reactions
void make_reactions()
Resolves construction of following reactions.
Definition: dual_porosity.cc:140
GenericAssembly::assemble
void assemble(std::shared_ptr< DOFHandlerMultiDim > dh) override
General assemble methods.
Definition: generic_assembly.hh:209
ASSERT_LT
#define ASSERT_LT(a, b)
Definition of comparative assert macro (Less Than) only for debug mode.
Definition: asserts.hh:301
Input::Iterator
Definition: accessors.hh:143
SorptionImmob
Sorption model in immobile zone in case dual porosity is considered.
Definition: sorption.hh:131
Input::Type::Record::size
unsigned int size() const
Returns number of keys in the Record.
Definition: type_record.hh:602
Input::Type::Default
Class Input::Type::Default specifies default value of keys of a Input::Type::Record.
Definition: type_record.hh:61
Input::Type::Record::derive_from
virtual Record & derive_from(Abstract &parent)
Method to derive new Record from an AbstractRecord parent.
Definition: type_record.cc:196
SorptionMob
Sorption model in mobile zone in case dual porosity is considered.
Definition: sorption.hh:105
assembly_reaction.hh
accessors.hh
Input::Record
Accessor to the data with type Type::Record.
Definition: accessors.hh:291
DualPorosity::input_field_set_
FieldSet input_field_set_
Definition: dual_porosity.hh:152
FieldFlag::equation_result
static constexpr Mask equation_result
Match result fields. These are never given by input or copy of input.
Definition: field_flag.hh:55
elements.h
sys_profiler.hh
DualPorosity::EqData
DualPorosity data.
Definition: dual_porosity.hh:87
ASSERT_PERMANENT
#define ASSERT_PERMANENT(expr)
Allow use shorter versions of macro names if these names is not used with external library.
Definition: asserts.hh:348
TimeGovernor::tlevel
int tlevel() const
Definition: time_governor.hh:600
TimeGovernor::step
const TimeStep & step(int index=-1) const
Definition: time_governor.cc:753
DualPorosity::reaction_mobile
std::shared_ptr< ReactionTerm > reaction_mobile
Reaction running in mobile zone.
Definition: dual_porosity.hh:154
sorption.hh
This file contains classes representing sorption model. Sorption model can be computed both in case t...
Input::AbstractRecord
Accessor to the polymorphic input data of a type given by an AbstracRecord object.
Definition: accessors.hh:458
Input::Type::Default::obligatory
static Default obligatory()
The factory function to make an empty default value which is obligatory.
Definition: type_record.hh:110
DualPorosity::EqFields::porosity_immobile
Field< 3, FieldValue< 3 >::Scalar > porosity_immobile
Immobile porosity field.
Definition: dual_porosity.hh:72
FieldCommon::print_message_table
static bool print_message_table(ostream &stream, std::string equation_name)
Definition: field_common.cc:96
UnitSI
Class for representation SI units of Fields.
Definition: unit_si.hh:40
EquationBase::input_record_
Input::Record input_record_
Definition: equation.hh:242
DualPorosity::~DualPorosity
~DualPorosity(void)
Destructor.
Definition: dual_porosity.cc:133
DualPorosity::init_condition_assembly_
GenericAssembly< InitConditionAssemblyDp > * init_condition_assembly_
general assembly objects, hold assembly objects of appropriate dimension
Definition: dual_porosity.hh:158
first_order_reaction.hh
Input::Type::Record::declare_key
Record & declare_key(const string &key, std::shared_ptr< TypeBase > type, const Default &default_value, const string &description, TypeBase::attribute_map key_attributes=TypeBase::attribute_map())
Declares a new key of the Record.
Definition: type_record.cc:503
mesh.h
DualPorosity::EqFields::porosity
Field< 3, FieldValue< 3 >::Scalar > porosity
Porosity field.
Definition: dual_porosity.hh:76
Input::Record::find
Iterator< Ret > find(const string &key) const
Definition: accessors_impl.hh:91
FieldFlag::input_copy
static constexpr Mask input_copy
Definition: field_flag.hh:44
Input::Type::Record::close
Record & close() const
Close the Record for further declarations of keys.
Definition: type_record.cc:304
Input::Type
Definition: balance.hh:41
Input::Type::Record
Record type proxy class.
Definition: type_record.hh:182
DualPorosity::reaction_immobile
std::shared_ptr< ReactionTerm > reaction_immobile
Reaction running in immobile zone.
Definition: dual_porosity.hh:155
FieldCommon::input_default
FieldCommon & input_default(const string &input_default)
Definition: field_common.hh:140
DualPorosity::output_data
void output_data(void) override
Main output routine.
Definition: dual_porosity.cc:283
Mesh
Definition: mesh.h:362
DualPorosity::EqFields
DualPorosity fields.
Definition: dual_porosity.hh:64
Input::Type::Array
Class for declaration of inputs sequences.
Definition: type_base.hh:339
DualPorosity::reaction_assembly_
GenericAssembly< ReactionAssemblyDp > * reaction_assembly_
Definition: dual_porosity.hh:159
dual_porosity.hh
Class Dual_por_exchange implements the model of dual porosity.
DualPorosity::zero_time_step
void zero_time_step() override
Definition: dual_porosity.cc:228
DHCellAccessor
Cell accessor allow iterate over DOF handler cells.
Definition: dh_cell_accessor.hh:43
DualPorosity::get_input_type
static const Input::Type::Record & get_input_type()
Definition: dual_porosity.cc:47
Input::Array
Accessor to input data conforming to declared Array.
Definition: accessors.hh:566
WarningOut
#define WarningOut()
Macro defining 'warning' record of log.
Definition: logger.hh:278
DualPorosity::eq_data_
std::shared_ptr< EqData > eq_data_
Equation data.
Definition: dual_porosity.hh:147
DualPorosity::EqData::EqData
EqData()
Constructor.
Definition: dual_porosity.cc:110
ReactionTerm::it_abstract_term
static Input::Type::Abstract & it_abstract_term()
Definition: reaction_term.cc:25
ReactionTerm::eq_fields_base_
std::shared_ptr< EqFields > eq_fields_base_
Equation data - all fields needs in assembly class.
Definition: reaction_term.hh:149
region.hh
DualPorosity::EqFields::output_fields
EquationOutput output_fields
Fields indended for output, i.e. all input fields plus those representing solution.
Definition: dual_porosity.hh:82
ReactionTerm::eq_data_base_
std::shared_ptr< EqData > eq_data_base_
Equation data - all data needs in assembly class.
Definition: reaction_term.hh:152
DualPorosity::initialize_fields
void initialize_fields()
Initializes field sets.
Definition: dual_porosity.cc:198
FieldCommon::description
FieldCommon & description(const string &description)
Definition: field_common.hh:128
reaction_term.hh
Class ReactionTerm is an abstract class representing reaction term in transport.
ReactionTerm::it_abstract_mobile_term
static Input::Type::Abstract & it_abstract_mobile_term()
Definition: reaction_term.cc:31
ReactionTerm
Definition: reaction_term.hh:46
radioactive_decay.hh
Input::Type::Default::optional
static Default optional()
The factory function to make an empty default value which is optional.
Definition: type_record.hh:124
START_TIMER
#define START_TIMER(tag)
Starts a timer with specified tag.
Definition: sys_profiler.hh:115
GenericAssembly< InitConditionAssemblyDp >
END_TIMER
#define END_TIMER(tag)
Ends a timer with specified tag.
Definition: sys_profiler.hh:149
DualPorosity::EqFields::conc_immobile
MultiField< 3, FieldValue< 3 >::Scalar > conc_immobile
Calculated concentrations in the immobile zone.
Definition: dual_porosity.hh:78
FieldCommon::name
FieldCommon & name(const string &name)
Definition: field_common.hh:121
FMT_UNUSED
#define FMT_UNUSED
Definition: posix.h:75