Contribution à un environnement pour le calcul scientifique et la modélisation : strates et systèmes polynômiaux sur les corps finis - TEL - Thèses en ligne Accéder directement au contenu
Thèse Année : 1994

Contribution to scientific computing and modelling environment: strata and polynomial systems over finite fields

Contribution à un environnement pour le calcul scientifique et la modélisation : strates et systèmes polynômiaux sur les corps finis

Résumé

Cette thèse concerne le développement et la mise en œuvre d'un environnement pour le calcul scientifique et la modélisation. L'approche retenue est celle d'une décomposition stratifiée des problèmes, ceci dans un double but: marquer le cheminement progressif des étapes de description, allant de l'énoncé informel vers un langage cible en passant par des langages intermédiaires plus ou moins formalisés ; et, d'obtenir une décomposition structurée, modulaire, pour aller du problème initial vers le programme. Dans le but de vérifier la cohérence des descriptions, des schémas de résolutions, des décompositions, nous associons à tout énoncé des conditions logiques dépendant du langage de description. Pour cela, il nous a paru nécessaire d'étudier les formulations logiques décrites par des systèmes polynômiaux sur les corps finis de la forme Z/pZ. L'étude de ces systèmes nous conduisent à traiter le problème de l'élimination des quantificateurs sur un corps fini, le problème du calcul du résultat sur Z/pZ: des algorithmes sont proposés, ainsi qu'une généralisation de la méthode de Dixon-Biard. Le problème de la déduction est aussi abordé. Ces algorithmes nous permettent de vérifier localement la cohérence d'un énoncé mais aussi d'une décomposition de problème. Ceci rend envisageable une vérification globale. Un éditeur de strates sous Grif est présenté
Fichier principal
Vignette du fichier
Garreau.Pierre-Olivier_1994_these.pdf (17.27 Mo) Télécharger le fichier

Dates et versions

tel-00344983 , version 1 (08-12-2008)

Identifiants

  • HAL Id : tel-00344983 , version 1

Citer

Pierre-Olivier Garreau. Contribution à un environnement pour le calcul scientifique et la modélisation : strates et systèmes polynômiaux sur les corps finis. Modélisation et simulation. Université Joseph-Fourier - Grenoble I, 1994. Français. ⟨NNT : ⟩. ⟨tel-00344983⟩
99 Consultations
55 Téléchargements

Partager

Gmail Facebook X LinkedIn More