Tout ce que vous avez toujours voulu savoir sur les flottants
|
|
- Antonin Savard
- il y a 6 ans
- Total affichages :
Transcription
1 Tout ce que vous avez toujours voulu savoir sur les flottants sans jamais oser le demander Laurent Fousse 12 novembre 2007
2 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
3 Ils sont partout Les nombres flottants sont utilisés partout :
4 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques,
5 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques, pour les calculs scientifiques divers,
6 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques, pour les calculs scientifiques divers, dans votre lecteur de DVD,
7 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques, pour les calculs scientifiques divers, dans votre lecteur de DVD, dans votre lecteur MP3 portable,
8 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques, pour les calculs scientifiques divers, dans votre lecteur de DVD, dans votre lecteur MP3 portable, dans votre téléphone portable,
9 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques, pour les calculs scientifiques divers, dans votre lecteur de DVD, dans votre lecteur MP3 portable, dans votre téléphone portable, dès que vous regardez une image JPEG sur le web,
10 Ils sont partout Les nombres flottants sont utilisés partout : pour les simulations numériques, pour les calculs scientifiques divers, dans votre lecteur de DVD, dans votre lecteur MP3 portable, dans votre téléphone portable, dès que vous regardez une image JPEG sur le web, lorsque vous jouez avec votre PS3.
11 Exemple de mauvaise utilisation des flottants Conversion d un nombre flottant 64 bits vers un entier 16 bits, Échec de conversion (constante trop grande), Panne du Système de Référence Inertielle, Perte totale d information de guidage, Explosion (500 millions de dollars).
12 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
13 Nombre flottant x = s m β e s { 1, 1} (signe), m N (mantisse), β 2 entier (base), e Z (exposant). Exemple : x = est un flottant en base β = 2 avec une mantisse de 6 bits.
14 Addition sur les flottants x = , y = x , 000 y , 101 x + y , 011 Flottants «suite de bits avec un décalage»
15 Multiplication de flottants x = s 1 m 1 2 e 1 y = s 2 m 2 2 e 2 xy = (s 1 s 2 ) (m 1 m 2 ) 2 e 1+e Note 0 m 1, m 2 < 2 p donc 0 m 1 m 2 < 2 2p s écrit en général sur 2p bits.
16 Arrondis Les flottants ne simulent qu imparfaitement les réels : sin(42) = 0, , ? 0, ? (sin(42)) = 0, [arrondi au plus proche] sin(42) 0, ,
17 L importance de l arrondi Exemple : échec d un anti-missile Patriot (25 février 1991), ou «petite erreur deviendra grosse». horloge interne en 1/10 de seconde, erreur de troncation sur la constante 1/10 en binaire, erreur totale de 0, 34s, pour une vitesse de 1600m/s, 28 morts.
18 L importance de l arrondi Sur le Patriot : 1 10 ε = ε 0, Avec l arrondi au plus proche sur 24 bits : ( ) ε 0, 005
19 Flottants normalisés Definition (Flottant normalisé) Un flottant x = s m 2 e est dit normalisé sur p bits si 2 p 1 m < 2 p. Definition (Exposant) Pour un nombre réel non nul x on définit l exposant E(x) := 1 + log 2 x, de telle sorte que 2 E(x) 1 x < 2 E(x). Definition (Unit in the last place (ulp)) On appelle ulp de x = s m 2 e normalisé la valeur du bit de poids faible de x, et on note ulp(x) = 2 e.
20 Flottants normalisés Exemple : x = 42 = E(x) = 6 ulp 6 (x) = 1
21 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
22 Norme IEEE 754 La norme IEEE 754 définit :
23 Norme IEEE 754 La norme IEEE 754 définit : des formats de nombres flottants et leur représentation en machine,
24 Norme IEEE 754 La norme IEEE 754 définit : des formats de nombres flottants et leur représentation en machine, des nombres spéciaux,
25 Norme IEEE 754 La norme IEEE 754 définit : des formats de nombres flottants et leur représentation en machine, des nombres spéciaux, des modes d arrondi,
26 Norme IEEE 754 La norme IEEE 754 définit : des formats de nombres flottants et leur représentation en machine, des nombres spéciaux, des modes d arrondi, des exceptions et autres subtilités passées sous silence.
27 Norme IEEE 754 La norme IEEE 754 définit : des formats de nombres flottants et leur représentation en machine, des nombres spéciaux, des modes d arrondi, des exceptions et autres subtilités passées sous silence. De plus la norme impose un comportement dit d «arrondi correct» pour certaines opérations.
28 Formats IEEE 754 Format Total e min e max Mantisse Exposant simple simple étendu double double étendu Note : 1 m < 2.
29 Nombres spéciaux IEEE 754 La norme définit des nombres spéciaux : des zéros signés (+0 et 0 sont différents), des infinis + et, NaN pour Not a Number, des dénormalisés.
30 Modes d arrondi La norme définit 4 modes d arrondi : l arrondi vers le bas l arrondi vers le haut l arrondi vers zéro l arrondi au plus proche x = 0, , , 111 2
31 Modes d arrondi x = 0, = x = 0, = 3 4 x + = 0, = 7 8 (x) = x (x) = x + (x) = x (x) = (x) = x
32 Arrondi correct Definition (Arrondi correct) Une opération respecte la règle de l arrondi correct si son résultat est l arrondi dans le mode d arrondi demandé par l utilisateur de l opération simulée sur des réels. Exemple (en base 10) : 12 = 3, ( 12) = 3, ( 12) = 3, ( 12) = 3, La norme impose aux opérations +,,, et de respecter la règle de l arrondi correct.
33 Arrondi correct Application : (a + b) (a + b) 1 ulp( (a + b)). 2 Sinon l un des nombres flottants voisins du flottant (a + b) est plus proche de a + b, ce qui est absurde pour un arrondi au plus proche.
34 Propriétés des flottants IEEE = = +0 1 = (+ ) (+ ) = NaN F Q F n est pas stable par l addition, la multiplication, la division. Exemple en simple précision : x = y =
35 Avantages de la norme les nombres flottants sont portables d un système à l autre,
36 Avantages de la norme les nombres flottants sont portables d un système à l autre, les opérations sont uniquement définies,
37 Avantages de la norme les nombres flottants sont portables d un système à l autre, les opérations sont uniquement définies, les programmes ont un comportement unique,
38 Avantages de la norme les nombres flottants sont portables d un système à l autre, les opérations sont uniquement définies, les programmes ont un comportement unique, les programmes numériques sont analysables.
39 Exemple de propriété Theorem (Sterbenz) Si y/2 x 2y alors x y est exactement représentable.
40 Insuffisances de la norme seules les opérations simples sont couvertes (pas log, sin,... ),
41 Insuffisances de la norme seules les opérations simples sont couvertes (pas log, sin,... ), l enchaînements de plusieurs opérations doit s analyser par étapes,
42 Insuffisances de la norme seules les opérations simples sont couvertes (pas log, sin,... ), l enchaînements de plusieurs opérations doit s analyser par étapes, et si on veut plus de précision?
43 Cancellation Exemple en base 10 avec 8 chiffres de précision. x = y = z = t = xy = (xy) = zt = (zt) = xy zt = 1 (xy) (zt) = ( ) 10 8 = 10 8
44 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
45 Un exemple d opération complexe : l intégration Un système célèbre de calcul formel : \^/ Maple 10 (IBM INTEL LINUX)._ \ / _. Copyright (c) Maplesoft, a division of Waterloo Maple Inc \ MAPLE / All rights reserved. Maple is a trademark of < > Waterloo Maple Inc. Type? for help. > evalf(int(exp(-x^2)*ln(x), x=17..42));
46 Un exemple d opération complexe : l intégration Un système célèbre de calcul formel : \^/ Maple 10 (IBM INTEL LINUX)._ \ / _. Copyright (c) Maplesoft, a division of Waterloo Maple Inc \ MAPLE / All rights reserved. Maple is a trademark of < > Waterloo Maple Inc. Type? for help. > evalf(int(exp(-x^2)*ln(x), x=17..42)); > Digits:=20: evalf(int(exp(-x^2)*ln(x), x=17..42));
47 Un exemple d opération complexe : l intégration Un système célèbre de calcul formel : \^/ Maple 10 (IBM INTEL LINUX)._ \ / _. Copyright (c) Maplesoft, a division of Waterloo Maple Inc \ MAPLE / All rights reserved. Maple is a trademark of < > Waterloo Maple Inc. Type? for help. > evalf(int(exp(-x^2)*ln(x), x=17..42)); > Digits:=20: evalf(int(exp(-x^2)*ln(x), x=17..42)); > Digits:=50: evalf(int(exp(-x^2)*ln(x), x=17..42));
48 Un exemple d opération complexe : l intégration Un système célèbre de calcul formel : \^/ Maple 10 (IBM INTEL LINUX)._ \ / _. Copyright (c) Maplesoft, a division of Waterloo Maple Inc \ MAPLE / All rights reserved. Maple is a trademark of < > Waterloo Maple Inc. Type? for help. > evalf(int(exp(-x^2)*ln(x), x=17..42)); > Digits:=20: evalf(int(exp(-x^2)*ln(x), x=17..42)); > Digits:=50: evalf(int(exp(-x^2)*ln(x), x=17..42)); > Digits:=100: evalf(int(exp(-x^2)*ln(x), x=17..42)); [...] 10
49 Un exemple d opération complexe : l intégration exp( x 2 ) log xdx 0, Précision demandée Réponse Maple Chiffres corrects 10 0, , , , , , , , 7
50 Un exemple d opération complexe : l intégration exp( x 2 ) log xdx 0, Précision demandée Réponse Maple Chiffres corrects 10 0, , , , , , , , 7 augmenter la précision nous a conforté dans notre erreur!
51 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
52 Ce qui change de la précision fixe chaque variable flottante dispose de sa propre précision p,
53 Ce qui change de la précision fixe chaque variable flottante dispose de sa propre précision p, la complexité des opérations change,
54 Ce qui change de la précision fixe chaque variable flottante dispose de sa propre précision p, la complexité des opérations change, les calculs peuvent devenir arbitrairement précis...
55 Ce qui change de la précision fixe chaque variable flottante dispose de sa propre précision p, la complexité des opérations change, les calculs peuvent devenir arbitrairement précis... si on en paie le prix.
56 Complexité des opérations de base Opération Addition Multiplication Division Précision fixe O(1) O(1) O(1) Précision p O(p) O(M(p)) O(M(p))
57 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
58 Définition La fonction erf est définie par erfx = 2 π x 0 e t2 dt et son développement à l origine est donné par erfx = 2 ( 1) i π i!(2i + 1) x 2i+1 i=0
59 Définition La fonction erf est définie par erfx = 2 π x 0 e t2 dt et son développement à l origine est donné par erfx = 2 ( 1) i π i!(2i + 1) x 2i+1 i=0 = 2 k ( 1) i π i!(2i + 1) x 2i+1 +R k i=0 }{{} S k
60 Algorithme L algorithme de calcul est donc : 1 Choisir «correctement» k assez grand,
61 Algorithme L algorithme de calcul est donc : 1 Choisir «correctement» k assez grand, 2 Calculer S k et une borne d erreur d arrondi ɛ k,
62 Algorithme L algorithme de calcul est donc : 1 Choisir «correctement» k assez grand, 2 Calculer S k et une borne d erreur d arrondi ɛ k, 3 Borner R k,
63 Algorithme L algorithme de calcul est donc : 1 Choisir «correctement» k assez grand, 2 Calculer S k et une borne d erreur d arrondi ɛ k, 3 Borner R k, 4 Vérifier si l on peut arrondir, sinon augmenter la précision et aller en 2.
64 Analyse d erreur mathématique La série est alternée et son terme général décroît pour k x 2 donc le reste est borné par le dernier terme. Avec on obtient R k k! k x 2 ( ) k k 2πk, e x 2k+3 (k + 1)!(2k + 3) 1 5 ( x 2 e k ) k
65 Analyse d erreur mathématique Pour avoir R k 2 n il suffit donc de prendre k k 0 avec k 0 log 2 k 0 x 2 e = n
66 Algorithme de calcul détaillé ENTRÉE : k nombre de termes à sommer, x. SORTIE : Ŝk. 1: t 1 2: s 1 3: y (x 2 ) 4: for i 1 to k do 5: t (ty) 6: t (t/i) 7: u (t/(2i + 1)) 8: s (s + ( 1) i u) 9: end for
67 Analyse de l erreur d arrondi Pour l analyse d erreur on a pour deux flottants a et b sur p bits : (ab) = (1 + θ)ab avec θ 2 1 p. On a donc à l étape i t = x 2k k! i (1 + θ j )(1 + θ y )(1 + θ j ) j=1 soit une erreur relative sur û bornée par (1 + θ) 3i+1 1.
68 Analyse de l erreur d arrondi L erreur sur s : ŝ i s i = ŝ i (ŝ i 1 + ( 1) i û) + (ŝ i 1 + ( 1) i û) s i ŝ i s i 1 2 ulp(ŝ i + ŝ i 1 s i 1 + û û ŝ k s k 1 2 ulp(ŝ i ) + (3i + 1)ulp(û) + ŝ i 1 s i 1 k i=1 ( ) 1 2 ulp(ŝ i ) + (3i + 1)ulp(û).
69 Conclusion Pour calculer ɛ k il faut encore tenir compte de la multiplication par c = 2 π : ĉ = (1 + θ) 2 π Ŝ k = (1 + θ) 2 2 π ŝ k puis vérifier que (Ŝk ɛ k R k ) = (Ŝk + ɛ k + R k ).
70 Complexité de l algorithme ENTRÉE : k nombre de termes à sommer, x. SORTIE : Ŝk. 1: t 1 2: s 1 3: y (x 2 ) O(M(p)) 4: for i 1 to k do 5: t (ty) O(kM(p)) 6: t (t/i) O(kp) 7: u (t/(2i + 1)) O(kp) 8: s (s + ( 1) i u) O(kp) 9: end for
71 Plan 1 Introduction 2 Nombres flottants Flottant Norme IEEE 754 Votre logiciel de calcul vous ment 3 Précision arbitraire Présentation Exemple de calcul en précision arbitraire : la fonction erf Le dilemme du fabriquant de tables
72 Présentation du problème On souhaite calculer f (x) avec n bits corrects pour l arrondi au plus proche. On calcule f (x) avec une erreur relative sur f (x) plus petite que 2 m. m bits {}}{ f (x) = } 1.xxxxx {{... xxxx} xxxx n bits Dans ce cas la valeur calculée pour f (x) est au milieu entre deux flottants, plus une erreur qui ne nous permet pas de déterminer de quel côté trancher.
73 Interprétation graphique f (x)? f (x) f (x) + En faisant une hypothèse probabiliste ce cas se produit avec une probabilité 2 m n 1. D où la stratégie «en peau d oignon» de Ziv : 1 Prendre g = Faire le calcul en précision n + g bits. 3 Si on ne peut pas conclure, g 2g et reprendre en 2.
Arithmétique réelle. Introduction à l arithmétique flottante La précision des calculs: analyse et améliorations. Valérie Ménissier-Morain
Arithmétique réelle Introduction à l arithmétique flottante La précision des calculs: analyse et améliorations Valérie Ménissier-Morain Université Pierre et Marie Curie - Paris 6 LIP6 - Département CALSCI
Plus en détailReprésentation d un nombre en machine, erreurs d arrondis
Chapitre Représentation d un nombre en machine, erreurs d arrondis Ce chapitre est une introduction à la représentation des nombres en machine et aux erreurs d arrondis, basé sur [], [].. Un exemple :
Plus en détailLogiciel de Base. I. Représentation des nombres
Logiciel de Base (A1-06/07) Léon Mugwaneza ESIL/Dépt. Informatique (bureau A118) mugwaneza@univmed.fr I. Représentation des nombres Codage et représentation de l'information Information externe formats
Plus en détailChapitre 10 Arithmétique réelle
Chapitre 10 Arithmétique réelle Jean Privat Université du Québec à Montréal INF2170 Organisation des ordinateurs et assembleur Automne 2013 Jean Privat (UQAM) 10 Arithmétique réelle INF2170 Automne 2013
Plus en détailGrandes lignes ASTRÉE. Logiciels critiques. Outils de certification classiques. Inspection manuelle. Definition. Test
Grandes lignes Analyseur Statique de logiciels Temps RÉel Embarqués École Polytechnique École Normale Supérieure Mercredi 18 juillet 2005 1 Présentation d 2 Cadre théorique de l interprétation abstraite
Plus en détailProblème 1 : applications du plan affine
Problème 1 : applications du plan affine Notations On désigne par GL 2 (R) l ensemble des matrices 2 2 inversibles à coefficients réels. Soit un plan affine P muni d un repère (O, I, J). Les coordonnées
Plus en détailIFT2880 Organisation des ordinateurs et systèmes
Représentation des nombres flottants Notation exponentielle Représentations équivalentes dans la base 10 de 1,234 1 2 3, 4 0 0. 0 x 1 0-2 1 2, 3 4 0. 0 x 1 0-1 1, 2 3 4. 0 x 1 0 1 2 3. 4 x 1 0 1 2. 3 4
Plus en détail* très facile ** facile *** difficulté moyenne **** difficile ***** très difficile I : Incontournable T : pour travailler et mémoriser le cours
Exo7 Continuité (étude globale). Diverses fonctions Exercices de Jean-Louis Rouget. Retrouver aussi cette fiche sur www.maths-france.fr * très facile ** facile *** difficulté moyenne **** difficile *****
Plus en détailLimites finies en un point
8 Limites finies en un point Pour ce chapitre, sauf précision contraire, I désigne une partie non vide de R et f une fonction définie sur I et à valeurs réelles ou complees. Là encore, les fonctions usuelles,
Plus en détailPrésentation du PL/SQL
I Présentation du PL/ Copyright Oracle Corporation, 1998. All rights reserved. Objectifs du Cours A la fin de ce chapitre, vous saurez : Décrire l intéret du PL/ Décrire l utilisation du PL/ pour le développeur
Plus en détailReprésentation des Nombres
Chapitre 5 Représentation des Nombres 5. Representation des entiers 5.. Principe des représentations en base b Base L entier écrit 344 correspond a 3 mille + 4 cent + dix + 4. Plus généralement a n a n...
Plus en détailInformatique Générale
Informatique Générale Guillaume Hutzler Laboratoire IBISC (Informatique Biologie Intégrative et Systèmes Complexes) guillaume.hutzler@ibisc.univ-evry.fr Cours Dokeos 625 http://www.ens.univ-evry.fr/modx/dokeos.html
Plus en détailNotes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101 Calcul I Partie II: fonctions de plusieurs variables Guy Desaulniers Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2014 Table des matières
Plus en détailTravaux pratiques 1.3.2 Détermination de la capacité de stockage des données
Travaux pratiques 1.3.2 Détermination de la capacité de stockage des données Objectifs Déterminer la quantité de mémoire RAM (en Mo) installée sur un ordinateur Déterminer la taille de l unité de disque
Plus en détailExercice 1 Trouver l équation du plan tangent pour chaque surface ci-dessous, au point (x 0,y 0,z 0 ) donné :
Enoncés : Stephan de Bièvre Corrections : Johannes Huebschmann Exo7 Plans tangents à un graphe, différentiabilité Exercice 1 Trouver l équation du plan tangent pour chaque surface ci-dessous, au point
Plus en détailContinuité et dérivabilité d une fonction
DERNIÈRE IMPRESSIN LE 7 novembre 014 à 10:3 Continuité et dérivabilité d une fonction Table des matières 1 Continuité d une fonction 1.1 Limite finie en un point.......................... 1. Continuité
Plus en détailPeut-on faire confiance au calcul flottant?
Peut-on faire confiance au calcul flottant? Paul Zimmermann Institut de Physique du Globe de Strasbourg 16 janvier 2009 Plan de l exposé Motivation La bibliothèque Motivation Useful Computations Need Useful
Plus en détailAtelier C TIA Portal CTIA04 : Programmation des automates S7-300 Opérations numériques
Atelier C TIA Portal CTIA04 : Programmation des automates S7-300 Opérations numériques CTIA04 Page 1 1. Les types de données sous S7 300 Il existe plusieurs types de données utilisées pour la programmation
Plus en détailSimulation de variables aléatoires
Chapter 1 Simulation de variables aléatoires Références: [F] Fishman, A first course in Monte Carlo, chap 3. [B] Bouleau, Probabilités de l ingénieur, chap 4. [R] Rubinstein, Simulation and Monte Carlo
Plus en détailExamen Médian - 1 heure 30
NF01 - Automne 2014 Examen Médian - 1 heure 30 Polycopié papier autorisé, autres documents interdits Calculatrices, téléphones, traducteurs et ordinateurs interdits! Utilisez trois copies séparées, une
Plus en détailExercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT
Exercices types Algorithmique et simulation numérique Oral Mathématiques et algorithmique Banque PT Ces exercices portent sur les items 2, 3 et 5 du programme d informatique des classes préparatoires,
Plus en détailFONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4)
FONCTIONS DE PLUSIEURS VARIABLES (Outils Mathématiques 4) Bernard Le Stum Université de Rennes 1 Version du 13 mars 2009 Table des matières 1 Fonctions partielles, courbes de niveau 1 2 Limites et continuité
Plus en détailFonctions de plusieurs variables
Maths MP Exercices Fonctions de plusieurs variables Les indications ne sont ici que pour être consultées après le T (pour les exercices non traités). Avant et pendant le T, tenez bon et n allez pas les
Plus en détailChapitre 6. Fonction réelle d une variable réelle
Chapitre 6 Fonction réelle d une variable réelle 6. Généralités et plan d étude Une application de I dans R est une correspondance entre les éléments de I et ceu de R telle que tout élément de I admette
Plus en détailProgrammation linéaire
1 Programmation linéaire 1. Le problème, un exemple. 2. Le cas b = 0 3. Théorème de dualité 4. L algorithme du simplexe 5. Problèmes équivalents 6. Complexité de l Algorithme 2 Position du problème Soit
Plus en détailCorrection du baccalauréat ES/L Métropole 20 juin 2014
Correction du baccalauréat ES/L Métropole 0 juin 014 Exercice 1 1. c.. c. 3. c. 4. d. 5. a. P A (B)=1 P A (B)=1 0,3=0,7 D après la formule des probabilités totales : P(B)=P(A B)+P(A B)=0,6 0,3+(1 0,6)
Plus en détailFeuille TD n 1 Exercices d algorithmique éléments de correction
Master Sciences, Technologies, Santé Mention Mathématiques, spécialité Enseignement des mathématiques Algorithmique et graphes, thèmes du second degré Feuille TD n 1 Exercices d algorithmique éléments
Plus en détailPython - introduction à la programmation et calcul scientifique
Université de Strasbourg Environnements Informatique Python - introduction à la programmation et calcul scientifique Feuille de TP 1 Avant de commencer Le but de ce TP est de vous montrer les bases de
Plus en détailChapitre 3. Mesures stationnaires. et théorèmes de convergence
Chapitre 3 Mesures stationnaires et théorèmes de convergence Christiane Cocozza-Thivent, Université de Marne-la-Vallée p.1 I. Mesures stationnaires Christiane Cocozza-Thivent, Université de Marne-la-Vallée
Plus en détailMéthodes de quadrature. Polytech Paris-UPMC. - p. 1/48
Méthodes de Polytech Paris-UPMC - p. 1/48 Polynôme d interpolation de Preuve et polynôme de Calcul de l erreur d interpolation Étude de la formule d erreur Autres méthodes - p. 2/48 Polynôme d interpolation
Plus en détailLes clusters Linux. 4 août 2004 Benoît des Ligneris, Ph. D. benoit.des.ligneris@revolutionlinux.com. white-paper-cluster_fr.sxw, Version 74 Page 1
Les clusters Linux 4 août 2004 Benoît des Ligneris, Ph. D. benoit.des.ligneris@revolutionlinux.com white-paper-cluster_fr.sxw, Version 74 Page 1 Table des matières Introduction....2 Haute performance (High
Plus en détailIntégrales doubles et triples - M
Intégrales s et - fournie@mip.ups-tlse.fr 1/27 - Intégrales (rappel) Rappels Approximation éfinition : Intégrale définie Soit f définie continue sur I = [a, b] telle que f (x) > 3 2.5 2 1.5 1.5.5 1 1.5
Plus en détailProbabilités sur un univers fini
[http://mp.cpgedupuydelome.fr] édité le 7 août 204 Enoncés Probabilités sur un univers fini Evènements et langage ensembliste A quelle condition sur (a, b, c, d) ]0, [ 4 existe-t-il une probabilité P sur
Plus en détailContinuité d une fonction de plusieurs variables
Chapitre 2 Continuité d une fonction de plusieurs variables Maintenant qu on a défini la notion de limite pour des suites dans R n, la notion de continuité s étend sans problème à des fonctions de plusieurs
Plus en détailCRYPTOGRAPHIE. Signature électronique. E. Bresson. Emmanuel.Bresson@sgdn.gouv.fr. SGDN/DCSSI Laboratoire de cryptographie
CRYPTOGRAPHIE Signature électronique E. Bresson SGDN/DCSSI Laboratoire de cryptographie Emmanuel.Bresson@sgdn.gouv.fr I. SIGNATURE ÉLECTRONIQUE I.1. GÉNÉRALITÉS Organisation de la section «GÉNÉRALITÉS»
Plus en détailNotes de mise à jour. 4D v11 SQL Release 3 (11.3) Notes de mise à jour
Notes de mise à jour 4D v11 SQL Release 3 (11.3) Notes de mise à jour 2 Découvrez ci-dessous les principales fonctionnalités de 4D v11 SQL Release 3 (11.3). Pour plus de détails consultez l addendum v11.3
Plus en détailCryptographie RSA. Introduction Opérations Attaques. Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1
Cryptographie RSA Introduction Opérations Attaques Cryptographie RSA NGUYEN Tuong Lan - LIU Yi 1 Introduction Historique: Rivest Shamir Adleman ou RSA est un algorithme asymétrique de cryptographie à clé
Plus en détailLa persistance des nombres
regards logique & calcul La persistance des nombres Quand on multiplie les chiffres d un nombre entier, on trouve un autre nombre entier, et l on peut recommencer. Combien de fois? Onze fois au plus...
Plus en détailUEO11 COURS/TD 1. nombres entiers et réels codés en mémoire centrale. Caractères alphabétiques et caractères spéciaux.
UEO11 COURS/TD 1 Contenu du semestre Cours et TDs sont intégrés L objectif de ce cours équivalent a 6h de cours, 10h de TD et 8h de TP est le suivant : - initiation à l algorithmique - notions de bases
Plus en détailDéfinitions. Numéro à préciser. (Durée : )
Numéro à préciser (Durée : ) On étudie dans ce problème l ordre lexicographique pour les mots sur un alphabet fini et plusieurs constructions des cycles de De Bruijn. Les trois parties sont largement indépendantes.
Plus en détailCHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE. EQUATIONS DIFFERENTIELLES.
CHAPITRE V SYSTEMES DIFFERENTIELS LINEAIRES A COEFFICIENTS CONSTANTS DU PREMIER ORDRE EQUATIONS DIFFERENTIELLES Le but de ce chapitre est la résolution des deux types de systèmes différentiels linéaires
Plus en détailAlgorithmique et Programmation Fonctionnelle
Algorithmique et Programmation Fonctionnelle RICM3 Cours 9 : Lambda-calcul Benjamin Wack Polytech 2014-2015 1 / 35 La dernière fois Typage Polymorphisme Inférence de type 2 / 35 Plan Contexte λ-termes
Plus en détailDurée de L épreuve : 2 heures. Barème : Exercice n 4 : 1 ) 1 point 2 ) 2 points 3 ) 1 point
03 Mai 2013 Collège Oasis Durée de L épreuve : 2 heures. apple Le sujet comporte 4 pages et est présenté en livret ; apple La calculatrice est autorisée ; apple 4 points sont attribués à la qualité de
Plus en détailUniversité Paris-Dauphine DUMI2E 1ère année, 2009-2010. Applications
Université Paris-Dauphine DUMI2E 1ère année, 2009-2010 Applications 1 Introduction Une fonction f (plus précisément, une fonction réelle d une variable réelle) est une règle qui associe à tout réel x au
Plus en détailPrincipe 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étailDe même, le périmètre P d un cercle de rayon 1 vaut P = 2π (par définition de π). Mais, on peut démontrer (difficilement!) que
Introduction. On suppose connus les ensembles N (des entiers naturels), Z des entiers relatifs et Q (des nombres rationnels). On s est rendu compte, depuis l antiquité, que l on ne peut pas tout mesurer
Plus en détailChapitre 2. Eléments pour comprendre un énoncé
Chapitre 2 Eléments pour comprendre un énoncé Ce chapitre est consacré à la compréhension d un énoncé. Pour démontrer un énoncé donné, il faut se reporter au chapitre suivant. Les tables de vérité données
Plus en détailLogiciel Enterprise Guide Version 1.3 Windows
Configuration requise Logiciel Enterprise Guide Version 1.3 Windows Ce document indique la configuration requise pour l'installation et l'exécution du logiciel Enterprise Guide. Vous devez mettre votre
Plus en détailProbabilités. Rappel : trois exemples. Exemple 2 : On dispose d un dé truqué. On sait que : p(1) = p(2) =1/6 ; p(3) = 1/3 p(4) = p(5) =1/12
Probabilités. I - Rappel : trois exemples. Exemple 1 : Dans une classe de 25 élèves, il y a 16 filles. Tous les élèves sont blonds ou bruns. Parmi les filles, 6 sont blondes. Parmi les garçons, 3 sont
Plus en détailTP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options
Université de Lorraine Modélisation Stochastique Master 2 IMOI 2014-2015 TP1 Méthodes de Monte Carlo et techniques de réduction de variance, application au pricing d options 1 Les options Le but de ce
Plus en détailOptimisation Discrète
Prof F Eisenbrand EPFL - DISOPT Optimisation Discrète Adrian Bock Semestre de printemps 2011 Série 7 7 avril 2011 Exercice 1 i Considérer le programme linéaire max{c T x : Ax b} avec c R n, A R m n et
Plus en détailCorrigé des TD 1 à 5
Corrigé des TD 1 à 5 1 Premier Contact 1.1 Somme des n premiers entiers 1 (* Somme des n premiers entiers *) 2 program somme_entiers; n, i, somme: integer; 8 (* saisie du nombre n *) write( Saisissez un
Plus en détail1/24. I passer d un problème exprimé en français à la réalisation d un. I expressions arithmétiques. I structures de contrôle (tests, boucles)
1/4 Objectif de ce cours /4 Objectifs de ce cours Introduction au langage C - Cours Girardot/Roelens Septembre 013 Du problème au programme I passer d un problème exprimé en français à la réalisation d
Plus en détailOptimisation des fonctions de plusieurs variables
Optimisation des fonctions de plusieurs variables Hervé Hocquard Université de Bordeaux, France 8 avril 2013 Extrema locaux et globaux Définition On étudie le comportement d une fonction de plusieurs variables
Plus en détailSoit la fonction affine qui, pour représentant le nombre de mois écoulés, renvoie la somme économisée.
ANALYSE 5 points Exercice 1 : Léonie souhaite acheter un lecteur MP3. Le prix affiché (49 ) dépasse largement la somme dont elle dispose. Elle décide donc d économiser régulièrement. Elle a relevé qu elle
Plus en détailI. Polynômes de Tchebychev
Première épreuve CCP filière MP I. Polynômes de Tchebychev ( ) 1.a) Tout réel θ vérifie cos(nθ) = Re ((cos θ + i sin θ) n ) = Re Cn k (cos θ) n k i k (sin θ) k Or i k est réel quand k est pair et imaginaire
Plus en détailNotes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables
Notes du cours MTH1101N Calcul I Partie II: fonctions de plusieurs variables Fausto Errico Département de mathématiques et de génie industriel École Polytechnique de Montréal Automne 2012 Table des matières
Plus en détailLe signal GPS. Les horloges atomiques à bord des satellites GPS produisent une fréquence fondamentale f o = 10.23 Mhz
Le signal GPS Les horloges atomiques à bord des satellites GPS produisent une fréquence fondamentale f o = 10.23 Mhz Deux signaux en sont dérivés: L1 (fo x 154) = 1.57542 GHz, longueur d onde = 19.0 cm
Plus en détailMaple: premiers calculs et premières applications
TP Maple: premiers calculs et premières applications Maple: un logiciel de calcul formel Le logiciel Maple est un système de calcul formel. Alors que la plupart des logiciels de mathématiques utilisent
Plus en détail1. Structure d un programme C. 2. Commentaire: /*..texte */ On utilise aussi le commentaire du C++ qui est valable pour C: 3.
1. Structure d un programme C Un programme est un ensemble de fonctions. La fonction "main" constitue le point d entrée pour l exécution. Un exemple simple : #include int main() { printf ( this
Plus en détailArchitecture des ordinateurs TD1 - Portes logiques et premiers circuits
Architecture des ordinateurs TD1 - Portes logiques et premiers circuits 1 Rappel : un peu de logique Exercice 1.1 Remplir la table de vérité suivante : a b a + b ab a + b ab a b 0 0 0 1 1 0 1 1 Exercice
Plus en détailAlgorithmes de Transmission et de Recherche de l Information dans les Réseaux de Communication. Philippe Robert INRIA Paris-Rocquencourt
Algorithmes de Transmission et de Recherche de l Information dans les Réseaux de Communication Philippe Robert INRIA Paris-Rocquencourt Le 2 juin 2010 Présentation Directeur de recherche à l INRIA Institut
Plus en détailÉquations non linéaires
Équations non linéaires Objectif : trouver les zéros de fonctions (ou systèmes) non linéaires, c-à-d les valeurs α R telles que f(α) = 0. y f(x) α 1 α 2 α 3 x Equations non lineaires p. 1/49 Exemples et
Plus en détailSuites numériques 3. 1 Convergence et limite d une suite
Suites numériques 3 1 Convergence et limite d une suite Nous savons que les termes de certaines suites s approchent de plus en plus d une certaine valeur quand n augmente : par exemple, les nombres u n
Plus en détailCapacité d un canal Second Théorème de Shannon. Théorie de l information 1/34
Capacité d un canal Second Théorème de Shannon Théorie de l information 1/34 Plan du cours 1. Canaux discrets sans mémoire, exemples ; 2. Capacité ; 3. Canaux symétriques ; 4. Codage de canal ; 5. Second
Plus en détailConception de circuits numériques et architecture des ordinateurs
Conception de circuits numériques et architecture des ordinateurs Frédéric Pétrot Année universitaire 2014-2015 Structure du cours C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 Codage des nombres en base 2, logique
Plus en détailCalcul intégral élémentaire en plusieurs variables
Calcul intégral élémentaire en plusieurs variables PC*2 2 septembre 2009 Avant-propos À part le théorème de Fubini qui sera démontré dans le cours sur les intégrales à paramètres et qui ne semble pas explicitement
Plus en détailCompléments de documentation Scilab : affichage de texte et formatage de nombres
Université des Sciences et Technologies de Lille U.F.R. de Mathématiques Pures et Appliquées Agrégation externe Année 2002-2003 Compléments de documentation Scilab : affichage de texte et formatage de
Plus en détailDérivées d ordres supérieurs. Application à l étude d extrema.
Chapitre 5 Dérivées d ordres supérieurs. Application à l étude d extrema. On s intéresse dans ce chapitre aux dérivées d ordre ou plus d une fonction de plusieurs variables. Comme pour une fonction d une
Plus en détailFonctions 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étailPC-DMIS NC. 3D Form Inspect. PC-DMIS NC Gage
Mesurer dans la machine-outil Solutions logicielles de mesure Contrôle sur machine suivi du processus Solutions logicielles évolutives En tant que leader technologique du palpage et du contrôle outils
Plus en détail= constante et cette constante est a.
Le problème Lorsqu on sait que f(x 1 ) = y 1 et que f(x 2 ) = y 2, comment trouver l expression de f(x 1 )? On sait qu une fonction affine a une expression de la forme f(x) = ax + b, le problème est donc
Plus en détailPrésentation du langage et premières fonctions
1 Présentation de l interface logicielle Si les langages de haut niveau sont nombreux, nous allons travaillé cette année avec le langage Python, un langage de programmation très en vue sur internet en
Plus en détailRaisonnement par récurrence Suites numériques
Chapitre 1 Raisonnement par récurrence Suites numériques Terminale S Ce que dit le programme : CONTENUS CAPACITÉS ATTENDUES COMMENTAIRES Raisonnement par récurrence. Limite finie ou infinie d une suite.
Plus en détailImage d un intervalle par une fonction continue
DOCUMENT 27 Image d un intervalle par une fonction continue La continuité d une fonction en un point est une propriété locale : une fonction est continue en un point x 0 si et seulement si sa restriction
Plus en détail1 Introduction au codage
CélestineOscarDésiréAnatoleGastonEugène 1 Introduction au codage 1.1 Les ensembles L ensemble de tout les ensembles est Dieu lui-même. Kantor Ensemble des parties d un ensemble désigne l ensemble des sous-ensembles
Plus en détailPlan du cours 2014-2015. Cours théoriques. 29 septembre 2014
numériques et Institut d Astrophysique et de Géophysique (Bât. B5c) Bureau 0/13 email:.@ulg.ac.be Tél.: 04-3669771 29 septembre 2014 Plan du cours 2014-2015 Cours théoriques 16-09-2014 numériques pour
Plus en détailFonctions de deux variables. Mai 2011
Fonctions de deux variables Dédou Mai 2011 D une à deux variables Les fonctions modèlisent de l information dépendant d un paramètre. On a aussi besoin de modéliser de l information dépendant de plusieurs
Plus en détailCodage d information. Codage d information : -Définition-
Introduction Plan Systèmes de numération et Représentation des nombres Systèmes de numération Système de numération décimale Représentation dans une base b Représentation binaire, Octale et Hexadécimale
Plus en détailChapitre 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étailJade. Projet Intelligence Artificielle «Devine à quoi je pense»
Jade Projet Intelligence Artificielle «Devine à quoi je pense» Réalisé par Djénéba Djikiné, Alexandre Bernard et Julien Lafont EPSI CSII2-2011 TABLE DES MATIÈRES 1. Analyse du besoin a. Cahier des charges
Plus en détailChp. 4. Minimisation d une fonction d une variable
Chp. 4. Minimisation d une fonction d une variable Avertissement! Dans tout ce chapître, I désigne un intervalle de IR. 4.1 Fonctions convexes d une variable Définition 9 Une fonction ϕ, partout définie
Plus en détailTexte Agrégation limitée par diffusion interne
Page n 1. Texte Agrégation limitée par diffusion interne 1 Le phénomène observé Un fût de déchets radioactifs est enterré secrètement dans le Cantal. Au bout de quelques années, il devient poreux et laisse
Plus en détailLa NP-complétude. Johanne Cohen. PRISM/CNRS, Versailles, France.
La NP-complétude Johanne Cohen PRISM/CNRS, Versailles, France. Références 1. Algorithm Design, Jon Kleinberg, Eva Tardos, Addison-Wesley, 2006. 2. Computers and Intractability : A Guide to the Theory of
Plus en détailFIMA, 7 juillet 2005
F. Corset 1 S. 2 1 LabSAD Université Pierre Mendes France 2 Département de Mathématiques Université de Franche-Comté FIMA, 7 juillet 2005 Plan de l exposé plus court chemin Origine du problème Modélisation
Plus en détailQuantification Scalaire et Prédictive
Quantification Scalaire et Prédictive Marco Cagnazzo Département Traitement du Signal et des Images TELECOM ParisTech 7 Décembre 2012 M. Cagnazzo Quantification Scalaire et Prédictive 1/64 Plan Introduction
Plus en détailTests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles
Tests non-paramétriques de non-effet et d adéquation pour des covariables fonctionnelles Valentin Patilea 1 Cesar Sanchez-sellero 2 Matthieu Saumard 3 1 CREST-ENSAI et IRMAR 2 USC Espagne 3 IRMAR-INSA
Plus en détailStructures algébriques
Structures algébriques 1. Lois de composition s Soit E un ensemble. Une loi de composition interne sur E est une application de E E dans E. Soient E et F deux ensembles. Une loi de composition externe
Plus en détailPetit guide pour l installation de CVW sous Linux
LinuxFocus article number 310 http://linuxfocus.org par Juan Manuel Triana,Carlos Andrés Pérez Petit guide pour l installation de CVW sous Linux L auteur:
Plus en détailFonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre
IUFM du Limousin 2009-10 PLC1 Mathématiques S. Vinatier Rappels de cours Fonctions de plusieurs variables, intégrales multiples, et intégrales dépendant d un paramètre 1 Fonctions de plusieurs variables
Plus en détailExercices - Polynômes : corrigé. Opérations sur les polynômes
Opérations sur les polynômes Exercice 1 - Carré - L1/Math Sup - Si P = Q est le carré d un polynôme, alors Q est nécessairement de degré, et son coefficient dominant est égal à 1. On peut donc écrire Q(X)
Plus en détailRetrouvez votre Sourire! Les implants dentaires peuvent vous aider à retrouver un sourire naturel.
Retrouvez votre Sourire! Les implants dentaires peuvent vous aider à retrouver un sourire naturel. La Valeur d un Sourire Votre sourire, c est votre carte de visite personnelle que vous adressez à tous
Plus en détailCCNA Discovery Travailler dans une PME ou chez un fournisseur de services Internet
Curriculum Name Guide du participant CCENT 3 Section 9.3 Dépannage de l adressage IP de la couche 3 Cette section consacrée au dépannage vous permettra d étudier les conditions nécessaires à l obtention
Plus en détailBaccalauréat ES Pondichéry 7 avril 2014 Corrigé
Baccalauréat ES Pondichéry 7 avril 204 Corrigé EXERCICE 4 points Commun à tous les candidats. Proposition fausse. La tangente T, passant par les points A et B d abscisses distinctes, a pour coefficient
Plus en détail3. SPÉCIFICATIONS DU LOGICIEL. de l'expression des besoins à la conception. Spécifications fonctionnelles Analyse fonctionnelle et méthodes
PLAN CYCLE DE VIE D'UN LOGICIEL EXPRESSION DES BESOINS SPÉCIFICATIONS DU LOGICIEL CONCEPTION DU LOGICIEL LA PROGRAMMATION TESTS ET MISE AU POINT DOCUMENTATION CONCLUSION C.Crochepeyre Génie Logiciel Diapason
Plus en détailI - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES
I - PUISSANCE D UN POINT PAR RAPPORT A UN CERCLE CERCLES ORTHOGONAUX POLES ET POLAIRES Théorème - Définition Soit un cercle (O,R) et un point. Une droite passant par coupe le cercle en deux points A et
Plus en détail6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr
6 - Le système de gestion de fichiers F. Boyer, UJF-Laboratoire Lig, Fabienne.Boyer@imag.fr Interface d un SGF Implémentation d un SGF Gestion de la correspondance entre la structure logique et la structure
Plus en détailWobe. www.lea-networks.com
Wobe www.lea-networks.com Wobe Le Hotspot 3G/WiFi de poche Wobe est le premier routeur mobile 3G/WiFi autonome permettant de connecter à internet ses terminaux WiFi (PC, tablette tactile, console de jeux
Plus en détailn N = u N u N+1 1 u pour u 1. f ( uv 1) v N+1 v N v 1 1 2 t
3.La méthode de Dirichlet 99 11 Le théorème de Dirichlet 3.La méthode de Dirichlet Lorsque Dirichlet, au début des années 180, découvre les travaux de Fourier, il cherche à les justifier par des méthodes
Plus en détail