Flow123d  3.9.1-60c7e5c
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"
34 
35 #include "reaction/sorption.hh"
39 #include "input/factory.hh"
40 
41 FLOW123D_FORCE_LINK_IN_CHILD(dualPorosity)
42 
43 
44 using namespace Input::Type;
45 
46 
47 
49  return Record("DualPorosity",
50  "Dual porosity model in transport problems.\n"
51  "Provides computing the concentration of substances in mobile and immobile zone.\n"
52  )
54  .declare_key("input_fields", Array(DualPorosity::EqFields().make_field_descriptor_type("DualPorosity")), Default::obligatory(),
55  "Containes region specific data necessary to construct dual porosity model.")
56  .declare_key("scheme_tolerance", Double(0.0), Default("1e-3"),
57  "Tolerance according to which the explicit Euler scheme is used or not."
58  "Set 0.0 to use analytic formula only (can be slower).")
59 
60  .declare_key("reaction_mobile", ReactionTerm::it_abstract_mobile_term(), Default::optional(), "Reaction model in mobile zone.")
61  .declare_key("reaction_immobile", ReactionTerm::it_abstract_immobile_term(), Default::optional(), "Reaction model in immobile zone.")
62  .declare_key("output",
63  EqFields().output_fields.make_output_type("DualPorosity", ""),
64  IT::Default("{ \"fields\": [ \"conc_immobile\" ] }"),
65  "Setting of the fields output.")
66  .close();
67 }
68 
69 const int DualPorosity::registrar =
70  Input::register_class< DualPorosity, Mesh &, Input::Record >("DualPorosity") +
72 
75 {
77  .name("diffusion_rate_immobile")
78  .description("Diffusion coefficient of non-equilibrium linear exchange between mobile and immobile zone.")
79  .input_default("0")
80  .units( UnitSI().s(-1) );
81 
82  *this += porosity_immobile
83  .name("porosity_immobile")
84  .description("Porosity of the immobile zone.")
85  .input_default("0")
87  .set_limits(0.0);
88 
89  *this += init_conc_immobile
90  .name("init_conc_immobile")
91  .description("Initial concentration of substances in the immobile zone.")
92  .units( UnitSI().kg().m(-3) );
93 
94  //creating field for porosity that is set later from the governing equation (transport)
95  *this +=porosity
96  .name("porosity")
97  .description("Concentration solution in the mobile phase.")
100  .set_limits(0.0);
101 
102  *this += conc_immobile
103  .name("conc_immobile")
104  .units( UnitSI().kg().m(-3) )
106 
107  output_fields += *this;
108 
109 }
110 
112 : ReactionTerm::EqData() {}
113 
115  : ReactionTerm(init_mesh, in_rec),
116  init_condition_assembly_(nullptr),
117  reaction_assembly_(nullptr)
118 {
119  eq_fields_ = std::make_shared<EqFields>();
120  eq_fields_->add_coords_field();
121  //set pointer to equation data fieldset
122  this->eq_fieldset_ = eq_fields_.get();
123  this->eq_fields_base_ = std::static_pointer_cast<ReactionTerm::EqFields>(eq_fields_);
124 
125  eq_data_ = std::make_shared<EqData>();
126  this->eq_data_base_ = std::static_pointer_cast<ReactionTerm::EqData>(eq_data_);
127 
128  //reads input and creates possibly other reaction terms
129  make_reactions();
130  //read value from input
131  eq_data_->scheme_tolerance_ = input_record_.val<double>("scheme_tolerance");
132 }
133 
135 {
137  if (reaction_assembly_!=nullptr) delete reaction_assembly_;
138 }
139 
140 
143  if ( reactions_it )
144  {
145  // TODO: allowed instances in this case are only
146  // FirstOrderReaction, RadioactiveDecay and SorptionMob
147  reaction_mobile = (*reactions_it).factory< ReactionTerm, Mesh &, Input::Record >(*mesh_, *reactions_it);
148  } else
149  {
150  reaction_mobile = nullptr;
151  }
152 
153  reactions_it = input_record_.find<Input::AbstractRecord>("reaction_immobile");
154  if ( reactions_it )
155  {
156  // TODO: allowed instances in this case are only
157  // FirstOrderReaction, RadioactiveDecay and SorptionImmob
158  reaction_immobile = (*reactions_it).factory< ReactionTerm, Mesh &, Input::Record >(*mesh_, *reactions_it);
159  } else
160  {
161  reaction_immobile = nullptr;
162  }
163 
164 }
165 
167 {
168  ASSERT_PERMANENT(time_ != nullptr).error("Time governor has not been set yet.\n");
169  ASSERT_PERMANENT_LT(0, eq_data_->substances_.size()).error("No substances for rection term.\n");
170  ASSERT_PERMANENT(output_stream_ != nullptr).error("Null output stream.\n");
171 
172  eq_data_->time_ = this->time_;
173 
175 
176  if(reaction_mobile)
177  {
178  reaction_mobile->substances(eq_data_->substances_)
179  .output_stream(output_stream_)
180  .concentration_fields(eq_fields_->conc_mobile_fe)
181  .set_time_governor(*time_);
182  reaction_mobile->initialize();
183  }
184 
186  {
187  reaction_immobile->substances(eq_data_->substances_)
188  .output_stream(output_stream_)
189  .concentration_fields(eq_fields_->conc_immobile_fe)
190  .set_time_governor(*time_);
191  reaction_immobile->initialize();
192  }
193 
196 
197 }
198 
200 {
201  eq_fields_->set_components(eq_data_->substances_.names());
202  //setting fields that are set from input file
205 
206  //setting fields in data
207  eq_fields_->set_mesh(*mesh_);
208 
209  //initialization of output
210  eq_fields_->output_fields.set_components(eq_data_->substances_.names());
211  eq_fields_->output_fields.set_mesh(*mesh_);
212  eq_fields_->output_fields.output_type(OutputTime::ELEM_DATA);
213  eq_fields_->conc_immobile.setup_components();
214 
215 
216  //creating field fe and output multifield for sorbed concentrations
217  eq_fields_->conc_immobile_fe.resize(eq_data_->substances_.size());
218  for (unsigned int sbi = 0; sbi < eq_data_->substances_.size(); sbi++)
219  {
220  // create shared pointer to a FieldFE and push this Field to output_field on all regions
221  eq_fields_->conc_immobile_fe[sbi] = create_field_fe< 3, FieldValue<3>::Scalar >(eq_data_->dof_handler_);
222  eq_fields_->conc_immobile[sbi].set(eq_fields_->conc_immobile_fe[sbi], 0);
223  }
224 
225  eq_fields_->output_fields.initialize(output_stream_, mesh_, input_record_.val<Input::Record>("output"),time());
226 }
227 
228 
230 {
231  ASSERT(time_ != nullptr).error("Time governor has not been set yet.\n");
232  ASSERT_LT(0, eq_data_->substances_.size()).error("No substances for rection term.\n");
233  ASSERT(output_stream_ != nullptr).error("Null output stream.\n");
234 
235  //coupling - passing fields
236  if(reaction_mobile)
237  if (typeid(*reaction_mobile) == typeid(SorptionMob))
238  {
239  reaction_mobile->eq_fieldset().set_field("porosity", (*eq_fields_)["porosity"]);
240  reaction_mobile->eq_fieldset().set_field("porosity_immobile", (*eq_fields_)["porosity_immobile"]);
241  }
243  if (typeid(*reaction_immobile) == typeid(SorptionImmob))
244  {
245  reaction_immobile->eq_fieldset().set_field("porosity", (*eq_fields_)["porosity"]);
246  reaction_immobile->eq_fieldset().set_field("porosity_immobile", (*eq_fields_)["porosity_immobile"]);
247  }
248 
249  eq_fields_->set_time(time_->step(0), LimitSide::right);
250  std::stringstream ss; // print warning message with table of uninitialized fields
251  if ( FieldCommon::print_message_table(ss, "dual porosity") ) {
252  WarningOut() << ss.str();
253  }
255 
256  output_data();
257 
258  if(reaction_mobile)
259  reaction_mobile->zero_time_step();
260 
262  reaction_immobile->zero_time_step();
263 
264 }
265 
267 {
268  eq_fields_->set_time(time_->step(-2), LimitSide::right);
269 
270  START_TIMER("dual_por_exchange_step");
271  reaction_assembly_->assemble(eq_data_->dof_handler_);
272  END_TIMER("dual_por_exchange_step");
273 
274  if(reaction_mobile) reaction_mobile->update_solution();
275  if(reaction_immobile) reaction_immobile->update_solution();
276 }
277 
278 
280 {
281 }
282 
283 
285 {
286  eq_fields_->output_fields.set_time(time_->step(), LimitSide::right);
287 
288  // Register fresh output data
289  eq_fields_->output_fields.output(time_->step());
290 
291  if (time_->tlevel() !=0) {
292  // zero_time_step call zero_time_Step of subreactions which performs its own output
293  if (reaction_mobile) reaction_mobile->output_data();
294  if (reaction_immobile) reaction_immobile->output_data();
295  }
296 }
DualPorosity::EqFields::EqFields
EqFields()
Collect all fields.
Definition: dual_porosity.cc:73
FieldCommon::units
FieldCommon & units(const UnitSI &units)
Set basic units of the field.
Definition: field_common.hh:152
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:219
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:166
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
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:220
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:148
FieldSet::set_input_list
void set_input_list(Input::Array input_list, const TimeGovernor &tg)
Definition: field_set.hh:289
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:279
DualPorosity::update_solution
void update_solution(void) override
Definition: dual_porosity.cc:266
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:158
FieldCommon::flags
FieldCommon & flags(FieldFlag::Flags::Mask mask)
Definition: field_common.hh:191
field_fe.hh
DualPorosity::make_reactions
void make_reactions()
Resolves construction of following reactions.
Definition: dual_porosity.cc:141
GenericAssembly::assemble
void assemble(std::shared_ptr< DOFHandlerMultiDim > dh) override
General assemble methods.
Definition: generic_assembly.hh:204
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:607
TimeGovernor::step
const TimeStep & step(int index=-1) const
Definition: time_governor.cc:756
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:221
DualPorosity::~DualPorosity
~DualPorosity(void)
Destructor.
Definition: dual_porosity.cc:134
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:139
DualPorosity::output_data
void output_data(void) override
Main output routine.
Definition: dual_porosity.cc:284
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:229
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:48
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:111
ReactionTerm::it_abstract_term
static Input::Type::Abstract & it_abstract_term()
Definition: reaction_term.cc:25
fe_value_handler.hh
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
EquationBase::eq_fieldset_
FieldSet * eq_fieldset_
Definition: equation.hh:228
DualPorosity::initialize_fields
void initialize_fields()
Initializes field sets.
Definition: dual_porosity.cc:199
FieldCommon::description
FieldCommon & description(const string &description)
Definition: field_common.hh:127
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:120
FMT_UNUSED
#define FMT_UNUSED
Definition: posix.h:75