Bibliografías temáticas / Satisfaction de problèmes de contraintes / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Satisfaction de problèmes de contraintes.

Tesis sobre el tema "Satisfaction de problèmes de contraintes"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Satisfaction de problèmes de contraintes".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Satisfaction de problèmes de contraintes" para otros tipos de fuentes:
Artículos de revistas
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!

Pasar a la bibliografía