Sdrc : un systeme de cooperation entre solveurs pour la resolution de contraintes non-lineaires sur les reels

par PHILIPPE MARTI

Thèse de doctorat en Sciences appliquées

Sous la direction de M. RUEHER.

Soutenue en 1996

à Nice .

    mots clés mots clés


  • Résumé

    De tres nombreux problemes industriels peuvent se modeliser par un ensemble de contraintes definies sur les reels (e. G. , applications financieres, problemes thermiques, problemes electro-mecaniques). Toutefois, ces contraintes sont en general non lineaires et souvent meme non polynomiales. Un examen approfondi des applications montre tres frequemment qu'une combinaison judicieuse des techniques de resolution symboliques et numeriques permet de calculer une bonne approximation du probleme. Ce travail definit un systeme cooperatif de resolution de contraintes sur les reels. Dans ce modele, les solveurs sont vus comme des agents (dotes d'une capacite de resolution) et communiquant entre eux par des messages. Au depart, l'ensemble des contraintes est partitionne et adresse aux agents suivant leurs capacites. La supervision de la resolution est realisee par un agent particulier, le moniteur. Ensuite l'implantation d'un prototype utilisant un algorithme du simplexe, un algorithme de propagation d'intervalles et un algorithme des bases de groebner est decrit. Ces solveurs sont reutilises a partir d'implantation connues (prolog iii, interlog ii et maple v). Ils communiquent grace a une couche logicielle de gestion de processus et de communication (la parallel virtual machine) et utilisent un lingua franca: le langage openmath, a l'origine dedie au calcul symbolique. Enfin, quelques resultats experimentaux sont proposes et commentes


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 201 P.
  • Annexes : 102 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Accessible pour le PEB
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.