Cette thèse est composée de deux parties indépendantes et d'une annexe. Le thème principal de la première partie tourne autour des groupes de réflexions tandis que la deuxième partie aborde la notion de catégorie stable. L'annexe s'attarde sur les conventions de signes dans les catégories de complexes. <br /><br />Dans la première partie, on considère un groupe de réflexion G agissant sur l'espace vectoriel V dans sa représentation de réflexions. On étudie alors la composante isotypique relativement à un caractère linéaire de G de l'algèbre produit tensorielle de l'algèbre symétrique du dual de V et de l'algèbre extérieure d'une représentation de dimension finie de G. On construit une structure d'algèbre sur cette composante isotypique. On montre aussi que la structure d'algèbre construite est en fait une structure d'algèbre extérieure. On termine cette partie en illustrant ces résultats pour quelques groupes de réflexions particuliers.<br /><br />La deuxième partie est consacrée à la généralisation d'un théorème de Rickard. Lorsque M est un foncteur ayant un adjoint à droite et à gauche, on définit la notion de catégorie M-stable d'une catégorie abélienne ou triangulée. La catégorie M-stable hérite d'une structure de catégorie triangulée. Dans le cas abélien, la catégorie M-stable est aussi, de façon analogue à la catégorie stable usuelle, un quotient d'une catégorie M-dérivée.

Nous considèrerons ici les modèles linéaires de multiflots, en mettant l'accent sur leurs multiples applications, notamment dans les domaines de l'ordonnancement et de la gestion de production. Il est bien connu que ces problèmes, présentés sous forme de programmes linéaires, sont difficiles à résoudre, contrairement à leurs homologues en flot simple. Les méthodes de résolution classiques proposent, déjà dans le cas continu, des solutions approchées. On distingue: les méthodes de décomposition par les prix, par les ressources, ainsi que les techniques de partitionnement. Si l'on rajoute la contrainte d'intégralité sur les flots, ces problèmes deviennent extrêmement difficiles. Nous nous sommes intéressés à un cas particulier des problèmes de multiflots, à savoir: le biflot entier de coût minimum. Nous avons développé une approche de résolution heuristique basée sur un principe de décomposition mixte, opérant itérativement, à la fois par une allocation de ressources et par un ajustement des coûts. L'implémentation de cette approche met en évidence des résultats prometteurs, obtenus sur des problèmes de biflot purs, générés aléatoirement. Nous avons donc envisagé une deuxième application sur des problèmes de biflot plus structurés. Ces problèmes de biflot ont été proposés pour la modélisation du problème de voyageur de commerce. Cette application débouche d'une part, sur l'utilisation d'un algorithme de recherche d'un circuit hamiltonien dans un graphe, et d'autre part, sur le développement de techniques heuristiques pour la construction de tournées intéressantes

La première partie de cette thèse traite des chaînes de spins quantiques. On étudie tout d'abord des systèmes de spins quantiques qui sont reliés de façon continue à la chaîne de Heisenberg s=1. La construction d'un modèle sigma non-linéaire permet d'estimer le gap de ces systèmes. On étudie ensuite une chaîne de spins s=1/2 dopée par des impuretés non-magnétiques possédant un spin nucléaire. A l'aide de techniques de bosonisation, on calcule analytiquement le temps de relaxation longitudinal d'une impureté en fonction de la température, corrections logarithmiques incluses. Ce type d'analyse est également mené sur un liquide de Luttinger chiral, modélisant par exemple un demi-fil quantique. La deuxième partie est consacrée aux systèmes désordonnées en basse dimension. Des liens formels sont éclaircis entre modèle désordonné sur réseau, fermions de Dirac en milieu aléatoire, chaînes de spins supersymétriques non-compactes et modèle sigma non-linéaire. Le détail des calculs est donné sur l'exemple de la transition entre plateaux de l'effet Hall quantique entier. On calcule ensuite exactement les densités d'états et les longueurs de localisation typiques d'un fermion de Dirac en dimension 1 dans des potentiels aléatoires de différentes natures. De nombreux modèles de théorie de la matière condensée, comme par exemple la chaîne XX désordonnée, se ramènent à ce système. Puis nous étudions les fermions de Dirac en dimension 2 en milieu aléatoire. Plus particulièrement, nous analysons le cas de fermions en masse aléatoire. Ce modèle décrit les excitations de basse énergie d'un supraconducteur d'onde $d$ dont les impuretés sont magnétiques. Un diagramme de phase est proposé. Il s'articule autour du point tricritique des fermions de Dirac libres et fait apparaître une phase métallique thermique inattendue.

Aujourd'hui encore, certains systèmes embarqués n'intègrent pas leur propre unité flottante, pour des contraintes de surface, de coût et de consommation d'énergie. Cependant, ce type d'architecture est largement utilisé dans des domaines d'application extrêmement exigeants en calculs flottants (le multimédia, l'audio et la vidéo ou les télécommunications). Pour compenser le fait que l'arithmétique flottante ne soit pas implantée en matériel, elle doit être émulée efficacement à travers une implantation logicielle. Cette thèse traite de la conception et de l'implantation d'un support logiciel efficace pour l'arithmétique virgule flottante IEEE 754 aux processeurs entiers embarqués. Plus spécialement, elle propose de nouveaux algorithmes et outils pour la génération efficace de programmes à la fois rapides et certifiés, permettant notamment d'obtenir des codes C de très faibles latences pour l'évaluation polynomiale en arithmétique virgule fixe. Comparés aux implantations complètement écrites à la main, ces outils permettent de réduire de manière significative le temps de développement d'opérateurs flottants. La première partie de la thèse traite de la conception d'algorithmes optimisés pour certains opérateurs flottants en base 2, et donne des détails sur leur implantation logicielle pour le format virgule flottante binary32 et pour certains processeurs VLIW entiers embarqués comme ceux de la famille ST200 de STMicroelectronics. En particulier, nous proposons ici une approche uniforme pour l'implantation correctement arrondie des racines et de leur inverse, ainsi qu'une extension à la division. Notre approche, qui repose sur l'évaluation d'un seul polynôme bivarié, permet d'exprimer un plus haut degré de parallélisme d'instruction (ILP) que les méthodes précédentes, et s'avère particulièrement efficace en pratique. Ces travaux nous ont permis de fournir une version complètement remaniée de la bibliothèque FLIP, entraînant des gains significatifs par rapport à la version précédente. La deuxième partie de la thèse présente une méthodologie pour générer automatiquement et efficacement des codes C rapides et certifiés pour l'évaluation de polynômes bivariés en arithmétique virgule fixe. En particulier, elle consiste en un ensemble d'heuristiques pour calculer des schémas d'évaluation très parallèles et de faible latence, ainsi qu'un ensemble de techniques pour vérifier si ces schémas restent efficaces sur une architecture cible réelle et suffisamment précis pour garantir l'arrondi correct de l'implantation des opérateurs sous-jacente. Cette approche a été implantée dans l'environnement logiciel CGPE (Code Generation for Polynomial Evaluation). Nous avons ainsi utilisé notre outil pour générer et certifier rapidement des parties significatives des codes de la bibliothèque FLIP.

De nouvelles architectures de synthétiseur de fréquence sont proposées basées soit sur la mise en parallèle de boucles (PLL composite), soit la mise en oeuvre d'un comparateur PFD multiphase, soit l'introduction d'un ordre non entier dans le filtre de boucle. A chaque fois, une augmentation sensible de la bande passante est obtenue, permettant en retour une optimisation du bruit de phase du générateur de fréquence.

Reproduction de : Thèse d'exercice : Médecine : Nancy 1 : 2007. / Titre provenant de l'écran-titre.

L’approche GWAS est un outil essentiel pour la découverte de gènes associés aux maladies, mais elle pose des problèmes de puissance statistique quand il est impossible d’échantillonner génétiquement des dizaines de milliers de sujets. Les résultats présentés ici—ALDsuite, un programme en utilisant une correction nouvelle et efficace pour le déséquilibre de liaison (DL) ancestrale de la population locale, en permettant l'utilisation de marqueurs denses dans le MALD, et la démonstration que la méthode simpleM fournit une correction optimale pour les comparaisons multiples dans le GWAS—réaffirment la valeur de l'analyse en composantes principales (APC) pour capturer l’essence de la complexité des systèmes de grande dimension. L’APC est déjà la norme pour corriger la structure de la population dans le GWAS; mes résultats indiquent qu’elle est aussi une stratégie générale pour faire face à la forte dimensionnalité des données génomiques d'association. / GWAS is an essential tool for disease gene discovery, but has severe problems of statistical power when it is impractical to genetically sample tens of thousands of subjects. The results presented here—a novel, effective correction for local ancestral population LD allowing use of dense markers in MALD using the ALDsuite and the demonstration that the simpleM method provides an optimum Bonferroni correction for multiple comparisons in GWAS, reiterate the value of PCA for capturing the essential part of the complexity of high- dimensional systems. PCA is already standard for correcting for population substructure in GWAS; my results point to it’s broader applicability as a general strategy for dealing with the high dimensionality of genomic association data.

Dans cette thèse nous développons des structures de supervision permettant de définir des consignes optimales pour des actionneurs thermiques, ainsi que des stratégies de commande appropriées pour le pilotage d'une pompe à chaleur (PAC). Pour répondre à ces objectifs, plusieurs étapes ont été réalisées :- Modélisation orientée commande d'une PAC réversible, des thermistances, et de l'environnement permettant de les lier à l'intérieur de l'habitacle. Des modèles physiques ont été définis et intégrés dans une plateforme du type Model-in-the-Loop pour permettre a posteriori la validation des stratégies de commande et d'optimisation. - Commande d'une PAC. La linéarisation du modèle de PAC autour de certains points de fonctionnement a permis le développement de la commande de l'actionneur principal. La structure de commande proposée permet de prendre en compte, en boucle fermée, des contraintes d'état et d'entrée du système. Les performances de cette structure ont été analysées en considérant successivement des régulateurs principaux de type PI et Hinf. Enfin, des algorithmes réalisant le pilotage d'un actionneur secondaire du système ont été également proposés. - Optimisation des actionneurs thermiques. L'utilisation combinée de thermistances et de la PAC présente des avantages en termes de réduction de la consommation énergétique et/ou du maintien de la puissance thermique demandée dans des conditions aux limites de fonctionnement. Le problème d'optimisation a été résolu en deux temps : des solutions hors-ligne ont été obtenues par résolution d'un problème mixte en nombre entier avec modèle prédictif, puis utilisées pour déduire des stratégies embarquables sur le véhicule.

En 1940, Paul Erdős énonça une conjecture sur la distribution des classes inversibles modulo un entier. La présente thèse étudie la distribution des k-uplets de classes inversibles propose une preuve de la conjecture d'Erdős étendue au cas des k-uplets. / In 1940 Paul Erdos made a conjecture about the distribution of reduced residues. Here, in this thesis we studied the distribution of k-tuples of reduced residues, and proved extension of Erdos's conjecture for them.

Le thème des travaux qui fait l'objet de ce mémoire de thèse s'inscrit dans le cadre de la caractérisation de systèmes biologiques par modèles non entiers. Cette thèse comporte deux parties qui reposent sur deux collaborations distinctes. La première s'appuie sur une collaboration avec le laboratoire Mouvement Adaptation Cognition de l'Université Bordeaux 2 et l'institut Magendie de l'Inserm. L'objectif de ce travail consiste à étudier l'influence la longueur du muscle sur sa dynamique dans les cas de variations statiques et dynamiques de cette grandeur. La deuxième collaboration est un projet original, en partenariat avec l'équipe Anesthésiologie-Réanimation II du CHU Haut-Lévêque ayant pour but l'identification de transfert thermique dans le poumon au cours d'opération à cœur ouvert, grâce à des mesures obtenues sur des poumons de mouton.