Matches in SemOpenAlex for { <https://semopenalex.org/work/W1487014674> ?p ?o ?g. }
Showing items 1 to 26 of
26
with 100 items per page.
- W1487014674 abstract "La programmation par contraintes, carrefour de diverses disciplines, a montre son interet dans de nombreux domaines d'application. De nombreux problemes reels sont dynamiques : le systeme de contraintes les definissant n'est donc pas fige. Pour resoudre un probleme dynamique, il faut assurer une certaine incrementalite et etre capable de traiter les systemes de contraintes contradictoires. En effet, il est souvent indispensable de fournir une solution quitte a ne pas respecter certaines contraintes. On parle alors de relaxation de contraintes. Durant cette these, nous nous sommes interesses a la definition d'un systeme de relaxation de contraintes permettant de maintenir une propriete donnee dans un environnement dynamique. Nous avons mene ces travaux depuis une presentation abstraite d'un tel systeme jusqu'a son implementation. Nous presentons un schema algorithmique general abstrait de la recherche d'une solution a un probleme sur-contraint basee sur l'exploration en meilleur d'abord d'un espace de configurations. Nous en donnons trois instances pour traiter les contraintes lineaires sur les rationnels, les Constraint Satisfaction Problems et les CSP numeriques. Les deux dernieres sont definies a l'aide d'un systeme de maintien de deduction dont la ma^itrise raisonnee nous a permis de donner une implementation de ces instances ayant une bonne complexite : le systeme DECorum. Nous montrons, par le biais d'un certain nombre d'experimentations, que l'utilisation de DECorum permet de retrouver les resultats classiques sur la transition de phase, de resoudre raisonnablement des problemes de grande taille et d'utiliser la structure du probleme resolu pour ameliorer la recherche. Enfin, nous proposons la contrainte one-of permettant de modeliser et de resoudre une disjonction de contraintes en tirant profit du mecanisme d'exploration de DECorum. Nous validons l'interet de la contrainte one-of sur des problemes d'ordonnancement : les Open-Shop." @default.
- W1487014674 created "2016-06-24" @default.
- W1487014674 creator A5015355338 @default.
- W1487014674 date "1997-10-24" @default.
- W1487014674 modified "2023-09-27" @default.
- W1487014674 title "Relaxation de Contraintes pour les problèmes dynamiques" @default.
- W1487014674 hasPublicationYear "1997" @default.
- W1487014674 type Work @default.
- W1487014674 sameAs 1487014674 @default.
- W1487014674 citedByCount "4" @default.
- W1487014674 crossrefType "dissertation" @default.
- W1487014674 hasAuthorship W1487014674A5015355338 @default.
- W1487014674 hasConcept C121332964 @default.
- W1487014674 hasConcept C138885662 @default.
- W1487014674 hasConcept C15708023 @default.
- W1487014674 hasConceptScore W1487014674C121332964 @default.
- W1487014674 hasConceptScore W1487014674C138885662 @default.
- W1487014674 hasConceptScore W1487014674C15708023 @default.
- W1487014674 hasLocation W14870146741 @default.
- W1487014674 hasOpenAccess W1487014674 @default.
- W1487014674 hasPrimaryLocation W14870146741 @default.
- W1487014674 hasRelatedWork W2913258176 @default.
- W1487014674 isParatext "false" @default.
- W1487014674 isRetracted "false" @default.
- W1487014674 magId "1487014674" @default.
- W1487014674 workType "dissertation" @default.