Ce travail concerne l'étude de la migration du 36Cl, produit d'activation, dans le dioxyde d'uranium. Nous avons simulé la présence de 36Cl par l'implantation d'une quantité de 37Cl comparable à la concentration de chlore présente à l'état d'impureté. Afin d'évaluer les propriétés de diffusion du chlore dans le combustible, nous avons procédé à deux types d'expériences :<br />- l'influence de la température a été étudiée en effectuant des recuits thermiques dans une gamme de température comprise entre 900 et 1300°C ; nous avons montré que le chlore implanté était mobile dès 1000°C et déterminé une énergie d'activation de 4,3 eV ;<br /><br />- l'influence de l'irradiation par des produits de fission a été étudiée en irradiant les échantillons avec des ions 127I (énergie de 63,5 MeV). Nous avons pu déterminer que la diffusion du chlore implanté sous irradiation et dans la gamme de température 30 – 250°C n'était pas purement athermique. Nous avons calculé un coefficient de diffusion sous irradiation D250 °C de l'ordre de 10^(-14) cm^2s^(-1).<br />Nous avons montré l'importance des défauts d'implantation et d'irradiation qui constituent notamment des chemins préférentiels pour un transport rapide du chlore. Les calculs ab-initio effectués en complément de l'étude expérimentale montrent que le site préférentiel du chlore est un site substitutionnel. Cela nous permet de penser que le mécanisme de diffusion du chlore est un mécanisme atomique de type Frank-Turnbull ou bien un mécanisme de diffusion par paires « lacune / chlore ».

Ce manuscrit de thèse porte sur l'étude et la compréhension des boites quantiques InAs sur substrat InP, travail mené en collaboration avec l'université technique (TU) de Berlin en Allemagne, et l'université catholique (KU) de Leuven en Belgique, dans le cadre du réseau d'excellence européen SANDIE.<br /><br />Le chapitre 0 est une introduction détaillée à la physique des boites quantiques. Cette partie mets en évidence les motivations et les enjeux scientifiques liés à l'étude des boites quantiques, et en particulier dans le système InAs/InP. Les principes de fabrication des boites quantiques par épitaxie par jet moléculaire sont également détaillés.<br /><br />Le chapitre 1 présente une étude théorique des boites quantiques sur substrat InP. Ces boites sont tout d'abord étudiées à l'aide d'une méthode de calcul de type k•p à huit bandes. L'influence de la composition de la boite quantique (InAs ou InAsSb), ainsi que celle de l'orientation du substrat ((311)B ou (100)) sur les propriétés optiques des ces boites est ainsi analysée. Des solutions sont ainsi proposées pour l'utilisation de telles boites quantiques comme sources laser pour les applications télécom (1.5 µm), ou encore pour la détection de gaz, ou les transmissions en espace libre (entre 2 et 5 µm). <br /><br />Dans le chapitre 2, les boites quantiques sont étudiées expérimentalement. De nombreuses techniques de spectroscopie ont été utilisées (photoluminescence, magnéto-photoluminescence, spectroscopie d'absorption) afin de déterminer les constantes fondamentales de nos boites quantiques. Ainsi, le coefficient d'absorption, le rayon de Bohr de l'exciton, sa masse effective et son énergie de liaison sont mesurés dans le système InAs/InP, ainsi que les écarts énergétiques entre les états fondamentaux et excités de boites quantiques. Il est ainsi démontré expérimentalement que l'utilisation d'un alliage quaternaire InGaAsP est plus adapté pour les applications laser que l'alliage binaire InP. <br /><br />Le couplage latéral de boites quantiques est étudié à la fois expérimentalement et théoriquement dans le chapitre 3. Lorsque l'alliage quaternaire InGaAsP est utilisé avec des conditions de croissance optimisées, une très haute densité de boites quantiques peut être obtenue, avec une bonne organisation de ces boites dans le plan de croissance. Une nouvelle méthode de calcul dans l'espace réciproque a été développée afin de simuler un tel super-réseau de boites quantiques. Ces calculs prédisent qu'il peut exister un couplage latéral entre ces boites quantiques pour de si fortes densités. Des expériences de magnéto-photoluminescence, de photoluminescence et d'électroluminescence sont utilisées afin de mettre en évidence ce couplage latéral. L'influence de ce couplage sur la redistribution des porteurs de charge dans les composants laser est discutée. Il est montré qu'un régime de couplage judicieusement choisi permet d'améliorer les performances des lasers à boite quantique.<br /><br />Finalement, des expériences pompe-sonde sur les boites quantiques InAs/InP sont présentées dans le chapitre 4. Les temps de vie radiatifs des niveaux d'énergie de boites quantiques sont mesurées. Une interprétation de ces mesures est donnée en terme de durée de vie de l'exciton et du biexciton dans nos boites quantiques, et les conséquences de ces mesures sur le comportement dynamique des composants lasers à base de boites quantiques sont discutées.<br /><br />Des conclusions et des perspectives à ce travail de thèse sont enfin présentées, ainsi que la bibliographie utilisée comme support et point de départ de ce travail de thèse.

Le corindon pur, de formule alpha-Al_2O_3, et le béryl, de formule<br />Be_3Si_6Al_2O_18, sont des minéraux incolores. Ils deviennent colorés lorsque des ions paramagétiques sont présents en impureté. Le rubis (alpha-Al_2O_3 dopé avec du chrome) est rouge, l'émeraude (Be_3Si_6Al_12O_18 dopé avec du chrome) est verte. Le corindon dopé avec du fer est jaune, il est rose s'il est dopé avec du titane. Le saphir bleu contient à la fois du fer et du titane (alpha-Al_2O_3:Fe-Ti). La couleur est généralement interprétée dans le cadre de la théorie du champ cristallin. Elle doit donc s'expliquer par un champ cristallin spécifique autour de ces ions colorants, correspondant dans chaque cas à une structure locale (cristallographique et electronique) précise.<br /><br />Notre objectif est de décrire précisément l'environnement autour des<br />impuretés dans les gemmes. Pour cela, nous effectuons à la fois des expériences d'absorption de rayons X, et des calculs ab initio. La structure cristallographique locale déduite des mesures expérimentales est comparée à celle déduite d'un calcul de relaxation de structure par minimisation d'énergie. La comparaison directe entre les spectres d'absorption de rayons X calculés et expérimentaux nous donne des informations à la fois sur la structure cristallographique et électronique locale. Tous ces calculs utilisent la théorie de la fonctionnelle de la densité.<br /><br />Cette étude révèle que l'introduction d'une impureté dans une structure conduit à des modifications très locales du cristal autour de l'impureté. Les atomes d'oxygène de la sphère de coordination de l'impureté M (M = Fe ou Cr) dans alpha-Al_2O_3 adoptent un arrangement similaire à celui autour de M dans alpha-M_2O_3.

La spintronique est un nouveau domaine de recherche qui exploite l'influence de la caractéristique quantique de l'électron (le spin) sur la conduction électrique. Pour réaliser des composants de spintronique innovants, l'obtention des semi-conducteurs ferromagnétiques à température ambiante devenait un challenge international. Dans ce contexte, après les premières prédictions théoriques de la haute température de Curie de Zn1-xCoxO et les rapports contradictoires sur l'état magnétique de ce système, nous nous sommes attaché à étudier le semi-conducteur magnétique dilué Zn1-xCoxO. Une étude ab initio des propriétés structurales, électroniques et magnétiques du Zn1-xCoxO a été effectuée en utilisant la méthode de pseudopotentiels dans le cadre de la théorie de la fonctionnelle de la densité (DFT) avec les deux approximations GGA et GGA+U. En parallèle, des films minces de Zn1-xCoxO ont été synthétisés par co-pulvérisation cathodique magnétron en condition réactive avec différentes conditions d'élaboration. Les propriétés structurales, morphologiques, électriques et magnétiques ont été analysées par différentes techniques de caractérisation et confrontées à celles obtenues par l'étude ab inito.

Ce travail porte sur l'évaluation des éléments de couplage entre sites magnétiques dans des complexes de transition. Nous discutons tout d'abord de la validité d'un hamiltonien de Heisenberg pour représenter des systèmes à deux électrons célibataires par centre et montrons les avantages d'un nouvel hamiltonien adapté à ce type de système. Sont ensuite présentés les résultats de calculs ab initio aidant à la compréhension du comportement de deux complexes de transition intéressants. Le premier est un complexe moléculaire organique formé autour d'un ion Ni(II) (d8, deux électrons célibataires dans deux orbitales magnétiques) qui a dans sa sphère de coordination deux radicaux nitroxydes (un électron célibataire chacun). Ce complexe a été obtenu sous deux formes cristallines très différentes. Dans la phase alpha, les deux nitroxydes sont équivalents et en position trans par rapport au centre de symétrie occupé par l'ion Ni(II). Dans la phase beta, les nitroxydes ne sont plus équivalents et l'angle "nitroxyde-Ni-nitroxyde" est proche de 90 degrés. Alors que la phase alpha présente des couplages antiferromagnétiques entre le nickel et les deux radicaux, la phase beta présente un couplage antiferromagnétique entre le nickel et l'un des deux nitroxydes tandis que le couplage avec l'autre nitroxyde est ferromagnétique. L'autre système étudié, NaV2O5, est un système cristallin à valence mixte. Il est l'un des deux seuls composés inorganiques pour lesquels une transition de Spin-Peierls a été observée. Cette transition est bien connue théoriquement et a été observée sur des composés organiques où le magnétisme est unidimensionnel. Par contre, elle est beaucoup moins bien connue dans des cas plus complexes de composés inorganiques tels CuGeO3 et NaV2O5. Nous étudions les structures haute température (au-dessus de la transition) et basse température de ce composé. La comparaison entre les résultats permet de mieux comprendre la nature de la transition.

L'anisotropie magnétique est à l'origine de la lente relaxation de l'aimantation des aimants moléculaires. L'objectif principal de ce travail est de comprendre les facteurs qui gouvernent les anisotropies locales et intersites dans les composés polynucléaires. Des calculs relativistes et corrélés ont été effectués sur des systèmes mono- et bi-nucléaires. Les dégrés de liberté principaux de la méthode ab initio d'interaction d'états en deux étapes ont été optimisés pour obtenir des paramètres d'anisotropie en bon accord avec les résultats spectroscopiques. La théorie des hamiltoniens effectifs procure un procédé universel d'extraction de ces paramètres. Elle a donc été utilisée pour vérifier la validité des modèles usuels et proposer des éventuelles améliorations aux modèles. Enfin, les paramètres d'anisotropies ont été rationalisés dans certains cas à l'aide de la théorie des perturbations quasi-dégénérées.

Les composés intermétalliques à base d'éléments de terres rares et de métaux de transition présentent des propriétés magnétiques intéressantes pour les applications technologiques (aimants permanents, enregistrement magnétique,...). Ce travail est dédié à l'étude des propriétés structurales et magnétiques des nanomatériaux de type PrCo(3-x)Fex, dérivant de la structure PuNi3. L'état nanocristallin a pour but d'optimiser les propriétés magnétiques extrinsèques, il a été obtenu par broyage à haute énergie suivi d'un recuit. Les composés PrCo3 ont une anisotropie uniaxiale, une aimantation très importante et un champ coercitif de 12 kOe à température ambiante et de 55 kOe à T = 10 K. L'analyse des données de diffraction des rayons X par affinement Rietveld a montré que le système PrCo3-xFex est mono-phasé de type PuNi3 pour x < 1. La substitution du Co par Fe induit des améliorations significatives sur les propriétés magnétiques intrinsèques. Cette amélioration est due d'une part au renforcement du moment magnétique moyen 3d des composés substitués, et d'autre part à l'effet magnétovolumique. Parallèlement, nous avons complété cette étude expérimentale par deux études théoriques. La première approche, à l'échelle atomique, consiste à faire des calculs de type DFT des structures électroniques et des propriétés magnétiques intrinsèques des intermétalliques RCox, (R = Y, Pr et x = 2, 3, 5) et PrCo(3-x)Fex. La seconde approche correspondant à l'échelle mésoscopique a pour but d'interprêter le lien entre les propriétés magnétiques extrinsèques et la structure à l'échelle nanométrique. Elle est menée dans le cadre du micromagnétisme par une méthode de type éléments finis

Cette thèse propose une modélisation aussi générique que possible de la combustion dans les moteurs automobiles dans un cadre de simulation aux grandes échelles. Une première étude aborde la fermeture du terme de transport non résolu pour la flamme de prémélange. Par la suite, un couplage entre les modèles ecfm-les et pcm-fpi est proposé et validé pour intégrer les effets de chimie complexe à la simulation de la flamme de prémélange. Ce travail est étendu par l'adjonction de modélisations spécifiques à l'allumage par bougie et de l'auto-inflammation, toujours en intégrant les effets de chimie détaillée. Des calculs d'application aux combustions anormales dans les moteurs à allumage commandé concluent ce travail.

Les méthodes formelles ont atteint un degré de maturité conduisant à la conception de systèmes de preuves généralistes, permettant à la fois de vérifier la correction de systèmes logiciels complexes ou de formaliser des mathématiques avancées. Mais souvent, l'accent est mis davantage sur la facilité du raisonnement sur les programmes plutôt que sur leur exécution efficace. L'antagonisme entre ces deux aspects est particulièrement sensible pour les algorithmes de calcul formel, dont la correction repose habituellement sur des concepts mathématiques élaborés, mais dont l'efficacité pratique est une préoccupation importante. Cette thèse développe des approches à l'étude formelle et l'exécution efficace de programmes en théorie des types, et plus précisément dans l'assistant à la preuve \coq{}. Dans un premier temps, nous présentons un environnement d'exécution permettant de compiler en code natif de tels programmes tout en conservant la généralité et l'expressivité du formalisme. Puis, nous nous intéressons aux représentations de données et plus particulièrement au lien formellement vérifié et automatisé entre représentations adaptées aux preuves ou au calcul. Ensuite, nous mettons à profit ces techniques pour l'étude d'algorithmes en algèbre linéaire, comme le produit matriciel de Strassen, le procédé d'élimination de Gauss ou la mise en forme canonique de matrices, dont notamment la forme de Smith pour les matrices sur un anneau euclidien. Enfin, nous ouvrons le champ des applications à la formalisation et au calcul certifié des groupes d'homologie de complexes simpliciaux issus d'images numériques.

Les dépendances fonctionnelles fournissent une information sémantique sur les données d'une table en mettant en lumière les liens de corrélation qui les unient. Dans cette thèse, nous traitons du problème de l'extraction de ces dépendances en proposant un contexte unifié permettant la découverte de n'importe quel type de dépendances fonctionnelles (dépendances de clé, dépendances fonctionnelles conditionnelles, que la validité soit complète ou approximative). Notre algorithme, ParaCoDe, s'exécute en parallèle sur les candidats, réduisant ainsi le temps global de calcul. De ce fait, il est très compétitif vis-à-vis des approches séquentielles connues à ce jour. Les dépendances satisfaites sur une table nous servent à résoudre le problème de la matérialisation partielle du cube de données. Nous présentons une caractérisation de la solution optimale dans laquelle le coût de chaque requête est borné par un seuil de performance fixé préalablement et dont la taille est minimale. Cette spécification de la solution donne un cadre unique pour décrire et donc comparer formellement les techniques de résumé de cubes de données.