De la modélisation littérale à la simulation numérique certifiée

Yves A. Papegay (1)

1 COPRIN - Constraints solving, optimization and robust interval analysis

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

Domaines: Modélisation et simulation

Yves A. Papegay. De la modélisation littérale à la simulation numérique certifiée. Modélisation et simulation. Université Nice Sophia Antipolis, 2012. ⟨tel-00787230⟩