Andere Kunden interessierten sich auch für
![Les problèmes mixtes continu/discret en programmation par contraintes]( "Les problèmes mixtes continu/discret en programmation par contraintes")
Les problèmes mixtes continu/discret en programmation par contraintes45,99 €![Fouille de motifs basée sur la programmation par contraintes]( "Fouille de motifs basée sur la programmation par contraintes")
Fouille de motifs basée sur la programmation par contraintes36,99 €![Modélisation et Optimisation des Problèmes d'Allocation de Capacités]( "Modélisation et Optimisation des Problèmes d'Allocation de Capacités")
Modélisation et Optimisation des Problèmes d'Allocation de Capacités36,99 €![Problèmes de découpe et de placement en deux dimensions]( "Problèmes de découpe et de placement en deux dimensions")
Problèmes de découpe et de placement en deux dimensions38,99 €![Contraintes temporelles dans les bases de données de capteurs sans fil]( "Contraintes temporelles dans les bases de données de capteurs sans fil")
Contraintes temporelles dans les bases de données de capteurs sans fil46,99 €![Ordonnancement de tâches-couplées avec contraintes d'incompatibilité]( "Ordonnancement de tâches-couplées avec contraintes d'incompatibilité")
Ordonnancement de tâches-couplées avec contraintes d'incompatibilité38,99 €![Etude des problèmes d'ordonnancement de projets multi-compétences]( "Etude des problèmes d'ordonnancement de projets multi-compétences")
Etude des problèmes d'ordonnancement de projets multi-compétences36,99 €
Cette thèse s'inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendant la programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ou universels, ce qui apporte en théorie une expressivité suffisante pour modéliser des problèmes avec adversaire ou incertitude sur certains paramètres sous forme de problèmes appelés QCSP (Quantified Constraint Satisfaction Problem). Nous commençons par apporter une réponse aux difficultés de modélisation de problèmes réels dont est frappée la programmation par contraintes quantifiées en introduisant une extension aux QCSP permettant d'expliciter les actions possibles de l'agent principal et de son adversaire. Puis, nous décrivons différent problèmes grâce à ce formalisme, et discutons de la place de cette extension parmi les formalismes voisins créés en réponse à cette même difficulté de modélisation. Enfin, nous nous intéressons à la notion d'optimisation dans le cas des contraintes quantifiées, et apportons un formalisme d'optimisation de contraintes quantifiées permettant d'exprimer des problèmes multi-niveaux non linéaires.