Préambule Constat : Les mathématiques représentent étonnamment bien lunivers Corollaire : On utilise les mathématiques pour décrire le monde (états reliés.

Slides:



Advertisements
Présentations similaires
MOT Éditeur de modèles de connaissances par objets typés
Advertisements

Les Systèmes d’Information Financière Atelier conjoint ACBF / Banque Mondiale / AFRITAC de l’Ouest Gérer l’application dans le temps, sur les plans fonctionnel,
Analyse et Programmation Orientées Objets Cycle de vie dun projet.
« Systèmes électroniques »
Résolution de problèmes et logiciel de calcul symbolique
Spécification et qualité du logiciel
GEF 243B Programmation informatique appliquée
Atelier régional des Nations Unies sur le traitement des données de recensement: les technologies modernes pour la saisie et la correction des données.
UML - Présentation.
Synthèse Stage Algorithmique Académie de la Réunion.
Pourquoi les modeleurs volumiques
Architecture de machines Principes généraux
Les Ateliers de Génie Logiciel
Application à la méthode des
1 ARCHITECTURE DACCÈS la méthode générale modèle de données définitions module daccès / modules métiers construction des modèles les modules daccès, les.
Discussion sur la plate-forme CORMAS/BIOSMART II
Démarche Analyse des OGL et des Méthodes Objectifs : Activités :
Les éléments de base de l’algorithmique
Création d’un programme :
Introduction à la conception de Bases de Données Relationnelles
IFT3730: Infographie 3D Transformations Géométriques
Chap 4 Les bases de données et le modèle relationnel
ALGORITHMIQUE en classe de seconde
Algorithmique et Programmation
Modélisation causale multiphysique
Optimisation et parallélisation de code pour processeur à instructions SIMD multimedia François Ferrand.
MOT Éditeur de modèles de connaissances par objets typés
IGL301 - Spécification et vérification des exgiences 1 Chapitre 1 Introduction (ref : Bray chapitre 1)
© Petko ValtchevUniversité de Montréal Janvier IFT 2251 Génie Logiciel Notions de Base Hiver 2002 Petko Valtchev.
Détection du meilleur format de compression pour une matrice creuse dans un environnement parallèle hétérogène Olfa HAMDI-LARBI.
Portée, arrimages et intervenants Évolution des méthodes
Programmation non procédurale Le projet ECOLE 2000
Systèmes d’informations : Définition, Composantes, Rôles et Approches.
Sensibilisation a la modelisation
Solvent eXtraction Database - INTERNET -
Soutenance de stage 16 Mai au 5 Août 2011
Soutenance de stage 16 Mai au 5 Août 2011
Sciences de l'Ingénieur
Supports de formation au SQ Unifié
La Modélisation Orientée Objet Concevoir un programme : modélisation du problème à résoudre Notion de programme : machine de Turing Pouvoir d’expression.
Hatainville Les Moitiers d’Allonne – Tel : Website : stratic.online.com La démarche projet Mars 2001.
Approches Formelles en Systèmes d'information
Algorithmes et Programmation
Qu'est-ce qu'un ERP  Outils automatisé pour modéliser les comportements d'une entreprise afin de les rendre plus automatiques.
Introduction au Génie Logiciel
DESIGN MULTIMÉDIA Initiation aux bases de La scénarisation multimédia
Résolution d’un problème de diffusion 3D
L’ergonomie des IHM : pourquoi, comment ?
L’Audio sur PC Comparaison Numérique vs Analogique Comparaison Audio sur PC vs Hardware dédié (DSP) Rmq: beaucoup de simulitudes avec la vidéo, mais débit.
François CARCENAC,Frédéric BONIOL ONERA-DTIM Zoubir MAMMERI IRIT
Présentation AICHA REVEL INGENIEUR D’ÉTUDE STERIA DEPARTEMENT TRD
Introduction et Généralités sur l’Algorithmique
1 Vers la gestion de la cohérence dans les processus multi-modèles métier Wolfgang THEURER Ecole Nationale Supérieure d’Ingénieurs des Etudes et Techniques.
La programmation par objets Principes et concepts Etude de Smalltalk.
lignes de C/C++, portable
ISNET-43 Atelier de génie logiciel Approche fonctionnelle ou objets Concurrence ou complémentarité ? Synthèse.
L’enseignement de spécialité SLAM
PaCO++ André Ribes Réunion Hydrogrid Rennes 15/09/03.
1/16 Chapitre 3: Représentation des systèmes par la notion de variables d’état Contenu du chapitre 3.1. Introduction 3.2. Les variables d’état d’un système.
Chapitre 2 Rappels objet et Présentation des diagrammes UML
© Petko ValtchevUniversité de Montréal Janvier IFT 2251 Génie Logiciel Le Processus Hiver 2002 Petko Valtchev.
Introduction à la Programmation Orientée Objet
Pierre Malenfant Technologie 9 École du Carrefour
Introduction Module 1.
Temps fort départemental cycle 1 L’APPROCHE DES QUANTITES ET DES NOMBRES quelques rappels de connaissances et mises en lien à destination des enseignants.
Modélisation des Actions Mécaniques Première sti2d
L ES INSTRUCTIONS DE L ECTURE, E CRITURE ET A FFECTATION Réalisé par : OUZEGGANE Redouane Département de Technologie Faculté de Technologie – Université.
1 Monopalme Projet 4 Info Présentation finale LE LAY Olivier MAHE Jocelyn FORM Nicolas HENRY Gurvan BONNIN Thomas BASSAND Guillaume Décembre 2009 MONNIER.
Matlab (Matrix Laboratory) Langage de programmation évolué. Traitement direct d’opérations matricielles, dont l’inversion et l’analyse d’opérateurs ou.
Novembre 2003 Simulation numérique en vibro-acoustique par couplage de deux codes parallèles Unité de Recherche Calcul à Haute Performance François-Xavier.
Transcription de la présentation:

Préambule Constat : Les mathématiques représentent étonnamment bien lunivers Corollaire : On utilise les mathématiques pour décrire le monde (états reliés des lois) Les babyloniens ont introduit le modèle algébrique (tablettes de Nippur 2200 avant JC) Algèbre : ensemble muni de lois de composition interne. Deux concepts : Abstraction et relation entre abstractions (ex : = 4) Séminaire Elan 20/01/1997

Le modèle magique Beaucoup plus primitif Une incantation engendre une réaction Modèle descriptif (non explicatif) Spécialisation des acteurs. Pluie, fertilité, moisson,…. Exemple: Modèle objet en informatique

Avant 82 Système CEASEMT Plusieurs codes spécialisés. –Maillage : COCO –Calculs : PASTEL, TRICO, BILBO, TEDEL, TETHYS, INCA –Post-traitements : VISU, TEMPS, ESPACE Entrée de données orientée action: –Résoudre système –Calculer contraintes

Lancement GIBI Maillage : –nécessité de réutiliser des données (positions des points..) –Nécessité didentifier des parties du maillage (contour, lignes, surfaces, …) Nouveau code de maillage: GIBI –Notion dobjet nommé. Point, Maillage –Notion dopération entre objets: DROI, TRANSLATION, ET, …

Gibi en 1983 Généralisation concept dobjet: Entiers, Réels, Mots, Opérateurs Objet : Nom, Type, Valeur –Représentation informatique Spécification fonctionnelle des opérateurs –Résultat(s) = Opérateur Opérande(s) Ecriture de jeux de données avant la programmation du code.

Castem2000 en 1983 Lancement du projet Castem2000: –Extension de Gibi aux calculs en Mécanique –Post-traitement intégré –Analyse modale (Oscar) –Un seul code (modulaire)

Quelques caractéristiques de Castem2000 Modèle algébrique: rationalisation de la connaissance: –Peu de types dobjets –Opérateurs atomiques et génériques –Choix dun niveau de description Pas de messages –Opérateurs dimpression ou de contrôle Facilité dutilisation: –Règles: régularité, visibilité, localité, orthogonalité –Documentation en ligne. Cest elle qui a raison –Rattrapage des erreurs. Pas de plantage

Castem2000 en 1986 Lancement en Janvier 1986 (linéaire) Améliorations du langage de données –Introduction des procédures pour lécriture dalgorithmes Méthodologie de développement. –Atelier logiciel, réunions de développement, spécifications formelles avant le codage.

Pouvoir tout faire Développements en général facile grâce à la modularité Quelques idées puissantes: le format unique de fichier, la granularité des opérations, le champs par élément, lutilisation des multiplicateurs de Lagrange Des opérations difficiles: le ménage, les sauvegardes-restaurations.

Objets et performance Objets immuables –Actions : création et lecture –Représentation canonique Préconditionnement –Forme factorisée dune matrice –Contour, enveloppe de maillage –Valeurs des fonction de forme

Au CEA après 1986 Fédération des nouveaux développements en Mécanique Arrivée des fluides et autres (électromagnétisme, optique, hydrogéologie) Nécessité de qualité –Test automatiques –Nettoyage automatique de la mémoire –Support

Adaptation au matériel Evolution des machines –En interne: –De 8Mo à 8Go –De 32 à 64 bits –De 1 à 2 processeurs –Du NB à la couleur –Du traceur à lécran graphique 3D

Pourquoi faire? Code de calcul par éléments finis en mécanique Plate-forme de développement doutils métiers Plate-forme daccueil de développements variés. Outil de pré et post traitement Bibliothèque de fonctions Composant logiciel spécialisé

Capitalisation de la connaissance Réutilisation de développements spécifiques Exemple du béton (IRSN) –Premier modèle adoucissant dans PASTEL Algorithme non-linéaire adapté –Modèle multi-critère Représentation des variables internes –Elément enrichi avec saut de déplacement Formulation délément –Multiphysique - thermomécanique Modèles et algorithmes

Amélioration incrémentale (Béton) R lage et projection de champs Contact – changement de phase –Méthode numérique, taille du problème Modélisation du ferraillage –Maillage indépendants des armatures et du béton Modélisation des câbles –Mise en précontrainte –Frottement dans les gaines Modélisation des levées

Evolutions Objets de nature mathématique: champs, matrice Objets de nature physique ou mathématique: modèle Problème du niveau dabstraction des objets Maillage - géométrie Evolution de certains objets vers la physique: par exemple pour les conditions aux limites, remplacement des rigidité-champoint par des modèles-chamelem