Cette thèse est le fruit d'un partenariat entre la BL TVFE de NXP Semiconductors et l'ESIEE dans le cadre d'une thèse CIFRE. Le but est d'apporter une solution qui permette la réception de plusieurs canaux pour le câble. Ce sujet est lié à la problématique de numérisation large bande. Dans la première partie, nous faisons un état-de-l'art sur les convertisseurs analogiques-numériques (CAN), sur les architectures parallèles (entrelacement temporel et bancs de filtres hybrides (BFH)), et sur les méthodes d'échantillonnage (passe-bande et complexe). Puis, nous étudions une architecture composée d'un banc de filtres analogiques et un banc de CANs. Nous cherchons à réduire surtout le taux d'échantillonnage. Nous comparons notre solution à un CAN large bande performant, avec notre fonction de coût. L'un des avantages de cette architecture est que tous les composants sont faisables, même les CANs, et qu'il est possible d'éteindre des sous-bandes pour diminuer la consommation. Cette solution est intéressante pour le moment mais n'est pas compétitive en termes de consommation et de surface. Nous proposons une alternative dans la partie 3, avec les BFH. Nous étudions cette architecture, en gardant à l'esprit la faisabilité de la solution. Nous avons choisi un BFH à deux voies, avec un filtre analogique passe-bas et un passe-haut. Puis, nous proposons un algorithme d'optimisation des filtres de synthèse pour atteindre nos objectifs de distorsion et de réjection de repliement. Une identification des filtres analogiques est aussi présentée. Finalement, une réalisation physique prouve le concept et valide les limitations théoriques de cette architecture

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

La cellulose, composé organique le plus courant et polysaccharide le plus abondant sur Terre, est une ressource naturelle très importante. Les initiatives pour remplacer totalement ou partiellement les polymères pétrochimiques conventionnels avec des bio-polymères à base de cellulose ont donc attiré l'intérêt des chercheurs ces dernières décennies, non seulement parce que la cellulose est renouvelable et biodégradable, mais aussi en raison de ses propriétés intéressantes telles que la biocompatibilité et la stabilité chimique. De plus, les propriétés de cellulose peuvent être encore améliorées par des procédés chimiques, des modifications physiques ou en préparant des composites avec des charges fonctionnelles.Les études concernant d'étudier plusieurs aspects fondamentaux comme la dissolution de la cellulose afin de produire des matériaux et le test de nouveaux concepts autour de la modification de surface ou des revêtements, à l'échelle du laboratoire. Nous présentons dans ce manuscrit nos travaux concernant la caractérisation de solutions de cellulose dans deux solvants différents (hydroxyde de sodium aqueux et un liquide ionique) et la préparation de deux nouveaux types de matériaux à base de cellulose (un matériau hybride cellulose-amidon et un composite cellulose-noir de carbone), qui sont tous les deux préparés à partir de ces solutions de cellulose. / Cellulose, as the most common organic compounds on Earth, and also the most abundant polysaccharide, is definitely an important natural resource. With the initiatives of replacing (partially) the conventional petrochemical polymers by bio-based polymers, cellulose has regained the researchers' interests in the last few decades, not only because it is renewable and biodegradable, but also due to interesting properties such as biocompatibility and chemical stability. Additionaly, cellulose properties can be further enhanced by chemical/physical modification or making composites with functional fillers.This study was to investigate several fundamental scientific aspects as cellulose dissolution, making cellulose-based materials from solutions, and test of new concepts as surface modification or coating at laboratory scale. We studied and will present in this manuscript the characterization and properties of both cellulose solutions in different solvents (aqueous sodium hydroxide and ionic liquid) and two types of cellulose-based hybrid materials (one with starch and the other with carbon black), which were all prepared from dissolved cellulose.

La sensibilité et la sévérité d'explosion des différents mélanges gaz/vapeur-poussière ont été étudiées grâce à des dispositifs standards (sphère de 20 L, tube de Hartmann). Les spécificités des explosions de mélanges hybrides gaz/poussière ont été mises en évidence. En fait, même pour des concentrations de gaz inférieures à la limite inférieure d'explosivité (LIE), la probabilité d'inflammation et la gravité d'explosion peuvent être considérablement augmentées, ce qui permettra notamment de conduire à de grands changements dans la détermination des zones ATEX. Il a été, par exemple, démontré que ces mélanges peuvent être explosifs même lorsque la concentration en poudre et la concentration en vapeur sont respectivement en dessous de la concentration minimale explosive et de la LIE. En outre, des effets de synergie ont été observés et la vitesse de montée en pression de mélanges hybrides peut être supérieure à celles des gaz purs. Les origines de ces spécificités ne doivent pas être recherchées dans la modification d'un paramètre unique, mais peuvent probablement être attribuées aux effets combinés sur l'hydrodynamique (propagation de la flamme), le transfert thermique et la cinétique de combustion. Des expériences ont été menées afin de souligner l'importance de chaque contribution. Basé sur des schémas cinétiques classiques à coeur rétrécissant prenant en compte des diverses contraintes lors d'une réaction non-catalytique de gaz/solide et sur des modèles de combustion homogène pour les gaz, un modèle a été développé pour représenter l'évolution temporelle de la pression d'explosion pour ces mélanges / The explosion sensitivity and severity of various gas/vapor-dust mixtures have been studied thanks to specifically modified apparatuses based on a 20 L sphere and a Hartmann tube. The specificities of gas/dust hybrid mixtures explosions have been highlighted. In fact, even for gas concentrations lower than the lower explosivity limit (LEL), the ignition probability and the explosion severity can be greatly increased, which will notably lead to great changes in the Ex zones determination. For instance, it has been shown that such mixtures can be explosive when both the dust and gas concentrations are below their respective minimum explosive concentration and LEL. Moreover, synergistic effects have been observed and the rate of pressure rise of hybrid mixtures can be greater than those of the pure gases themselves. The origins of these specificities should not be sought in the modification of a single parameter, but could probably be attributed to combined impacts on hydrodynamics (flame propagation), thermal transfer and combustion kinetics. Experiments have been carried out in order to underline the significance of each contribution. Based on classical shrinking core models taking into account the various limitations during a non-catalytic gas/solid reaction and on homogeneous combustion for gases, a model has been developed to represent the time evolution of the explosion pressure for such mixtures

Les convertisseurs de puissance multicellulaires trouvent une place privilégiée dans le contrôle des systèmes de très forte puissance. Dans ce travail de thèse une nouvelle classe de convertisseurs de puissance est étudiée les Convertisseurs Multicellulaires Parallèles (CMP). La topologie de ces convertisseurs repose sur une association de n cellules de commutationinterconnectées par l'intermédiaire d'inductances indépendantes, appelées aussiinductances de liaison. Le CMP permet d'atteindre un courant de sortie égal à n fois le courant d'entrée du convertisseur, l'inconvénient majeur de ce type de convertisseur est le déséquilibrage des courants de branches . Dans le but de réduire et d'économiser le nombre de capteurs, nous avons proposé dans la première partie de la thèse une analyse d'observabilité spécifique à une classe de système dynamique hybride appelée Z(TN)-Observability et synthétisé un observateur hybride en utilisant l'algorithme super twisting. La deuxièmepartie du travail a été consacrée à la synthèse d'une loi de commande pour la régulation des courants de branches. En effet, le régulateur proposé est un régulateur hybride en basant sur la modélisation par réseaux de pétri de l'algorithme de contrôle. Enfin, Les deux parties théoriques sont suivies par une réalisation pratique d'un CMP à trois cellules de commutation pour valider les deux approches proposées. Les résultats expérimentaux nous ont montré les performances de l'observateur et le régulateur de courant et de tension de sortie. / This study deals with observability problems and control of the parallel multicell chopper. In the area of strong currents with high switching frequencies, new structures based on the combination of components have been developed. This type of chopper is a DC/DC static power converter which has an output current equals to n (n is the number of cells) times the source current. After recalling the dynamical equations of the converter, its hybrid dynamical behaviour and properties are highlighted. This particular hybrid system induces new and difficult observability problems, such problem can be tackled by a new observability concept [the Z(TN)-observability]. However, for a large number of switching cells in parallel, the complexity of the system makes it impossible to predict the transient behaviour of the converter and therefore all predimensioning. The main disadvantage of this type of converter is the imbalance branches of current with increasing number of cells. Therefore modelling and control with Petri net is proposed to solve the problems of imbalanced of currents and the voltage output regulation with variation of the load. The authors approaches are attested by several numerical simulations and experimental results considering noisy measurements and load variations.

Ce travail de thèse porte, en premier lieu et principalement, sur le diagnostic à base de modèle d’une classe de SLC (Systèmes Linéaires à Commutations). Une problématique récurrente dans ce type de problème concerne la prise en considération de façon explicite les deux aspects, continu et discret, constituant un SLC. Dans ce cadre, nous avons proposé une méthodologie de détection et de localisation de défauts qui combine les outils initialement dédiés au diagnostic des systèmes continus et d’autres spécifiques aux SED (Systèmes à Evénement Discrets). L’approche proposée est conçue autour de trois modules : deux types de générateurs de résidus (issus de l’Automatique continue) et un estimateur en-ligne de l’état discret, appelé diagnostiqueur (issu de l’Automatique événementielle). Notre diagnostiqueur utilise les deux types de résidus, provenant de la partie continue, afin d’identifier le mode de fonctionnement du SLC et d’isoler les défauts de capteurs. Les résidus utilisés pour la localisation des défauts de capteurs sont générés à travers un générateur développé autour d’un schéma DOS (Dedicated Observer Scheme) à base d’observateurs hybrides,à la fois robustes vis-à-vis des entrées inconnues et sensibles aux défauts de capteurs. En second lieu, sur la base des résultats obtenus à l’aide de l’approche de diagnostic développée, nous avons proposé une approche préliminaire de synthèse de lois de commande tolérantes aux défauts de capteurs stabilisante via un retour d’état. Cette approche permet de préserver les performances nominales du système (situation non défaillante)en présence d’un défaut de capteurs. L’idée consiste à reconfigurer le retour d’état en remplaçant le vecteur d’état estimé à partir d’une sortie en défaut par un autre estimé à partir d’une sortie saine. La redondance des estimations est assurée dans cette approche par un banc d’observateurs hybrides robustes qui fournit plusieurs estimations correctes des vecteurs d’état et de sorties. / This thesis focuses, in first and foremost, on the model-based diagnosis of a class of SLC (Switched Linear Systems). The basic idea is to consider the continuous and discrete aspects, forming an SLC, explicitly.In this context, we proposed a methodology for detecting and locating faults that combines the tools originally dedicated to the continuous systems and the DES (discrete event systems) diagnosis. The proposed approach is designed around three modules: two types of residual generators (from the continuous Automatic) and anon-line estimator of the discrete state, called diagnoser (from the event Automatic). Our diagnoser uses the residual generators issue from the continuous part to identify the SLC mode and isolate sensor faults.Residues used for fault location sensors are generated through a generator developed around a scheme DOS(Dedicated Observer Scheme) based on hybrid observers. These observers are robust vis-à-vis the unknown input and sensitive to sensor faults. Secondly, based on the obtained results using the previous diagnosis approach, we proposed a preliminary approach for fault-tolerant state-feedback control law synthesis. This approach preserves the nominal performance of the system (as non-defaulting) in the presence of defective sensors. The idea is to reconfigure the state feedback by replacing the state vector estimated from defected output by another estimated from non-defected one. Redundancy estimates is provided in this approach by a bank of robust hybrid observer that provides several accurate estimates of state vectors and outputs.

Ce manuscrit de thèse décrit la conception, l’élaboration et l’étude de complexes organofers électro-actifs dans lesquels deux unités terminales Cp*(dppe)FeII/III sont reliés par un pont fonctionnel. Dans le premier chapitre, nous avons présenté une réaction à la fois originale et efficace catalysée par le Pd(0) qui permet d’accèder à la [5,5’-{(Cp*(dppe)Fe–C≡C}2-(μ-2,2’-bipy)]. Le deuxième chapitre porte sur la présentation d’une voie de synthèse rapide et efficace du métallo-ligand [6,6’-{Cp*(dppe)Fe–C≡C}2-(μ-2,2’-bipy)]. Le troisième chapitre de ce mémoire est consacré à l’utilisation du ligand 1’,1’’’-bis(éthynyle)biferrocényle comme pont entre deux terminaisons électroactives Cp*(dppe)FeII/III. L’espaceur électro-actif joue le rôle de relais moléculaire favorisant le transfert électronique d’une terminaison à l’autre par sauts successifs. Afin d’ajuster les potentiels redox des terminaisons par rapport à ceux du biferrocényle, les terminaisons Cp(PPh3)2M (M = Ru, Os) ont également été utilisées pour substituer un ou deux sites organofers. Le chapitre quatre est dédié aux travaux réalisés sur le système hybride Cp*(dppe)Fe-C≡C-TTMe3. Dans cette molécule, le site Cp*(dppe)FeII/III interagit à travers le pont acétylure avec le fragment tétrathiafulvalényle. La nouvelle molécule est stable sous trois degrés d’oxydation. L’espèce monocationique se comporte comme un composé à valence mixte de classe II et le couplage électronique entre les deux électrophores a été déterminé (Hab = 320 cm-1). Dans le cinquième et dernier chapitre nous mettrons à profit la découverte d’une réaction d’activation de la liaison C-H du groupement méthyle situé sur le même cycle du TTF et de l’acétylure de fer dans le composé [Cp*(dppe)Fe-C≡C-TTMe3](PF6)3. Cette réaction permet la synthèse du complexe moléculaire multifonctionnel [Cp*(dppe)Fe=C=C=TTFMe2=CH-CH=TTFMe2=C=C=Fe(dppe)Cp*][PF6]2 avec de très bon rendement. Les propriétés physicochimiques de ce nouveau complexe analysées avec le support de la chimie quantique permettent de révéler les caractéristiques originales de ce composé inédit. / This thesis highlights the conception, synthesis and studies of redox-active organoiron complexes in which the two termini Cp*(dppe)FeII/III are linked by a functional bridge. In chapter I, an original and efficient synthetic Pd(0) catalysed homocoupling procedure is reported involving mononuclear organoiron(II) intermediates allowing us to isolate [5,5’-{Cp*(dppe)Fe–C≡C}2-(μ-2,2’-bipy)]. In chapter II, a rapid and efficient synthetic access to the redox-active metallo-ligand [6,6’-{cp*(dppe)Fe–C≡C}2-(μ-2,2’-bipy)] is described. In chapter III, the synthesis and properties of a series of complexes containing bis(ethynyl)biferrocene as a bridge between different redoxactive groups is pointed out. The redox bridge acts as a molecular relay for the electronic exchange between the termini via an electron hopping pathway. In order to tune the redox potential compared with those of biferrocene, one or two organoiron groups have been substituted by the Cp(PPh3)2M (M = Ru, Os) groups. In chapter IV, works are dedicated to the hybrid system Cp*(dppe)Fe-C≡C-TTMe3. In this molecule, electronic interactions take place between the Cp*(dppe)FeII/III center and the tetrathiafulvalene core through the ethynyl bridge. The new molecule is stable under three redox states. The mono-oxidized species behaves as a mixed valence species with an electronic coupling Hab = 320 cm-1 between the two electrophores. In the fifth and final chapter, the discovery of a CH bond activation of a methyl group located on the same cycle of the TTF core and the iron acetylide for the compound [Cp*(dppe)Fe-C≡C-TTMe3](PF6)3 is reported. This new reaction allows the synthesis of the multicomponent molecule [Cp*(dppe)Fe=C=C=TTFMe2=CH-CH=TTFMe2=C=C=Fe(dppe)Cp*][PF6]2 in good yield. The resulting device displays specific properties analysed with the support of the quantum chemistry.

Les logiques hybrides accroissent les logiques modales avec des éléments pour décrire et raisonner à propos de l'identité, ce qui est crucial dans certaines situations. Les logiques modales que l'on connaît comme ``hybrides'' aujourd'hui remontent au travaux de Prior dans les années 1960, mais leur étude systématique n'a commencé qu'au bout des années 1990. Elles sont intéressantes en grande partie car elles comblent un manque en matière d'expressivité dans les logiques modales. D'ailleurs, elles sont connues parfois comme des ``logiques modales avec égalité''. L'un des thèmes centraux de cette thèse est le problème de la satisfiabilité pour celle qui est probablement la mieux connue des logiques hybrides: le système H(@,dwn), et pour certaines de ses sous-logiques. La satisfiabilité est le problème fondamental en raisonnement automatique. Dans le cas des logiques hybrides, elle a été étudiée essentiellement par la méthode des tableaux. Dans cette thèse, nous essayons de compléter le panorama en explorant la satisfiabilité des logiques hybrides par d'autres méthodes: la résolution du premier ordre et des variantes de calcul de résolution qui manipulent directement des formules hybrides. Nous présentons un certain nombre de traductions en temps linéaire de H(@,dwn) à la logique de premier ordre qui préservent la satisfiabilité. Elles sont conçues de façon telle qu'elles réduisent l'espace de recherche. Ensuite nous dirigeons notre attention vers les calculs qui manipulent directement des formules hybrides. En particulier, nous considérons le calcul de résolution directe. Inspirés par la résolution du premier ordre, nous transformons ce calcul en un calcul de résolution ordonnée avec des fonctions de sélection, et nous prouvons qu'il a la propriété de réduction des contre-exemples. Nous concluons ainsi qu'il est réfutationnellement complet et qu'il est compatible avec le fameux critère standard de redondance. Nous montrons également qu'une version raffinée de ce calcul constitue un procédure de décision pour H(@), un fragment décidable de H(@,dwn). Dans la dernière partie de cette thèse, nous explorons certaines formes normales des logiques hybrides et d'autres logiques modales étendues. Nous nous intéressons aux formes normales où certaines modalités ne sont jamais présentes dans la portée d'autres opérateurs modaux. Nous montrons qu'il est possible de profiter de ce type de transformations sous la forme d'un prétraitement, dans le but de réduire le nombre d'inférences nécessaires pour un prouveur modal. En nous efforçant de formuler ces résultats en tenant compte d'autres logiques modales étendues, nous arrivons à une formulation de la sémantique modale par un nouveau type de modèles définis de façon coinductif. Plusieurs logiques modales étendues (dont les logiques hybrides) peuvent être définies par des classes de modèles coinductifs. Ainsi, des résultats qui étaient habituellement prouvés séparément pour chaque langage (mais dont la preuve n'était souvent que de routine) peuvent être démontrés d'une façon générale. / Hybrid logics augment classical modal logics with machinery for describing and reasoning about identity, which is crucial in many settings. Although modal logics we would today call ``hybrid'' can be traced back to the work of Prior in the 1960's, their systematic study only began in the late 1990's. Part of their interest comes from the fact they fill an important expressivity gap in modal logics. In fact, they are sometimes referred to as ``modal logics with equality''. One of the unifying themes of this thesis is the satisfiability problem for the arguably best-known hybrid logic, H(@,dwn), and some of its sublogics. Satisfiability is the basic problem in automated reasoning. In the case of hybrid logics it has been studied fundamentally using the tableaux method. In this thesis we attempt to complete the picture by investigating satisfiability for hybrid logics using first-order resolution (via translations) and variations of a resolution calculus that operates directly on hybrid formulas. We present firstly several satisfiability-preserving, linear-time translations from H(@,dwn) to first-order logic. These are conceived in a way such that they tend to reduce the search space of a resolution-based theorem prover for first-order logic. We then move our attention to resolution-based calculi that work directly on hybrid formulas. In particular, we will consider the so-called direct resolution calculus. Inspired by first-order logic resolution, we turn this calculus into a calculus of ordered resolution with selection functions and prove that it possesses the reduction property for counterexamples from which it follows its completeness and that it is compatible with the well-known standard redundancy criterion. We also show that certain refinement of this calculus constitutes a decision procedure for H(@), a decidable fragment of H(@,dwn). In the last part of this thesis we investigate certain normal forms for hybrid logics and other extended modal logics. We are interested in normal forms where certain modalities can be guaranteed not to occur under the scope of other modal operators. We will see that these kind of transformations can be exploited in a pre-processing step in order to reduce the number of inferences required by a modal prover. In an attempt to formulate these results in a way that encompasses also other extended modal logics, we arrived at a formulation of modal semantics in terms of a novel type of models that are coinductively defined. Many extended modal logics (such as hybrid logics) can be defined in terms of classes of coinductive models. This way, results that had to be proved separately for each different language (but whose proofs were known to be mere routine) now can be proved in a general way.

Actuellement, il existe deux types de peintures anti-salissures marines sur le marché : - Les Self-Polishing Coatings (SPC), revêtements auto-polissants à base de liants polymères hydrolysables, efficaces par relargage de biocides dans le milieu marin mais toxiques pour l’environnement ; - Les Fouling Release Coatings (FRC), revêtements hydrophobes à base de silicone, sans biocides, qui limitent la force d’adhésion des salissures mais ne sont pas efficaces en mode statique.L’objectif de cette étude est d’élaborer des peintures anti-salissures marines hybrides FRC/SPC. Pour ce faire, des polymères diblocs à la fois hydrolysables et présentant une faible énergie de surface ont été synthétisés et caractérisés puis utilisés en tant que liants dans la formulation de peintures anti-salissures marines.Le procédé de polymérisation RAFT a été employé afin de synthétiser des polymères avec une architecture et une masse molaire contrôlée. Deux approches ont été abordées :- Des polymères ont été synthétisés à base de monomères de faible énergie de surface et hydrolysables (le méthacrylate de (heptaméthyl-trisiloxy)diméthylsilyle et le méthacrylate de bis(triméthylsilyloxy)méthylsilyle) avec un co-monomère méthacrylate de méthyle ou méthacrylate de butyle. Il a notamment pu être montré que les copolymères de structure dibloc présentent une énergie de surface plus faible que les copolymères statistiques.- Des polymères ont été synthétisés à partir de monomères hydrolysables tel que le méthacrylate de tert-butyldiméthylsilyle et de monomères de faible énergie de surface tel que le méthacrylate de poly(diméthyl-siloxane).Les propriétés d’érosion (type SPC) et d’énergie de surface (type FRC) ont été étudiées pour les liants seuls et les peintures formulées, avant et pendant leur immersion en eau de mer artificielle. L’efficacité anti-salissures marines des peintures formulées a été évaluée lors de leur immersion in-situ en Mer Méditerranée. / Two main types of antifouling coatings are present on the market: - The Self-Polishing Coatings (SPC): they are based on hydrolysable polymer binders and their antifouling efficiency relies on the release of biocides in the marine surrounding. Unfortunately, they are toxic for the marine environment- The Fouling Release Coatings (FRC): these hydrophobic silicone-based coatings limit the adhesion strength of fouling organisms and are biocide-free. Nevertheless, they are not efficient during idle periods.The aim of this study is to develop FRC/SPC hybrid antifouling coatings. Thus, diblock polymers both hydrolysable and with a low surface energy have been synthesized and characterized, then used as binders for the formulation of antifouling coatings.Polymerization by the RAFT process has been used to synthesize well-architectured polymers with controlled molecular weights. Two different approaches have been considered:- Polymers have been synthesized from low surface energy and hydrolysable monomers ((heptamethyl-trisiloxy)dimethylsilyl methacrylate and bis(trimethylsilyloxy)methylsilyl methacrylate) and a co-monomer of methyl or butyl methacrylate. It has been demonstrated that the diblock copolymers exhibit a lower surface energy than the statistical copolymers.- Polymers have been synthesized from hydrolysable monomers (tert-butyldimethylsilyl methacrylate) and low surface energy monomers (poly(dimethylsiloxane) methacrylate).The erosion properties (SPC-type) and the hydrophobicity (FRC-type) have been studied for both the binders and the formulated coatings, before and during their immersion in artificial seawater. The antifouling efficiency of the formulated coatings has been evaluated during their in-situ immersion in the Mediterranean Sea.