Thèse doctorat : Génie Electrique : Villeurbanne, INSA : 2006. / Titre provenant de l'écran-titre. Bibliogr. p. 184-191.

Reproduction de : Thèse de doctorat : Mécanique et énergétique : Reims : 2006. / Titre provenant de l'écran titre. Bibliogr. f. 251-254.

Th. doct. -ing.--Toulouse, I.N.P., 1980. N°: 78.

Cette thèse propose une méthodologie complète de conception des transformateurs utilisés dans les modulateurs servant à alimenter, par des impulsions de haute tension, des amplificateurs klystron. Cette méthodologie est appliquée au transformateur d'impulsion monolithique du modulateur qui doit fournir des impulsions de 28.9 MW pendant 140 µs, à une tension de -170 kV pour le futur accélérateur d'électrons-positrons CLIC actuellement en phase de recherche et développement à l'organisation européenne pour la recherche nucléaire (CERN). Une attention particulière est donnée au respect du temps de montée de la tension du klystron qui doit être inférieur à 3 µs, et à la tension maximale qui ne doit pas être inférieure à -175 kV. Les circuits électriques équivalents respectifs du transformateur, incluant capacités et inductances parasites, et du klystron permettent de modéliser le comportement électrique du modulateur. Un circuit équivalent défini dans le standard 390 de l'IEEE ainsi qu'un circuit équivalent d'ordre élevé sont utilisés. Il est possible par simulation des circuits équivalents de connaître le courant et la tension au secondaire du transformateur lorsque la tension au primaire est imposée. A partir des caractéristiques du transformateur et des matériaux le constituant, l'identification des éléments parasites à l'aide de calculs analytiques ou de simulations avec la méthode des éléments finis en 2D ou en 3D du transformateur est présentée. Une méthodologie d'identification expérimentale du circuit équivalent standard du transformateur est développée afin de comparer les méthodes d'identification par calcul et simulation avec des mesures réalisées sur un transformateur. Le système d'isolation est dimensionné à partir d'essais haute tension réalisés sur les matériaux solides et liquides. Les modèles de dimensionnement et d'isolation sont validés expérimentalement sur deux prototypes. Des résonances non modélisées avec le circuit équivalent standard et reproduites par le circuit équivalent d'ordre élevé sont observées expérimentalement sur les deux prototypes à échelle réduite. Le circuit équivalent standard et l'identification sont utilisés dans une procédure d'optimisation pour dimensionner un avant-projet de transformateur respectant le cahier des charges du CLIC. Un algorithme d'optimisation hybride utilisant conjointement des modèles de dimensionnement de basse et haute précision pour un résultat rapide et précis est présenté et détaillé. / In this thesis, a pulse transformer design methodology for klystron amplifiers is presented. This methodology is applied to the design of the pulse transformer for the modulator of a future electron-positron compact linear accelerator (CLIC) at CERN which has to produce -170 kV pulses of 140 µs duration with a power of 28.9 MW. A special care is given to the secondary voltage maximum value and rise time of respectively -175 kV and 3 µs. The electrical performances of the modulator are evaluated with equivalent circuits that include parasitic capacitances and inductances of the transformer, and nonlinear klystron resistance. The IEEE pulse transformer equivalent circuit and a high order generalized equivalent circuit are compared. From the transformer topology and its material characteristics, the elements of the equivalent circuits are identified with analytic computation (only for the standard equivalent circuit) or simulations of the electrical and magnetic fields of the transformer modeled in 2D or 3D using the finite elements method. Two reduced scale validation prototypes are realized. An experimental identification methodology of the standard equivalent circuit is developed to compare simulation and experimental results. The insulation structure is designed from high voltage tests on solid and liquid insulating materials and validated on prototypes. It is experimentally demonstrated that the high order generalized equivalent circuit predict the observed electrical resonances not predicted by the standard equivalent circuit. The standard equivalent circuit and its identification are used in an optimization procedure to design a pulse transformer that meets the specifications for the full scale CLIC modulators. The hybrid optimization algorithm (also called space mapping) that is associating analytic and 3D finite element simulations for a fast and precise solution is proposed and detailed.

Thèse de doctorat : sciences. Génie électrique : Ecully, Ecole centrale de Lyon : 2006. / 31 réf.

Thèse de doctorat : sciences. Génie électrique : Ecully, Ecole centrale de Lyon : 2006. / Titre provenant de l'écran-titre. 31 réf.

Cette thèse porte sur la réalisation d'une maquette du système CESAR, système d'aide à l'analyse d'applications réparties. L'outil réalisé permet de comparer une application décrite par un programme parallèle avec ses spécifications données par un ensemble de formules d'une logique temporelle.

Le système CESAR proposé dans cette thèse est un système d'aide à la conception des applications reparties. Il permet de décrire l'application étudiée dans un langage algorithmique en termes de processus communiquant par rendez-vous; de spécifier les propriétés de comportement souhaitées au moyen d'une logique temporelle. Le modèle sur lequel ces formules sont analysées est un réseau de Petri interprété généré automatiquement à partir de la description fournie. L'analyse repose sur une évaluation des opérateurs temporels comme points fixes de transformateurs de prédicats sur l'espace d'états du modèle.

.

Les systèmes de communication sans fil en fréquences millimétriques ont gagné considérablement en importance au cours des dernières années. Des applications comme les réseaux WLAN et WPAN à 60 GHz, le radar automobile autour de 80 GHz ou l'imagerie à 94 GHz sont apparues, demandant un effort conséquent pour la conception des circuits intégrés émetteurs et récepteurs sur silicium. Dans ce contexte, les transformateurs intégrés sont particulièrement intéressants. Ils peuvent réaliser des fonctions comme l'adaptation d'impédance, la conversion du mode asymétrique au différentiel et la combinaison de puissance. La conception et la modélisation de ce type de transformateur font le sujet de cette thèse. Une étude détaillée des topologies de transformateurs est présentée, concernant le dessin des inductances, leur position relative, leurs dimensions géométriques, le blindage du substrat et l'obtention de rapports importants de transformation. Leur modélisation par des simulations électromagnétiques et par un circuit électrique à éléments discrets est également discutée. Le modèle présente une topologie 2-π et une série d'équations analytiques dépendant de ses caractéristiques technologiques et géométriques pour évaluer tous ses composants. Un très bon accord entre les simulations et les mesures est observé pour des transformateurs en technologies CMOS 65 nm et BiCMOS 130 nm jusqu'à 110 GHz. Finalement, les transformateurs sont appliqués à la conception d'un mélangeur BiCMOS à 77 GHz et un amplificateur de puissance CMOS à 60 GHz.