Les polymères fluorés sont des macromolécules intéressantes qui, en raison de leurs propriétés uniques, sont souvent utilisées dans des applications spéciales dans les industries du bâtiment, de l'aérospatiale, du génie chimique, du traitement des textiles, optiques et de la microélectronique. Cette thèse se concentre sur le développement de polymères fluorés fonctionnels à base de phosphore et de silane par la co/terpolymérisation radicalaire conventionnelle de monomères fonctionnels avec le fluorure de vinylidène (VDF). Ces monomères fonctionnels ont été préparés à partir de la modification de l'acide 2- (trifluorométhyl) acrylique (MAF) pour préparer des MAF-ester avec le groupement fonctionnel souhaité. Tout d'abord, une étude fondamentale concernant la cinétique de polymérisation du VDF avec MAF-TBE a montré que ces paires de monomères ont une tendance à se propager de manière croisée, ce qui donne des copolymères alternés. On a ensuite préparé du MAF avec une fonction phosphonate (MAF-DMP) et sa copolymérisation avec du VDF a permis d'obtenir du PVDF à fonctionnalité phosphonate qui, après l'hydrolyse consécutive du groupe phosphonate en acide phosphonique, avait des propriétés anticorrosion sur l'acier. De façon similaire, un monomère de MAF porteur une fonction carbonate cyclique (MAF-cyCB) a également été copolymérisé avec du VDF. Les groupes carbonate cycliques dans le copolymère de PVDF obtenu ont ensuite été ouverts par 1'aminopropyltriéthoxysilane pour introduire un groupe silane, qui, par son hydrolyse, a permis au copolymère d'adhérer fortement sur les substrats. Enfin, un terpolymère à base de PVDF fonctionnel porteur à la fois un groupe phosphonate et un groupe triéthoxysilane a été préparé. Le groupe silane a ensuite été hydrolyse et réticulé pour obtenir un réseau 3D de polymères. Enfin, l'hydrolyse du groupe phosphonate en acide phosphonique a conduit à une matière pouvant être utilisée dans l'extraction des ions Eu (III) de l'eau. / Fluorinated polymers are intresting macromolecules which due to their unique properties are often used in special applications in building industries, aerospace, chemical engineering, optics, textile treatment and microelectronics. This thesis focusses on the development of phosphorous and silane functional fluorinated polymers through the conventional radical co/terpolymerization of functional monomers with vinylidene difluoride (VDF). These functional monomers were prepared from the modification of 2-(Trifluoromethyl)acrylic acid (MAF) to prepare MAF-esters with the desired functional group. First a fundamental study regarding the kinetics of polymerization of VDF with MAF-TBE revealed that these monomer pair tends to cross propagate resulting in an alternating copolymer. Phosphonate functional MAF (MAF-DMP) was then prepared and its copolymerization with VDF led to phophonate functional PVDF, that after the consequent hydrolysis of the phosphonate group into phosphonic acid showed anticorrosion properties to steel. Following the same concept, a cyclic carbonate functional MAF monomer (MAF-cyCB) was also copolymerized with VDF. The cyclic carbonate groups in the obtained PVDF copolymer was then opened by aminopropyltriethoxysilane to introduce a silane group, that by its hydrolysis allowed the copolymer to adhere strongly onto substrates. Finally, a terpolymer based on PVDF functional with both a phosphonate and a triethoxysilane group is prepared. The silane group was then hydrolyzed and crosslinked to obtain a 3D network of polymers. Finally, the hydrolysis of the phosphonate group into phosphonic acid led to material that can be employed in Eu(III) ion extraction from water.

Notre travail de recherche concerne l'étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L'outil de modélisation choisi est l'automate hybride rectangulaire (AHR) pour sa puissance d'analyse. Nous proposons ainsi une méthode pour la synthèse de la commande des SDH modélisés par des AHR. Cette méthode repose sur l'application d'une procédure amont/aval de commande hors-ligne qui détermine d'une façon maximale permissive les nouvelles gardes de transition de l'automate respectant des spécifications de commande imposées par l'utilisateur. Tous les calculs réalisés reposent sur la détermination de la durée de séjour, valeur contrainte par l'espace atteignable du sommet correspondant. La garde portant à la fois sur l'état continu et sur l'événement discret, la commande se fait par ce dernier car il s'agit du seul élément contrôlable. Nous nous intéressons alors à la construction du contrôleur temporisé autorisant l'occurrence des événements contrôlables du système dans un intervalle d'horloge défini au sens de la maximale permissivité.

Notre travail de recherche concerne l’étude de la commande à base de modèles pour une sous-classe de systèmes dynamiques hybrides (SDH). L’outil de modélisation choisi est l’automate hybride rectangulaire (AHR) pour sa puissance d’analyse. Nous proposons ainsi une méthode pour la synthèse de la commande des SDH modélisés par des AHR. Cette méthode repose sur l’application d’une procédure amont/aval de commande hors-ligne qui détermine d’une façon maximale permissive les nouvelles gardes de transition de l’automate respectant des spécifications de commande imposées par l’utilisateur. Tous les calculs réalisés reposent sur la détermination de la durée de séjour, valeur contrainte par l’espace atteignable du sommet correspondant. La garde portant à la fois sur l’état continu et sur l’événement discret, la commande se fait par ce dernier car il s’agit du seul élément contrôlable. Nous nous intéressons alors à la construction du contrôleur temporisé autorisant l’occurrence des événements contrôlables du système dans un intervalle d’horloge défini au sens de la maximale permissivité. / In this thesis, we study the control of a class of hybrid dynamic systems (HDS). The chosen modeling tool is the rectangular hybrid automaton (RHA) for his analysis power. We propose a method for the control synthesis of HDS modeled with RHA. This method consists on the application of a downstream/upstream offline control procedure that determines in a maximal permissive way the new automaton transition guards respecting the desired control specifications. All computations are based on the determination of the duration of stay, a value constrained by the reachable space of the corresponding location. Since the guard refers to both continuous state and discrete event, the control is made by the latter because it is the controllable element. Then we are interested in the construction of the timed controller authorizing the system controllable event occurrence in a clock interval defined in a maximal permissive way.

Contribution au développement et à l'optimisation des machines électriques à courant continu pour des applications Stop-Start Résumé Actuellement le marché automobile est en forte demande de modèles hybrides capables de limiter les consommations et les rejets de CO2. Parmi les diff érentes solutions technologiques possibles, cette thèse traite d'un dispositif microhybride de type Stop-Start reposant sur l'utilisation de moteurs à aimants permanents à commutation mécanique. Ce travail de recherche, encadré par Valeo et le laboratoire de Génie Électrique de Grenoble (G2Elab), a pour vocation à élaborer des méthodologies de conception permettant une implémentation facile et à bas coût de cette fonction. L'étude se concentre sur une modélisation numérique rigoureuse de la machine électrique pour ensuite analyser plusieurs améliorations techniques du démarreur en vue d'augmenter ses performances. Pour cela nous avons développé un modèle précis et rapide de la machine grâce à une approche d'identication des paramètres par optimisation et en utilisant la méthode des plans d'expériences. Ce modèle nous a permis de proposer des structures de démarreurs renforcés adaptés à la fonction Stop-Start. / Contribution to the development and optimization of direct-current machines for automotive stop-start applications abstract currently in the automotive market, the demand for hybrid vehicles is booming. These vehicles are meant to reduce fuel consumption and CO2 emissions. Among various possible technological solutions, this thesis deals with one of the Stop-Start technologies of micro-hybrid vehicles that is based on the use of permanent-magnet brushed DC motors. The present work, performed under a partnership between Valeo and Grenoble Electrical Engineering laboratory (G2Elab), aims to develop new design methodologies allowing the implementation of this system in a cheap and easy way. The study focuses on a rigorous numerical modeling of the electrical machine in order to analyze several technical improvements and to achieve a better performing car starter. To this end, we have developed a fast and accurate numerical model of the motor through a parameter identication technique using the design of experiments optimization approach. This model has enabled us to propose several enhanced starter motor structures, suitable for the Stop-Start function.

Le transistor monoélectronique, SET ou single-electron transistor, a été considéré comme étant l’une des alternatives au CMOS lorsqu’il atteindra le « mur technologique ». Le SET se caractérise comme un dispositif ultra faible puissance et nanométrique, mais son faible gain et sa grande dépendance à la température ont fait en sorte que la technologie SET a perdu du momentum vis-à-vis la communauté scientifique. Cependant, en ne considérant pas la technologie SET comme une remplaçante du MOSFET, mais comme quelque chose qui permettrait d’ajouter des fonctionnalités aux circuits CMOS, elle semble être très prometteuse. Cette niche est habituellement appelée l’hybridation SET-CMOS. Ce mémoire débute par une validation des circuits hybrides SET-CMOS présents dans la littérature en remplaçant le modèle de simulation de SET par un modèle beaucoup plus réaliste. De ces circuits hybrides, aucun ne fonctionnera étant donné les courants de fuite trop importants. Le re-design de ces circuits avec ces architectures a été fait avec le bon modèle SET et une technologie CMOS 22 nm, mais leurs performances n’ont pas suffi pour démontrer leur bon fonctionnement (Plage de tension de sortie très faible, aucune bande passante, circuits incomplets, forte dépendance du circuit à ce qui est connecté à la sortie, etc.). Cela a amené à la création de deux nouvelles architectures de circuits de lecture hybrides SET-CMOS. Chaque circuit est conçu avec une technologie CMOS 22 nm. L’une des architectures est principalement adaptée à une application de dispositif capteur SET, où le SET serait éloigné d’un circuit CMOS. Dans l’exemple démontré, le circuit avec le capteur SET donne une sensibilité de 8.4 V par électron peu importe la charge connectée à la sortie du circuit. La nouvelle architecture inventée servirait d’étage tampon entre un circuit numérique fait de SET et un circuit numérique CMOS conventionnel. Dans la littérature, les circuits numériques SET n’ont pas de charge typique lors de leur simulation (ex : un inverseur CMOS), ce qui fausse les résultats en promettant une fréquence haute d’opération impossible à atteindre lors d’une utilisation typique. Ce circuit de lecture numérique fait la lecture du circuit numérique SET, fait le passage entre les deux alimentations différentes et est en mesure de supporter un inverseur CMOS conventionnel à 440 MHz. La consommation de ce circuit n’est que de 5.3 nW lors d’une utilisation à 200 MHz. Cette faible consommation est tout à fait en phase avec l’utilisation de circuits numériques SET qui consomment très peu. Chaque nouvelle architecture inventée a été simulée avec l’ensemble des effets parasites que les interconnexions apportent aux circuits. Les simulations procurent ainsi des résultats plus réalistes. Un procédé de fabrication de circuits hybrides SET-CMOS, où les dispositifs SET sont fabriqués sur le BEOL des puces CMOS avancées, a été développé et testé. Il intègre le procédé nanodamascène, pour la fabrication des nanodispositifs, et la fabrication d’interconnexions/vias afin de relier le CMOS avec les SET. Une démarche pour la validation des dispositifs CMOS a aussi dû être développée et testée. Afin de s’adapter aux dispositifs CMOS à notre disposition, une conception de circuit hybride SET-CMOS a été faite. La fabrication d’un premier prototype recréant un circuit hybride SET-CMOS fût réalisée.

The linear Boltzmann equation describes neutron transport in nuclear systems. We consider discretization methods for the time-independent mono-energetic transport equation, and focus on mixed-hybrid primal and dual formulations obtained through an even- and odd-parity flux decomposition. A finite element technique discretizes the spatial variable, and a PN spherical harmonic technique discretizes the angular variable. Mixed-hybrid methods combine attractive features of both mixed and hybrid methods, namely the simultaneous approximation of even- and odd-parity fluxes (thus of flux and current) and the use of Lagrange multipliers to enforce interface regularity constraints. While their study provides insight into purely mixed and purely hybrid methods, mixed-hybrid methods can also be used as such. Mixed and mixed-hybrid methods, so far restricted to diffusion theory, are here generalized to higher order angular approximations. We first adapt existing second-order elliptic mixed-hybrid theory to the lowest-order spherical harmonic approximation, i.e., the P1 approximation. Then, we introduce a mathematical setting and provide well-posedness proofs for the general PN spherical harmonic approximation. Well-posedness theory in the transport case has thus far been restricted to the first-order (integro-differential) form of the transport equation. Proceeding from P1 to PN , the primal/dual distinction related to the spatial variable is supplemented by an even-/odd-order PN distinction in the expansion of the angular variable. The spatial rank condition is supplemented by an angular rank condition satisfied using interface angular expansions corresponding to the Rumyantsev conditions, for which we establish a new derivation using the Wigner coefficients. Demonstration of the practical use of even-order PN approximations is in itself a significant achievement. Our numerical results exhibit an interesting enclosing property when both even- and odd-order PN approximations are employed.

Depuis l'antiquité jusqu'à aujourd'hui, le domaine de la logique a gagné une importance remarquable et contribue désormais à de nombreuses autres branches, telles que la philosophie, les mathématiques, la fabrication de matériel informatique, la linguistique, l'informatique, l'intelligence artificielle, etc. À chacun de ces scénarios correspondent des besoins spécifiques, qui vont d'exigences très concrètes, telles qu'une méthode d'inférence efficace, à des propriétés théoriques plus abstraites, telles qu'un système d'axiomes élégant. Étant donnée cette grande diversité d'utilisations, une palette hétéroclite de langages formels a été développée. Pendant de nombreuses années, les langages classiques (notamment la logique du premier ordre) étaient la seule alternative concevable, mais cet assortiment d'applications a rendu d'autres types de logiques également désirables dans de nombreuses situations. Imaginez que l'heure de choisir une logique pour une tâche spécifique arrive. Comment choisir la plus appropriée? Quelles propriétés devrions-nous rechercher? Comment "mesurer'' une logique par rapport aux autres? Ce sont des questions difficiles, et il n'existe pas de recette générale à suivre. Dans cette thèse, nous allons simplement restreindre ces questions à une famille particulière de logiques, et dans ce contexte, nous explorerons les aspects théoriques qui aideront à répondre à ces préoccupations. Beaucoup peut être découvert par une analyse attentive des cas les plus intéressants, et notre contribution sera développée selon cette philosophie. Les logiques modales propositionnelles offrent une alternative aux langages traditionnels. Elles peuvent être considérées comme un ensemble d'outils permettant de concevoir des logiques adaptées à des tâches précises, possédant un contrôle fin sur leur expressivité. De plus, il s'est avéré que les logiques modales possèdent un bon comportement computationnel, qui se trouve être robuste y compris malgré l'ajout d'extensions. Ces caractéristiques, parmi d'autres, ont élevé les logiques modales au rang d'alternatives désirables aux langages classiques. Dans ce thèse, nous allons présenter une nouvelle famille de logiques modales appelée logiques mémorielles. Les logiques modales traditionnelles permettent de décrire les structures relationnelles d'un point de vue local. Mais pourquoi ne pas changer cette structure? Nous voulons étudier l'ajout d'une structure de stockage explicite aux logiques modales, une mémoire, qui permet de modéliser un comportement dynamique à travers des opérateurs mémoriels explicites. Ces opérateurs sauvent ou restaurent de l'information vers et à partir de la mémoire. Naturellement, selon le type de structure de sauvegarde désiré et les opérateurs mémoriels disponibles, la logique résultante possèdera différentes propriétés qui valent la peine d'être étudiées. Cette thèse est organisée de la façon suivante. Dans le Chapitre 1, nous commençons par rappeler brièvement comment la logique modale est née, en montrant les différents points de vue historiques la concernant. Puis, nous présentons formellement la logique modale de base et un ensemble d'opérateurs étendus qui aident à capturer le ``goût'' modal de langages plus riches. Nous finissons ce chapitre en donnant un premier aperçu des logiques mémorielles, et montrons comment elles peuvent aider à modéliser l'état quand nous choisissons d'utiliser un ensemble comme une structure de sauvegarde. Le Chapitre 2 est dédié à la présentation détaillée des logiques mémorielles. Nous montrons quelques exemples qui peuvent être décrits en ajoutant un ensemble à des structures relationnelles usuelles, ainsi que les opérateurs ensemblistes usuels permettant l'ajout d'élément et le test d'appartenance. Puis, nous montrons que d'autres opérateurs mémoriels peuvent être envisagés, et nous discutons de la possibilité d'ajouter des contraintes à l'interaction entre la mémoire et les opérateurs modaux. Ces contraintes peuvent être vues comme une manière d'avoir un contrôle fin sur l'expressivité de la logique. Comme nous avons fait des changements aux logiques modales classiques, nous nous intéressons à l'analyse de l'impact de ces changements sur les logiques résultantes. Ainsi, le reste de ce chapitre présente une boite à outils logique basique avec laquelle nous pouvons analyser cette nouvelle famille de logiques. Cette boite à outils peut être vue comme un plan qui organise le reste de cette thèse et qui permet d'analyser les logiques mémorielles en termes d'expressivité, de complexité, d'interpolation et de théorie de la preuve. Le reste des chapitres consiste à étudier en détail chacun de ces aspects. Dans les Chapitres 3 et 4, nous explorons l'expressivité de plusieurs logiques mémorielles et nous étudions la décidabilité de leur problème de satisfiabilité. Dans les cas décidables, nous déterminons leur complexité. Nous analysons l'impact des différents opérateurs mémoriels considérés, et leur interaction. Nous étudions également d'autres conteneurs mémoriels, tels que la pile. Puis, dans le Chapitre 4, nous analysons l'interpolation de Craig et la définabilité de Beth pour certains fragments des logiques mémorielles. Nous étudions également les logiques mémorielles du point de vue de la théorie de la preuve. Dans les Chapitres 6 et 7, nous passons aux axiomatisations à la Hilbert et aux systèmes de tableaux, et nous caractérisons plusieurs fragments de la famille des logiques mémorielles, en utilisant principalement des techniques empruntées aux logiques hybrides. Nous concluons dans le Chapitre 8 avec quelques remarques, des problèmes ouverts et des directions pour de futures recherches. / From ancient times to the present day, the field of logic has gained significant strength and now it actively contributes to many different areas, such as philos- ophy, mathematics, linguistic, computer science, artificial intelligence, hardware manufacture, etc. Each of these scenarios has specific needs, that range from very concrete requirements, like an efficient inference method, to more abstract theoretical properties, like a neat axiomatic system. Given this wide diversity of uses, a motley collection of formal languages has been developed. For many years, classical languages (mainly classical first order logic) were the alternative, but this assortment of applications made other types of logics also attractive in many situations. Imagine that the time for choosing a logic for some specific task arrives. How can we decide which is the one that fits best? Which properties should we look for? How can we “measure” a logic with respect to others? These are not easy questions, and there is not a general recipe one can follow. In this thesis we are just going to restrict these questions to a particular family of logics, and in that context we will investigate theoretical aspects that help to answer some of these concerns. Much can be discovered by carefully analyzing appealing cases, and our contribution will be developed having that philosophy in mind. Propositional modal logics offer an alternative to traditional languages. They can be regarded as a set of tools that allow to design logics specially tailored for specific tasks, having a fine-grained control on their expressivity. Additionally, modal logics turned out to have a good computational behavior, which proved to be quite robust under extensions. These characteristics, among others, placed modal logics as an attractive alternative to classical languages. In this dissertation we are going to present a new family of modal logics called memory logics. Traditional modal logics enables to describe relational structures from a local perspective. But what about changing the structure? We want to explore the addition of an explicit storage structure to modal logics, a mem- ory, that allows to model dynamic behavior through explicit memory operators. These operators store or retrieve information to and from the memory. Natu- rally, depending on which type of storage structure we want, and which memory operators are available, the resulting logic will enjoy different properties that are worth investigating. The thesis is organized as follows. In Chapter 1 we start by giving a brief recap of how modal logic was born, showing the different historical perspectives used to look at modal logic. Then we formally present the basic modal logic and a set of extended operators that helps grasp the modal “flavor” of some richer languages. We finish this chapter by giving a first glance of memory logics, and showing how they can help to model state when we choose to use a set as storage structure. Chapter 2 is devoted to present memory logics in detail. We show some examples that can be described by adding a set to standard relational structures, and the usual set operators to add elements and test membership. We then show some other memory operators that can be considered, and we discuss the possibility of adding constraints to the interplay between memory and modal operators. These constraints can be regarded as a way to have a finer-grained control on the logic expressivity. Since we have made changes to classical modal logics, we are interested in analyzing the impact those changes cause in the resulting logics. Therefore, the rest of this chapter presents a basic logic toolkit through which we can analyze this new family of logics. This toolkit can be seen as an outline that organizes the rest of the thesis and that allows to analyze memory logics in terms of expressivity, complexity, interpolation and proof theory. The rest of the chapters investigate each of these aspects in detail. In Chap- ters 3 and 4 we explore the expressive power of several memory logics and we study the decidability of their satisfiability problem. In the decidable cases, we determine their computational complexity. We analyze the impact of the differ- ent memory operators we consider, and how they interact. We also study other memory containers, such as a stack. Then, in Chapter 5, we analyze Craig inter- polation and Beth definability for some memory logic fragments. We also study memory logics from a proof theoretical perspective. In Chapter 6 and 7 we turn to Hilbert style axiomatizations and tableau systems, and we characterize several fragments of the memory logic family mostly using techniques borrowed from hy- brid logics. We close in Chapter 8 with some concluding remarks, open problems and directions for further research.

L’objectif de cette étude consiste à synthétiser et caractériser de nouveaux matériaux hybrides organique/inorganique obtenus par greffage de poly(méthacrylate)s d’alkyle sur des nanoparticules de dioxyde de titane (TiO2) et d'oxyde de zinc (ZnO). Afin de mieux comprendre les facteurs influents les réactions mises en jeu lors d'un greffage à partir de la surface d'un oxyde métallique, nous avons choisi de travailler avec des nanoparticules disponibles commercialement et/ou élaborées. Des nanoparticules d’oxyde de zinc, de dimensions allant de 5 à 100 nm, ont été synthétisées par la méthode de précipitation, à température ambiante. La diffractométrie de rayons X (DRX) et la microscopique électronique à transmission (MET) ont permis de déterminer la structure cristalline, les dimensions et la morphologie des particules ainsi préparées. Les conditions de synthèse ont été optimisées afin d'augmenter la surface spécifique des particules tout en favorisant la présence de groupes hydroxyles en surface. La méthode de greffage de polymères méthacryliques a consisté à modifier préalablement la surface des nanoparticules par un agent de couplage réactif de type 3-méthacryloxypropyltriméthoxysilane (MPS). Les nanoparticules ainsi modifiées ont été caractérisées par spectroscopie (IRTF et RMN CP-MAS 13C et 29Si) et par analyse thermogravimétrique afin de confirmer la présence et la quantité de MPS greffé. Cet alcoxysilane, porteur d'une fonction méthacrylate, a permis de greffer des chaînes de poly(méthacrylate de méthyle), de poly(méthacrylate de tert-butyldiméthylsilyle) à partir de la surface des nanoparticules. La polymérisation radicalaire contrôlée par addition-fragmentation réversible (procédé RAFT) a été sélectionnée pour obtenir un contrôle des masses molaires, de faibles indices de polymolécularité et le greffage de copolymères diblocs. L'observation de ces nanoparticules hydrides en microscopie électronique à transmission montre clairement la présence d'une couronne de polymères à la surface des particules. L'étude de la stabilité thermique des nouvelles nanoparticules hybrides à base de ZnO a été réalisée par analyse thermogravimétrique sous atmosphère inerte. L'impact du procédé de polymérisation sur les mécanismes de dégradation thermique des polymères méthacryliques étudiés a été mis en évidence. Pour la première fois, des valeurs d'énergie d'activation ont été calculées sous atmosphère inerte et oxydante. / The objective of this study is to synthesize and characterize new organic/inorganic hybrid materials obtained by grafting methacrylic polymer through the surface of metal oxide nanoparticles. Commercially available titanium dioxide (TiO2) and zinc oxide (ZnO) nanoparticles were used as raw materials. For a better understanding of parameters which influence the grafting efficiency of polymers, ZnO nanoparticles were synthesized using the precipitation method. The synthetic pathway was optimized to obtain nanoparticles with high surface area and surface hydroxylation. X-ray diffraction (XRD) and transmission electron microscopy (TEM) were used to determine the crystal structure, the size and morphology of nanoparticles. A polymerizable silane coupling agent, i.e. 3-(trimethoxysilyl)propylmethacrylate (MPS) was used to modify the surface of nanoparticules to obtain hydrophobic surface containing a polymerizable function. Fourier transform infrared (FTIR), solid-state (13C and 29Si) Nuclear Magnetic Resonance (NMR) spectroscopic investigations demonstrated that the silane coupling agent was fully hydrolyzed and linked to the hydroxyl groups already present on the particle surface through covalent and hydrogen bonds. Thermogravimetric data were helpful to quantify the amount of MPS linked to the nanoparticles surface. New poly(methacrylic ester)/ZnO and TiO2 nano-hybrid particles were prepared by in situ RAFT polymerization were prepared using the "grafting through" method. (Meth)acrylic homopolymers and diblock copolymers containing unconventional trialkylsilyl methacrylate (MASi) and methyl methacrylate (MMA) monomer units were grafted through the surface of nanosized particles modified by MPS. Results from FTIR and TGA analyses demonstrated that polymer chains were anchored on the nanoparticles surface. The thermal and thermo-oxidative degradation of methacrylic polymers and hybrid nanoparticles were also investigated by TGA. The effect of the RAFT polymerization on the thermal degradation of polymers was demonstrated. In addition, their apparent activation energy of degradation (Ea) was determined for the first time.

Hybrides nano /micrométriques de nanotubes de carbone (NTC) greffés sur microparticules d’alumina, microplaques de SiC ou nanoplaquettes de graphène (NPG) ont été utilisés comme renforts multifonctionnelles dans les composites à matrice polymère. Le NTCs utilisés étaient généralement sous forme de six branches symétriques et orthogonales sur microparticules sphériques d'Al2O3, mais d'une ou deux branches alignées verticalement sur les deux côtés de microplaques de SiC et de NPG. L’introduction des structures hybrides dans une matrice époxy permet d’améliorer la dispersion des NTC et l'interaction interfaciale entre les renforts et la matrice. Les propriétés mécaniques des composites ont été fortement améliorées avec une faible concentration de hybrides. La résistance électrique in situ des composites a atteint d’abord à sa valeur maximale et puis diminue avec la présence d'une déformation irréversible. Ce phénomène observé est complètement différent par rapport à ce des composites renforcé par NTC, c’est-à-dire, une augmentation monotone de la résistance jusqu'à leur rupture final. Les propriétés mécaniques et les comportements de self-sensing des composites dependent fortement de l'élancement de NTC de leur organisation et aussi des substrats. L'introduction des hybrides dans les composites renforcés par des fibres longues (verre) a démontré un grand potentiel pour développer des composites multi-échelles. Les études réalisées sur la matrice époxy renforcée par les hybrides bien dispersés avec une faible fraction ont montré des améliorations importantes des propriétés de flexion à 3 points et des propriétés thermo-mécaniques. Les réseaux conducteurs formés par hybrides nano/micrométriques permettent de suivre in situ l'évolution de l’état de dégradation des composites à matrice époxy renforcés par des tissus de verre sous contrainte appliquée. / Nano/micro multiscale hybrids with carbon nanotubes (CNTs) grown on the Al2O3 microparticles, SiC microplates or graphene nanoplatelets (GNPs) could serve as multifunctional reinforcements in the composites. The CNTs generally form into symmetric six-orthogonal branches on the spherical Al2O3, but vertically align on the flat surfaces of the SiC and GNP. The introduction of hybrids into the epoxy matrix endows uniform dispersion of CNTs as well as improved interfacial interaction between the reinforcements and matrix. Significantly enhanced mechanical properties of the composites were achieved at low hybrid concentration. The in situ electrical resistance of the composites initially increases to its maximum value and then begins to decrease with the appearance of irreversible deformation, which is different from the pristine CNTs filled composites only with monotonic increase of the resistance until their catastrophic fracture. The mechanical and self-sensing behaviors of the composites are found to be highly dependent on CNT aspect ratio, organization and the substrates. Besides, the introduction of hybrids into the traditional fiber-reinforced composites shows great promise in development of the high-performance multiscale composites. The epoxy matrix is toughed by the well dispersed hybrids at low fraction, resulting in improved flexural and thermomechancial properties. Besides, the conductive networks provided by the hybrids could be utilized as in situ damage sensors to monitor the damage evolution in the glass fabric/epoxy composite laminates under tensile loading.

Thèse (Ph. D.)--Université Laval, 2004. / Titre de l'écran-titre (visionné le 18 octobre 2005). Bibliogr.