L'objectif de cette étude est de fournir un outil d'aide à la conception de gammes d'emboutissage à chaud. Ce procédé appliqué à des aciers trempants (dans notre cas à l'Usibor 1500) permet l'obtention de pièces avec une résistance mécanique très élevée. La simulation numérique représente un outil de prédiction très puissant permettant de minimiser les coûts de conception. Grâce à la simulation numérique et aux analyses nécessaires à la modélisation, nous sommes arrivés à élucider les points clés qui font qu'une pièce emboutie par ce procédé soit réussie. Deux logiciels, Forge 3 et Abaqus/Explicit, ont été choisis. Ces logiciels permettent d'effectuer un calcul thermomécanique indispensable à la simulation de notre procédé.<br/> Pour réaliser ces calculs, la connaissance du comportement du matériau ainsi que celles des échanges thermiques gérant l'évolution de température dans la tôle sont cruciales. Le comportement mécanique comme l'évolution de la température sont décrits par des lois mathématiques dépendant d'un certain nombre de paramètres propres à chaque matériau. Ces paramètres ont été identifiés pour notre matériau dans les conditions du procédé d'emboutissage à chaud.

L'objet de ces travaux est de se doter d'outils de modélisation qui constituent aujourd'hui un passage incontournable pour maîtriser le procédé R.T.M. Ces outils reposent sur la prédiction de grandeurs macroscopiques caractérisant les renforts. La représentation fidèle du renfort à l'échelle microscopique dans une cellule élémentaire est la clé de voûte de notre travail. Une méthode d'initialisation de fonction caractéristique a ainsi été mise au point permettant de déterminer fidèlement les interfaces entre la résine et les renforts. Cette méthode possède la particularité d'être applicable à des renforts à structure périodique mais aussi aléatoire. La simulation de l'écoulement 3D de la résine dans les pores entre les fibres permet de déterminer la perméabilité de la structure représentée. Le passage de l'échelle microscopique à l'échelle macroscopique est réalisé en homogénéisant les champs de vitesse et de pression obtenus numériquement dans la cellule élémentaire.Une démarche similaire a été développée pour étudier les phénomènes thermiques dans les milieux poreux. Cette approche permet de déterminer des valeurs de conductivité thermique équivalente en considérant dans un premier temps, le fluide au repos et ensuite en couplant les phénomènes thermiques à l'écoulement engendrant des fluctuations thermiques à l'échelle microscopique. Ce phénomène est important et modifie grandement les résultats. Sa prise en compte introduit des termes non linéaires couplant la conductivité thermique équivalente à la vitesse d'écoulement du fluide au travers du renfort.La connaissance précise de ces paramètres permet la réalisation de simulations 3D réalistes du procédé R.T.M.

Notre objectif est de développer des outils permettant une meilleure compréhension du procédé de soufflage de gaines multicouches. Afin de mieux comprendre le procédé, une campagne expérimentale a été réalisée afin d¤identifier l¤effet des conditions opératoires sur l¤évolution du rayon, de la biréfringence et de la température de gaines monocouches et multicouches. Il a été possible de constater que l¤agencement des différentes couches affectait peu le gonflement et les contraintes à l¤intérieur du film. Un modèle thermomécanique permettant de décrire le soufflage de gaine multicouche a été développé. Par la suite une étude de sensibilité a été réalisée. Nous avons constaté que, dans certaines conditions, il était possible que les films multicouches gonflent plus rapidement que les films monocouches. Les résultats de calcul permettent de reproduire adéquatement l¤évolution du rayon, de la température et des contraintes survenant lors de la production de gaines monocouches et multicouches.

Une démarche classique d'ingénierie dirigée par les modèles (IDM) consiste à modéliser un problème, puis à générer le code source associé à partir de ce modèle. Cette approche, qui a été étendue succès aux systèmes temps-réel, réduit signicativement les erreurs. Le modèle développé suit généralement une approche fonctionnelle du problème ; celle-ci est cependant rarement optimale en terme de consommation de ressources. Pour les systèmes temps réel, cette limitation est acceptable : ce n'est plus le cas dans le contexte de systèmes temps-réels embarqués (TRE). Cette thèse propose d'associer l'approche IDM à un processus d'optimisation basé sur le modèle du système, pour pouvoir appliquer cette approche aux systèmes TRE. Pour cela, nous proposons d'utiliser ensemble trois solutions : d'une part, AADL, un langage de modélisation architecturale, qui permet de spécifier la composante non-fonctionnelle de l'application. Ensuite, REAL, un langage d'expression de contrainte, qui permet d'exprimer des contraintes sur le modèle. Finalement, un processus d'optimisation, qui permet de transformer un modèle naïf en modèle répondant aux performances requises, en se basant sur des heuristiques gloutonnes. Nous montrons comment cette approche permet d'automatiser le processus de développement, en limitant le rôle de l'architecte à la traduction des contraintes exprimées par le cahier des charges et à la conception d'un modèle naïf du problème.

Le contexte des travaux concerne la vulnérabilité des structures aéronautiques face aux explosions. Reprenant le scénario de la ruine d'un fuselage lors d'un attentat à la bombe, trois axes de recherches concourent à la problématique posée dans le mémoire. Le premier est lié au chargement dynamique résultant de l'explosion d'un engin dans le fuselage de l'appareil. Le deuxième et le troisième concernent les assemblages, dont on cherche à caractériser et modéliser le comportement et la rupture sous chargements dynamiques. Concernant le chargement structural de type pression dynamique, une recherche appliquée vise à valider des méthodes d'interaction couplées fluide/structure pour mesurer l'onde de souffle, à développer d'autres méthodes d'interaction découplées fluide/structure pour permettre l'analyse de structures complètes et complexes, et à développer une méthode numérique pour le couplage d'une structure immergée dans un fluide. Dans le domaine de la caractérisation des assemblages pour le calcul des structures, la recherche expérimentale et numérique consiste à développer de nouvelles méthodes expérimentales fondées sur des essais normalisés permettant d'analyser le comportement et la rupture des fixations en modes pures et mixtes de traction/cisaillement pour des vitesses de déplacement quasi-statique et dynamique, et une méthode numérique alternative dite plan d'expérience numérique (ou 'virtual testing') pour étudier un assemblage depuis le procédé de rivetage, jusqu'à sa tenue dynamique. Enfin, une recherche fondamentale vise à améliorer la modélisation des assemblages en calcul de structures. Pour les fixations, un modèle au comportement non-linéaire reposant sur une formulation hybride est développé. Pour les tôles perforées, un modèle et un critère de rupture sont présentés, une approche multi-échelle et un élément fini hybride sont développés.

Les coulis d'hydrates de gaz sont une alternative intéressante en tant que fluides frigoporteurs utilisables dans les boucles de réfrigération secondaire. La génération du coulis par injection directe d'un gaz comme le CO2 au sein d'un fluide refroidi permet de surmonter les problèmes techniques liés aux méthodes de génération mécaniques. L'objectif de la thèse est d'étudier l'effet d'additifs sur l'amélioration des conditions d'écoulement du coulis ainsi que sur les modifications de leurs conditions de formation. Dans ce travail de thèse nous nous sommes donc attachés à caractériser l'effet de l'addition d'un promoteur d'hydrates, le tetrahydrofurane (THF) sur les conditions de formation de l'hydrate mixte THF+CO2 dans les systèmes eau-CO2-THF. La calorimétrie différentielle programmée, DSC, sous pression contrôlée de gaz a été employée comme technique expérimentale .Les résultats obtenus (conditions de température de formation, enthalpie et capacité calorifique de dissociation pour diverses pressions de CO2 et concentrations de THF) ont été comparés avec les prédictions d'un modèle thermodynamique combinant l'expression de van der Waals et Platteeuw et l'équation d'état RKS associée à la loi de mélange MHV2 et au modèle UNIFAC. Une autre partie de la thèse a été consacrée à l'étude des conditions de formation et d'écoulement d'un coulis d'hydrates à base de CO2 en présence d'additifs. Pour cela, un dispositif expérimental capable de mesurer le débit et les pertes de charges a été employé. Après une étude phénoménologique des conditions de formation et d'écoulement des coulis, une sélection d'additifs permettant d'améliorer ces conditions a été réalisée. Une caractérisation rhéologique du coulis en présence de l'additif le plus performant complète ce travail.

Cette thèse traite de l'étude d'un modèle mathématique de croissance tumorale métastatique et de ses éventuelles applications en clinique. Il y est développé en particulier une étude théorique et numérique des modèles présentés. La première partie du manuscrit traite de l'étude d'un modèle de croissance métastatique non traitée où il est introduit un nouvel outil in silico: l'Index Métastatique qui pourrait permettre de quantifier l'état métastatique métastatique d'un patient donné et qui pourrait ainsi venir renforcer les classifications tumorales déjà existantes. La deuxième partie traite de l'étude du modèle enrichi de manière à prendre en compte l'action d'un traitement par chimiothérapie. Il y est présenté une étude théorique et numérique du modèle modifié ainsi que des exemples de simulation visant à étudier l'évolution de l'index métastatique infléchi par l'action du traitement. La dernière partie de ce manuscrit est consacrée à l'étude des potentialités du modèle en termes d'applications cliniques. Il y est décrit en particulier une manière de rendre compte de la fiabilité du modèle en confrontant les simulations avec des résultats provenant d'une étude clinique. Enfin il est étudié quelques pistes pour raffiner la classification de l'état de la maladie d'un patient et de comment déterminer les traitements les plus efficaces afin de minimiser la survenue de récidives.

Au cours des dernières décennies, les retours d'expérience de tunnels ont mis en évidence de nombreux dommages causés par le phénomène de gonflement. Ce phénomène, qui concerne des formations variées très répandues dans les ères géologiques (terrains argileux ou anhydrite), est susceptible d'affecter un certain nombre de tunnels futurs. Cette thèse envisage de mettre au point une méthodologie de calcul des revêtements de tunnels en terrain gonflant.<br /><br />En s'inspirant des retours d'expérience et des méthodes existantes, une loi de comportement élastoplastique a été établie pour simuler le développement de gonflement apparaissant dans le massif du fait d'un changement d'état de contraintes et d'une arrivée d'eau. La loi de gonflement supposée élastique et tridimensionnelle relie le logarithme de la contrainte à la déformation, en tenant compte d'une éventuelle anisotropie de gonflement associée à la stratification du terrain.<br /><br />Après avoir été implanté dans le code par éléments finis CESAR-LCPC, ce modèle de gonflement a été validé à deux niveaux : d'une part, sur un échantillon de matériau gonflant soumis à un essai de gonflement et, d'autre part, sur un ouvrage instrumenté directement concerné par le phénomène de gonflement.<br />Des essais de gonflement spécifiques permettent d'identifier les différents paramètres de gonflement. Les tentatives de calage de la loi de gonflement ont donné des résultats satisfaisants sur plusieurs matériaux gonflants différents.<br />La modélisation numérique du tube Nord du tunnel de Chamoise pour lequel les mesures in situ ont mis en évidence le développement du gonflement des marnes sous le radier, a montré une meilleure concordance du modèle de gonflement avec les mesures in situ que les calculs classiques ; en particulier, on a pu retrouver une asymétrie marquée du comportement du radier et obtenir des déplacements dans le massif plus proches de la réalité.

La régulation ferroviaire sur de vastes zones est un problème complexe. Elle intervient dans la phase opérationnelle de la production. Son rôle consiste à trouver de nouvelles solutions en termes de planification des mouvements de trains suite à l'apparition d'un incident empêchant la réalisation normale du plan de transport préétabli dans les phases amont de la production. La contribution de ce travail s'organise autour de trois axes. Le premier consiste à définir une formalisation exhaustive du système ferroviaire, associé à une représentation plus cohérente (modèle multiniveau). Le deuxième axe s'articule autour de l'étude des modèles mathématiques pour la régulation du trafic ferroviaire: évolutions d'un modèle en temps continu complet (espacements dynamiques), proposition d'un modèle innovant à temps discret et d'un modèle mixte (continu-discret) adossé au modèle multiniveau. Enfin, le dernier axe traite de la mise en oeuvre concrète au niveau industriel, en particulier des gains attendus du couplage avec un outil de simulation.

Perceiving or understanding the environment surrounding of a vehicle is a very important step in building driving assistant systems or autonomous vehicles. In this thesis, we focus on using laser scanner as a main perception sensor in context of dynamic outdoor environments. To solve this problem, we have to deal with 3 main tasks: (1) identify static part and dynamic entities moving in the environment, (2) use static part of the environment to build a map of the environment and localize the vehicle inside this map: this task is know as "Simultaneous Localization And Mapping" (SLAM) and finally (3) Detect And Track Moving Objects (DATMO). Regarding SLAM, the first contribution of this research is made by a grid-based approach\footnote{An occupancy grid is a decomposition of the environment in rectangular cells where each cell contains the probability that it is occupied by an obstacle.} to solve both problems of SLAM and detection of moving objects. To correct vehicle location from odometry we introduce a new fast incremental scan matching method that works reliably in dynamic outdoor environments. After good vehicle location is estimated, the surrounding map is updated incrementally and moving objects are detected without a priori knowledge of the targets. Our second contribution is an efficient, precise and multiscale representation of 2D/3D environment. This representation is actually an extension of occupancy grid where (1) only cells corresponding to occupied part of the environment are stored and updated (2) where cells are represented by a cluster of gaussian to have a fine representation of the environment and (3) where several occupancy grids are used to store and update a multiscale representation of the environment. Regarding DATMO, we firstly present a method of simultaneous detection, classification and tracking moving objects. A model-based approach is introduced to interpret the laser measurement sequence over a sliding window of time by hypotheses of moving object trajectories. The data-driven Markov chain Monte Carlo (DDMCMC) technique is used to explore the hypothesis space and effectively find the most likely solution. An other important problem to solve regarding DATMO is the definition of an appropriate dynamic model. In practice, objects can change their dynamic behaviors over time (e.g. : stopped, moving, accelerating, etc...). To adapt to these changing behaviors, a multiple dynamic model is generally required. But, this set of dynamic models and interactions between these models are always given a priori. Our second contribution on DATMO is a method to guide in the choice of motion models and in the estimation of interactions between these motion models. The last part of this thesis reports integration of these contributions on different experimental platforms in the framework of some national and european projects. Evaluations are presented which confirm the robustness and reliability of our contributions.