<
>
Retour à la liste

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


Auteurs : PICHAT Michèle

PICHAT Michèle

Docteur ès Sciences (mathématiques appliquées)

Fonction :
Professeur d’Université (Université Lyon 1)

Domaines de publication :
Analyse numérique et informatique, contrôle de la précision des calculs sur ordinateur

Auteur d’une vingtaine de communications scientifiques dont 7 en anglais, Mme Pichat a publié 2 ouvrages :
- Ingénierie du contrôle de la précision des calculs sur ordinateur (Ed. Technip)
- Mathématiques pour l’informatique. Algorithme numérique. Exercices et problèmes (Armand Colin)

, VIGNES Jean

VIGNES Jean

Diplômé Ingénieur de l’ENSPM
Docteur ès Sciences de l’Université de Paris

Fonction :
Conseiller scientifique à l’Institut français du pétrole (IFP), Professeur émérite à l’Université Pierre et Marie Curie (Paris VI)

Domaine de publication :
Informatique scientifique

Auteur d’une soixantaine de communications scientifiques dont 23 en anglais, J. Vignes a publié et assuré la coordination de 12 ouvrages parmi lesquels :
- 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)

Informations complémentaires :
J. Vignes a été lauréat de l’Institut de France et a obtenu en 1982 le prix d’Informatique de l’Académie des Sciences. En 1997, il a été élu Membre d’honneur de l’IMACS (International Association for Mathematics and Computer in Simulation).


ISBN : 9782710806530
broché      17 x 24 cm      252 pages
Date de publication : 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.


Table des matières :


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.

Ouvrages du même auteur
Ouvrages de la meme collection
Conception des systèmes d'information Conception des systèmes d'information
Mai 2006
BIGAND Michel, BOUREY Jean-Pierre, CAMUS Hervé, CORBEEL Didier
Ajouter au panier Ajouter au panier
28 €
Ouvrages du même thème
Analyse et régulation des processus industriels. Tome 2 Régulation numérique Analyse et régulation des processus industriels. Tome 2 Régulation numérique
1993
BORNE Pierre, DAUPHIN-TANGUY Geneviève, RICHARD Jean-Pierre, ROTELLA Frédéric, ZAMBETTAKIS Irène
Ajouter au panier Ajouter au panier
54 €