soutenance de stage 16 mai au 5 août 2011 baptiste morin - ricm 4 une librairie c++ pour résoudre...

33
Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode des éléments finis

Upload: ginette-xx

Post on 04-Apr-2015

110 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Soutenance de stage16 Mai au 5 Août 2011

Une librairie C++ pourrésoudre les équations aux

dérivées partielles par la méthode des éléments finis

Page 2: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Plan de la présentation

I . Le laboratoire

II . Le projet

III . La méthode des éléments finis

IV . Travail réalisé

V . Poursuites

Page 3: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

I . Le laboratoire

II . Le projet

III . La méthode des éléments finis

IV . Travail réalisé

V . Poursuites

Plan de la présentation

Page 4: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le laboratoire

Quelques chiffres• LJK créé en Janvier 2007

• Une unité mixte de recherche de 5 universités

• 250 personnes

• 4 projets européens

• 3 départements

Page 5: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Mon équipe : EDP Deux disciplines

Trois applications

Analyse fonctionnelle et équations aux dérivées partielles

Analyse numérique et calcul scientifique

Modélisation en biologie

Mécanique des fluides

Modélisation en physique

Le laboratoire

Page 6: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Plan de la présentation

I . Le laboratoire

II . Le projet

III . La méthode des éléments finis

IV . Travail réalisé

V . Poursuites

Page 7: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le projet

La librairie Feel++ Bibliothèque C++ pour la résolution d’EDP

Problèmes en 1D, 2D et 3D

Plusieurs types d’objets géométriques (maillages, segments, triangles…)

Méthode des éléments finisContinuité du cours de MN (Ricm3)

Page 8: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le projet

La librairie Feel++ Multi plateformes (Unix, Linux, Mac OS)

Intégrée à Debian et Ubuntu

Langage spécifique au domaine des EDP embarquées en C++

Diffusé et stable (www.feelpp.org)

Documentée (manuel et références avec doxygen)

Version actuelle : 0.9.23

Page 9: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le projet

Contributions Collaboration entre UJF, EPFL, l’Université de Coimbra

(Portugal), Strasbourg, CNRS, IFPEN et EADS

Financés par 2 projets ANR, un projet FNRAE, la région Rhône-Alpe et le MESR par de nombreuses thèses

Distribution Open-Source

Licence GNU GPL v3 et LGPL

Page 10: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le projet

Plusieurs aspects

Informatique

Modélisation

Calcul scientifique

Mathématiques

Page 11: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le projet

Environnement

ProgrammationC++, Mpi, Boost, Python, Fortran, Doxygen, Latex

Nombreux outils : Cmake, Gmsh, Paraview, …

Subversion (révision 7645)

Entre 20 et 30 participants, 5 thèses associées

Contexte industriel (EADS et IFPEN)

Page 12: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le projet

Mon projet

Appropriation de la théorie mathématique Refonte du manuelActualisation et fusion de la documentationMise à jour du tutoriel et de son code

Ajout d’exemple et corrections

Mise en place de tests journaliers

Page 13: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

I . Le laboratoire

II . Le projet

III . La méthode des éléments finis

IV . Travail réalisé

V . Poursuites

Plan de la présentation

Page 14: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

La méthode des éléments finis

Introduction

Résolution numérique d’EDP

Solution approchée fiable

Notion de maillage

Interpolation

Page 15: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

La méthode des éléments finis

Equations Problèmes connus de la Physique (nombreux domaines :

transfert de chaleur, mécanique des fluide, phénomènes électriques)

Conditions aux limites => unicité

Page 16: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

La méthode des éléments finis

Domaine d’application MaillageDiscrétisation spatiale d’un milieuModélisation graphique d’un domaineEléments proportionnés finis et définis

PrécisionVariation de la taille du maillageZones plus ou moins densesGrand nombre de modèles possibles

Page 17: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

La méthode des éléments finis

Formulation Forte

Fonction testIntégration par partieContraintes réduites sur l’inconnue

Faible

Page 18: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

La méthode des éléments finis

Principe général• Equation sur Ω • Intégration par partie avec v• Formulation faible

• Discrétisation de l’espace qu’on munit d’une base (polynômes de Lagrange)• Problème matriciel

Page 19: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

I . Le laboratoire

II . Le projet

III . La méthode des éléments finis

IV . Travail réalisé

V . Poursuites

Plan de la présentation

Page 20: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

Documentation

Correction

Mise à jour

Réorganisation

Suppression

Page 21: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

Documentation

Installation sur Mac : MacPorts

Gestionnaire de paquets libres

Dépendances

Page 22: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

Tutoriel

Exemples basiques

Restructuration

Mots-clés

Illustrations

Page 23: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

Améliorations Nouveaux maillages Format STL

Script avec .geo

Format meditLien avec le standard .msh

Modification dans le lecteur

Page 24: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

L’application

Dissipateur de chaleur

Performances

Paramétrage

Visualisation

Page 25: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

L’application Géométrie

Page 26: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

L’application Maillages

Page 27: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

L’application Equations

Page 28: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

L’application Implémentation

Résultats

Base et ailette : cuivre Conductivité thermique kappa = 386 W.m-1.K-1

Densité volumique rho = 8940 kg.m-3

Capacité calorifique C = 385 J.kg-1.K-1

Flux de chaleur = 1e6 W.m-2

Coefficient thermique = 1e3 W.m-2.K-1

Température ambiante Tamb = 300 K

Page 29: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Le travail réalisé

Page 30: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

I . Le laboratoire

II . Le projet

III . La méthode des éléments finis

IV . Travail réalisé

V . Poursuites

Plan de la présentation

Page 31: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Poursuites

Continuation sur le projet

Maillage d’un dissipateur complet

Plus de paramètres

Tests journaliers/hebdomadaires

Autres applications ou améliorations

Page 32: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Baptiste Morin - Ricm 4

Conclusion

• Première expérience

• Acquisition de méthodologie

• Grande autonomie

• Nouvelles connaissances

• Nombreux outils

• Solidification des connaissances

Page 33: Soutenance de stage 16 Mai au 5 Août 2011 Baptiste Morin - Ricm 4 Une librairie C++ pour résoudre les équations aux dérivées partielles par la méthode

Merci pour votre attention

Baptiste Morin - Ricm 4