Un système approché de résolution numérique : définitions et méthodes

par Stéphane N'Dong

Thèse de doctorat en Informatique. Intelligence artificielle

Sous la direction de Michel Van Caneghem.

    mots clés mots clés


  • Pas de résumé disponible.


  • Pas de résumé disponible.


  • Résumé

    La programmation par contraintes (ppc) connait un large succes grace a ses qualites de puissance d'expression et d'utilisabilite. Des recherches sont menees pour ameliorer la resolution de problemes de natures numerique, symbolique ou de domaines finis. Pour pallier les defauts inherents a ces systemes, dus a l'incompletude des solveurs utilises, plusieurs voies sont explorees : la collaboration de solveurs, les contraintes globales, l'utilisation de techniques numeriques plus puissantes, etc. Nous defendons dans ce memoire l'idee qu'un systeme simple et depourvu de techniques mathematiques sophistiquees, realise avec soin et offrant une semantique et une implantation claires et accordees, peut constituer la base d'un systeme capable de traiter des problemes complexes. Nous avons defini et developpe un systeme complet, repondant a ces exigences, base du solveur par intervalles de prolog iv, que nous avons complete par des techniques enumeratives. Ce systeme a permis d'obtenir des resultats comparables a ceux de systemes plus complexes sur des problemes classiques. Enfin, nous avons mis en uvre notre systeme pour resoudre un probleme industriel complexe (reseau d'usines de l'air liquide), reposant sur une modelisation lourde et heterogene (des centaines de contraintes continues ou non, lineaires ou non, de domaines finis,). Cette experience nous a permis de presenter un nouveau cadre pour l'exploitation de modeles, reposant sur une representation semi-graphique d'un systeme hierarchise de boites contenant variables et contraintes, qui s'est averee etre un excellent intermediaire entre le systeme de resolution et les experts du metier. Ces experiences nous ont permis de valider notre approche : notre systeme resout avec succes des problemes classiques et / ou difficiles. Il possede neanmoins les qualites de clarte et de simplicite qui nous ont permis de traiter un probleme industriel complexe, en construisant une methodologie de resolution adaptee.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. ( 207 p.)
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr.: f. 141-157

Où se trouve cette thèse ?

  • Bibliothèque : Université Aix-Marseille (Marseille. Luminy). Service commun de la documentation. Bibliothèque de sciences.
  • Disponible pour le PEB
  • Cote : 32717
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.