Précédent : Résultats nouveaux
Remonter : Projet SAFIR, Systèmes Algébriques et
Suivant : Actions régionales, nationales et
internationales
Le contrat EDF (T13/1J7666/RNE) a pour objectif de valider la Différentiation Automatique en mode inverse sur un code industriel (THYC) développé à EDF-DER. Ce code utilise des fonctions tabulées qui ne font que des effets de bords, nous avons donc dû spécifier et modéliser ces effets. La base d'informations correspondante a permis une analyse correcte du code. Ce travail a démontré l'intérêt et la flexibilité apportée par l'utilisation d'une base d'informations. Ainsi, la dérivée en mode direct de THYC a été validée par rapport aux différences divisées. Les tests ont été réalisés sur deux versions du code THYC v3p2 et v3p3. La version v3p3 utilise des pointeurs qui correspondent à des variables locales, la dérivation par Odyssée s'est avérée correcte dans ce cas (bien que non optimale). L'algorithme de mode inverse basé sur l'inversion du graphe de flot est en cours de validation sur THYC v3p2. La prochaine étape de ce travail est de mélanger une technique de << check-pointing >> (A. Griewank) avec cet algorithme général, ce qui permettra de contrôler la taille de l'exécutable.