Les travaux récents de Bezrukavnikov, Mirkovic et Rumynin obtiennent une bonne théorie de la localisation des Ug-modules en caractéristique positive (où g est l'algèbre de Lie d'un groupe algébrique semi-simple connexe et simplement connexe), qui donne lieu à des équivalences de catégories dérivées entre des catégories de g-modules et des catégories de faisceaux cohérents sur la variété de Springer. Dans cette thèse, on applique et étend certains résultats de cette theorie. Dans le chapitre II, on donne une construction géométrique d'une action du groupe de tresses affine étendu apparaissant dans la théorie de la localisation. Le chapitre III contient les résultats principaux de la thèse : on y développe une version appropriée d'une « dualité de Koszul linéaire », qui permet de démontrer que certains blocs de Ug peuvent être munis d'une graduation de Koszul, si la caractéristique du corps est suffisamment grande. Ceci généralise des résultats antérieurs de Andersen, Jantzen et Soergel. Dans le chapitre IV, en collaboration avec Mirkovic, on reprend la « dualité de Koszul linéaire », sous une forme un peu différente, valable dans un cadre plus général. Enfin, le chapitre I (en collaboration avec Roman Bezrukavnikov) donne des calculs explicites dans le cas de SL(3) qui ont été le point de départ de ce travail.

Le chaos quantique désigne l'étude de systèmes dont le prolongement classique est chaotique. Le modèle du pendule pulsé, qui en est un exemple paradigmatique, est réalisé expérimentalement en plaçant un échantillon d'atomes refroidis (MOT) dans une onde stationnaire pulsée formée par un faisceau laser retro-reflechi. L'étude de la dynamique s'appuie sur la mesure de la distribution d'impulsions des atomes. <br />Après avoir retrouvé expérimentalement le phénomène quantique de localisation dynamique, lié au caractère périodique de la séquence de pulses, la destruction de ce phénomène (délocalisation dynamique) par l'utilisation de séquences superposant deux séries de pulses de période (séquence bicolore) est étudiée puis expliquée par un modèle théorique. Cette analyse suggère que la délocalisation est, dans ce contexte, réversible. Il est ainsi montré expérimentalement qu'une séquence bicolore inversée conduit une délocalisation suivie d'une relocalisation.

Sucrose synthase (SUS) is a key enzyme in sucrose metabolism. This enzyme catalysis the reversible conversion of sucrose and UDP to UDP-glucose and fructose, which are both used in multiple biochemical pathways. The Arabidopsis genome contains six sucrose synthase genes. A member of this family (SUS2) is strongly and specifically expressed in Arabidopsis seeds during the maturation phase, corresponding to reserve accumulation period. Total SUS activity reached a peak during seed maturation, at about 15 days after flowering (DAF), which corresponds approximately to the middle of this stage. This activity pattern fitted well with SUS2 mRNA abundance, although we cannot exclude the presence of other SUS isoform activities, such as SUS3, in seeds at late maturation. Using specific antibodies we have shown that, SUS2 is localised in the embryo, endosperm and seed coat with differential patterns. During the maturation phase, the SUS2 protein was mainly colocalised with plastids in the embryo. This result is consistent with the hypothesis that SUS2 association with the plastid may play a role in channelling of sucrose metabolism to G-6-P or PEP, both carbon compounds which enter the plastids enabling starch or lipid synthesis. Indeed, the regulation of SUS2 and SUS3 expression was investigated during seed development for wild type (WT) and for seed maturation mutants (i.e. lec2-4, fus3-4 and abi3). The accumulation patterns of SUS mRNA and protein, as well as total activity, were strongly affected in these mutants during seed development. We showed that the expression of the SUS2 promoter was induced in planta by sugar (glucose, sucrose and trehalose) and that the expressions of SUS2 and SUS3 promoters are redundantly regulated by LEC2 and FUS3 during the maturation phase. Last, a functional analysis was carried out in developing seeds, using biochemical characterisation and metabolite profiling of one sus1, two sus2 and two sus3 alleles. The results obtained outlined the importance of these SUS isoforms for sucrose metabolism in developing seeds of Arabidopsis.

Dans ce travail, on étudie les problèmes de localisation et de classification des capteurs pour des propriétés génériques - propriétés valables pour presque toutes les valeurs des paramètres. Lorsqu'une propriété donnée du système n'est pas vérifiée avec l'ensemble des capteurs, on cherche à implanter de nouveaux capteurs pour rendre la propriété vraie. Lorsqu'une propriété est vérifiée avec l'ensemble des capteurs existants, on classe les capteurs en fonction de leur criticité relativement à la propriété. La thèse caractérise les capteurs essentiels, ceux qui doivent être sans défaut. La défaillance d'un de ces capteurs essentiels fait perdre la propriété. Les capteurs inutiles qui peuvent tomber en panne sans aucun impact sur la propriété sont également caractérisés. Cette approche a été appliquée à deux propriétés: l'observabilité et le rejet de perturbation par retour de mesure. Tous les résultats ont été obtenus par une approche graphique et sont simple à implanter numériquement.

L'objectif de cette thèse était de valider l'ensemble des informations délivrées par les capteurs utiles à la commande d'une station de traitement des eaux usées. Pour cela, nous avons utilisé l'analyse en composantes principales (ACP) pour effectuer la détection et localisation de défauts de capteurs de la station de traitement des eaux usées. Afin de construire un modèle ACP, nous avons eu recours à une matrice de données constituée de l'ensemble des mesures disponibles (obtenues lors du fonctionnement normal de la station de traitement des eaux usées) dans l'installation. Cependant, afin d'appliquer l'ACP, nous avons rencontré plusieurs difficultés :<br /><br />1. Présence dans les données de valeurs aberrantes (valeurs obtenues durant des périodes de démarrage, d'arrêt, de fonctionnement dégradé, erreurs de mesure, ...) perturbant la construction d'un modèle ACP.<br />2. Présence de défauts multiples, ce qui entraîne une explosion combinatoire des scénarii de défauts à considérer.<br /><br />Afin de résoudre le premier point, nous nous sommes intéressé aux variantes robustes de l'ACP. L'estimateur robuste MCD (Minimum Covariance Determinant), méthode de référence pour ses performances, nécessite un temps de calcul important, et une connaissance a priori de la quantité de valeurs aberrantes présente dans les données (inconnue). C'est la raison pour laquelle nous avons proposé une nouvelle méthode robuste, basée sur l'utilisation de MM-estimateur, nommée MMRPCA (MM-estimator Robust Principal Component Analysis). Concernant le point 2, une méthode d'analyse du modèle en terme de capacité de détection et de localisation a été appliquée afin de réduire le nombre de défauts à considérer. Les différentes méthodes développées ont été menées avec succès afin de valider les mesures issues des différents capteurs de la station d'épuration des eaux usées.

L'objectif de cette thèse est de proposer une modélisation du comportement des matériaux ductiles permettant de mener des simulations robustes, c'est à dire sans dépendance au maillage, jusqu'à rupture. L'approche proposée dans ce travail repose sur la notion de variable à taux limité (limiteur temporel de localisation) : la rupture est vue comme un phénomène fortement dynamique et les modèles à taux limités visent à contrôler cette dynamique. Un modèle "d'épuisement plastique à taux limité" est ainsi proposé, permettant de modéliser en grandes déformations (phénomène de striction) l'initiation et la propagation de fissures dans des structures métalliques sollicitées en dynamique. Le modèle présente l'avantage d'être facilement utilisable dans le cadre d'une formulation EF classique, car il reste local. L'inconvénient principal de l'approche proposée est de nécessiter des calculs en dynamiques, tout au moins pour la phase de rupture. Des simulations menées avec le code ABAQUS/Explicit en contraintes planes avec le modèle" d'épuisement plastique à taux limité", permettent de confirmer les résultats théoriques obtenus par le modèle proposé et en particulier l'indépendance des résultats au maillage (taille et orientation). Ces simulations permettent d'identifier un jeux de paramètres matériaux à l'aide de comparaisons avec des essais dynamiques sur éprouvettes trouées, filmés à l'aide d'une caméra rapide et analysés par corrélation d'image. La validation des capacités prédictives du modèle est alors illustrée par confrontation entre des simulations numériques et des résultats expérimentaux obtenus sur éprouvettes lisses.

Nous proposons dans ce travail de nouvelles méthodes de décomposition basées sur l'algorithme du point proximal et ses extensions en optimisation convexe sous contraintes. On y démontre en particulier la sensibilité numérique de ces méthodes au choix d'un certain paramètre utilise pour accélérer la convergence. Ces méthodes sont appliquées a plusieurs modèles, notamment aux problèmes de transports dans les réseaux et aux problèmes de localisation. Les performances ont été validées a la fois du point de vue séquentiel et du point de vue massivement parallèle après une mise en œuvre sur la connection machine cm-2

Ce travail traite la problématique de la Modélisation 3D d'un environnement intérieur supposé inconnu par un robot mobile. Notre principale contribution concerne la construction d'un modèle géométrique dense représenté par une carte hétérogène qui combine des amers plans texturés, des lignes 3D et des points d'intérêt. Afin de réaliser cette tâche, nous devons fusionner des données géométriques et photométriques. Pour cela, nous avons d'abord amélioré la stéréovision dense, en proposant une approche qui transforme le problème de la mise en correspondance stéréoscopique en un problème de minimisation d'une fonction d'énergie globale. Le minimum de cette fonction est trouvé par une coupure minimale dans un graphe. Notre contribution réside dans la construction d'un graphe réduit qui a permis d'accélérer considérablement cette méthode globale de l'appariement stéréoscopique et d'obtenir de meilleurs résultats que les méthodes locales. Néanmoins, cette méthode reste non applicable en robotique mobile. Aussi, pour percevoir l'environnement, le robot est équipé d'un télémètre laser pivotant autour d'un axe horizontal et d'une caméra. Nous proposons une chaîne algorithmique permettant de construire de manière incrémentale une carte hétérogène, par l'algorithme de Cartographie et Localisation Simultanées basé sur le filtre de Kalman étendu (EKF-SLAM). Le placage de la texture sur les facettes planes rend le modèle plus réaliste pour un opérateur ; il a permis aussi de solidifier l'étape d'association de données, une étape essentielle pour garantir la cohérence de la carte. Les différents mécanismes développés sont illustrés et validés par des résultats expérimentaux.

L'identification des lois de comportement multi-échelles des matériaux polycristallins est étudiée. Une méthode couplant calculs par léments finis et modèles en champs moyens est développée. La description des interactions entre systèmes de glissement est améliorée par confrontation des réponses expérimentales et issues de la simulation du comportement d'un cuivre OFHC, sous chargements complexes.<br />La localisation de la déformation est analysée grâce à des mesures de champs réalisées, sous microscope électronique à balayage. Une microstructure synthétique tridimensionnelle représentative est développée à partir des cartographies EBSD.<br />Par ailleurs, on effectue la confrontation, sur microstructure périodique, entre plusieurs modèles en champs moyens et les simulations par éléments finis, à l'échelle des états moyens par phase. Le volume élémentaire représentatif est défini aux échelles globales et locales.

Cette thèse traite des problèmes liés à la manipulation de l'information dans un environnement localement reparti. Elle décrit l'ensemble des services à exploiter pour la gestion des fichiers sur un réseau local : stockage, impression et échange d'information. L'architecture des services de gestion d'information, fondée sur le schéma client-serveur y est illustrée par la réalisation d'un service de gestion, de transfert et d'impression de fichiers. Cette thèse étudie aussi les algorithmes de compression de données pendant les échanges et propose un protocole de reprise après l'occurrence d'une panne.