On 2005-03-10 01:06:25 +0100, Le Farfadet Spatial wrote:
> Bon, � la base, je suis bien d'accord qu'il est pr�f�rable d'avoir
> une erreur d�terministe que probabiliste (comme quoi je ne suis pas
> aussi born� que �a). Cependant, il y a deux choses qui me g�ne dans
> l'arithm�tique des intervalles : d'abord, le ph�nom�ne de dispersion
> invite � l'utiliser avec pr�caution.

Au fait, il peut y avoir r�ellement une dispersion: c'�tait le cas
pour l'�chec du missile Patriot[*]. Les erreurs d'arrondi, au lieu
de se compenser partiellement, se sont toutes ajout�es.

[*] http://www.ima.umn.edu/~arnold/disasters/patriot.html

Je ne sais pas si on peut tromper CADNA sur un tel exemple tr�s
simple, mais je pense qu'on doit pouvoir construire des exemples
o� par construction, toutes les erreurs d'arrondi s'ajoutent, et
que cela est difficilement d�tectable (voire volontairement non
d�tect�, car ce n'est pas dans l'esprit de la m�thode CESTAC).
Le cas du missile Patriot montre que les probl�mes de ce genre
peuvent aussi se produire dans la r�alit� et peuvent avoir des
effets d�sastreux.

-- 
Vincent Lef�vre <[EMAIL PROTECTED]> - Web: <http://www.vinc17.org/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.org/blog/>
Work: CR INRIA - computer arithmetic / SPACES project at LORIA

---------------------------------------------------------------------
To unsubscribe, e-mail: [EMAIL PROTECTED]
For additional commands, e-mail: [EMAIL PROTECTED]

Répondre à