Spelling suggestions: "subject:"programmation para contraintes"" "subject:"programmation part contraintes""
1 |
Contribution à l'élaboration d'un formalisme gérant la pertinence pour les problèmes d'aide à la conception à base de contraintesOudenhove de Saint Géry, Thomas Van- Aldanondo, Michel. January 2006 (has links)
Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2006.
|
2 |
Contribution à l'élaboration d'un formalisme gérant la pertinence pour les problèmes d'aide à la conception à base de contraintesOudenhove de Saint Géry, Thomas Van- Aldanondo, Michel. January 2007 (has links)
Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 115 réf.
|
3 |
Contribution à la conception de produit à forte diversité et de leur chaîne logistique une approche par contraintes /Hadj Hamou, Khaled. Aldanondo, Michel. January 2006 (has links)
Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2002. / Titre provenant de l'écran-titre. Bibliogr. 115 réf.
|
4 |
Amélioration du filtrage de la contrainte WeightedCircuit pour le problème du commis voyageurBoudreault, Raphaël January 2021 (has links)
Le problème du commis voyageur, aussi connu sous le nom de problème du voyageur de commerce ou traveling salesman problem (TSP) en anglais, est un problème classique de l'optimisation combinatoire et de la recherche opérationnelle. Il consiste, étant donné un certain nombre de villes et la distance entre chacune d'entre elles, à trouver un chemin de longueur minimale visitant chaque ville une seule fois et retournant à son point de départ. Le problème apparaît naturellement dans une multitude de problématiques de transport et industrielles, en plus de trouver des applications dans un important nombre de domaines en apparence non liés, allant de la logistique au séquençage de l'ADN. Toutefois, sa complexité informatique le rend difficile à résoudre. Le solveur Concorde permet actuellement de résoudre de manière exacte des instances du TSP comportant des milliers de villes en seulement quelques secondes. Cependant, une limitation importante est qu'il ne permet pas de considérer des contraintes additionnelles telles que des fenêtres de temps pour chaque visite. La programmation par contraintes est une approche permettant facilement d'ajouter ces contraintes au problème. Dans ce mémoire, nous revisitons l'approche CP-based Lagrangian relaxation (CP-LR) utilisée notamment pour les algorithmes de filtrage de l'état de l'art de la contrainte WeightedCircuit encodant le TSP en programmation par contraintes. Nous proposons deux nouveaux algorithmes basés sur notre approche CP-LR améliorée. Ceux-ci permettent d'obtenir un gain significatif sur le temps de résolution du TSP comparativement à l'implémentation de l'état de l'art. / The traveling salesman problem (TSP) is a classic problem in combinatorial optimization and operations research. It consists, given a number of cities and the distance between each of them, to find a path of minimal distance visiting each city exactly once and returning to its starting point. The problem naturally appears in various transportation and industrial problems, in addition to having applications in several domains apparently unrelated, going from logistics to DNA sequencing. Its computational complexity makes it nonetheless difficult to solve. The Concorde solver currently allows to exactly solve TSP instances having thousands of cities in only a few seconds. However, an important limitation is that it cannot consider additional constraints such as time windows for each visit. Constraint programming is an approach that easily allows these constraints to be added to the problem. In this Master's thesis, we revisit the CP-based Lagrangian relaxation (CP-LR) approach used in particular for the state-of-the-art filtering algorithms of the WeightedCircuit constraint that encodes the TSP in constraint programming. We propose two new algorithms based on our improved CP-LR approach. These allow to obtain a significant gain on the TSP solving time when compared to the state-of-the-art implementation.
|
5 |
Méthodes hybrides de programmation par contraintes et programmation linéaire pour le problème d'ordonnancement de projet à contrainte de ressourcesDemassey, Sophie. Michelon, Philippe. January 2008 (has links) (PDF)
Reproduction de : Thèse doctorat : Informatique : Avignon : 2003. / Titre provenant de l'écran-titre. Bibliogr. p. 131-139.
|
6 |
Modélisation par contraintes de programmes en bytecode Java pour la génération automatique de testsCharreteur, Florence 09 March 2010 (has links) (PDF)
La vérification des programmes est indispensable pour maintenir un certain niveau de qualité et de fiabilité. Le test est à ce jour le moyen de vérification des logiciels le plus utilisé dans l¤industrie. La programmation par contraintes est vue comme un moyen efficace pour automatiser la génération de données de test. Dans cette thèse nous proposons une modélisation par contraintes de la sémantique du bytecode Java, ainsi qu¤une méthode, basée sur cette modélisation, pour générer automatiquement des données de test. Notre modèle à contraintes de la sémantique d¤un programme en bytecode Java permet de faire des déductions efficaces, y compris en présence de structures de données complexes ou d¤héritage. En particulier, l¤utilisation de variables de type permet de prendre en compte l¤héritage et les appels de méthodes polymorphes. Notre méthode de génération de données de test exploite le modèle à contraintes pour couvrir des instructions particulières du programme sous test. Elle se base sur un parcours en arrière du graphe de flot de contrôle pour énumérer des chemins menant aux instructions cibles. Elle est en particulier adaptée à la couverture d¤instructions non couvertes par les autres méthodes de génération de données de test. Enfin cette méthode est mise en application dans un prototype, JAUT (Java Automatic Unit Testing). Les expériences montrent que le prototype permet d¤augmenter la couverture des instructions obtenue avec les autres outils disponibles.
|
7 |
Conception et approches par propagation de contraintes contribution à la mise en oeuvre d'un outil d'aide interactif /Vareilles, Elise Aldanondo, Michel. January 2005 (has links)
Reproduction de : Thèse de doctorat : Génie industriel : Toulouse, INPT : 2005. / Titre provenant de l'écran titre. Bibliogr. 65 réf.
|
8 |
Modélisation des connaissances normatives en vue de l'évaluation de la recyclabilité d'un produit en conception des normes aux contraintes /Houé Ngouna, Raymond Grabot, Bernard January 2007 (has links)
Reproduction de : Thèse de doctorat : Systèmes industriels : Toulouse, INPT : 2006. / Titre provenant de l'écran-titre. Bibliogr. 111 réf.
|
9 |
Résolution de problèmes combinatoires par des approches fondées sur la notion d'explicationCambazard, Hadrien 15 November 2006 (has links) (PDF)
La programmation par contraintes est un paradigme de résolution des problèmes combinatoires sur lequel ont été bâtis des outils génériques de résolution, des solveurs. De nombreuses recherches sont menées pour élargir le champ d'application de ces outils µa des problèmes dynamiques et sur-contraints. Un axe prometteur s'appuie sur la notion d'explications. Les explications constituent une trace explicite du comportement du solveur et ont été initialement introduites pour améliorer les algorithmes de recherche arborescente. Depuis ce jour, elles ont ouvert la voie à des méthodes d'exploration plus intelligentes (mais aussi plus coûteuses) de l'espace de recherche. Cette thèse porte sur l'élaboration d'algorithmes de résolution s'appuyant sur la notion d'explications et les étudie sur des problèmes autant académiques qu'industriels. D'une part, nous examinons l'intérêt des explications dans le cadre de techniques génériques de décomposition. La mise au point d'un tel algorithme dans le contexte d'ordonnancement temps réel a montré la souplesse de la technique pour permettre la coopération de méthodes analytiques pointues avec un solveur de contraintes. D'autre part, nous montrons que le réseau d'explication constitue une information particulièrement pertinente pour révéler à un utilisateur les structures ou relations entretenues par différents éléments (variables/contraintes) du problème. Cette information, également exploitable dynamiquement par le solveur est un pas supplémentaire vers des approches de résolution génériques. Enfin, les explications ont été jusqu'ici très utilisées dans un cadre rétrospectif et pourraient l'être davantage dans un cadre prospectif (à l'image de leur exploitation par la communauté SAT). Nous revenons ainsi dans cette thèse sur des techniques de nogoods recording dans le cadre du problème de MOSP (Minimum Open Stack Problem).
|
10 |
Optimisation de tournées de véhicules dans le cadre de la logistique inverse : modélisation et résolution par des méthodes hybridesGrellier, Emilie 30 January 2008 (has links) (PDF)
Optimisation des tournées de véhicules dans le cadre de la logistique inverse : modélisation et résolution par des méthodes hybrides
|
Page generated in 0.1541 seconds