YAO : Un logiciel pour les modèles

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

Download "YAO : Un logiciel pour les modèles"

Transcription

1 YAO : Un logiciel pour les modèles numériques et l'assimilation de données Sylvie Thiria, Fouad Badran, Charles Sorror Rapport de recherche (22 juin 2006) 1

2 Table des matières 1 Introduction 3 2 Principes Théoriques de l'assimilation Variationnelle Introduction et notation Calcul de l'adjoint[27] Méthode incrémentale Quelques extensions Transformation du vecteur d'état Prise en compte du bruit du modèle Fonctions de validation Graphe Modulaire Concept de graphe modulaire Tangent linéaire d'un graphe modulaire Adjoint d'un graphe modulaire Représentation d'une application par graphe modulaire Mise au point d'expériences de simulation et/ou d'assimilation 22 4 YAO Présentation générale Concepts généraux, dénitions, vocabulaire Fichier de description Structuration d'une application sous YAO: Le chier d'instructions Schéma global d'agencement des calculs dans YAO Exemple pratique d'application : LE SHALLOW-WATER (TP didactique) Discrétisation Modélisation Par graphe modulaire YAO Etude de cas Implémentation dans YAO Fichier de description Programmation du hat et des modules Fichier d'instructions Exemples supplémentaires Achage avec gnuplot Conclusion et Perspectives 54 6 Remerciements 55 7 Annexes Démonstration de la formule de la procédure backward Simulation du modèle direct Test de la fonction objective Exécution d'une assimilation (cas 1)

3 1 Introduction La modélisation numérique est de plus en plus utilisée comme complément à l'étude d'un phénomène physique se déroulant dans le temps, dans l'espace à une, deux ou trois dimensions (1D, 2D, 3D) ou bien tout à la fois dans le temps et l'espace. Dans une première étape le modèle numérique permet de choisir et d'adapter les équations permettant de reproduire les lois physiques qui sous tendent le phénomène. Une fois vérié le bon comportement de ces lois il est alors utilisé pour l'étude du phénomène lui même. Cependant, les modèles ainsi crées restent toujours imparfaits. La paramétrisation des phénomènes, les discrétisations, l'incertitude sur les conditions initiales et les conditions limites introduisent des approximations dont il faudra tenir compte au moment d'étudier le comportement du phénomène ou de prédire les évolutions de celui-ci. De nouvelles techniques qui utilisent à la fois la modélisation et la résolution de problème inverse ont vu le jour, elles se regroupent sous le nom d'assimilation des données. Celles-ci tentent de faire évoluer le modèle physique ou les paramètres qui le contraignent (conditions initiales,...) en introduisant un nouveau type d'information : les observations. Elles utilisent alors le modèle du phénomène ou modèle direct et se servent des observations pour contrôler les modications nécessaires. Il existe deux grandes familles de technique pour faire de l'assimilation de données : les méthodes séquentielles et les méthodes variationnelles ([6, 21, 23, 25, 26, 28]), les secondes étant plus adaptées si l'on veut prendre en compte d'une manière globale les variations du phénomène pendant une période de temps donnée. Toutes sont aujourd'hui de plus en plus utilisées car elles permettent de faire interagir l'ensemble des informations disponibles (connaissances théoriques sur le phénomène et observations de celui-ci) dans l'espace et dans le temps. L'ecacité de l'approche est visible si l'on considère leurs bonnes performances, on peut faire référence, parmi d'autres, à l'amélioration actuelle obtenue sur les prévisions météorologiques qui assimilent les observations satellitaires et in situ depuis une vingtaine d'années. La technique choisie par les centres de prévision météorologique est en général l'assimilation variationnelle dont le principe repose sur la minimisation d'une fonction de coût (objective). Il faut pour cela déterminer le gradient de la fonction par rapport aux variables à contrôler. Ce calcul nécessite la programmation du code adjoint du modèl direct (parfois aussi celui du linéaire tangent de ce même modèle pour certains algorithmes) qui permet de rétropropager le gradient de l'erreur sur les valeurs de sortie du modèle vers les variables d'entrée. Il faut donc décider d'investir dans la réalisation de ces développements, survient alors la diculté de programmer ces codes (code adjoint, tangent linéaire) qui ne relèvent pas d'un sens physique commun, mais plutôt d'une démarche purement mathématique. Jusqu'à présent, deux approches sont utilisées pour créer ces codes adjoints à partir du code du modèle direct :. 3

4 - Le code adjoint peut être généré à la main. Dans ce cas, il est souhaitable de choisir le nom des variables en suivant des règles précises qui facilitent la dérivation composée. Après cette première phase d'analyse et d'écriture qui est longue et délicate, le code doit être entièrement écrit.. - Le code adjoint peut être généré d'une manière automatique à partir du code de l'application directe [14, 15, 16, 17, 19, 18]. Cette approche répond à un besoin actuel qui consiste à exploiter de très gros code existant dont on est sur du bon fonctionnement. Le code adjoint généré de manière automatique est alors dépendant du langage de programmation dans lequel il est écrit. Il contient des instructions qui ne sont pas nécessaires et doit être nettoyé avant son utilisation. Cette opération doit d'autre part être recommencée si l'on fait évoluer le code direct et que l'on désire faire évoluer également son adjoint. Il est dicile de modier directement le code adjoint, son écriture n'étant pas obligatoirement très lisible.. D'autres méthodes existent actuellement qui permettent d'eectuer ces mêmes études (Krigeage, Filtrage de Kalman), les méthodes variationnelles sont cependant celles qui semblent devenir les plus populaires étant données leurs capacités à prendre en compte toute une trajectoire d'assimilation. Leur principale diculté est d'être longue à mettre en oeuvre, il faut écrire le modèle tangent, le modèle adjoint, gérer les observations qui peuvent intervenir en n'importe quel lieu et à n'importe quel temps, gérer aussi les diérentes fonctions de coût ainsi que les matrices de variance-covariance d'erreur qui interviennent dans le processus. Une méthode nouvelle d'écriture de codes de modèles numériques est développée au LOCEAN pour l'assimilation variationnelle de données. Elle est basée sur la représentation du modèle numérique du phénomène physique étudié sous forme de graphe modulaire. Ce formalisme nous a ammené à la conception d'un outil général : Le logiciel YAO qui va être présenté dans ce document. En déchargeant l'utilisateur de l'implémentation des diérents algorithmes nécessaires, YAO se propose d'être une aide à la réalisation d'inversion variationnelle et d'une manière plus générale à l'assimilation variationnelle. Il permet à l'utilisateur de réduire sa part de programmation et de ne se concentrer ainsi que sur la spécication de son problème, en particulier sur les dépendances physiques qui existent entre les diérentes variables qui constituent le phénomène physique. Tout code écrit à partir de YAO bénécie de façon quasi-automatique du code adjoint qui permet de calculer le gradient d'une fonction de coût. Un grand avantage de cette méthode est sa exibilité et la facilité avec laquelle il est possible de modier le modèle pour le faire évoluer. La méthodologie a été testée sur diérents exemples (modèle Météo ISBA, modèle traceur OPA) ; elle a montré sa capacité à produire facilement des modèles adjoints et à permettre l'assimilation des données en 4D-Var (prise en compte des observations à n'importe quel moment durant le temps d'assimilation). Le champ d'utilisation de YAO n'est cependant pas limité aux seules simulations physiques. Il peut être utilisé pour d'autres domaines d'application. YAO s'est donc avérer être une solution ecace pour surmonter plus aisément l'investissement nécessaire à la réalisation des modèles (direct, tangent et adjoint) dont il est reconnu qu'il s'agit habituellement d'un travail lourd et contraignant. Dans les paragraphes qui suivent nous rappelons tout d'abord les principes théo- 4

5 riques et le cadre mathématique général de l'assimilation variationnelle, puis nous introduisons le formalisme de graphe modulaire. L'outil YAO et ses fonctionalités ferons ensuite l'objet d'une présentation qui sera appuyée par la réalisation d'un TP sur le shallow-water. Enn, des évolutions futures de YAO seront envisagées. Ÿ 5

6 2 Principes Théoriques de l'assimilation Variationnelle 2.1 Introduction et notation Ce paragraphe présente l'ensemble des notions mathématiques nécessaires à la mise en oeuvre des techniques d'assimilation variationnelles. Traditionellement on classe les assimilations en diérents types selon le nombre dimension que l'on considère : 3D-Var signie que l'on considère un phénomène physique décrit dans l'espace à trois dimension et 4D-Var que l'on considère son évolution dans le temps. L'assimilation variationnelle demande la connaissance d'un modèle numérique ou modèle direct M qui décrit, dans le temps, l'évolution du phénomène physique que l'on étudie. Si l'on prend par exemple un problème géophysique, le modèle direct permet de relier les variables géophysiques que l'on étudie aux observations. En faisant varier certaines des variables géophysiques (les variables de contrôle) l'assimilation cherche à inférer les variables physiques qui ont engendré les valeurs d'observations. Ces variables physiques peuvent être par exemple des conditions initiales ou des paramètres mal connus du modèle M. Les variations considérées se font à partir d'un ensemble de valeurs initiales données aux variables de contrôle et ne s'autorisent souvent qu'à explorer un domaine limité en introduisant des valeurs d'ébauche desquelles il ne faut pas trop s'écarter. D'une manière générale, il s'agit de déterminer le minimum d'une fonction de coût J qui mesure l'écart entre les observations et la valeur calculée par le modèle M. Le minimum recherché est toujours obtenu à partir de la méthode du gradient. Selon les algorithmes que l'on considère il faut alors utiliser des modèles qui se déduisent de M : le tangent linéaire et l'adjoint. Si le modèle est continu et dérivable ces deux modèles se déduisent aisément des équations du modèle M. Le tangent linéaire revient à étudier pour une valeur donnée des variables de contrôle (ou point de référence) la sensibilité du modèle M à de petites perturbations de ces variables. Il se calcule en ce point de référence en linéarisant le modèle M, calcul qui correspond à la valeur de la matrice Jacobienne en ce point. Le modèle adjoint revient, lui, à étudier les variations des variables de contrôle en réponse à une perturbation des valeurs de sortie calculées par le modèle M. Il faut donc dérouler en sens inverse les calculs du tangent linéaire, ce qui correspond à utiliser la transposée de la matrice Jacobienne. Lorsque des observations sont disponibles ces modèles permettent de faire de l'assimilation variationnelle de données en minimisant la fonction J et de retrouver les variables de contrôle. Nous présentons maintenant de manière formelle les notations mathématiques et les algorithmes les plus classiques utilisés actuellement. Dans cette présentation nous avons adopté le formalisme et les notations présentés dans l'article [20]. nous notons : M : le modèle direct décrivant l'évolution (en général non linéaire) entre 2 pas de temps de discrétisation t i,t i+1. x(t 0 ) : le vecteur d'état initial en entrée du modèle et qui est à contrôler. M i (x(t 0 )) ou M(t i, t 0 ) correspond à l'état du modèle au temps t i à partir de t 0. On notera x(t i ) = M i (x(t 0 )) M(t i, t i+1 ) : le tangent linéaire qui correspond à la jacobienne du modèle M calculé en x(t i ). On dénit le tangent linéaire du modèle M i calculé en t 0 : 6

7 M i (x(t 0 )) = 0 j=i 1 M(t j+1, t j ) L'adjoint du modèle M i est la tranposé du tangent linéaire : i 1 M i (x(t 0 )) T = M(t j+1, t j ) T j=0 x b : un vecteur d'ébauche qui correspond à une estimation à priori du vecteur x(t 0 ). y o : l'ensemble des observations sur diérents pas de temps. Le vecteur y o i correspond donc aux observations au temps t i, ce vecteur peut être vide s'il n'y a pas d'observation au pas de temps t i. Le modèle M permet d'estimer des quantités qui sont le plus souvent observées à partir d'un opérateur dit d'observation (H ). Dans le domaine de la géophysique cet opérateur permet, par exemple, de comparer les sorties du modèle M qui calcule la température à la surface de la mer à des observations enregistrées par un radiomètre qui se trouve à bord d'un satellite. On comprend également, que les observations ne peuvent pas être obtenu en tout point de l'espace étudié, ni à tout instant. Il est nécessaire de connaitre l'opérateur qui permet de transformer les valeurs de sortie de M en valeurs observables. C'est l'opérateur H qui permet donc de comparer, là ou les observations sont disponibles, les valeurs observées et celles calculées par la composition HoM. La fonction de coût J va donc s'appliquer dans le domaine des observations, comme mentionné précédemment il sera nécessaire d'exprimer le tangent linéaire et l'adjoint de l'opérateur H. On note donc : H : l'opérateur d'observation qui permet de calculer les variables d'observation y i au temps t i à partir du vecteur d'état x(t i ). On suppose par la suite que : y o i = H(M i (x(t 0 ))) + ε i (ε i étant une variable aléatoire de moyenne nulle). H i : la matrice du modèle tangent linéaire de l'opérateur H calculé en x(t i ). Enn, l'assimilation des données cherche à résoudre des problèmes qui sont le plus souvent sous contraint. Il faut pour obtenir des solutions réalistes apporter le plus possible d'information pour maintenir la cohérence existant au niveau des diérentes variables de contrôle retrouvées et des quantités estimées par le modèle M. Les variables physiques et les observations sont connues avec certaines erreurs qui sont le plus souvent fortement corréllées. Dans les méthodes d'assimilation ceci est pris en compte en introduisant au niveau de la fonction de coût des matrices de variance-covariance. La matrice de variance-covariance sur les erreurs d'observations permet de maintenir la cohérance entre les diérentes valeurs retrouvées en sortie de l'opérateur d'observation, celle sur l'écart à l'ébauche maintient la cohérence spatiale des diérentes variables de contrôle entre elles. Dans la suite on note : R : l'estimation de la matrice de covariance sur les erreurs d'observation ε i. B : l'estimation de la matrice de covariance sur les erreurs de l'ébauche x b. Avec ces notations, la fonction de coût J se présente en général sous la forme suivante : J(x(t 0 )) = 1 (y i y i ) T R 1 (y i y i ) (x(t 0) x b ) T B 1 (x(t 0 ) x b ) (1) i 7

8 Avec y i = H(x(t i )) 2.2 Calcul de l'adjoint[27] D'une manière générale, soit un scalaire J mesurant la distance entre un modèle G et ses observations et dépendant de y. Pour minimiser J, on est amené à calculer le gradient de J par rapport à des variables x du modèle tel que y = G(x). La perturbation δj est donnée par : δj =< y J, δy > (2) <> désignant le produit scalaire. On a : δy = G(x)δx (3) G(x) est le jacobien de G (opérateur linéaire au point x), que l'on note également G x. On rappelle que : soit u Au un opérateur linéaire continu d'un espace de Hilbert L dans un espace de Hilbert F. Il existe un opérateur linéaire continu A de F dans L, et un seul, tel que l'égalité suivante entre produits scalaires soit vériée pour tout vecteur u de L et tout vecteur v de F < Au, v >=< u, A v > A est l'adjoint de A. Lorsque L et F sont de dimensions nies, les matrices qui représentent A et A dans des bases orthonormées sont transposées l'une de l'autre (ou transconjuguées dans le cas de composantes complexes). On en tire que : En portant (3) dans (2) on a : on en déduit : < v, Au >=< A T v, u > δj =< y J, G x δx >=< G T x y J, δx >=< x J, δx > x (J) = G T x y (J) ce qui permet le calcul de x connaissant y en prenant l'adjoint G T x qui est la transposée de G x. de G(x) L'assimilation de données variationnelle consiste à minimiser la fonction J par rapport à l'état initial x(t 0 ). Le gradient x0 J est égal à : x0 J = M T i (x(t 0 )H T i [R 1 (y i yi o )] + B 1 (x(t 0 ) x b ) (4) i=i..n la procédure de minimisation est réalisée en choisissant un algorithme d'optimisation parmi l'ensemble de ceux proposés par les techniques d'optimisation. Dans le domaine de la géophysique un des plus utilisé pour l'assimilation variationnelle est le minimiseur m1qn3[16, 17], développé par l'inria. On peut également, de manière à favoriser pour certains problèmes la convergence, utiliser une méthode approchée de descente de gradient, appelée algorithme incrémental [29, 11] qui est plus rapide. Procéder de la sorte revient à modier la fonction J. La présentation de cette variante fait l'objet du paragraphe suivant. 8

9 2.3 Méthode incrémentale. La minimisation de la fonction J par rapport à x(t 0 ) suppose que l'on positionne l'algorithme de minimisation à un état initial x g (t 0 ), ainsi on a x(t 0 ) = x g (t 0 ) + δx(t 0 ). On utilise l'approximation par le tangent linéaire : y i = H(M i (x(t 0 ))) H(M i (x g (t 0 ))) + H i (M i (x g (t 0 ))δx(t 0 ) (5) En posant en plus d i = y o i H(M i (x g (t 0 ))) on peut exprimer J par : J[δx(t 0 )] = 1 2 [δx(t 0) (x b (t 0 ) x g (t 0 ))]B 1 [δx(t 0 ) (x b (t 0 ) x g (t 0 ))] (6) n [H i M i (x g (t 0 ))δx(t 0 ) d i ] T R 1 [H i M i (x g (t 0 ))δx(t 0 ) d i ] i=1 Cette nouvelle formulation de J représente une expression quadratique en δx et correspond à une approximation de J(x(t 0 )) autour de x g (t 0 ). Le problème est de minimiser J(δx(t 0 )) par rapport à la seule variable δx(t 0 ), les autres termes étant constants. Cette phase de minimisation sera dite la boucle interne. Elle correspond à quelques itérations de la méthode du gradient. A chaque itération de la boucle interne, il faut donc calculer le gradient δx J : δx J = B 1 [ δx(t 0 ) (x b (t 0 ) x g (t 0 )) ] + n M T i H T i R 1 [H i M i (x g (t 0 ))δx(t 0 ) d i ] (7) Au cours des itérations de la boucle interne, l'approximation par la formule 5, risque de devenir trop grossière. Pour cette raison on fait un nombre limité d'itérations, puis on recalcule la vraie valeur de y i = H(M i (x(t 0 ))). La phase de préparation de la boucle interne est appelé boucle externe. La boucle interne est donc imbriquée dans la boucle externe. Nous pouvons résumer les calculs à chaque itération de chacune de ces bloucles de la façon suivante : boucle externe : - remplacer x g (t 0 ) par x g (t 0 )+δx. Il est à noter qu'à la toute première itération x g (t 0 ) doit être initialisée, (en général égale à l'ébauche). - calculer les y i = H(M i (x g (t 0 ))) et les d i pour la nouvelle expression de J[δx(t 0 )]. - initialiser δx(t 0 ) (généralement, on prend δx(t 0 ) = 0). - boucle interne : - calculer δx J et J[δx(t 0 )] selon les formules 4 et 5. - corriger δx(t 0 ) avec une méthode de minimisation adéquate. La gure 1 illustre l'algorithme incrémental en montrant comment progresse la minimisation par l'imbrication de ces deux boucles. i=1 9

10 Fig. 1 La courbe en trait plein correspond à la fonction de coût J(x(t 0 )). Chacune des paraboles en pointillé correspond à la fonction J[δx(t 0 )] initialisée à chaque itération k de la boucle externe. La boucle interne réalise une descente de gradient sur la parabole correspondant à l'approximation. La boucle externe, quand à elle, permet d'avancer en se repositionnant sur la fonction J(x(t 0 )) (courbe pleine) et de faire une nouvelle approximation correspondant à la parabole suivante dans la minimisation. 2.4 Quelques extensions Transformation du vecteur d'état en prenant v = B 1 x = U 1 x, l'expression 1 2 (x(t 0) x b ) T B 1 (x(t 0 ) x b ) de la fonction de coût devient (v(t 0 ) v b )(v(t 0 ) v b ). Dans cette formulation, le vecteur de contrôle admet la matrice unité comme matrice de variance-covariance. Cette formulation présente plusieurs avantages notamment en ce qui concerne la convergence de l'algorithme de minimisation de la boucle interne. Certaines méthodes [29] propose de dénir directement U 1, par exemple en dénissant U 1 = F 1 D 1 K 1 où : - K 1 produit un ensemble de variables 2 à 2 non corrélées par exemple en retirant toute relation dynamique physique. - D 1 correspond à une matrice de normalisation. - F 1 est l'inverse d'un opérateur de lissage spécial qui agit séparément sur chacune des variables (non corrélées). L'implication de cette formulation et la méthode incrémentale qui lui est associée suppose une estimation de x l à la n de la lième itération de la boucle externe par : x l = x l 1 + δx l avec δx l = Uδv l où U correspond au tangent linéaire de l'opérateur U. La boucle interne aura comme objectif l'optimistaion de la fonction coût par rapport à δv Prise en compte du bruit du modèle Le modèle n'étant pas une reproduction parfaite de la réalité il est donc entaché d'erreur. Ainsi, Si on note par x t le vecteur qui correspond à la situation réelle 10

11 et on note par x f le vecteur prévu par le modèle, en posant x t (t0) = x(t0) on a alors : et x f (t i ) = M(x t (t i 1 )) x t (t i ) = x f (t i ) + η i On suppose que le vecteur η i correspond au bruit du modèle au temps t i, et qu'il admet une matrice de variance covariance Q. On suppose en plus que pour tout i et j les variables η i et η j sont indépendants. Il s'agit alors d'estimer, en plus des variables de contrôle, les diérents vecteurs η i. Ainsi, la nouvelle fonction J s'écrit : J(x(t 0 ), η 1, η 2,..., η n ) = 1 2 (x(t 0) x b ) T B 1 (x(t 0 ) x b ) n (H(x(t i )) y i ) T R 1 (H(x(t i )) y i ) i=1 (8) n ηi T Q 1 η i i=1 Avec x(t i ) = M(x(t i 1 ) + η i 1 ) En procédant à des approximations successives de l'expression (8) et en dénissant les variables i 1 z i = H i M i 1...M 0 δx + H i M i 1...M k η k 1 + H i η i 1 k=1 Où M i est la matrice du tangent linéaire du modèle M calculé au vecteur x i = M(t i, t 0 ) (état du modèle au temps t i à partir de t 0 ). En posant d i = y 0 i H(x i ) (cette fois les lettes sont bonnes) et δx = x(t 0 ) x b, la fonction coût devient alors : J(δx 0, η, z) = 1 2 δxt 0 B 1 δx n (z i d i ) T R 1 (z i d i ) i=1 Il faut alors minimiser J sous la contrainte : n ηi T Q 1 η i i=1 i 1 z i = H i M i 1...M 0 δx 0 + H i M i 1...M k η k 1 + H i η i 1 k=1 L'introduction des coecients de Lagrange (m i ) permet de passer au problème dual qui se formule alors sous la forme d'une minimisation d'une fonction coût quadratique G(m) sans contrainte. Des formules de passage permettent alors le calcul de la solution du problème initial à partir de la solution du problème dual. 11

12 L'algorithme de gradient qui permet l'optimisation de la fonction duale G(m) introduit un calcul qui peut se faire par rétropogation à travers le graphe modulaire. L'algorithme dual n'est pas encore implémenté dans YAO, mais la conception de graphe modulaire, sous-jacent à YAO, permettrait de l'intégrer par la suite. 2.5 Fonctions de validation Lorsqu'on veut pratiquer des expériences d'assimilation variationnelles, il est important de pouvoir s'assurer de la validité des codes employés. Les diérents tests ci-dessous sont couramment employés à cette n. Test de la fonction objective : il consiste à vérier le développement de Taylor de la fonction de coût J: à l'ordre 1 : J(x(t 0 )+α.dx) J(x(t 0 )) < x(t0 ) J, α.dx> 1, α 0 où <,> désigne le produit scalaire à l'ordre 2 : ( 1 J(x(t0 )+α.dx) J(x(t 0 )) α 2 < x(t0 ) J, α.dx> 1 ) K, α 0 où α est un coecient, K est une constante proportionnelle au hessien. Test du tangent linéaire. De façon similaire, on vérie le développement de Taylor sur le modèle M lui-même : à l'ordre 1 : à l'ordre 2 : 1 α M(x(t 0 )+α.dx) M(x(t 0 )) M(x(t 0 )), α.dx 1, α 0 ( M(x(t0 )+α.dx) M(x(t 0 )) M(x(t 0 )), α.dx 1 ) K, α 0 où α est un coecient, K est une constante proportionnelle au hessien. Test de l'adjoint : il s'agit de vérier l'égalité du produit scalaire suivant : < M(x(t 0 )).dx, dy >=< dx, M T (x(t 0 )).dy > dx, dy avec une tolérance sur la précision machine à apprécier selon l'erreur relative ainsi calculée : <M(x(t 0 )).dx, dy> <dx, M T (x(t 0 )).dy> <M(x(t 0 )).dx, dy> Ce test n'apporte aucune indication sur la validité de la programation des dérivées, il indique simplement la cohérence entre le modèle tangent, et sa transposition (i.e. l'adjoint). Ÿ 12

13 3 Graphe Modulaire Concept de graphe modulaire Dénitions : module : Un module F est une entité de calcul, il reçoit un vecteur en entrée et calcule un vecteur en sortie. Un graphe Γ est formé de plusieurs modules, un module reçoit ses entrées d'autres modules ou du contexte extérieur au graphe et transmet ses données en sortie à d'autres modules ou au contexte extérieur. connexion de base : On schématise les transmissions des données entre modules par des connexions qui seront appelées par la suite les connexions de base. Une connexion de base qui lie la ième sortie d'un module F p à la jème entrée d'un module F q indique que la ième valeur calculée par F p sera transmise à la jème entrée de F q. Les transmissions des données vers l'extérieur (respectivement à l'intérieur) du graphe seront représentées par des connexions de base partant de sorties de certains modules (respectivement aboutissant à des entrées de certains modules). graphe modulaire : Un graphe modulaire est un ensemble de modules interconnectés. Les modules représentent les sommets du graphe et un arc (orienté) du module F p vers le module F q signie que F p transmet une partie de ses sorties à F q. Un modèle physique M peut être représenté par un graphe modulaire Γ. La gure 2-a ci-dessous représente un sous ensemble de modules d'un modèle. Ainsi, le module F p transmet sa sortie y p1 à l'entrée x q1 de F q et sa sortie y p2 à l'entrée x q2 de F q, cette même sortie y p2 sera aussi transmise à l'entrée x l1 de F l. La gure 2-a représente donc les connexions de base décrivant la transmission des données, elle montre qu'une seule connexion de base peut aboutir à une entrée donnée, mais que plusieurs connexions de bases peuvent être issues d'une même sortie. La gure 2-b montre deux arcs du graphe modulaire associé, en général un arc du graphe modulaire représente plusieurs connexions de bases. Figure 2: (a) connexions de base entre entrées et sorties de modules. (b) arcs du graphe entre modules. Le graphe modulaire décrit donc l'ordonnancement du calcul dans un modèle (voir gure 3). Un arc de F p vers F q indique que le module F q ne peut déclencher son calcul qu'après celui de F p. Par contre, les connexions de base seront utilisées an de transmettre les données. 13

14 Figure 3: graphe d'ordonnancement. Le graphe modulaire est un graphe sans circuit, il existe donc au moins un sommet d'entrée (sans prédécesseurs) et au moins un sommet de sortie (sans successeurs), on distingue donc trois types de modules : - Les modules d' entrée du graphe (sans prédécesseurs) reçoivent leurs données uniquement du contexte extérieur du graphe et transmettent leur sorties à d'autres modules ou au contexte extérieur. - Les modules de sortie du graphe (sans successeurs dans le graphe) transmettent leurs sorties uniquement au contexte extérieur du graphe et reçoivent des données d'autres modules ou du contexte extérieur. - Les modules internes du graphe recoivent nécessairement des entrées des modules prédécésseurs et éventuellement du contexte extérieur et transmettent les résultats aux modules successeurs et éventuellement au contexte extérieur. Le graphe modulaire étant sans circuit, il est alors possible de numéroter les modules suivant un ordre appelé ordre topologique. Ainsi, relativement à cet ordre, l'existence d'un arc de F p à F q (F p F q ) implique nécessairement que p < q. L'ensemble des entrées d'un module F p constitue un vecteur noté x p, l'ensemble de ses sorties constitue un vecteur noté y p (y p = F p (x p )). De ce qui précède, un module donné F q ne peut être activé que s'il dispose de son vecteur d'entrée x q, ce qui implique que tous ses modules prédécésseurs F p aient préalablement été activés. Les entrées correspondant à des connexions de base entrant de l'extérieur sont initialisées par le contexte extérieur. L'ordre topologique indique un enchaînement possible du calcul dans le modèle. La propagation du calcul dans le graphe modulaire se fait d'une manière naturelle, selon la procédure forward suivante : 14

15 Algorithm 1 forward 1) Parcourir les modules du graphe modulaire en passe avant, dans le sens de l'ordre croissant topologique. Pour chaque module rencontré : - S'il s'agit d'un module d' entrée, initialiser ses entrées par les données correspondantes du contexte extérieur. - Pour les autres cas ( module de sortie ou interne), si le module prend une partie de ses entrées du contexte extérieur alors initialiser ces entrées par les données correspondantes du contexte extérieur, initialiser les autres entrées par les sorties correspondantes des modules prédécesseurs. - Déclancher les calculs du module pour en obtenir le résultats sur ses valeurs de sortie (y p = F p (x p )). 2) Récupération du résultat sous la forme d'un vecteur y, constitué par les données transmises au contexte extérieur par les diérents modules. Globalement, un graphe modulaire reçoit une partie de ses données sur les entrées de ses modules d' entrée, il propage le calcul dans ce graphe en récupérant éventuellement d'autres données du contexte extérieur. L'ensemble des données qui seront transmises au contexte extérieur constitue un vecteur y, ce vecteur correspond aux résultats à restituer au contexte extérieur du graphe modulaire. Ainsi, un graphe modulaire peut être considéré lui-même comme un module F (y = M(x)). La représentation par graphe modulaire s'applique donc à diérents niveaux d'intégration, ce qui permet de former des modèles de plus en plus complexes. La suite du paragraphe montre comment, grâce à la notion de graphe modulaire, on calcule le tangent linéaire et l'adjoint d'un modèle. Les calculs nécessaires demandent d'obtenir le résultat de multiplication matricielles faisant intervenir les matrices jacobiennes de chaque module. Dans ce qui suit, pour faciliter la présentation et la compréhension, nous utilisons les notations matricielles, les résultats des calculs peuvent être obtenus sans exprimer explicitement les matrices jacobiennes (par exemple en utilisant des générateurs automatiques) Tangent linéaire d'un graphe modulaire. On suppose que dans le cadre d'un graphe modulaire Γ d'un modéle M on sait calculer le tangent linéaire de chaque module F q, celui-ci se calcule pour une perturbation dx q (en un point x q ). On note par F q la matrice correspondante au tangent linéaire, qui est égale à la matrice jacobienne de F q calculée en x q, la perturbation correspondante en sortie du module est égale à dy q = F q dx q. De la même façon que le vecteur d'entrée x q, le vecteur dx q provient des perturbations dy p en sorties des modules prédécesseurs de F q ou des perturbations transmises par le contexte extérieur. Le tangent linéaire du modèle global représenté par un graphe Γ peut se calculer par une propagation avant dans le graphe de façon similaire à la procédure forward (algorithme 2). Un exemple de ce calcul est donné gure 4. 15

16 Algorithm 2 lin_forward Cet algorithme s'applique après que toutes les entrées x q de tous les modules aient été calculées (pour cela, il aura sut d'appliquer une fois l'algorithme forward pour un vecteur d'entrée x déni dans le contexte extérieur du graphe Γ ). 1) Initialiser la perturbation dx du vecteur d'entrée x du graphe Γ (ceci correspond à toutes les connexions de bases recevant des données du contexte extérieur). 2) Parcourir les module dans le sens de l'ordre topologique. Calculer, d'une manière similaire à la procédure forward, leur tangent linéaire dy q = F q dx q au point x q. 3) Récupérer le résultat sous la forme d'un vecteur dy constitué des pérturbations transmises au contexte extérieur. Figure 4: calcul du linéaire tangent dans un graphe modulaire. soit un module F q pour lequel le vecteur x q (de composante x q,i ) a déjà été calculé, et une perturbation dx q (de composante dx q,i ). On calcule dy q = F q dx q ce qui correspond au calcul du tangent linéaire du module F q. Les composantes dy q,j peuvent à leur tour être utilisés par les modules successeurs pour former leur propres composantes dx q,i Adjoint d'un graphe modulaire. Comme pour le modèle tangent linéaire, on suppose qu'on sait calculer le modèle adjoint de chaque module. Ainsi, pour un module F p, ayant en entrée un vecteur x p, s'il reçoit un vecteur dy p de même dimension que son vecteur de sortie, son modèle adjoint calculé en x p est alors dx p = F T p dy p, qui a la même dimension que le vecteur d'entrée de F p. La matrice F T p est la transposée de la matrice jacobienne du module F p calculée au point x p. On démontre alors (voir annexe 7.1), qu'on peut calculer le modèle ajoint du modèle global M (représenté par son graphe Γ ) pour chaque vecteur dy ayant la même dimension que son vecteur de sortie (dx = Γ T dy). On a besoin pour faire ce calcul de parcourir le graphe dans 16

17 l'ordre topologique inverse, ce qui correspond à utiliser les arcs en sens opposé, il s'agit du parcours en passe arrière, ou rétropropagation, du graphe modulaire (backward). Le parcours en passe arrière présente une diculté par rapport au parcours en passe avant. En eet, la transmission des données se fait toujours par l'intermédiaire des connexions de base. Comme l'illustrait la gure 2-a, lors du parcours en passe avant, une et une seule donnée est transmise à une entrée particulière. Par contre, lors du parcours en passe arrière, plusieurs données peuvent être transmises à une sortie particulière d'un module F p (exemple de y p2 de la gure 2-a). Dans le cas de l'adjoint, un calcul intermédiaire s'impose, il consiste à préparer le vecteur dy p en sortie du module F p avant de faire le calcul dx p = F T p dy p. On démontre (voir annexe 7.1) que la jème composante de dy p doit être calculée en faisant la somme de toutes les données du type dx q,i qui lui seront transmises, par retropropagation le long de toutes les connexions de bases prenant leur entrée en y pj. Ainsi, dans le cas de la gure 2-a, on doit calculer dy p2 = dx q2 + dx l1. Les diérentes données dx p,i retropropagées sont, soit issues d'un calcul par un module successeur de F p du graphe modulaire, soit calculées (ou initialisées) par le contexte extérieur du graphe modulaire. Finalement, le résultat du calcul de l'adjoint dx du modèle global (dx = M T dy) est constitué par les composantes des vecteurs dx p qui correspondent à des entrées prenant leur valeur du contexte extérieur du graphe du modèle. Ces opérations sont résumées par algorithme 3. La gure 5 montre un exemple des calculs à eectuer. Algorithm 3 backward Cet algorithme s'applique après que toutes les entrées x p de tous les modules aient été calculées une fois avec l'algorithme forward pour un vecteur d'entrée x. 1) Initialiser le vecteur dy des sorties du graphe Γ du modèle M (ceci correspond à toutes les connexions de bases transmettant des données vers le contexte extérieur ). 2) Visiter les modules dans l'ordre inverse à l'ordre topologique (parcours en passe arrière du graphe). Pour chaque module F p rencontré, eectuer le calcul de dy p (comme indiqué dans ce paragraphe) et calculer l'adjoint dx p = F T p dy p, cet adjoint étant calculé au point x p (on suppose par hypothèse que ce calcul est possible). 3) Recupérer le résultat du calcul de l'adjoint dx. Ce vecteur est constitué par les composantes des vecteurs dx p qui correspondent à des connexions de bases prenant leurs entrées du contexte extérieur au modéle. 17

18 Figure 5: calcul du l'adjoint dans un graphe modulaire. Il s'agit du même graphe que celui de la gure 4. Les notations sont équivalentes à ceci près que l'indice en p remplace celui en q. Les èches en pointillé représentent le parcours en passe arrière pendant lequel le calcul adjoint est eectué. Pour ce calcul, on rappelle cependant que chaque compsante dy p,j d'un module est constitué de la sommes des dx q,i de ces modules successeurs. Cette opération est représentée par le symbole Σ sur le graphe. Remarque Les deux algorithmes (2, 3), supposent que l'on sait faire le calcul du tangent linéaire et de l'adjoint pour chaque module F p. Les modules peuvent avoir des complexités très diérentes. Dans un cas simple, où le module est une fonction analytique, on peut calculer explicitement la matrice jacobienne F p et faire le produit F p dx p et F T p dy p. Concernant les modules plus complexes, on peut faire appel à des programmes qui font ces calculs (par exemple programme obtenus après utilisation d'un générateur automatique, voire même, par un autre graphe modulaire). Ainsi le formalisme de graphe modulaire permet de combiner diérentes méthodes pour construire des modèles de calcul complexes. Les algorithmes (2, 3) permettent, grâce au parcours avant et arrière du graphe, de calculer directement les résultats du tangent linéaire et de l'adjoint pour des modèles complexes Représentation d'une application par graphe modulaire Réaliser une étude de sensibilité ou une assimilation de données variationnelle suppose que l'on est capable de prendre en compte des graphes de grande complexité et que l'on gére les échanges (entrées, sorties) avec l'extérieur du graphe. On peut repérer plusieurs partie du graphe présentant des comportements différents. On distingue en particuilier le graphe qui correspond au modèle M = M t (M t 1 (...M 0 )) et celui qui représente l'opérateur H qui apparaissent dans les formules présentées au chapître précédent. Nous noterons par Γ M, Γ M t,γ H les graphes de calcul correspondant. Le graphe représentant le problème physique 18

19 dans son entier sera noté ΓΨ. Il correspond à l'organisation globale de l'ensemble des opérations liant les diérents graphes Γ. Comme précédemment, le graphe ΓΨ est déni par des échanges avec l'extérieur qui prend en charge, par exemple, l'ensemble des problèmes liés à la fonction de coût (matrice de variance covariance, expression moindre carré...). Nous expliquons dans la suite du paragraphe cette organisation. Réaliser une simulation ou une assimiltion de données dans un modèle géophysique M = M t (M t 1 (...M 1 )) opérationnel suppose que l'on est capable de dénir le graphe modulaire représentant l'ensemble des calculs qui vont s'eectuer dans la fenêtre de travail. Cet ensemble de calculs présente la plupart du temps une certaine répétitivité due au fait qu'un même phénomène physique se répète lorsque l'on se déplace dans l'espace ou dans le temps. L'ensemble de ces opérations caractérise ce que l'on appelle en géophysique une maille, endroit ou physiquement les grandeurs géophysiques sont estimées. De la même manière, le graphe modulaire Γ M va prendre en compte cette notion de répétitivité et permettre les échanges spatio-temporels. Ainsi, le graphe modulaire de Γ M intègre 3 niveaux d'abstraction (voir gures 6 et 7) : 1) On détermine d'abord un sous graphe modulaire dit de base Γ g qui décrit l'ensemble des opérations intervenant à un point de grille (gure 6.a). 2) La dénition d'un modèle (1D-2D,3D) à un instant t donné est donc un graphe modulaire dont les noeuds sont les sous graphes modulaires Γ g, les arcs décrivant les échanges spatiaux entre points de grilles. Cela dénit le graphe (Γ M t ) entre mailles. On utilise comme auparavant, des connexions de bases entre modules de points de grille diérents pour décrire les calculs à eectuer (gure 6.b). Figure 6: deux niveaux d'abstraction de graphe: Au niveau le plus bas, on construit le graphe de maille Γ g (a). Au niveau spatiale (b) le même graphe Γ g est répliqué pour chaque maille formant ainsi le graphe de l'espace Γ M t (en 2D dans cet exemple). Les connexions spatiales entre graphe Γ g correspondent aux connexions de base entre modules. 3) La prise en compte du temps demande que l'on le déplie dans le temps le graphe Γ M t. On procède de la même manière pour avoir enn le modèle complet Γ M recherché. Γ M sera représenté par un graphe linéaire dont les noeuds 19

20 sont représentés par les graphes modulaires Γ M t, les arcs ou connexions de base décrivent les échanges d'un pas de temps à l'autre. Comme cela a été déni précédemment, on retrouve les mêmes notions d'entrée et de sortie pour chacun des graphes Γ g, Γ M t et Γ M. Les connexions de base entrantes venant de l'extérieur de Γ M peuvent provenir par exemple de l'initialisation, de conditions limites. Les connexions de base sortantes allant vers l'extérieur vont communiquer leurs valeurs pour calculer par exemple une fonction de coût. Bien entendu les graphes Γ M t et Γ M ne se construisent pas explicitement. Il n'est nécessaire que de décrire le graphe de base Γ g, sachant que ses connexions de bases entrantes et sortantes permettent d'établir automatiquement l'ordonnancement des deux autres graphes. L'exemple qui suit, montre sur un exemple 1D (illustré par la gure 7) le dépliment temporel qui permet de comprendre l'éboration de Γ M. On considère un modèle, dont l'évolution de l'espace des états entre deux temps consécutifs est régie par un modèle d'évolution numérique discrétisé M. Prenons, pour simplier, un modèle en colonne de coordonnée z. avec 4 variables d'état u, v, w et h. La discrétisation, numérique conduit à exprimer pour chaque variable sa dépendance fonctionnelle par rapport aux autres variables qui peuvent se situer sur des points de coordonnées quelconques. Supposons que la dicrétisation nous donne, par exemple, les équations suivantes (Il s'agit ici d'un cas entièrement ctif qui n'a aucun sens physique ou autre) : u z (t) = u z (t 1) + h z 1 (t) FO v z (t) = K (u z (t)) 2 F1 w z (t) = u z (t) + v z (t) F2 h z (t) = v z (t) + w z (t) F3 Ce système d'équations, lorsqu'il est appliqué, en chaque point de maille, pour passer d'un temps t 1 au temps t, correspond au modèle M. Si, par exemple, la variable u est celle que nous voulons contrôler, l'ensemble des composantes u z (0) correspondrait à ce que nous avions noté x(t 0 ) au chapitre 2, c'est le vecteur d'état initial en entrée du modèle et à contrôler. Nous associons respectivement à chacune des ces variables u, v, w et h, un module F0, F1, F2 et F3. Ces équations se traduisent donc par un enchaînement de modules qui correspond à un graphe modulaire simple. F0 calculera u z (t) en fonction de u z (t 1) et de h z 1 (t), c'est à dire avec la sortie de F0 au même point de maille, mais au temps précédent et celle de F3 au point de maille z 1, (etc pour F1, F2 et F3). Sur la gure 7 le graphe en une maille représente cette situation. En chaque maille, le module d' entrée du graphe modulaire correspond aux entrées de F0 et son module de sortie correspond aux sorties de F3 (F1 et F2 sont des modules interne). Dans ce type de schéma, on est évidemment confronté à la phase d'initialisation et à la gestion des conditions limites. Sur notre gure, la prise en charge de ces éléments est représentée par ce que nous avons appelé l'extérieur du graphe. Ce 1er graphe modulaire simple constitue notre graphe de base générique Γ g. A partir de ce 1er niveaux d'abstraction, la gure 7 illustre les niveaux d'abstraction suivants Γ M t et Γ M. 20

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation

Un peu d'organisation. Conception et Programmation par Objets HLIN406. Sommaire. Pourquoi vous parler de conception par objets? Notion de modélisation Un peu d'organisation Conception et Programmation par Objets HLIN406 Marianne Huchard, Clémentine Nebut LIRMM / Université de Montpellier 2 Premières semaines Contrôle des connaissances Supports 2015 Sommaire

Plus en détail

0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours

0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage. 3- Organisation du cours 0- Le langage C++ 1- Du langage C au langage C++ 2- Quelques éléments sur le langage 3- Organisation du cours Le présent cours constitue une introduction pour situer le langage C++, beaucoup des concepts

Plus en détail

Applications linéaires

Applications linéaires Applications linéaires I) Applications linéaires - Généralités 1.1) Introduction L'idée d'application linéaire est intimement liée à celle d'espace vectoriel. Elle traduit la stabilité par combinaison

Plus en détail

Fonctions de plusieurs variables

Fonctions de plusieurs variables Module : Analyse 03 Chapitre 00 : Fonctions de plusieurs variables Généralités et Rappels des notions topologiques dans : Qu est- ce que?: Mathématiquement, n étant un entier non nul, on définit comme

Plus en détail

Algorithmique et programmation. Cours d'algorithmique illustré par des exemples pour le picbasic

Algorithmique et programmation. Cours d'algorithmique illustré par des exemples pour le picbasic Algorithmique et programmation Cours d'algorithmique illustré par des exemples pour le picbasic Même s'il est possible d'écrire un programme petit à petit par touches successives, le résultat est souvent

Plus en détail

CH.2 CODES CORRECTEURS

CH.2 CODES CORRECTEURS CH.2 CODES CORRECTEURS 2.1 Le canal bruité 2.2 La distance de Hamming 2.3 Les codes linéaires 2.4 Les codes de Reed-Muller 2.5 Les codes circulaires 2.6 Le câblage des codes circulaires 2.7 Les performances

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

LE PROBLEME DU FLOT MAXIMAL

LE PROBLEME DU FLOT MAXIMAL LE PROBLEME DU FLOT MAXIMAL I Exemple d introduction Deux châteaux d'eau alimentent 3 villes à travers un réseau de canalisations au sein duquel se trouvent également des stations de pompage. Les châteaux

Plus en détail

Compte-rendu de projet de Système de gestion de base de données

Compte-rendu de projet de Système de gestion de base de données Compte-rendu de projet de Système de gestion de base de données Création et utilisation d'un index de jointure LAMBERT VELLER Sylvain M1 STIC Université de Bourgogne 2010-2011 Reponsable : Mr Thierry Grison

Plus en détail

LA PROGRAMMATION LINEAIRE : UN OUTIL DE MODELISATION

LA PROGRAMMATION LINEAIRE : UN OUTIL DE MODELISATION LA PROGRAMMATION LINEAIRE : UN OUTIL DE MODELISATION Dans les leçons précédentes, nous avons modélisé des problèmes en utilisant des graphes. Nous abordons dans cette leçon un autre type de modélisation.

Plus en détail

TP : Jouons au Poker

TP : Jouons au Poker Univ. Lille1 - Licence Informatique 2ème année 2014-15 Algorithmes et Programmation Impérative 2 TP : Jouons au Poker Objectifs : Programmation modulaire Manipulation de types somme Filtrage de motifs

Plus en détail

Gestion d'un entrepôt

Gestion d'un entrepôt Gestion d'un entrepôt Épreuve pratique d'algorithmique et de programmation Concours commun des écoles normales supérieures Durée de l'épreuve: 3 heures 30 minutes Juin/Juillet 2010 ATTENTION! N oubliez

Plus en détail

Présentation du projet:

Présentation du projet: : Le but du projet est de réaliser le fonctionnement d'un jeu d échec valide. Plus spécifiquement, il consiste à implémenter l'organisation générale du jeu, et le suivi des règles du mouvement des pièces.

Plus en détail

Formalisation et automatisation de YAO, générateur de code pour l assimilation variationnelle de données

Formalisation et automatisation de YAO, générateur de code pour l assimilation variationnelle de données Formalisation et automatisation de YAO, générateur de code pour l assimilation variationnelle de données Luigi NARDI sous la direction de Fouad BADRAN et Sylvie THIRIA LOCEAN : Laboratoire d Océanographie

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

Encadré par : Mr Philippe Janssen

Encadré par : Mr Philippe Janssen ABADIE Martin BENMOUFFOK Yasmine HEIDMANN Paul UTZEL Sylvain Encadré par : Mr Philippe Janssen 2014-2015

Plus en détail

Machine de Turing. Informatique II Algorithmique 1

Machine de Turing. Informatique II Algorithmique 1 Machine de Turing Nous avons vu qu un programme peut être considéré comme la décomposition de la tâche à réaliser en une séquence d instructions élémentaires (manipulant des données élémentaires) compréhensibles

Plus en détail

est diagonale si tous ses coefficients en dehors de la diagonale sont nuls.

est diagonale si tous ses coefficients en dehors de la diagonale sont nuls. Diagonalisation des matrices http://www.math-info.univ-paris5.fr/~ycart/mc2/node2.html Sous-sections Matrices diagonales Valeurs propres et vecteurs propres Polynôme caractéristique Exemples Illustration

Plus en détail

Support du cours de Probabilités IUT d Orléans, Département d informatique

Support du cours de Probabilités IUT d Orléans, Département d informatique Support du cours de Probabilités IUT d Orléans, Département d informatique Pierre Andreoletti IUT d Orléans Laboratoire MAPMO (Bât. de Mathématiques UFR Sciences) - Bureau 126 email: pierre.andreoletti@univ-orleans.fr

Plus en détail

ORDRE DE RÉACTION : MÉTHODES DE

ORDRE DE RÉACTION : MÉTHODES DE ORDRE DE RÉACTION : MÉTHODES DE RÉSOLUTION Table des matières 1 Méthodes expérimentales 2 1.1 Position du problème..................................... 2 1.2 Dégénérescence de l ordre...................................

Plus en détail

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles

Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Annexe 4 Programmes des classes préparatoires aux Grandes Ecoles Filière : scientifique Voie : Technologie et biologie (TB) Discipline : Informatique Première et seconde années Programme d informatique

Plus en détail

CONCEPTION Support de cours n 3 DE BASES DE DONNEES

CONCEPTION Support de cours n 3 DE BASES DE DONNEES CONCEPTION Support de cours n 3 DE BASES DE DONNEES Auteur: Raymonde RICHARD PRCE UBO PARTIE III. - LA DESCRIPTION LOGIQUE ET PHYSIQUE DES DONNEES... 2 A. Les concepts du modèle relationnel de données...

Plus en détail

Chapitre 2. Classes et objets

Chapitre 2. Classes et objets Chapitre 2: Classes et Objets 1/10 Chapitre 2 Classes et objets Chapitre 2: Classes et Objets 2/10 Approche Orientée Objet Idée de base de A.O.O. repose sur l'observation de la façon dont nous procédons

Plus en détail

NOTATIONS PRÉLIMINAIRES

NOTATIONS PRÉLIMINAIRES Pour le Jeudi 14 Octobre 2010 NOTATIONS Soit V un espace vectoriel réel ; l'espace vectoriel des endomorphismes de l'espace vectoriel V est désigné par L(V ). Soit f un endomorphisme de l'espace vectoriel

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

DU BINAIRE AU MICROPROCESSEUR - D ANGELIS LOGIQUE COMBINATOIRE. SIMPLIFICATION DES EQUATIONS BOOLEENNES Leçon 07

DU BINAIRE AU MICROPROCESSEUR - D ANGELIS LOGIQUE COMBINATOIRE. SIMPLIFICATION DES EQUATIONS BOOLEENNES Leçon 07 DU BINAIRE AU MICROPROCESSEUR - D ANGELIS 43 SIMPLIFICATION DES EQUATIONS BOOLEENNES Leçon 7 Le rôle de la logique combinatoire est de faciliter la simplification des circuits électriques. La simplification

Plus en détail

Université de Bangui. Modélisons en UML

Université de Bangui. Modélisons en UML Université de Bangui CRM Modélisons en UML Ce cours a été possible grâce à l initiative d Apollinaire MOLAYE qui m a contacté pour vous faire bénéficier de mes connaissances en nouvelles technologies et

Plus en détail

L'APPROCHE EXPERIMENTALE EN RECHERCHE: introduction aux statistiques.

L'APPROCHE EXPERIMENTALE EN RECHERCHE: introduction aux statistiques. L'APPROCHE EXPERIMENTALE EN RECHERCHE: introduction aux statistiques 1 BUTS DU COURS : se familiariser avec le vocabulaire statistique o variable dépendante, variable indépendante o statistique descriptive,

Plus en détail

Projet informatique «Voyageur de commerce» Résolution approchée par algorithme génétique du problème du voyageur de commerce

Projet informatique «Voyageur de commerce» Résolution approchée par algorithme génétique du problème du voyageur de commerce Année 2007-2008 Projet informatique «Voyageur de commerce» Résolution approchée par algorithme génétique du problème du voyageur de commerce B. Monsuez Projet informatique «Voyageur de commerce» Résolution

Plus en détail

ÉLÉMENTS D OPTIMISATION. Complément au cours et au livre de MTH 1101 - CALCUL I

ÉLÉMENTS D OPTIMISATION. Complément au cours et au livre de MTH 1101 - CALCUL I ÉLÉMENTS D OPTIMISATION Complément au cours et au livre de MTH 1101 - CALCUL I CHARLES AUDET DÉPARTEMENT DE MATHÉMATIQUES ET DE GÉNIE INDUSTRIEL ÉCOLE POLYTECHNIQUE DE MONTRÉAL Hiver 2011 1 Introduction

Plus en détail

Dosiana : logiciels de gestion analytique de la dosimétrie collective des opérations de maintenance. Saisie prévisionnel

Dosiana : logiciels de gestion analytique de la dosimétrie collective des opérations de maintenance. Saisie prévisionnel Radioprotection, GÉDIM 1990 Vol. 25 n 3, pages 279 à 283 produit nouveau Dosiana : logiciels de gestion analytique de la dosimétrie collective des opérations de maintenance Saisie prévisionnel mm i n Exemple

Plus en détail

Restauration d images

Restauration d images Restauration d images Plan Présentation du problème. Premières solutions naïves (moindre carrés, inverse généralisée). Méthodes de régularisation. Panorama des méthodes récentes. Problème général Un système

Plus en détail

Chapitre 1 Régime transitoire dans les systèmes physiques

Chapitre 1 Régime transitoire dans les systèmes physiques Chapitre 1 Régime transitoire dans les systèmes physiques Savoir-faire théoriques (T) : Écrire l équation différentielle associée à un système physique ; Faire apparaître la constante de temps ; Tracer

Plus en détail

Les types somme. 1 Préparation du TP. 2 Interface du module Carte. Algorithmes et Programmation Impérative 2. 2.1 Les types de donnees

Les types somme. 1 Préparation du TP. 2 Interface du module Carte. Algorithmes et Programmation Impérative 2. 2.1 Les types de donnees Univ. Lille1 - Licence Informatique 2ème année 2014-15 Algorithmes et Programmation Impérative 2 Les types somme 1 Préparation du TP Dans le prochain TP, vous allez réaliser un programme de jeu de poker

Plus en détail

Shadow Manager Simulateur de gestion globale d entreprise. Introduction

Shadow Manager Simulateur de gestion globale d entreprise. Introduction Shadow Manager Simulateur de gestion globale d entreprise Introduction Le logiciel de simulation d entreprise Shadow Manager représente le nec plus ultra des outils pédagogiques de simulation de gestion

Plus en détail

MATHÉMATIQUES ET SCIENCES HUMAINES

MATHÉMATIQUES ET SCIENCES HUMAINES MATHÉMATIQUES ET SCIENCES HUMAINES B. MARCHADIER Dépendance et indépendance de deux aléas numériques images Mathématiques et sciences humaines, tome 25 (1969), p. 2534.

Plus en détail

CODE DETECTEUR D'ERREUR (voir Schaum) Un des avantages des systèmes numériques (l'ordinateur, par exemple) réside dans leur grande précision. Cependant, bien que ces systèmes soient précis, des erreurs

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

Couples de variables aléatoires discrètes

Couples de variables aléatoires discrètes Couples de variables aléatoires discrètes ECE Lycée Carnot mai Dans ce dernier chapitre de probabilités de l'année, nous allons introduire l'étude de couples de variables aléatoires, c'est-à-dire l'étude

Plus en détail

Condensation dynamique de modèle par sousstructuration. Fascicule u2.07 : Méthodes pour réduire la taille de la modélisation

Condensation dynamique de modèle par sousstructuration. Fascicule u2.07 : Méthodes pour réduire la taille de la modélisation Titre : Condensation dynamique de modèle par sous- structu[...] Date : 24/07/2015 Page : 1/7 Condensation dynamique de modèle par sousstructuration statique Résumé : Ce document décrit un mode d utilisation

Plus en détail

Description du logiciel Smart-MED-Parks Article technique

Description du logiciel Smart-MED-Parks Article technique Introduction Description du logiciel Smart-MED-Parks Article technique Depuis le lancement du projet en février 2013, différentes actions ont été effectuées dans le but d'accroître la sensibilisation et

Plus en détail

Cours de spécialité mathématiques en Terminale ES

Cours de spécialité mathématiques en Terminale ES Cours de spécialité mathématiques en Terminale ES O. Lader 2014/2015 Lycée Jean Vilar Spé math terminale ES 2014/2015 1 / 51 Systèmes linéaires Deux exemples de systèmes linéaires à deux équations et deux

Plus en détail

ÉPREUVE OPTIONNELLE D'INFORMATIQUE AU BACCALAURÉAT (juin 1988) - suite - POLYNÉSIE -

ÉPREUVE OPTIONNELLE D'INFORMATIQUE AU BACCALAURÉAT (juin 1988) - suite - POLYNÉSIE - 62 ÉPREUVE OPTIONNELLE D'INFORMATIQUE AU BACCALAURÉAT (juin 1988) - suite - POLYNÉSIE - PREMIÈRE PARTIE (sur 6 points) Le candidat choisira l'un des deux sujets proposés, qu'il traitera en 200 à 300 mots.

Plus en détail

Modélisation et résolution du problème de transport de gaz: application au réseau principal français

Modélisation et résolution du problème de transport de gaz: application au réseau principal français Modélisation et résolution du problème de transport de gaz: application au réseau principal français Présentation des travaux de thèse GDF SUEZ - INPT - ENSIACET - LGC EMN 24 mars 2011 Le gaz en Europe

Plus en détail

Algorithme Algorigramme page 1/10 Algorithmique Algorigramme

Algorithme Algorigramme page 1/10 Algorithmique Algorigramme Algorithme Algorigramme page 1/10 Algorithmique Algorigramme Centre d'interêt : Analyser les constituants d'un système réel d'un point de vue structurel et comportemental Objectifs A la fin de la séquence,

Plus en détail

Contents. Systèmes d'équations non linéaires 2 1. Dichotomie 2 2. Point xe 3 3. Méthodes de Newton et et de la sécante 5

Contents. Systèmes d'équations non linéaires 2 1. Dichotomie 2 2. Point xe 3 3. Méthodes de Newton et et de la sécante 5 Contents Systèmes d'équations non linéaires 2 1. Dichotomie 2 2. Point xe 3 3. Méthodes de Newton et et de la sécante 5 1 Systèmes d'équations non linéaires On considère un intervalle I R (borné ou non)

Plus en détail

Guide pour la conception d'une application en C

Guide pour la conception d'une application en C Guide pour la conception d'une application en C Ph. Preux DESS IMST, ULCO Novembre 1999 1 Principes généraux Une application informatique, dès qu'elle dépasse une centaine de lignes de code, doit impérativement

Plus en détail

Introduire un nouveau type de maille ou un nouvel élément de référence

Introduire un nouveau type de maille ou un nouvel élément de référence Titre : Introduire un nouveau type de maille ou un nouvel [...] Date : 05/10/2012 Page : 1/11 Introduire un nouveau type de maille ou un nouvel élément de référence Résumé : Ce document décrit ce qu il

Plus en détail

La comptabilisation dans la ligne Crésus Le module de comptabilisation

La comptabilisation dans la ligne Crésus Le module de comptabilisation Note La comptabilisation dans la ligne Crésus Le module de comptabilisation Ce document présente le fonctionnement du module de comptabilisation qui prend la relève entre les programmes de facturation

Plus en détail

INF-130 Travail Pratique #2

INF-130 Travail Pratique #2 École de technologie supérieure INF-30 Travail Pratique #2 Travail individuel Tracé d un métro Francis Bourdeau, Frédérick Henri et Patrick Salois Remise à la 0 e semaine. Objectifs - Amener l étudiant

Plus en détail

2B La résolution de modèles linéaires par Excel 2010

2B La résolution de modèles linéaires par Excel 2010 2B La résolution de modèles linéaires par Excel 2010 Nous reprenons ici, de façon plus détaillée, la section où est indiqué comment utiliser le solveur d'excel 2010 pour résoudre un modèle linéaire (voir

Plus en détail

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2

Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101. Travail pratique #2 Université Laval Faculté des sciences et de génie Département d'informatique et de génie logiciel IFT-3101 Danny Dubé Hiver 2014 Version : 11 avril Questions Travail pratique #2 Traduction orientée-syntaxe

Plus en détail

Cours FPV - Semaine 3 : Recherche d Extrema et Formes Différentielles

Cours FPV - Semaine 3 : Recherche d Extrema et Formes Différentielles Cours FPV - Semaine 3 : Recherche d Extrema et Formes Différentielles Frédéric Messine Introduction Dans ce chapitre, nous allons étudier une application de la dérivation des fonctions de plusieurs variables

Plus en détail

Programmation C++ (débutant)/les tableaux statiques

Programmation C++ (débutant)/les tableaux statiques Programmation C++ (débutant)/les tableaux statiques 1 Programmation C++ (débutant)/les tableaux statiques Le cours du chapitre 6 : les tableaux statiques Les tableaux Une variable entière de type int ne

Plus en détail

Projet Système Distribué : Implémentation d'un serveur générateur de certicats. BEUQUE Eric, CORNEVAUX Sébastien, MOUTENET Cyril 13 janvier 2009

Projet Système Distribué : Implémentation d'un serveur générateur de certicats. BEUQUE Eric, CORNEVAUX Sébastien, MOUTENET Cyril 13 janvier 2009 Projet Système Distribué : Implémentation d'un serveur générateur de certicats BEUQUE Eric, CORNEVAUX Sébastien, MOUTENET Cyril 13 janvier 2009 1 Table des matières 1 Sujet 3 2 Analyse 4 3 Création clé

Plus en détail

NOTIONS DE PROBABILITÉS

NOTIONS DE PROBABILITÉS NOTIONS DE PROBABILITÉS Sommaire 1. Expérience aléatoire... 1 2. Espace échantillonnal... 2 3. Événement... 2 4. Calcul des probabilités... 3 4.1. Ensemble fondamental... 3 4.2. Calcul de la probabilité...

Plus en détail

Placement de centres logistiques

Placement de centres logistiques Master 1 - Spécialité Androide Année 2014/2015 Module RP Résolution de Problèmes Projet Placement de centres logistiques On considère dans ce projet la résolution du problème de placement de centres logistiques

Plus en détail

La fonction exponentielle

La fonction exponentielle DERNIÈRE IMPRESSION LE 2 novembre 204 à :07 La fonction exponentielle Table des matières La fonction exponentielle 2. Définition et théorèmes.......................... 2.2 Approche graphique de la fonction

Plus en détail

Table des matières. Listings. 1 Tests Algorithmique et Matlab. Travaux pratiques - E.D.O. Travail individuel et personnel. Sup'Galilée Année 2014-2015

Table des matières. Listings. 1 Tests Algorithmique et Matlab. Travaux pratiques - E.D.O. Travail individuel et personnel. Sup'Galilée Année 2014-2015 Energétique I Méthodes Numériques II Sup'Galilée Année -5 Travaux pratiques - E.D.O. Groupes B à B6 Travail individuel et personnel Table des matières Tests Algorithmique et Matlab Résolution numérique

Plus en détail

Chapitre 2 Le problème de l unicité des solutions

Chapitre 2 Le problème de l unicité des solutions Université Joseph Fourier UE MAT 127 Mathématiques année 2011-2012 Chapitre 2 Le problème de l unicité des solutions Ce que nous verrons dans ce chapitre : un exemple d équation différentielle y = f(y)

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

LE PROBLEME DU PLUS COURT CHEMIN

LE PROBLEME DU PLUS COURT CHEMIN LE PROBLEME DU PLUS COURT CHEMIN Dans cette leçon nous définissons le modèle de plus court chemin, présentons des exemples d'application et proposons un algorithme de résolution dans le cas où les longueurs

Plus en détail

3 Pseudo-code et algorithmes 26

3 Pseudo-code et algorithmes 26 TABLE DES MATIÈRES 1 Introduction à la programmation 1 1.1 Programme et langage de programmation 2 1.2 Étapes du développement des programmes 2 1.3 Notion d'algorithme 6 2 Notions de base 9 2.1 Constantes

Plus en détail

2012/2013 Le codage en informatique

2012/2013 Le codage en informatique 2012/2013 Le codage en informatique Stéphane Fossé/ Marc Gyr Lycée Felix Faure Beauvais 2012/2013 INTRODUCTION Les appareils numériques que nous utilisons tous les jours ont tous un point commun : 2 chiffres

Plus en détail

Analyse abstraite de missions sous PILOT

Analyse abstraite de missions sous PILOT Analyse abstraite de missions sous PILOT Damien Massé EA 3883, Université de Bretagne Occidentale, Brest damien.masse@univ-brest.fr Résumé Nous étudions la possibilité de réaliser un analyseur par interprétation

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

Par : Abdel YEZZA, Ph.D. Date : avril 2011 / mise à jour oct. 2012 (ajout de la section 3 et augmentation de la section 1)

Par : Abdel YEZZA, Ph.D. Date : avril 2011 / mise à jour oct. 2012 (ajout de la section 3 et augmentation de la section 1) 1 Que signifient AON et AOA? Par : Abdel YEZZA, Ph.D. Date : avril 2011 / mise à jour oct. 2012 (ajout de la section 3 et augmentation de la section 1) Sommaire 1. Concepts... 2 2. Méthode PCM appliquée

Plus en détail

GOUTTE. Analyse Statistique des Données Cours 4. Master 2 EID. LUISS, Libera Università Internazionale degli Studi Sociali

GOUTTE. Analyse Statistique des Données Cours 4. Master 2 EID. LUISS, Libera Università Internazionale degli Studi Sociali LUISS, Libera Università Internazionale degli Studi Sociali Université Paris 13 Laboratoire Analyse, Géométrie et Applications UMR 7539 GOUTTE Analyse Statistique des Données Cours 4 Master 2 EID goutte@math.univ-paris13.fr

Plus en détail

Les composantes d'une application et la logique de programmation

Les composantes d'une application et la logique de programmation Chapitre 10 Les composantes d'une application et la logique de programmation Introduction La mise en situation propose d'étudier le principe de fonctionnement d'une application sous forme d'une base de

Plus en détail

Master IAD Module PS. Reconnaissance de la parole (suite) Modèles de Markov et bases de données. Gaël RICHARD Février 2008

Master IAD Module PS. Reconnaissance de la parole (suite) Modèles de Markov et bases de données. Gaël RICHARD Février 2008 Master IAD Module PS Reconnaissance de la parole (suite) Modèles de Markov et bases de données Gaël RICHARD Février 2008 1 Reconnaissance de la parole Introduction Approches pour la reconnaissance vocale

Plus en détail

Cours de Mécanique du point matériel

Cours de Mécanique du point matériel Cours de Mécanique du point matériel SMPC1 Module 1 : Mécanique 1 Session : Automne 2014 Prof. M. EL BAZ Cours de Mécanique du Point matériel Chapitre 1 : Complément Mathématique SMPC1 Chapitre 1: Rappels

Plus en détail

DÉTERMINANTS DANS LE PLAN ET DANS L'ESPACE. par. Benoît Kloeckner

DÉTERMINANTS DANS LE PLAN ET DANS L'ESPACE. par. Benoît Kloeckner DÉTERMINANTS DANS LE PLAN ET DANS L'ESPACE par Benoît Kloeckner L'objectif de ce cours est d'introduire le déterminant d'une famille de vecteurs dans R 2 et R 3, ainsi que le produit vectoriel. Les prérequis

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 : 12/04/2011 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

Système. Introduction aux systèmes informatiques

Système. Introduction aux systèmes informatiques Introduction aux systèmes informatiques Système Un système est une collection organisée d'objets qui interagissent pour former un tout Objets = composants du système Des interconnexions (liens) entre les

Plus en détail

Baccalauréat ES Centres étrangers 12 juin 2014 - Corrigé

Baccalauréat ES Centres étrangers 12 juin 2014 - Corrigé Baccalauréat ES Centres étrangers 1 juin 14 - Corrigé A. P. M. E. P. Exercice 1 5 points Commun à tous les candidats 1. On prend un candidat au hasard et on note : l évènement «le candidat a un dossier

Plus en détail

Manuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2

Manuel d utilisation 26 juin 2011. 1 Tâche à effectuer : écrire un algorithme 2 éducalgo Manuel d utilisation 26 juin 2011 Table des matières 1 Tâche à effectuer : écrire un algorithme 2 2 Comment écrire un algorithme? 3 2.1 Avec quoi écrit-on? Avec les boutons d écriture........

Plus en détail

Introduction à la conduite de projet "systèmes d'information"

Introduction à la conduite de projet systèmes d'information Centre national de la recherche scientifique Direction des systèmes d'information REFERENTIEL QUALITE Guide méthodologique Introduction à la conduite de projet "systèmes d'information" Référence : CNRS/DSI/conduite-projet/principes/guide-introduction

Plus en détail

L approche Bases de données

L approche Bases de données L approche Bases de données Cours: BD. Avancées Année: 2005/2006 Par: Dr B. Belattar (Univ. Batna Algérie) I- : Mise à niveau 1 Cours: BDD. Année: 2013/2014 Ens. S. MEDILEH (Univ. El-Oued) L approche Base

Plus en détail

REPRÉSENTATION DES NOMBRES EN MACHINE

REPRÉSENTATION DES NOMBRES EN MACHINE Info 2 REPRÉSENTATION DES NOMBRES EN MACHINE Problématique Dans la mémoire d'un ordinateur, les données sont représentées sous forme de séquences de 0 et de 1. Par conséquent, toute information mémorisée

Plus en détail

Préparation à l agrégation 2012/2013. Mots clés : Graphes. Vecteur propre ; matrices stochastiques ; matrices à coefficients positifs.

Préparation à l agrégation 2012/2013. Mots clés : Graphes. Vecteur propre ; matrices stochastiques ; matrices à coefficients positifs. Mots clés : Graphes. Vecteur propre ; matrices stochastiques ; matrices à coefficients positifs. Le jury n exige pas une compréhension exhaustive du texte. Vous êtes laissé(e) libre d organiser votre discussion

Plus en détail

Compte-rendu de projet de Cryptographie

Compte-rendu de projet de Cryptographie Compte-rendu de projet de Cryptographie Chirement/Déchirement de texte, d'images de sons et de vidéos LAMBERT VELLER Sylvain M1 STIC Université de Bourgogne 2010-2011 Reponsable : Mr Pallo Table des matières

Plus en détail

Figure 2.1 : fenêtre de travail d'excel v7.0

Figure 2.1 : fenêtre de travail d'excel v7.0 2.1. Excel 2.1.1. Présentation Les tableurs sont des utilitaires parfois intégrés aux éditeurs de texte (Works, Word, Kspread) ou non (Excel) et qui permettent la gestion de données numériques, le graphisme

Plus en détail

Chapitre I - Introduction et conseils au lecteur

Chapitre I - Introduction et conseils au lecteur Chapitre I - Introduction et conseils au lecteur Cette partie introductive situe la place de l'algorithmique dans le développement logiciel et fournit au lecteur des conseils : conseils pour bien analyser

Plus en détail

INTRODUCTION. A- Modélisation et paramétrage : CHAPITRE I : MODÉLISATION. I. Paramétrage de la position d un solide : (S1) O O1 X

INTRODUCTION. A- Modélisation et paramétrage : CHAPITRE I : MODÉLISATION. I. Paramétrage de la position d un solide : (S1) O O1 X INTRODUCTION La conception d'un mécanisme en vue de sa réalisation industrielle comporte plusieurs étapes. Avant d'aboutir à la maquette numérique du produit définitif, il est nécessaire d'effectuer une

Plus en détail

COR TD 2. Exercice 1. Déterminer si les applications f i suivantes sont linéaires : x + x, y + y )

COR TD 2. Exercice 1. Déterminer si les applications f i suivantes sont linéaires : x + x, y + y ) COR TD 2 Année 21 Exercice 1. Déterminer si les applications f i suivantes sont linéaires : f 1 : R 2 R 2 f 1 x, y = 2x + y, x y f 2 : R R f 2 x, y, z = xy, x, y f : R R f x, y, z = 2x + y + z, y z, x

Plus en détail

Pour un socle de la licence de MATHEMATIQUES

Pour un socle de la licence de MATHEMATIQUES Pour un socle de la licence de MATHEMATIQUES Société Mathématique de France Société de Mathématiques Appliquées et Industrielles Société Française de Statistique Contexte général Afin d éviter de trop

Plus en détail

5.1.1 La procédure pour la description d'une situation-problème

5.1.1 La procédure pour la description d'une situation-problème 5 LE CHOIX DES PARTIES DE COURS : UNE PROGRESSION DES APPRENTISSAGES Éléments du cinquième chapitre 5.1 La description de la situation-problème finale 5.1.1 La procédure pour la description d'une situation-problème

Plus en détail

Utiliser Access ou Excel pour gérer vos données

Utiliser Access ou Excel pour gérer vos données Page 1 of 5 Microsoft Office Access Utiliser Access ou Excel pour gérer vos données S'applique à : Microsoft Office Access 2007 Masquer tout Les programmes de feuilles de calcul automatisées, tels que

Plus en détail

Le client/serveur repose sur une communication d égal à égal entre les applications.

Le client/serveur repose sur une communication d égal à égal entre les applications. Table des matières LES PRINCIPES DE BASE... 1 Présentation distribuée-revamping...2 Présentation distante...3 Traitements distribués...3 données distantes-rd...4 données distribuées-rda distribué...4 L'ARCHITECTURE

Plus en détail

Développement de méthodes multi-grilles dans le cadre de l intéraction pastille/gaine

Développement de méthodes multi-grilles dans le cadre de l intéraction pastille/gaine Développement de méthodes multi-grilles dans le cadre de l intéraction pastille/gaine January 25, 2011 Ce n est le bon chemin que si la flèche vise le coeur, R.Hauser Intéraction Pastille/Gaine Fonctionnement

Plus en détail

Langage VBA - Présentation du cours

Langage VBA - Présentation du cours Langage VBA - Présentation du cours Intérêt de l'enseignement de VBA : pourquoi VBA? Pré-Requis Buts du cours Première découverte Organisation de l'enseignement 1 Pourquoi enseigner VBA? Non pas le meilleur

Plus en détail

EDUGRAF. L éditeur nouvelle génération. de GRAFCET. Version : 1.0. Edition Août 2012 EduLabo

EDUGRAF. L éditeur nouvelle génération. de GRAFCET. Version : 1.0. Edition Août 2012 EduLabo EDUGRAF L éditeur nouvelle génération de GRAFCET Version : 1.0 Compatible : Win XP, Vista, 7 Mise à jour automatique Grafcet avec : o Divergence convergence OU, o Divergence convergence ET, o Temporisateurs,

Plus en détail

3.1 Espace vectoriel. La multiplication par un scalaire. L'addition et la multiplication par un scalaire obeissent aux regles suivantes :

3.1 Espace vectoriel. La multiplication par un scalaire. L'addition et la multiplication par un scalaire obeissent aux regles suivantes : .1 Espace vectoriel Un espace vectoriel de dimension p sur le corps des reels IR est une construction mathematique dont les elements sont des vecteurs. Il est deni par deux operations : L'addition. Soient

Plus en détail

Partie I : Automates et langages

Partie I : Automates et langages 2 Les calculatrices sont interdites. N.B. : Le candidat attachera la plus grande importance à la clarté, à la précision et à la concision de la rédaction. Si un candidat est amené à repérer ce qui peut

Plus en détail

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES

PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Leçon 11 PROBLEMES D'ORDONNANCEMENT AVEC RESSOURCES Dans cette leçon, nous retrouvons le problème d ordonnancement déjà vu mais en ajoutant la prise en compte de contraintes portant sur les ressources.

Plus en détail

Fonction polynôme du second degré : Forme canonique

Fonction polynôme du second degré : Forme canonique Fonction polynôme du second degré : Forme canonique I) Introduction. Soit g(x) = a(x - s)²+h. Toute fonction polynôme du second degré peut s écrire sous cette forme. Le passage de la forme développée à

Plus en détail

Exercices théoriques

Exercices théoriques École normale supérieure 2008-2009 Département d informatique Algorithmique et Programmation TD n 9 : Programmation Linéaire Avec Solutions Exercices théoriques Rappel : Dual d un programme linéaire cf.

Plus en détail

Version default Titre : Opérateur RECU_PARA_YACS Date : 15/06/2011 Page : 1/5 Responsable : Nicolas GREFFET Clé : U7.06.

Version default Titre : Opérateur RECU_PARA_YACS Date : 15/06/2011 Page : 1/5 Responsable : Nicolas GREFFET Clé : U7.06. Titre : Opérateur RECU_PARA_YACS Date : 15/06/2011 Page : 1/5 Opérateur RECU_PARA_YACS 1 But L'objet de cette commande est de gérer certains échanges de paramètres pour le couplage IFS par des appels YACS.

Plus en détail

Soutien illimité 7j/7 en maths: Coach, profs, exercices & annales, cours. Sujet de Bac 2013 Maths S Obligatoire & Spécialité - Liban

Soutien illimité 7j/7 en maths: Coach, profs, exercices & annales, cours. Sujet de Bac 2013 Maths S Obligatoire & Spécialité - Liban Sujet de Bac 2013 Maths S Obligatoire & Spécialité - Liban EXERCICE 1 : 4 Points Cet exercice est un questionnaire à choix multiples. Aucune justification n est demandée. Pour chacune des questions, une

Plus en détail

RapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources

RapidMiner. Data Mining. 1 Introduction. 2 Prise en main. Master Maths Finances 2010/2011. 1.1 Présentation. 1.2 Ressources Master Maths Finances 2010/2011 Data Mining janvier 2011 RapidMiner 1 Introduction 1.1 Présentation RapidMiner est un logiciel open source et gratuit dédié au data mining. Il contient de nombreux outils

Plus en détail