Flow123d  3.9.1-60c7e5c
heat_model.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 heat_model.cc
15  * @brief Discontinuous Galerkin method for equation of transport with dispersion.
16  * @author Jan Stebel
17  */
18 
19 #include "input/input_type.hh"
20 #include "mesh/mesh.h"
21 #include "mesh/accessors.hh"
22 //#include "transport/transport_operator_splitting.hh"
23 #include "heat_model.hh"
24 #include "tools/unit_si.hh"
25 #include "coupling/balance.hh"
26 #include "fields/field_model.hh"
27 #include "fields/field_constant.hh"
28 
29 
30 
31 using namespace std;
32 using namespace Input::Type;
33 
34 
35 /*******************************************************************************
36  * Functors of FieldModels
37  */
38 using Sclr = double;
39 using Vect = arma::vec3;
40 using Tens = arma::mat33;
41 
42 // Functor computing velocity norm
44  inline Sclr operator() (Vect vel) {
45  return arma::norm(vel, 2);
46  }
47 };
48 
49 /**
50  * Functor computing mass matrix coefficients:
51  * cross_section * (porosity*fluid_density*fluid_heat_capacity + (1.-porosity)*solid_density*solid_heat_capacity)
52  */
54  inline Sclr operator() (Sclr csec, Sclr por, Sclr f_rho, Sclr f_c, Sclr s_rho, Sclr s_c) {
55  return csec * (por*f_rho*f_c + (1.-por)*s_rho*s_c);
56  }
57 };
58 
59 /**
60  * Functor computing sources density output:
61  * cross_section * (porosity*fluid_thermal_source + (1-porosity)*solid_thermal_source)
62  */
64  inline Sclr operator() (Sclr csec, Sclr por, Sclr f_source, Sclr s_source) {
65  return csec * (por * f_source + (1.-por) * s_source);
66  }
67 };
68 
69 /**
70  * Functor computing sources sigma output:
71  * cross_section * (porosity*fluid_density*fluid_heat_capacity*fluid_heat_exchange_rate + (1-porosity)*solid_density*solid_heat_capacity*solid_thermal_source)
72  */
74  inline Sclr operator() (Sclr csec, Sclr por, Sclr f_rho, Sclr f_cap, Sclr f_sigma, Sclr s_rho, Sclr s_cap, Sclr s_sigma) {
75  return csec * (por * f_rho * f_cap * f_sigma + (1.-por) * s_rho * s_cap * s_sigma);
76  }
77 };
78 
79 /**
80  * Functor computing sources concentration output for positive heat_sources_sigma (otherwise return 0):
81  * cross_section * (porosity*fluid_density*fluid_heat_capacity*fluid_heat_exchange_rate*fluid_ref_temperature + (1-porosity)*solid_density*solid_heat_capacity*solid_heat_exchange_rate*solid_ref_temperature)
82  */
84  inline Sclr operator() (Sclr csec, Sclr por, Sclr f_rho, Sclr f_cap, Sclr f_sigma, Sclr f_temp, Sclr s_rho, Sclr s_cap, Sclr s_sigma, Sclr s_temp, Sclr sigma) {
85  if (fabs(sigma) > numeric_limits<double>::epsilon())
86  return csec * (por * f_rho * f_cap * f_sigma * f_temp + (1.-por) * s_rho * s_cap * s_sigma * s_temp);
87  else {
88  return 0;
89  }
90  }
91 };
92 
93 /**
94  * Functor computing advection coefficient
95  * velocity * fluid_density * fluid_heat_capacity
96  */
98  inline Vect operator() (Sclr f_rho, Sclr f_cap, Vect velocity) {
99  return velocity * f_rho * f_cap;
100  }
101 };
102 
103 /**
104  * Functor computing diffusion coefficient (see notes in function)
105  */
107  inline Tens operator() (Vect velocity, Sclr v_norm, Sclr f_rho, Sclr disp_l, Sclr disp_t, Sclr f_cond, Sclr s_cond, Sclr c_sec, Sclr por) {
108  // result
109  Tens dif_coef;
110 
111  // dispersive part of thermal diffusion
112  // Note that the velocity vector is in fact the Darcian flux,
113  // so to obtain |v| we have to divide vnorm by porosity and cross_section.
114  if ( fabs(v_norm) > 0 )
115  for (int i=0; i<3; i++)
116  for (int j=0; j<3; j++)
117  dif_coef(i,j) = ( (velocity(i)/v_norm) * (velocity(j)/v_norm) * (disp_l-disp_t) + disp_t*(i==j?1:0))*v_norm*f_rho*f_cond;
118  else
119  dif_coef.zeros();
120 
121  // conductive part of thermal diffusion
122  dif_coef += c_sec * (por*f_cond + (1.-por)*s_cond) * arma::eye(3,3);
123  return dif_coef;
124  }
125 };
126 
127 
128 
129 
130 
131 
132 
133 
135 {
136  *this+=bc_type
137  .name("bc_type")
138  .description(
139  "Type of boundary condition.")
140  .units( UnitSI::dimensionless() )
141  .input_default("\"inflow\"")
142  .input_selection( get_bc_type_selection() )
144  *this+=bc_dirichlet_value
145  .name("bc_temperature")
146  .description("Boundary value of temperature.")
147  .units( UnitSI().K() )
148  .input_default("0.0")
149  .flags_add(in_rhs);
150  *this+=bc_flux
151  .disable_where(bc_type, { bc_dirichlet, bc_inflow })
152  .name("bc_flux")
153  .description("Flux in Neumann boundary condition.")
154  .units( UnitSI().kg().m().s(-1).md() )
155  .input_default("0.0")
156  .flags_add(FieldFlag::in_rhs);
157  *this+=bc_robin_sigma
158  .disable_where(bc_type, { bc_dirichlet, bc_inflow })
159  .name("bc_robin_sigma")
160  .description("Conductivity coefficient in Robin boundary condition.")
161  .units( UnitSI().m(4).s(-1).md() )
162  .input_default("0.0")
164 
165  *this+=init_condition
166  .name("init_temperature")
167  .description("Initial temperature.")
168  .units( UnitSI().K() )
169  .input_default("0.0");
170 
171  *this+=porosity
172  .name("porosity")
173  .description("Porosity.")
174  .units( UnitSI::dimensionless() )
175  .input_default("1.0")
176  .flags_add(in_main_matrix & in_time_term)
177  .set_limits(0.0);
178 
179  *this+=water_content
180  .name("water_content")
181  .units( UnitSI::dimensionless() )
182  .input_default("1.0")
183  .flags_add(input_copy & in_main_matrix & in_time_term);
184 
185  *this += flow_flux.name("flow_flux")
186  .flags( FieldFlag::input_copy )
187  .flags_add(in_time_term & in_main_matrix & in_rhs);
188 
189  *this+=fluid_density
190  .name("fluid_density")
191  .description("Density of fluid.")
192  .units( UnitSI().kg().m(-3) )
193  .input_default("1000")
194  .flags_add(in_main_matrix & in_time_term);
195 
196  *this+=fluid_heat_capacity
197  .name("fluid_heat_capacity")
198  .description("Heat capacity of fluid.")
199  .units( UnitSI::J() * UnitSI().kg(-1).K(-1) )
200  .flags_add(in_main_matrix & in_time_term);
201 
202  *this+=fluid_heat_conductivity
203  .name("fluid_heat_conductivity")
204  .description("Heat conductivity of fluid.")
205  .units( UnitSI::W() * UnitSI().m(-1).K(-1) )
206  .flags_add(in_main_matrix)
207  .set_limits(0.0);
208 
209 
210  *this+=solid_density
211  .name("solid_density")
212  .description("Density of solid (rock).")
213  .units( UnitSI().kg().m(-3) )
214  .flags_add(in_time_term);
215 
216  *this+=solid_heat_capacity
217  .name("solid_heat_capacity")
218  .description("Heat capacity of solid (rock).")
219  .units( UnitSI::J() * UnitSI().kg(-1).K(-1) )
220  .flags_add(in_time_term);
221 
222  *this+=solid_heat_conductivity
223  .name("solid_heat_conductivity")
224  .description("Heat conductivity of solid (rock).")
225  .units( UnitSI::W() * UnitSI().m(-1).K(-1) )
226  .flags_add(in_main_matrix)
227  .set_limits(0.0);
228 
229  *this+=disp_l
230  .name("disp_l")
231  .description("Longitudinal heat dispersivity in fluid.")
232  .units( UnitSI().m() )
233  .input_default("0.0")
234  .flags_add(in_main_matrix);
235 
236  *this+=disp_t
237  .name("disp_t")
238  .description("Transverse heat dispersivity in fluid.")
239  .units( UnitSI().m() )
240  .input_default("0.0")
241  .flags_add(in_main_matrix);
242 
243  *this+=fluid_thermal_source
244  .name("fluid_thermal_source")
245  .description("Density of thermal source in fluid.")
246  .units( UnitSI::W() * UnitSI().m(-3) )
247  .input_default("0.0")
248  .flags_add(in_rhs);
249 
250  *this+=solid_thermal_source
251  .name("solid_thermal_source")
252  .description("Density of thermal source in solid.")
253  .units( UnitSI::W() * UnitSI().m(-3) )
254  .input_default("0.0")
255  .flags_add(in_rhs);
256 
257  *this+=fluid_heat_exchange_rate
258  .name("fluid_heat_exchange_rate")
259  .description("Heat exchange rate of source in fluid.")
260  .units( UnitSI().s(-1) )
261  .input_default("0.0")
262  .flags_add(in_rhs);
263 
264  *this+=solid_heat_exchange_rate
265  .name("solid_heat_exchange_rate")
266  .description("Heat exchange rate of source in solid.")
267  .units( UnitSI().s(-1) )
268  .input_default("0.0")
269  .flags_add(in_rhs);
270 
271  *this+=fluid_ref_temperature
272  .name("fluid_ref_temperature")
273  .description("Reference temperature of source in fluid.")
274  .units( UnitSI().K() )
275  .input_default("0.0")
276  .flags_add(in_rhs);
277 
278  *this+=solid_ref_temperature
279  .name("solid_ref_temperature")
280  .description("Reference temperature in solid.")
281  .units( UnitSI().K() )
282  .input_default("0.0")
283  .flags_add(in_rhs);
284 
285  *this+=cross_section
286  .name("cross_section")
287  .units( UnitSI().m(3).md() )
288  .flags(input_copy & in_time_term & in_main_matrix);
289 
290  *this+=output_field
291  .name("temperature")
292  .description("Temperature solution.")
293  .units( UnitSI().K() )
294  .flags(equation_result);
295 
296 
297  // initiaization of FieldModels
298  *this += v_norm.name("v_norm")
299  .description("Velocity norm field.")
300  .input_default("0.0")
301  .units( UnitSI().m().s(-1) );
302 
303  *this += mass_matrix_coef.name("mass_matrix_coef")
304  .description("Matrix coefficients computed by model in mass assemblation.")
305  .input_default("0.0")
306  .units( UnitSI().m(3).md() );
307 
308  *this += retardation_coef.name("retardation_coef")
309  .description("Retardation coefficients computed by model in mass assemblation.")
310  .input_default("0.0")
311  .units( UnitSI().m(3).md() );
312 
313  *this += sources_conc_out.name("sources_conc_out")
314  .description("Concentration sources output.")
315  .input_default("0.0")
316  .units( UnitSI().kg().m(-3) );
317 
318  *this += sources_density_out.name("sources_density_out")
319  .description("Concentration sources output - density of substance source, only positive part is used..")
320  .input_default("0.0")
321  .units( UnitSI().kg().s(-1).md() );
322 
323  *this += sources_sigma_out.name("sources_sigma_out")
324  .description("Concentration sources - Robin type, in_flux = sources_sigma * (sources_conc - mobile_conc).")
325  .input_default("0.0")
326  .units( UnitSI().s(-1).m(3).md() );
327 
328  *this += advection_coef.name("advection_coef")
329  .description("Advection coefficients model.")
330  .input_default("0.0")
331  .units( UnitSI().m().s(-1) );
332 
333  *this += diffusion_coef.name("diffusion_coef")
334  .description("Diffusion coefficients model.")
335  .input_default("0.0")
336  .units( UnitSI().m(2).s(-1) );
337 }
338 
339 
341 {
342  // create FieldModels
343  v_norm.set(Model<3, FieldValue<3>::Scalar>::create(fn_heat_v_norm(), flow_flux), 0.0);
344  mass_matrix_coef.set(
345  Model<3, FieldValue<3>::Scalar>::create(
346  fn_heat_mass_matrix(), cross_section, porosity, fluid_density, fluid_heat_capacity, solid_density, solid_heat_capacity
347  ),
348  0.0
349  );
350  retardation_coef.set(std::make_shared< FieldConstant<3, FieldValue<3>::Scalar> >(), 0.0);
351  sources_density_out.set(
352  Model<3, FieldValue<3>::Scalar>::create_multi(fn_heat_sources_dens(), cross_section, porosity, fluid_thermal_source, solid_thermal_source),
353  0.0
354  );
355  sources_sigma_out.set(
356  Model<3, FieldValue<3>::Scalar>::create_multi(
357  fn_heat_sources_sigma(), cross_section, porosity, fluid_density, fluid_heat_capacity, fluid_heat_exchange_rate, solid_density,
358  solid_heat_capacity, solid_heat_exchange_rate
359  ),
360  0.0
361  );
362  sources_conc_out.set(
363  Model<3, FieldValue<3>::Scalar>::create_multi(
364  fn_heat_sources_conc(), cross_section, porosity, fluid_density, fluid_heat_capacity, fluid_heat_exchange_rate, fluid_ref_temperature,
365  solid_density, solid_heat_capacity, solid_heat_exchange_rate, solid_ref_temperature, sources_sigma_out
366  ),
367  0.0
368  );
369  advection_coef.set(Model<3, FieldValue<3>::VectorFixed>::create(fn_heat_ad_coef(), fluid_density, fluid_heat_capacity, flow_flux), 0.0);
370  diffusion_coef.set(
371  Model<3, FieldValue<3>::TensorFixed>::create(
372  fn_heat_diff_coef(), flow_flux, v_norm, fluid_density, disp_l, disp_t, fluid_heat_conductivity, solid_heat_conductivity, cross_section, porosity
373  ),
374  0.0
375  );
376 }
377 
378 
380  return Selection("Heat_BC_Type", "Types of boundary conditions for heat transfer model.")
381  .add_value(bc_inflow, "inflow",
382  "Default heat transfer boundary condition.\n"
383  "On water inflow (($(q_w \\le 0)$)), total energy flux is given by the reference temperature 'bc_temperature'. "
384  "On water outflow we prescribe zero diffusive flux, "
385  "i.e. the energy flows out only due to advection.")
386  .add_value(bc_dirichlet, "dirichlet",
387  "Dirichlet boundary condition (($T = T_D $)).\n"
388  "The prescribed temperature (($T_D$)) is specified by the field 'bc_temperature'.")
389  .add_value(bc_total_flux, "total_flux",
390  "Total energy flux boundary condition.\n"
391  "The prescribed incoming total flux can have the general form (($\\delta(f_N+\\sigma_R(T_R-T) )$)), "
392  "where the absolute flux (($f_N$)) is specified by the field 'bc_flux', "
393  "the transition parameter (($\\sigma_R$)) by 'bc_robin_sigma', "
394  "and the reference temperature (($T_R$)) by 'bc_temperature'.")
395  .add_value(bc_diffusive_flux, "diffusive_flux",
396  "Diffusive flux boundary condition.\n"
397  "The prescribed incoming energy flux due to diffusion can have the general form (($\\delta(f_N+\\sigma_R(T_R-T) )$)), "
398  "where the absolute flux (($f_N$)) is specified by the field 'bc_flux', "
399  "the transition parameter (($\\sigma_R$)) by 'bc_robin_sigma', "
400  "and the reference temperature (($T_R$)) by 'bc_temperature'.")
401  .close();
402 }
403 
404 
406 {
407  // Return empty selection just to provide model specific selection name and description.
408  // The fields are added by TransportDG using an auxiliary selection.
409  return IT::Selection(
410  std::string(ModelEqData::name()) + "_DG_output_fields",
411  "Selection of output fields for Heat Transfer DG model.");
412 }
413 
414 
415 
416 IT::Record HeatTransferModel::get_input_type(const string &implementation, const string &description)
417 {
418  return IT::Record(
419  std::string(ModelEqData::name()) + "_" + implementation,
420  description + " for heat transfer.")
423  .declare_key("balance", Balance::get_input_type(), Default("{}"),
424  "Settings for computing balance.")
425  .declare_key("output_stream", OutputTime::get_input_type(), Default("{}"),
426  "Parameters of output stream.");
427 }
428 
429 
431  AdvectionProcessBase(mesh, in_rec)
432 {
433  time_ = new TimeGovernor(in_rec.val<Input::Record>("time"));
434  ASSERT( time_->is_default() == false ).error("Missing key 'time' in Heat_AdvectionDiffusion_DG.");
435 
436  output_stream_ = OutputTime::create_output_stream("heat", in_rec.val<Input::Record>("output_stream"), time().get_unit_conversion());
437  //output_stream_->add_admissible_field_names(in_rec.val<Input::Array>("output_fields"));
438 }
439 
440 
442 {
443  balance_ = std::make_shared<Balance>("energy", mesh_);
444  balance_->init_from_input(in_rec.val<Input::Record>("balance"), *time_);
445  // initialization of balance object
446  eq_data().subst_idx_ = {balance_->add_quantity("energy")};
447  balance_->units(UnitSI().m(2).kg().s(-2));
448 }
449 
450 
452 {}
453 
454 
455 
456 
HeatTransferModel::init_balance
void init_balance(const Input::Record &in_rec)
Definition: heat_model.cc:441
OutputTime::create_output_stream
static std::shared_ptr< OutputTime > create_output_stream(const std::string &equation_name, const Input::Record &in_rec, const std::shared_ptr< TimeUnitConversion > &time_unit_conv)
This method delete all object instances of class OutputTime stored in output_streams vector.
Definition: output_time.cc:187
FieldFlag::in_rhs
static constexpr Mask in_rhs
A field is part of the right hand side of the equation.
Definition: field_flag.hh:51
fn_heat_ad_coef
Definition: heat_model.cc:97
EquationBase::mesh_
Mesh * mesh_
Definition: equation.hh:219
fn_heat_diff_coef
Definition: heat_model.cc:106
UnitSI::dimensionless
static UnitSI & dimensionless()
Returns dimensionless unit.
Definition: unit_si.cc:55
field_constant.hh
ASSERT
#define ASSERT(expr)
Definition: asserts.hh:351
EquationBase::time_
TimeGovernor * time_
Definition: equation.hh:220
Input::Record::val
const Ret val(const string &key) const
Definition: accessors_impl.hh:31
EquationBase::time
TimeGovernor & time()
Definition: equation.hh:148
Input::Type::Selection::close
const Selection & close() const
Close the Selection, no more values can be added.
Definition: type_selection.cc:65
FieldConstant
Definition: field_constant.hh:43
arma::vec3
Definition: doxy_dummy_defs.hh:17
fn_heat_sources_sigma
Definition: heat_model.cc:73
UnitSI::W
static UnitSI & W()
Returns Watt.
Definition: unit_si.cc:45
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
fn_heat_sources_dens
Definition: heat_model.cc:63
accessors.hh
EquationBase::balance_
std::shared_ptr< Balance > balance_
object for calculation and writing the mass balance to file.
Definition: equation.hh:231
Input::Record
Accessor to the data with type Type::Record.
Definition: accessors.hh:291
AdvectionProcessBase
Definition: advection_process_base.hh:19
field_model.hh
TimeGovernor
Basic time management functionality for unsteady (and steady) solvers (class Equation).
Definition: time_governor.hh:317
UnitSI
Class for representation SI units of Fields.
Definition: unit_si.hh:40
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
AdvectionProcessBase::get_input_type
static Input::Type::Abstract & get_input_type()
Common specification of the input record for secondary equations.
Definition: advection_process_base.hh:27
mesh.h
Input::Type::Selection
Template for classes storing finite set of named values.
Definition: type_selection.hh:65
FieldFlag::input_copy
static constexpr Mask input_copy
Definition: field_flag.hh:44
HeatTransferModel::ModelEqFields::initialize
void initialize()
Definition: heat_model.cc:340
heat_model.hh
Discontinuous Galerkin method for equation of transport with dispersion.
Input::Type
Definition: balance.hh:41
Input::Type::Record
Record type proxy class.
Definition: type_record.hh:182
fn_heat_v_norm
Definition: heat_model.cc:43
Sclr
double Sclr
Definition: field_add_potential.hh:33
FieldFlag::in_main_matrix
static constexpr Mask in_main_matrix
A field is part of main "stiffness matrix" of the equation.
Definition: field_flag.hh:49
input_type.hh
Mesh
Definition: mesh.h:362
HeatTransferModel::eq_data
virtual ModelEqData & eq_data()=0
Derived class should implement getter for ModelEqData instance.
OutputTime::get_input_type
static const Input::Type::Record & get_input_type()
The specification of output stream.
Definition: output_time.cc:38
Input::Type::Record::copy_keys
Record & copy_keys(const Record &other)
Copy keys from other record.
Definition: type_record.cc:216
Model
Definition: field_model.hh:338
fn_heat_mass_matrix
Definition: heat_model.cc:53
unit_si.hh
std
Definition: doxy_dummy_defs.hh:5
HeatTransferModel::ModelEqData::subst_idx_
vector< unsigned int > subst_idx_
List of indices used to call balance methods for a set of quantities.
Definition: heat_model.hh:228
EquationBase::record_template
static Input::Type::Record & record_template()
Template Record with common keys for derived equations.
Definition: equation.cc:35
TimeGovernor::is_default
bool is_default()
Definition: time_governor.hh:388
HeatTransferModel::ModelEqData::get_output_selection
static IT::Selection get_output_selection()
Definition: heat_model.cc:405
UnitSI::J
static UnitSI & J()
Returns Joule.
Definition: unit_si.cc:40
balance.hh
Input::Type::Selection::add_value
Selection & add_value(const int value, const std::string &key, const std::string &description="", TypeBase::attribute_map attributes=TypeBase::attribute_map())
Adds one new value with name given by key to the Selection.
Definition: type_selection.cc:50
HeatTransferModel::ModelEqFields::ModelEqFields
ModelEqFields()
Definition: heat_model.cc:134
HeatTransferModel::~HeatTransferModel
~HeatTransferModel() override
Definition: heat_model.cc:451
HeatTransferModel::output_stream_
std::shared_ptr< OutputTime > output_stream_
Definition: heat_model.hh:265
fn_heat_sources_conc
Definition: heat_model.cc:83
Balance::get_input_type
static const Input::Type::Record & get_input_type()
Main balance input record type.
Definition: balance.cc:53
HeatTransferModel::HeatTransferModel
HeatTransferModel(Mesh &mesh, const Input::Record in_rec)
Definition: heat_model.cc:430
HeatTransferModel::ModelEqFields::get_bc_type_selection
static const Input::Type::Selection & get_bc_type_selection()
Definition: heat_model.cc:379
arma::mat33
Definition: doxy_dummy_defs.hh:18
FieldValue
Definition: field_values.hh:645