2 Copyright (C) 2008-2023 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: TangentTest
25 .. _section_ref_algorithm_TangentTest:
27 Algorithme de vérification "*TangentTest*"
28 ------------------------------------------
30 .. ------------------------------------ ..
31 .. include:: snippets/Header2Algo01.rst
33 Cet algorithme permet de vérifier la qualité de l'opérateur tangent, en
34 calculant un résidu dont les propriétés théoriques sont connues. Le test est
35 applicable à un opérateur quelconque, d'évolution comme d'observation.
37 Pour toutes les formules, avec :math:`\mathbf{x}` le point courant de
38 vérification, on prend :math:`\mathbf{dx}_0=Normal(0,\mathbf{x})` et
39 :math:`\mathbf{dx}=\alpha_0*\mathbf{dx}_0` avec :math:`\alpha_0` un paramètre
40 utilisateur de mise à l'échelle, par défaut à 1. :math:`F` est l'opérateur ou
41 le code de calcul (qui est ici défini par la commande d'opérateur d'observation
42 "*ObservationOperator*").
44 On observe le résidu suivant, provenant du rapport d'incréments utilisant
45 l'opérateur linéaire tangent :
47 .. math:: R(\alpha) = \frac{|| F(\mathbf{x}+\alpha*\mathbf{dx}) - F(\mathbf{x}) ||}{|| \alpha * TangentF_x * \mathbf{dx} ||}
49 qui doit rester stable en :math:`1+O(\alpha)` jusqu'à ce que l'on atteigne la
52 Lorsque :math:`|R-1|/\alpha` est inférieur ou égal à une valeur stable lorsque
53 :math:`\alpha` varie, le tangent est valide, jusqu'à ce que l'on atteigne la
56 Si :math:`|R-1|/\alpha` est très faible, le code de calcul :math:`F` est
57 vraisemblablement linéaire ou quasi-linéaire (ce que l'on peut vérifier par
58 l':ref:`section_ref_algorithm_LinearityTest`), et le tangent est valide jusqu'à
59 ce que l'on atteigne la précision du calcul.
61 .. ------------------------------------ ..
62 .. include:: snippets/Header2Algo02.rst
64 .. include:: snippets/CheckingPoint.rst
66 .. include:: snippets/ObservationOperator.rst
68 .. ------------------------------------ ..
69 .. include:: snippets/Header2Algo03Chck.rst
71 .. include:: snippets/AmplitudeOfInitialDirection.rst
73 .. include:: snippets/AmplitudeOfTangentPerturbation.rst
75 .. include:: snippets/EpsilonMinimumExponent.rst
77 .. include:: snippets/InitialDirection.rst
79 .. include:: snippets/NumberOfPrintedDigits.rst
81 .. include:: snippets/SetSeed.rst
83 StoreSupplementaryCalculations
84 .. index:: single: StoreSupplementaryCalculations
86 *Liste de noms*. Cette liste indique les noms des variables supplémentaires,
87 qui peuvent être disponibles au cours du déroulement ou à la fin de
88 l'algorithme, si elles sont initialement demandées par l'utilisateur. Leur
89 disponibilité implique, potentiellement, des calculs ou du stockage coûteux.
90 La valeur par défaut est donc une liste vide, aucune de ces variables n'étant
91 calculée et stockée par défaut (sauf les variables inconditionnelles). Les
92 noms possibles pour les variables supplémentaires sont dans la liste suivante
93 (la description détaillée de chaque variable nommée est donnée dans la suite
94 de cette documentation par algorithme spécifique, dans la sous-partie
95 "*Informations et variables disponibles à la fin de l'algorithme*") : [
98 "SimulatedObservationAtCurrentState",
102 ``{"StoreSupplementaryCalculations":["CurrentState", "Residu"]}``
104 .. ------------------------------------ ..
105 .. include:: snippets/Header2Algo04.rst
107 .. include:: snippets/Residu.rst
109 .. ------------------------------------ ..
110 .. include:: snippets/Header2Algo05.rst
112 .. include:: snippets/CurrentState.rst
114 .. include:: snippets/Residu.rst
116 .. include:: snippets/SimulatedObservationAtCurrentState.rst
118 .. ------------------------------------ ..
119 .. _section_ref_algorithm_TangentTest_examples:
121 .. include:: snippets/Header2Algo06.rst
123 - :ref:`section_ref_algorithm_FunctionTest`
124 - :ref:`section_ref_algorithm_LinearityTest`
125 - :ref:`section_ref_algorithm_AdjointTest`
126 - :ref:`section_ref_algorithm_GradientTest`
127 - :ref:`section_ref_algorithm_LocalSensitivityTest`