Nous avons étudié, en solution et en masse, un système modèle qui consiste en des chaînes non cristallines de poly(oxyde de propylène) (PPO) fonctionnalisées en bout de chaîne par des motifs complémentaires : un dérivé de thymine (Thy) et la diaminotriazine (DAT). Ce système combine des liaisons hydrogène faibles (auto-associations Thy-Thy et DAT-DAT) et fortes (association complémentaire Thy-DAT), l'aromaticité des motifs collants, une forte répulsion entre les motifs collants polaires et les espaceurs peu polaires PPO, et des tendances à la cristallisation très différentes pour Thy et DAT. Des composés homoditopiques et hétéroditopiques ont été synthétisés. En solution, le solvant influence la valeur des constantes d'association et les organisations observées. En masse, un comportement relativement complexe est observé, avec une compétition entre les liaisons hydrogène entre les motifs collants, la ségrégation de phase entre les chaînes espaceurs (peu polaires) et les motifs collants (assez polaires), et la cristallisation des thymines en microdomaines. Ces phénomènes influencent l'organisation mésoscopique de ces matériaux et donc leurs propriétés mécaniques. Nous avons présenté les différentes organisations observées en solution et en masse et avons discuté les idées que notre étude apporte pour comprendre les rôles joués respectivement par les liaisons hydrogènes, la ségrégation de phase, la solvatation et la cristallisation.

Des liaisons souterraines par câbles isolés seront à court terme insérées dans le réseau aérien THT de transport d'électricité. Diverses évolutions technologiques des câbles, de leurs matériels de raccordement et de leurs conditions de pose ont été initiées afm de réduire le coût de ces liaisons. L'optimisation des techniques de mise à la terre des écrans des câbles s'inscrit également dans cette démarche. La thèse donne les bases théoriques pour la défmition de spécifications de réalisation des techniques de mise à la terre des écrans des câbles dites de connexions spéciales d'écran (mise à la terre en un point et permutation d'écrans) et propose des règles pratiques de dimensionnement. Les études ayant permis d'obtenir ce résultat portent sur la détermination des surtensions sollicitant les matériels. Dans la première partie, on a établi une méthode de calcul des contraintes d'une part en régime permanent et d'autre part dans les régimes de défaut, consécutifs soit à une avarie externe à la liaison souterraine soit à un claquage de câble. Dans la deuxième partie, on a analysé les contraintes dans les régimes transitoires, calculées à l'aide du logiciel Electromagnetic Transient Program (EMTP). La synthèse de ces deux types d'étude permet d'optimiser le choix du type de limiteur de surtension à mettre en oeuvre pour protéger les matériels vis-à-vis des contraintes transitoires subies par les gaines des câbles; elle permet également de déterminer les longueurs maximales réalisables pour les liaisons à mise à la terre en un point ou les distances maximales entre permutations en fonction des contraintes à la fréquence industrielle.

La spintronique est une technique utilisant le spin des électrons dans des composants électroniques. Le principe est fondé sur des propriétés physiques telles que la magnétorésistance, (Prix Nobel 2007, Albert Fert), ce qui signifie que la conductivité électrique d'un système peut dépendre du champ magnétique appliqué au composant. Le microscope à effet tunnel polarisé en spin (SP-STM) en est un parfait exemple. Il implique l'utilisation d'une pointe et d'une surface magnétiques ; il est ainsi un outil essentiel à l'étude locale des propriétés électroniques et magnétiques des surfaces. L'objectif de notre étude est de modéliser des images de microscope à effet tunnel polarisé en spin d'une surface Cr(001) en allant au-delà de l'approximation classique de Tersoff-Hamann. Nous utilisons une approche combinant les méthodes ab initio avec le code PWSCF, couplées avec une méthode de liaisons fortes (TB) correctement ajustée. Premièrement, nous avons mené une étude approfondie des propriétés électroniques et magnétiques de la surface du chrome, en insistant sur les états de surface localisés autour du niveau de Fermi. En outre, il existe une controverse au sujet de l'interprétation de spectres obtenus en STS. Nous avons clairement identifié les états de surface impliqués, et relevé que le pic en question est de symétrie dz2 − pz . Nous avons analysé la décroissance dans le vide des fonctions d'onde au-dessus de la surface Cr(001) et constaté que spectre observé par SP- STS provient essentiellement d'états de surface de symétrie pz et dz2 . Après avoir présenté le formalisme du transport électronique nous avons simulé un système idéal correspondant à une configuration SP-STM, à savoir deux surfaces Fe(001)-Cr(001) en vis-à-vis séparées par une couche de vide. Enfin nous présentons des calculs sur un système plus réaliste formé d'une pointe de Fer en contact tunnel avec une surface Cr(001). Le comportement général et les ordres de grandeurs des effets de TMR sont en bon accord avec l'expérience.

Le plus grand défi pour le déploiement des systèmes de télécommunications basés sur les Liaisons Optiques Atmosphériques (LOA) reste sans doute la limite de leurs performances dans différentes conditions météorologiques et plus particulièrement en présence de brouillard. L'intérêt porté actuellement à ce type de liaisons nous a amené à étudier et à comprendre les effets des différentes conditions météorologiques (pluie, neige, brouillard, etc.) sur la propagation du rayonnement laser dans l'atmosphère. Les performances des LOA dépendent fortement de la longueur d'onde utilisée. En fonction de cette dernière, on cherchera à déterminer, à comprendre et à optimiser les effets de l'atmosphère sur la transmission en espace libre.<br />Pour les ondes optiques visibles et infrarouges, gamme dans laquelle opèrent les LOA, le brouillard joue un rôle prépondérant dans la dégradation de la transmission. L'objet de ce travail porte plus particulièrement sur l'étude de l'effet du brouillard sur les performances des LOA.<br />Nous rappelons, dans un premier temps, l'intérêt des LOA ainsi que leurs implications dans le monde des télécommunications d'aujourd'hui. Nous étudions ensuite la problématique, les défis et les facteurs environnementaux rencontrés par ce type de liaisons et nous exposons les différents modèles empiriques et théoriques existant dans la littérature permettant d'évaluer l'atténuation des ondes optiques en présence de brouillard. <br />Dans un second temps, nous décrivons les propriétés optiques du brouillard à partir de la théorie de diffusion de Mie en fonction de la distribution de la taille de particules. Nous investiguons sous FASCODE les performances des systèmes laser en présence de deux types de brouillard (advection et convection) ainsi qu'à partir d'autres distributions de taille de particules disponibles dans la littérature. Les coefficients d'extinction en fonction de la longueur d'onde (0.4 à 15 µm), pour différentes distributions de taille de particules, sont comparés afin de vérifier la capacité des modèles de brouillard de FASCODE à représenter la variété des types de brouillards existant dans la nature. Nous portons plus particulièrement notre attention sur quelques raies laser utilisées dans les liaisons optiques atmosphériques.<br />A partir de ces résultats, nous avons établi des formules de transmission rapides pour ces longueurs d'onde qui nous permettent de prédire l'atténuation atmosphérique en fonction de la visibilité sans avoir recours aux codes de calcul usuels. Ainsi, un modèle d'atténuation pour le rayonnement laser dans la bande spectrale 0.69 à 1.55 µm sera proposé. Ce modèle est valide pour deux types de brouillard (advection et convection) et pour des visibilités qui varient entre 50 et 1000 m. En effet, le paramètre "visibilité" est mesuré facilement et archivé à partir des stations météorologiques ou des aéroports, ce qui permet une évaluation géolocale des performances de ces systèmes de télécommunication.<br />Dans un troisième temps, nous présentons le logiciel développé à FT R&D, basé sur le modèle d'atténuation que nous avons établi, qui permet de prédire la qualité de service d'une liaison LOA. Une comparaison de la disponibilité réelle d'une liaison (Graz en Autriche) et de la disponibilité prédite à partir de ce logiciel, a permis sa validation.<br />Finalement, la dernière partie de ce travail concerne une série d'expériences en milieu naturel sur plusieurs liaisons optiques. Nous avons comparé le comportement de deux systèmes laser opérant à 3 longueurs d'onde différentes (650, 850 et 950 nm) dans un même canal de propagation et dans les mêmes conditions météorologiques. Nous avons pu valider notre modèle théorique et montrer qu'il apportait une amélioration dans la prévision des mesures de transmission par rapport aux modèles existant dans la littérature et couramment employés.

Thèse de doctorat : Sciences : Strasbourg 1 : 2007. / Titre provenant de l'écran-titre. Notes bibliogr.

L'objectif de l'étude est d'identifier le comportement des liaisons d'un mécanisme du point de vue des déplacements en fonction des défauts de forme et des jeux. Le sujet est abordé selon une approche théorique et une approche expérimentale.La partie théorique montre la dualité entre les deux concepts utilisés : le domaine jeu et la surface convexe des différences. Elle montre également la typologie des domaines et l'influence des incertitudes de forme sur ces domaines.En parallèle, un dispositif expérimental est développé. Il permet, non seulement, de réaliser la mesure des déplacements dans la liaison avec l'exactitude nécessaire, mais aussi, de valider les résultats par une simulation de l'assemblage à partir de la mesure 3D des surfaces en contact. L'expérimentation porte sur plusieurs couples de surfaces comportant des défauts de forme de différents types. L'influence d'un chargement mécanique est étudiée afin de quantifier les déformations locales de surfaces de contact et l'évolution des écarts de position entre les pièces.

Ce travail a pour objectif d'augmenter la diversité des foldamères par le développement d'une nouvelle classe d'architectures abiotiques mimant le repliement des feuillets β protéiques. La stratégie employée repose sur des processus de structuration qui diffèrent de ceux observés au sein du vivant. Les deux éléments essentiels des systèmes naturels, à savoir la boucle courte et flexible d'acides aminés et les brins β liés entre eux par des liaisons hydrogènes, sont ici substitués respectivement par un coude rigide formé de noyaux aromatiques et par des oligoarylamides plans interagissant par empilement aromatique.Ces objets ont été conçus pour adopter des structures repliées caractérisables en solution par spectroscopie RMN et à l'état solide par diffraction des rayons X. Dans une première partie, l'optimisation du pseudo-coude β et de la séquence des brins, ainsi que l'exploration des premières architectures en feuillet seront étudiées à travers la conception, la synthèse et les études structurales de ces oligoamides et oligoamines aromatiques. Dans une seconde partie, le concept mis en oeuvre sera étendu à la synthèse de foldamères plus élaborés à brins courbés, ouvrant ainsi des perspectives intéressantes vers l'obtention d'architectures toujours plus complexes.

Les conceptions récentes de turbomachines ont tendance à évoluer vers des liaisons entre étages de plus en plus souples et des niveaux d'amortissement faibles, donnant lieu à des configurations où les modes sont susceptibles de présenter des niveaux de couplages inter-étages forts. En général, les ensembles disques aubes multi-étagés n'ont aucune propriété de symétrie cyclique d'ensemble et l'analyse doit porter sur un modèle de la structure complète donnant lieu à des calculs très coûteux. Pour palier ce problème, une méthode récente appelée symétrie cyclique multi-étages peut être utilisée pour réduire le coût des calculs des rotors composés de plusieurs étages, même lorsque les étages ont un nombre différent de secteurs. Cette approche profite de la symétrie cyclique inhérente à chaque étage et utilise une hypothèse spécifique qui aboutit à des sous-problèmes découplés pour chaque ordre de Fourier spatial. La méthodologie proposée vise à étudier l'effet des incertitudes sur le comportement dynamique des rotors en utilisant l'approche de symétrie cyclique multi-étages et l'expansion en Chaos Polynomial. Les incertitudes peuvent découler de l'usure des aubes, des changements de température ou des tolérances de fabrication. En première approche, seules les incertitudes provenant de l'usure uniforme de l'ensemble des aubes sont étudiées. Celles-ci peuvent être modélisées en considérant une variation globale des propriétés du matériau de l'ensemble des aubes d'un étage particulier. L'approche de symétrie cyclique multi-étages peut alors être utilisée car l'hypothèse de secteurs identiques est respectée. La positivité des matrices aléatoires concernées est assurée par l'utilisation d'une loi gamma très adaptée à la physique du problème impliquant le choix des polynômes de Laguerre comme base pour le chaos polynomial. Dans un premier temps des exemples numériques représentatifs de différents types de turbomachines sont introduits dans le but d'évaluer la robustesse de la méthode de symétrie cyclique multi-étages. Ensuite, les résultats de l'analyse modale aléatoire et de la réponse aléatoire obtenus par le chaos polynomial sont validés par comparaison avec des simulations de Monte-Carlo. En plus des résultats classiquement rencontrés pour les fréquences et réponses forcées, les incertitudes considérées mettent en évidence des variations sur les déformées modales qui évoluent entre différentes familles de modes dans les zones de forte densité modale. Ces variations entraînent des modifications sensibles sur la dynamique globale de la structure analysée et doivent être considérées dans le cadre des conceptions robustes.

Au sein d'un réseau oxygène de type K2NiF4, de formule générale (A, A')2M'0.50M0.50O4, la distorsion locale de l'octaèdre (MO6) dépend des liaisons concurrentielles (A, A')-O le long de l'axe c et M'-O dans le plan xOy. Une étude systémaique a été entreprise selon la nature des ions A, A' et M', la distorsion locale de (MO6) étant en particulier caractérisée RPE, spectroscopie IR et résonance Mössbauer. L'influence de l'environnement chimique de (MO6) a été corrélé à la transition spin faible -> spin fort dans le cas du cobalt(III) et à la stabilisation du nickel(III) à spin faible.

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type. / Formal methods are rapidly improving and gaining ground in software. Type systems are the most successful and popular formal method used to develop software. As the technology of type systems progresses, new needs and new opportunities appear. One of those needs is to ensure the faithfulness of the translation from source code to machine code, so that the properties you prove about the code you write also apply to the code you run. This thesis presents a compiler from a polymorphic higher-order functional language to typed assembly language, whose main property is that type preservation is verified statically, through type annotations on the compiler's code. Our compiler implements the essential code transformations for a higher-order functional language, namely a CPS conversion and closure conversion as well as a code generation. The thesis presents the details of the strongly typed intermediate representations and the constraints they set on the implementation of code transformations. Our goal is to guarantee type preservation with a minimum of type annotations, and without compromising readability and modularity of the code. This goal is already a reality for simple types, and we discuss the problems remaining for polymorphism, which still requires substantial extra work to satisfy the type checker.