Mise au point d'un logiciel d'automatisation des ecritures des programmes de traitement des donnees experimentales
Institution:
Paris 11Disciplines:
Directors:
Abstract EN:
Pas de résumé disponible.
Abstract FR:
Nous avons cree un langage de specification (expher) pour preciser le comportement physique et statistique d'un appareillage de mesure. Ainsi, lorsqu'un experimentateur desire effectuer un traitement des donnees mesurees, il suffit qu'il indique quatre informations, a savoir: 1. Les expressions des mesures, des erreurs associees et les esperances mathematiques ; 2. Quels sont les parametres inconnus dont il faut determiner les valeurs ; 3. Dans quels fichiers sont stockees les mesures et 4. Occasionnellement les expressions des contraintes reliant ces parametres inconnus. Nous avons cree un logiciel de meme nom, compilant la description de l'appareillage en langage expher et produisant un programme actuellement en fortran 77 mais ce n'est pas fige qui determine les valeurs les plus probables des inconnues x sachant le vecteur des mesures observees e#0 ainsi que leurs incertitudes ; apres quoi il suffit de compiler et d'executer le programme produit par expher en lui fournissant comme donnees les mesures experimentales. Cette these est composee de 7 chapitres. Apres examen des logiciels de traitements des donnees les plus frequemment utilises, nous exposons les raisons qui nous ont amenes a concevoir expher. Le chapitre 2, est consacre a un descriptif des algorithmes de traitement quasi-gaussien des donnees qu'expher implemente dans le programme genere et ceci en fonction de deux alternatives: 1. L'utilisateur a ou n'a pas de connaissance a priori sur les inconnues ; 2. Les inconnues doivent ou ne doivent pas verifier des relations les reliant entre elles. Le chapitre 3 presente une description succincte du langage de declaration associe a expher qui permet de decrire une experience, tres simplement. Dans le chapitre suivant, nous decrivons les etapes d'ecriture du programme genere, ainsi que les techniques de stockage des donnees. Et enfin, nous donnons, au chapitre 6, trois exemples de traitements d'experiences effectues avec expher. Cela nous permet, tout d'abord, d'apprecier l'etendue des experiences pouvant etre traitees mais, surtout, elles nous permettent de faire une etude critique des performances d'expher