tIP_SSATaucTaoTikhonovProblem.hh - pism - [fork] customized build of PISM, the parallel ice sheet model (tillflux branch)
HTML git clone git://src.adamsgaard.dk/pism
DIR Log
DIR Files
DIR Refs
DIR LICENSE
---
tIP_SSATaucTaoTikhonovProblem.hh (3021B)
---
1 // Copyright (C) 2012, 2014, 2015, 2016 David Maxwell and Constantine Khroulev
2 //
3 // This file is part of PISM.
4 //
5 // PISM is free software; you can redistribute it and/or modify it under the
6 // terms of the GNU General Public License as published by the Free Software
7 // Foundation; either version 3 of the License, or (at your option) any later
8 // version.
9 //
10 // PISM is distributed in the hope that it will be useful, but WITHOUT ANY
11 // WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
12 // FOR A PARTICULAR PURPOSE. See the GNU General Public License for more
13 // details.
14 //
15 // You should have received a copy of the GNU General Public License
16 // along with PISM; if not, write to the Free Software
17 // Foundation, Inc., 51 Franklin St, Fifth Floor, Boston, MA 02110-1301 USA
18
19
20 #ifndef IP_SSATAUCTAOTIKHONOVPROBLEM_HH_HB8UWICX
21 #define IP_SSATAUCTAOTIKHONOVPROBLEM_HH_HB8UWICX
22
23 #include "IPTaoTikhonovProblem.hh"
24 #include "IP_SSATaucForwardProblem.hh"
25 #include "TaoUtil.hh"
26 #include "functional/IPFunctional.hh"
27
28 namespace pism {
29 namespace inverse {
30
31 //! Defines an IPTaoTikhonovProblem for inversion of basal yeild stresses \f$\tau_c\f$ from %SSA velocities.
32 /*! The forward problem for the inversion is defined by an IP_SSATaucForwardProblem. The problem itself
33 is solved with a TaoBasicSolver as described by the class-level documentation for IPTaoTikhonovProblem. It
34 is a reduced space method, inasmuch as we are performing unconstrained minimization on a Tikhonov functional
35 that depends on a design variable (the value of \f$\tau_c\f$). It is compatible with any of the elementary
36 TAO minimization algorithms, e.g. tao_cg, tao_lmvm. If the minimization algorithm tao_blmvm is selected,
37 the values of \f$\tau_c\f$ will be constrained by the config variables \a inverse.ssa.tauc_min
38 and \a inverse.ssa.tauc_max.
39
40 The TAO algorithm tao_lcl is not compatible with IP_SSATaucTaoTikhonovProblem. Use IP_SSATaucTaoTikhonovProblemLCL
41 instead.
42 */
43 class IP_SSATaucTaoTikhonovProblem: public IPTaoTikhonovProblem<IP_SSATaucForwardProblem> {
44 public:
45
46 IP_SSATaucTaoTikhonovProblem(IP_SSATaucForwardProblem &forward,
47 IP_SSATaucTaoTikhonovProblem::DesignVec &d0,
48 IP_SSATaucTaoTikhonovProblem::StateVec &u_obs, double eta,
49 IPFunctional<IP_SSATaucTaoTikhonovProblem::DesignVec>&designFunctional,
50 IPFunctional<IP_SSATaucTaoTikhonovProblem::StateVec>&stateFunctional) :
51 IPTaoTikhonovProblem<IP_SSATaucForwardProblem>(forward,d0,u_obs,eta,designFunctional,stateFunctional) {};
52
53 virtual ~IP_SSATaucTaoTikhonovProblem() {};
54
55 virtual void connect(Tao tao);
56
57 //! Callback to TAO to set bounds on \f$\tau_c\f$ for constrained minimization algorithms.
58 virtual void getVariableBounds(Tao tao, Vec lo, Vec hi);
59
60 };
61
62 } // end of namespace inverse
63 } // end of namespace pism
64
65 #endif /* end of include guard: IP_SSATAUCTIKHONOVPROBLEM_HH_HB8UWICX */
66