%0 Journal Article
%T Qualification des logiciels num¨¦riques. Application ¨¤ un logiciel d'analyse de la combustion dans les moteurs ¨¤ allumage command¨¦ Qualification of Numerical Software. Application to a Software for Analysing Combustion in Spark-Ignition Engines
%A Guilain S.
%A Vignes J.
%J Oil & Gas Science and Technology
%D 2006
%I Institut Fran?ais du P¨¦trole
%R 10.2516/ogst:1993032
%X La simulation num¨¦rique est actuellement tr¨¨s utilis¨¦e pour ¨¦tudier les syst¨¨mes physiques. Elle n¨¦cessite un programme de calcul scientifique constitu¨¦ d'un mod¨¨le math¨¦matique repr¨¦sentatif du probl¨¨me ¨¦tudi¨¦ et des m¨¦thodes num¨¦riques de r¨¦solution associ¨¦es. Elle fournit des r¨¦sultats num¨¦riques cens¨¦s repr¨¦senter le ph¨¦nom¨¨ne physique. Pour pouvoir valider la simulation, il est absolument indispensable, d'une part, d'estimer la propagation des erreurs d'arrondi due ¨¤ l'arithm¨¦tique approch¨¦e des ordinateurs et, d'autre part, d'¨¦valuer l'influence des erreurs de donn¨¦es sur les r¨¦sultats fournis. Nous pr¨¦sentons, dans cet article, le logiciel CADNA qui permet de valider les logiciels num¨¦riques. Nous l'appliquons ¨¤ un logiciel de simulation d'analyse de la combustion dans les moteurs ¨¤ allumage command¨¦ et en montrons son efficacit¨¦. For analyzing physical phenomena, numerical simulation is used more and more frequently. Starting with a mathematical model describing the phenomenon being analyzed, this simulation consists in creating a scientific computing program expressing this model by implementing the numerical methods required for solving it. Simulation is considered to be valid when the results its provides are in agreement with the results issuing from experimenting with the phenomenon. However, to conclude in the possible validity of the simulation, the numerical results provided by the computer must be previously validated. Yet, these results contain a computing error resulting from the propagation of round-off errors caused by the floating-point arithmetic used by the computer. They also contain an error coming from the uncertainties concerning the data of the problem. Hence it is first indispensable to assess the influence of these errors. This article is made up of two parts. The first part concerns the validation of numerical software results. After making a brief review of the floating-point arithmetic and highlighting the serious consequences it may have on the results obtained, we describe a probabilistic approach to the analysis of round-off errors, the CESTAC (Contr le et Estimation STochastique des Arrondis de Calculs) method, from the standpoint of both its theoritical bases and its practical implementation. This method has given rise to a new arithmetic, called stochastic arithmetic, the principal properties of which are summed up. Likewise, a probabilistic approach estimating the influence of data errors is described. A software called CADNA (Control of Accuracy and Debugging for Numerical Applications) able to automaticaly imple
%U http://dx.doi.org/10.2516/ogst:1993032