Fine-Tuning the Accuracy of Numerical Computations in Avionics Automatic Code Generators

Abstract: The goal of this paper is to briefly recall the importance of the adjoint method in many problems of sensitivity analysis, uncertainty

Contrary to the numerical differentiation method in [23], where the Taylor series expansions of x are used and an elimination technic is applied without any error analysis due to

The idea now is to obtain an approximation of the first-order corrector using the finite- element method and the inverted finite elements one as already done for the isotropic

DEVELOPMENT OF NUMERICAL CODE FOR THE STUDY OF MARANGONI CONVECTION.

The aim of the numerical verification activity at EDF R&D is to study the effect of the round-off error propagation on the results of a numerical simulation.. It is indeed

These instructions move a scalar double-precision (single-precision) floating-point value from the source operand (first operand) to the destination operand (second operand)..

To vali- date our approach, we present experimental results showing how APEGs, combined with profitability analysis, make it possible to improve significantly the accuracy

This article gives a sound abstract semantics for linear numerical filters implemented in floating-point or fixed-point arithmetics, given as the sum of a linear part (using