Flow123d  release_1.8.2-1603-g0109a2b
transport_operator_splitting.hh
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 transport_operator_splitting.hh
15  * @brief
16  */
17 
18 #ifndef TRANSPORT_OPERATOR_SPLITTING_HH_
19 #define TRANSPORT_OPERATOR_SPLITTING_HH_
20 
21 #include "coupling/equation.hh"
22 
23 #include <limits>
24 
25 #include "io/output_time.hh"
26 //#include "flow/darcy_flow_mh.hh"
27 #include "flow/mh_dofhandler.hh"
29 #include "fields/field_values.hh"
30 #include "fields/field_set.hh"
31 #include "fields/multi_field.hh"
32 #include "transport/substance.hh"
34 
35 
36 /// external types:
37 class Mesh;
38 class ReactionTerm;
40 class Semchem_interface;
41 class Balance;
42 
43 
44 
45 
46 
47 
48 
49 /**
50  * Abstract interface class for implementations of transport equation within TransportOperatorSplitting.
51  */
53 public:
54 
55  /**
56  * Constructor.
57  */
58  ConcentrationTransportBase(Mesh &init_mesh, const Input::Record in_rec)
59  : EquationBase(init_mesh, in_rec) {};
60 
61 
62  /// Common specification of the input record for secondary equations.
64 
65 
66  /**
67  * Set time interval which is considered as one time step by TransportOperatorSplitting.
68  * In particular the velocity field dosn't change over this interval.
69  *
70  * Dependencies:
71  *
72  * velocity, porosity -> matrix, source_vector
73  * matrix -> time_step
74  *
75  * data_read_times -> time_step (not necessary if we won't stick to jump times)
76  * data -> source_vector
77  * time_step -> scaling
78  *
79  *
80  *
81  */
82  virtual void set_target_time(double target_time) = 0;
83 
84  /**
85  * Use Balance object from upstream equation (e.g. in various couplings) instead of own instance.
86  */
87  virtual void set_balance_object(boost::shared_ptr<Balance> balance) = 0;
88 
89  /// Computes a constraint for time step.
90  virtual bool evaluate_time_constraint(double &time_constraint) = 0;
91 
92  /// Return substance indices used in balance.
93  virtual const vector<unsigned int> &get_subst_idx() = 0;
94 
95  /**
96  * Calculate quantities necessary for cumulative balance (over time).
97  * This method is called at each (sub)iteration of the time loop.
98  */
99  virtual void calculate_cumulative_balance() = 0;
100 
101  /**
102  * Calculate instant quantities at output times.
103  */
104  virtual void calculate_instant_balance() = 0;
105 
106  /// Calculate the array of concentrations per element (for reactions).
107  virtual void calculate_concentration_matrix() = 0;
108 
109  /// Perform changes to transport solution after reaction step.
110  virtual void update_after_reactions(bool solution_changed) = 0;
111 
112  /// Setter for output stream.
113  virtual void set_output_stream(std::shared_ptr<OutputTime> stream) = 0;
114 
115  /// Getter for output stream.
116  virtual std::shared_ptr<OutputTime> output_stream() = 0;
117 
118  /// Getter for array of concentrations per element.
119  virtual double **get_concentration_matrix() = 0;
120 
121  /// Return PETSc vector with solution for sbi-th substance.
122  virtual const Vec &get_solution(unsigned int sbi) = 0;
123 
124  /// Return array of indices of local elements and parallel distribution of elements.
125  virtual void get_par_info(int * &el_4_loc, Distribution * &el_ds) = 0;
126 
127  /// Return global array of order of elements within parallel vector.
128  virtual int *get_row_4_el() = 0;
129 
130  /// Pass velocity from flow to transport.
131  virtual void set_velocity_field(const MH_DofHandler &dh) = 0;
132 
133  /// Returns number of trnasported substances.
134  virtual unsigned int n_substances() = 0;
135 
136  /// Returns reference to the vector of substnace names.
137  virtual SubstanceList &substances() = 0;
138 
139 
140 };
141 
142 
143 
144 
145 
146 /**
147  * Class with fields that are common to all transport models.
148  */
149 class TransportEqData : public FieldSet {
150 public:
151 
152  TransportEqData();
153  inline virtual ~TransportEqData() {};
154 
155  /// Mobile porosity
157 
158  /// Pointer to DarcyFlow field cross_section
160 
161  /// Concentration sources - density of substance source, only positive part is used.
163  /// Concentration sources - Robin type, in_flux = sources_sigma * (sources_conc - mobile_conc)
166 
167 };
168 
169 
170 
171 
172 /**
173  * @brief Empty transport class.
174  */
176 public:
177  inline TransportNothing(Mesh &mesh_in)
178  : AdvectionProcessBase(mesh_in, Input::Record() )
179 
180  {
181  // make module solved for ever
182  time_=new TimeGovernor();
183  time_->next_time();
184  };
185 
186  inline virtual ~TransportNothing()
187  {}
188 
189  inline void set_velocity_field(const MH_DofHandler &dh) override {};
190 
191  inline virtual void output_data() override {};
192 
193 
194 };
195 
196 
197 
198 /**
199  * @brief Coupling of a transport model with a reaction model by operator splitting.
200  *
201  * Outline:
202  * Transport model is any descendant of TransportBase (even TransportOperatorSplitting itself). This
203  * should perform the transport possibly with diffusion and usually without coupling between substances and phases.
204  *
205  * Reaction is any descendant of the ReactionBase class. This represents reactions in general way of any coupling that
206  * happens between substances and phases on one element or more generally on one DoF.
207  */
208 
210 public:
211  /**
212  * @brief Declare input record type for the equation TransportOperatorSplittiong.
213  *
214  * TODO: The question is if this should be a general coupling class
215  * (e.g. allow coupling TranportDG with reactions even if it is not good idea for numerical reasons.)
216  * To make this a coupling class we should modify all main input files for transport problems.
217  */
218  static const Input::Type::Record & get_input_type();
219 
220  /// Constructor.
221  TransportOperatorSplitting(Mesh &init_mesh, const Input::Record in_rec);
222  /// Destructor.
223  virtual ~TransportOperatorSplitting();
224 
225  virtual void set_velocity_field(const MH_DofHandler &dh) override;
226 
227  void zero_time_step() override;
228  void update_solution() override;
229 
230  void compute_until_save_time();
231  void compute_internal_step();
232  void output_data() override;
233 
234 
235 
236 private:
237  /// Registrar of class to factory
238  static const int registrar;
239 
240  std::shared_ptr<ConcentrationTransportBase> convection;
241  std::shared_ptr<ReactionTerm> reaction;
242 
243  double *** semchem_conc_ptr; //dumb 3-dim array (for phases, which are not supported any more)
245 
246 };
247 
248 
249 
250 
251 
252 #endif // TRANSPORT_OPERATOR_SPLITTING_HH_
void set_velocity_field(const MH_DofHandler &dh) override
virtual void zero_time_step()
Definition: equation.hh:100
Abstract base class for equation clasess.
Container for various descendants of FieldCommonBase.
Definition: field_set.hh:61
ConcentrationTransportBase(Mesh &init_mesh, const Input::Record in_rec)
virtual void set_output_stream(std::shared_ptr< OutputTime > stream)=0
Setter for output stream.
virtual void set_balance_object(boost::shared_ptr< Balance > balance)=0
Class template representing a field with values dependent on: point, element, and region...
Definition: field.hh:62
void next_time()
Proceed to the next time according to current estimated time step.
virtual int * get_row_4_el()=0
Return global array of order of elements within parallel vector.
virtual void update_after_reactions(bool solution_changed)=0
Perform changes to transport solution after reaction step.
MultiField< 3, FieldValue< 3 >::Scalar > sources_density
Concentration sources - density of substance source, only positive part is used.
virtual double ** get_concentration_matrix()=0
Getter for array of concentrations per element.
Coupling of a transport model with a reaction model by operator splitting.
Definition: mesh.h:99
MultiField< 3, FieldValue< 3 >::Scalar > sources_conc
virtual void set_target_time(double target_time)=0
virtual void set_velocity_field(const MH_DofHandler &dh)=0
Pass velocity from flow to transport.
static Input::Type::Abstract & get_input_type()
Common specification of the input record for secondary equations.
Basic time management functionality for unsteady (and steady) solvers (class Equation).
virtual bool evaluate_time_constraint(double &time_constraint)=0
Computes a constraint for time step.
virtual void output_data()
Write computed fields.
Definition: equation.hh:214
virtual unsigned int n_substances()=0
Returns number of trnasported substances.
std::shared_ptr< ReactionTerm > reaction
virtual std::shared_ptr< OutputTime > output_stream()=0
Getter for output stream.
MultiField< 3, FieldValue< 3 >::Scalar > sources_sigma
Concentration sources - Robin type, in_flux = sources_sigma * (sources_conc - mobile_conc) ...
Accessor to the data with type Type::Record.
Definition: accessors.hh:277
virtual void output_data() override
Write computed fields.
virtual void calculate_instant_balance()=0
Class for declaration of polymorphic Record.
virtual const vector< unsigned int > & get_subst_idx()=0
Return substance indices used in balance.
Empty transport class.
virtual SubstanceList & substances()=0
Returns reference to the vector of substnace names.
std::shared_ptr< ConcentrationTransportBase > convection
virtual void update_solution()
Definition: equation.hh:115
Classes for storing substance data.
virtual const Vec & get_solution(unsigned int sbi)=0
Return PETSc vector with solution for sbi-th substance.
Record type proxy class.
Definition: type_record.hh:171
Class for representation of a vector of fields of the same physical quantity.
Definition: multi_field.hh:55
Field< 3, FieldValue< 3 >::Scalar > cross_section
Pointer to DarcyFlow field cross_section.
virtual void get_par_info(int *&el_4_loc, Distribution *&el_ds)=0
Return array of indices of local elements and parallel distribution of elements.
TimeGovernor * time_
Definition: equation.hh:222
virtual void calculate_cumulative_balance()=0
static const int registrar
Registrar of class to factory.
virtual void calculate_concentration_matrix()=0
Calculate the array of concentrations per element (for reactions).