La programmation par contraintes rencontre depuis le milieu des ann´es 90 un certain succès dans la résolution d'applications combinatoires complexes. Son extension aux contraintes d'intervalles est une approche prometteuse pour traiter des contraintes non-linéaires. La résolution de systèmes hybrides discrets-continus est pour autant restée essentiellement inexplorée. Cette thèse exploite un modèle hybride pour s'attaquer a une application en permettant d'éviter la discrétisation du problème. Les deux problèmes traités sont les suivants : 1. Contraintes globales continues : la définition de contraintes globales a permis d'améliorer substantiellement l'expressivité et l'efficacité des solveurs de contraintes discrets. Nous spécifions ici une première contrainte globale dans un solveur continu. Elle maintient des contraintes de distance euclidienne entre n points par un algorithme géométrique. 2. Résolution d'une application hybride discrète-continue : l'aide au déploiement d'antennes radio est un métissage du problèmes d'allocation de fréquences radio et d'un problème d'analyse de localisation. Nous utilisons notre contrainte globale de distance euclidienne pour obtenir une résolution hybride discrète-continue efficace de ce problème.
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00481598 |
| Date | 30 January 2006 |
| Creators | Heusch, Michaël |
| Publisher | Université de Nantes |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0019 seconds