En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Arithmétique à virgule flottante : plaie ou terrain de jeu ?

Sélection Signaler une erreur
Multi angle
Auteurs : Boldo, Sylvie (Auteur de la conférence)
CIRM (Editeur )

Loading the player...

Résumé : Nous confions à nos ordinateurs de nombreux calculs mais la machine a des limites due à son arithmétique dite à virgule flottante. D'une part chaque calcul est effectué avec un certain nombre de chiffres (souvent environ 15 chiffres décimaux) et donc chaque calcul peut créer une erreur, certes faible, mais qui peut s'accumuler avec les précédentes pour fournir un résultat complètement faux. D'autre part, les valeurs que l'ordinateur appréhende ont des limites vers l'infiniment petit et l'infiniment grand. Hors de ces bornes, l'ordinateur produit des valeurs spéciales souvent inattendues. La première partie de cet exposé montrera que l'ordinateur n'est pas infaillible ou plutôt que son utilisation est parfois abusive. La seconde partie consisitera en une utilisation judicieuse de l'arithmétique flottante de façon à récupérer les erreurs ou à garantir un calcul
presque juste, même dans les cas pathologiques.

Codes MSC :
65G50 - Roundoff error
68Q60 - Specification and verification (program logics, model checking, etc.)
68T15 - Theorem proving (deduction, resolution, etc.)
65Y04 - Algorithms for computer arithmetic, etc.
65G20 - Algorithms with automatic result verification

    Informations sur la Vidéo

    Réalisateur : Hennenfent, Guillaume
    Langue : Français
    Date de Publication : 11/05/2017
    Date de Captation : 03/05/2017
    Collection : Exposés de recherche
    Sous Collection : Research talks
    Catégorie arXiv : Numerical Analysis ; Computer Science
    Domaine(s) : Informatique ; Analyse Numérique & Calcul Formel
    Format : MP4 (.mp4) - HD
    Durée : 02:30:39
    Audience : Chercheurs
    Download : https://videos.cirm-math.fr/2017-05-04_Boldo.mp4

Informations sur la Rencontre

Nom de la Rencontre : Algorithm and Programming / Algorithmique et programmation
Organisateurs de la Rencontre : Albert, Luc ; Boisson, François ; Dorra, Francis ; Petit, Antoine
Dates : 01/05/2017 - 05/05/2017
Année de la rencontre : 2017
URL de la Rencontre : http://conferences.cirm-math.fr/1597.html

Données de citation

DOI : 10.24350/CIRM.V.19163703
Citer cette vidéo: Boldo, Sylvie (2017). Arithmétique à virgule flottante : plaie ou terrain de jeu ?. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.19163703
URI : http://dx.doi.org/10.24350/CIRM.V.19163703

Voir Aussi

Bibliographie



Sélection Signaler une erreur