Des panaches sont connus pour migrer à travers le manteau ductile et quasi-Newtonien ; alors que les dikes se fracturent et se propagent dans la lithosphère solide. Cependant, la lithosphère est en fait visco-élastique. Afin de déterminer ce qui se passe dans ce cas complexe, nous avons réalisé une étude expérimentale et numérique sur le développement de panaches thermiques dans des solutions aqueuses de Carbopol, un gel de polymères formant un réseau continu d'éponges microscopiques. Ce fluide est rhéofluidifiant et présente un seuil de contrainte σ₀, de sorte que l'écoulement ne se produit que si la contrainte locale dépasse cette valeur critique σ₀. En dessous de cette valeur, le fluide agit comme un solide élastique. Les propriétés rhéologiques des solutions peuvent être systématiquement ajustées en variant la concentration de Carbopol. Le dispositif consiste en une source locale de chaleur de puissance constante placée au centre d'une cuve cubique. Selon la valeur du rapport entre la contrainte d'origine thermique et la contrainte seuil, Y₀, on peut observer trois régimes différents. A faible Y₀.

Ce travail porte sur la modélisation numérique des propriétés diélectriques de matériaux composites modèles à deux et trois phases comportant des inclusions de forme arbitraire. Deux approches numériques basées sur la méthode des éléments finis FE) et celle des différences finies dans le domaine temporel (FDTD) sont implantées et validées. Dans un premier temps nous décrivons une méthode de simulation FDTD pour étudier l'influence de la géométrie de l'inclusion sur les propriétés diélectriques effectives d'une structure hétérogène non-dissipative bidimensionnelle à deux phases. Nous avons spécifiquement considéré une géométrie fractale de l'inclusion et examinons les conséquences de la symétrie d'auto-similarité sur la permittivité du matériau composite. Dans un deuxième temps, nous utilisons une méthode de simulation FE permettant le calcul de la permittivité effective complexe de structures bidimensionnelles perforées. Ces calculs permettent d'apporter un éclairage innovant sur le rôle des différents paramètres (fraction surfacique et périmètre de l'inclusion, contraste de permittivité entre l'inclusion et la matrice hôte, pertes diélectriques, et forme des trous) influençant la permittivité effective. Nous montrons également que le facteur de dépolarisation d'une inclusion dans une structure composite peut être finement ajusté selon la forme de l'inclusion, le contraste de permittivité entre l'inclusion et la matrice, ainsi que par la polarisation du champ électrique. L'originalité de la méthode est de mettre à profit le caractère dipolaire des interactions électrostatiques dans la limite diluée. De par l'analogie qui existe entre les phénomènes de polarisation et d'aimantation dans l'hypothèse quasi-tatique, ces paramètres permettent aussi une évaluation du facteur de désaimantation. Les propriétés diélectriques de matériaux artificiels (métamatériaux) sont également analysées afin d'en isoler des comportements spécifiques. Nous montrons que la forme de l'inclusion influe sur la position de la résonance électrostatique (RE). Selon la forme de l'inclusion, son arrangement dans le composite(isolée, ou structurée en réseau), ses paramètres intrinsèques, nous mettons en évidence une hiérarchie originale des positions de la RE. Enfin à l'aide de structures encapsulées, nous montrons qu'un contrôle précis des propriétés de RE de structures de type métamatériaux (permittivité dont la partie réelle est négative) peut être réalisé par la polarisation du champ excitateur et la topologie de l'inclusion. L'ensemble de ces résultats numériques permet d'apporter un éclairage innovant sur la réponse diélectrique de matériaux composites à la base d'un très grand nombre d'application technologiques.

Ce travail porte sur la modélisation numérique des propriétés diélectriques de matériaux composites modèles à deux et trois phases comportant des inclusions de forme arbitraire. Deux approches numériques basées sur la méthode des éléments finis (FE) et celle des différences finies dans le domaine temporel (FDTD) sont implantées et validées. Dans un premier temps nous décrivons une méthode de simulation FDTD pour étudier l'influence de la géométrie de l'inclu- sion sur les propriétés diélectriques effectives d'une structure hétérogène non-dissipative bidimensionnelle à deux phases. Nous avons spécifiquement considéré une géométrie fractale de l'inclusion et examinons les conséquences de la symé- trie d'auto-similarité sur la permittivité du matériau composite. Dans un deuxième temps, nous utilisons une méthode de simulation FE permettant le calcul de la permittivité effective complexe de structures bidimensionnelles perforées. Ces calculs permettent d'apporter un éclairage innovant sur le rôle des différents paramètres (fraction surfacique et périmètre de l'inclusion, contraste de permittivité entre l'inclusion et la matrice hôte, pertes diélectriques, et forme des trous) in- fluençant la permittivité effective. Nous montrons également que le facteur de dépolarisation d'une inclusion dans une structure composite peut être finement ajusté selon la forme de l'inclusion, le contraste de permittivité entre l'inclusion et la matrice, ainsi que par la polarisation du champ électrique. L'originalité de la méthode est de mettre à profit le carac- tère dipolaire des interactions électrostatiques dans la limite diluée. Les propriétés diélectriques de matériaux artificiels (métamatériaux) sont également analysées afin d'en isoler des comportements spécifiques. Nous montrons que la forme de l'inclusion influe sur la position de la résonance électrostatique (RE). Selon la forme de l'inclusion, son arrangement dans le composite (isolée, ou structurée en réseau), ses paramètres intrinsèques, nous mettons en évidence une hiérarchie originale des positions de la RE. Enfin à l'aide de structures encapsulées, nous montrons qu'un contrôle précis des pro- priétés de RE de structures de type métamatériaux (permittivité dont la partie réelle est négative) peut être réalisé par la polarisation du champ excitateur et la topologie de l'inclusion. L'ensemble de ces résultats numériques permet d'apporter un éclairage innovant sur la réponse diélectrique de matériaux composites à la base d'un très grand nombre d'application technologiques.

Le travail décrit dans cette thèse s'inscrit dans le contexte de la validation de propriétés de sûreté de programmes, et plus particulièrement des propriétés numériques. L'utilisation de la technique d'Analyse des Relations Linéaires, une interprétation abstraite fondée sur une approximation des états numériques par des polyèdres convexes, a fait ses preuves dans le domaine. Il s'agit de générer des surapproximations polyédriques de l'ensemble des valuations associées à chaque point de contrôle, l'introduction d'un opérateur d'élargissement assurant la convergence des analyses. Cependant dans certains cas les invariants générés ne sont pas assez précis, et l'amélioration de la précision via le retardement du moment d'application de l'élargissement est trop via le retardement du moment d'application de l'élargissement est trop coûteux. Nous nous sommes donc intéressés aux méthodes dites d'accélération, qui consistent à calculer exactement l'effet d'une ou plusieurs boucles (sous la forme de formules de Presburger), le principal inconvénient de ces méthodes étant qu'elles ne s'appliquent qu'à une classe restreinte de programmes.<br />Dans cette thèse nous proposons une approche combinant l'Analyse des Relations Linéaires classique (avec élargissement) et la notion d'Accélération abstraite utile pour calculer une surapproximation précise de l'application itérée de certains types de boucles, dans le but d'améliorer la précision des analyses tout en garantissant toujours la terminaison. Les premiers résultats expérimentaux obtenus grâce à l'implémentation de l'analyseur Aspic ont permis de valider la méthode, qui a le principal avantage de combiner amélioration de la précision et efficacité.

Dans la quasi-totalité des écrits sur l'éducation en Afrique, l'enseignement à distance (EAD) est paré de toutes les vertus et serait susceptible de moderniser les systèmes éducatifs, de réduire les coûts de l'enseignement, de remettre à niveau les enseignants, de massifier l'accès à l'enseignement supérieur. Des projets à vocation continentale comme celui de l'Université virtuelle africaine de la Banque mondiale côtoient des dispositifs plus ciblés géographiquement et culturellement comme celui des campus numériques francophones de l'Agence universitaire de la Francophonie et des initiatives localement portées par des individus plus que par les institutions. Notre interrogation triviale de départ est « à quoi sert l'EAD en Afrique ? ». Elle en révèle une autre plus délicate : « à qui sert l'EAD en Afrique ? ». Notre hypothèse principale est que l'enseignement à distance peut servir à la fois pour façonner l'université de l'extérieur et la renouveler de l'intérieur.

L'objectif de cette thèse est l'étude de la variabilité de la température de la couche de mélange océanique dans l'Atlantique équatorial, à l'aide de simulations numériques. <br />Les résultats obtenus montrent la prédominance des processus verticaux et des ondes tropicales d'instabilité (<35jours, ~500km) pour expliquer la variabilité de la température de la couche de surface à l'échelle annuelle. <br />L'étude d'évènements interannuels a permis de distinguer deux processus distincts responsables de la variabilité interannuelle de la température de surface : l'un dynamique et distant crée par les anomalies de vent dans l'ouest du bassin et agissant par l'intermédiaire de la propagation d'ondes de Kelvin équatoriales et le second, thermodynamique et local à l'échelle du Golfe de Guinée, créé par les anomalies interannuelles de flux de chaleur.

Le problème du transport de moment cinétique dans les disques d'accrétion<br />astrophysiques fait l'objet d'un vif débat depuis maintenant une trentaine<br />d'années. On<br />propose ici une étude de ce transport en considérant plusieurs instabilités<br />pouvant conduire à de la turbulence développée dans les disques. La première<br />instabilité proposée est l'instabilité hydrodynamique sous critique de<br />cisaillement. Une étude numérique de cette instabilité nous permet de montrer<br />que, bien que non détectable dans les simulations, le transport obtenu sera<br />très probablement bien trop faible pour expliquer les observations actuelles.<br />Nous étudions ensuite l'instabilité strato-rotationnelle et nous montrons<br />par un développement analytique que les contraintes sur les conditions aux<br />limites empêchent la formation de cette instabilité dans un vrai disque. Enfin,<br />nous nous intéressons à l'instabilité magnéto-rotationnelle en présence d'effets<br />non idéaux (viscosité et résistivité magnétique). Nous montrons alors que ces<br />effets non idéaux, bien que faibles a priori, ont un fort impact sur<br />l'efficacité de la turbulence finalement engendrée. Ce dernier point montre le<br />rôle que peut avoir la microphysique dans le processus de saturation, et la<br />nécessité d'avoir une modélisation de ces effets afin d'obtenir un<br />modèle de transport cohérent dans les disques d'accrétion.

Ce travail s'inscrit dans la thématique classique en mécanique théorique de l'homogénéisation de milieux hétérogènes, dans le cadre notoirement problématique d'un contraste infini entre deux phases en présence (l'une étant la porosité du milieu), et d'un comportement non-linéaire, celui de la phase solide plastique. Il traite de la question d'une prise en compte correcte du phénomène de localisation de la déformation plastique en présence de porosité dans la loi de comportement effective du milieu poreux, en particulier dans la limite non-triviale des porosités faibles. Cette question, importante pour la bonne compréhension de l'endommagement ductile, est examinée tant d'un point de vue numérique que théorique, dans le cadre restreint de systèmes bi-dimensionnels, dans une approche en déformation de la plasticité. L'approche numérique utilise des calculs quasi-exacts des champs de contrainte et de déformation par méthode de Transformée de Fourier Rapide sur des systèmes périodiques (réseau de pores) ou aléatoires (désordre sans corrélations spatiales), menée au moyen d'une fonction de Green particulière. L'approche théorique repose sur des calculs exacts, possibles dans certain cas, ainsi que sur l'exploitation de méthodes d'homogénéisation non-linéaires récentes, dites « de second ordre ». La qualité de l'homogénéisation non-linéaire du milieu poreux est évaluée en deux étapes, d'abord au moyen d'une étude de l'homogénéisation linéaire anisotrope qui la sous-tend, puis de la mise en oeuvre non-linéaire proprement dite. La nature et la signification des singularités qui apparaissent dans la théorie, dans la limite des faibles porosités, confirmée par les calculs numériques, sont élucidées en partie. Enfin, des observations originales sur la relation entre l'organisation de la plasticité dans un milieu poreux aléatoire, et certaines caractéristiques de la courbe de déformation macroscopique sont présentées.

Lorsqu'une pièce mécanique est soumise à une sollicitation mécanique répétée dans le temps, elle risque de s'endommager après un certain nombre de cycles d'utilisation par amorçage de plusieurs fissures et propagation d'une fissure principale. C'est le phénomène d'endommagement par fatigue. La thèse traite plus particulièrement du possible endommagement de certains composants de centrales nucléaires par fatigue thermique. Contrairement à l'endommagement classique en fatigue mécanique où une fissure principale vient rompre la pièce, l'endommagement par fatigue thermique se traduit généralement par l'apparition d'un réseau de fissures surfaciques. Deux aspects sont traités dans la thèse. Le premier est l'étude expérimentale de la phase de fissuration multiple ou multifissuration en fatigue. Pour cela deux campagnes d'essais avec détection de la multifissuration par corrélation d'images numériques ont été menées. Ces campagnes concernent des chargements mécaniques uniaxiaux et équibiaxiaux de traction/compression sans contrainte moyenne. Ce travail a permis de suivre et d'observer l'évolution de différents réseaux de fissures à travers des sollicitations de type mécanique. Le second est la simulation numérique du phénomène d'endommagement en fatigue mécanique et thermique. Plusieurs types de modélisation sont utilisés (stochastique, probabiliste, éléments finis cohésifs). Les résultats expérimentaux ont permis d'identifier une loi d'amorçage multiple en fatigue et sont également confrontés aux résultats numériques. Cette confrontation permet notamment de montrer la pertinence de l'utilisation d'un modèle probabiliste analytique afin de retrouver des résultats statistiques sur la densité de fissures qui peuvent être amorcées en fatigue thermique et mécanique.

Cette thèse porte sur le partage des ressources pédagogiques et sur la conception de fonctionnalités spécifiques pour faciliter la visualisation du cycle de vie des ressources éducatives en lien avec leur utilisation en classe dans le contexte éducatif du Vietnam. Une première enquête exploratoire par questionnaire (N = 69) a permis de réaliser une brève synthèse sur l'utilisation des TIC pour l'enseignement dans les lycées du Vietnam. Une seconde enquête par questionnaire (N=905) et par entretien (N= 25) a mis en évidence des différences entre les enseignants dans le partage des ressources pédagogiques (selon le genre, le type de discipline et le type de lycée d'exercice). Elle a recueilli les opinions des enseignants sur les fonctionnalités d'un site efficace de partage et sur la formation du cycle de vie d'une ressource. Ensuite, deux expérimentations concernant le partage entre enseignants ont révélé un faible partage des ressources pédagogiques, un faible ajout de nouvelles versions ainsi que des discussions peu nombreuses sur les sujets pédagogiques. Cette thèse confirme l'idée d'un partage possible des ressources éducatives en mettant l'accent sur les facteurs favorables tels que la qualité des ressources, la motivation, la confiance des contributeurs, l'incitation, la mise en place de fonctionnalités de discussion et de partage de ressources avec un site web. Les obstacles au partage ont été recensés, notamment le manque de temps, le manque de confiance, le manque de motivation, une certaine forme de culture, le droit d'auteur, l'instabilité de la qualité du réseau internet, le manque de connaissances sur les TIC, la concurrence dans le travail, la barrière du leadership de l'école. Cette thèse permet d'envisager d'autres perspectives d'étude sur le partage des ressources pédagogiques et peut aider à la conception d'un site web facilitant le partage entre les enseignants.