K-theory and cyclic cohomology of crossed products in the context of Lie groups

AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Modélisation pluridisciplinaire d'expériences d'irradiation dans un réacteur d'irradiation technologique

Un réacteur d'irradiation technologique permet d'irradier des échantillons de matériaux sous des flux neutroniques et photoniques intenses. Ces expériences sont réalisées dans des dispositifs expérimentaux localisés soit au coeur du réacteur, soit en périphérie (ré- flecteur). Les outils de simulation dont disposent les physiciens ne traitent la plupart du temps qu'une seule discipline de manière très précise. C'est pourquoi les simulations multiphysiques des expériences d'irradiation nécessitent l'utilisation séquentielle de plusieurs codes de calcul et des échanges de données entre ces codes : il s'agit de problèmes de couplage. Afin de développer des simulations multiphysiques pour les réacteurs OSIRIS et RJH, les travaux de thèse ont mis en place un modèle de données à partir d'objets informatiques que nous avons appelés Entités Technologiques. Ce modèle, commun à chacune des disciplines, permet de définir la géométrie d'un dispositif d'irradiation de manière paramétrique et d'y associer des informations sur les matériaux le composant. Les simulations numériques sont encapsulées dans des classes informatiques présentant des interfaces (des méthodes et des attributs) spécifiques. De cette manière, les fonctionnalit és nécessaires à l'échanges de données et aux contrôles de l'exécution des calculs sont accessibles à partir des mêmes commandes informatiques (Mettre en données, lancer un calcul, post-traiter, récupérer des résultats. . . ), quelle que soit la simulation numérique traitée. Ainsi, une fois encapsulées, ces simulations numériques peuvent être réutilisées et échangées pour différentes études. Ce modèle de données est développé sous la forme d'un composant de la plate-forme SALOME. L'ensemble des études peut alors être réalisé dans SALOME. Le premier cas d'application a permis de traiter le cas des simulations neutronique (réacteurs OSIRIS et RJH) couplées avec des simulations du comportement du combustible. A terme, la thermohydraulique pourra également être prise en compte. Outre l'amélioration de la précision de calcul dû au couplage des phénomènes de physique, la durée du développement de telles simulations se trouve fortement réduite et la plate-forme de simulation ouvre la possibilité du traitement des incertitudes.A Material Testing Reactor (MTR) makes it possible to irradiate material samples under intense neutron and photonic fluxes. These experiments are carried out in experimental devices localised in the reactor core or in periphery (reflector). Available physics simulation tools only treat, most of the time, one physics field in a very precise way. Multiphysic simulations of irradiation experiments therefore require a sequential use of several calculation codes and data exchanges between these codes: this corresponds to problems coupling. In order to facilitate multiphysic simulations, this thesis sets up a data model based on data-processing objects, called Technological Entities. This data model is common to all of the physics fields. It permits defining the geometry of an irradiation device in a parametric way and to associate informations about materials to it. Numerical simulations are encapsulated into interfaces providing the ability to call specific functionalities with the same command ( to initialize data, to launch calculations, to post-treat, to get results, . . . ). Thus, once encapsulated, numerical simulations can be re-used for various studies. This data model is developed in a SALOME platform component. The first application case made it possible to perform neutronic simulations (OSIRIS reactor and RJH) coupled with fuel behavior simulations. In a next step, thermalhydraulics could also be taken into account. In addition to the improvement of the calculation accuracy due to the physical phenomena coupling, the time spent in the development phase of the simulation is largely reduced and the possibilities of uncertainty treatment are under consideration.AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

large band gap nanohybrid (study of their syntheses, properties and applications)

Ma thèse consiste à étudier le greffage du colorant sur des particules de ZnO, leurs propriétés optiques, morphologiques et les interactions électroniques entre ZnO inorganique et colorant organique. Nous avons créé des nanohybrides à base de ZnO (sphères et bâtonnets) par deux voies: Ablation laser femtoseconde en phase liquide et Procédés chimiques. Des ZnO sphériques de quelques nanomètres sont générées par ablation montrant l'effet du confinement quantique dû à leur taille réduite. La croissance de ZnO (bâtonnets) synthétisés chimiquement s effectue par mûrissement d Oswald et attachement orienté. Les propriétés optiques des hybrides dépendent de la forme de ZnO, et du type et densité du colorant. Nous avons parvenu à remodeler l énergie de bande interdite des nanosphères de ZnO dans l hybride par simple variation de la densité du colorant. Nous avons ainsi montré l effet de confinement quantique dû à la création de couches de charges dans le ZnO induites par la porphyrine adsorbée.My thesis consists on designing dye-functionalized ZnO nanoparticles and studying their optical and morphological properties as well as the electronic interactions between inorganic ZnO and organic dye. We produced nanohybrids based on ZnO spheres and rods via two routes: Femtosecond laser ablation in liquid medium and Solution-based chemical procedures. Spherical ZnO of few nanometers created by laser ablation reveal by photoluminescence the effect of quantum confinement due to size reduction. The hemicallysynthesized ZnO rod-growth occurs by Oswald repining and Oriented attachment as noticed by HRTEM. Optical properties of the hybrids strongly depend on ZnO shapes as well as on dye type and concentration. We were able to engineer the band gap of the small ZnO particles in the nanohybrid matrices simply upon varying the dye concentration. We showed thus the quantum confinement effect through induced charged layers in the ZnO due to the adsorbed porphyrin dye.AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Théories complètes autour des arbres

AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Terme constant de fonctions sur un espace symétrique réductif p-adique

Nous etablissons une g en eralisation de la dualit e de Casselman aux espaces sym etriques r eductifs p-adiques et nous etudions le comportement asymptotique de certains coefficients g en eralis es. Nous prouvons aussi un analogue d un lemme de Langlands gr ace auquel nous obtenons un r esultat de disjonction de certaines parties de la d ecomposition de Cartan des espaces sym etriques r eductifs p-adiques.We generalize Casselman s pairing to p-adic reductive symmetric spaces and study the asymptotic behaviour of certain generalized coefficients. We also prove an analogue of a lemma due to Langlands which allows us to prove a disjunction result for the Cartan decomposition of the p-adic reductive symmetric spaces.AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Etude d'algorithmes pour la fonction détection d'obstacles pour les vols en hélicoptères

AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Ordonnancement avec exclusion mutuelle par un graphe d'intervalles ou d'une classe apparentée (complexité et algorithmes)

AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Théromène de l'indice et formule des traces

Apres avoir rappel e la d efinition des op erateurs de Dirac et des fonctions indice on d ecrit le probleme etudi e : donner une formule g eom etrique aussi explicite que possible pour l indice L2 d un op erateur de Dirac sur un espace localement sym etrique de volume fini. On montre tout d abord que l indice L2 s exprime naturellement au moyen de la formule des traces invariante d Arthur appliqu ee a une fonction indice, puis, apres avoir rappel e la solution donn ee par Arthur dans le cas des caract eristiques d Euler-Poincar e, on examine l expression g eom etrique obtenue et le probleme restant a r esoudre dans le cas g en eral. La troisieme partie est consacr ee a des r esultats r ecents sur l endoscopie et le lemme fondamental, puis on introduit l hyper-endoscopie qui fournit une inversion de la stabilisation de la formule des traces ; c est la clef de nos r esultats. La quatrieme partie est d edi ee au calcul explicite du transfert endoscopique local pour les fonctions indice. La derniere partie est consacr ee au r esultat principal.Our purpose is to obtain a geometric formula as explicit as possible for the L2 index of a Dirac operator over a locally symmetric pace of finite volume, generalizing Arthur s formula for the Euler-Poincar e caracteristic.AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Détermination des poids des codes de Reed-Muller généralisés

AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF

Algorithmes de couverture et d'augmentation de graphes sous contraintes de distance

Nous étudions plusieurs problèmes d amélioration de réseaux qui consistent à ajouter de nouvelles liaisons à un réseau donné afin d améliorer ses performances et sa robustesse. Ces problèmes sont formulés comme des problèmes d augmentation de graphes de la façon suivante : ajouter un nombre minimum d arêtes à un graphe de façon à obtenir un graphe augmenté qui satisfasse certaines contraintes de diamètre et/ou de connexité. La plupart de ces problèmes sont difficiles à approximer avec un facteur constant.Néanmoins, dans cette thèse, nous proposons des algorithmes avec des facteurs constants pour certaines classes de graphes importantes : les arbres, les graphes planaires, les graphes de largeur arborescente bornée, les graphes [delta]-hyperboliques. Nos algorithmes dérivent leurs solutions en couvrant le graphe initial avec un nombre minimum de boules. Pour chacune de ces classes de graphes, nous présentons trois types de résultats : (i) des algorithmes exacts ou d approximation pour des problèmes de couverture par des boules, (ii) des résultats min-max qui garantissent la qualité des solutions construites, (iii) des méthodes pour dériver une augmentation admissible à partir d une couverture du graphe initial par des boules. Nous résolvons aussi une conjecture de Gavoille, Peleg, Raspaud et Sopena (2001) en montrant que tout graphe planaire de diamètre 2R peut être couvert par un nombre constant de boules de rayon R.We study several NP-hard network improvement problems, which consist in adding new links to a network in order to improve its performance and robustness. They are formulated as graph augmentation problems in the following way: add a minimum number of edges to a given graph so that the resulting augmented graph satisfies certain diameter and/or connectivity constraints. Most of these problems are hard to approximate within a constant factor. Nevertheless, in this thesis, we propose constant factor approximation algorithms in several important classes of graphs: trees, planar graphs, graphs of bounded treewidth,[delta]-hyperbolic graphs. Our algorithms derive their solutions by covering the initial graph with a minimum number of balls. For each of these classes of graphs, we present three kinds of results: (i) exact or approximation algorithms for covering with balls, (ii) min-max results which guarantee the quality of the constructed solutions, (iii) methods for deriving a feasible augmentation from a covering with balls of the initial graph. We also solve a conjecture by Gavoille, Peleg, Raspaud, and Sopena (2001) by showing that any planar graph of diameter 2R can be covered with a constant number of balls of radius R.AIX-MARSEILLE2-BU Sci.Luminy (130552106) / SudocSudocFranceF