ce travail de thèse porte sur la modélisation numérique et l'analyse des mécanismes physiques en jeu lors du procédé de bourrage du ballast ferroviaire. Celui-ci consiste à remettre à niveau la voie suite aux tassements différentiels induits par les circulations des trains. Nous avons développé un modèle en éléments discrets par la méthode de dynamique des contacts qui permet de simuler un cycle complet du procédé composé de l'enfoncement des bras mécaniques, le serrage du ballast sous la traverse et le retrait des bras. Ces simulations prennent notamment en compte la forme polyédrique des grains, ce qui constitue un élément important pour une simulation réaliste de la dynamique du ballast. Une étude détaillée de la rhéologie quasi-statique des matériaux granulaires à grains polyédriques a été ainsi effectuée permettant de mettre en évidence l'origine de la résistance mécanique de ces matériaux liée à la forme facettée des grains. La dynamique vibratoire des grains a été explorée en interaction avec un outil vibrant et sous l'effet des vibrations horizontales. Ces études ont permis de proposer une mise à l'échelle de la dynamique en fonction des paramètres de chargement et de mettre en évidence une fréquence caractéristique pour une compaction optimale du milieu granulaire. Ces analyses et des études paramétriques ont permis de proposer des recommandations précises pour améliorer les performances du procédé de bourrage.

Notre travail de thèse vise à étudier des utilisations réelles des TICE dans les classes par des enseignants, grâce à une méthodologie basée sur l'observation de séances ordinaires.<br />Nous partons du constat d'écart entre, d'une part, les potentialités des TICE soulignées par la recherche et la volonté institutionnelle d'insérer les TICE, et d'autre part, la réalité de la faible intégration de la technologie dans les classes. Nous considérons cet écart comme l'effet des contraintes d'utilisation des TICE mentionnée dans de nombreux travaux en didactique des mathématiques. L'hypothèse est que l'enseignant, qui prend la décision d'utiliser les TICE, est motivé par des potentialités de la technologie présentes dans ses représentations et qu'il effectue des choix ayant une certaine conscience des contraintes de leur utilisation. Nous cherchons à étudier des rapports entre ces potentialités et celles qui sont exprimées dans la recherche et les instructions officielles, et leur actualisation dans la pratique en classe. Nous nous intéressons plus spécifiquement aux usages de la géométrie dynamique dans des classes du collège (élèves de 12-15 ans), car les potentialités de la géométrie dynamique font l'objet de nombreux travaux et écrits, et les instructions officielles en France insistent sur leurs apports possibles à l'enseignement à ce niveau. <br />Dans la thèse, nous présentons l'analyse des séances illustrant deux types d'usages rencontrés chez trois enseignants. Dans le but de caractériser plus finement le fonctionnement de ces enseignants dans sa complexité, nous interprétons l'analyse des séances à l'aide d'un modèle théorique.

Les aciers inoxydables ferritiques stabilisés, aussi performants dans de nombreux domaines et moins chers que les aciers inoxydables austénitiques, souffrent cependant d'une formabilité inférieure (mise en forme + défaut de chiffonnage / roping). Il convient donc d'optimiser les microstructures et textures finales de ces produits, ce qui passe entre autres par une meilleure connaissance de l'évolution du matériau durant le laminage à chaud (LAC).Des essais de bipoinçonnement effectués sur une machine Gleeble®, simulant la compression plane à cœur du matériau durant le LAC, ont permis de simuler des schémas de laminage mono et multipasses. Les effets de la déformation, de la température, de la vitesse de déformation, de la taille de grains initiale et de la composition chimique sur les évolutions dynamiques (durant une passe de laminage) et post-dynamiques (durant un temps interpasse) ont été investigués.Une passe de LAC fragmente la microstructure en cristallites par recristallisation dynamique continue (RDC). Une partie de ces cristallites deviendront les germes de la recristallisation post-dynamique (RPD) au cours du temps interpasse. Celui-ci se caractérise par la simultanéité d'activation de nouveaux germes, de la croissance de grains recristallisés au sein de zones écrouies mais également au détriment d'autres grains recristallisés.Le couplage d'un modèle de RDC existant avec un modèle de RPD créé à partir des observations expérimentales, permet de simuler des schémas de LAC multipasses et de retranscrire les effets de la majorité des paramètres opératoires.

Cette thèse porte sur les modèles d'équilibres dynamiques sur un réseau de transport et leurs applications à l'affectation de trafic. Elle tente d'en propose une formulation à la fois générale et mathématiquement rigoureuse. Une attention particulière est accordée à la représentation de la demande de transport. Plus spécifiquement, la modélisation de l'hétérogénéité dans les préférences des usagers d'un réseau de transport, ainsi que des stratégies de choix d'horaire dans les déplacements, occupe une place importante dans notre approche. Une caractéristique de ce travail est son fort recours au formalisme mathématique; cela nous permet d'obtenir une formulation concise et micro-économiquement cohérente des réseaux de transport et de la demande de transport dans un contexte dynamique. Cette thèse traite aussi de méthodes de résolution en lien avec les modèles d'équilibres dynamiques. Nous établissons analytiquement des équilibres sur des réseaux de petites tailles afin d'améliorer la connaissance qualitative de l'interaction entre offre et demande dans ce contexte. L'intuition retirée de ces exercices nous permet de concevoir des méthodes numériques de calculs qui peuvent être appliquées à des réseaux de transport de grande taille. Tout au long de la thèse plusieurs applications économiques de ces travaux sont explorées. Toutes traitent des politiques de tarification de la congestion et de leurs évaluation, notamment lorsque les automobilistes sont susceptibles d'ajuster leurs horaires de départ. En particulier une politique tarifaire conçue pour limiter la congestion lors des grands départs de vacances est testée. Elle consiste à mettre en place un péage sur le réseau autoroutier variant selon l'heure de la journée mais aussi de jour en jour. Ce type de péage est particulièrement intéressant pour les exploitants car il leur permet d'influencer à la fois sur l'heure et le jour de départ des vacanciers. Les méthodes développées dans cette thèse permettent d'établir que les gains en termes de réduction de la congestion sont substantiels.

Analyser le code permet de vérifier ses fonctionnalités, détecter des bogues ou améliorer sa performance. L’analyse du code peut être statique ou dynamique. Des approches combinants les deux analyses sont plus appropriées pour les applications de taille industrielle où l’utilisation individuelle de chaque approche ne peut fournir les résultats souhaités. Les approches combinées appliquent l’analyse dynamique pour déterminer les portions à problèmes dans le code et effectuent par la suite une analyse statique concentrée sur les parties identifiées. Toutefois les outils d’analyse dynamique existants génèrent des données imprécises ou incomplètes, ou aboutissent en un ralentissement inacceptable du temps d’exécution. Lors de ce travail, nous nous intéressons à la génération de graphes d’appels dynamiques complets ainsi que d’autres informations nécessaires à la détection des portions à problèmes dans le code. Pour ceci, nous faisons usage de la technique d’instrumentation dynamique du bytecode Java pour extraire l’information sur les sites d’appels, les sites de création d’objets et construire le graphe d’appel dynamique du programme. Nous démontrons qu’il est possible de profiler dynamiquement une exécution complète d’une application à temps d’exécution non triviale, et d’extraire la totalité de l’information à un coup raisonnable. Des mesures de performance de notre profileur sur trois séries de benchmarks à charges de travail diverses nous ont permis de constater que la moyenne du coût de profilage se situe entre 2.01 et 6.42. Notre outil de génération de graphes dynamiques complets, nommé dyko, constitue également une plateforme extensible pour l’ajout de nouvelles approches d’instrumentation. Nous avons testé une nouvelle technique d’instrumentation des sites de création d’objets qui consiste à adapter les modifications apportées par l’instrumentation au bytecode de chaque méthode. Nous avons aussi testé l’impact de la résolution des sites d’appels sur la performance générale du profileur. / Code analysis is used to verify code functionality, detect bugs or improve its performance. Analyzing the code can be done either statically or dynamically. Approaches combining both analysis techniques are most appropriate for industrial-scale applications where each one individually cannot provide the desired results. Blended analysis, for example, first applies dynamic analysis to identify problematic code regions and then performs a focused static analysis on these regions. However, the existing dynamic analysis tools generate inaccurate or incomplete data, or result in an unacceptably slow execution times. In this work, we focus on the generation of complete dynamic call graphs with additional information required for blended analysis. We make use of dynamic instrumentation techniques of Java bytecode to extract information about call sites and object creation sites, and to build the dynamic call graph of the program. We demonstrate that it is possible to profile real-world applications to efficiently extract complete and accurate information. Performance measurement of our profiler on three sets of benchmarks with various workloads places the overhead of our profiler between 2.01 and 6.42. Our profiling tool generating complete dynamic graphs, named dyko, is also an extensible platform for evaluating new instrumentation approaches. We tested a new adaptive instrumentation technique for object creation sites which accommodates instrumentation to the bytecode of each method. We also tested the impact of call sites resolution on the overall performance of the profiler.

Les propriétés magnétiques des matériaux sont fortement connectées à leur structure cristallographique. Nous proposons un modèle atomique de la dynamique d'aimantation capable de rendre compte de cette magnétoélasticité. Bien que ce travail s'inscrive dans une thématique générale de l'étude des matériaux magnétiques en température, nous la particularisons à un seul élément, le Cobalt. Dans ce modèle effectif, les atomes sont décrits par 3 vecteurs classiques qui sont position, impulsion et spin. Ils interagissent entre eux via un potentiel magnéto-mécanique ad hoc. On s'intéresse tout d'abord à la dynamique de spin atomique. Cette méthode permet d'aborder simplement l'écriture des équations d'évolution d'un système atomique de spins dans lequel la position et l'impulsion des atomes sont gelées. Il est toutefois possible de définir une température de spin permettant de développer naturellement une connexion avec un bain thermique. Montrant les limites d'une approche stochastique, nous développons une nouvelle formulation déterministe du contrôle de la température d'un système à spins.Dans un second temps, nous développons et analysons les intégrateurs géométriques nécessaires au couplage temporel de la dynamique moléculaire avec cette dynamique de spin atomique. La liaison des spins avec le réseau est assurée par un potentiel magnétique dépendant des positions des atomes. La nouveauté de ce potentiel réside dans la manière de paramétrer l'anisotropie magnétique qui est la manifestation d'un couplage spin-orbite. L'écriture d'un modèle de paires étendu de l'anisotropie permet de restituer les constantes de magnétostriction expérimentales du hcp-Co. En considérant un système canonique, où pression et température sont contrôlées, nous avons mis en évidence la transition de retournement de spin si particulière au Co vers 695K.Nous finissons par l'étude des retournements d'aimantation super-paramagnétiques de nanoplots de Co permettant de comparer ce couplage spin-réseau aux mesures récentes.

Les fluorures fondus sont utilisés dans les Réacteurs à Sels Fondus tels que le réacteur non modéré, à neutrons rapides, MSFR où le sel fondu LiF-ThF4 joue le rôle du combustible et du liquide caloporteur. La formation des produits de fissions (PF) tels que les lanthanides, au cours du fonctionnement de ce réacteur, peut modifier les propriétés physicochimiques du bain fondu. Il est ainsi important de caractériser le bain fondu de point de vue structural et dynamique afin de remonter à ses propriétés. En raison des problèmes de radioactivité liés au thorium, et des conditions requises liées aux méthodes spectroscopiques utilisées, le système étudié dans ce manuscrit est le LiF-ZrF4-LaF3 (le zirconium et le lanthane étant des PF potentiels). L'approche développée dans cette thèse combine des mesures par spectroscopies RMN et EXAFS à 850 °C avec des simulations de dynamique moléculaire. Dans le bain fondu, nous avons montré la coexistence de complexes à base de zirconium et de lanthane de différentes coordinences, dont les proportions et les interactions dépendent de la composition. En fonction de la teneur en ZrF4, les espèces [ZrF7]3- majoritaires évoluent peu mais se connectent davantage via des fluors pontants. L'ajout de LaF3 au mélange stabilise la coordinence 7 autour du zirconium et tend à enrichir l'environnement du lanthane en fluors. Un ordre à moyenne portée s'établit entre les différents complexes à base de zirconium et de lanthane par l'intermédiaire des fluors pontants. La dynamique des espèces est ralentie en fonction de l'ajout de ZrF4 et LaF3. Nous avons noté un effet important sur la structure et la dynamique des espèces à partir de 10% mol. LaF3 ajouté au mélange. Les données obtenues par cette approche originale de la chimie du bain fondu dans le RSF en présence des PF, sont fondamentales pour améliorer la séparation de ces derniers et optimiser le procédé.

L'étude de l'évolution de galaxies, et tout particulièrement du phénomène d'évaporation, a été pour la première fois menée à l'aide de modèles physiques, par Chandrasekhar notamment, dans les années 40. Depuis, de nouveaux modèles plus sophistiqués ont été introduits par les physiciens. Ces modèles d'évolution des galaxies sont des modèles cinétiques; bien connus et bien étudiés par les mathématiciens. Cependant, l'aspect évaporation (le fait que des étoiles sortent du système étudié) n'avait pas encore été étudié mathématiquement, à ma connaissance. La galaxie est vue comme un gaz constitué d'étoiles et le modèle consiste en une équation de Vlasov-Poisson, l'interaction étant la gravitation universelle, couplée avec au second membre un terme de collision de type Landau. On rajoute à ce modèle une condition d'évaporation qui consiste à dire que les étoiles dont l'énergie cinétique est suffisamment élevée pour quitter le système sont exclues. Ce modèle étant trop compliqué à étudier tel quel, je propose dans cette thèse plusieurs modèles simplifiés qui sont des premières étapes nécessaires à l'étude du modèle général et qui permettent de mieux comprendre les difficultés à surmonter. Dans une première partie, je m'intéresse au cas homogène en espace, pour lequel le terme de Vlasov-Poisson est remplacé par une simple dérivée en temps. Je fais une étude précise du cas à symétrie radiale en vitesse avec un potentiel Maxwellien, le terme de Landau étant alors remplacé par un terme de type Fokker-Planck, et je montre dans ce cas l'existence et l'unicité d'une solution régulière et l'existence d'un profil asymptotique des solutions. Dans le cas homogène général, je montre l'existence et l'unicité d'une solution régulière tout pendant que la masse ne s'est pas totalement évaporée. J'illustre ces résultats théoriques par des simulations numériques réalisés à l'aide de schéma numériques conservateurs. Dans une seconde partie, je m'intéresse au cas non homogène en espace en dérivant un modèle hydrodynamique pour un modèle de type Vlasov-BGK (plus simple que le modèle Vlasov-Poisson-Landau) avec évaporation.

Cette thèse intervient dans le cadre du projet ANR ARMS. L'objectif est de concevoir un système robotisé multi-bras pour la découpe anatomique de muscles. Ce travail vise à développer les modèles mécaniques nécessaires à la mise en place de la stratégie de commande. Il expose le cycle de développement d'un modèle mécanique faisant intervenir la construction de modèles géométriques à partir d'images IRM, l'identification expérimentale des paramètres rhéologiques des matériaux modélisés en passant par les étapes de maillage, de paramétrage, d'implémentation et de validation de tels modèles. Il présente une nouvelle méthode de modélisation dynamique de structures intitulée modèle masse-ressort non-linéaire isotrope transverse, une méthode qui témoigne d'un comportement mécanique alliant réalisme et interactivité. Il intervient aussi dans l'identification dynamique des trajectoires de coupe robotisée en proposant de nouvelles approches de modélisation de la découpe de corps mous et en développant un nouvel algorithme basé sur le calcul de courbures. Cette thèse aborde, aussi, le problème de variabilité des muscles bovins et propose une méthode de recalage dimensionnel du modèle géométrique générique par le biais de transformations géométriques définies par optimisation multicritère d'une fonction objectif. Enfin, en vue de synchroniser le flux d'informations entre les différents modules de commande de la cellule robotisée, une combinaison de la méthode des éléments finis avec la technique de condensation statique de Guyan a permis de développer un modèle mécanique quasi-statique réduit permettant de prédire rapidement l'évolution de la trajectoire de coupe robotisée.

L'objectif de ce travail est de comprendre la structure et les interactions des liquides ioniques au contact de surfaces métalliques à l'échelle moléculaire en ayant recours aux méthodes de dynamique moléculaire. Il s'agit également d'étudier l'impact de ces caractéristiques microscopiques sur les propriétés tribologiques du système. Les liquides ioniques choisis en tant qu'huiles lubrifiantes potentielles présentent des propriétés biodégradables et des caractéristiques tribologiques appropriées. Ils reposent sur des cations alkylammonium combinés avec des anions alkylsulfonate et bistriflamide. Notre étude est structurée en quatre parties. Elle commence par l'analyse des liquides ioniques purs puis, des liquides ioniques confinés entre deux surfaces de fer à l'équilibre et sous cisaillement, et enfin, en présence d'eau. Les propriétés structurales et dynamiques des liquides ioniques sont étudiées à travers la fonction de distribution radiale et les coefficients d'auto-diffusion. L'organisation des charges ainsi que la formation de micro-domaines en solution sont étudiées conjointement au comportement diffusif des espèces ioniques. Un champ de forces atomique, basé sur des méthodes quantiques, a été développé pour modéliser les interactions entre les liquides ioniques et la surface métallique. Des calculs DFT ont été réalisés sur des fragments de liquides ioniques en interaction avec un cluster de fer en fonction de la distance et de leur orientation. Une fonction modélisant des interactions site-site a été ajustée aux valeurs d'énergies fragment-cluster calculées par DFT afin d'obtenir les paramètres du champ de forces. Finalement, la polarisation du métal par les ions a été prise en compte en utilisant un modèle de dipôles induits afin de reproduire l'énergie d'interaction entre les charges et la surface conductrice. Avec ce modèle d'interaction, les simulations de dynamique moléculaire ont permis d'étudier la structure de l'interface entre une surface de fer plane et différents liquides ioniques. Cette analyse s'est concentrée sur l'étude du positionnement des différentes espèces au niveau de la surface, sur l'orientation des chaines alkyles et sur les profils de densité de charge. Des simulations de dynamique moléculaire hors-équilibre de liquides ioniques en interaction avec des surfaces de fer ont été réalisées en utilisant le champ de forces développé précédemment. Un protocole de simulation, basé sur une définition locale de la pression, a été développé pour prédire de manière quantitative le coefficient de friction en fonction de la valeur de la charge et du taux de cisaillement. La dépendance de la friction avec la charge, la vitesse de cisaillement, la topologie de la surface et la taille de la chaine alkyle du liquide ionique a été étudiée. La variation des forces de friction s'explique par l'arrangement spécifique des ions et l'orientation des groupements du liquide ionique à proximité de la surface. Finalement, l'effet de la présence d'eau en petite quantité dans une solution de liquide ionique a aussi été étudié à l'équilibre et hors-équilibre. Un potentiel a été construit pour décrire les interactions entre l'eau et une surface de fer en utilisant la même approche que celle décrite précédemment. Des résultats préliminaires concernant la structure de l'interface liquide-métal et la valeur du coefficient de friction ont été présentés et comparés avec ceux obtenus pour les liquides ioniques purs.