Academic literature on the topic 'Satisfaction de problèmes de contraintes'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources 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.
Journal articles on the topic "Satisfaction de problèmes de contraintes"
1
Deleau, Hervé, Jin-Kao Hao, and Frédéric Saubion. "Algorithmes hybrides génériques pour la résolution de problèmes de satisfaction de contraintes." RAIRO - Operations Research 39, no. 2 (April 2005): 87–103. http://dx.doi.org/10.1051/ro:2005006.
Full text
2
Gautheret, D. "Le repliement tridimensionnel des biomolécules : un problème de satisfaction de contraintes." médecine/sciences 7, no. 10 (1991): 1093. http://dx.doi.org/10.4267/10608/4516.
Full text
3
Blanc, Eugène. "La formation des divisions (classes) en collège au risque de la discrimination. Une année scolaire dans un collège difficile : analyse d’un échec." VEI enjeux 6, no. 1 (2002): 76–86. http://dx.doi.org/10.3406/diver.2002.7762.
Full textAbstract:
La formation des divisions en collège est un acte administratif hautement complexe, qui ne doit pas tout au hasard ou aux choix d’options des familles, surtout dans les établissements qui recrutent un public socialement clivé. L’enquête sociologique montre que les équipes administratives en charge de ce travail, prises dans des contraintes contradictoires, peuvent en venir à valider tacitement les distinctions ethniques qui prévalent dans les représentations sociales, dans l’espoir de préserver l’ordre général, de conserver des publics aisés, etc. Mais, ce faisant, elles s’exposent à rendre certaines classes très difficiles à gérer, à aigrir le climat relationnel à l’intérieur du collège et peut-être, de fil en aiguille, à induire les effets pervers qu’elles voulaient prévenir. Peut-on échapper à la contradiction entre discrimination et départ des familles aisées ? Quelles solutions alternatives sont tentées ? Dans quelle mesure et dans quelles circonstances apportent-elles satisfaction ? Dans quelle mesure génèrent-elles d’autres problèmes ?
4
Caradec, Vincent. "Vieillir, un fardeau pour les proches ?1." Lien social et Politiques, no. 62 (February 25, 2010): 111–22. http://dx.doi.org/10.7202/039318ar.
Full textAbstract:
Résumé L’aide à un proche âgé est souvent envisagée à travers la notion de burden. Or, celle-ci présente le double inconvénient de renforcer l’image de la vieillesse comme problème et d’occulter la diversité des significations que les aidants donnent à la situation. L’article, fondé sur l’analyse d’entretiens réalisés auprès d’aidants (conjoints et enfants, principalement), se propose d’élaborer une autre représentation, qui prend la forme d’une typologie mettant en relief la diversité des expériences de l’aide : aide-altération, aide-contraintes, aide-engagement et aide-satisfaction.
5
Barichard, Vincent, and Igor Stéfan. "Le problème de satisfaction de contraintes quantifiées et les jeux à deux joueurs à horizon fini : le projet QuaCod." Revue d'intelligence artificielle 31, no. 3 (June 28, 2017): 337–65. http://dx.doi.org/10.3166/ria.31.337-365.
Full text
6
Kipasa, Rossi Pumbulu. "La responsabilité des pouvoirs publics dans la lutte contre la criminalité des jeunes et le phénomène de justice populaire à Kikwit." KAS African Law Study Library - Librairie Africaine d’Etudes Juridiques 9, no. 4 (2022): 442–53. http://dx.doi.org/10.5771/2363-6262-2022-4-442.
Full textAbstract:
La vie menée en milieu urbain implique des moyens financiers substantiels. Ce qui contraint ses résidents à faire face à des besoins divers et contraignants dont la satisfaction repose sur des capacités socio-économiques de chacun. Certains enfants, confrontés au quotidien à un flot de problèmes sociaux récurrents (logement précaire, promiscuité, manque d’hygiène individuelle et au niveau de la collectivité, malnutrition), se livrent à la délinquance pour subvenir à leurs besoins. La montée de la délinquance juvénile à Kikwit est devenue un phénomène social inquiétant. Ce type de délinquance appelée « base » porte atteinte à la tranquillité des populations ainsi qu’à l’ordre public. Ces jeunes gens dépravés s’affutent mutuellement dans des différents quartiers et commettent des actes de violence s’orientant vers l’octroi de gain avec comme mode opératoire la confiscation des biens des citoyens. On a affaire à un contexte de non droit où l’agressivité sous toutes ses formes, est devenue monnaie courante à Kikwit. Parallèlement, la population se sentant délaisser par les autorités, qui n’arrivent pas au bout de ces malfrats, recoure à d’autres solutions dont le phénomène de justice populaire. Cette situation nous pousse à analyser les facteurs à la base du Kuluna et du phénomène de justice populaire dans la ville de Kikwit. Notre réflexion s’interroge aussi sur l’impact réel des mesures prises par différentes autorités de la ville visant l’éradication de ces fléaux.
7
Lapierre-Adamcyk, Évelyne. "Fécondité et besoins de réalisation personnelle." Articles 8, no. 2 (January 6, 2009): 3–13. http://dx.doi.org/10.7202/600787ar.
Full textAbstract:
RÉSUMÉ Nous vivons dans un régime de faible fécondité et cela nous est sans doute imposé par les forces économiques et sociales. Cependant, la variété des comportements individuels reste très grande, de sorte qu’il n’est pas illusoire de rechercher des liens entre les besoins de réalisation personnelle et le fait d’avoir des enfants. Plusieurs besoins psychologiques peuvent être satisfaits par le fait d’avoir et d’élever des enfants, mais ces besoins peuvent aussi être satisfaits par d’autres moyens qui ne comportent pas nécessairement autant de contraintes et de responsabilités que les enfants. Pour essayer de comprendre cette remise en question de l’enfant comme source de satisfaction et d’épanouissement personnel, il faut replacer le problème dans l’évolution historique de la famille et plus particulièrement du rôle de la femme : l’industrialisation, en forçant les hommes à sortir de leur milieu familial pour travailler et gagner leur vie, a enlevé à la famille sa fonction de production économique et, par conséquent, a profondément modifié le rôle de la femme, l’a vidé de sa dimension économique. De plus, la baisse de la fécondité, imposée par les mécanismes socio-économiques, représente une transformation du cycle de la vie des femmes et des familles. La vie de la femme ne peut plus se définir uniquement par son rôle de mère. Les Québécoises, quant à elles, sont profondément attachées à leur rôle d’épouse et de mère, cependant de moins en moins elles croient ce rôle unique et complètement satisfaisant. La Québécoise est toutefois encore réticente à se redéfinir pour entrer dans de nouveaux rôles qui eux aussi présentent leurs exigences, d’autant plus lourdes que celles du rôle d’épouse et de mère ne sont pas automatiquement allégées.
8
Zarubina, Tatiana. "Les contraintes dans la circulation interculturelle des discours philosophiques sont-elles d’ordre linguistique ?" Cahiers du Centre de Linguistique et des Sciences du Langage, no. 26 (April 10, 2022): 199–212. http://dx.doi.org/10.26034/la.cdclsl.2009.1383.
Full textAbstract:
Quand il s’agit de la philosophie et des problèmes de sa compréhension, la première et parfois la seule chose qui vienne à l’esprit est la difficulté du langage philosophique. Mais on ne se pose pas d’habitude la question de savoir s’il existe des problèmes de transfert des idées philosophiques d’une « culture » à une autre. Quelles sont les contraintes de la circulation interculturelle des idées philosophiques ? Après avoir analysé de multiples théories, on peut citer des contraintes linguistiques, « culturelles », épistémologiques et ontologiques. Dans cet article, nous allons nous concentrer sur les obstacles linguistiques dans le but de répondre à la question de savoir si les problèmes de compréhension interculturelle dans le domaine de la philosophie sont des problèmes de langue ou de discours.
9
Durand, Jacques, and Chantal Lyche. "Des règles aux contraintes en phonologie générative." Revue québécoise de linguistique 30, no. 1 (July 30, 2003): 91–154. http://dx.doi.org/10.7202/000515ar.
Full textAbstract:
RésuméDepuis leSound Pattern of English, la phonologie générative est devenue le modèle dominant. Pourtant, les travaux générativistes récents sont parfois très éloignés de ce qui a pu caractériser l’époque SPE. En même temps, certains concepts, idées, problèmes continuent à traverser les travaux des phonologues, et savoir s’il y a rupture ou continuité est une question difficile et controversée. Nous pensons que la phonologie est une discipline cumulative et offrons ici un panorama historique et critique. La montée du concept de contrainte, désormais central en phonologie, est expliquée, illustrée et évaluée à partir de deux modèles : la TCSR (Théorie des contraintes et stratégies de réparation) et la TO (Théorie de l’optimalité).
10
Alain, Jean-Marc. "Les contraintes administratives : un frein au développement des services documentaires." Documentation et bibliothèques 27, no. 3 (November 19, 2018): 91–94. http://dx.doi.org/10.7202/1053804ar.
Full textAbstract:
Dans un contexte de contrainte administrative, les situations environnementale et économique peuvent constituer des obstacles à l’accessibilité de l’information et des freins au développement des services documentaires. L’auteur confronte les théories classiques de l’organisation à cette situation particulière et suggère des solutions qui pourraient aider à résoudre certains problèmes administratifs, notamment par le biais des réseaux.
Dissertations / Theses on the topic "Satisfaction de problèmes de contraintes"
1
Bellicha, Félix Amit. "Flexibilité dans les problèmes de satisfaction de contraintes." Montpellier 2, 1996. http://www.theses.fr/1996MON20265.
Full textAbstract:
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 de resolution. Ensuite, nous etudions deux extensions du modele csp classique, qui permettent l'expression de diverses formes de flexibilite: le modele des csp dynamiques (dcsp), ou le facteur temps est introduit, et celui des csp values (vscp), ou des mesures de preferences ou d'incertitude peuvent etre exprimees. Pour ces deux modeles, nous proposons dans le cas binaire des techniques voisines, basees sur une propagation d'informations, dont l'objet est: pour les dcsp, le maintien de solutions successives optimalement proches (differentes mesures de distance etant possibles). Une premiere version statique est completee par une version incrementale. Pour les vcsp, le calcul de solution optimale pour la version statique, et le maintien de solution optimale pour la version incrementale
2
Martinez, David. "Résolution interactive de problèmes de satisfaction de contraintes." Toulouse, ENSAE, 1998. http://www.theses.fr/1998ESAE0005.
Full textAbstract:
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, nous proposons une résolution coopérative ou plusieurs méthodes utilisant chacune une heuristique particulière sont exécutées en parallèle et s'échangent des informations pertinentes. D'autre part, les méthodes classiques de recherche locale ou arborescente prennent difficilement en compte les connaissances et les préférences de l'utilisateur, ce qui peut se traduire par une inefficacité de la recherche et une mauvaise qualité des solutions produites. Dans une telle situation, nous proposons deux approches pour une résolution interactive. Dans la première, le rôle essentiel est tenu par le logiciel ; l'utilisateur n'influe que sur la stratégie de recherche utilisée par le logiciel. Dans la seconde, le rôle essentiel est tenu par l'utilisateur, seul habilité à effectuer des choix. Le seul rôle du logiciel est de propager les conséquences de ces choix. Cette propagation s'effectue grâce à un algorithme générique s'appuyant sur une définition générique de niveaux de cohérence locale inverse. Ce schéma regroupe tous les niveaux de cohérence inverse connus et permet la définition de nouveaux niveaux.
3
Hamadi, Youssef. "Traitement des problèmes de satisfaction de contraintes distribués." Montpellier 2, 1999. http://www.theses.fr/1999MON20097.
Full textAbstract:
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 plus qu'une extension des methodes classiques de resolution csp au nouveau cadre. Nous nous reapproprions les conditions d'optimalite de la resolution en integrant les contraintes inherentes au cadre distribue et notamment les contraintes de localite des informations et de cout des echanges. Ces considerations nous permettent de presenter des methodes de traitement efficaces dans ce nouveau cadre. Nous presentons le premier algorithme distribue de filtrage d'un reseau de contrainte par arc-consistance qui soit a la fois optimal en nombre et en taille des messages echanges. Cette methode de filtrage est completee par la premiere methode de recherche distribuee complete de consommation spatiale non exponentielle. Nous etendons la recherche distribuee de solution pour la rendre entrelacee. Le filtrage distribue par arc-consistance, nous permet de presenter la premiere caracterisation du phenomene de transition de phase dans un cadre distribue. Finalement, nous etendons notre problematique au traitement du probleme sat sur architecture reconfigurable en presentant la premiere adaptation d'une meta-heuristique pour ces architectures.
4
Tounsi, Mohamed. "Contribution à la résolution des problèmes de satisfaction de contraintes discrets." Nantes, 2002. http://www.theses.fr/2002NANT2056.
Full textAbstract:
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 grande taille et les méthodes de recherche locale nécessitent un paramétrage précis de différents paramètres utilisés pour réaliser la diversification de la recherche. Par conséquent, nous nous sommes intéressés à la mise au point de nouvelles approches permettant d'augmenter l'efficacité des algorithmes en terme de qualité de solution et de temps d'exécution. . .
5
Lesaint, David. "Calcul d'ensembles de solutions pour problèmes de satisfaction de contraintes." Toulouse, ENSAE, 1995. http://www.theses.fr/1995ESAE0006.
Full textAbstract:
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éthode met en oeuvre décomposition structurelle et décomposition des contraintes par identification de symétries (calcul d'interchangeabilité). Sa complexité, qui est fonction de la taille d'un transversal minimal du graphe, n'est pas liée au nombre de solutions, à l'inverse des méthodes énumératives. Une évaluation expérimentale sur problèmes jouets en démontre le bon comportement. Nous montrons ensuite que cette méthode relève d'un schéma plus général qui consiste à résoudre le CSP dual d'un CSP pour obtenir une partition de ses solutions. Il est possible de construire un dual binaire pour tout CSP binaire: certaines classes polynomiales s'avèrent alors être stables par passage au dual binaire, assurant ainsi un coût polynomial pour le calcul d'un sous-ensemble des solutions. Nous proposons enfin une extension de l'algorithme backtrack standard pour le calcul de quelques solutions. Expérimentée sur problèmes aléatoires, cette extension entraîne un surcoût modeste par rapport au calcul d'une seule solution bien qu'elle fournisse en meilleur cas un nombre exponentiel de solutions.
6
Madelaine, Florent. "Problèmes de satisfaction de contraintes : une étude logique et combinatoire." Caen, 2003. http://www.theses.fr/2003CAEN2005.
Full textAbstract:
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 constructive : soit le problème donné est transformé en un problème de CSP, soit des contre-exemples sont construits. Je contraste par ailleurs ce résultat avec un résultat récent, dû à Tardif et Nesetril qui utilise une correspondance entre dualité et densité que je généralise par ailleurs à FP. Finalement, je considère les problèmes de contraintes dans le cas de fonctions unaires.
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 textAbstract:
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 de satisfaction de contraintes ont un aspect fortement combinatoire qui leur confère une grande complexité. Nous nous intéressons dans le cadre de cette thèse aux problèmes de satisfaction de contraintes binaires en domaines finis. Les méthodes auxquelles nous nous intéressons pour résoudre un CSP sont, les méthodes dites incomplètes : elles font une réparation d'une configuration en parcourant de manière non systématique l'espace des configurations. Dans cette catégorie de méthodes, notre intérêt s'est plus particulièrement tourné vers les Algorithmes Evolutionnistes. Ce sont des méthodes générales d'optimisation combinatoire qui sont inspirées de la théorie de l'évolution. Dans un CSP classique, on recherche une solution, sans avoir à optimiser de fonction. Pour entrer dans le cadre des Algorithmes Évolutionnistes, on se doit de définir une fonction d'évaluation pour les CSP qui prend ses valeurs minimales sur les solutions du problème. Cette fonction pourrait être utilisée par toutes méthodes incomplètes, telles que les techniques min-conflits, GSAT et leurs variantes. Nous montrons dans cette thèse l'application de notre fonction d'évaluation pour la méthode min-conflits ainsi que pour un algorithme évolutionniste. D'un autre côté, dans le contexte plus spécifique des algorithmes génétiques, nous souhaitons guider l'évolution (i.e. recherche d'une solution), en faisant des transformations sur la population plus orientées vers le problème de satisfaction de contraintes. Nous définissons ainsi des opérateurs de mutation et de croisement spécialisés pour les CSP qui sont basés sur la structure du graphe de contraintes. Ensuite, nous incorporons le concept d'adaptation dans l'opérateur de croisement, afin d'améliorer la recherche de l'algorithme. Dans ce mémoire, nous décrivons et justifions les algorithmes mis en oeuvre, en illustrant les techniques implémentées par la résolution de problèmes de coloriage de graphe avec trois couleurs, et de CSP générés aléatoirement.
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 textAbstract:
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 duale. Cette propriété nous a amené à concevoir des algorithmes de consistance de chemin forte très efficaces. La variante conservative de cette consistance est de plus plus forte que la consistance de chemin conservative, tout en restant plus rapide à établir en pratique.Par ailleurs, nous avons également cherché à améliorer MGAC, tout d'abord en équipant celui-ci d'heuristiques de choix de valeurs. Nous nous sommes pour cela basés sur l'heuristique de Jeroslow-Wang, issue du problème SAT. En utilisant deux techniques de conversion de CSP vers SAT, nous montrons comment cette heuristique se comporterait sur un CSP. Enfin, nous avons cherché à utiliser une hybridation entre un algorithme de recherche locale basé sur la pondération des contraintes et un algorithme MGAC équipé de l'heuristique dom/wdeg, en exploitant les possibilités d'apprentissage de l'un et l'autre algorithmes.
De manière transversale, l'ensemble des techniques développées dans le cadre de cette thèse a amené à la réalisation d'une API pour le langage Java, capable de résoudre un CSP au sein d'une application Java quelconque. Cette API a été développée dans l'optique "boîte noire" : le moins de paramètres et d'expertise possibles sont demandés à l'utilisateur. Un prouveur basé sur CSP4J a concouru lors les compétitions internationales de prouveurs CSP avec des résultats encourageants.
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 textAbstract:
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 entre regles d'analyse sous contraintes et methodes de filtrage des csp permet non seulement d'interpreter les premieres en termes de consistance locale, mais aussi de decouvrir de nouvelles regles. Cependant, le cadre formel fourni par les csp est encore trop restrictif: en particulier, il interdit la prise en compte des caracteristiques flexibles ou incertaines de certains problemes ou une formulation sous forme de contraintes parait interessante. C'est pourquoi nous avons defini un nouveau formalisme qui generalise l'approche csp, tant au niveau theorique qu'algorithmique. Etant fonde sur la theorie des ensembles flous et la theorie des possibilites, le modele fcsp (fuzzy contraint satisfaction problems) autorise le traitement de contraintes souples ou a priorite, de contraintes incertaines ainsi que la prise en compte de parametres non-controlables. Ce modele a ensuite ete specialise aux problemes d'ordonnancement de production de type job-shop. Il permet de representer des dates de disponibilite, d'echeance et des durees d'operations flexibles ou imprecises. Les regles classiques d'analyse sous contraintes, les procedures de propagation de date et de construction incrementale d'ordonnancement ont facilement ete etendues a ce nouveau formalisme. Les outils de resolution issus de ce travail ont ete experimentes: il apparait que la prise en compte de la flexibilite d'un probleme de job-shop n'augmente pas le temps moyen de resolution, et peut dans certains cas le diminuer
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 textAbstract:
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 pendant la recherche. Cependant, les contraintes n-aires ont été peu étudiées. Nous proposons un solveur non-binaire composé d'une famille d'algorithmes résolution de type Forward Checking n-aire (nFC) et une famille d'algorithmes d'arc-consistance n-aire (nAC) qui comporte plusieurs versions. Comme la résolution séquentielle des CSP n-aires peut s'avérer coûteuse (probèmes NP-complets), le parallélisme permet de réduire le temps de calcul. Pour cela, nous exploitons essentiellement une méthode de parallélisation en mémoire partagée, basée sur la division de l'arbre de recherche en utilisant OpenMP. Nous appliquons et spécialisons les algorithmes proposés pour la résolution de problèmes académiques et de problèmes aléatoires non-binaires, ainsi que pour la résolution du problème du car-sequencing dans une formulation de CSP n-aire.
Books on the topic "Satisfaction de problèmes de contraintes"
1
Astous, Alain d'. Comportement du consommateur. 3rd ed. Montréal: Chenelière-éducation, 2010.
Find full text
2
auteur, Boulaire Christèle, Daghfous Naoufel auteur, and Balloffet Pierre 1966 auteur, eds. Comportement du consommateur. 4th ed. Montréal, Québec, Canada: Chenelière éducation, 2014.
Find full text
3
Comportement du consommateur. Montréal: Chenelière/McGraw-Hill, 2002.
Find full text
4
Foundations of Constraint Satisfaction (Computation in Cognitive Science). Academic Pr, 1993.
Find full text
5
La décentralisation financière en Afrique: succès, problèmes et contraintes. OECD, 2002. http://dx.doi.org/10.1787/9789264063242-fr.
Full text
6
Bazergui. Résistance des matériaux. Ecole Polytechnique Montreal, 1993.
Find full text
7
Résistance des matériaux. Ecole Polytecnique de, 2003.
Find full text
8
COMPORTEMENT DU CONSOMMATEUR. CHENELIERE, 2006.
Find full textBook chapters on the topic "Satisfaction de problèmes de contraintes"
1
Houdas, Alexandre. "Des contraintes de terrain aux problèmes d’interprétation." In Archéologie et fouilles en contexte difficile. Éditions de la Sorbonne, 2023. http://dx.doi.org/10.4000/books.psorbonne.111860.
Full text
2
Lodini, A., A. Baczmanski, K. Wierzbanowski, and J. M. Sprauel. "4 Évaluation et problèmes dans la détermination des contraintes." In Rayonnement synchrotron, rayons X et neutrons au service des matériaux, 57–114. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0863-2-007.
Full text
3
Lodini, A., A. Baczmanski, K. Wierzbanowski, and J. M. Sprauel. "4 Évaluation et problèmes dans la détermination des contraintes." In Rayonnement synchrotron, rayons X et neutrons au service des matériaux, 57–114. EDP Sciences, 2020. http://dx.doi.org/10.1051/978-2-7598-0863-2.c007.
Full text
4
SBAI, Ines, and Saoussen KRICHEN. "Tournées de véhicules avec contraintes de chargement : des méthodes de résolution." In Optimisation et apprentissage, 7–27. ISTE Group, 2023. http://dx.doi.org/10.51926/iste.9071.ch1.
Full textAbstract:
Ce chapitre combine deux des problèmes d'optimisation combinatoire les plus étudiés, le problème d'acheminement de véhicules capacitaires (CVRP) et le problème d'emballage de bacs en deux/trois dimensions (2/3D-BPP). Nous fournissons une revue actualisée des variantes du L-CVRP et analysons certaines des méthodes d'optimisation les plus populaires présentées dans la littérature existante. Parallèlement, nous discutons de leurs applications pour résoudre des problèmes concrets.
5
Bélanger, Claude, Roger Marcaurelle, Ariane Lazaridès, Myra Gravel Crevier, and Marie-France Lafontaine. "COMMUNICATION, RÉSOLUTION DE PROBLÈMES ET SATISFACTION CONJUGALE." In Les fondements de la psychologie du couple, 359–90. Presses de l'Université du Québec, 2017. http://dx.doi.org/10.2307/j.ctvt1shgw.19.
Full text
6
ALOIRD, J., J. P. FREIERMUTH, and J. BOISSIER. "Spécificités et contraintes du transport de patients lors des missions d’évacuations médicalisées par hélicoptère de manoeuvre." In Médecine et Armées Vol. 46 No.4, 331–38. Editions des archives contemporaines, 2018. http://dx.doi.org/10.17184/eac.7322.
Full textAbstract:
Les évacuations médicalisées de l’avant par hélicoptère de manoeuvre sont des missions particulières aussi bien sur le plan organisationnel que sur le plan technique. Ce maillon de la chaîne d’évacuation se base sur une alerte permanente avec un équipage, une équipe médicale et un hélicoptère dédié. Lors du déclenchement d’une évacuation, quatre phases se succèdent. Celles-ci sont dans l’ordre : une préparation du vol succincte, une phase de vol aller vers le blessé, une phase au sol avec les transmissions des données médicales et une phase retour pendant laquelle le blessé doit bénéficier des meilleurs soins. Cette mission assez particulière est soumise à plusieurs contraintes qui doivent être appréhendées correctement pour la mener à bien : des contraintes aéronautiques notamment les performances de l’aéronef, la météo, le bruit, les cinétoses ; des défis tactiques comme les communications ou les problèmes de vision nocturne ; et enfin des problématiques médicales avec un exercice dans un milieu restreint pouvant inclure la prise en charge simultanée de plusieurs blessés. Les différentes pistes d’améliorations passent probablement par un entraînement spécifique avec le stage de médicalisation tactique en hélicoptère de manoeuvre, une évolution des moyens de communication, une standardisation des procédures de protection du médecin au sol, et enfin une avancée dans les équipements médicaux et les traitements disponibles en vol.
7
Balasse, Marie, Matthieu Keller, Adrian Balasescu, Anne Tresset, and Philippe Chemineau. "Cycle de reproduction des ovins et rythme saisonnier de l’élevage : un schéma plurimillénaire bouleversé par la recherche agronomique." In Regards croisés: quand les sciences archéologiques rencontrent l'innovation, 25–50. Editions des archives contemporaines, 2017. http://dx.doi.org/10.17184/eac.3789.
Full textAbstract:
Ovins et caprins connaissent au cours de l’année des périodes de fertilité et d’infertilité pesant fortement sur les élevages, avec des conséquences sur l’organisation du travail et la disponibilité des productions. Des recherches visant à contrôler et maîtriser la reproduction des petits ruminants sont développées afin de s’affranchir de ces contraintes saisonnières. Elles portent actuellement sur l’utilisation des signaux socio-sexuels, comme une alternative aux traitements lumineux et hormonaux largement utilisés par les agriculteurs pour induire et synchroniser l’ovulation des femelles, mais présentant des problèmes sanitaires, environnementaux et sociétaux. « L’effet mâle », qui consiste en la réactivation de l’ovulation suite à l’introduction d’un mâle parmi des femelles en repos sexuel, est incontestablement une solution d’avenir intéressante pour la transformation des élevages actuels vers l’utilisation de techniques moins coûteuses, sans incidence sur l’environnement et favorisant le bien-être animal. En poursuivant l’objectif d’extraire l’éleveur de cette contrainte saisonnière, la recherche agronomique révolutionne un schéma millénaire. Plus de 10 500 ans nous séparent des premiers moutons domestiques. Le caractère saisonnier des naissances a pu peser fortement sur les élevages préhistoriques. Précisément, qu’en était-il ? L’archéozoologie est en mesure d’écrire cette histoire : elle utilise la biogéochimie isotopique pour lire dans les dents des animaux une information relative à leur saison de naissance. L’état des connaissances sur les moutons européens du VIe au IIIe millénaire avant notre ère confirme des naissances saisonnées, survenant sur 3 à 4 mois, plus tardivement aux latitudes élevées (59°N) qu’aux latitudes moyennes (43 à 48°N). La poursuite de cette recherche devrait permettre de renforcer ces schémas globaux contraints par l’environnement, et de préciser une variabilité imputable à des choix techniques. En décrivant cette trajectoire depuis les premiers temps de la domestication, l’archéozoologie replace la recherche agronomique dans une perspective de très longue durée. En outre, elle aidera peut-être à comprendre pourquoi la domestication a atténué mais n’a pas réussi à faire disparaître le saisonnement physiologique de la reproduction chez les ovins domestiques.
Reports on the topic "Satisfaction de problèmes de contraintes"
1
Giles Álvarez, Laura, Juan Carlos Vargas-Moreno, Alejandra Mejía, Aastha Patel, and Nerlyne Jean-Baptiste. Une approche spatiale pour analyser l’insécurité alimentaire dans le département du Nord-Ouest d’Haïti. Inter-American Development Bank, December 2022. http://dx.doi.org/10.18235/0004589.
Full textAbstract:
Cette étude présente une analyse de l’insécurité alimentaire et de ses facteurs sous-jacents dans le département du Nord-Ouest en Haïti. Ce département est l’un des plus vulnérable et le plus touché par l’insécurité alimentaire en Haïti, avec 55 % de la population ayant besoin d’une assistance urgente (IPC 2022). L’aide du Cadre intégré des phases de la sécurité alimentaire (IPC) et du Cadre de sécurité alimentaire (BID 2018) de la Banque Interaméricaine de développement (BID), cet article présente une analyse géo-spatiale, complétée par un examen d’autres facteurs socioéconomiques, pour donner un aperçu de ce qui aggrave cette crise alimentaire et des domaines les plus urgents à traiter. Les résultats montrent que le déclin de la production nationale - qui a été entravée par des infrastructures et des financements inadéquats, l’insécurité et les catastrophes naturelles - s’est produit parallèlement aux perturbations de la chane d’approvisionnement internationale, affectant les importations conjointement avec les recettes provenant de laide. L’ensemble de ces facteurs a un effet négatif sur la disponibilité de la nourriture. Les contraintes d’approvisionnement, les restrictions de mobilité, les chocs de prix et les risques pour les revenus durables ont également un impact négatif sur l’accès à la nourriture. Les difficultés d’accès à l’eau potable et aux infrastructures sanitaires, ainsi que le manque de diversité au niveau des régimes alimentaires, entravent également l’utilisation de la nourriture, décrite comme la disponibilité d’aliments de qualité nécessaires pour atteindre un statut nutritionnel adéquat. En outre, la stabilité alimentaire n’est pas garantie en raison des problèmes liés aux dotations naturelles de la région, au manque ou à la faible capacité des infrastructures d’irrigation, à la vulnérabilité aux chocs climatiques, aux fluctuations des prix et à l’insécurité. Sur la base de ces résultats, ce document recommande 23 actions visant à augmenter l’accès aux services de base, à promouvoir une nutrition adéquate, à soutenir une agriculture productive et durable et à accroître la résilience aux chocs et aux fluctuations inhérentes à l’écosystème alimentaire. Plus important encore, le déploiement efficace de ces mesures nécessitera une approche coordonnée à tous les niveaux administratifs de ltatocal et national, en collaboration avec le secteur privé et la communauté des donateurs.