Architectures d'intégration mixte monolithique-hybride de cellules de commutation de puissance sur puces multi-pôles silicium et assemblages optimisés

Architectures d'intégration mixte monolithique-hybride de cellules de commutation de puissance sur puces multi-pôles silicium et assemblages optimisés PDF Author: Adem Lale
Publisher:
ISBN:
Category :
Languages : fr
Pages : 212

Get Book Here

Book Description
Actuellement, le module de puissance (convertisseur de puissance) standard hybride 2D est la technologie de référence qui domine le marché de la moyenne et de la forte puissance. Ce dernier se présente sous la forme d'un boitier à multi-puces discrètes. Les puces à semi-conducteur sont reliées entre elles par des faisceaux de wire-bonding (câblage par fils) pour former des cellules de commutation. La technologie d'interconnexion wire-bonding présente une grande maturité technologique, et ses modes de défaillance sont bien connus aujourd'hui. Toutefois, cette technologie est un facteur limitant en termes de performances électrique et thermomécanique, d'intégrabilité tridimensionnelle et de productivité. Ces travaux de thèse ont pour objectif de proposer et d'étudier de nouvelles architectures de convertisseurs de puissance très intégrés. Comparée à la technologie hybride, dite de référence, les architectures proposées visent à un degré d'intégration plus poussé, avec un effort d'intégration partagé et conjoint au niveau semi-conducteur (intégration monolithique) et au niveau assemblage (intégration hybride). L'intégration monolithique consiste à intégrer les interrupteurs formant les cellules de commutation dans de nouvelles architectures de puces, passant ainsi de la notion de puce dipôle à celle de macro-puce multi-pôle. L'intégration hybride repose sur le développement de nouvelles technologies de report et d'assemblage de ces macro-puces. Pour valider les trois nouvelles architectures d'intégrations proposées, la démarche a consisté dans un premier temps à étudier et valider le fonctionnement des nouvelles puces par des simulations SentaurusTM TCAD. Ensuite, les puces multi-pôles ont été réalisées en s'appuyant sur la filière IGBT disponible dans la plateforme de micro-fabrication du LAAS-CNRS. Pour finir, les puces ont été reportées sur des cartes PCB, afin de réaliser des circuits de conversions prototypes. La maille de commutation très intégrée proposée présente une inductance parasite inférieure au nanohenry, ce qui est remarquable comparée à ce qui est présenté dans l'état de l'art (env. 20 nH).

Architectures d'intégration mixte monolithique-hybride de cellules de commutation de puissance sur puces multi-pôles silicium et assemblages optimisés

Architectures d'intégration mixte monolithique-hybride de cellules de commutation de puissance sur puces multi-pôles silicium et assemblages optimisés PDF Author: Adem Lale
Publisher:
ISBN:
Category :
Languages : fr
Pages : 212

Get Book Here

Book Description
Actuellement, le module de puissance (convertisseur de puissance) standard hybride 2D est la technologie de référence qui domine le marché de la moyenne et de la forte puissance. Ce dernier se présente sous la forme d'un boitier à multi-puces discrètes. Les puces à semi-conducteur sont reliées entre elles par des faisceaux de wire-bonding (câblage par fils) pour former des cellules de commutation. La technologie d'interconnexion wire-bonding présente une grande maturité technologique, et ses modes de défaillance sont bien connus aujourd'hui. Toutefois, cette technologie est un facteur limitant en termes de performances électrique et thermomécanique, d'intégrabilité tridimensionnelle et de productivité. Ces travaux de thèse ont pour objectif de proposer et d'étudier de nouvelles architectures de convertisseurs de puissance très intégrés. Comparée à la technologie hybride, dite de référence, les architectures proposées visent à un degré d'intégration plus poussé, avec un effort d'intégration partagé et conjoint au niveau semi-conducteur (intégration monolithique) et au niveau assemblage (intégration hybride). L'intégration monolithique consiste à intégrer les interrupteurs formant les cellules de commutation dans de nouvelles architectures de puces, passant ainsi de la notion de puce dipôle à celle de macro-puce multi-pôle. L'intégration hybride repose sur le développement de nouvelles technologies de report et d'assemblage de ces macro-puces. Pour valider les trois nouvelles architectures d'intégrations proposées, la démarche a consisté dans un premier temps à étudier et valider le fonctionnement des nouvelles puces par des simulations SentaurusTM TCAD. Ensuite, les puces multi-pôles ont été réalisées en s'appuyant sur la filière IGBT disponible dans la plateforme de micro-fabrication du LAAS-CNRS. Pour finir, les puces ont été reportées sur des cartes PCB, afin de réaliser des circuits de conversions prototypes. La maille de commutation très intégrée proposée présente une inductance parasite inférieure au nanohenry, ce qui est remarquable comparée à ce qui est présenté dans l'état de l'art (env. 20 nH).

Architectures de cellules de commutation monolithiques intégrables sur semi-conducteurs bi-puce et mono-puce pour convertisseurs de puissance compacts

Architectures de cellules de commutation monolithiques intégrables sur semi-conducteurs bi-puce et mono-puce pour convertisseurs de puissance compacts PDF Author: Abdelilah El Khadiry
Publisher:
ISBN:
Category :
Languages : fr
Pages : 178

Get Book Here

Book Description
Dans le domaine de l'intégration hybride de puissance, l'opération de câblage des dispositifs semi-conducteurs de puissance est la cause de fortes interactions électriques parasites entre les inductances de connexion, les capacités parasites par rapport au plan de masse, les dispositifs de puissance eux même et leur électronique de commande rapprochée. Ces interactions constituent une source de pollution et d'auto-perturbation EMI d'une part et un facteur de limitation des performances et de la fiabilité d'autre part. La voie de l'intégration monolithique de puissance au sein d'un même cristal constitue une approche intéressante permettant de solutionner simultanément l'ensemble des problèmes induits par l'intégration hybride. Dans ce cadre, les travaux de cette thèse visent à étudier la faisabilité d'une approche d'intégration monolithique intermédiaire où une structure générique multiphasée est décomposée et intégrée sous la forme de deux macro-puces, chacune vient intégrer un réseau d'interrupteurs multiphasés partageant au moins une électrode commune. Chaque macro-puce est un "aiguilleur de courant" déclinée en deux versions : une version "high-side" à anode commune/face arrière de la macro-puce et une version "low-side" à cathode commune/face avant de la macro-puce. Ce mode d'intégration adresse des applications de conversion d'énergie de type DC/AC, AC/DC ou encore des interrupteurs de puissance quatre segments de faible et moyenne puissance. L'étude comporte : la modélisation par simulations physiques/électriques 2D de structures de puces proposées, la validation de la fonctionnalité recherchée sur le plan semi-conducteur (structure physique) et système (circuit électrique), la réalisation de puces "prototype" en salle blanche du LAAS puis les caractérisations préliminaires sous pointes et enfin l'étude de solutions d'assemblage 2D et 3D des puces réalisées sur substrat SMI/DBC constituant à terme des modules de puissance ultra compacts. Les perspectives scientifiques à ce travail reposent sur une approche d'intégration monolithique "ultime" des cellules de commutation au sein d'une seule puce. Cette approche reposerait sur la réunion et sur un agencement original des deux aiguilleurs initialement étudiés et profite des résultats de comparaison de leurs techniques d'assemblage.

Conception et réalisation de protections intégrées sur puce silicium et développement de nouvelles cellules de commutation monolithiques pour convertisseur de puissance

Conception et réalisation de protections intégrées sur puce silicium et développement de nouvelles cellules de commutation monolithiques pour convertisseur de puissance PDF Author: Amirouche Oumaziz
Publisher:
ISBN:
Category :
Languages : fr
Pages : 183

Get Book Here

Book Description
Les convertisseurs de puissance sont aujourd'hui largement déployés dans plusieurs applications du quotidien qui requièrent un grand niveau de sécurité, de fiabilité et de disponibilité. Afin de répondre à ces exigences, il a fallu fonctionnaliser les modules de puissances avec des cellules de commutations à tolérance de panne et la possibilité de faire de la redondance, afin de pouvoir continuer à opérer même en cas de défaut. Ces fonctions évoluées sont assurées par le rajout de protections électroniques, des composants tels que des fusibles, des composants de puissance auxiliaires, pour permettre la connexion de bras secours. Dans cette thèse, on traite deux thématiques d'intégration d'électronique de puissance, dans l'idée de proposer des solutions d'intégration plus poussées, qui aspirent à rendre les convertisseurs de puissance, plus sécurisés et plus compacts. Dans un premier temps, on s'intéresse à l'intégration de fusibles de manière monolithique sur des composants de puissance verticaux qui composent les cellules de commutations à tolérance de panne. Cette approche permettrait de produire des composants auto-sécurisés, capable d'isoler le défaut rapidement, sans le propager. La seconde thématique de cette thèse, concerne la proposition et l'étude de nouvelles architectures de cellules de commutations complètement monolithique, réalisées verticalement sur une seule puce silicium. On s'intéresse notamment à l'intégration de bras de convertisseurs composé de transistors IGBT (type P et N) et VDMOS (type P et N). L'utilisation de composants type P reste limité dans les structures de convertisseurs de puissance. Néanmoins, la démarche d'intégration monolithique sur une seule puce, avec d'autres composants de type N, reste très intéressante pour des applications spécifiques. Pour valider ces approches d'intégration proposées, des fusibles 10A/200V ont étés dimensionnés et réalisés par croissance électrolytique conforme avec une résolution micro-métrique sur puce silicium. Une zone tampon en époxy a été introduite localement dessous les constrictions fusibles pour isoler thermiquement ces dernières du substrat silicium. Ce matériau permet aussi de protéger la puce d'une ablation par le plasma d'arc. La tenue en tension latérale a été renforcée par une couche de nitrure à l'interface fusible - puce. Il a aussi été montré que le gel silicone présent dans les modules de puissance permettait d'absorber efficacement et de passiver dans le volume les vapeurs métalliques issues de la fusion des constrictions. Une approche générique de dimensionnement électrothermique 3D de ces fusibles a été menée sous ComsolTM. Les principales architectures ont été optimisées sous contraintes de température et de surface d'implantation. La meilleure d'entre-elles, basée sur un agencement série - parallèle présente un gain en compacité et en sensibilité I2Tp cinq fois meilleurs que ceux du commerce. [...].

Proof Theory and Automated Deduction

Proof Theory and Automated Deduction PDF Author: Jean Goubault-Larrecq
Publisher: Springer Science & Business Media
ISBN: 9781402003684
Category : Computers
Languages : en
Pages : 448

Get Book Here

Book Description
Interest in computer applications has led to a new attitude to applied logic in which researchers tailor a logic in the same way they define a computer language. In response to this attitude, this text for undergraduate and graduate students discusses major algorithmic methodologies, and tableaux and resolution methods. The authors focus on first-order logic, the use of proof theory, and the computer application of automated searches for proofs of mathematical propositions. Annotation copyrighted by Book News, Inc., Portland, OR

Global Warming and Climate Change

Global Warming and Climate Change PDF Author: Emma Carlson Berne
Publisher: Referencepoint Press
ISBN: 9781601520197
Category : Science
Languages : en
Pages : 118

Get Book Here

Book Description
Throughout the world, the cause and impact of global warming and climate change is being passionately debated. While many claim that a climate crisis is imminent if greenhouse gases are not curbed, others argue that the effects have been overblown. Through objective overviews, primary sources, and full-color illustrations, this title will examine What Is Global Warming and Climate Change? What Are the Consequences of Global Warming? What Are the Controversies Surrounding Global Warming? What Are the Solutions for Global Warming?

Logic for Computer Science

Logic for Computer Science PDF Author: Jean H. Gallier
Publisher: Courier Dover Publications
ISBN: 0486780821
Category : Mathematics
Languages : en
Pages : 532

Get Book Here

Book Description
This advanced text for undergraduate and graduate students introduces mathematical logic with an emphasis on proof theory and procedures for algorithmic construction of formal proofs. The self-contained treatment is also useful for computer scientists and mathematically inclined readers interested in the formalization of proofs and basics of automatic theorem proving. Topics include propositional logic and its resolution, first-order logic, Gentzen's cut elimination theorem and applications, and Gentzen's sharpened Hauptsatz and Herbrand's theorem. Additional subjects include resolution in first-order logic; SLD-resolution, logic programming, and the foundations of PROLOG; and many-sorted first-order logic. Numerous problems appear throughout the book, and two Appendixes provide practical background information.