Re-re-salut � tous !
Vincent Lefevre a �crit :
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.
Bon, je viens de prendre connaissance de ton message, je n'ai donc pas fait l'�tude. Cependant, CESTAC est justement fait pour d�tecter ce genre d'accumulation d'erreur d'arrondis. Je suis � peu pr�s certain -- pour l'�tre totalement il faudrait faire la d�monstration mais j'ai confiance -- que dans le cas du missile patriot CADNA aurait signal� le probl�me.
D'ailleurs, je pense qu'il est bien difficile de construire un exemple tel que celui dont tu parles -- une fois de plus je ne dis pas impossible parce que je n'en ai pas fait l'�tude math�matique mais CADNA est tout de m�me fait justement pour �viter �a.
Dans le cas du missile patriot, CADNA aurait indiqu� que le r�sultat n'�tait pas significatif. Apr�s, si on d�cide d'utiliser des types stochastique mais que l'on ne tient pas compte des avertissements, �videmment, ils ne servent � rien mais ce n'est pas vraiment la m�thode qui est en cause.
Par contre, si CESTAC permet de d'am�liorer la pr�cision des calculs effectu� par les algorithmes, elle n'augmente pas la pr�cision du mode de stockage. C'est la raison pour laquelle le th�or�me montrant que la perte de pr�cision lors d'un calcul sur ordinateur est ind�pendante de la pr�cision utilis�e est important pour la r�ussite de cette m�thode. CADNA, utilis� conjointement avec un debogueur, va indiqu� o� se trouvent les tests instables, les chutes brutales de la pr�cision, les op�rations instables et ainsi de suite. � partir de l�, le programmeur peut am�liorer son code. J'ai vu plusieurs cas concrets, le r�sultat est un gain certain.
Bien s�r, on peut aussi utiliser CADNA juste pour savoir le nombre de chiffres significatifs du r�sultat. Dans ce cas, il n'y a pas de volont� d'augmenter la pr�cision -- m�me si, tout de m�me, les d�branchements conditionnels sont plus performants, -- juste de l'�valuer. Dans le cadre de l'utilisation du missile partriot, cela aurait permis de lancer un message d'avertissement du type : � attention, les calculs de la trajectoires sont impr�cis. � Apr�s, si on d�cide de lancer le missile quand m�me, on ne peu pas dire qu'on a pas �t� pr�venu.
� bient�t.
Yoann LE BARS,
alias Le Farfadet Spatial--------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
