Author: Guy VessillierPublisher:
ISBN:
Category :
Languages : fr
Pages : 102
Book Description
Etude et réalisation d'un convertisseur statique de fréquence (5 à 200 Hz) à source continue intermédiaire pour application à la commande de moteurs triphasés à cage
Author: Guy VessillierEtude et réalisation d'un convertisseur statique de fréquence destiné à l'alimentation d'un moteur diphasé
Author: Philippe RoulandEtude et réalisation d'un convertisseur statique de fréquence autocommuté, non réversible, 50/60 Hz, 220/127 ou 220 V, monophasé, 300 VA
Author: Patrick EvrardEtude et réalisation d'un convertisseur statique piloté par microprocesseur, pour l'alimentation d'un moteur synchrone sans balais e sans capteur de position rotorique
Author: Miloud BENHAMOURéalisation d'un onduleur triphasé à fréquence variable de 50 à 200 Hz. Application à l'alimentation d'un moteur asynchrone triphasé
Author: Jacques RenaudÉtude d'un variateur de vitesse à résonnance pour machine asynchrone triphasée
Author: Daniel DixneufPublisher:
ISBN:
Category :
Languages : fr
Pages : 157
Book Description
CE MEMOIRE DE THESE A POUR OBJET DE PRESENTER UNE ETUDE DE LA CONVERSION CONTINU/ALTERNATIF A HAUTES PERFORMANCES (HAUT RENDEMENT, ISOLEMENT GALVANIQUE, FAIBLES PERTURBATIONS...), EN VUE DE LA REALISATION D'UNE ALIMENTATION D'UNE MACHINE ASYNCHRONE DE PUISSANCE SUPERIEURE A 10 KW. L'AUTEUR ETABLIT TOUT D'ABORD L'ANALYSE DU CAHIER DES CHARGES, AFIN D'EN EXTRAIRE UN ENSEMBLE DE CRITERES QUI PERMET DE CONDUIRE LA SYNTHESE DES STRUCTURES. UN PREMIER TYPE DE CONVERTISSEUR CONTINU/ALTERNATIF TRIPHASE, ISSU DE L'ASSOCIATION EN MONTAGE DIFFERENTIEL DE TROIS CONVERTISSEURS CONTINU/CONTINU REVERSIBLES, EST AINSI MIS EN EVIDENCE. LA CONVERSION CONTINU/CONTINU REVERSIBLE A ETAGE INTERMEDIAIRE HAUTE FREQUENCE EST ALORS ETUDIEE EN DETAIL A L'AIDE DE LA REPRESENTATION DANS LE PLAN DE PHASE. DES CRITERES DE DIMENSIONNEMENT SONT ALORS DEFINIS. L'AUTEUR ETUDIE ENSUITE UNE SECONDE STRUCTURE ORIGINALE, DEDUITE DE L'EXTRAPOLATION DU CONVERTISSEUR PRECEDENT ET QUI PRESENTE LES QUALITES REQUISES POUR DES APPLICATIONS PERFORMANTES. CETTE STRUCTURE EST CONSTITUEE D'UN ONDULEUR DE TENSION ASSOCIE A UN CIRCUIT OSCILLANT SERIE, QUI SE COMPORTE ALORS COMME UNE SOURCE DE COURANT HAUTE FREQUENCE, ET QUI ALIMENTE TROIS AUTRES ONDULEURS DE TENSIONS RELIES EN MONTAGE DIFFERENTIEL. CE DOCUMENT SE TERMINE PAR LA DESCRIPTION FONCTIONNELLE D'UN CONVERTISSEUR DE 21 KVA MIS AU POINT AU LABORATOIRE DU SERVICE DE CONVERSION D'ENERGIE DE LA SOCIETE TECHNICATOME, ET DESTINE A ALIMENTER UNE POMPE CENTRIFUGE DE 15 KVA
Etude et réalisation d'un onduleur autonome triphasé, à fréquence variable, pour l'alimentation de moteurs asynchrones à cage d'écureuil
Author: Michel GoubetProof Theory and Automated Deduction
Author: Jean Goubault-LarrecqPublisher: Springer Science & Business Media
ISBN: 9781402003684
Category : Computers
Languages : en
Pages : 448
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
Author: Emma Carlson BernePublisher: Referencepoint Press
ISBN: 9781601520197
Category : Science
Languages : en
Pages : 118
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
Author: Jean H. GallierPublisher: Courier Dover Publications
ISBN: 0486780821
Category : Mathematics
Languages : en
Pages : 532
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.