[article] in Techniques de l'ingénieur AFM > Vol. AFM4 (Trimestriel) . - 1-10 p. | Titre : | Validation des résultats des logiciels scientifiques : problème des approximations arithmétiques | | Type de document : | texte imprimé | | Auteurs : | Jean VIGNES, Auteur ; René ALT, Auteur | | Année de publication : | 2010 | | Article en page(s) : | 1-10 p. | | Note générale : | Mathématiques pour l'ingénieur | | Langues : | Français (fre) | | Mots-clés : | Validation--Résultats--Logiciels scientifiques--Problème--Approximations--Arithmétiques | | Résumé : | L'ordinateur est actuellement utilisé dans la quasi totalité des sciences et des techniques, ainsi que dans beaucoup de nos activités quotidiennes. Cependant, il ne faut pas oublier que le but premier de ces machines était de pouvoir faire automatiquement des calculs numériques. Ils sont les successeurs des bouliers et des machines à calculer mécaniques, puis électriques, et sont en cela le résultat de l'association de l'électronique et des techniques de calcul anciennes et bien connues. Ainsi, les tout premiers ordinateurs pouvaient déjà, grâce à la rapidité d'exécution qu'apporte l'électronique, effectuer en un temps raisonnable un nombre important d'opérations arithmétiques.
Mais, sur ordinateur, toute valeur numérique ne peut être représentée qu'avec un nombre fini de chiffres. De ce fait, toute donnée ou résultat fourni par les opérations arithmétiques doit être arrondi, c'est-à-dire remplacé par une valeur proche représentable exactement. Ainsi, au niveau de chaque opération arithmétique, une erreur d'arrondi est générée, certes très faible, mais qui, tout au long des calculs, va se propager en affectant tous les résultats.
De plus, il est fréquent que les données mises en jeu dans le programme de calcul soient issues d'appareils de mesure (capteurs) et se trouvent donc entachées d'incertitudes dues à ces appareils. Il est également indispensable de pouvoir évaluer l'influence de ces incertitudes sur les résultats fournis par l'ordinateur.
Dans le chapitre , l'arithmétique des ordinateurs est présentée et les conséquences qu'elle engendre sont mises en évidence à l'aide d'exemples. Le chapitre est consacré aux méthodes déterministes d'estimation des bornes (majorantes) de la propagation des erreurs d'arrondi. L'analyse régressive est particulièrement intéressante pour étudier la stabilité des algorithmes. Cependant, elle nécessite une étude détaillée de chaque algorithme étudié.
L'arithmétique d'intervalles permet de calculer un intervalle contenant certainement la solution exacte du problème étudié, mais nécessite généralement une reformulation de l'algorithme si l'on ne veut pas trouver un intervalle beaucoup trop pessimiste. | | Note de contenu : | Bibliogr. Doc. AF1470 | | REFERENCE : | AF 1470 | | ISSN : | 1776-0860 | | Date : | Octobre 2009 | | En ligne : | http://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/ [...] |
[article] Validation des résultats des logiciels scientifiques : problème des approximations arithmétiques [texte imprimé] / Jean VIGNES, Auteur ; René ALT, Auteur . - 2010 . - 1-10 p. Mathématiques pour l'ingénieur Langues : Français ( fre) in Techniques de l'ingénieur AFM > Vol. AFM4 (Trimestriel) . - 1-10 p. | Mots-clés : | Validation--Résultats--Logiciels scientifiques--Problème--Approximations--Arithmétiques | | Résumé : | L'ordinateur est actuellement utilisé dans la quasi totalité des sciences et des techniques, ainsi que dans beaucoup de nos activités quotidiennes. Cependant, il ne faut pas oublier que le but premier de ces machines était de pouvoir faire automatiquement des calculs numériques. Ils sont les successeurs des bouliers et des machines à calculer mécaniques, puis électriques, et sont en cela le résultat de l'association de l'électronique et des techniques de calcul anciennes et bien connues. Ainsi, les tout premiers ordinateurs pouvaient déjà, grâce à la rapidité d'exécution qu'apporte l'électronique, effectuer en un temps raisonnable un nombre important d'opérations arithmétiques.
Mais, sur ordinateur, toute valeur numérique ne peut être représentée qu'avec un nombre fini de chiffres. De ce fait, toute donnée ou résultat fourni par les opérations arithmétiques doit être arrondi, c'est-à-dire remplacé par une valeur proche représentable exactement. Ainsi, au niveau de chaque opération arithmétique, une erreur d'arrondi est générée, certes très faible, mais qui, tout au long des calculs, va se propager en affectant tous les résultats.
De plus, il est fréquent que les données mises en jeu dans le programme de calcul soient issues d'appareils de mesure (capteurs) et se trouvent donc entachées d'incertitudes dues à ces appareils. Il est également indispensable de pouvoir évaluer l'influence de ces incertitudes sur les résultats fournis par l'ordinateur.
Dans le chapitre , l'arithmétique des ordinateurs est présentée et les conséquences qu'elle engendre sont mises en évidence à l'aide d'exemples. Le chapitre est consacré aux méthodes déterministes d'estimation des bornes (majorantes) de la propagation des erreurs d'arrondi. L'analyse régressive est particulièrement intéressante pour étudier la stabilité des algorithmes. Cependant, elle nécessite une étude détaillée de chaque algorithme étudié.
L'arithmétique d'intervalles permet de calculer un intervalle contenant certainement la solution exacte du problème étudié, mais nécessite généralement une reformulation de l'algorithme si l'on ne veut pas trouver un intervalle beaucoup trop pessimiste. | | Note de contenu : | Bibliogr. Doc. AF1470 | | REFERENCE : | AF 1470 | | ISSN : | 1776-0860 | | Date : | Octobre 2009 | | En ligne : | http://www.techniques-ingenieur.fr/base-documentaire/sciences-fondamentales-th8/ [...] |
|
Affiner la rechercheValidation des résultats des logiciels scientifiques / Jean VIGNES in Techniques de l'ingénieur AFM, Vol. AFM4 (Trimestriel)
