De la modélisation littérale à la simulation numérique certifiéeReport as inadecuate




De la modélisation littérale à la simulation numérique certifiée - Download this document for free, or read online. Document in PDF available to download.

1 COPRIN - Constraints solving, optimization and robust interval analysis CRISAM - Inria Sophia Antipolis - Méditerranée , ENPC - École des Ponts ParisTech

Résumé : Ce mémoire, a pour objet de présenter une synthèse de mes travaux de recherche et de les mettre en perspective avec l-objectif général de la conception et du développement d-un environnement logiciel pour la modélisation et la simulation. Ils sont présentés selon trois axes thématiques : - bien modéliser pour mieux simuler - calculer efficacement, précisément et juste - générer un code de calcul dédié. Un dernier chapitre, plus technique, présente les contours et les fonctionnalités de cet environnement logiciel intégré pour la modélisation et la simulation, dont la conception a été le cadre général et le fil conducteur de l-essentiel de mes travaux.

Mots-clés : modelisation simulation calcul formel génération de code incertitudes





Author: Yves Papegay -

Source: https://hal.archives-ouvertes.fr/



DOWNLOAD PDF




Related documents