Dans le domaine de la verification, l'objectif est d'estimer l'erreur commise entre la solution du modele mathematique et celle fournie par un modele numerique. Les travaux presentes ici consistent tout d'abord a prouver la faisabilite de la methode d'obtention de bornes garanties de l'erreur sur une quantite d'interet dans le cadre de la dynamique transitoire. Cette methode est basee sur le concept d'erreur en relation de comportement et la resolution d'un probleme adjoint. Dans un deuxieme temps, differentes strategies sont developpees afin d'ameliorer la pertinence de l'estimateur d'erreur locale. Enfin, cette methode est etendue aux quantites d'interet ponctuelles. La difficulte majeure reside dans la resolution du probleme adjoint dont le chargement est singulier. Pour cela, nous avons choisi de decomposer la solution en une partie analytique, determinee a partir des fonctions de Green de dynamique, et d'une partie numerique. Tous ces aspects visant a mettre en place les premieres bornes garanties et pertinentes de l'erreur sur une quantite d'interet en dynamique, sont illustres et valides sur des exemples numeriques en 2D."
ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.