De nouveaux hydroxydes doubles lamellaires (LDHs) contenant des entités oxométallates (Mo, W) intercalées ont été préparés et caractérisés par diffraction des rayons X (DRX), analyse chimique, spectroscopie infrarouge (IR) et EXAFS. Dans les deux cas, des anions M2072- (M = Mo, W) constitués de deux tétraèdres à sommet commun, sont intercalés. L'évolution structurale des phases LDHs contenant des ions oxométallates libres dans l'espace interfeuillet, traitées thermiquement jusqu'à 800'C, a été étudiée. Il a ainsi été montré que les anions oxométallates se greffent à deux feuillets adjacents au voisinage de 200'C. Le comportement thermique de phases contenant des anions carbonate intercalés a également été appréhendé par DRX in et ex situ, spectroscopie IR, analyse chimique et thermogravimétrie couplée à la spectrométrie de masse. Il a été mis en évidence un mono-greffage des anions carbonate aux feuillets. L'intercalation et l'oligomérisation d'anions acrylate dans les LDHs ont également été réalisées. Des différences, de comportement sont observées selon la nature de l'ion substituant du nickel (Fe, Co ou Mn) dans les feuillets. Dans le cas du fer, la phase contenant les monomères intercalés a pu être isolée et caractérisée, alors que dans le cas du cobalt et du manganèse, une polymérisation spontanée, simultanément à l'intercalation dans la matrice, a été observées. Les macromolécules polymérisées in situ ont été extraites par échange anionique, dérivatisées en poly(acrylate de méthyle) et analysées par chromatographie d'exclusion stérique.

Cette thèse est consacrée à l'analyse algorithmique des systèmes hybrides. Nous examinons plusieurs problèmes liés à l'étude et au controle des systèmes hybrides linéaires par morceaux. Dans une première partie, nous présentons les notions de base de la théorie. Nous illustrons notre propos grace à de nombreux exemples. La deuxième partie est dédiée au calcul algorithmique des exécutions acceptées par un système hybride. Une méthode de détection des événements (changement de valeur de la variable discrète du système) est proposée. Le cas des exécutions périodiques est également examiné. Dans la troisième partie, nous abordons le problème du calcul de l'ensemble atteignable des systèmes hybrides. Nous apportons un soin particulier aux systèmes où les dynamiques continues sont connues de manière incertaine. Dans la quatrième partie, nous nous intéressons au controle des systèmes hybrides. Nous construisons une analyse multirésolution de l'espace des entrées d'un système linéaire et calculons une base d'ondelettes associée. Les propriétés de cette base se révèlent intéressantes pour la synthèse de signaux d'entrée d'un système hybride. Dans la dernière partie nous montrons que les techniques développées pour les systèmes hybrides linéaires par morceaux peuvent etre utilisées pour analyser des systèmes dynamiques non-linéaires.

Ce travail se place dans le contexte de l'utilisation de machines à aimants permanents dans les véhicules hybrides ou électriques. Un modèle analytique, qui prend en compte les effets de la non linéarité du circuit magnétique, permet d'obtenir les pertes (Joule et fer) quel que soit le point de fonctionnement de la machine. Des cartes d'isorendement dans le plan couple-vitesse peuvent être tracées. Ce modèle a ensuite été utilisé pour étudier .des variantes d'une machine synchrone à aimants. Des comparaisons de consommation sur cycles de route ont été effectuées sur ces machines, ainsi que l'étude d'autres structures de rotor à aimants. Un second modèle a été développé pour répondre à un besoin de' conception. Il a servi pour une optimisation sous contraintes dans un objectif de réduction de coût et de volume.

Ce travail de thèse porte sur la compréhension des mécanismes d'auto-assemblage de silices hybrides organiques-inorganiques obtenues par voie sol-gel. Les précurseurs moléculaires utilisés sont constitués d'une sous-structure inorganique présentant des groupements triéthoxysilanes et d'une sous-structure organique qui confère au matériau des propriétés d'auto-association. Deux précurseurs sont envisagés dans ce travail. Le premier possède une partie organique constituée d'un phénylène séparant deux groupements urées qui lui permettent de s'auto-organiser par liaisons H au cours de la synthèse du matériau en solution. Le second est un dérivé monosilylé de l'uréïdopyrimidinone qui s'auto-organise en dimères en solution hypothéquant sa capacité à interagir par liaisons H intermoléculaires au cours de la synthèse. Une étude fondamentale de la dynamique vibrationnelle infrarouge des deux précurseurs qui compare des données expérimentales dans l'infrarouge moyen et lointain et des calculs ab initio est présentée. L'influence de la liaison hydrogène sur la dynamique vibrationnelle est étudiée en détail. Ces résultats sont ensuite utilisés pour suivre la compétition d'interactions covalentes et non covalentes pendant les processus d'auto-assemblage. Une étude expérimentale multi-échelle in situ de la cinétique d'auto-organisation des deux précurseurs qui couple la microscopie optique, la diffusion de lumière et la spectroscopie infrarouge est réalisée. Nous proposons un modèle de structuration en solution dominé par des barrières d'activation contrôlées par les liaisons H. La structure du matériau hybride à base d'uréïdopyrimidinone en phase solide est résolue à partir d'une étude structurale basée sur la diffraction des rayons X. L'étude en pression des matériaux obtenus par étuvage et lyophilisation montre que l'organisation locale (liaisons H, taux de polycondensation) et mésoscopique sont largement conditionnées par cette étape.

Les architectures de calcul haute performance de nos jours sont des architectures hiérarchiques et hétérogènes: hiérarchiques car elles sont composées d'une hiérarchie de mémoire, une mémoire distribuée entre les noeuds et une mémoire partagée entre les coeurs d'un même noeud. Hétérogènes due à l'utilisation des processeurs spécifiques appelés Accélérateurs tel que le processeur CellBE d'IBM et les CPUs de NVIDIA. La complexité de maîtrise de ces architectures est double. D'une part, le problème de programmabilité: la programmation doit rester simple, la plus proche possible de la programmation séquentielle classique et indépendante de l'architecture cible. D'autre part, le problème d'efficacité: les performances doivent êtres proches de celles qu'obtiendrait un expert en écrivant le code à la main en utilisant des outils de bas niveau. Dans cette thèse, nous avons proposé une plateforme de développement pour répondre à ces problèmes. Pour cela, nous proposons deux outils : BSP++ est une bibliothèque générique utilisant des templates C++ et BSPGen est un framework permettant la génération automatique de code hybride à plusieurs niveaux de la hiérarchie (MPI+OpenMP ou MPI + Cell BE). Basée sur un modèle hiérarchique, la bibliothèque BSP++ prend les architectures hybrides comme cibles natives. Utilisant un ensemble réduit de primitives et de concepts intuitifs, BSP++ offre une simplicité d'utilisation et un haut niveau d' abstraction de la machine cible. Utilisant le modèle de coût de BSP++, BSPGen estime et génère le code hybride hiérarchique adéquat pour une application donnée sur une architecture cible. BSPGen génère un code hybride à partir d'une liste de fonctions séquentielles et d'une description de l'algorithme parallèle. Nos outils ont été validés sur différentes applications de différents domaines allant de la vérification et du calcul scientifique au traitement d'images en passant par la bioinformatique. En utilisant une large sélection d'architecture cible allant de simple machines à mémoire partagée au machines Petascale en passant par les architectures hétérogènes équipées d'accélérateurs de type Cell BE.

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent. Ainsi dans le cadre des logiques modales intuitionnistes formées à partir des combinaisons des axiomes T, B, 4 et 5, nous définissons des systèmes de preuve sans labels ayant de bonnes propriétés comme par exemple celle de la sous-formule. En outre, nous proposons des procédures de décision simples à partir de nos nouveaux calculs des séquents. Nous étudions également la première version intuitionniste de la logique hybride IHL et nous proposons son premier calcul des séquents à partir duquel nous donnons la première démonstration de sa décidabilité. Enfin, nous introduisons une nouvelle famille de logiques hybrides floues fondées sur les logiques modales de Gödel. Nous proposons pour ces logiques des procédures de décision avec génération de contre-modèles en utilisant un ensemble de règles de preuve fondées sur une structure multi-contextuelle adaptée.

Premier relais des informations sensorielles et nociceptives périphériques, la moelle épinière est le siège de traitements dynamiques complexes. L'objectif de ce travail est de caractériser la transformation subie par le signal (sa fonction de transfert) et de quantifier l'impact des différents paramètres du réseau. Pour cela, nous avons utilisé une approche multidisciplinaire mêlant théorie et expérimentation au travers du développement d'une nouvelle plateforme d'expérimentation hybride, basée sur le logiciel NEURON. Nous avons construit un modèle réaliste du réseau de la corne dorsale et développé des outils théoriques de quantification du signal et de sa transformation, provenant de la théorie de l'information. Nous avons pu ainsi pu mettre en évidence l'importance des propriétés régénératives cellulaires ainsi que du contrôle inhibiteur sur le transfert de l'information nociceptive. Nous aboutissons ainsi à une approche novatrice de pharmacologie virtuelle pour l'étude de la douleur.

De nouveaux matériaux ont été conçus à partir de matériaux hybrides organique-inorganiques mésoporeux renfermant des complexes de Cu(II). Ils ont été mis en œuvre comme catalyseurs dans des réactions d'oxydation sélective. La localisation des sites du métal a été contrôlée en utilisant trois ligands synthétiques le type organosilane et deux stratégies différentes, c. àd.,une synthèse dite "one-pot", et un greffage post-synthètique. Les organosilanes ont été le N-(2-aminoéthyl)-3-aminopropyltriméthoxysilane (L1), le N-propylamine-salicylaldimine-triméthoxy-silane (L2) et le de N-(salicylaldimine)- (N'-propyltriméthoxylsilane)-diéthylènetriamine (L3). En outre, l'ion Ni(II) a été utilisé comme sonde structurale. Selon la synthèse "one-pot", les complexes Ni(II)-L1, Cu(II)-L1 et Cu(II)-L2 ont été co-condensés avec du silicate de sodium en présence d'un tensoactif, le cé-tyltriméthylammonium tosylate. Ce dernier avait le rôle de gabarit structurant pour la cons-truction d'organosilices mésoporeuses périodiques (PMOs), de structure bien ordonnée de type MCM-41. Ces matériaux ont ensuite été soumis à des traitements mis au point pour pré-server la structure mésoporeuse utilisant un mélange de chlorotriméthylsilane et hexaméthyl-disilazane ou une quantité appropriée de HCl aqueux (lavage) pour extraire le tensio-actif. Dans les greffages post synthétiques, les complexes Ni(II)-L1, Cu(II)-L1 ou Cu(II)-L3 ont été liés de façon covalent à la surface de silice mésoporeuse préformée selon une distribution uniforme mettant en œuvre une technique dite de pochoir moléculaire. Une caractérisation multitechnique approfondie fut mener pour vérifier la structure et la morphologie du matériau et pour déterminer le site de coordination du métal (XRD, TEM, isothermes d'adsorp-tion-désorption d'azote, analyse élémentaire, ATG, spectroscopies DRUV, FT-IR et RPE). De plus, l'accessibilité chimique du site métallique et le relargage du métal ont été testés en utili-sant 1) l'isothiocyanate (SCN-) comme ligand sonde, 2) l' échange des ions Ni(II) par les ions Cu (II) d'ions ou encore 3) la résistance à la lixiviation acide. Outre les sites métalliques des canaux obtenus par greffage et trés ressemblant à des sites "en solution", deux autres sites ont été mis en évidence. Ils sont tous les deux situés dans les murs des pores. L'un non accessible, est appelé “site enlisé”, l'autre est “site émergenant”. L'activité catalytique en hydroxylation du phénol par le peroxyde d'hydrogène et oxydation du catéchol par le dioxygène dépend de la localisation du métal. Les complexes Cu(II)-L3 greffés présentent les meilleures activités catalytiques et fonctionnent dans l'eau. La conversion et la sélectivité en produits valorisables comme le catéchol et l'hydroquinone, ont été étudiées en fonction du temps, de la température, du pH et du rapport substrat /oxydant. Enfin, le recyclage du catalyseur a également été étu-dié.

Ce travail s'intéresse à l'étude des machines synchrones à double excitation (MSDE) et au dimensionnement des machines synchrones à aimants permanents (MSAP) dans le cadre des applications de type véhicule hybride. Celle-ci se place dans le cadre général de la réduction des rejets de substances polluantes des véhicules. Le véhicule hybride, associé aux MSAP et aux MSDE constitue de ce point de vue une solution intéressante pour résoudre ces problèmes. Nous avons mis au point plusieurs modèles électromagnétiques analytiques (linéaires ou non) de MSAP basés sur la transformation de Park et sur l'utilisation de réseaux réluctants. Ceux-ci permettent de concilier précision, rapidité et simplicité. Nous avons dimensionné et réalisé une MSDE au laboratoire SATIE répondant à un cahier des charges de véhicule hybride fourni par le groupe PSA. Celle-ci a pu répondre aux contraintes des spécifications à la fois en terme d'encombrement et de performances.

Ce travail de thèse s'inscrit dans un pro jet inter-Carnot intitulé TEROPP (Technologies for TERminals in OPPortunistic radio applications) financé par l'ANR de 2008 à 2011. L'objectif de ce projet était de concevoir les éléments clés d'un terminal reconfigurable adapté à la radio cognitive. Les travaux ont porté depuis les antennes jusqu'à l'aspect réseaux. Les travaux décrits dans cette thèse sont focalisés sur le "frontal" RF agile en fréquences multi-voies et s'intéresse plus particulièrement à la numérisation d'un signal large-bande via une architecture multi-voies. Nous avons proposé et étudié une nouvelle architecture basée sur la technique de banc de filtres hybride (BFH). Un BFH est une architecture parallèle à sous-échantillonnage qui met en jeu de l'analogique, i.e. des filtres analogiques et des convertisseurs analogique-numériques ainsi que du traitement numérique. L'originalité de l'architecture proposée est d'utiliser des filtres à échantillonnage de charge passe-bande pour les filtres analogiques. Ces filtres ont l'avantage d'être facilement intégrables en CMOS et reconfigurables. Une telle architecture devrait permettre de convertir une bande très large, tout en limitant la complexité et la consommation et offre des possibilités de reconfigurabilité en termes de bande reçue et résolution.