Contrôle des calculs en dynamique : bornes strictes et pertinentes sur une quantité d'intérêt

Contrôle des calculs en dynamique : bornes strictes et pertinentes sur une quantité d'intérêt

Show other versions (1)

Dans l'industrie, l'objectif est de remplacer certains essais expérimentaux très coûteux par des simulations numériques. Cependant, peut-on faire confiance à la simulation numérique? C'est l'objet de la thématique de recherche appelée “vérification”. Elle a pour but d'estime...

Full description

Bibliographic Details
Main Author: Waeytens, Julien
Other Authors: Cachan, Ecole normale supérieure
Language:fr
Published: 2010
Subjects:
Vérification
Erreur locale
Erreur en relation de comportement
Dynamique
Fonctions de Green
Error analysis (Mathematics)
Green's functions
AFormal methods (Computer science)
Computer simulation
Online Access:http://www.theses.fr/2010DENS0051/document

Similar Items

Similar Items