Ce travail de thèse concerne la modélisation du canal de propagation dans les milieux industriels. Dans ce contexte, le canal de propagation a un comportement différent de celui classiquement rencontré en indoor. Cela est dû à l'aménagement des bâtiments qui sont plus grand et ouverts ainsi qu'à la présence de machines, d'objets mobiles et d'autres matériaux métalliques rencontrés dans ces environnements. Ainsi, les modèles de canaux indoor existants ne sont plus valides. L'utilisation de modèles déterministes comme alternative est possible mais limitée en raison du temps de calcul qui en découle.Pour répondre à cette problématique, nous proposons un modèle hybride de canal s'inspirant d'une méthode à tracer de rayons 3D et du modèle WINNER. L'originalité de ce modèle repose sur son caractère hybride consistant, en prétraitement, à partitionner l'environnement en zones de visibilité ou de non-visibilité «faible» et «forte» sur des critères déterministes liés à la propagation des ondes. Un modèle statistique, type WINNER, reprenant le concept de cluster est ensuite "joué" au sein de chacune des ces zones reproduisant ainsi fidèlement l'évolution des paramètres caractéristiques des clusters identifiés. Nous avons validé notre modèle en le comparant d'abord à un modèle déterministe et ensuite à la mesure. Sa robustesse ainsi que celle de WINNER sont testées en les simulant dans trois environnements différents et en les comparant au modèle déterministe à tracer de rayons. / This thesis focuses on the modeling of the propagation channel in industrial environments. In this context, the propagation channel has a different behavior than typically encountered in indoor. This is due to the construction of buildings that are larger and open and the presence of machines, moving objects and metal materials encountered in these environments. Thus, the existing indoor channel models are not valid. Using deterministic models as an alternative is possible, but limited by the computing time.To address this problem, we propose a hybrid channel model for communications in industrial environments inspired by a ray tracing method and Winner model. The originality of this model is its hybrid nature consisting, in preprocessing, in partitionning the environment in areas of visibility or non-visibility «weak» and «strong» based on deterministic criteria related to the wave propagation. A statistical model, as WINNER , using the concept of cluster is then played in each of these areas and faithfully reproducing the evolution of the characteristic parameters of the identified clusters. We have validated our model by comparing it firstly to a deterministic model and then to measurement. Its robustness as well that of WINNER are tested by simulating them in three different environments and by comparing them with the deterministic model.

L'étude des phases de la matière est d'un intérêt fondamental en physique. La théorie de Landau, qui est le "modèle standard" des transitions de phases, caractérise les phases de la matière en termes des brisures de symétrie, décrites par un paramètre d'ordre local. Cette théorie a permis la description de phénomènes remarquables tels que la condensation de Bose-Einstein, la supraconductivité et la superfluidité.<p><p>Il existe cependant des phases qui échappent à la description de Landau. Il s'agit des phases quantiques topologiques. Celles-ci constituent un nouveau paradigme et sont caractérisées par un ordre global défini par un invariant topologique. Ce dernier classe les objets ou systèmes de la manière suivante: deux objets appartiennent à la même classe topologique s'il est possible de déformer continument le premier objet en le second. Cette propriété globale rend le système robuste contre des perturbations locales telles que le désordre. <p><p>Les atomes froids constituent une plateforme idéale pour simuler les phases quantiques topologiques. Depuis l'invention du laser, les progrès en physique atomique et moléculaire ont permis un contrôle de la dynamique et des états internes des atomes. La réalisation de gaz quantiques,tels que les condensats de Bose-Einstein et les gaz dégénérés de Fermi, ainsi que la réalisation de réseaux optiques à l'aide de faisceaux lasers, permettent d'étudier ces nouvelles phases de la matière et de simuler aussi la physique du solide cristallin.<p><p>Dans cette thèse, nous nous concentrons sur l'etude d'isolants topologiques avec des atomes froids. Ces derniers sont isolants de volume mais possèdent des états de surface qui sont conducteurs, protégés par un invariant topologique. Nous traitons trois sujets principaux. Le premier sujet concerne la génération dynamique d'un isolant topologique de Mott. Ici, les interactions engendrent l'isolant topologique et ce, sans champ de jauge de fond. Le second sujet concerne la détection des isolants topologiques dans les expériences d'atomes froids. Nous proposons deux méthodes complémentaires pour caractériser celles-ci. Finalement, le troisième sujet aborde des thèmes au-delà de la définition standard d'isolant topologique. Nous avons d'une part proposé un algorithme efficace pour calculer la conductivité de Berry, la contribution topologique à la conductivité transverse lorsque l'énergie de Fermi se trouve dans une bande d'énergie. D'autre part, nous avons utilisé des méthodes pour caractériser les propriétés quantiques topologiques de systèmes non-périodiques.<p><p>L'étude des isolants topologiques dans les expériences d'atomes froids est un sujet de recherche récent et en pleine expansion. Dans ce contexte, cette thèse apporte plusieurs contributions théoriques pour la simulation de systèmes quantiques sur réseau avec des atomes froids. / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

Les interactions gravitationnelles et électrostatiques sont deux exemples fondamentaux de systèmes en interaction de longue portée. Les propriétés d'équilibre de modèles simples en interaction de longue portée sont bien comprises et révèlent des comportemens exotiques: capacité spécifique négative et inéquivalence des ensembles statistiques par exemple.<p><p>La compréhension de l'évolution dynamique dans le cas de systèmes en interaction de longue portée représente encore actuellement un défi théorique. Des modèles simples présentent des propriétés telles que des transitions de phase hors d'équilibre ou des états quasi-stationnaires.<p><p>Le but de la présente thèse est d'étudier les propriétés dynamiques de systèmes en interaction de longue portée pour des modèles à une dimension. La description cinétique adéquate est donnée par l'équation de Vlasov. Une théorie statistique proposée par D. Lynden-Bell est appropriée pour prédire dans certaines situations l'aboutissement de la dynamique. Un outil de simulation pour l'équation de Vlasov complète cette approche.<p><p>Une étude détaillée de la transition de phase dans le Laser à Electrons Libres est présentée et la transition est analysée à l'aide de la théorie de Lynden-Bell.<p>Ensuite, la présence d'étirement et de repliement est étudiée dans le modèle Hamiltonian Mean-Field en analogie avec la dynamique des fluides.<p>Enfin, un système de pendules découplés dont les états asymptotiques sont similaires à ceux du modèle Hamiltonian Mean-Field est introduit. Son évolution asymptotique est prédite par la théorie de Lynden-Bell et par une approche exacte. Ce système présente une évolution initiale rapide similaire à la relaxation violente présente dans des modèles plus compliqués. De plus, une transition de phase hors d'équilibre est trouvée si une condition d'auto-consistence est imposée.<p><p>En résumé, la présente thèse comporte des résultats originaux liés à la présence d'états quasi-stationnaires et de transitions de phase hors d'équilibre dans des modèles unidimensionnels en interaction de longue portée.<p>Les résultats concernant le Laser à Electrons Libres offrent une perspective de réalisation expérimentale des phénomènes décrits dans cette thèse.<p><p>/<p><p>Gravitational and electrostatic interactions are fundamental examples of systems with long-range interactions.<p>Equilibrium properties of simple models with long-range interactions are well understood and exhibit exotic behaviors: negative specific heat and inequivalence of statistical ensembles for instance.<p><p>The understanding of the dynamical evolution in the case of long-range interacting systems still represents a theoretical challenge. Phenomena such as out-of-equilibrium phase transitions or quasi-stationary states have been found even in simple models.<p><p>The purpose of the present thesis is to investigate the dynamical properties of systems with long-range interactions, specializing on one-dimensional models. The appropriate kinetic description for these systems is the Vlasov equation. A statistical theory devised by D. Lynden-Bell is adequate to predict in some situations the outcome of the dynamics.<p>A complementary numerical simulation tool for the Vlasov equation is developed.<p><p>A detailed study of the out-of-equilibrium phase transition occuring in the Free-Electron Laser is performed and the transition is analyzed with the help of Lynden-Bell's theory.<p>Then, the presence of stretching and folding in phase space for the Hamiltonian Mean-Field model is studied and quantified from the point of view of fluid dynamics.<p>Finally, a system of uncoupled pendula for which the asymptotic states are similar to the ones of the Hamiltonian Mean-Field model is introduced. Its asymptotic evolution is predicted via both Lynden-Bell's theory and an exact computation. This system displays a fast initial evolution similar to the violent relaxation found for interacting systems. Moreover, an out-of-equilibrium phase transition is found if one imposes a self-consistent condition on the system.<p><p>In summary, the present thesis discusses original results related to the occurence of quasi-stationary states and out-of-equilibrium phase transitions in 1D models with long-range interaction.<p>The findings regarding the Free-Electron Laser are of importance in the perspective of experimental realizations of the aforementioned phenomena.<p> / Doctorat en Sciences / info:eu-repo/semantics/nonPublished

In this thesis, we study robust combinatorial problems with interval data. We introduce several new measures of robustness in response to the drawbacks of existing measures of robustness. The idea of these new measures is to ensure that the solutions are satisfactory for the decision maker in all scenarios, including the worst case scenario. Therefore, we have introduced a threshold over the worst case costs, in which above this threshold, solutions are no longer satisfactory for the decision maker. It is, however, important to consider other criteria than just the worst case.<p>Therefore, in each of these new measures, a second criteria is used to evaluate the performance of the solution in other scenarios such as the best case one. <p><p>We also study the robust deviation p-elements problem. In fact, we study when this solution is equal to the optimal solution in the scenario where the cost of each element is the midpoint of its corresponding interval. <p><p>Then, we finally formulate the robust combinatorial problem with interval data as a bicriteria problem. We also integrate the decision maker's preferences over certain types of solutions into the model. We propose a method that uses these preferences to find the set of solutions that are never preferred by any other solution. We call this set the final set. <p><p>We study the properties of the final sets from a coherence point of view and from a robust point of view. From a coherence point of view, we study necessary and sufficient conditions for the final set to be monotonic, for the corresponding preferences to be without cycles, and for the set to be stable.<p>Those that do not satisfy these properties are eliminated since we believe these properties to be essential. We also study other properties such as the transitivity of the preference and indifference relations and more. We note that many of our final sets are included in one another and some are even intersections of other final sets. From a robust point of view, we compare our final sets with different measures of robustness and with the first- and second-degree stochastic dominance. We show which sets contain all of these solutions and which only contain these types of solutions. Therefore, when the decision maker chooses his preferences to find the final set, he knows what types of solutions may or may not be in the set.<p><p>Lastly, we implement this method and apply it to the Robust Shortest Path Problem. We look at how this method performs using different types of randomly generated instances. <p> / Doctorat en sciences, Orientation recherche opérationnelle / info:eu-repo/semantics/nonPublished

Dans la thèse nous nous occupons de l'estimation de la moyenne d'un petit domaine sous un modèle one-fold et utilisant MINQUE pour estimer les composantes de la variance, sous un modèle two-fold avec variances aléatoires, sous des plans noninformatifs et informatifs. / Doctorat en sciences, Orientation statistique / info:eu-repo/semantics/nonPublished

Les bioprocédés ont connu un essor considérable au cours de ces dernières années et sont promis à un bel avenir. Qu'il s'agisse de la production de vaccins, de la fermentation de levures pour l'industrie alimentaire ou encore de l'épuration biologique des eaux usées, les applications sont nombreuses et les produits sont d'un intérêt capital pour l'être humain. Étant donnés le coût et le temps de mise en oeuvre de ces procédés, il est particulièrement utile de construire des simulateurs permettant de reproduire le comportement macroscopique des cultures cellulaires utilisées. Ces simulateurs peuvent servir à déterminer des conditions optimales de fonctionnement (en fonction des critères de l'utilisateur) et à tester certains outils (régulateurs, capteurs logiciels, etc.). Par ailleurs, il est nécessaire, pour le suivi et la régulation de ces procédés, de disposer de grandeurs mesurées (concentrations cellulaires, en substrats, en le produit d'intérêt, etc.). Les problèmes liés à la mesure matérielle de ces grandeurs sont nombreux: coût des capteurs, destruction des échantillons, longues périodes d'échantillonnage, temps d'analyse élevés, etc. Il est dès lors utile de construire des observateurs d'états (ou capteurs logiciels) fournissant une estimation en temps continu de grandeurs non mesurées sur la base d'un modèle mathématique et de certaines mesures matérielles.<p><p>Les modèles mathématiques sont nécessaires pour la synthèse des deux types d'outils envisagés dans ce travail (simulateurs et capteurs logiciels). Les modèles utilisés consistent en les bilans massiques des constituants apparaissant dans le schéma réactionnel, ce dernier contenant les réactions essentielles pour la description des phénomènes à l'échelle macroscopique. Au sein de ces bilans massiques, une nouvelle structure générale de modèle cinétique est proposée, possédant un certain nombre de propriétés intéressantes, telles l'interprétation physique des paramètres cinétiques, les concentrations définies positives sous certaines conditions, la garantie de stabilité entrées bornées - états bornés, ou encore la possibilité de linéarisation en les paramètres à estimer.<p><p>Une méthodologie générale d'estimation paramétrique est proposée, afin d'identifier les coefficients pseudo-stoechiométriques, les coefficients cinétiques et certains paramètres expérimentaux (concentrations initiales des cultures). Cette méthodologie possède un caractère systématique, prend en compte les erreurs de mesure sur l'ensemble des signaux (y compris à l'instant initial), fournit à l'utilisateur la covariance des erreurs d'estimation paramétrique, prend en compte intrinsèquement les contraintes de signe sur les paramètres, fournit une estimation des erreurs de simulation, permet de réduire le nombre d'équations différentielles au sein du modèle, etc. La mise en oeuvre et l'intérêt de ces outils sont illustrés en simulation (cultures bactériennes) et dans le cas d'une application réelle (cultures de cellules animales CHO).<p><p>La première catégorie d'observateurs d'états étudiée dans ce travail est celle des observateurs utilisant pleinement le modèle cinétique. L'observation d'états basée sur l'identification des conditions initiales les plus vraisemblables est plus particulièrement analysée. Elle consiste à estimer en temps continu l'entièreté de l'état par intégration d'un modèle de simulation au départ des conditions initiales les plus vraisemblables. Ces dernières sont identifiées à chaque nouvel instant de mesure sur la base de toute l'information disponible jusqu'à cet instant. Certaines propriétés mathématiques sont étudiées (dont une comparaison avec le filtre de Kalman) et un certain nombre d'extensions de la méthode sont proposées (dont une version récurrente qui ne nécessite plus de résoudre un problème d'optimisation non linéaire à chaque nouvel instant de mesure). Ces outils sont à nouveau illustrés dans le cadre des cultures de cellules animales CHO, et se basent sur les modèles de simulation développés dans la première partie du travail.<p><p>Étant donné les risques de divergence des observateurs de cette première catégorie lorsque la qualité du modèle cinétique n'est pas suffisante, une seconde catégorie est envisagée, constituée des observateurs utilisant partiellement le modèle cinétique. Dans ce contexte, un nouvelle technique est proposée consistant en un observateur hybride entre le filtre de Kalman étendu (utilisant pleinement le modèle cinétique) et l'observateur asymptotique de Bastin et Dochain (n'utilisant pas du tout le modèle cinétique). Cette structure estime (conjointement avec l'état du système) un degré de confiance en le modèle cinétique. Elle est capable d'évoluer de façon progressive, en fonction de ce degré de confiance, entre les deux solutions extrêmes (filtre de Kalman et observateur asymptotique), tirant ainsi parti des avantages respectifs de ces deux méthodes selon les conditions opératoires et la qualité du modèle cinétique. Ces outils sont validés sur des cultures bactériennes simulées.<p><p> / Doctorat en sciences appliquées / info:eu-repo/semantics/nonPublished

Les travaux présentés contribuent à la modélisation stochastique de la maintenance de systèmes mono- ou multi-composants à détériorations et à modes de défaillances multiples en environnement dynamique. Dans ce cadre, les contributions portent d'une part sur la modélisation des processus de défaillance, et d'autre part sur la proposition de structures de décision de maintenance intégrant les différents types d'information de surveillance en ligne disponible sur le système (état de détérioration mesuré ou reconstruit, état de l'environnement, ...) et le développement des modèles mathématiques d'évaluation associés. Les modèles de détérioration et de défaillances proposés pour les systèmes mono-composants permettent de rendre compte de sources de détérioration multiples (chocs et détérioration graduelle) et d'intégrer les effets de l'environnement sur la dégradation. Pour les systèmes multi-composants, on insiste sur les risques concurrents, indépendants ou dépendants et sur l'intégration de l'environnement. Les modèles de maintenance développés sont adaptés aux modèles de détérioration proposés et permettent de prendre en compte la contribution de chaque source de détérioration dans la décision de maintenance, ou d'intégrer de l'information de surveillance indirecte dans la décision, ou encore de combiner plusieurs types d'actions de maintenance. Dans chaque cas, on montre comment les modèles développés répondent aux problématiques de la maintenance de turbines et de parcs éoliens / The thesis contributes to stochastic maintenance modeling of single or multi-components deteriorating systems with several failure modes evolving in a dynamic environment. In one hand, the failure process modeling is addressed and in the other hand, the thesis proposes maintenance decision rules taking into account available on-line monitoring information (system state, deterioration level, environmental conditions …) and develops mathematical models to measure the performances of the latter decision rules.In the framework of single component systems, the proposed deterioration and failure models take into account several deterioration causes (chocks and wear) and also the impact of environmental conditions on the deterioration. For multi-components systems, the competing risk models are considered and the dependencies and the impact of the environmental conditions are also studied. The proposed maintenance models are suitable for deterioration models and permit to consider different deterioration causes and to analyze the impact of the monitoring on the performances of the maintenance policies. For each case, the interest and applicability of models are analyzed through the example of wind turbine and wind turbine farm maintenance

L’avènement du génotypage à haut débit permet aujourd’hui de mieux exploiter le phénomène d’association, appelé déséquilibre de liaison (LD), qui existe entre les allèles de différents loci sur le génome. Dans ce contexte, l’utilité de certains modèles utilisés en cartographie de locus à effets quantitatifs (QTL) est remise en question. Les objectifs de ce travail étaient de discriminer entre des modèles utilisés en routine en cartographie et d’apporter des éclaircissements sur la meilleure façon d’exploiter le LD, par l’utilisation d’haplotypes, afin d’optimiser les modèles basés sur ce concept. On montre que les modèles uni-marqueur de liaison, développés en génétique il y a vingtaine d’années, comportent peu d’intérêts aujourd’hui avec le génotypage à haut débit. Dans ce contexte, on montre que les modèles uni-marqueur d’association comportent plus d’avantages que les modèles uni-marqueur de liaison, surtout pour des QTL ayant un effet petit ou modéré sur le phénotype, à condition de bien maîtriser la structure génétique entre individus. Les puissances et les robustesses statistiques de ces modèles ont été étudiées, à la fois sur le plan théorique et par simulations, afin de valider les résultats obtenus pour la comparaison de l’association avec la liaison. Toutefois, les modèles uni-marqueur ne sont pas aussi efficaces que les modèles utilisant des haplotypes dans la prise en compte du LD pour une cartographie fine de QTL. Des propriétés mathématiques reliées à la cartographie de QTL par l’exploitation du LD multiallélique capté par les modèles haplotypiques ont été explicitées et étudiées à l’aide d’une distance matricielle définie entre deux positions sur le génome. Cette distance a été exprimée algébriquement comme une fonction des coefficients du LD multiallélique. Les propriétés mathématiques liées à cette fonction montrent qu’il est difficile de bien exploiter le LD multiallélique, pour un génotypage à haut débit, si l’on ne tient pas compte uniquement de la similarité totale entre des haplotypes. Des études sur données réelles et simulées ont illustré ces propriétés et montrent une corrélation supérieure à 0.9 entre une statistique basée sur la distance matricielle et des résultats de cartographie. Cette forte corrélation a donné lieu à la proposition d’une méthode, basée sur la distance matricielle, qui aide à discriminer entre les modèles utilisés en cartographie. / The advent of high-throughput genotyping nowadays allows better exploitation of the association phenomenon, called linkage disequilibrium (LD), between alleles of different loci on the genome. In this context, the usefulness of some models to fine map quantitative trait locus (QTL) is questioned. The aims of this work were to discriminate between models routinely used for QTL mapping and to provide enlightenment on the best way to exploit LD, when using haplotypes, in order to optimize haplotype-based models. We show that single-marker linkage models, developed twenty years ago, have little interest today with the advent of high-throughput genotyping. In this context, we show that single-marker association models are more advantageous than single-marker linkage models, especially for QTL with a small or moderate effect on the phenotype. The statistical powers and robustness of these models have been studied both theoretically and by simulations, in order to validate the comparison of single-marker association models with single-marker linkage models. However, single-marker models are less efficient than haplotype-based models for making better use of LD in fine mapping of QTL. Mathematical properties related to the multiallelic LD captured by haplotype-based models have been shown, and studied, by the use of a matrix distance defined between two loci on the genome. This distance has been expressed algebraically as a function of the multiallelic LD coefficients. The mathematical properties related to this function show that it is difficult to exploit well multiallelic LD, for a high-throughput genotyping, if one takes into account the partial and total similarity between haplotypes instead of the total similarity only. Studies on real and simulated data illustrate these properties and show a correlation above 0.9 between a statistic based on the matrix distance and mapping results. Hence a new method, based on the matrix distance, which helps to discriminate between models used for mapping is proposed.

Dans cette thèse, nous considérons deux problèmes auxquels le model checking statistique doit faire face. Le premier concerne les systèmes hétérogènes qui introduisent complexité et non-déterminisme dans l'analyse. Le second problème est celui des propriétés rares, difficiles à observer et donc à quantifier. Pour le premier point, nous présentons des contributions originales pour le formalisme des systèmes composites dans le langage BIP. Nous en proposons une extension stochastique, SBIP, qui permet le recours à l'abstraction stochastique de composants et d'éliminer le non-déterminisme. Ce double effet a pour avantage de réduire la taille du système initial en le remplaçant par un système dont la sémantique est purement stochastique sur lequel les algorithmes de model checking statistique sont définis. La deuxième partie de cette thèse est consacrée à la vérification de propriétés rares. Nous avons proposé le recours à un algorithme original d'échantillonnage préférentiel pour les modèles dont le comportement est décrit à travers un ensemble de commandes. Nous avons également introduit les méthodes multi-niveaux pour la vérification de propriétés rares et nous avons justifié et mis en place l'utilisation d'un algorithme multi-niveau optimal. Ces deux méthodes poursuivent le même objectif de réduire la variance de l'estimateur et le nombre de simulations. Néanmoins, elles sont fondamentalement différentes, la première attaquant le problème au travers du modèle et la seconde au travers des propriétés. / In this thesis, we consider two problems that statistical model checking must cope. The first problem concerns heterogeneous systems, that naturally introduce complexity and non-determinism into the analysis. The second problem concerns rare properties, difficult to observe, and so to quantify. About the first point, we present original contributions for the formalism of composite systems in BIP language. We propose SBIP, a stochastic extension and define its semantics. SBIP allows the recourse to the stochastic abstraction of components and eliminate the non-determinism. This double effect has the advantage of reducing the size of the initial system by replacing it by a system whose semantics is purely stochastic, a necessary requirement for standard statistical model checking algorithms to be applicable. The second part of this thesis is devoted to the verification of rare properties in statistical model checking. We present a state-of-the-art algorithm for models described by a set of guarded commands. Lastly, we motivate the use of importance splitting for statistical model checking and set up an optimal splitting algorithm. Both methods pursue a common goal to reduce the variance of the estimator and the number of simulations. Nevertheless, they are fundamentally different, the first tackling the problem through the model and the second through the properties.

Les différentes étapes et processus de la fabrication additive (FA) induisent des erreurs de sources multiples et complexes qui soulèvent des problèmes majeurs au niveau de la qualité géométrique du produit fabriqué. Par conséquent, une modélisation effective des écarts géométriques est essentielle pour la FA. Le paradigme Skin Model Shapes (SMS) offre un cadre intégral pour la modélisation des écarts géométriques des produits manufacturés et constitue ainsi une solution efficace pour la modélisation des écarts géométriques en FA.Dans cette thèse, compte tenu de la spécificité de fabrication par couche en FA, un nouveau cadre de modélisation à base de SMS est proposé pour caractériser les écarts géométriques en FA en combinant une approche dans le plan et une approche hors plan. La modélisation des écarts dans le plan vise à capturer la variabilité de la forme 2D de chaque couche. Une méthode de transformation des formes est proposée et qui consiste à représenter les effets de variations sous la forme de transformations affines appliquées à la forme nominale. Un modèle paramétrique des écarts est alors établi dans un système de coordonnées polaires, quelle que soit la complexité de la forme. Ce modèle est par la suite enrichi par un apprentissage statistique permettant la collecte simultanée de données des écarts de formes multiples et l'amélioration des performances de la méthode.La modélisation des écarts hors plan est réalisée par la déformation de la couche dans la direction de fabrication. La modélisation des écarts hors plan est effectuée à l'aide d'une méthode orientée données. Sur la base des données des écarts obtenues à partir de simulations par éléments finis, deux méthodes d'analyse modale: la transformée en cosinus discrète (DCT) et l'analyse statistique des formes (SSA) sont exploitées. De plus, les effets des paramètres des pièces et des procédés sur les modes identifiés sont caractérisés par le biais d'un modèle à base de processus Gaussien.Les méthodes présentées sont finalement utilisées pour obtenir des SMSs haute-fidélité pour la fabrication additive en déformant les contours de la couche nominale avec les écarts prédits et en reconstruisant le modèle de surface non idéale complet à partir de ces contours déformés. Une toolbox est développée dans l'environnement MATLAB pour démontrer l'efficacité des méthodes proposées. / The intricate error sources within different stages of the Additive Manufacturing (AM) process have brought about major issues regarding the dimensional and geometrical accuracy of the manufactured product. Therefore, effective modeling of the geometric deviations is critical for AM. The Skin Model Shapes (SMS) paradigm offers a comprehensive framework aiming at addressing the deviation modeling problem at different stages of product lifecycle, and is thus a promising solution for deviation modeling in AM. In this thesis, considering the layer-wise characteristic of AM, a new SMS framework is proposed which characterizes the deviations in AM with in-plane and out-of-plane perspectives. The modeling of in-plane deviation aims at capturing the variability of the 2D shape of each layer. A shape transformation perspective is proposed which maps the variational effects of deviation sources into affine transformations of the nominal shape. With this assumption, a parametric deviation model is established based on the Polar Coordinate System which manages to capture deviation patterns regardless of the shape complexity. This model is further enhanced with a statistical learning capability to simultaneously learn from deviation data of multiple shapes and improve the performance on all shapes.Out-of-plane deviation is defined as the deformation of layer in the build direction. A layer-level investigation of out-of-plane deviation is conducted with a data-driven method. Based on the deviation data collected from a number of Finite Element simulations, two modal analysis methods, Discrete Cosine Transform (DCT) and Statistical Shape Analysis (SSA), are adopted to identify the most significant deviation modes in the layer-wise data. The effect of part and process parameters on the identified modes is further characterized with a Gaussian Process (GP) model. The discussed methods are finally used to obtain high-fidelity SMSs of AM products by deforming the nominal layer contours with predicted deviations and rebuilding the complete non-ideal surface model from the deformed contours. A toolbox is developed in the MATLAB environment to demonstrate the effectiveness of the proposed methods.