LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Aktuelles » Doktoranten

ANGLADA Alexis

Doktor
Forschungsgruppe : SMA
Datum, an dem das LIP6 verlassen wurde : 29.09.2005
Forschungsleitung (Direction de recherche) : Philippe CODOGNET

Introduction de mécanisme de flexibilité dans les contraintes de domaines continues

La programmation par Contraintes et les CSP connaissent un certain succès depuis quelques années comme cadre de modélisation des problèmes complexes. Pourtant de nombreux problèmes réels, dont certains liés `a la problématique de conception, ne peuvent être exprimés dans le cadre classique. Il est en effet très difficile, voire impossible, de résoudre les problèmes sur-contraints, les problèmes utilisant des priorités ou des préférences sur les contraintes, quand chaque contrainte reçoit une valeur de vérité booléenne.
Dans cette thèse, nous avons développé un cadre générique de flexibilité pour les contraintes sur des domaines continus : les problèmes de satisfaction de contraintes numériques `a base de demi anneaux (NSCSP). Nous présentons trois algorithmes de résolution. Ils utilisent la représentation des contraintes flexibles par des contraintes dures ou une recherche locale spécialisée. Ils ont été implémentés et testés dans le logiciel de conception : Constraint Explorer DASSAULT AVIATION.
Verteidigung einer Doktorarbeit : 28.09.2005 - 10h00 - Site Scott - salle C.931
Mitglieder der Prüfungskommission :
Philippe Codognet du LIP6
Frédéric Benhamou du LINA
Gérard Verfaillie du CERT
Laurent Zimmer de DASSAULT AVIATION
Patrice Perny du LIP6
Francesca Rossi Université de Padova

Publikationen 2005

 Mentions légales
Plan |