2 Copyright (C) 2008-2024 EDF R&D
4 This file is part of SALOME ADAO module.
6 This library is free software; you can redistribute it and/or
7 modify it under the terms of the GNU Lesser General Public
8 License as published by the Free Software Foundation; either
9 version 2.1 of the License, or (at your option) any later version.
11 This library is distributed in the hope that it will be useful,
12 but WITHOUT ANY WARRANTY; without even the implied warranty of
13 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 Lesser General Public License for more details.
16 You should have received a copy of the GNU Lesser General Public
17 License along with this library; if not, write to the Free Software
18 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
20 See http://www.salome-platform.org/ or email : webmaster.salome@opencascade.com
22 Author: Jean-Philippe Argaud, jean-philippe.argaud@edf.fr, EDF R&D
24 .. index:: single: 4DVAR
25 .. index:: single: 4D-Var
26 .. _section_ref_algorithm_4DVAR:
28 Algorithme de calcul "*4DVAR*"
29 ------------------------------
31 .. ------------------------------------ ..
32 .. include:: snippets/Header2Algo01.rst
34 Cet algorithme réalise une estimation de l'état d'un système dynamique, par une
35 méthode de minimisation variationnelle de la fonctionnelle :math:`J` d'écart
36 classique en assimilation de données :
38 .. math:: J(\mathbf{x})=(\mathbf{x}-\mathbf{x}^b)^T.\mathbf{B}^{-1}.(\mathbf{x}-\mathbf{x}^b)+\sum_{t\in T}(\mathbf{y^o}(t)-H(\mathbf{x},t))^T.\mathbf{R}^{-1}.(\mathbf{y^o}(t)-H(\mathbf{x},t))
40 qui est usuellement désignée comme la fonctionnelle "*4D-Var*" (voir par
41 exemple [Talagrand97]_). Les dénominations "*4D-Var*", "*4D-VAR*" et "*4DVAR*"
42 sont équivalentes. Cet algorithme d'optimisation mono-objectif est
43 naturellement écrit pour une estimation unique sur une fenêtre temporelle de
44 simulation. Il est bien adapté aux cas d'opérateurs d'observation et
45 d'évolution non-linéaires, son domaine d'application est comparable aux
46 algorithmes de filtrage de Kalman et en particulier
47 l':ref:`section_ref_algorithm_ExtendedKalmanFilter` ou
48 l':ref:`section_ref_algorithm_UnscentedKalmanFilter`.
50 .. ------------------------------------ ..
51 .. include:: snippets/Header2Algo12.rst
53 .. include:: snippets/FeaturePropNonLocalOptimization.rst
55 .. include:: snippets/FeaturePropDerivativeNeeded.rst
57 .. include:: snippets/FeaturePropParallelDerivativesOnly.rst
59 .. ------------------------------------ ..
60 .. include:: snippets/Header2Algo02.rst
62 .. include:: snippets/Background.rst
64 .. include:: snippets/BackgroundError.rst
66 .. include:: snippets/EvolutionError.rst
68 .. include:: snippets/EvolutionModel.rst
70 .. include:: snippets/Observation.rst
72 .. include:: snippets/ObservationError.rst
74 .. include:: snippets/ObservationOperator.rst
76 .. ------------------------------------ ..
77 .. include:: snippets/Header2Algo03AdOp.rst
79 .. include:: snippets/BoundsWithNone.rst
81 .. include:: snippets/ConstrainedBy.rst
83 .. include:: snippets/CostDecrementTolerance.rst
85 .. include:: snippets/EstimationOf_State.rst
87 .. include:: snippets/GradientNormTolerance.rst
89 .. include:: snippets/InitializationPoint.rst
91 .. include:: snippets/MaximumNumberOfIterations.rst
93 .. include:: snippets/Minimizer_xDVAR.rst
95 .. include:: snippets/ProjectedGradientTolerance.rst
97 StoreSupplementaryCalculations
98 .. index:: single: StoreSupplementaryCalculations
100 *Liste de noms*. Cette liste indique les noms des variables supplémentaires,
101 qui peuvent être disponibles au cours du déroulement ou à la fin de
102 l'algorithme, si elles sont initialement demandées par l'utilisateur. Leur
103 disponibilité implique, potentiellement, des calculs ou du stockage coûteux.
104 La valeur par défaut est donc une liste vide, aucune de ces variables n'étant
105 calculée et stockée par défaut (sauf les variables inconditionnelles). Les
106 noms possibles pour les variables supplémentaires sont dans la liste suivante
107 (la description détaillée de chaque variable nommée est donnée dans la suite
108 de cette documentation par algorithme spécifique, dans la sous-partie
109 "*Informations et variables disponibles à la fin de l'algorithme*") : [
113 "CostFunctionJAtCurrentOptimum",
115 "CostFunctionJbAtCurrentOptimum",
117 "CostFunctionJoAtCurrentOptimum",
118 "CurrentIterationNumber",
125 ``{"StoreSupplementaryCalculations":["CurrentState", "Residu"]}``
127 .. ------------------------------------ ..
128 .. include:: snippets/Header2Algo04.rst
130 .. include:: snippets/Analysis.rst
132 .. include:: snippets/CostFunctionJ.rst
134 .. include:: snippets/CostFunctionJb.rst
136 .. include:: snippets/CostFunctionJo.rst
138 .. ------------------------------------ ..
139 .. include:: snippets/Header2Algo05.rst
141 .. include:: snippets/Analysis.rst
143 .. include:: snippets/BMA.rst
145 .. include:: snippets/CostFunctionJ.rst
147 .. include:: snippets/CostFunctionJAtCurrentOptimum.rst
149 .. include:: snippets/CostFunctionJb.rst
151 .. include:: snippets/CostFunctionJbAtCurrentOptimum.rst
153 .. include:: snippets/CostFunctionJo.rst
155 .. include:: snippets/CostFunctionJoAtCurrentOptimum.rst
157 .. include:: snippets/CurrentIterationNumber.rst
159 .. include:: snippets/CurrentOptimum.rst
161 .. include:: snippets/CurrentState.rst
163 .. include:: snippets/IndexOfOptimum.rst
165 .. ------------------------------------ ..
166 .. _section_ref_algorithm_4DVAR_examples:
168 .. include:: snippets/Header2Algo06.rst
170 - :ref:`section_ref_algorithm_3DVAR`
171 - :ref:`section_ref_algorithm_KalmanFilter`
172 - :ref:`section_ref_algorithm_ExtendedKalmanFilter`
173 - :ref:`section_ref_algorithm_EnsembleKalmanFilter`
175 .. ------------------------------------ ..
176 .. include:: snippets/Header2Algo07.rst