Les entreprises de transport font face à des problèmes de taille grandissante où l'utilisation de transbordement peut avoir un impact significatif sur les coûts. ILOG TPO est un logiciel capable de résoudre de tels problèmes, mais il lui est difficile de prendre de bonnes décisions concernant le transbordement. De plus, le processus de résolution d'ILOG TPO est basé sur la recherche locale, et il peut être aidé pour certaines décisions globales comme le transbordement. Cette thèse se place dans ce contexte, et son objectif est d'aider ILOG TPO à trouver de meilleures solutions. Pour cela, une formulation complète est d'abord proposée pour résoudre les plus petites instances, et avec une technique de plans coupants, les solutions optimales sont généralement trouvées en un temps raisonnable. Ensuite, un algorithme à deux phases qui inclut un programme en variables mixtes (MIP) sur une relaxation de type réseau du problème est donné pour de plus grandes instances. Cet algorithme est une coopération entre le MIP et ILOG TPO, où le MIP donne à ILOG TPO, pour chaque ordre de transport, le chemin de hubs par lequel il devrait être acheminé. Cette heuristique trouve des solutions similaires à ILOG TPO seul, mais le temps de calcul est réduit de façon significative.

La connaissance de la tension dans les câbles de pont est un élément de diagnostic important, tant à l'échelle du câble qu'à celle de l'ouvrage dont il fait partie.Le présent travail de thèse propose une méthode d'évaluation de la tension parméthode inverse à partir d'une formulation variationnelle mixte de câble géométriquement exact permettant de coupler simplement et à bas coût un modèle universel de câble et des capteurs d'utilisation courante tels que des jauges de déformation et des capteurs de déplacement. Contrairement à de nombreuses méthodes existantes, la méthode pésentée ne nécessite pas une connaissance fine des paramètres du câble pour évaluer sa tension.Les choix de modélisation faits sont motivés par une étude approfondie des différentes typologies des câbles présents sur ouvrage et par une étude bibliographique qui tente de synthétiser l'immense littérature disponible dans le domaine des câbles. La modélisation retenue est issue de la théorie des lignes déformables des frères Cosserat, dont nous présentons les variantes avec et sans rigidité de flexion.Les moyens d'essai utilisés pour la validation expérimentale de la méthode mise au point ont été conçus et réalisés au cours du présent travail. Le montage expérimental imaginé permet d'appliquer la méthode inverse sur un câble montoron multicouches de 21 m de long et 22 mm de diamètre. Les essais sont réalisés à 6 différents niveaux de tension échelonnés par paliers de 30 kN de 55 kN à 205 kN. Ils montrent l'efficacité de la méthode sur le câble testé et la pertinence de son déploiement à venir sur d'autres typologies de câbles / Knowledge of the tension in bridge cables is important not only to diagnostic the cable itself but also the construction it belongs to.The work presented in this thesis proposes to evaluate the tension of a geometrically exact cable using a static inverse method from a mixed variational formulation, by coupling simply and cheaply a universal cable model with usual sensors, such as displacement sensors and strain gauges. Contrarily to existing methods, a good knowledge of the cable's parameters, such as it length or weight per unit length, is not required.Combining a thorough study of various cable typologies encountered on bridges and the vast amounts of material available in the bibliography covering cables, lead to the modeling following the elastic theory of rods developed by the Cosserat brothers, François and Eugène, elaborating on their theory of rods with and without flexural stiffness.The experimental apparatus, designed and built in the course of this study, allowed to successfully validate the developed inverse method on a multilayered strand cable 21 m long and 22 mm in diameter at several tension levels. The universal aspect of the model introduced and its successful validation encourages its implementation to other cable typologies

Le travail dans cette thèse a consisté à l'étude de la propagation des ondes, en particulier la considération d'un problème de cloaking d'une part et d'un problème inverse d’identification de fissure d'autre part. Nous nous intéressons particulièrement à appliquer une stratégie qui est basé sur un changement de variable pour rendre un objet invisible, la validation numérique des résultats de ce problème a été réalisée par la librairie éléments finies XLiFE++. L'analyse de différents aspects mathématiques du problème de cloaking pour une équation elliptique non linéaire a fait l'objet du chapitre deux. La détermination de l'opérateur Dirichlet-Neumann associé à l'opérateur quasi-linéaire nous a permis d'adapter la technique de transformation utilisé pour le cadre des équations différentielles elliptiques linéaire afin de définir la notion de cloaking pour un problème non linéaire. Pour la dernière partie nous nous sommes intéressés à la reconstruction de fissures pour un problème thermique, pour cela un lien entre l'écart à la réciprocité et la transformée de Fourier du saut de la température à travers la fissure a été établi, ce qui nous a amené à développer un algorithme rapide pour la résolution numérique. / We are concerned with the study of the propagation of waves, in particular the consideration of a cloaking problem on the one hand and of a problem of cracks reconstruction on the second hand. We focus more particularly in applying a strategy that is based on a change of variable to cloak an object. The validation with numerical results has been achieved by the nite element library XLiFE++. The analysis of different mathematical aspects of the cloaking problem for a quasilinear elliptic equation has been the subject of chapter two. The determination of the Dirichlet-Neumann operator associated with the quasilinear operator allowed us to adapt the transformation technique used for the frame-work of linear elliptic differential equations to define the notion of cloaking for our nonlinear problem. For the last part we are interested in crack reconstruction for a thermal problem. For that, a link between the reciprocity gap and the Fourier transform of the temperature jump through the cracks was established, which has led to the development of a fast algorithm for numerical resolution.

Les déplacements cellulaires, collectifs ou individuels, sont essentiels pour assurer des fonctions fondamentales de l'organisme (réponse immunitaire, morphogenèse), mais jouent également un rôle crucial dans le développement de certaines pathologies (invasion métastatique).Les processus cellulaires à l'origine du déplacement forment une activité complexe, auto-organisée et fortement multi-échelle en temps mais aussi en espace. Mettre en évidence des principes généraux de la migration est donc un enjeu majeur. Dans cette thèse, nous nous intéressons à la construction de modèles de migration individuelle qui prennent en compte ce caractère multi-échelle de manière minimale.Dans une première partie, nous nous intéressons à des modèles particulaires. Nous décrivons des processus intracellulaires clés de la migration de manière discrète au moyen de processus de population. Puis, par une renormalisation en grand nombre d'individus, taille infinitésimale et dynamique accélérée, nous obtenons des équations de dynamique continue et stochastique, permettant de faire le lien entre la dynamique intracellulaire et le déplacement macroscopique.Nous nous confrontons d'abord à la situation d'un leucocyte se déplaçant dans une artère, et développant des liaisons de différentes natures avec les molécules de la paroi, jusqu'à éventuellement s'arrêter. La dynamique de formation de liaisons est décrite par un processus stochastique de type Naissance et Mort avec Immigration. Ces liaisons correspondent à des forces de résistance au mouvement. Nous obtenons explicitement le temps d'arrêt moyen de la cellule.Puis, nous nous intéressons à la reptation cellulaire, qui se produit grâce à la formation d'excroissances au bord de la cellule, appelées protrusions, qui avancent sur le substrat et exercent des forces de traction. Nous modélisons cette dynamique au moyen d'un processus de population structurée par l'orientation de la protrusion. Le modèle continu limite obtenu peut être étudié pour la migration 1D, et donne lieu à une équation de Fokker-Planck sur la distribution de probabilité de la population de protrusion. L'étude d'une configuration stationnaire permet de mettre en avant une dichotomie entre un état non motile et un état de déplacement directionnel.Dans une seconde partie, nous construisons un modèle déterministe minimal de migration dans un domaine discoïdal non déformable. Nous nous basons sur l'idée selon laquelle les structures responsables de la migration renforcent la polarisation de la cellule, ce qui favorise en retour un déplacement directionnel. Cette boucle positive passe par le transport d'un marqueur moléculaire dont la répartition inhomogène caractérise un état polarisé.Le modèle comporte un problème de convection-diffusion sur la concentration en marqueur, où le champs d'advection correspond à la vitesse d'un fluide de Darcy modélisant le cytosquelette. Son caractère actif est porté par des termes de bord, ce qui fait l'originalité du modèle.Du point de vue analytique, le modèle 1D présente une dichotomie face à une masse critique. Dans les cas sous-critique et critique, il est possible de montrer l'existence globale de solutions faibles, ainsi que la convergence à taux explicite vers l'unique état stationnaire correspondant à un état non polarisé. Au delà de la masse critique et pour des masses intermédiaires, nous mettons en évidence deux états stationnaires supplémentaires correspondant à des profils polarisés. De plus, pour des conditions initiales assez asymétrique, nous démontrons l'apparition d'un blow-up en temps fini.Du point de vue numérique, des tests numériques en 2D sont effectués en volumes finis (Matlab) et éléments finis (FreeFem++). Ils permettent de mettre en évidence à nouveau des états motiles et non motiles. L'effet de perturbations stochastiques est étudié, permettant d'aborder des cas de réponse à des signaux extérieurs chimique (chimiotactisme) ou mécanique (obstacle). / Collective or individual cell displacements are essential in fundamental physiological processes (immune response, embryogenesis) as well as in pathological developments (tumor metastasis). The intracellular processes responsible for cell motion have a complex self-organized activity spanning different time and space scales. Highlighting general principles of migration is therefore a challenging task.In a first part, we build stochastic particular models of migration. To do so, we describe key intracellular processes as discrete in space by using stochastic population models. Then, by a renormalization in large population, infinitesimal size and accelerated dynamics, we obtain continuous stochastic equations for the dynamics of interest, allowing a relation between the intracellular dynamics and the macroscopic displacement.First, we study the case of a leukocyte carried by the blood flow and developing adhesive bonds with the artery wall, until an eventual stop. The binding dynamics is described by a stochastic Birth and Death with Immigration process. These bonds correspond to resistive forces to the motion. We obtain explicitly the mean stopping time of the cell.Then, we study the case of cell crawling, that happens by the formation of protrusions on the cell edge, that grow on the substrate and exert traction forces. We describe this dynamics by a structured population process, where the structure comes from the protrusions' orientations. The limiting continuous model can be analytically studied in the 1D migration case, and gives rise to a Fokker-Planck equation on the probability distribution for the protrusion density. For a stationary profile, we can show the existence of a dichotomy between a non motile state and a directional displacement state.In a second part, we build a deterministic minimal migration model in a discoïdal cell domain. We base our work on the idea such that the structures responsible for migration also reinforce cell polarisation, which favors in return a directional displacement. This positive feedback loop involves the convection of a molecular marker, whose inhomogeneous spatial repartition is characteristic of a polarised state.The model writes as a convection-diffusion problem for the marker's concentration, where the advection field is the velocity field of the Darcy fluid that describes the cytoskeleton. Its active character is carried by boundary terms, which makes the originality of the model.From the analytical point of vue, the 1D model shows a dichotomy depending on a critical mass for the marker. In the subcritical and critical cases, it is possible to show global existence of weak solutions, as well as a rate-explicit convergence of the solution towards the unique stationary profile, corresponding to a non-motile state. Above the critical mass, for intermediate values, we show the existence of two additional stationary solutions corresponding to polarised motile profiles. Moreover, for asymmetric enough initial profiles, we show the finite time apparition of a blowup.Studying a more complex model involving activation of the marker at the cell membrane permits to get rid of this singularity.From the numerical point of vue, numerical experiments are led in 2D either in finite volumes (Matlab) or finite elements (FreeFem++) discretizations. They allow to show both motile and non motile profiles. The effect of stochastic fluctuations in time and space are studied, leading to numerical simulations of cases of responses to an external signal, either chemical (chemotaxis) or mechanical (obstacles).

Nous sommes intéressés dans cette thèse par l'analyse de la diffraction directe et inverse des ondes par des couches infinies périodiques localement perturbées à une fréquence fixe. Ce problème a des connexions avec le contrôle non destructif des structures périodiques telles que des structures photoniques, des fibres optiques, des réseaux, etc. Nous analysons d'abord le problème direct et établissons certaines conditions sur l'indice de réfraction pour lesquelles il n'existe pas de modes guidés. Ce type de résultat est important car il montre les cas pour lesquels les mesures peuvent être effectuées par exemple sur une couche au dessus de la structure périodique sans perdre des informations importantes dans la partie propagative de l'onde. Nous proposons ensuite une méthode numérique pour résoudre le problème de diffraction basée sur l'utilisation de la transformée de Floquet-Bloch dans les directions de périodicité. Nous discrétisons le problème de manière uniforme dans la variable de Floquet-Bloch et utilisons une méthode spectrale dans la discrétisation spatiale. La discrétisation en espace exploite une reformulation volumétrique du problème dans une cellule (équation intégrale de Lippmann-Schwinger) et une périodisation du noyau dans la direction perpendiculaire à la périodicité. Cette dernière transformation permet d'utiliser des techniques de type FFT pour accélérer le produit matrice-vecteur dans une méthode itérative pour résoudre le système linéaire. On aboutit à un système d'équations intégrales couplées (à cause de la perturbation locale) qui peuvent être résolues en utilisant une décomposition de Jacobi. L'analyse de la convergence est faite seulement dans le cas avec absorption et la validation numérique est réalisées sur des exemples 2D. Pour le problème inverse, nous étendons l'utilisation de trois méthodes d'échantillonnage pour résoudre le problème de la reconstruction de la géométrie du défaut à partir de la connaissance de données mutistatiques associées à des ondes incidentes planes en champ proche (c.à.d incluant certains modes évanescents). Nous analysons ces méthodes pour le problème semi-discrétisée dans la variable Floquet-Bloch. Nous proposons ensuite une nouvelle méthode d'imagerie capable de visualiser directement la géométrie du défaut sans savoir ni les propriétés physiques du milieux périodique, ni les propriétés physiques du défaut. Cette méthode que l'on appelle imagerie-différentielle est basée sur l'analyse des méthodes d'échantillonnage pour un seul mode de Floquet-Bloch et la relation avec les solutions de problèmes de transmission intérieurs d'un type nouveau. Les études théoriques sont corroborées par des expérimentations numériques sur des données synthétiques. Notre analyse est faite d'abord pour l'équation d'onde scalaire où le contraste est sur le terme d'ordre inférieur de l'opérateur de Helmholtz. Nous esquissons ensuite l'extension aux cas où la le contraste est également présent dans l'opérateur principal. Nous complémentons notre travail par deux résultats sur l'analyse du problème de diffraction pour des matériaux périodiques ayant des indices négatifs. Nous établissons en premier le caractère bien posé du problème en 2D dans le cas d'un contraste est égal à -1. Nous montrons également le caractère Fredholm de la formulation Lipmann-Schwinger du problème en utilisant l'approche de T-coercivité dans le cas d'un contraste différent de -1. / We are interested in this thesis by the analysis of scattering and inverse scattering problems for locally perturbed periodic infinite layers at a fixed frequency. This problem has connexions with non destructive testings of periodic media like photonics structures, optical fibers, gratings, etc. We first analyze the forward scattering problem and establish some conditions under which there exist no guided modes. This type of conditions is important as it shows that measurements can be done on a layer above the structure without loosing substantial informations in the propagative part of the wave. We then propose a numerical method that solves the direct scattering problem based on Floquet-Bloch transform in the periodicity directions of the background media. We discretize the problem uniformly in the Floquet-Bloch variable and use a spectral method in the space variable. The discretization in space exploits a volumetric reformulation of the problem in a cell (Lippmann-Schwinger integral equation) and a periodization of the kernel in the direction orthogonal to the periodicity. The latter allows the use of FFT techniques to speed up Matrix-Vector product in an iterative to solve the linear system. One ends up with a system of coupled integral equations that can be solved using a Jacobi decomposition. The convergence analysis is done for the case with absorption and numerical validating results are conducted in 2D. For the inverse problem we extend the use of three sampling methods to solve the problem of retrieving the defect from the knowledge of mutistatic data associated with incident near field plane waves. We analyze these methods for the semi-discretized problem in the Floquet-Bloch variable. We then propose a new method capable of retrieving directly the defect without knowing either the background material properties nor the defect properties. This so-called differential-imaging functional that we propose is based on the analysis of sampling methods for a single Floquet-Bloch mode and the relation with solutions toso-called interior transmission problems. The theoretical investigations are corroborated with numerical experiments on synthetic data. Our analysis is done first for the scalar wave equation where the contrast is the lower order term of the Helmholtz operator. We then sketch the extension to the cases where the contrast is also present in the main operator. We complement our thesis with two results on the analysis of the scattering problem for periodic materials with negative indices. Weestablish the well posedness of the problem in 2D in the case of a contrast equals -1. We also show the Fredholm properties of the volume potential formulation of the problem using the T-coercivity approach in the case of a contrast different from -1.

L'expérience sociale en bas âge constitue un précurseur des capacités adaptatives futures. Le but général de cette étude est, dans un premier temps, de mieux comprendre certaines caractéristiques biosocioécologiques associées au développement de l'enfant, c'est-à-dire le style de résolution de problèmes des mères et des enseignantes et dans un deuxième temps de les relier aux habiletés de résolution de problèmes interpersonnels de l'enfant de maternelle, en considérant notamment le sexe de l'enfant. Plus précisément, cette étude tente d'analyser l'influence unique et conjointe des stratégies de résolution de problèmes des mères et des enseignantes sur le traitement de l'information sociale de l'enfant de la maternelle. Les habiletés de résolution de problèmes des adultes (mères et enseignantes) sont évaluées à l'aide du "Means-Ends Problem Solving" (Cummings, Murray et Martin, 1989), celles des enfants par le "Preschool Interpersonal Problem Solving" (Spivack et Shure, 1974). Parmi les styles de résolution de problèmes possibles en ce qui concerne les adultes: les styles analytique, affectif, comportemental et mixte. Les résultats démontrent que les enseignantes utilisent davantage le style mixte tandis que les mères préconisent davantage le style analytique. Dans les deux contextes, les filles ont un plus grand nombre de stratégies agonistiques que les garçons lorsque la mère est de style affectif alors que pour les garçons, la mère de style analytique amène l'enfant à élaborer un plus grand nombre de stratégies. L'enseignante de style analytique ou affectif encourage les filles à élaborer un plus grand nombre de stratégies (dans les deux contextes relationnels), alors que pour les garçons, les styles comportemental ou mixte sont les plus bénéfiques. Les résultats du lien synergétique qui unit la mère, l'enseignante et l'enfant démontrent que le groupe mésosystémique 2 (mère de style analytique et enseignant de style affectif) présente moins de solutions prosociales dans le contexte pair que le groupe mésosystémique l, 3 et 7. Également, ce groupe mésosystémique 2 (mère de style analytique et enseignante de style affectif) a plus de solutions agonistiques dans le contexte pair que ceux du groupe l, 3, 4 et 5. Ces résultats seront discutés dans la perspective biosocioécologique de Bronfenbrenner.

La présente recherche vise à documenter les contradictions présentes dans le système d'enseignement de la résolution de problèmes de 3 enseignants du troisième cycle du primaire ainsi que de 4 enseignants du premier cycle du secondaire. En effet, la résolution de problèmes fait partie du portrait de l'éducation des mathématiques depuis le début du vingtième siècle (Lajoie & Bednarz, 2012, 2014). Par contre, aujourd'hui les définitions et les conseils fournis aux enseignants pour les aider à planifier l'enseignement de la résolution de problèmes, laisse place à plusieurs interprétations. Nous nous sommes demandés en quoi consistait l'enseignement de la résolution de problèmes pour les enseignants. Pour y parvenir, nous avons adapté le cadre méthodologique proposé pour la mise en place d'un laboratoire du changement (Virkkunen & Newnham, 2013). C'est dans ce contexte que nous avons planifié quatre séminaires pour rencontrer des enseignants du primaire et du secondaire. Notre analyse a mené à l'identification de contradictions dans le système d'activité d'enseignement de la résolution de problèmes. Ces contradictions sont : à la communication entre les enseignants; à la relation entre les enseignants et les parents; à l'implantation de la culture mathématique; et à la mise en place de règles pour favoriser le travail d'équipes en classe.

Le problème de tournées de véhicules est un des problèmes d’optimisation combinatoire les plus connus et les plus difficiles. Il s’agit de déterminer les tournées optimales pour une flotte de véhicules afin de servir un ensemble donné de clients. Dans les problèmes classiques de transport, chaque client est normalement servi à partir d’un seul nœud (ou arc). Pour cela, on définit toujours un ensemble donné de nœuds (ou arcs) obligatoires à visiter ou traverser, et on recherche la solution à partir de cet ensemble de nœuds (ou arcs). Mais dans plusieurs applications réelles où un client peut être servi à partir de plus d’un nœud, (ou arc), les problèmes généralisés qui en résultent sont plus complexes. Le but principal de cette thèse est d’étudier trois problèmes généralisés de tournées de véhicules. Le premier problème de la tournée sur arcs suffisamment proche (CEARP), comporte une application réelle intéressante en routage pour le relevé des compteurs à distance ; les deux autres problèmes, problème de tournées couvrantes multi-véhicules (mCTP) et problème généralisé de tournées sur nœuds (GVRP), permettent de modéliser des problèmes de conception des réseaux de transport à deux niveaux. Pour résoudre ces problèmes, nous proposons une approche exacte ainsi que des métaheuristiques. Pour développer la méthode exacte, nous formulons chaque problème comme un programme mathématique, puis nous construisons des algorithmes de type branchement et coupes. Les métaheuristiques sont basées sur le ELS (ou Evolutionary Local Search) et sur le GRASP (ou Greedy Randomized Adaptive Search Procedure). De nombreuses expérimentations montrent la performance de nos méthodes. / The Routing Problem is one of the most popular and challenging combinatorial optimization problems. It involves finding the optimal set of routes for fleet of vehicles in order to serve a given set of customers. In the classic transportation problems, each customer is normally served by only one node (or arc). Therefore, there is always a given set of required nodes (or arcs) that have to be visited or traversed, and we just need to find the solution from this set of nodes (or arcs). But in many real applications where a customer can be served by from more than one node (or arc), the generalized resulting problems are more complex. The primary goal of this thesis is to study three generalized routing problems. The first one, the Close-Enough Arc Routing Problem(CEARP), has an interesting real-life application to routing for meter reading while the others two, the multi-vehicle Covering Tour Problem (mCTP) and the Generalized Vehicle Routing Problem(GVRP), can model problems concerned with the design of bilevel transportation networks. The problems are solved by exact methods as well as metaheuristics. To develop exact methods, we formulate each problem as a mathematical program, and then develop branch-and-cut algorithms. The metaheuristics are based on the evolutionary local search (ELS) method et on the greedy randomized adaptive search procedure (GRASP) method. The extensive computational experiments show the performance of our methods.

Les applications réelles liées aux problèmes de satisfaction partielle de contraintes (PCSP : Partial Constraints Satisfaction Problem) sont de plus en plus nombreuses, ce qui justifie l’intérêt croissant des chercheurs pour cette classe de problèmes. La résolution d’un PCSP revient à affecter des valeurs à toutes ses variables tout en maximisant (ou minimisant) une fonction objectif prédéfinie. Ces problèmes sont NP-difficiles, par conséquent il n’existe aucune approche aussi bien exacte qu’heuristique efficace sur les grandes instances. Pour résoudre efficacement les instances difficiles, une multitude de solutions sont proposées, allant de l’hybridation à l’apprentissage en passant par la décomposition. Dans notre travail, nous nous intéressons à cette dernière proposition, qui consiste à fractionner le problème PCSP en plusieurs sous-problèmes PCSP de tailles raisonnables, puis proposer des algorithmes de résolution pour les problèmes décomposés. Cette approche a pour but de bénéficier de la structure du problème afin d’accélérer sa résolution tout en garantissant des solutions optimales ou sous-optimales. Deux grand axes sont explorés : les approches basées sur la décomposition et celles guidées par la décomposition. Les approches basées sur la décomposition consistent à résoudre séparément les parties difficiles du problème décomposé, puis combiner les solutions partielles obtenues en vue d’atteindre une solution globale du problème d’origine. Les approches guidées par la décomposition consistent à développer des métaheuristiques qui tiennent compte de la structure du problème décomposé. Les algorithmes proposés sont testés et validés sur des instances réelles des problèmes PSCP, comme le problème d’affectation de fréquences et le problème de coloration de graphes / The wide range of potential applications concerned by the resolution of Partial Constraints Satisfaction Problems (PCSP) justifies the growing interest of scientists in this class of problems. Solving a PCSP means searching for values to assign to the decision variables in order to maximize (or minimize) a predefined objective function. These problems are NP-hard, so there isn’t an exact approach nor an efficient heuristic able to provide the optimal solution for large instances. In order to solve effectively the difficult instances, numerous approaches based on hybridization, learning or decomposition are proposed. In the present work, we focus on the latter proposal, which consists in splitting the PCSP into several smaller size PCSPs and we propose some methods to solve the decomposed problem. Two wide axes are explored : the resolution based on the decomposition and the one guided by decomposition. The former solves separately the difficult parts of the decomposed problem (cuts or clusters) and then combines partial solutions obtained in order to achieve a global solution for the original problem. The latter aims at benefiting from the structure of the problem to be decomposed in order to accelerate its resolution while ensuring optimal or near optimal solutions. All the proposed algorithms are tested and validated on the well-known benchmarks of PCSP problems such as Frequency Assignment Problem (FAP) and graph coloring problem

Le domaine de la logistique implique souvent la résolution de problèmes combinatoires complexes. Ces derniers font également implicitement référence à des processus, acteurs, activités et méthodes concernant divers aspects qu'il faut considérer. Ainsi, un même problème peut faire intervenir des processus de vente/achat, transport/livraison et gestion de stock. Ces processus sont tellement divers et interconnectés qu'il est difficile pour un logisticien de tous les maîtriser. Dans cette thèse, nous proposons l'explicitation, par le biais d'ontologies, de connaissances conceptuelles et sémantiques concernant les processus logistiques. Ces connaissances explicites sont alors mises à contribution pour construire un système à base de connaissances permettant de guider les logisticiens dans la construction, de façon incrémentale et semi-automatique, de solutions informatiques à un problème qui leur est posé à un moment donné. Nous mettons en oeuvre une ontologie concernant le domaine de la logistique connectée à une ontologie associée à la problématique de l'optimisation. Nous établissons ainsi un lien sémantique explicite entre le domaine de la logistique et celui de l'optimisation. Cela permet aux logisticiens d'identifier de façon précise et sans ambigüité le problème logistique auquel il est confronté et les problèmes d'optimisation associés. L'identification des problèmes conduit alors à un processus de choix des solutions allant du choix du processus logistique précis à mettre en oeuvre à celui de la méthode de résolution du problème combinatoire et cela jusqu'à la découverte du composant informatique à invoquer et qui est matérialisé par un service web. L'approche que nous avons adoptée et mise en oeuvre a été expérimentée avec les problèmes de routage de véhicules, le problème de transport ferroviaire de passagers et le problème de terminaux de conteneurs. / Logistics problems are often complex combinatorial problems. These may also implicitly refer to the processes, actors, activities, and methods concerning various aspects that need to be considered. Thus the same process may involve the processes of sale/purchase, transport/delivery, and stock management. These processes are so diverse and interconnected that it is difficult for a logistic expert to compete all of them. In this thesis, we propose the explications with the help of ontologies of conceptual ans semantic knowledge concerning the logistic processes. This explicit knowledge is then used to develop a reasoning system to guide the logistic expert for an incremental and semi-automatic construction of a software solution to an instantly posed problem. We define an ontology concerning the inter-connected logistics and associated optimization problem. We, henceforth, establish an explicit semantic link between the domains of logistics and the optimization. It may allow the logistic expert to identify precisely and unambiguously the confronted logistic problem and the associated optimization problem. The identification of the problems then leads to a process to choose the solutions ranging from the choice of the precise logistic process to be implemented to that of the method to solve the combinatorial problem until the discovery of the software component to be invoked and which is implemented by a web service. The approach we have adopted and implemented has been experimented with the "Vehicle Routing Problems", the "Passenger Train Problem" and the "Container Terminal problems".