Re-re-salut à tous !
Vincent Lefevre a écrit :
Un remède incomplet, mais un remède tout de même, surtout si c'est associé à de l'analyse d'erreur (pessimiste comme tu l'as dit, mais puisqu'on peut augmenter la précision, ce n'est pas forcément un problème).
Effectivement, c'est mieux dit ainsi.
Il y a toujours le problème des fonctions discontinues, comme floor (cf le tout premier exemple de cette enfilade, concernant le =ENT(B1)). Une arithmétique d'intervalles permet au moins de détecter ces problèmes potentiels.
Certes. Je ne l'ai jamais nié et ce n'est pas la seule méthode capable de le faire.
Donc, en gros, utiliser l'arithmétique des intervalles comme une simple méthode dynamique d'analyse d'erreur.
Oui, avec des bornes d'erreur garantie, je le rappelle.
Oui, c'est le grand intérêt de l'arithmétique des intervalles que sa grande rigueur mathématique.
L'arithmétique des intervalles c'est génial mais mon point de vue reste, néanmoins, qu'il s'agit d'un environnement de calcul scientifique différent de l'arithmétique des flottants et que ce n'est pas une utilisation très appropriée que de s'en servir comme méthode d'analyse d'erreur, d'autant que CESTAC à ce niveau, étant vraiment faite pour ça, est plus performante.
Dans ce cas, je pense vraiment qu'il est plus judicieux d'utiliser l'ASD, qui est plus appropriée à ce problème.
ASD?
Arithmétique Stochastique Discrète. J.-M. Chesnaux était l'un de tes rapporteurs, il aurait put t'en parler ! De mon côté, je devrais faire attention à ne pas utiliser des acronymes qui ne sont pas très rependus...
L'ASD c'est l'arithmétique de la méthode CESTAC, mise en œuvre dans CADNA. Je la trouve plus appropriée parce qu'elle s'attache vraiment à donner l'erreur qui entache un calcul plutôt qu'un majorant. Elle permet également de déterminer précisément le nombre de chiffre exacte du résultat que l'on a obtenu. Maintenant, il faut accepter la validité d'une approche statistique mais, pour ma part, ça ne me pose pas de problème.
À bientôt.
Yoann LE BARS,
alias Le Farfadet Spatial--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
