Recherche

Objectifs généraux

L’équipe Ecuador étudie la différentiation algorithmique (DA) des programmes informatiques:

  • Théorie de la DA : Nous étudions les techniques de génie logiciel, pour analyser et transformer mécaniquement les programmes. La différentiation algorithmique (DA) transforme un programme P qui calcule une fonction F , en un programme P’ qui calcule des dérivés analytiques de F . Nous mettons l’accent sur le mode adjoint de la DA, une transformation sophistiquée qui produit des gradients pour l’optimisation à un coût remarquablement bas.
  • Application de la DA au calcul scientifique : Nous adaptons les stratégies du calcul scientifique pour tirer pleinement parti de la DA. Nous validons nos travaux sur des applications en taille réelle.

Nous visons à produire un code AD qui puisse concurrencer la sensibilité manuscrite et les programmes adjoints utilisés dans l’industrie. Nous implémentons nos algorithmes dans l’outil Tapenade, l’un des outils de DA les plus populaires actuellement.

Nos axes de recherche :

  • AD adjoint efficace de dialectes fréquents, par exemple les boucles à point fixe.
  • Développement du modèle d’AD adjoint vers une gestion dynamique de la mémoire.
  • Évolution du modèle AD adjoint pour suivre le rythme des constructions des langages de programmation modernes.
  • Conception de formes optimales et contrôle optimal pour des simulations stables et instables. Dérivées d’ordre supérieur pour la quantification de l’incertitude.
  • Adaptation du maillage à l’aide d’adjoints.

Les commentaires sont clos.