Une approche tensorielle à objets pour la discrétisation EF en calcul de structure

Dimension: px
Commencer à balayer dès la page:

Download "Une approche tensorielle à objets pour la discrétisation EF en calcul de structure"

Transcription

1 Une approche tensorielle à objets pour la discrétisation EF en calcul de structure R. SAAD a, D. EYHERAMENDY b a. Laboratoire de Mécanique et d Acoustique (LMA), CNRS UPR 7051, Marseille, France b. Laboratoire de Mécanique et d Acoustique (LMA), CNRS UPR 7051, Ecole Centrale Marseille, France Résumé : Les problèmes qui se posent aujourd'hui en mécanique numérique et domaines connexes sont complexes, et impliquent de plus en plus souvent plusieurs physiques à différentes échelles de temps et d espace. Leur traitement numérique est en général long et difficile d où l intérêt d avoir accès à des méthodes et outils facilitant l intégration de nouveaux modèles physiques dans les outils de simulation. Dans cet article, nous proposons un cadre de calcul formel à objets pour la dérivation de formulations éléments finis et l intégration automatique des formes élémentaires dans un code de calcul éléments finis. La méthode est basée sur la dérivation des formes discrètes d un problème variationnel, ici dans un contexte éléments finis, et leur intégration automatique dans un code de calcul. Abstract : The problems occurring today in computational mechanics and related domains are complex, and may involve several physics at different time and space scales. The numerical treatment of a complex problems is in general though and time consuming. In this context, the interest to develop methods and tools to accelerate the integration of new formulations into simulation tools is obvious. In this paper, we present a symbolic object-oriented framework for the derivation of finite elements formulations, and the automatic integration of the elemental contributions description into a finite element code. The method is based on the symbolic derivation of the elemental contributions of the variational statement and their automatic integration into a finite element code. Mots clefs: Eléments finis, orienté objet, analyse tensorielle, discrétisation automatique d EDP. 1 Introduction Jusque dans les années 90, les programmes éléments finis étaient constitués de plusieurs milliers de lignes de code généralement écrit en FORTRAN. Les problèmes d'ingénierie qui sont résolus aujourd'hui sont de plus en plus complexes. Il peut s'agir de traiter plusieurs physiques, et/ou plusieurs échelles d'espace et de temps... Dans les années 90, l'application de la conception orientée objet s'est avérée être très efficace pour le développement de programmes flexibles pour le développement à grande échelle dans un contexte industriel. Parmi les pionniers, Fenves [1] a décrit les avantages de la programmation orientée-objet dans le cadre des éléments finis. Depuis cette origine, la programmation orientée objet a été largement appliquée à tous les domaines du calcul en mécanique (voir par exemple Mackerle [2] ou Dubois-Pélerin [6] et références incluses). Assez récemment, des auteurs ont proposé différentes implémentations basées sur des approches à objets avancées (Java ou C#) dans différents domaines de la mécanique : Vanderheyden [10] et Riley [11] en mécanique des fluides, Nikishkov [12] en mécanique de la rupture, Eyheramendy [13] en calcul parallèle de dynamique de fluide et en mécanique des solides, Baudel [16] en électromagnétisme, Hauser [17] ou Mackie [8] et Heng [9] pour le calcul parallèle en mécanique. Notez que de nombreux auteurs ont préconisé l'utilisation de Java et ont comparé ses performances à d autres langages de programmation (langage C): Nikishkov, Bull [18], Hauser [17], Eyheramendy [14]. Toutefois, ces codes traditionnels de calcul, y compris les outils industriels n'offrent pas toujours toute la flexibilité pour s attaquer aux défis des problèmes multi- 1

2 physiques et multi-échelles qui se posent dans l' industrie et la recherche. Afin d aider au développement d outils de simulation, de nouvelles approches basées sur la calcul symbolique ont été proposées afin d automatiser l'élaboration de modèles éléments finis, y compris pour la partie de discrétisation. Ces approches consistent généralement à construire automatiquement les matrices élémentaires et à les intégrer dans des codes plus classiques ou dans des bibliothèques d'éléments finis. Les exemples les plus avancés sont : Eyheramendy [3], Logg [4], Korelc [5]. D autre part, le code Comsol Multiphysics suit en quelque sorte une stratégie similaire, mais les algorithmes liés à la résolution éléments finis restent imposés pour la résolution. Il est quasi indispensable d avoir accès à tous les niveaux de l algorithmique pour résoudre de nouveaux problèmes. Dans ce travail, nous proposons une approche à objets pour développer des schémas de discrétisation (ici éléments finis) de formes variationnelles, permettant de gérer les formulations couplées en mécanique. L originalité du travail réside dans l utilisation d un cadre global basé sur le calcul tensoriel pour élaborer symboliquement les matrices élémentaires, et de son intégration dans un environnement à objets. La dernière phase de l approche consiste à intégrer automatiquement les contributions élémentaires dans un code de calcul classique. Dans le paragraphe 2, nous présentons une approche mathématique générique de dérivation du modèle éléments finis. Dans le paragraphe 3, nous décrivons le modèle orienté objet intégrant l approche développée. Dans le paragraphe 4, le schéma d intégration automatique des formes élémentaires obtenues sous forme symbolique est décrit. Dans le paragraphe 5, l'approche est illustrée sur l élasticité linéaire en milieu incompressible. 2 Une approche tensorielle pour la discrétisation par éléments finis Soit un espace de fonctions, on considère les formes et défini sur le produit des espaces et on considère le problème variationnel multiphysique suivant: Où désigne le nombre de termes de la fonctionnelle, le ème terme de cette fonctionnelle, la fonction test correspondant au ème ème terme, désigne le nombre de termes de la fonctionnelle, le terme de cette fonctionnelle et la fonction test dans le ème terme. On peut ramener la forme à une forme bilinéaire et la forme à une forme linéaire (par linéarisation si la formulation n est pas linéaire) donc le problème devient : est une forme bilinéaire, est une forme linéaire La méthode des éléments finis appliquée à l'équation (1) consiste à remplacer construits à partir de fonctions continues par morceau. On considère les approximations éléments finis classiques sur un élément : par une paire d espaces où termes variationnels de (1) : sont les fonctions d interpolation sur l élément. On peut donc écrire pour chacun des Où et sont respectivement les vecteurs élémentaires des inconnues nodales et des inconnues virtuelles nodales, est la matrice élémentaire correspondant à la discrétisation du terme, représente les interpolations des différents champs. 2

3 On peut montrer que se calcule explicitement en considérant les produits des champs (exprimés sous forme tensorielle) qui compose le terme variationnel. Il peut s exprimer sous la forme suivante : avec, représente le nombre de fonctions de base dans la discrétisation du champ s, est le nombre de facteurs dans la forme, est l operateur différentiel appliqué sur le champ, représente l ensemble des indices du terme autre qu un champ test ou un champ solution, correspond aux degrés de liberté, correspond au système de coordonnées de bases et représente l ensemble des indices dans la fonction discrétisée. Cette forme est assez générale pour représenter tout type de formes variationnelles (forme multilinéaire ou forme non linéaire) dont les termes de base sont des champs tensoriels. Remarque : L approche tensorielle sur laquelle est basé le modèle est valide quel que soit le système de coordonnées choisi à condition que la base de travail soit orthonormée. Il suffit de donner les expressions des opérateurs différentiels dans le système de coordonnées choisi. 3 Une approche orientée objet pour le traitement symbolique des éléments finis Dans ce paragraphe, nous présentons une hiérarchie des operateurs et nous décrivons les objets nécessaires aux manipulations symboliques pour la méthode des éléments finis. Tout d'abord, nous décrivons les classes nécessaires pour représenter tout type d'expression. Des classes supplémentaires sont nécessaires pour représenter les opérateurs différentiels (appliqué aux tenseurs) et les dérivées partielles appliquées à une fonction. La classe Tensor est la représentation mathématique d un tenseur. La méthode de discrétisation par éléments finis est programmée dans la classe FEDiscretization. Operator UnaryOperator BinaryOperator Field Integral Fraction DifferentialOperator PartialDerivative Product Sum Equal Figure 1: Hiérarchie des classes de l environnement symbolique La hiérarchie des classes qui est donné dans la figure 1 nous permet de représenter tout type d'expression. La classe Field représente un champ. Il peut être de type scalaire, vectoriel ou tensoriel. Un opérateur de types dérivés partielles peut être appliqué à ce champ. La classe Integral représente une intégrale. Elle est définie sur un domaine et possède un intégrant. Toutes les grandeurs numériques sont représentées dans la classe Fraction. Les expressions sont donc des sommes de produits gérées dans un arbre binaire représenté dans les classes Sum et Product. La classe Equal permet la représentation d une égalité d expressions, et donc d'une équation. La classe Tensor est la représentation mathématique des tenseurs. Elle contient les composantes du tenseur qui sont des expressions (arbre binaire de champs). Les opérations tensorielles du base sont effectuées dans cette classe: produit tensoriel, produit contracté, somme La classe FEDiscretization regroupe toutes les opérations nécessaires à écrire le schéma de discrétisation par éléments finis. Ceci est fait pour les fonctions solutions et tests. La construction du tenseur est générique. Dans ce travail, seules les expressions des opérateurs différentiels en coordonnées cartésiennes sont programmées, mais l extension à d autres systèmes de coordonnées serait naturelle (par exemple en dérivant la classe FEDiscretisation pour chacun des systèmes de coordonnées). 3

4 4 Génération automatique de contributions élémentaire dans un environnement à objets La classe CodeCompiler gère l intégration des formes élémentaires dans le code de calcul FEMJava (voir Eyheramendy [14]). Les formes symboliques obtenues sont introduites dans un code élément finis classique, en respectant, d une part, les syntaxes du langage de programmation, et d autre part, le schéma algorithmique du code (voir Figure 2). A ce stade, seules les contributions élémentaires sont intégrées dans le code. On pourrait très bien imaginer étendre la génération de code à la partie algorithme de la résolution du problème. Figure 2 : Intégration des formes élémentaires dans un code Eléments finis 5 Application à une formulation de l élasticité linéaire pour un milieu incompressible 5.1 Approche tensorielle et approche symbolique On considère le problème d élasticité linéaire pour un milieu incompressible: Trouver déplacement et paramètre pression avec tels que : + Conditions de bords On cherche la solution approchée du problème sous la forme suivante (formulation de Galerkin stabilisée par ajout de termes de type moindres-carrés -voir Franca [20]): Où est un paramètre de stabilisation numérique. A titre d illustration, on considère le premier terme de la formulation : La matrice élémentaire de la relation (2) s écrit. Dans le cadre de l algèbre tensorielle classique, la convention d Einstein s applique pour les indices et. La matrice élémentaire est de dimension (interpolation trilinéaire pour 3 degrés de liberté par nœud). 4

5 Après évaluation symbolique, on obtient la matrice élémentaire dont certains termes sont explicités dans la Figure 3. Celle-ci correspond bien à la forme donnée ci-dessus. 1,1=[2.0*mu*(dN1_dx1*dN1_dx *(dN1_dx2)*0.5*(dN1_dx2) + 0.5*(dN1_dx3)*0.5*(dN1_dx3) + 0.5*(dN1_dx2)*0.5*(dN1_dx2) + 0.5*(dN1_dx3)*0.5*(dN1_dx3))]; 1,2=[2.0*mu*(0.5*(dN1_dx2)*0.5*(dN1_dx1) + 0.5*(dN1_dx2)*0.5*(dN1_dx1))]; 1,23=[2.0*mu*(0.5*(dN1_dx2)*0.5*(dN8_dx1) + 0.5*(dN1_dx2)*0.5*(dN8_dx1))]; 1,24=[2.0*mu*(0.5*(dN1_dx3)*0.5*(dN8_dx1) + 0.5*(dN1_dx3)*0.5*(dN8_dx1))]; 24,1=[2.0*mu*(0.5*(dN8_dx1)*0.5*(dN1_dx3) + 0.5*(dN8_dx1)*0.5*(dN1_dx3))]; 24,2=[2.0*mu*(0.5*(dN8_dx2)*0.5*(dN1_dx3) + 0.5*(dN8_dx2)*0.5*(dN1_dx3))]; 24,23=[2.0*mu*(0.5*(dN8_dx2)*0.5*(dN8_dx3) + 0.5*(dN8_dx2)*0.5*(dN8_dx3))]; 24,24=[2.0*mu*(0.5*(dN8_dx1)*0.5*(dN8_dx1) + 0.5*(dN8_dx2)*0.5*(dN8_dx2) + 0.5*(dN8_dx1)*0.5*(dN8_dx1) + 0.5*(dN8_dx2)*0.5*(dN8_dx2) + dn8_dx3*dn8_dx3)]] Figure 3 : Vue partielle des termes de la matrice sous forme symbolique 5.2 Application au cisaillement d un bloc d élastomère On considère l exemple d un bloc en élastomère encastré dans un massif rigide cisaillé sur sa surface supérieure (Figure 4). Le coefficient de Lamé est pris égal à 1,25.Les solutions en déplacement et pression sont données dans les figures 5 et 6. Figure 4 : Détails du problème Figure 5 : Déformations du solide cisaillé Figure 6 : Isopressions 6 Conclusion Dans cet article, nous avons présenté les principes d'un cadre global pour générer sous forme symbolique des formes élémentaires de la méthode des éléments finis dans un environnement à objets. Les principes de discrétisation éléments finis basés sur l analyse tensorielle sont décrits. Le cadre présenté est structuré au sein d'un environnement orienté objet. D autres types schémas de discrétisation pourraient être développés en utilisant une approche similaire. Le schéma d intégration automatique des formes élémentaires dans un code éléments finis est présenté. L'approche est illustrée sur l'exemple formulation variationnelle pour les équations de l élasticité pour un milieu incompressible. Ce problème mixte permet de dire que l approche peut être appliqué à des problèmes multi-champs (problèmes couplés). La formulation est intégrée à un code 5

6 élément fini traditionnel écrit en Java [19]. Cette approche peut être étendue à un ensemble d algorithmes numériques nécessaires pour obtenir un outil de simulation. Nous projetons d étendre à court terme cette approche au cadre Lagrangien. Ce type d'approche vise à définir un concept de niveau d'abstraction pour automatiser le développement d outils de calcul correspondant à un problème donné. Cette approche générique ouvre de nouvelles voies dans la conception de codes basés sur les approches mathématiques et non plus sur de simples applications. References [1] G.L. Fenves, Object-Oriented programming for engineering software development, Engineering with Computer, 6, 1-15, [2] J. Mackerle, Object-oriented programming in FEM and BEM: a bibliography ( ), Advances in Engineering Software, 35, , [3] D. Eyheramendy, Th. Zimmermann, Object-oriented finite elements: III. Theory and application of automatic programming, Comput. Methods Appl. Mech. Engrg., 154, 41-68, [4] A. Logg, Automating the Finite Element Method, Arch Comput Methods Eng., 14, , [5] J. Korelc, Multi-language and Multi-environment Generation of Nonlinear Finite Element Codes, Engineering with Computers, 18, , [6] Y. Dubois-Pelerin and Th. Zimmermann, Object-oriented finite element programming: III An efficient implementation in C++, Computer Methods Appl. Mech. Eng., 108(2), , [7] G.P.Nikishkov, Object-oriented design of a finite element code in Java, Computer Modeling in Engng and Sciences, 11, 81-90, [8] R.I. Mackie, Using Objects to handle complexity in Finite Element Software, Eng. with computers, 13, , [9] B.C.P. Heng and R.I. Mackie, Design Patterns in Object-Oriented Finite Element Programming, in Proceedings of the Fifth International Conference on Engineering Computational Technology, B.H.V. Topping, G. Montero and R. Montenegro, (Editors), Civil-Comp Press, United Kingdom, [10] W.B. VanderHeyden, E.D. Dendy and N.T. Padial-Collins, CartaBlanca-a pure-java, componentbased systems simulation tool for coupled nonlinear physics on unstructured grids-an update, Concurrency and Computation: Practice and Experience, 15, , [11] C.J. Riley, S. Chatterjee and R. Biswas, High-performance Java codes for computational fluid dynamics, Concurrency and Computation: Practice and Experience 15, , [12] G.P. Nikishkov and H. Kanda, The development of a Java engineering application for higher-order asymptotic analysis of crack-tip fields, Advances in Engineering Software, 30, , [13] D. Eyheramendy, Object-oriented parallel CFD with JAVA, 15th International Conference on Parallel Computational Fluid Dynamics, Eds. Chetverushkin, Ecer, Satofuka, Périaux, Fox, Ed. Elsevier, , [14] D. Eyheramendy and F. Oudin, Object-oriented finite elements: From Smalltalk to Java, In Trends in Engineering Computational Technology Eds. M. Papadrakakis and B.H.V. Topping, Saxe-Cobourg Publications, Chap. 2, (2008) pp [15] R. Saad and D. Eyheramendy, An object-oriented framework for automated computer-aided finite element derivation, ECT 2010, Sept. 2010, Valencia, Spain. [16] L. Baduel, F. Baude, D. Caromel, C. Delbé, N. Gama, S. El Kasmi and S. Lanteri, A parallel objectoriented application for 3-D electromagnetism, ECCOMAS, Jyväskylä, Finland [17] J. Häuser, T. Ludewig, R.D. Williams, R. Winkelmann, T. Gollnick, S. Brunett and J. Muylaert, A test suite for high-performance parallel Java, Advances in Engineering Software, 31, , [18] J.M. Bull, L. A. Schmith, L. Pottage and R. Freeman, Benchmarking Java against C and Fortran for Scientific Applications, Joint ACM JavaGrande ISCOPE 2001 Conference, Stanford Universtity, June 2-4, [19] D. Eyheramendy, R. Saad et F. Oudin Advanced object-oriented paradigms for parallel computational mechanics, Proceedings of the 2 nd International Conference on Parallel, Distributed, Grid and Cloud Computing for Engineering, B.H.V. Topping, J.M. Adam, F.J. Pallarés, R. Bru and M.L. Romero, (Editors), Civil-Comp Press, Stirlingshire, Scotland, [20] L.P. Franca and T.J.R. Hughes, Two classes of mixed finite element methods, Comput. Methods Appl. Mech. Engrg., 69, ,

Une approche orientée objet avancée en Java pour le calcul en mécanique

Une approche orientée objet avancée en Java pour le calcul en mécanique Une approche orientée objet avancée en Java pour le calcul en mécanique Dominique Eyheramendy Equipe Modélisation Mathématique et Calcul Scientifique Hautes Performances pour l Environnement, Institut

Plus en détail

Gestion du contact dans les simulations multi-domaines de crashs automobiles

Gestion du contact dans les simulations multi-domaines de crashs automobiles Gestion du contact dans les simulations multi-domaines de crashs automobiles Benjamin Bourel *,** Alain Combescure * Laurent Di Valentin ** * Laboratoire de Mécanique des Contacts et des Solides, INSA

Plus en détail

Modèles bi-dimensionnels de coques linéairement élastiques: Estimations de l écart entre leurs solutions.

Modèles bi-dimensionnels de coques linéairement élastiques: Estimations de l écart entre leurs solutions. Problèmes mathématiques de la mécanique/mathematical problems in Mechanics Modèles bi-dimensionnels de coques linéairement élastiques: Estimations de l écart entre leurs solutions. Cristinel Mardare Laboratoire

Plus en détail

Élu Correspondant le 11 mai 1987, puis Membre le 29 novembre 2005 dans la section de Sciences mécaniques et informatiques

Élu Correspondant le 11 mai 1987, puis Membre le 29 novembre 2005 dans la section de Sciences mécaniques et informatiques Roland Glowinski Élu Correspondant le 11 mai 1987, puis Membre le 29 novembre 2005 dans la section de Sciences mécaniques et informatiques Roland Glowinski, né le 9 mars 1937, ancien élève de l École polytechnique

Plus en détail

FER/Impact : Logiciel de simulation numérique des problèmes d impact

FER/Impact : Logiciel de simulation numérique des problèmes d impact FER/Impact : Logiciel de simulation numérique des problèmes d impact Zhi-Qiang Feng Benoît Magnain Jean-Michel Cros Laboratoire de Mécanique et d Énergétique d Évry Université d Évry - Val d Essonne 40,

Plus en détail

Décomposition de domaine et préconditionnement pour un modèle 3D en milieu poreux fracturé

Décomposition de domaine et préconditionnement pour un modèle 3D en milieu poreux fracturé Décomposition de domaine et préconditionnement pour un modèle 3D en milieu poreux fracturé Laila AMIR 1, Michel KERN 2, Vincent MARTIN 3, Jean E ROBERTS 4 Résumé : Dans cet article, nous nous intéressons

Plus en détail

Manlab. Logiciel de continuation interactif. R. Arquier B. Cochelin C. Vergez

Manlab. Logiciel de continuation interactif. R. Arquier B. Cochelin C. Vergez Manlab Logiciel de continuation interactif R. Arquier B. Cochelin C. Vergez Laboratoire de mécanique et d acoustique (UPR CNRS 7051) Ecole généraliste d ingénieurs de Marseille (EGIM) Technopôle de Château-Gombert

Plus en détail

Décomposition de domaine pour un milieu poreux fracturé

Décomposition de domaine pour un milieu poreux fracturé Décomposition de domaine pour un milieu poreux fracturé Laila AMIR 1, Michel KERN 2, Vincent MARTIN 3, Jean E ROBERTS 4 1 INRIA-Rocquencourt, B.P. 105, F-78153 Le Chesnay Cedex Email: laila.amir@inria.fr

Plus en détail

Résolution d un problème d assimilation variationnelle 4D-VAR par des modèles réduits POD adaptatifs

Résolution d un problème d assimilation variationnelle 4D-VAR par des modèles réduits POD adaptatifs Résolution d un problème d assimilation variationnelle 4D-VAR par des modèles réduits POD adaptatifs G. TISSOT, L. CORDIER, B. R. NOACK Institut Pprime, Dpt. Fluides, Thermique et Combustion, 8636 Poitiers

Plus en détail

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178

physicien diplômé EPFZ originaire de France présentée acceptée sur proposition Thèse no. 7178 Thèse no. 7178 PROBLEMES D'OPTIMISATION DANS LES SYSTEMES DE CHAUFFAGE A DISTANCE présentée à l'ecole POLYTECHNIQUE FEDERALE DE ZURICH pour l'obtention du titre de Docteur es sciences naturelles par Alain

Plus en détail

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques

ANNEXE 1 BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques ANNEXE BTS AGENCEMENT DE L'ENVIRONNEMENT ARCHITECTURAL Programme de mathématiques L'enseignement des mathématiques dans les sections de techniciens supérieurs Agencement de l'environnement architectural

Plus en détail

Mathématique et Automatique : de la boucle ouverte à la boucle fermée. Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans

Mathématique et Automatique : de la boucle ouverte à la boucle fermée. Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans Mathématique et Automatique : de la boucle ouverte à la boucle fermée Maïtine bergounioux Laboratoire MAPMO - UMR 6628 Université d'orléans Maitine.Bergounioux@labomath.univ-orleans.fr Plan 1. Un peu de

Plus en détail

NumPy et al. Le calcul Scientifique en PYTHON. Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) et Synchrotron Soleil (St Aubin)

NumPy et al. Le calcul Scientifique en PYTHON. Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) et Synchrotron Soleil (St Aubin) NumPy et al. Le calcul Scientifique en PYTHON Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) et Synchrotron Soleil (St Aubin) Python et le logiciel libre Python est un logiciel libre. NumPy

Plus en détail

Simulation du transport de matière par diffusion surfacique à l aide d une approche Level-Set

Simulation du transport de matière par diffusion surfacique à l aide d une approche Level-Set Simulation du transport de matière par diffusion surfacique à l aide d une approce Level-Set J. Brucon 1, D. Pino-Munoz 1, S. Drapier 1, F. Valdivieso 2 Ecole Nationale Supérieure des Mines de Saint-Etienne

Plus en détail

Décomposition de domaine en dynamique granulaire par éléments discrets et application au ballast ferroviaire

Décomposition de domaine en dynamique granulaire par éléments discrets et application au ballast ferroviaire Décomposition de domaine en dynamique granulaire par éléments discrets et application au ballast ferroviaire P. ALART a, D. ICETA a, T. M. PHUONG HOANG a,b, D. DUREISSEIX a, G. SAUSSINE b a. Laboratoire

Plus en détail

Ekaterina VOLTCHKOVA

Ekaterina VOLTCHKOVA Ekaterina VOLTCHKOVA Née le 27 avril 1978, nationalité française et russe, mariée, 2 enfants Adresse professionnelle : GREMAQ, 21, allée de Brienne, 31000 Toulouse, France Tél. : +33.5.61.12.85.67 E-mail

Plus en détail

Études de bachelor en informatique

Études de bachelor en informatique 1 Études de bachelor en informatique Informatique A notre époque, il n y a pratiquement plus aucune activité qui puisse se passer de l ordinateur. On ne le trouve pas seulement sur les bureaux et dans

Plus en détail

Détermination des fréquences propres d une structure avec paramètres incertains

Détermination des fréquences propres d une structure avec paramètres incertains Détermination des fréquences propres d une structure avec paramètres incertains Etienne ARNOULT Abdelhamid TOUACHE Pascal LARDEUR Université de Technologie de Compiègne Laboratoire Roberval BP 20 529 60

Plus en détail

T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5

T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet 5 Modélisation de la performance et optimisation d un algorithme hydrodynamique de type Lagrange-Projection sur processeurs multi-cœurs T. Gasc 1,2,3, F. De Vuyst 1, R. Motte 3, M. Peybernes 4, R. Poncet

Plus en détail

Évaluation et implémentation des langages

Évaluation et implémentation des langages Évaluation et implémentation des langages Les langages de programmation et le processus de programmation Critères de conception et d évaluation des langages de programmation Les fondations de l implémentation

Plus en détail

1.1 Définitions... 2 1.2 Opérations élémentaires... 2 1.3 Systèmes échelonnés et triangulaires... 3

1.1 Définitions... 2 1.2 Opérations élémentaires... 2 1.3 Systèmes échelonnés et triangulaires... 3 Chapitre 5 Systèmes linéaires 1 Généralités sur les systèmes linéaires 2 11 Définitions 2 12 Opérations élémentaires 2 13 Systèmes échelonnés et triangulaires 3 2 Résolution des systèmes linéaires 3 21

Plus en détail

- Mobiliser les résultats sur le second degré dans le cadre de la résolution d un problème.

- Mobiliser les résultats sur le second degré dans le cadre de la résolution d un problème. Mathématiques - classe de 1ère des séries STI2D et STL. 1. Analyse On dote les élèves d outils mathématiques permettant de traiter des problèmes relevant de la modélisation de phénomènes continus ou discrets.

Plus en détail

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming

Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming Embedded Domain-Specific Languages using Libraries and Dynamic Metaprogramming THÈSE N O 5007 (2011) PRÉSENTÉE le 20 mai 2011 À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS LABORATOIRE DE MÉTHODES DE PROGRAMMATION

Plus en détail

Une calculatrice qui manipule les régions cubiques

Une calculatrice qui manipule les régions cubiques Une calculatrice qui manipule les régions cubiques Emmanuel Haucourt 1 Introduction Alors qu une calculatrice usuelle effectue des opérations numériques (addition, multiplication, soustraction, division,

Plus en détail

CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013

CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013 CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013 Résolution d un problème de contact avec frottement en présence de variabilités paramétriques Franck MASSA 1 *, Thierry TISON 1,

Plus en détail

Introduction aux Support Vector Machines (SVM)

Introduction aux Support Vector Machines (SVM) Introduction aux Support Vector Machines (SVM) Olivier Bousquet Centre de Mathématiques Appliquées Ecole Polytechnique, Palaiseau Orsay, 15 Novembre 2001 But de l exposé 2 Présenter les SVM Encourager

Plus en détail

Ekaterina VOLTCHKOVA

Ekaterina VOLTCHKOVA Ekaterina VOLTCHKOVA Nationalité française/russe, 28 ans, mariée Adresse : 19 rue des Bolets, 31650 St Orens de Gameville, France Tél. : +33.5.61.12.85.67 E-mail : ekaterina.voltchkova@univ-tlse1.fr Page

Plus en détail

TP Sage. Yannick Renard.

TP Sage. Yannick Renard. TP Sage. Yannick Renard. 1. Introduction. Le logiciel Software for Algebra and Geometry Experimentation (Sage) est un logiciel de mathématiques qui rassemble de nombreux programmes et bibliothèques libres

Plus en détail

SYLLABUS SEMESTRE 9 Année 2011-2012

SYLLABUS SEMESTRE 9 Année 2011-2012 SYLLABUS SEMESTRE 9 2011-2012 Parcours GM «Génie Mer» Responsable : Olivier Kimmoun Tel.: 04 91 05 43 21 E-mail : olivier.kimmoun@centrale-marseille.fr TRONC COMMUN GM Nb heures élèves (hors examen) GMR-51-P-ELMA

Plus en détail

Association des Doctorants du campus STIC. Séminaires doctorants 11

Association des Doctorants du campus STIC. Séminaires doctorants 11 Association des Doctorants du campus STIC Séminaires doctorants 11 07 mars 2007 Actes édités par l association des doctorants du campus STIC. Les travaux individuels publiés restent l unique propriété

Plus en détail

Cours de Méthodes Déterministes en Finance (ENPC) Benoît Humez Société Générale Recherche Quantitative benoit.humez@sgcib.com

Cours de Méthodes Déterministes en Finance (ENPC) Benoît Humez Société Générale Recherche Quantitative benoit.humez@sgcib.com Cours de Méthodes Déterministes en Finance (ENPC) Benoît Humez Société Générale Recherche Quantitative benoit.humez@sgcib.com Points abordés Méthodes numériques employées en finance Approximations de prix

Plus en détail

Sujet proposé par Yves M. LEROY. Cet examen se compose d un exercice et de deux problèmes. Ces trois parties sont indépendantes.

Sujet proposé par Yves M. LEROY. Cet examen se compose d un exercice et de deux problèmes. Ces trois parties sont indépendantes. Promotion X 004 COURS D ANALYSE DES STRUCTURES MÉCANIQUES PAR LA MÉTHODE DES ELEMENTS FINIS (MEC 568) contrôle non classant (7 mars 007, heures) Documents autorisés : polycopié ; documents et notes de

Plus en détail

Quelques axes de développement méthodologique en optimisation géométrique de formes aérodynamiques dans un contexte MDO

Quelques axes de développement méthodologique en optimisation géométrique de formes aérodynamiques dans un contexte MDO Quelques axes de développement méthodologique en optimisation géométrique de formes aérodynamiques dans un contexte MDO J.-A. Désidéri, INRIA Sophia Antipolis, desideri@sophia.inria.fr 16 Mars 2004 On

Plus en détail

Sélection de variables groupées avec les forêts aléatoires. Application à l analyse des données fonctionnelles multivariées.

Sélection de variables groupées avec les forêts aléatoires. Application à l analyse des données fonctionnelles multivariées. Sélection de variables groupées avec les forêts aléatoires. Application à l analyse des données fonctionnelles multivariées. Baptiste Gregorutti 12, Bertrand Michel 2 & Philippe Saint Pierre 2 1 Safety

Plus en détail

Vers la simulation numérique d écoulements sanguins

Vers la simulation numérique d écoulements sanguins Vers la simulation numérique d écoulements sanguins Vincent Chabannes Université Joseph Fourier 10 Juin 2010 Collaborators C. Prud homme (UJF/LJK) M. Ismail (UJF/LSP) N. Debit (UCB/ICJ) G. Pena (U. Coimbra)

Plus en détail

Calcul Scientifique L2 Maths Notes de Cours

Calcul Scientifique L2 Maths Notes de Cours Calcul Scientifique L2 Maths Notes de Cours Le but de ce cours est d aborder le Calcul Scientifique, discipline arrivant en bout d une d une chaîne regroupant divers concepts tels que la modélisation et

Plus en détail

Calculer avec Sage. Revision : 417 du 1 er juillet 2010

Calculer avec Sage. Revision : 417 du 1 er juillet 2010 Calculer avec Sage Alexandre Casamayou Guillaume Connan Thierry Dumont Laurent Fousse François Maltey Matthias Meulien Marc Mezzarobba Clément Pernet Nicolas Thiéry Paul Zimmermann Revision : 417 du 1

Plus en détail

Définition du modèle : Il s agit de réaliser un modèle magnétique par éléments finis d un électro-aimant. r3 r2 r1

Définition du modèle : Il s agit de réaliser un modèle magnétique par éléments finis d un électro-aimant. r3 r2 r1 ELEC 2311 - Projet Tutoriel pour modèle magnétique par éléments finis Dest.: Etudiants 16-10-08 v.0 Auteur : VK Introduction: La méthode des éléments finis permet, en discrétisant un système continu de

Plus en détail

Extension de la méthode du bi-potentiel à l analyse des problèmes d impact

Extension de la méthode du bi-potentiel à l analyse des problèmes d impact Extension de la méthode du bi-potentiel à lanalyse des problèmes dimpact Benoît Magnain Zhi-Qiang Feng Jean-Michel Cros Laboratoire de Mécanique et dénergétique dévry Université dévry - Val dessonne 4,

Plus en détail

Nouvelles avancées dans les méthodes sans maillage de type éléments naturels pour la simulation des procédés de mise en forme

Nouvelles avancées dans les méthodes sans maillage de type éléments naturels pour la simulation des procédés de mise en forme Nouvelles avancées dans les méthodes sans maillage de type éléments naturels pour la simulation des procédés de mise en forme J. Yvonnet 1, I. Alfaro 2, E. Cueto 2, F. Chinesta 1, M. Doblaré 2 1 Laboratoire

Plus en détail

Principe de symétrisation pour la construction d un test adaptatif

Principe de symétrisation pour la construction d un test adaptatif Principe de symétrisation pour la construction d un test adaptatif Cécile Durot 1 & Yves Rozenholc 2 1 UFR SEGMI, Université Paris Ouest Nanterre La Défense, France, cecile.durot@gmail.com 2 Université

Plus en détail

Programmer plus vite sans calculer trop lentement: le langage Python pour le calcul scientifique

Programmer plus vite sans calculer trop lentement: le langage Python pour le calcul scientifique Programmer plus vite sans calculer trop lentement: le langage Python pour le calcul scientifique Konrad HINSEN Centre de Biophysique Moléculaire (Orléans) Un bref historique 1991: Python est publié 1994:

Plus en détail

CURRICULUM VITAE. Informations Personnelles

CURRICULUM VITAE. Informations Personnelles CURRICULUM VITAE Informations Personnelles NOM: BOURAS PRENOM : Zine-Eddine STRUCTURE DE RATTACHEMENT: Département de Mathématiques et d Informatique Ecole Préparatoire aux Sciences et Techniques Annaba

Plus en détail

FDNV100 - Ballottement d un réservoir d eau avec paroi déformable élastique

FDNV100 - Ballottement d un réservoir d eau avec paroi déformable élastique Titre : FDNV100 - Ballottement d un réservoir d eau avec p[...] Date : 03/11/2010 Page : 1/7 Manuel de Validation Fascicule V8.03 : Fluide non linéaire Document : V8.03.100 FDNV100 - Ballottement d un

Plus en détail

Analyse et développement d algorithmes parallèles pour la résolution directe de grands systèmes linéaires creux

Analyse et développement d algorithmes parallèles pour la résolution directe de grands systèmes linéaires creux Analyse et développement d algorithmes parallèles pour la résolution directe de grands systèmes linéaires creux Ibrahima GUEYE 1, Xavier JUVIGNY 1, François-Xavier ROUX 1, Frédéric FEYEL 1 & Georges CAILLETAUD

Plus en détail

Mesure de compatibilité et application aux problèmes de sous-structuration

Mesure de compatibilité et application aux problèmes de sous-structuration Mesure de compatibilité et application aux problèmes de sous-structuration H. Ben Dhia, E. Balmès LMSS-Mat, École Centrale Paris Grande voie des vignes 92290 Châtenay-Malabry bendhia@mssmat.ecp.fr ; balmes@mssmat.ecp.fr

Plus en détail

Concours CASTing 2011

Concours CASTing 2011 Concours CASTing 2011 Épreuve de mécanique Durée 1h30 Sans calculatrice Le candidat traitera deux exercices parmi les trois proposés dans le sujet. Dans le cas où les trois exercices seraient traités partiellement,

Plus en détail

Evaluation des performances de programmes parallèles haut niveau à base de squelettes

Evaluation des performances de programmes parallèles haut niveau à base de squelettes Evaluation des performances de programmes parallèles haut niveau à base de squelettes Enhancing the Performance Predictability of Grid Applications with Patterns and Process Algebras A. Benoit, M. Cole,

Plus en détail

Une extension pour RDF/RDFS utilisant des relations procédurales

Une extension pour RDF/RDFS utilisant des relations procédurales Une extension pour RDF/RDFS utilisant des relations procédurales Jean-François Baget * * INRIA Sophia-Antipolis & LIRMM(CNRS - UM2) LIRMM, 161 rue Ada, 34392 Montpellier Cedex 5 baget@lirmm.fr RÉSUMÉ.

Plus en détail

L1: Fondamentaux d algorithmique (En C++)

L1: Fondamentaux d algorithmique (En C++) L1: Fondamentaux d algorithmique (En C++) Par l Université de Haute Alsace Version 6 octobre 2015 Table des matières 1 Algorithmes et Programmes (3h) 3 2 Structures de Base (3h) 4 3 TP Structures de base

Plus en détail

«Pièges», «erreurs» et pathologie des calculs numériques

«Pièges», «erreurs» et pathologie des calculs numériques Session de formation continue ENPC «Pièges», «erreurs» et pathologie des calculs numériques 6-8 octobre 2010 Philippe Mestat (LCPC) «Pièges» pour débutant?. Conditions limites en déplacements : il faut

Plus en détail

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués

Solution A La Gestion Des Objets Java Pour Des Systèmes Embarqués International Journal of Engineering Research and Development e-issn: 2278-067X, p-issn: 2278-800X, www.ijerd.com Volume 7, Issue 5 (June 2013), PP.99-103 Solution A La Gestion Des Objets Java Pour Des

Plus en détail

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot

Testing : A Roadmap. Mary Jean Harrold. Présentation de Olivier Tissot Testing : A Roadmap Mary Jean Harrold Présentation de Olivier Tissot Testing : A Roadmap I. L auteur II. Introduction sur les test : les enjeux, la problématique III. Les tests : roadmap IV. Conclusion

Plus en détail

Plan du cours : Zippers. Des fonctions sur les listes avec position. Des fonctions sur les listes avec position

Plan du cours : Zippers. Des fonctions sur les listes avec position. Des fonctions sur les listes avec position Plan du cours : Le problème : naviguer efficacement une structure de données Ce qui ne marche pas Ce qui marche : les de Huet Exemples Comment dériver des pour tout type de données Pour en savoir plus

Plus en détail

Logiciel Libre Cours 3 Fondements: Génie Logiciel

Logiciel Libre Cours 3 Fondements: Génie Logiciel Logiciel Libre Cours 3 Fondements: Génie Logiciel Stefano Zacchiroli zack@pps.univ-paris-diderot.fr Laboratoire PPS, Université Paris Diderot 2013 2014 URL http://upsilon.cc/zack/teaching/1314/freesoftware/

Plus en détail

Calculs et Certificats de Quantités d Intérêts Non Linéaires d un Mousqueton Cédric Bellis

Calculs et Certificats de Quantités d Intérêts Non Linéaires d un Mousqueton Cédric Bellis Ecole Normale Supérieure de Cachan Département de Génie Mécanique Rapport de Stage de M1 Mécanique et Ingéniérie des Systèmes Stage effectué du 10/04 au 27/08 Laboratori de Càlcul Numèric - Universitat

Plus en détail

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S

P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S P R O G R A M M E E T I N S T R U C T I O N S O F F I C I E L L E S POUR L ENSEIGNEMENT DE L INFORMATIQUE MPSI première année I. Objectifs de la formation II-1 Développement de compétences et d aptitudes

Plus en détail

La méthode des éléments finis et le contrôle des calculs

La méthode des éléments finis et le contrôle des calculs Table des matières Techniques Avancées en Calcul des Structures Cours d option La méthode des éléments finis et le contrôle des calculs J.-P. Pelle ENS - Cachan Master MIS Parcours TACS Année universitaire

Plus en détail

Nom : Paquet Luc Titre : Professeur des universités e-mail :luc.paquet@univ-valenciennes.fr

Nom : Paquet Luc Titre : Professeur des universités e-mail :luc.paquet@univ-valenciennes.fr Nom : Paquet Luc Titre : Professeur des universités e-mail :luc.paquet@univ-valenciennes.fr CURRICULUM Diplômes universitaires Expérience professionnelle PUBLICATIONS Ouvrages Ouvrages scientifiques ou

Plus en détail

MISE EN ŒUVRE DE LA MÉTHODE DES ÉLÉMENTS FINIS

MISE EN ŒUVRE DE LA MÉTHODE DES ÉLÉMENTS FINIS MISE EN ŒUVRE DE LA MÉTHODE DES ÉLÉMENTS FINIS R. HASSANI 2004-2005 Table des matières Introduction... p 5 Partie A Partie B Partie C Rappels et généralités A.1 L approximation par éléments finis...

Plus en détail

des réapprovisionnements pour système d assemblage à deux niveaux quand les délais d approvisionnement sont aléatoires

des réapprovisionnements pour système d assemblage à deux niveaux quand les délais d approvisionnement sont aléatoires Planification des réapprovisionnements pour système d assemblage à deux niveaux quand les délais d approvisionnement sont aléatoires Oussama Ben Ammar, Faicel Hnaien, Hélène Marian, Alexandre Dolgui To

Plus en détail

HENRI ROUDIER ALGEBRE LINEAIRE COURS & EXERCICES CAPES &AGRÉGATION INTERNES & EXTERNES DEUXIÈME ÉDITION REVUE &.AUGMENTÉE VUIBERT

HENRI ROUDIER ALGEBRE LINEAIRE COURS & EXERCICES CAPES &AGRÉGATION INTERNES & EXTERNES DEUXIÈME ÉDITION REVUE &.AUGMENTÉE VUIBERT HENRI ROUDIER ALGEBRE LINEAIRE COURS & EXERCICES CAPES &AGRÉGATION INTERNES & EXTERNES DEUXIÈME ÉDITION REVUE &.AUGMENTÉE VUIBERT Table analytique des matières 1. La structure d'espace vectoriel 1. Espaces

Plus en détail

Les langages informatiques modernes orientés objet permettent la réutilisation Importance de la clarté de la documentation

Les langages informatiques modernes orientés objet permettent la réutilisation Importance de la clarté de la documentation Clues from other disciplines (from E. Gamma) Patrons de conception («Design Patterns») ESIR2, GL (LSI) Benoit Combemale Université de Rennes 1, ESIR & IRISA (Triskell team) Benoit.Combemale@irisa.fr Inspiré

Plus en détail

Régression ridge à noyau pour des variables explicatives et d intérêts fonctionnelles

Régression ridge à noyau pour des variables explicatives et d intérêts fonctionnelles Régression ridge à noyau pour des variables explicatives et d intérêts fonctionnelles Hachem Kadri 1, Philippe Preux 1,2 & Emmanuel Duflos 1,3 1 Equipe-projet SequeL, INRIA Lille - Nord Europe, Villeneuve

Plus en détail

Utiliser les propriétés Savoir réduire un radical savoir +,-,x,: Utiliser les propriétés des puissances Calculer avec des puissances

Utiliser les propriétés Savoir réduire un radical savoir +,-,x,: Utiliser les propriétés des puissances Calculer avec des puissances ARITHMETIQUE 1 C B A Numération Ecrire en lettres et en chiffres Poser des questions fermées autour d un document simple (message, consigne, planning ) Connaître le système décimal Déterminer la position

Plus en détail

FlexIS: vers un système d intégration d information flexible

FlexIS: vers un système d intégration d information flexible FlexIS: vers un système d intégration d information flexible P. Colomb 1, et H. Jaudoin 2 1 LIMOS - CNRS UMR 6158, Université Blaise Pascal, France email: colomb@isima.fr LIMOS, 24 Avenue des Landais,

Plus en détail

L approche C-Nem : une alternative aux éléments finis pour l étude des procédés

L approche C-Nem : une alternative aux éléments finis pour l étude des procédés L approche C-Nem : une alternative aux éléments finis pour l étude des procédés Lounes Illoul Philippe Lorong Julien Yvonnet Francisco Chinesta Laboratoire de Mécanique des Systèmes et des Procédés UMR

Plus en détail

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration

Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Efficient Object Versioning for Object- Oriented Languages From Model to Language Integration Pluquet Frédéric July, 3rd 2012 Etude de techniques efficaces de versionnement d objets pour les langages orientés

Plus en détail

Semaine 6 : La notation For

Semaine 6 : La notation For Semaine 6 : La notation For Les fonctions d'ordre supérieur telles que map, atmap ou lter fournissent des constructions puissantes pour manipuler les listes. Mais parfois le niveau d'abstraction requis

Plus en détail

Apprentissage par méthodes à noyaux en reconnaissance d images

Apprentissage par méthodes à noyaux en reconnaissance d images Apprentissage par méthodes à noyaux en reconnaissance d images Alberto Bietti Table des matières Introduction 2 1 Apprentissage par méthodes à noyaux 2 1.1 Position du problème et motivation..........................

Plus en détail

Quantification et hiérarchisation des incertitudes dans un processus de simulation numérique

Quantification et hiérarchisation des incertitudes dans un processus de simulation numérique Proposition de thèse CIFRE CERMICS-EDF Quantification et hiérarchisation des incertitudes dans un processus de simulation numérique 13 Janvier 2015 1 Contexte industriel et problématique En tant qu équipement

Plus en détail

Langage dédié pour le pilotage de solveurs de contraintes

Langage dédié pour le pilotage de solveurs de contraintes LABORATOIRE D INFORMATIQUE DE NANTES-ATLANTIQUE UMR 6241 ÉCOLE DOCTORALE STIM, N. 503 «Sciences et technologies de l information et des mathématiques» Sujet de thèse pour 2010 Langage dédié pour le pilotage

Plus en détail

* Laboratoire de Tribologie et Dynamique des Systèmes. UMR 5513. Ecole Centrale de Lyon. 36, avenue Guy de Collongue. B.P. 163. 69131 Ecully Cedex.

* Laboratoire de Tribologie et Dynamique des Systèmes. UMR 5513. Ecole Centrale de Lyon. 36, avenue Guy de Collongue. B.P. 163. 69131 Ecully Cedex. Modélisation et analyse de l erreur statique de transmission d un engrenage. Influence des déformations des roues et interactions entre les couples de dents en prise Modelling and Analysis of Static Transmission

Plus en détail

CALCUL ELMENTS FINIS ET OPTIMISATION DE FORME DANS LES STRUCTURES AEROSPATIALES. Pr. BOUDI El Mostapha Ecole Mohammadia d Ingénieurs Rabat

CALCUL ELMENTS FINIS ET OPTIMISATION DE FORME DANS LES STRUCTURES AEROSPATIALES. Pr. BOUDI El Mostapha Ecole Mohammadia d Ingénieurs Rabat CALCUL ELMENTS FINIS ET OPTIMISATION DE FORME DANS LES STRUCTURES AEROSPATIALES Pr. BOUDI El Mostapha Ecole Mohammadia d Ingénieurs Rabat En quelques mots Objectif : Contrôle des calculs par la Méthode

Plus en détail

À propos des matrices échelonnées

À propos des matrices échelonnées À propos des matrices échelonnées Antoine Ducros appendice au cours de Géométrie affine et euclidienne dispensé à l Université Paris 6 Année universitaire 2011-2012 Introduction Soit k un corps, soit E

Plus en détail

Introduire une nouvelle option de calcul élémentaire

Introduire une nouvelle option de calcul élémentaire Titre : Introduire une nouvelle option de calcul élémentai[] Date : 01/07/2015 Page : 1/6 Introduire une nouvelle option de calcul élémentaire Résumé : Ce document décrit ce qu il faut faire pour introduire

Plus en détail

CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013

CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013 CSMA 213 11e Colloque National en Calcul des Structures 13-17 Mai 213 Méthode d immersion de pièces mobiles dans des fours industriels Jean-François ZARAGOCI 1 *, Elie HACHEM 2, Ghina JANNOUN 3, Jérémy

Plus en détail

COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE

COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE COMPILING SCALA FOR THE JAVA VIRTUAL MACHINE THÈSE N O 3302 (2005) PRÉSENTÉE À LA FACULTÉ INFORMATIQUE ET COMMUNICATIONS Institut d'informatique fondamentale SECTION D'INFORMATIQUE ÉCOLE POLYTECHNIQUE

Plus en détail

CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013

CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013 CSMA 2013 11e Colloque National en Calcul des Structures 13-17 Mai 2013 La méthode CGSM pour l analyse statique des plaques avec variabilité Mahyunirsyah MAHJUDIN 1,2 *, Frédéric DRUESNE 1, Irwan KATILI

Plus en détail

Forthcoming Database

Forthcoming Database DISS.ETH NO. 15802 Forthcoming Database A Framework Approach for Data Visualization Applications A dissertation submitted to the SWISS FEDERAL INSTITUTE OF TECHNOLOGY ZURICH for the degree of Doctor of

Plus en détail

LE POINT SUR LES MATHÉMATIQUES DANS LES BTS RENTRÉE 2003

LE POINT SUR LES MATHÉMATIQUES DANS LES BTS RENTRÉE 2003 LE POINT SUR LES MATHÉMATIQUES DANS LES BTS RENTRÉE 00 ) LES PROGRAMMES a) Le cadre général L arrêté du 8 juin 00 comporte trois annexes, notamment l annexe donnant l intégralité des modules permettant

Plus en détail

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation

Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Concepts et langages du cadre RM-ODP de l'iso pour analyser et articuler les pratiques de projets libres de système de formation Système de formation fédérant trois projets du logiciel libre (Moodle, OpenGLM

Plus en détail

EXPERIENCE DE COUPLAGE DE MODELES ALTARICA AVEC DES INTERFACES METIERS EXPERIMENT OF COUPLING ALTARICA MODELS WITH SPECIALIZED INTERFACES

EXPERIENCE DE COUPLAGE DE MODELES ALTARICA AVEC DES INTERFACES METIERS EXPERIMENT OF COUPLING ALTARICA MODELS WITH SPECIALIZED INTERFACES EXPERIENCE DE COUPLAGE DE MODELES ALTARICA AVEC DES INTERFACES METIERS EXPERIMENT OF COUPLING ALTARICA MODELS WITH SPECIALIZED INTERFACES PERROT Benoit, PROSVIRNOVA Tatiana, RAUZY Antoine, SAHUT D IZARN

Plus en détail

Niveaux 1 2 3 4 Option spécifique - 2 2 3 Option complémentaire - - 2 2

Niveaux 1 2 3 4 Option spécifique - 2 2 3 Option complémentaire - - 2 2 Direction de l'instruction publique, de la culture et du sport Direktion für Erziehung, Kultur und Sport Service de l enseignement secondaire du deuxième degré Amt für Unterricht der Sekundarstufe 2 CANTON

Plus en détail

Première STMG1 2014-2015 progression. - 1. Séquence : Proportion d une sous population dans une population.

Première STMG1 2014-2015 progression. - 1. Séquence : Proportion d une sous population dans une population. Première STMG1 2014-2015 progression. - 1 Table des matières Fil rouge. 3 Axes du programme. 3 Séquence : Proportion d une sous population dans une population. 3 Information chiffrée : connaître et exploiter

Plus en détail

Le programme de mathématiques Classes de première STI2D STL

Le programme de mathématiques Classes de première STI2D STL Journée de l inspection 15 avril 2011 - Lycée F. BUISSON 18 avril 2011 - Lycée J. ALGOUD 21 avril 2011 - Lycée L. ARMAND Le programme de mathématiques Classes de première STI2D STL Déroulement de la journée

Plus en détail

Sur le calcul numérique des modes non-linéaires

Sur le calcul numérique des modes non-linéaires 2 ème Congrès Français de Mécanique Besançon, 29 août au 2 septembre 2 Sur le calcul numérique des modes non-linéaires F. Blanc a, K. Ege b, C. Touzé a, J.-F. Mercier c, A.-S. Bonnet Ben Dhia c a. UME-ENSTA-ParisTech,

Plus en détail

Analyse de données symboliques et graphe de connaissances d un agent

Analyse de données symboliques et graphe de connaissances d un agent d un agent Philippe Caillou*, Edwin Diday** *LAMSADE - Université Paris Dauphine Place du maréchal de Lattre de Tassigny 7516 Paris caillou@lamsade.dauphine.fr **CEREMADE - Université Paris Dauphine Place

Plus en détail

ENSEIRB-MATMECA PG-113 2014. TP6: Optimisation au sens des moindres carrés

ENSEIRB-MATMECA PG-113 2014. TP6: Optimisation au sens des moindres carrés ENSEIRB-MATMECA PG-113 014 TP6: Optimisation au sens des moindres carrés Le but de ce TP est d implémenter une technique de recalage d images qui utilise une méthode vue en cours d analyse numérique :

Plus en détail

Développement d un élément fini intégrant les comportements ferroélectriques et ferroélastiques des céramiques piézoélectriques

Développement d un élément fini intégrant les comportements ferroélectriques et ferroélastiques des céramiques piézoélectriques Développement d un élément fini intégrant les comportements ferroélectriques et ferroélastiques des céramiques piézoélectriques Mourad Elhadrouz, Tarak Ben Zineb, Etienne Patoor Laboratoire de Physique

Plus en détail

ANALYSE FACTORIELLE MULTIPLE PROCRUSTEENNE

ANALYSE FACTORIELLE MULTIPLE PROCRUSTEENNE ANALYSE FACTORIELLE MULTIPLE PROCRUSTEENNE Elisabeth Morand & Jérôme Pagès Agrocampus Rennes Laboratoire de mathématiques appliquées CS 425 3542 Rennes cedex Résumé Pour comparer deux nuages de points

Plus en détail

1 ère année de Licence de Mathématiques et Informatique

1 ère année de Licence de Mathématiques et Informatique 1 ère année de Licence de Mathématiques et Informatique Mesures transitoires : tableau des correspondances Semestre 1 Ancienne Nouvelle habilitation habilitation Analyse S1 Analyse S1 Algèbre S1 Algèbre

Plus en détail

Formation à la C F D Computational Fluid Dynamics. Formation à la CFD, Ph Parnaudeau

Formation à la C F D Computational Fluid Dynamics. Formation à la CFD, Ph Parnaudeau Formation à la C F D Computational Fluid Dynamics Formation à la CFD, Ph Parnaudeau 1 Qu est-ce que la CFD? La simulation numérique d un écoulement fluide Considérer à présent comme une alternative «raisonnable»

Plus en détail

Yves Debard. Université du Mans Master Modélisation Numérique et Réalité Virtuelle. http://iut.univ-lemans.fr/ydlogi/index.html

Yves Debard. Université du Mans Master Modélisation Numérique et Réalité Virtuelle. http://iut.univ-lemans.fr/ydlogi/index.html Méthode des éléments finis : élasticité à une dimension Yves Debard Université du Mans Master Modélisation Numérique et Réalité Virtuelle http://iut.univ-lemans.fr/ydlogi/index.html 4 mars 6 9 mars 11

Plus en détail

Traitement et synthèse d'image : quelques grandes méthodes

Traitement et synthèse d'image : quelques grandes méthodes STAGE DE PROFESSEURS DE CLASSES PREPARATOIRES Proposé par CPE Lyon 9-10-11 Mai 2012 Traitement et synthèse d'image : quelques grandes méthodes Le traitement d'image et la synthèse d'image sont deux disciplines

Plus en détail

FESh++, une nouvelle approche orientée objet pour la simulation par éléments finis des problèmes multiphysiques

FESh++, une nouvelle approche orientée objet pour la simulation par éléments finis des problèmes multiphysiques FESh++, une nouvelle approche orientée objet pour la simulation par éléments finis des problèmes multiphysiques Daniel Marceau * Patrice Goulet ** Daniel Richard *** Mario Fafard ** * Département des sciences

Plus en détail

Utilisation d informations visuelles dynamiques en asservissement visuel Armel Crétual IRISA, projet TEMIS puis VISTA L asservissement visuel géométrique Principe : Réalisation d une tâche robotique par

Plus en détail

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B :

SEMESTRE S1. Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Outils mathématiques Discipline B : SEMESTRE S Intitulé et descriptif des U.E. Coef Crédits Discipline A : Mathématiques Mathématiques Discipline B : 0 0 Biologie Biologie Chimie Chimie Géologie Géologie Informatique Informatique Physique

Plus en détail

Résolution d équations non linéaires

Résolution d équations non linéaires Analyse Numérique Résolution d équations non linéaires Said EL HAJJI et Touria GHEMIRES Université Mohammed V - Agdal. Faculté des Sciences Département de Mathématiques. Laboratoire de Mathématiques, Informatique

Plus en détail

COULEE D ALLIAGES METALLIQUES : MODELISATION DES STRUCTURES ET SEGREGATIONS CHIMIQUES

COULEE D ALLIAGES METALLIQUES : MODELISATION DES STRUCTURES ET SEGREGATIONS CHIMIQUES Formation doctorale: Science et Génie des Matériaux OU Mécanique Numérique COULEE D ALLIAGES METALLIQUES : MODELISATION DES STRUCTURES ET SEGREGATIONS CHIMIQUES Contexte La figure ci-dessous donne une

Plus en détail