Contrôle des calculs en dynamique

Dans le domaine de la vérification, l'objectif est d'estimer l'erreur commise entre la solution du modèle mathématique et celle fournie par un modèle numérique. Les travaux présentés ici consistent tout d'abord à prouver la faisabilité de la méthode d'obtention de bornes garanties de l'erreur sur une quantité d'intérêt dans le cadre de la dynamique transitoire. Cette méthode est basée sur le concept d'erreur en relation de comportement et la résolution d'un problème adjoint. Dans un deuxième temps, différentes stratégies sont développées afin d'améliorer la pertinence de l'estimateur d'erreur locale. Enfin, cette méthode est étendue aux quantités d'intérêt ponctuelles. La difficulté majeure réside dans la résolution du problème adjoint dont le chargement est singulier. Pour cela, nous avons choisi de décomposer la solution en une partie analytique, déterminée à partir des fonctions de Green de dynamique, et d'une partie numérique. Tous ces aspects visant à mettre en place les premières bornes garanties et pertinentes de l'erreur sur une quantité d'intérêt en dynamique, sont illustrés et validés sur des exemples numériques en 2D.