Log in

Relevant bibliographies by topics / Satisfaction de problèmes de contraintes / Dissertations / Theses

To see the other types of publications on this topic, follow the link: Satisfaction de problèmes de contraintes.

Dissertations / Theses on the topic 'Satisfaction de problèmes de contraintes'

Author: Grafiati

Published: 25 May 2024

Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the top 50 dissertations / theses for your research on the topic 'Satisfaction de problèmes de contraintes.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

1

Bellicha, Félix Amit. "Flexibilité dans les problèmes de satisfaction de contraintes." Montpellier 2, 1996. http://www.theses.fr/1996MON20265.

Full text

Abstract:

Nous etudions certains aspects de plusieurs modeles bases sur la satisfaction de contraintes. D'abord, dans le cadre des problemes de satisfaction de contraintes classiques (csp), nous proposons un nouvel algorithme de filtrage des csp binaires (les contraintes portent sur deux variables): il repose sur la mise en evidence de proprietes structurelles reliees aux inclusions de voisinages dans les graphes. Ce filtrage peut diminuer l'ensemble des solutions, mais il preserve la satisfiabilite du probleme. Des formes affaiblies de ce filtrage sont utilisees pour ameliorer des methodes classiques d

APA, Harvard, Vancouver, ISO, and other styles

2

Martinez, David. "Résolution interactive de problèmes de satisfaction de contraintes." Toulouse, ENSAE, 1998. http://www.theses.fr/1998ESAE0005.

Full text

Abstract:

Les problèmes de satisfaction de contraintes (CSP) sont une branche de l'intelligence artificielle. Ils offrent un cadre formel, générique et simple pour représenter des problèmes de décision sur des domaines discrets. Sur ce cadre, de nombreuses techniques de recherche de solutions ou d'aide à cette recherche ont été développées : simplification, décomposition, recherche arborescente, recherche locale face à une instance à résoudre, il est difficile pour un utilisateur de choisir sa méthode de résolution et ses heuristiques de choix de variables et de valeurs. Pour éviter d'effectuer un choix

APA, Harvard, Vancouver, ISO, and other styles

3

Hamadi, Youssef. "Traitement des problèmes de satisfaction de contraintes distribués." Montpellier 2, 1999. http://www.theses.fr/1999MON20097.

Full text

Abstract:

Dans cette these, nous considerons la resolution efficace de problemes np-complets distribues. Nous presentons pour cela une extension au formalisme csp. Cette extension, dite des problemes distribues de satisfaction de contraintes en domaines finis (dcsp) permet d'etendre le paradigme au traitement des problemes distribues de satisfaction de contraintes. La distribution de l'information qui caracterise les systemes d'information va de pair avec la distribution des problemes, il est donc important d'apporter de nouveaux outils algorithmiques les traitant efficacement. Cette these constitue plu

APA, Harvard, Vancouver, ISO, and other styles

4

Tounsi, Mohamed. "Contribution à la résolution des problèmes de satisfaction de contraintes discrets." Nantes, 2002. http://www.theses.fr/2002NANT2056.

Full text

Abstract:

L'objectif de notre travail consiste en l'amélioration des techniques de résolution de problèmes d'optimisation sous contraintes. Il existe trois approches pour résoudre de tels problèmes : les méthodes complètes, les méthodes de recherche locale et enfin les méthodes hybrides entre ces deux dernières. Bien que ces trois approches aient montré leur efficacité dans plusieurs domaines, de sérieux inconvénients apparaissent lors de la résolution des problèmes d'optimisation. En l'occurence, le temps d'exécution des méthodes complètes est souvent beaucoup trop important pour des instances de grand

APA, Harvard, Vancouver, ISO, and other styles

5

Lesaint, David. "Calcul d'ensembles de solutions pour problèmes de satisfaction de contraintes." Toulouse, ENSAE, 1995. http://www.theses.fr/1995ESAE0006.

Full text

Abstract:

Le formalisme des problèmes de satisfaction de contraintes (CSP) et les méthodes associées offrent un cadre théorique de plus en plus utilisé pour traiter les problèmes d'intelligence artificielle. Toutefois, la plupart des méthodes se concentrent sur le calcul d'une solution ce qui constitue un objectif trop limite. Nous introduisons dans cette thèse la notion de relation complète qui permet de calculer et représenter de facon compacte des ensembles de solutions. Nous proposons d'abord une méthode pour calculer une partition des solutions d'un CSP binaire par relations complètes. Cette méthod

APA, Harvard, Vancouver, ISO, and other styles

6

Madelaine, Florent. "Problèmes de satisfaction de contraintes : une étude logique et combinatoire." Caen, 2003. http://www.theses.fr/2003CAEN2005.

Full text

Abstract:

Feder et Vardi ont prouvé que la classe capturée par un fragment monadique de la logique du second ordre existentiel, MMSPN, est calculatoirement équivalente (via des réductions probabilistes) à la classe des problèmes de satisfaction de contraintes (CSP), mais que la seconde est strictement incluse dans la première. Je caractérise exactement cetteinclusion. J'introduis les problèmes de motifs interdits (FP) qui correspondent exactement à MMSNP et développe des outils algébriques originaux comme le recoloriage qui permettent de définir une forme normale et conduisent à une preuve de nature con

APA, Harvard, Vancouver, ISO, and other styles

7

Riff-Rojas, Maria-Cristina. "Résolution de problèmes de satisfaction de contraintes avec des algorithmes évolutionnistes." Phd thesis, Ecole Nationale des Ponts et Chaussées, 1997. http://tel.archives-ouvertes.fr/tel-00523169.

Full text

Abstract:

Dans les disciplines de l'intelligence artificielle et de la recherche opérationnelle, on rencontre de nombreux problèmes comme l'allocation de ressources, l'ordonnancement, la, conception, le diagnostic automatisé. Ces problèmes se formulent aisément comme des problèmes de satisfaction de contraintes (CSP). Un CSP est défini comme étant un ensemble de contraintes impliquant un certain nombre de variables. L'objectif consiste simplement à trouver un ensemble de valeurs à affecter aux variables, de sorte que toutes les contraintes soient satisfaites. Dans le cas le plus général, les problèmes d

APA, Harvard, Vancouver, ISO, and other styles

8

Vion, Julien. "Contributions à la résolution générique des problèmes de satisfaction de contraintes." Phd thesis, Université d'Artois, 2007. http://tel.archives-ouvertes.fr/tel-00262080.

Full text

Abstract:

Nous proposons plusieurs techniques visant à résoudre en pratique le problème NP-complet de satisfaction de contraintes de manière générique. Nous distinguons deux grands axes de techniques de résolution de CSP : l'infrence et la recherche. Nous avons contribué l'amélioration des techniques d'inférence en nous concentrant sur la propriété centrale qu'est la consistance d'arc : optimisations des algorithmes de consistance d'arc, comportement de plusieurs algorithmes d'inférence aux bornes de domaines discrets, et enfin une alternative intéressante à la consistance de chemin : la consistance dua

APA, Harvard, Vancouver, ISO, and other styles

9

Fargier, Hélène. "Problèmes de satisfaction de contraintes flexibles. Application à l'ordonnancement de production." Toulouse 3, 1994. http://www.theses.fr/1994TOU30099.

Full text

Abstract:

L'approche csp (constraint satisfaction problems) proposee par l'intelligence artificielle offre un cadre de representation general et rigoureux, permettant de formuler simplement de nombreux types de problemes combinatoires, et une palette de techniques de resolution de ces problemes. En particulier, on peut etablir que la modelisation de problemes de raisonnement temporel symbolique avec les algebres d'instants ou d'intervalles est formellement une approche de type csp et que les graphes non-conjonctifs utilises pour la resolution de problemes d'ordonnancement sont des csp. Une comparaison e

APA, Harvard, Vancouver, ISO, and other styles

10

Butaru, Mihaela. "Problèmes de satisfaction de contraintes n-aires : résolution séquentielle et parallèle." Metz, 2005. http://www.theses.fr/2005METZA001.

Full text

Abstract:

Les problèmes de satisfaction de contraintes (CSP) constituent un cadre de formalisation puissant des problèmes d'Intelligence Artificielle. De nombreuses méthodes ont été définies pour les résoudre. Les travaux présentés dans cette thèse s'intéressent aux méthodes complètes, i. E. Qui permettent toujours de trouver une solution. Les plus performantes méthodes complètes de résolution de CSP utilisent un mécanisme de recherche de type forward-checking. Afin d'améliorer l'efficacité des algorithmes de résolution, de diverses techniques de filtrage ont été proposées, appliquées avant et / ou pend

APA, Harvard, Vancouver, ISO, and other styles

11

Ghédira, Khaled. "Masc : une approche multi-agents des problèmes de satisfaction de contraintes." Toulouse, ENSAE, 1993. http://www.theses.fr/1993ESAE0027.

Full text

Abstract:

L'approche multi-agent, domaine de l'intelligence artificielle distribuée, ouvre une nouvelle voie pour appréhender de façon naturelle les problèmes de satisfaction de contraintes (Constraint Satisfaction Problems, CSP) souvent abordes par des systèmes centralises et des modèles d'exécution séquentiels. Cette approche a d'abord été utilisée dans le cadre de problèmes d'allocation de ressources (voir annexes). Sous le nom de MASC (approche Multi-Agent des problèmes de Satisfaction de Contraintes), elle a ensuite été étendue au cadre général CSP. MASC est une méthode par déplacements au sein de

APA, Harvard, Vancouver, ISO, and other styles

12

Johannsen, Schnoor Ilka. "La méthode des bases faibles pour les problèmes de satisfaction de contraintes." Aix-Marseille 2, 2007. http://www.theses.fr/2007AIX22109.

Full text

Abstract:

Les problèmes de satisfaction de contraintes constituent une classe de problèmes importante en théorie de la compléxité. La compléxité algorithmique des problèmes de satisfaction de contrainte booléennes fut étudiée en premier lieu par Schaefer en 1978. Des outils algébriques, qui font intervenir une correspondance de Galois fournissent une méthode pour obtenir des classifications en compléxité de problèmes algorithmiques liés à la satisfaction de contraintes. Cependant, pour un certain nombre d'objectifs algorithmiques, ces outils ne s'appliquent pas. Nous développons une méthode qui met en j

APA, Harvard, Vancouver, ISO, and other styles

13

Prcovic, Nicolas. "Recherche arborescente parallèle et séquentielle pour les problèmes de satisfaction de contraintes." Marne-la-vallée, ENPC, 1998. http://www.theses.fr/1998ENPC9812.

Full text

Abstract:

Cette thèse traite de la recherche arborescente parallèle pour résoudre les problèmes de satisfaction de contraintes (CSP), notamment des changements qu'elle produit naturellement sur l'ordre de visite des noeuds de l'arbre de recherche par rapport à sa version séquentielle. Dans les cas où ces changements s'avèrent préjudiciables en terme de temps de résolution, on donne des moyens de rétablir, au moins partiellement, l'ordre originel de visite des feuilles. Lorsque ces changements sont profitables, on propose de les appliquer directement à la recherche séquentielle. Après avoir rapidement ra

APA, Harvard, Vancouver, ISO, and other styles

14

Amilhastre, Jerome. "Représentation par automate d'ensemble de solutions de problèmes de satisfaction de contraintes." Montpellier 2, 1999. http://www.theses.fr/1999MON20027.

Full text

Abstract:

L'utilisation des problemes de satisfaction de contraintes (csp) dans certaines applications a mis en evidence la necessite d'etendre aussi bien le formalisme que le champ des questions traitees. Le calcul et la representation de l'ensemble des solutions est une reponse possible a ces nouveaux besoins. Nous proposons une representation par automates d'etats finis (fa) non deterministes qui generalise la representation par fa deterministes due a vempaty. Nous nous interessons a la minimisation des fa non deterministes, probleme qui reste np-difficile sur la classe des langages associes aux ense

APA, Harvard, Vancouver, ISO, and other styles

15

Castro, Carlos. "Une approche déductive de la résolution de problèmes de satisfaction de contraintes." Nancy 1, 1998. http://docnum.univ-lorraine.fr/public/SCD_T_1998_0236_CASTRO.pdf.

Full text

Abstract:

Dans cette thèse, nous modélisons la résolution de problèmes de satisfaction de contraintes (csps) comme un processus de déduction. Nous formalisons les techniques de résolution de csps sur des domaines finis en utilisant des règles de réécriture et des stratégies. Les règles expriment les transformations réalisées par ces techniques sur les contraintes et les stratégies contrôlent l'application de ces règles. Cette approche nous permet de vérifier facilement des propriétés telles que la correction, la complétude et la terminaison d'un solveur. L'utilisation d'un langage de stratégies puissant

APA, Harvard, Vancouver, ISO, and other styles

16

David, Philippe. "Prise en compte de la sémantique dans les problèmes de satisfaction de contraintes : étude des contraintes fonctionnelles." Montpellier 2, 1994. http://www.theses.fr/1994MON20038.

Full text

Abstract:

Diverses techniques ont ete developpees pour resoudre les problemes de satisfaction de contraintes, mais peu d'entre elles prenaient en compte la semantique des contraintes. L'objet de cette these est de tirer profit des proprietes semantiques des contraintes fonctionnelles pour accroitre l'efficacite de resolution des csp en contenant. Nous etudions tout d'abord les proprietes d'un csp fonctionnel verifiant les consistances d'arc et de chemin, les deux consistances partielles les plus utilisees ; nous exposons alors des conditions sous lesquelles une instanciation peut se prolonger en une sol

APA, Harvard, Vancouver, ISO, and other styles

17

Berger, Nicolas. "Modélisation et résolution en programmation par contraintes de problèmes mixtes continu/discret de satisfaction de contraintes et d'optimisation." Phd thesis, Université de Nantes, 2010. http://tel.archives-ouvertes.fr/tel-00560963.

Full text

Abstract:

Les contraintes sont un moyen générique de représenter les règles qui gouvernent notre monde. Étant donné un ensemble de contraintes, une question centrale est de savoir s'il existe une possibilité de toutes les satisfaire simultanément. Cette problématique est au cœur de la programmation par contraintes, un paradigme puissant pour résoudre efficacement des problèmes qui apparaissent dans de nombreux domaines de l'activité humaine. Initialement dédiée, dans les années 1980, à la résolution de problèmes d'intelligence artificielle à variables entières, c'est dans les années 1990 que la programm

APA, Harvard, Vancouver, ISO, and other styles

18

Madeline, Blaise. "Algorithmes évolutionnaires et résolution de problèmes de satisfaction de contraintes en domaines finis." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00505450.

Full text

Abstract:

Cette thèse traite de l'utilisation des algorithmes évolutionnaires (AE) pour résoudre des problèmes de satisfaction de contrainte (CSP) en domaines finis sans spécialisation ni hybridation particulière. Après avoir présenté les CSP et les méthodes couramment utilisées pour les résoudre (chapitres 1 et 2), nous présentons le paradigme évolutionnaire et ses applications (chapitres 3 et 4). Ensuite, nous proposons une comparaison entre les méthodes de recherche arborescente et les métaheuristiques sur des coloriages de graphe sur-contraints, dans un contexte de réglage des paramètres minimal (ch

APA, Harvard, Vancouver, ISO, and other styles

19

Hadjadj, Aoul Lamia. "Sur des généralisations des graphes triangulés : application aux problèmes de satisfaction de contraintes." Aix-Marseille 1, 2003. http://www.theses.fr/2003AIX11025.

Full text

Abstract:

Le cadre de cette thèse est de caractériser certaines classes de graphes ayant de bonnes propriétés pour la résolution de systèmes de contraintes. En effet, nous étudions ici les propriétés et algorithmes de certaines classes de graphes qui se trouvent être des généralisations des graphes triangulés. En particulier, nous étudions dans le détail les graphes CSGk, qui définissent une hiérarchie de classes de graphes dont le second niveau, les graphes CSG1 sont exactement les graphes triangulés. Dans cette étude, nous essayons de voir si les résultats classiques des graphes triangulés peuvent ou

APA, Harvard, Vancouver, ISO, and other styles

20

Terrioux, Cyril. "Approches structurelles et coopératives pour la résolution des problèmes de satisfaction de contraintes." Aix-Marseille 1, 2002. http://www.theses.fr/2002AIX11051.

Full text

Abstract:

Cette thèse porte sur des méthodes de résolution du problème de satisfaction de contraintes (CSP) qui exploitent des informations explicitées durant la recherche. D'abord, nous définissons la méthode énumérative BTD qui produit et exploite des goods et nogoods structurels. Un good (resp. Nogood) structurel est une affectation consistante qui peut (resp. Ne peut pas) être étendue de façon consistante sur une partie bien définie du problème. BTD bénéficie de l'efficacité pratique de l'énumération tout en garantissant des bornes de complexité identiques à celles des meilleures méthodes structurel

APA, Harvard, Vancouver, ISO, and other styles

21

Lagniez, Jean-Marie. "Satisfiabilité propositionnelle et raisonnement par contraintes : modèles et algorithmes." Thesis, Artois, 2011. http://www.theses.fr/2011ARTO0404/document.

Full text

Abstract:

La thèse porte sur la résolution des problèmes de satisfiabilité propositionnelle (SAT) et des problèmesde satisfaction de contraintes (CSP). Ces deux modèles déclaratifs sont largement utilisés pour résoudredes problèmes combinatoires de première importance comme la vérification formelle de matérielset de logiciels, la bioinformatique, la cryptographie, la planification et l’ordonnancement de tâches.Plusieurs contributions sont apportées dans cette thèse. Elles vont de la proposition de schémas d’hybridationdes méthodes complètes et incomplètes, répondant ainsi à un challenge ouvert depuis 19

APA, Harvard, Vancouver, ISO, and other styles

22

Gouachi, Idir. "Liresne : Un système de Résolution de problèmes de satisfaction de contraintes en nombres entiers." Paris 13, 1998. http://www.theses.fr/1998PA132023.

Full text

Abstract:

Dans cette these nous proposons un systeme de resolution de problemes de satisfaction de contraintes en nombres entiers. Ce systeme nomme liresne (langage pour interpreter et resoudre des systemes en nombres entiers) est compose de solveurs bases sur des algorithmes hybrides combinant les outils de l'intelligence artificielle (techniques de consistance, retour arriere intelligent) et de la recherche operationnelle (optimisation, recherche tabou, relaxation lagrangienne). Notre systeme est particulierement constitue : d'un interpreteur qui offre un langage declaratif pour enoncer les problemes

APA, Harvard, Vancouver, ISO, and other styles

23

Merchez, Sylvain. "Problèmes de satisfaction de contraintes : étude de mécanismes d'abstraction et de construction de hiérarchies." Artois, 2000. http://www.theses.fr/2000ARTO0405.

Full text

Abstract:

De nombreux problèmes issus de l'intelligence artificielle et de la recherche opérationnelle peuvent s'exprimer naturellement sous forme de contraintes. Cette thèse est une étude de deux aspects importants concernant les problèmes de satisfaction de contraintes (ou CSP pour constraint satisfaction problem). Dans une première partie, nous nous sommes intérssés à la définition d'un cadre formel permettant de construire des abstractions de CSPS. Notre principal objectif a été de rendre aussi générale que possible notre proposition. Cela se traduit par la possibilité d'intégrer aussi bien les form

APA, Harvard, Vancouver, ISO, and other styles

24

Cervoni, Laurent. "Méthodologies et techniques de résolution de problèmes avec contraintes. Application en programmation logique avec objets : cooxi." Rouen, 1994. http://www.theses.fr/1994ROUES032.

Full text

Abstract:

Cette thèse se présente tout d'abord comme une étude exploratoire des techniques, des méthodes et des systèmes de résolution de problèmes avec contraintes, basée sur un retour d'expérience industriel. Devant l'émergence, ces dernières années, de nouvelles techniques ou outils pour résoudre les problèmes fortement combinatoires, ce document se propose de restituer plus précisément le contexte de la résolution de ces problèmes complexes en : passant en revue les approches disponibles, collectant le maximum de techniques, les comparant ; précisant les liens entre recherche opérationnelle et progr

APA, Harvard, Vancouver, ISO, and other styles

25

Karoui, Wafa. "Méthodes à divergences pour la résolution de problèmes de satisfaction de contraintes et d'optimisation combinatoire." Thesis, Toulouse, INSA, 2010. http://www.theses.fr/2010ISAT0021/document.

Full text

Abstract:

Le formalisme « Problème de Satisfaction de Contraintes » (ou CSP pour Constraint Satisfaction Problem) peut être considéré comme un langage de représentation formelle qui couvre l'ensemble des problèmes dont la modélisation fait intervenir des contraintes. L'intérêt de ce formalisme réside dans l'exploitation de la généricité d'algorithmes de résolution puissants mais également dans la performance d'algorithmes dédiés à des problèmes particuliers.Dans ce travail de thèse, nous étudions la résolution de CSP par des méthodes de recherche arborescente basées sur la notion de « divergence » (une

APA, Harvard, Vancouver, ISO, and other styles

26

Karaoui, Wafa. "Méthodes à divergences pour la résolution de problèmes de satisfaction de contraintes et d'optimisation combinatoire." Phd thesis, INSA de Toulouse, 2010. http://tel.archives-ouvertes.fr/tel-00538672.

Full text

Abstract:

Le formalisme " Problème de Satisfaction de Contraintes " (ou CSP pour Constraint Satisfaction Problem) peut être considéré comme un langage de représentation formelle qui couvre l'ensemble des problèmes dont la modélisation fait intervenir des contraintes. L'intérêt de ce formalisme réside dans l'exploitation de la généricité d'algorithmes de résolution puissants mais également dans la performance d'algorithmes dédiés à des problèmes particuliers. Dans ce travail de thèse, nous étudions la résolution de CSP par des méthodes de recherche arborescente basées sur la notion de " divergence ". Dan

APA, Harvard, Vancouver, ISO, and other styles

27

Mérel, Pierre-Paul. "Les problèmes de satisfaction de contraintes : recherche n-aire et parallélisme : application au placement en CAO." Metz, 1998. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1998/Merel.Pierre_Paul.SMZ9806.pdf.

Full text

Abstract:

Les problèmes de satisfaction de contraintes (CSP) constituent un cadre de formalisation puissant des problèmes d'intelligence artificielle. Un CSP est la donnée d'un ensemble de variables définies sur certains domaines, et d'un ensemble de contraintes reliant ces variables. De nombreuses méthodes ont été définies pour les résoudre. Nous nous intéressons dans ce document, aux méthodes complètes, i. E. Qui permettent toujours de trouver une solution. Les méthodes complètes de résolution les plus performantes pour les csp utilisent un mécanisme de recherche par vérification de consistance "en av

APA, Harvard, Vancouver, ISO, and other styles

28

Jégou, Philippe. "Contribution à l'étude des problèmes de satisfaction de contraintes : algorithmes de propagation et de résolution : propagation de contraintes dans les réseaux dynamiques." Montpellier 2, 1991. http://www.theses.fr/1991MON20015.

Full text

Abstract:

Nous presentons une etude sur la resolution de problemes de satisfaction de contraintes (au sens csp). Si la litterature concernant les csp binaires (contraintes limitees a deux variables) est particulierement fournie, celle relative au cas general (contraintes d'arite quelconque) est assez limitee. Aussi, apres un rappel exhaustif sur les techniques de propagation et de satisfaction de contraintes, nous proposons des resultats theoriques et pratiques relatifs a la problematique generale. Ces resultats concernent notamment la representation de csp n-aires par des csp binaires, les techniques d

APA, Harvard, Vancouver, ISO, and other styles

29

Trojet, Mariem. "Planification d'une chaîne logistique : approche par satisfaction de contraintes dynamiques." Phd thesis, INSA de Toulouse, 2014. http://tel.archives-ouvertes.fr/tel-00996957.

Full text

Abstract:

Le sujet de thèse porte sur la planification tactique et opérationnelle d'une chaîne logistique dans un contexte dynamique. Nous proposons un modèle de planification basé sur une structure décisionnelle à deux niveaux. Adoptant un processus dynamique permettant d'actualiser les données à chaque étape de planification, le premier niveau planifie la production en recherchant le meilleur compromis entre les leviers décisionnels disponibles liés aux aspects capacité et coût de production. Le deuxième niveau établit un ordonnancement agrégé des opérations de fabrication en minimisant les en-cours.

APA, Harvard, Vancouver, ISO, and other styles

30

Rochon, du Verdier Franck. "Résolution de problèmes d'aménagement spatial fondée sur la satisfaction de contraintes : validation sur l'implantation d'équipements électroniques hyperfréquences." Lyon 1, 1992. http://www.theses.fr/1992LYO10141.

Full text

Abstract:

Face aux multiples applications industrielles, en electronique, mecanique, architecture, urbanisme, l'automatisation du processus d'amenagement spatial suscite un interet considerable. Dans cette these, nous abordons les problemes de placement dans le plan d'objets de forme quelconque lies par des relations locales et de nature diverses. Nous proposons d'associer des techniques de satisfaction de contraintes a une modelisation des espaces de configurations permettant de representer les positions et orientations candidates des objets a placer. En outre, notre approche prend en compte les aspect

APA, Harvard, Vancouver, ISO, and other styles

31

Richoux, Florian. "Toward a complexity classification of CSP through kernel widthVers une caractérisation de la complexité des CSP à travers la largeur des kernels." Palaiseau, Ecole polytechnique, 2009. http://pastel.paristech.org/5564/01/memoire_submitted.pdf.

Full text

Abstract:

Constraint Satisfaction Problems (CSP) constitute a universal formalism allowing to modelize a huge number of algorithmical and combinatorial problems, such as problems over graphs, databases, artificial intelligence, …This thesis is in line with the study of the computational complexity of CSP. It is a very active research domain for which there exists dedicated sessions in some highest conferences in algorithmic, logic and artificial intelligennce such as IJCAI and AAAI. The starting point of this thesis was to study some restrictions of CSP and to fully characterize the computational comple

APA, Harvard, Vancouver, ISO, and other styles

32

Daoudi, Abderrazak. "Acquisition de contraintes par apprentissage de structures." Thesis, Montpellier, 2016. http://www.theses.fr/2016MONTT316/document.

Full text

Abstract:

La Programmation par contraintes est un cadre général utilisé pour modéliser et résoudre des problèmes combinatoires complexes. Cependant, la modélisation d'un problème sous forme d’un réseau de contraintes nécessite une bonne expertise dans le domaine. Ce niveau d'expertise est un obstacle majeur pour une large diffusion de la programmation de contraintes. Pour remédier à ce problème, plusieurs systèmes d'acquisition de contraintes ont été proposés pour aider l'utilisateur dans la tâche de modélisation. Dans ces systèmes, l'utilisateur ne répond qu'à des questions très simples. L'inconvénient

APA, Harvard, Vancouver, ISO, and other styles

33

Arsouze, Julien. "Une formalisation de la résolution des problèmes de satisfaction de contraintes : application à la vision grammaticale de CLP." Orléans, 2004. http://www.theses.fr/2004ORLE2073.

Full text

Abstract:

Résoudre un Problème de Satisfaction de Contraintes (CSP) consiste à trouver une affectation pour chaque variable du problème parmi un ensemble de valeurs appartenant à un domaine qui satisfasse toutes les contraintes. Pour cela, les solveurs utilisent des méthodes de propagation de contraintes issues des notions de consistance locale. Les itérations chaotiques d'opérateurs corrects, monotones et contractants modélisent la sémantique opérationnelle de ces solveurs. Nous présentons ici les -itérations chaotiques qui permettent d'obtenir une abstraction plus fine des algorithmes de résolution.

APA, Harvard, Vancouver, ISO, and other styles

34

Dago, Pierre. "Extension d'algorithmes dans le cadre des problèmes de satisfaction de contraintes valués : application à l'ordonnancement de systèmes satellitaires." Toulouse, ENSAE, 1997. http://www.theses.fr/1997ESAE0006.

Full text

Abstract:

Dans cette étude, nous nous intéressons à la résolution des "Problèmes de Satisfaction de Contraintes valués" (CSP valués). Cette modélisation extrèmement simple, intuitive et riche s'adapte facilement à une grande variété de problèmes d'optimisation. De nombreux travaux ont par ailleurs fourni toute une bibliothèque d'algorithmes de résolution. Dans le cadre classique de la satisfaction des CSP, l'efficacité de ces méthodes n'est plus à démontrer et leur domaine d'application est assez bien connu. L'introduction d'une valuation des contraintes dans le modèle CSP, qui donne naissance aux CSP v

APA, Harvard, Vancouver, ISO, and other styles

35

Lobjois, Lionel. "Problèmes d'optimisation combinatoire sous contraintes : vers la conception automatique de méthodes de résolution adaptées à chaque instance." Toulouse, ENSAE, 1999. http://www.theses.fr/1999ESAE0025.

Full text

Abstract:

Nous étudions dans cette thèse deux voies pour résoudre plus efficacement les problèmes d'optimisation combinatoire exprimés dans le cadre génétique VCSP (Valued Constraint Satisfaction Problem), extension du cadre CSP (Constraint Satisfaction Problem) pour l'optimisation. La première voie concerne la recherche de nouvelles méthodes globalement plus performantes par la coopération entre méthodes complètes et méthodes incomplètes. Nous proposons en particulier une nouvelle méthode hybride dédiée à la résolution de VCSP en contexte interruptible et la comparons aux recherches locales standards.

APA, Harvard, Vancouver, ISO, and other styles

36

Kueviakoe, Kangni. "Localisation multi-capteurs garantie : résolution d'un problème de satisfaction de contraintes." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112241/document.

Full text

Abstract:

Cette thèse traite de la localisation de véhicule. Plusieurs méthodes sont utilisées pour résoudre ce type de problème. Elles peuvent être classées en deux grandes catégories d’approches : les approches probabilistes et les approches déterministes.Ce travail aborde les approches déterministes et plus précisément l'approche ensembliste basée sur l'analyse par intervalles. Les travaux ont été conduits sur des jeux de données réelles collectées en environnements d'extérieur comprenant des capteurs proprioceptifs et extéroceptifs.Lorsque l'on met en jeu plusieurs capteurs fournissant des informati

APA, Harvard, Vancouver, ISO, and other styles

37

Naanaa, Wady. "Résolution de problèmes de satisfaction de contraintes intégrant la flexibilité et la symétrie : application à la génération de structures moléculaires." Lyon 1, 1996. http://www.theses.fr/1996LYO10320.

Full text

Abstract:

Dans ce memoire, nous introduisons une procedure systematique pour la resolution de problemes de satisfaction de contraintes binaires (csps). Cette procedure integre deux strategies de recherche. Nous proposons des extensions au formalisme csp standard. Ces extensions permettent la relaxation des csps surcontraints et la resolution de csps ayant une structure ambigue. Nous proposons egalement une methode, pour le traitement de la symetrie inherente aux csps. Cette methode s'appuie sur les automorphismes de graphe simple. Nous validons les methodes et procedures proposees sur le probleme de l'i

APA, Harvard, Vancouver, ISO, and other styles

38

Budzynski, Louise. "Algorithmic barriers in random constraint satisfaction problems." Thesis, Université Paris sciences et lettres, 2020. http://www.theses.fr/2020UPSLE013.

Full text

Abstract:

La complexité typique des Problèmes de Satisfaction de Contraintes (CSP) peut être étudiée à l'aide d'ensembles aléatoires de contraintes. On observe un phénomène de seuil quand la densité de contraintes augmente. En particulier à la transition de clustering, l'ensemble des solutions typiques se fracture en groupes de solutions séparés les uns des autres. Dans cette thèse nous introduisons un biais qui brise l'uniformité entre les solutions d'une instance de CSP, et nous étudions son effet sur la valeur du seuil de clustering. Nous étudions en particulier le problème de bicoloriage de k-hyperg

APA, Harvard, Vancouver, ISO, and other styles

39

Vautard, Jérémie. "Modélisation et résolution de problèmes de décision et d'optimisation hiérarchiques en utilisant des contraintes quantifiées." Phd thesis, Université d'Orléans, 2010. http://tel.archives-ouvertes.fr/tel-00486721.

Full text

Abstract:

Cette thèse s'inscrit dans le cadre de la programmation par contraintes quantifiées, un formalisme étendantla programmation par contraintes classique en ajoutant aux variables des quantificateurs existentiels ouuniversels, ce qui apporte en théorie une expressivité suffisante pour modéliser des problèmes avec adversaireou incertitude sur certains paramètres sous forme de problèmes appelés QCSP (Quantified Constraintsatisfaction Problem).Nous commençons par apporter une réponse aux difficultés de modélisation de problèmes réels dont estfrappée la programmation par contraintes quantifiées en int

APA, Harvard, Vancouver, ISO, and other styles

40

Escamocher, Guillaume. "Forbidden patterns in constraint satisfaction problems." Toulouse 3, 2014. http://thesesups.ups-tlse.fr/2283/.

Full text

Abstract:

Le problème de satisfaction de contraintes (CSP) est NP-complet, même dans le cas où toutes les contraintes sont binaires. Cependant, certaines classes d'instances CSP sont traitables. Récemment, une nouvelle méthode pour définir de telles classes aémergée. Cette approche est centrée autour des motifs interdits, ou l'absence locale de certaines conditions. Elle est l'objet de ma thèse. Nous définissons formellement ce que sont les motifs interdits, présentons les propriétés qu'ils détiennent, et finalement les utilisons afin d'établir plusieurs résultats de complexité importants. En utilisant

APA, Harvard, Vancouver, ISO, and other styles

41

Bennaceur, Hachemi. "Le Problème de satisfaction de contraintes : synthèse et méthode exacte de résolution." Paris 13, 1989. http://www.theses.fr/1989PA132025.

Full text

Abstract:

Le problème de satisfaction de contraintes consiste à exhiber une ou plusieurs solutions d'un système diophantien ou à démontrer la vacuité du domaine associé. La synthèse des differentes implications de ce problème dans le domaine de l'informatique (intelligence artificielle, vectorisation de programmes, vérification de codes, équations sur les mots. . . ) a permis de mettre en évidence les différents modèles typiques de ces applications. L'analyse des techniques de résolution utilisées jusqu'à présent dans le domaine de la vectorisation de programmes a démontré tout l'intérêt de concevoir un

APA, Harvard, Vancouver, ISO, and other styles

42

Verdret, Philippe. "L'expertise en conception de programme : Approche à partir de la notion de satisfaction de contraintes." Rouen, 1989. http://www.theses.fr/1989ROUEL082.

Full text

Abstract:

Pour caractériser l'expertise en conception de programme quatre programmeurs expérimentés, dont un expert, ont été observés lors de la conception d'un script Shell (programme construit à base des commandes UNIX). La conception de script a été analysée comme un processus de gestion de contraintes. Ce processus consiste à identifier et à satisfaire des contraintes. Diverses stratégies de gestion des contraintes sont mises en évidence et analysées: le relâchement, l'isolement, la hiérarchisation et l'intégration dans des structures des diverses contraintes de la conception. Le processus de concep

APA, Harvard, Vancouver, ISO, and other styles

43

Lamontagne, Éric. "Le problème de décision CSP : Homomorphismes et espace logarithmique." Thesis, Université Laval, 2012. http://www.theses.ulaval.ca/2012/29292/29292.pdf.

Full text

APA, Harvard, Vancouver, ISO, and other styles

44

Saad, Belaïd. "Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances." Thesis, Metz, 2010. http://www.theses.fr/2010METZ012S/document.

Full text

Abstract:

Une large gamme de problèmes pratiques nécessite une diversité de représentation et de modélisation des données et de développer des modèles dans lesquels les différentes données peuvent être représentées. Dans cette thèse, nous nous intéressons à l'hybridation de deux modèles : le modèle des Systèmes Experts (SE) et le modèle des Problèmes de Satisfaction de Contraintes (CSP). L'objectif de notre travail est de proposer un système distribué et sécurisé pour intégrer des contraintes dans un moteur d'inférence. Pour ce faire, nous avons d'une part développé un outil de communication qui facilit

APA, Harvard, Vancouver, ISO, and other styles

45

Saad, Belaïd. "Intégration des problèmes de satisfaction de contraintes distribués et sécurisés dans les systèmes d'aide à la décision à base de connaissances." Electronic Thesis or Diss., Metz, 2010. http://www.theses.fr/2010METZ012S.

Full text

Abstract:

Une large gamme de problèmes pratiques nécessite une diversité de représentation et de modélisation des données et de développer des modèles dans lesquels les différentes données peuvent être représentées. Dans cette thèse, nous nous intéressons à l'hybridation de deux modèles : le modèle des Systèmes Experts (SE) et le modèle des Problèmes de Satisfaction de Contraintes (CSP). L'objectif de notre travail est de proposer un système distribué et sécurisé pour intégrer des contraintes dans un moteur d'inférence. Pour ce faire, nous avons d'une part développé un outil de communication qui facilit

APA, Harvard, Vancouver, ISO, and other styles

46

Paris, Nicolas. "Intégration de techniques CSP pour la résolution du problème WCSP." Thesis, Artois, 2014. http://www.theses.fr/2014ARTO0405/document.

Full text

Abstract:

Cette thèse se situe dans le contexte de la programmation par contraintes (CP). Plus précisément, nous nous sommes intéressés au problème de satisfaction de contraintes pondérées (WCSP). De nombreuses approches ont été proposées pour traiter ce problème d’optimisation. Les méthodes les plus efficaces utilisent des cohérences locales souples sophistiquées comme par exemple la cohérence d’arc directionnelle complète FDAC∗, la cohérence d’arc directionnelle existentielle EDAC∗, etc. Établies grâce à des opérations de transferts de coût préservant l’équivalence des réseaux, l’utilisation de ces co

APA, Harvard, Vancouver, ISO, and other styles

47

Gharbi, Nebras. "On compressing and parallelizing constraint satisfaction problems." Thesis, Artois, 2015. http://www.theses.fr/2015ARTO0406/document.

Full text

Abstract:

La programmation par contraintes est un cadre puissant utilisé pour modéliser et résoudre des problèmes combinatoires, employant des techniques d'intelligence artificielle, de la recherche opérationnelle, de théorie des graphes,..., etc. L'idée de base de la programmation par contraintes est que l'utilisateur exprime ses contraintes et qu'un solveur de contraintes cherche une ou plusieurs solutions.Les problèmes de satisfaction de contraintes (CSP), sont au cœur de la programmation par contraintes. Ce sont des problèmes de décision où nous recherchons des états ou des objets satisfaisant un ce

APA, Harvard, Vancouver, ISO, and other styles

48

Thierry, Caroline. "Planification et ordonnancement multi-site : une approche par satisfaction de contraintes." Toulouse, ENSAE, 1994. http://www.theses.fr/1994ESAE0025.

Full text

Abstract:

Ce travail concerne la gestion et la coordination d'un ensemble d'unités de production réparties en différents sites et entre lesquelles s'échangent des flux de produits. Le problème consiste à trouver comment répartir dans le temps les productions correspondant à des commandes de produits entre les différentes unités de production, certains produits ou composants pouvant être produits dans plusieurs de ces unités de production. Cette répartition est faite en tenant compte des capacités de production des différents sites, avec des objectifs de minimisation de critères globaux. Ce problème est

APA, Harvard, Vancouver, ISO, and other styles

49

Janssen, Philippe. "Aide à la conception : une approche basée sur la satisfaction de contraintes." Montpellier 2, 1990. http://www.theses.fr/1990MON20039.

Full text

Abstract:

Nous nous interessons a la conception d'objets pertinents sous contraintes. Ces objets sont definis par un ensemble de variables connues a priori et par un ensemble de contraintes de deux types: les contraintes de validite definissant les objets admissibles et les contraintes de preference exprimant les qualites des objets recherches. Nous proposons un formalisme issu des problemes de satisfaction de contraintes (csp): les csp dynamiques. Ce modele est a la base d'une approche interactive d'aide a la conception. Les mecanismes developpes pour cette approche reposent sur les resultats obtenus e

APA, Harvard, Vancouver, ISO, and other styles

50

Givry, Simon de. "Algorithmes d'optimisation sous contraintes étudiés dans un cadre temps réel." Toulouse, ENSAE, 1998. http://www.theses.fr/1998ESAE0002.

Full text

Abstract:

Les systèmes temps réels intelligents, c'est-à-dire capables de prendre des décisions en temps contraint, constituent un nouveau défi. La nouveauté provient de la nature des tâches à ordonnancer sur le processeur : une prise de décision n'est pas vue comme un résultat complet, optimum, obtenu en temps borné ; elle correspond plutôt à un résultat approché, de qualité croissante en fonction du temps alloué. Le système ne vise plus seulement à garantir les échéances temporelles d'un ensemble de tâches ; il essaie aussi de maximiser la qualité en sortie du système. Nous avons choisi comme problème

APA, Harvard, Vancouver, ISO, and other styles

We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!