Obiettivo The objective of DIAMOND was to develop methods and tools for accurate floating-point arithmetic on computers, based on a mathematical theory of computer arithmetic in which all operations are defined by so-called semimorphisms. Such a systematic theory of computer arithmetic aims to perform the basic arithmetic operations to maximum accuracy and to provide sufficient control over the rounding process so as to ensure reliable error bounds. This project pursued several different approaches: embedding of convenient arithmetic notations into ADA and Pascal; AI techniques for formula transformation and symbolic manipulation; and construction of a methodological framework and a knowledge-base for numerical programming. . The objective was to develop methods and tools for accurate floating point arithmetic on computers, based on a mathematical theory of computer arithmetic in which all operations are defined by so called semimorphisms. Such a systematic theory of computer arithmetic aims to perform the basic arithmetic operations to maximum accuracy and to provide sufficient control over the rounding process so as to ensure reliable error bounds. This project pursued several different approaches: embedding of convenient arithmetic notations into the languages ADA and Pascal; artificial intelligence (AI) techniques for formula transformation and symbolic manipulation; and construction of a methodological framework and a knowledge base for numerical programming. Packages for general scientific computation were implemented in Pascal SC (Scientific Pascal) and Ada. They accurately state the intervals (due to truncation and rounding) in which their results lie. They include real and complex arithmetic, operations on scalars, vectors, matrices and linear equations, and the computation of eigenvalues and the roots of polynomials. The application of the prototypes to some critical examples demonstrated the greater accuracy and reliability of the new operators in comparison to classical arithmetic operators. A facility to allow problems to be stated by the use of symbolic notation was specified and is being implemented. This will simplify system use and give faster execution of operations. A Pascal SC-Ada translator was completed for use in the translation of the Pascal-SC modules, and has been used to create some Ada packages with market potential. A submission of a joint American-European proposal to standardize Ada was made.-Packages for general scientific computation were implemented in Pascal SC (Scientific Pascal) and Ada. They accurately state the intervals (due to truncation and rounding) in which their results lie. They include real and complex arithmetic, operationson scalars, vectors, matrices and linear equations, and the computation of eigenvalues and the roots of polynomials. -The application of the prototypes to some critical examples demonstrated the greater accuracy and reliability of the new operators in comparison to classical arithmetic operators. -DIAMOND has been presented at eleven international conferences. Workshops have been held to tell potential users about DIAMOND's tools. -A facility to allow problems to be stated by the use of symbolic notation was specified and is being implemented. This will simplify system use and give faster execution of operations. -A Pascal SC-Ada translator was completed for use in the translation of the Pascal-SC modules, and has been used to create some Ada packages with market potential. -A submission of a joint American-European proposal to standardise Ada was made. -A book entitled "DIAMOND: Accurate Numerical Algorithm" has been published by Springer Verlag in the ESPRIT series. Exploitation The improved accuracy, reliability and efficiency that the use of the project's packages brings to numerical programming is a field of interest for many scientific and industrial domains. Consequently, the market possibilities of the DIAMOND results are being studied, in particular, through a French initiative on numerical quality. Tools are being released through the numerical algorithms library (NAG), for which the first edition of the catalogue has been published. The exploitation of DIAMOND's tools and the standardisation of floating-point arithmetic is to be expected in ESPRIT II through the participation of the partners in SUPERNODE II, GENESIS and other projects. Tools, documents and demonstrations are available on request. Campo scientifico natural sciencescomputer and information sciencesartificial intelligencenatural sciencesmathematicspure mathematicsarithmeticsnatural sciencescomputer and information sciencescomputational sciencenatural sciencescomputer and information sciencesdata sciencedata processing Programma(i) FP1-ESPRIT 1 - European programme (EEC) for research and development in information technologies (ESPRIT), 1984-1988 Argomento(i) Data not available Invito a presentare proposte Data not available Meccanismo di finanziamento Data not available Coordinatore Siemens AG Contributo UE Nessun dato Indirizzo Otto-Hahn-Ring 6 81739 München Germania Mostra sulla mappa Costo totale Nessun dato Partecipanti (3) Classifica in ordine alfabetico Classifica per Contributo UE Espandi tutto Riduci tutto CWI-CENTRUM VOOR WISKUNDE & INFORMATICA Paesi Bassi Contributo UE Nessun dato Indirizzo KRUISLAAN 413 Postbus 4079 1098 SJ AMSTERDAM Mostra sulla mappa Costo totale Nessun dato Universität Fridericana Karlsruhe (Technische Hochschule) Germania Contributo UE Nessun dato Indirizzo Kaiserstraße 12 76128 Karlsruhe Mostra sulla mappa Costo totale Nessun dato VSN International Limited Regno Unito Contributo UE Nessun dato Indirizzo 5 The Waterhouse, Waterhouse Street, HP1 1ES Hemel Hempstead Mostra sulla mappa Collegamenti Sito web Opens in new window Costo totale Nessun dato
