Download or read book Mod lisation comportementale param tr e de fonctions analogiques pour la simulation des syst mes de transmission en technologie bipolaire written by Martine Sebeloue and published by . This book was released on 2000 with total page 187 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les concepteurs de circuits intégrés passent par des étapes de simulations qui leur permettent de réduire les coûts de fabrication. Cependant, dans le domaine analogique, l'intégration d'un grand nombre de fonctions rend souvent impossibles les simulations, à cause des problèmes de convergences et augmente considérablement les temps de simulations. Une solution consiste à remplacer lors des simulations, les blocs constitutifs de ces circuits par leurs modèles respectifs afin d'étudier le comportement des systèmes dans des temps très courts. L'objectif et l'originalité de ce travail de recherche consistent à réaliser des modèles d'ordre progressif de fonctions électroniques de base, très utilisées dans l'instrumentation et dans les télécommunications, tout en maintenant un compromis acceptable entre simplicité et précision. La technique de modélisation proposée consiste à créer des modèles simples, en ne considérant que les principaux paramètres intervenant dans la fonctionnalité de ces circuits. Nous présentons donc des macromodèles paramétrables de haut niveau d'un oscillateur contrôlé en tension et d'une boucle à verrouillage de phase. Partant de leur topologie en technologie bipolaire, nous réalisons des modèles d'ordre variable, valables quelle que soit la zone de fonctionnement qui prennent en compte les incertitudes des paramètres principaux des transistors (courant de saturation, gain direct en courant) et les variations en température. Les modèles réalisés sont utilisés dans le simulateur PSPICE, et sont validés par comparaisin de résultats de simulations avec les mesures effectuées avec IC-CAP. L'ensemble de l'étude montre que la technique de modélisation proposée permet de développer des modèles de haut niveau de fonctions électroniques complexes, qui ne consomment pas trop de temps de calcul tout en gardant une bonne précision.
Download or read book Mod lisation comportementale des circuits analogiques et mixtes written by François Lémery and published by . This book was released on 1995 with total page 284 pages. Available in PDF, EPUB and Kindle. Book excerpt: POUR POUVOIR INTEGRER SUR UNE SEULE PUCE DES SYSTEMES TOUJOURS PLUS COMPLEXES COMPORTANT A LA FOIS DES FONCTIONS NUMERIQUES ET ANALOGIQUES, L'UTILISATION D'UNE METHODOLOGIE DE CONCEPTION HIERARCHIQUE EST INDISPENSABLE. BASEE SUR LA MODELISATION COMPORTEMENTALE DE CHAQUE ELEMENT DU CIRCUIT, AVANT TOUT CHOIX D'ARCHITECTURE, UNE TELLE APPROCHE PERMET EN EFFET DE REDUIRE LES TEMPS DE SIMULATION, DE CONCEPTION ET D'AMELIORER LA FIABILITE. APPLIQUE AVEC SUCCES DANS LE DOMAINE DIGITAL, CE PARADIGME DOIT MAINTENANT ETRE ETENDU A L'ANALOGIQUE. CELA EST AUJOURD'HUI POSSIBLE GRACE A L'OFFRE RECENTE DE PUISSANTS LANGAGES DE MODELISATION COMPORTEMENTALE ANALOGIQUE ET MIXTE. CETTE THESE A PERMIS D'INTRODUIRE L'UTILISATION DE CES LANGAGES AU SEIN DE LA COMMUNAUTE DES CONCEPTEURS, PAR LE DEVELOPPEMENT D'UN ENVIRONNEMENT CAO D'AIDE A LA CONCEPTION DE MODELES ANALOGIQUES ET MIXTES. IL EST BASE SUR UNE BIBLIOTHEQUE FONCTIONNELLE ADAPTEE A LA MODELISATION DE CIRCUITS ELEMENTAIRES (AMPLIFICATEURS OPERATIONNELS) MAIS AUSSI DE SYSTEMES TRES COMPLEXES, TELS QU'UN SYSTEME DE SECURITE AIR-BAG. PLUSIEURS TECHNIQUES DE DESCRIPTION ONT ETE ABORDEES: MACRO-MODELISATION SPICE ET MODELISATION COMPORTEMENTALE A L'AIDE DE PLUSIEURS LANGAGES DONT LES PROPRIETES ONT ETE COMPAREES (FAS, CFAS, HDL-A ET MAST). CET ENVIRONNEMENT COMPORTE AUSSI UN OUTIL DE CARACTERISATION ANALOGIQUE QUI PERMET DE GENERER RAPIDEMENT LES PARAMETRES DES MODELES EN FONCTION DE MESURES DES PERFORMANCES DU CIRCUIT ASSOCIE, PAR DES SIMULATIONS ELECTRIQUES. EN OUTRE, POUR FACILITER LES ECHANGES DE MODELES ET TRANSFERER DES BIBLIOTHEQUES VERS DES LANGAGES DIFFERENTS, DES TRADUCTEURS AUTOMATIQUES ONT DU ETRE ELABORES, TELS QUE FAS VERS CFAS, FAS VERS MAST ET FAS VERS HDL-A
Download or read book Mod lisation comportementale des circuits analogiques et mixtes written by François Lémery and published by . This book was released on 2005 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Pour pouvoir integrer sur une seule puce des systemes toujours plus complexes comportant a la fois des fonctions numeriques et analogiques, l'utilisation d'une methodologie de conception hierarchique est indispensable. Basee sur la modelisation comportementale de chaque element du circuit, avant tout choix d'architecture, une telle approche permet en effet de reduire les temps de simulation, de conception et d'ameliorer la fiabilite. Applique avec succes dans le domaine digital, ce paradigme doit maintenant etre etendu a l'analogique. Cela est aujourd'hui possible grace a l'offre recente de puissants langages de modelisation comportementale analogique et mixte. Cette these a permis d'introduire l'utilisation de ces langages au sein de la communaute des concepteurs, par le developpement d'un environnement cao d'aide a la conception de modeles analogiques et mixtes. Il est base sur une bibliotheque fonctionnelle adaptee a la modelisation de circuits elementaires (amplificateurs operationnels) mais aussi de systemes tres complexes, tels qu'un systeme de securite air-bag. Plusieurs techniques de description ont ete abordees: macro-modelisation spice et modelisation comportementale a l'aide de plusieurs langages dont les proprietes ont ete comparees (fas, cfas, hdl-a et mast). Cet environnement comporte aussi un outil de caracterisation analogique qui permet de generer rapidement les parametres des modeles en fonction de mesures des performances du circuit associe, par des simulations electriques. En outre, pour faciliter les echanges de modeles et transferer des bibliotheques vers des langages differents, des traducteurs automatiques ont du etre elabores, tels que fas vers cfas, fas vers mast et fas vers hdl-a.
Download or read book Contribution la mod lisation comportementale des circuits analogiques written by Noe͏̈lle Milet-Lewis and published by . This book was released on 1997 with total page 155 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES PROGRES DES DERNIERES DECENNIES DANS LE DOMAINE DE LA MICROELECTRONIQUE S'EXPLIQUENT NON SEULEMENT PAR LE PERFECTIONNEMENT DES PROCEDES DE FABRICATION DES CIRCUITS INTEGRES, MAIS AUSSI PAR L'INTERVENTION DE L'INFORMATIQUE A TRAVERS LA CONCEPTION ASSISTEE PAR ORDINATEUR. L'ETAPE PRELIMINAIRE DE SIMULATION DU CIRCUIT S'AVERE DESORMAIS INDISPENSABLE, ELLE PERMET DE VERIFIER A PRIORI SON BON FONCTIONNEMENT. LA COMPLEXITE CROISSANTE DES FONCTIONS INTEGREES SUR UNE SEULE PUCE ENTRAINE DES DUREES DE SIMULATION INACCEPTABLES. LA MODELISATION COMPORTEMENTALE DE SOUS-CIRCUITS APPORTE UNE REPONSE A CE PROBLEME, ELLE INTERVIENT A CHAQUE NIVEAU DE LA CONCEPTION HIERARCHIQUE D'UN CIRCUIT, DE LA FONCTION AU TRANSISTOR, ET PERMET D'OPTIMISER L'ETAPE DE SIMULATION. LE CONTEXTE ACTUEL DES CIRCUITS MIXTES EST PRIS EN CONSIDERATION A TRAVERS L'EXPOSE D'UNE STRATEGIE DE SIMULATION ADEQUATE PUIS LA MODELISATION COMPORTEMENTALE EST ABORDEE EN TERMES DE METHODES ET D'OUTILS D'AIDE A LA CONCEPTION. CES TRAVAUX PRESENTENT EN PARTICULIER UN MACROMODELE MODULAIRE D'AMPLIFICATEUR OPERATIONNEL, DE PRECISION AJUSTABLE ET GENERE AUTOMATIQUEMENT, AINSI QU'UNE BIBLIOTHEQUE DE MODELES DECRITS EN LANGAGE HDL-A, DESTINES A ASSISTER LA CONCEPTION D'UN SYSTEME ANALOGIQUE COMPLEXE SIMULANT LE COMPORTEMENT ELECTRIQUE D'UN NEURONE BIOLOGIQUE.
Download or read book Biomimicry written by Janine M. Benyus and published by Harper Collins. This book was released on 2009-08-11 with total page 324 pages. Available in PDF, EPUB and Kindle. Book excerpt: Repackaged with a new afterword, this "valuable and entertaining" (New York Times Book Review) book explores how scientists are adapting nature's best ideas to solve tough 21st century problems. Biomimicry is rapidly transforming life on earth. Biomimics study nature's most successful ideas over the past 3.5 million years, and adapt them for human use. The results are revolutionizing how materials are invented and how we compute, heal ourselves, repair the environment, and feed the world. Janine Benyus takes readers into the lab and in the field with maverick thinkers as they: discover miracle drugs by watching what chimps eat when they're sick; learn how to create by watching spiders weave fibers; harness energy by examining how a leaf converts sunlight into fuel in trillionths of a second; and many more examples. Composed of stories of vision and invention, personalities and pipe dreams, Biomimicry is must reading for anyone interested in the shape of our future.
Download or read book Proof Theory and Automated Deduction written by Jean Goubault-Larrecq and published by Springer Science & Business Media. This book was released on 2001-11-30 with total page 448 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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
Download or read book Formal Methods Applied to Complex Systems written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2014-07-22 with total page 342 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents real-world examples of formal techniques in an industrial context. It covers formal methods such as SCADE and/or the B Method, in various fields such as railways, aeronautics, and the automotive industry. The purpose of this book is to present a summary of experience on the use of “formal methods” (based on formal techniques such as proof, abstract interpretation and model-checking) in industrial examples of complex systems, based on the experience of people currently involved in the creation and assessment of safety critical system software. The involvement of people from within the industry allows the authors to avoid the usual confidentiality problems which can arise and thus enables them to supply new useful information (photos, architecture plans, real examples, etc.).
Download or read book Global Warming and Climate Change written by Emma Carlson Berne and published by Referencepoint Press. This book was released on 2008 with total page 118 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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?
Download or read book Logic for Computer Science written by Jean H. Gallier and published by Courier Dover Publications. This book was released on 2015-06-18 with total page 532 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.
