<
>
Back to list

Ingénierie du contrôle de la précision des calculs sur ordinateur


Authors : PICHAT Michèle

PICHAT Michèle

, VIGNES Jean

VIGNES Jean

Graduate Engineer from ENSPM (IFP School - France)
Ph.D. in Sciences

Position:
Scientific Adviser at IFP (french institute of petroleum), Professor Emeritus at Pierre et Marie Curie University in Paris - France

Field of publication:
Computer sciences

Author of about 60 scientific articles, Dr. Vignes published and edited 12 titles including, in French:
- Algorithmes numériques. Analyse et mise en œuvre
  - Tome 1. Arithmétique des ordinateurs. Systèmes linéaires (Ed. Technip)
  - Tome 2. Équations et systèmes non linéaires (Ed. Technip)
- FORTRAN. Le langage normalisé (Ed. Technip)
- Les spécificités du FORTRAN 90 (Ed. Technip)
- Ingénierie du contrôle de la précision des calculs sur ordinateur (Ed. Technip)
- Théorie et pratique de la programmation COBOL (Ed. Technip)
- Qualité des calculs sur ordinateurs (Masson)

Complementary information:
Dr. Vignes was awarded the Computer sciences Prize of the "Académie des Sciences", Paris - France in 1982. He is an Honorary Member of IMACS (International Association for Mathematics and Computer in Simulation).


ISBN : 9782710806530
trade paperback      17 x 24 cm      252 pages
Publication date : 1993



Les auteurs, professeurs des universités, présentent dans cet ouvrage les méthodes et les outils utilisés pour contrôler la précision des calculs en arithmétique à virgule flottante. Les méthodes déterministes sont exposées : analyse a posteriori des erreurs, arithmétique d’intervalles et extension de l’arithmétique à virgule flottante avec introduction de nouvelles opérations (dont le produit scalaire de précision maximale). La méthode CESTAC (Contrôle et Estimation STochastique des Arrondis de Calculs), basée sur une approche stochastique, est développée en détail. Cette méthode assure une estimation non pessimiste du nombre de chiffres significatifs de tout résultat calculé en arithmétique à virgule flottante et permet de détecter les anomalies numériques en cours d’exécution des programmes. De nombreux exemples illustrent la mise en œuvre de la méthode.


Contents :


1. Rappels sur l’arithmétique des ordinateurs. 2. Analyse a posteriori de l’erreur. 3. Extensions de l’arithmétique à virgule flottante. 4. Approche stochastique de l’analyse des erreurs d’arrondi. 5. Utilisation de la méthode CESTAC dans les programmes de calcul scientifique. 6. Méthodes de réduction de l’erreur d’arrondi. Annexe : logiciel de la méthode CESTAC. Index.

Same field books