LIP6 CNRS Sorbonne Université Tremplin Carnot Interfaces
Direct Link LIP6 » Tin tức » Nghiên cứu sinh

ANGLADA Alexis

Tiến sĩ
Nhóm nghiên cứu : SMA
Ngày đi : 29-09-2005
Ban lãnh đạo nghiên cứu : 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.
Bảo vệ luận án : 28-09-2005 - 10h00 - Site Scott - salle C.931
Hội đồng giám khảo :
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

Bài báo khoa học 2005

 Mentions légales
Sơ đồ site |