Spelling suggestions: "subject:"fonctions dde"" "subject:"fonctions dee""
331 |
Etude des facteurs motivationnels influençant l’activité physique et la sédentarité de personnes atteintes de maladies chroniques en contexte de réhabilitation et post-réhabilitation / Motivational factors involved in the regulation of physical activity and sedentary behaviors among people with chronic diseases in rehabilitation and postrehabilitation contextsChevance, Guillaume 10 November 2017 (has links)
Parmi les personnes atteintes de maladies chroniques qui participent à des programmes de réhabilitation, deux tiers ne modifient pas leurs comportements à l’issue des interventions. Dans le domaine de l’activité physique et de la sédentarité, identifier les facteurs impliqués dans la régulation de ces comportements est donc crucial. En psychologie de la santé, les modèles contemporains indiquent que nos comportements sont le fruit de processus motivationnels à la fois explicites et implicites. Les processus explicites sont définis comme conscients et intentionnels ; à l’inverse, les processus implicites sont caractérisés par leur non-intentionnalité et leur caractère plutôt inconscient. A mi-chemin entre les domaines de la réhabilitation et la psychologie de la santé, les objectifs de cette thèse étaient (i) d’examiner le rôle de processus explicites et implicites dans la prédiction des comportements de l’activité physique et de la sédentarité, et (ii) d’étudier la malléabilité de ces variables motivationnelles en contexte de réhabilitation. Les résultats indiquent que les attitudes implicites sont associées avec les niveaux d’activité physique des participants, pendant les programmes et en post-réhabilitation. Les processus explicites (e.g., intentions) étudiés dans cette thèse n’étaient eux pas associés aux comportements. Sur le plan de la malléabilité des processus motivationnels, nos résultats mettent en évidence une amélioration significative mais minime de certaines variables au cours d’un programme de réhabilitation. Ces processus se sont toutefois montrés insensibles à une manipulation expérimentale délivrée en plus des programmes de réhabilitation. / Only two thirds of people living with chronic diseases and admitted for rehabilitation programs are sufficiently active in postrehabilitation. In the physical activity and sedentary behavior context, identifying the determinants of these behaviors is thus crucial. In the health psychology field, contemporary models indicate that people’s behaviors are regulated by two distinct motivational processes, defined as explicit and implicit. Explicit processes are intentional and conscious ; by contrast, implicit processes are defined as unintentional and less accessible to consciousness. The objectives of this thesis were (i) to examine the role of explicit and implicit processes in the prediction of physical activity and sedentary behaviors, and (ii) to study the malleability of these processes in rehabilitation context. Our results indicated that implicit attitudes, are significantly associated with participants’ physical activity levels, during and after rehabilitation programs. On the contrary, the explicit processes studied in this thesis were not significantly associated with physical activity or sedentary behaviors. Concerning the malleability of these processes, results highlighted significant but small favorable change of certains motivational variables during rehabilitation. Nonetheless, these motivational processes were not modified by an experimental intervention conducted during a rehabilitation program.
|
332 |
Fonctions de corrélation en théories supersymétriques / Correlation functions in N=4 super-Yang-Mills theoryChicherin, Dmitry 13 September 2016 (has links)
Dans cette thèse on étudie les (super)fonctions de corrélation à plusieurs points et à plusieursboucle du multiplets demi-BPS en théorie N = 4 super-Yang-Mills. Les fonctions de corrélationsont des objets dynamiques naturels à considérer dans toutes les théories conformes des champs.Elles sont des quantités finies et leur symétrie (super)conforme n’est pas brisée par des divergences.Elles contiennent des informations sur de nombreuses autres intéressantes quantités dynamiques dela théorie. Le produit opératoire engendre les règles de somme pour les fonctions à trois points et lesdimensions anormales. Dans la limite du cône de lumière, elles coïncident avec les boucles de Wilsonde lumière et avec des superamplitudes de diffusion. Cette dualité tient tant au niveau des intégralesdivergentes régularisés que au niveau de leurs intégrandes rationnels finis.La partie principale de la thèse est consacrée aux super-corrélateurs à plusieurs points au niveau Born du supermultiplet du tenseur de stress. Pour les étudier on utilise les règles de Feynman qui préservent une quantité de la supersymétrie. Donc, on reformule la théorie N = 4 SYM dans le superespace harmonique de Lorentz. On s’occupe de l’espace euclidien et on harmonise la moitié du groupe de Lorentz SU(2) × SU(2). La théorie est formulée en termes de deux demi-superchamps chiraux-analytique. L’action de la théorie est une somme de deux termes : l’action de Chern-Simons et une action non-polynomiale qui prend en compte les interactions. Puisque la formulation de l’action est chiral, la Ǭ-supersymétrie est réalisée d’un façon non-linéaire sur la paire de champs. L’action se simplifie considérablement dans la jauge axiale. On obtient les propagateurs correspondants et on formule les règles de Feynman en superspace harmonique de Lorentz. Afin d’étudier super-corrélateurs non-chiraux du supermultiplet de tenseur de stress on formule l’opérateur composite pertinent en termes de demi-superchamps chiraux-analytique ainsi. Au niveau chiral, on propose la construction par R-vertex du super-corrélateur chiral. Afin d’élucider la structure du super-corrélateur on réorganise les règles de Feynman harmoniques qui introduisent une nouvelle classe des invariants hors-shell nilpotent analytique qui sont des blocs de construction élémentaires de la super-corrélateur. Ensuite, on procède au secteur non-chiral et on constate que la dépendance de Ɵ̅ est pris en compte par une légère modification du R-vertex qui consiste à une modification des variables spatio-temporelles de la base chirale à la base analytique. Ainsi, le corrélateur non-chiral est exprimée en termes d’une classe assez particulière des invariants nilpotents non-chiraux. Dans la dernière partie de la thèse, on étudie les fonctions de corrélation à quatre points des opérateurs demi-BPS dans l’approximation de trois boucle dans la limite planaire. Cette étude est motivée par une conjecture basée sur intégrabilité pour les constantes de structure. A l’ordre de trois boucles toutes les approches de graphes de Feynman connus sont extrêmement inefficaces. Le principal obstacle est un grand nombre de diagrammes de Feynman pertinents. Cependant, le corrélateur est presque complètement fixé par ses propriétés élémentaires comme symétries, singularités et planairité. La structure de pôle et la symétrie super-conforme spécifient les intégrandes rationnelles des corrélateurs à un nombre de coefficients numériques. Les coefficients sont fixés par la planairité, la symétrie de croisement et le produit opératoire en cône de lumière des intégrandes avec diverses configurations de poids dans la limite par rapport à une paire de points. / In the present thesis we study the multi-point multi-loop (super)correlation functions of half-BPSmultiplets in N = 4 super-Yang-Mills theory. Correlation functions are natural dynamical objectsto consider in any Conformal Field Theory. They are finite quantities and their (super)conformalsymmetry is not broken by divergences. They contain information about many others interestingdynamical quantities of the theory. The Operator Product Expansion being applied to them producessum rules for three-point functions and anomalous dimensions. In the light-cone limit they coincidewith the light-like Wilson loops and scattering superamplitudes. This duality holds both at the levelof the regularized divergent integrals and at the level of their finite rational integrands.The main part of the thesis is devoted to multi-point Born level super-correlators of the stress-tensor supermultiplet. There exists a number of hints that such super-correlators are remarkable dynamicalquantities in N = 4 SYM. Studying the supercorrelators it is convenient to use the Feynman rulespreserving an amount of the supersymmetry. So, we reformulate the N = 4 SYM in the Lorentzharmonic superspace. We deal with Euclidean space and harmonize one half of the Lorentz groupSU(2) x SU(2). The theory is formulated in terms of two chiral-analytic semi-superfields one ofwhich is scalar and the other one is spinor. The action of the theory is a sum of two terms: theChern-Simons action describing the self-dual N = 4 SYM theory and a non-polynomial action whichtakes into account interactions. Since the formulation of the action is chiral the Ǭ-supersymmetry isnon-linearly realized on the pair of fields. The action considerably simplifies in the axial gauge. Wework out corresponding propagators and formulate Lorentz harmonic superspace Feynman rules. Inorder to study nonchiral supercorrelators of the stress-tensor supermultiplet we formulate the relevant composite operator in terms of the chiral-analytic semi-superfields as well.At the chiral level we propose the R-vertex construction of the chiral supercorrelator which turnsout to be rational at the Born level by construction. In order to elucidate the structure of thesupercorrelator we rearrange harmonic Feynman rules introducing a new class of off-shell analyticnilpotent (Grassmann degree two). They are simple building blocks of the super-correlator. Thenwe proceeded to the nonchiral sector and and that the dependence on Ɵ̅ is taken into account by aslight modification of the R-vertices. This modification of the R-vertices is equivalent to a change of the space-time variables from the chiral to analytic bases. So the non-chiral correlator is expressed in terms of a rather special class of non-chiral nilpotent invariants.In the last part of the thesis we study four-point correlation functions of half-BPS operators inthe three-loop approximation in the planar limit. This study is motivated by an integrability basedconjecture for the structure constants. At the three-loop order all known Feynman graph approachesare extremely inefficient. The main obstacle is a huge number of relevant Feynman diagrams andthe complexity of the corresponding loop integrals. However the correlator is almost completely fixedby its elementary properties like symmetries, singularities and planarity. The pole structure andthe super-conformal symmetry specify the rational integrands of the correlators up to a number ofnumerical coefficients. We fix these coefficients using planarity, the crossing symmetry and comparingthe light-cone OPE of the correlator integrands with various weight configurations in the light-likelimit with respect to a pair of points.
|
333 |
Les mangeurs urbains burkinabè, entre satisfaction et sécurisation alimentaires / Burkinabè urban eater between food satisfaction and food securitizationHéron, Raphaëlle 06 December 2016 (has links)
Le Burkina Faso, à l’instar d’autres pays sahélo-soudaniens, est touché par le phénomène de crises alimentaires récurrentes. Certaines sont plus médiatisées, notamment lorsque, comme en 2008-2009, elles touchent également les citadins qui voient leur pouvoir d’achat se restreindre fortement. Les recherches académiques et les travaux experts portant sur l’alimentation dans ces contextes sont marqués par un prisme médical-nutritionnel et rationnel-cartésien, privilégiant l’analyse des caractéristiques biologiques et sanitaires de l’alimentation et de ses contraintes économiques, au détriment d’autres aspects. Cette recherche doctorale en socio-anthropologie de l’alimentation, réalisée auprès des habitants de Ouagadougou et de Bobo-Dioulasso et d’acteurs de la sécurité alimentaire et nutritionnelle présents au Burkina-Faso, cherche à reconsidérer l’alimentation en contexte urbain burkinabè. La mobilisation du schéma de la satisfaction alimentaire, décliné autour de quatre fonctions de l’alimentation (physiologique, mais aussi sociale, identitaire, et sensorielle/hédonique) ainsi que des déterminants matériels et immatériels (socialité et sociabilité), permet d’approcher une vision holistique des systèmes de représentations alimentaires forgées par les individus, éclairant ainsi les pratiques alimentaires, ainsi que les transformations à l’oeuvre dans ces contextes urbains. / Burkina Faso, like other Sahelo-Sudanese countries, faces recurrent food crisis. Some are well covered by media, particularly when they also hit city-dwellers who see their purchasing power substantially decrease, as in 2008-2009. Academic or expert researches on food in such contexts are based on a medical, nutritional and rational-Cartesian prism highlighting the biological, sanitary and economic dimensions at the cost of others aspects. This doctoral research in the socio-anthropology of food examines the case of Ouagadougou and Bobo-Dioulasso dwellers, and food and nutritional security actors working in Burkina-Faso. It aims at reconsidering urban Burkinabè food. To do so, I suggest the use of a food satisfaction scheme declining four food functions (physiological, social, identitarian and sensorial/hedonistic) and material and immaterial determinants. This food satisfaction scheme offers a holistic perspective on the food representations systems built by eaters, shinning a new light on food practices and changes in these urban context.
|
334 |
Sur des propriétés des fonctions réelles arbitraires et leurs généralisationsGilbert, Hugues January 2004 (has links)
No description available.
|
335 |
Développement du raisonnement analogique : rôle de la composante éxécutive d'inhibition / The development of analogical reasoning : role of the executive component of inhibitionVezneva, Milena 24 October 2011 (has links)
Nous avons étudié le développement du raisonnement par analogie. La conception traditionnelle de ce développement est qu’il dépend de l’accroissement des connaissances des enfants (Gentner, 1983, 1988 ; Goswami & Brown, 1989, 1990). Nous l’avons abordé sous l’angle du développement des fonctions exécutives, en particulier - de la composante d’inhibition. La capacité d’inhibition permet la suppression des informations saillantes mais non pertinentes pour faire l’analogie. Elle est requise lors de la recherche de la solution analogique. Neuf études ont été réalisées dans le cadre de cette thèse. Nous avons utilisé une tâche classique d’analogie du type A : B :: C : ?. Le rôle de la capacité d’inhibition a été testé par la présence de distracteurs perceptifs ou sémantiques qui entrent en compétition avec la solution analogique. Ils doivent être inhibés lors de sa recherche. Les résultats montrent que les informations saillantes mais non pertinentes pour trouver la solution analogique interfèrent avec sa découverte ou sa construction. Par conséquent, les performances des enfants à la tâche d’analogie dépendraient du degré de développement de leurs fonctions exécutives. Ces résultats sont compatibles avec les résultats de Richland, Morrison & Holyoak (2006) qui expliquent les performances des enfants à une tâche d’analogie par les limitations dans leur fonctionnement exécutif. / We explored the development of the analogical reasoning. The traditional conception of this development is that it is dependent of knowledge accretion in children (Gentner, 1983, 1988; Goswami & Brown, 1989, 1990). We used a different approach which explains it as dependent of the development of the executive functions, particularly of the component of inhibition. The capacity of inhibition allows the suppression of the salient but irrelevant information for analogy-making in children. It is required while searching for the analogical solution. Nine studies involving a classical analogy-making task A : B :: C : ? were performed in this dissertation. The role of the capacity of inhibition was tested using perceptual or semantic distractors conflicting with the analogical solution. The distractors must be inhibited while searching for the analogical solution. Results show that all salient but irrelevant information for analogy-making interferes with the discovery or the construction of the analogical solution. Therefore, children’s performances of the analogy-making task depend on the degree of development of their executive functions. These results are consistent with the results of Richland, Morrison & Holyoak (2006) explaining children’s performances on an analogy-making task by the limitations of their executive functioning.
|
336 |
Réductibilité et théorie de Floquet pour des systèmes différenciels non linéaires / Reducibility and Floquet theory for nonlinear differential systemsBen Slimene, Jihed 25 March 2013 (has links)
On utilise la théorie de Floquet-Lin pour des systèmes différentiels linéaires quasi- périodiques pour établir des résultats d'existence et d'unicité et de dépendance continue des systèmes différentiels non linéaires quasi-périodiques. Et dans un second temps on établit un résultat de réductibilité d'un système différentiel linéaire presque-périodique en un système différentiel linéaire triangulaire supérieur avec conservation du nombre des solutions presque-périodiques indépendantes. Ensuite, un résultat d’existence et d’unicité et de dépendance continue des systèmes différentiels non linéaires presque-périodiques par rapport au terme du contrôle. / We use a Floquet theory for quasi-periodic linear ordinary differential equations due to Zhensheng Lin to obtain results, of existence, unicity, continuous and differentiable dependence, on the quasi-periodic solutions of quasi-periodic nonlinear ordinary differential equations. in a second time we establish the reducibility of linear systems of almost periodic differential equations into upper triangular systems of a. p. differential equations. This is done while the number of independent a. p. solutions is conserved. We prove existence and uniqueness of a. p. solutions of a nonlinear system with an a. p. linear part. Also we prove the continuous dependence of a. p. solutions of a nonlinear system with respect to an a. p. control term.
|
337 |
Influence du support environnemental et des facteurs de réserve sur le déclin de la mémoire épisodique au cours du vieillissement normal : une approche comportementale et électrophysiologique. / Influence of environmental support and reserve factors on episodic memory deficits during aging : a behavioral and electrophysiological approachAngel, Lucie 02 July 2009 (has links)
L’objectif général de cette thèse était d’explorer le déclin des capacités de mémoire épisodique et ses corrélats cérébraux au cours du vieillissement normal. Nous avons cherché à examiner de quelle façon des facteurs environnementaux et des caractéristiques individuelles pouvaient moduler les effets de l’avancée en âge sur la mémoire épisodique, en combinant une approche comportementale et une approche électrophysiologique. Nous avons enregistré les potentiels évoqués pendant que des sujets jeunes et âgés effectuaient une tâche de rappel indicé. Les données ont permis de mettre en évidence qu’une augmentation de la quantité de support de récupération éliminait les déficits mnésiques des sujets âgés par rapport aux jeunes et que ce bénéfice du support se reflétait au niveau électrophysiologique. D’autre part, les résultats ont révélé que les différences liées à l’âge sur la mémoire épisodique étaient moins prononcées pour les individus possédant une forte capacité de réserve, que ce soit au niveau comportemental ou électrophysiologique. Ce travail de recherche incite à développer une approche interactive du vieillissement cognitif et neurocognitif. / The main goal of this thesis was to explore the decline of episodic memory abilities and its neural correlates during aging. We examined to what extent environmental factors and individual characteristics may modulate the effects of aging on episodic memory, by combining a behavioral and an electrophysiological approach. Event-related potentials were recorded while young and older adults performed a word-stem cued recall task. Data revealed that memory deficits of older relative to young adults disappeared when a greater support was provided at retrieval and that this benefit was reflected through the electrophysiological correlates of retrieval success. Moreover, results indicated that age-related differences in episodic memory were less important for individuals with a high reserve (high educational level or high executive functioning level), at a behavioral and electrophysiological level. This work incites to develop an interactive approach of cognitive and neurocognitive aging, considering the influence environmental conditions and individual characteristics
|
338 |
Analyse du choix des investissements : options réelles et modes de production / Investment analysis : real options and production functionsBouasker, Olfa 06 December 2010 (has links)
Cette thèse traite du choix optimal des investissements à la lumière de la théorie des options réelles et de la prise en compte des différents modes de production. Nous proposons dans un premier temps plusieurs extensions du modèle d'investissement irréversible de Pindyck (1988): introduction de processus plus complexes pour décrire l'évolution de la valeur de marché et de fonctions de production très générales pour décrire l'activité de la firme ; prise en compte de l'aversion au risque dans un cadre d'optimisation dynamique. Dans un second temps, nous montrons comment les options d'échange de Margrabe (1978) permettent de résoudre certains problèmes de choix d'investissement. Nous en proposons diverses extensions et illustrations / Cette thèse traite du choix optimal des investissements à la lumière de la théorie des options réelles et de la prise en compte des différents modes de production. Nous proposons dans un premier temps plusieurs extensions du modèle d'investissement irréversible de Pindyck (1988): introduction de processus plus complexes pour décrire l'évolution de la valeur de marché et de fonctions de production très générales pour décrire l'activité de la firme ; prise en compte de l'aversion au risque dans un cadre d'optimisation dynamique. Dans un second temps, nous montrons comment les options d'échange de Margrabe (1978) permettent de résoudre certains problèmes de choix d'investissement. Nous en proposons diverses extensions et illustrations
|
339 |
Évolution des liens entre théorie de l'esprit, syntaxe et fonctions exécutives au cours du développement chez les personnes avec ou sans troubles du spectre autistique / Evolution of the links between theory of mind, syntax, and executive functions during development in children and adults with or without autism spectrum disordersBurnel, Morgane 01 December 2017 (has links)
Le déficit de Théorie de l’Esprit (TE), c'est-à-dire de la capacité à prédire et à interpréter le comportement d’autrui sur la base des états mentaux (e.g., pensées, désirs, croyances) qu’on lui prête, reste un problème cognitif majeur dans les Troubles du Spectre Autistique (TSA). D'après la littérature différentes composantes syntaxiques et exécutives sont susceptibles d’intervenir dans la compréhension des états mentaux. Dans ce travail de thèse nous nous sommes intéressées à l’apport de la syntaxe d’enchâssement (i.e., Phrases Complétives, PC ; Phrases Relatives, PR) ainsi qu’au rôle des Fonctions Exécutives (FE) telles que l’inhibition, la flexibilité et la Mémoire de Travail (MT). Les objectifs principaux de cette thèse étaient : (1) Évaluer le développement de la TE au-delà de l’attribution de Fausses Croyances (FC) et indépendamment du langage chez les enfants avec ou sans TSA, (2) Déterminer quelles composantes syntaxiques et exécutives sont les plus utiles à la TE, (3) Évaluer l’évolution des liens entre syntaxe, Fonctions Exécutives (FE) et TE au cours du développement et (4) Évaluer l’existence de déficits syntaxiques et exécutifs ainsi que la nature des stratégies de compensation de la TE dans les TSA. Sur la base de nos résultats, à plus long terme nous souhaitons développer des protocoles de remédiation de la TE ciblant les fonctions cognitives qui la sous-tendent en fonction de l’âge des individus. Pour cela, nous avons mené plusieurs études comportementales chez des enfants et des adultes avec ou sans TSA en utilisant des tâches de TE à la demande verbale et exécutive réduite. Nos travaux ont mené à la créaction d’un outil permettant d’évaluer ledéveloppement de la TE au-delà des tâches de FC et en minimisant l’impact des variables confondues telles que le langage. Ils ont également permis de mettre en évidence une implication particulière des PC et de la MT pour la TE pendant l’enfance mais pas à l’âge adulte, suggérant que ces composantes cognitives sont utiles au développement de la TE plutôt qu’au raisonnement de TE en tant que tel. Nos résultats n’ont pas toujours permis de mettre en évidence l’existence de déficits syntaxiques ou exécutifs dans les TSA. Ceci suggère que ces déficits ne sont peut-être pas présents chez tous les individus avec TSA et soulèvent également l’importance d’utiliser des tâches écologiques pour évaluer la présence de déficits subtils. Par ailleurs, l’étude de la nature des stratégies de compensation de la TE dans les TSA s’est avérée plus compliquée que prévue. Nous suggérons que cela provient de la difficulté à identifier précisément les individus qui les mettent en oeuvre. / Theory of Mind (ToM), that is to say the ability to predict and interpret others’ behavior based on their mental states (e.g., thoughts, desires, beliefs) is affected in Autism Spectrum Disorders (ASD). According to the literature, several syntactic and executive abilities are likely to be implied in mental state understanding. In this thesis, we were interested in the role of the syntax of embedding (i.e., Complement Sentences, CS; Relative Clause Sentences, RCS) and in the role of Executive Functions (EF) such as inhibition, flexibility and Working Memory (WM). The main goals of this thesis were to (1) Assess ToM development beyond False Belief (FB) attribution and independently from language in children with or without ASD, (2) Determine the syntactic and executive components that are the most useful for ToM, (3) Highlight the evolution of the links between syntax, Executive Functions (EF) and ToM during development (4) Identify the existence of syntactic and executive deficits, as well as the nature of compensation strategies for ToM in ASD. The long term goal was to allow the development of remediation protocols for ToM targeting cognitive abilities which underlie it depending on people’s age. For that purpose, we ran several behavioral studies in children and adults with or without ASD using ToM tasks entailing reduced verbal and executive demands. Our work lead to the creation of a tool enabling the assessment of ToM development beyond FB tasks while minimizing the impact of confounding variables such as language. Our findings highlighted a particular role of CS and WM in ToM during childhood but not during adulthood, suggesting that these cognitive abilities are useful for ToM development rather than ToM reasoning per se. Our results did not always highlight the existence of syntactic and executive deficits in ASD and thus illustrated the marked heterogeneity of these skills in this population but also importance of using ecological tasks to assess subtle deficits. Moreover, the study of the nature of compensation strategies for ToM in ASD turned out to be more challenging than expected and we propose that this may have resulted from the difficulty to precisely identify peoplewho implement them.
|
340 |
Strong consistencies for weighted constraint satisfaction problems / Cohérences fortes pour les problèmes de satisfaction de contraintes pondéréesNguyen, Thi Hong Hiep 15 January 2015 (has links)
Cette thèse se focalise sur l'étude de cohérences locales fortes afin de résoudre des problèmes d'optimisation sur des réseaux de fonctions de coûts (ou réseaux de contraintes pondérées). Ces méthodes fournissent le minorant nécessaire pour des approches de type "Séparation-Evaluation". Nous étudions dans un premier temps la cohérence d'Arc virtuelle (VAC), une des plus fortes cohérences d'arcs du domaine, qui est établie via l'établissement de la cohérence d'arc dure dans une séquence de réseaux de contraintes classiques. L'algorithme itératif pour établir VAC est amélioré via l'introduction d'une incrémentalité accrue, exploitant la cohérence d'arc dynamique. La nouvelle méthode est aussi capable de maintenir VAC efficacement pendant la recherche lorsque les réseaux de contraintes pondérées sont dynamiquement modifiés par les opérations de branchement. Dans une seconde partie, nous nous intéressons à des cohérences de domaines plus fortes, inspirées de cohérences similaires dans les réseaux de contraintes classiques (cohérence de chemin inverse, réduite ou Max-réduite). Pour chaque cohérence dure, plusieurs cohérences souples ont été proposées pour les réseaux de contraintes pondérées. Les nouvelles cohérences fournissent un minorant plus fort que celui des cohérences d'arc souples en traitant les triplets de variables connectées deux à deux par des fonctions de coûts binaires. Dans cette thèse, nous étudions les propriétés des nouvelles cohérences, les implémentons et les testons sur une variété de problèmes. / This thesis focuses on strong local consistencies for solving optimization problems in cost function networks (or weighted constraint networks). These methods provide the lower bound necessary for Branch-and-Bound search. We first study the Virtual arc consistency, one of the strongest soft arc consistencies, which is enforced by iteratively establishing hard arc consistency in a sequence of classical Constraint Networks. The algorithm enforcing VAC is improved by integrating the dynamic arc consistency to exploit its incremental behavior. The dynamic arc consistency also allows to improve VAC when maintained VAC during search by efficiently exploiting the changes caused by branching operations. Operations. Secondly, we are interested in stronger domain-based soft consistencies, inspired from similar consistencies in hard constraint networks (path inverse consistency, restricted or Max-restricted path consistencies). From each of these hard consistencies, many soft variants have been proposed for weighted constraint networks. The new consistencies provide lower bounds stronger than soft arc consistencies by processing triplets of variables connected two-by-two by binary cost functions. We have studied the properties of these new consistencies, implemented and tested them on a variety of problems.
|
Page generated in 0.0738 seconds