Return to search

Modélisation et résolution d'une application d'aide au déploiement d'antennes radio en programmation par contraintes sur le discret et le continu

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.

Identiferoai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00481598
Date30 January 2006
CreatorsHeusch, Michaël
PublisherUniversité de Nantes
Source SetsCCSD theses-EN-ligne, France
LanguageFrench
Detected LanguageFrench
TypePhD thesis

Page generated in 0.0019 seconds