Petrologie et genie logiciel : algebre lineaire, analyse syntaxique et calcul formel appliques a la stoechiometrie et a la thermodynamique

Petrology and software engineering: linear algebra, parsing and computer algebra applied to stoechiometry and thermodynamics

• Auteur / Autrice : CATHERINE CHAT
• Direction : G. GODARD
• Type : Thèse de doctorat
• Discipline(s) : Terre, océan, espace
• Date : Soutenance en 1994
• Etablissement(s) : Paris 7

Résumé

Le perfectionnement des techniques analytiques utilisees par les petrologues a conduit a une augmentation de la quantite de donnees accumulees au cours d'une etude. Parallelement, la recherche en petrologie, geochimie, produit chaque jour de nouveaux modeles de calcul utilisant ces donnees. Le but de cette these est de presenter une solution a la conjonction de ces deux facteurs, croissance rapide du volume de donnees et evolution des traitements thermodynamiques, et sa mise en uvre dans un nouveau logiciel, petrocalc. Ce logiciel integre les qualites d'un gestionnaire de base de donnees commercial et permet de seconder le petrologue tout au long de son etude: calcul de formules structurales, thermobarometrie, statistique, stoechiometrie, diagramme de phase (pression-temperature, temperature-fugacite, activite-temperature, potentiel-potentiel,), etc. L'utilisation d'un systeme de gestion de base de donnees relationnel est la solution choisie pour gerer les donnees petrologiques: analyses, especes minerales, donnees thermodynamiques, mais aussi procedures de calcul. Considerer les traitements comme les donnees du logiciel est la reponse au deuxieme aspect du probleme. Un interpreteur de formules thermodynamiques utilisant conjointement les principes du calcul formel et les methodes de l'analyse syntaxique, assure l'evolutivite des modeles utilises lors de la resolution de calculs d'equilibre