Author: C.C. Marouchos
Publisher: IET
ISBN: 086341351X
Category : Technology & Engineering
Languages : en
Pages : 310
Book Description
"This new book demonstrates the usefulness of the switching function in analyzing power electronic circuits in the steady state. A procedure is suggested for the effective application of this method for the analysis of all types of power electronic circuits."--BOOK JACKET.
The Switching Function
Author: C.C. Marouchos
Publisher: IET
ISBN: 086341351X
Category : Technology & Engineering
Languages : en
Pages : 310
Book Description
"This new book demonstrates the usefulness of the switching function in analyzing power electronic circuits in the steady state. A procedure is suggested for the effective application of this method for the analysis of all types of power electronic circuits."--BOOK JACKET.
Publisher: IET
ISBN: 086341351X
Category : Technology & Engineering
Languages : en
Pages : 310
Book Description
"This new book demonstrates the usefulness of the switching function in analyzing power electronic circuits in the steady state. A procedure is suggested for the effective application of this method for the analysis of all types of power electronic circuits."--BOOK JACKET.
Power Electronics Handbook
Author: Muhammad H. Rashid
Publisher: Elsevier
ISBN: 0080467652
Category : Technology & Engineering
Languages : en
Pages : 1189
Book Description
Power electronics, which is a rapidly growing area in terms of research and applications, uses modern electronics technology to convert electric power from one form to another, such as ac-dc, dc-dc, dc-ac, and ac-ac with a variable output magnitude and frequency. Power electronics has many applications in our every day life such as air-conditioners, electric cars, sub-way trains, motor drives, renewable energy sources and power supplies for computers. This book covers all aspects of switching devices, converter circuit topologies, control techniques, analytical methods and some examples of their applications.* 25% new content* Reorganized and revised into 8 sections comprising 43 chapters* Coverage of numerous applications, including uninterruptable power supplies and automotive electrical systems* New content in power generation and distribution, including solar power, fuel cells, wind turbines, and flexible transmission
Publisher: Elsevier
ISBN: 0080467652
Category : Technology & Engineering
Languages : en
Pages : 1189
Book Description
Power electronics, which is a rapidly growing area in terms of research and applications, uses modern electronics technology to convert electric power from one form to another, such as ac-dc, dc-dc, dc-ac, and ac-ac with a variable output magnitude and frequency. Power electronics has many applications in our every day life such as air-conditioners, electric cars, sub-way trains, motor drives, renewable energy sources and power supplies for computers. This book covers all aspects of switching devices, converter circuit topologies, control techniques, analytical methods and some examples of their applications.* 25% new content* Reorganized and revised into 8 sections comprising 43 chapters* Coverage of numerous applications, including uninterruptable power supplies and automotive electrical systems* New content in power generation and distribution, including solar power, fuel cells, wind turbines, and flexible transmission
Foundations of Genetic Algorithms
Author: Alden H. Wright
Publisher: Springer Science & Business Media
ISBN: 3540272372
Category : Computers
Languages : en
Pages : 325
Book Description
This book constitutes the refereed proceedings of the 8th workshop on the foundations of genetic algorithms, FOGA 2005, held in Aizu-Wakamatsu City, Japan, in January 2005. The 16 revised full papers presented provide an outstanding source of reference for the field of theoretical evolutionary computation including evolution strategies, evolutionary programming, and genetic programming, as well as the continuing growth in interactions with other fields such as mathematics, physics, and biology.
Publisher: Springer Science & Business Media
ISBN: 3540272372
Category : Computers
Languages : en
Pages : 325
Book Description
This book constitutes the refereed proceedings of the 8th workshop on the foundations of genetic algorithms, FOGA 2005, held in Aizu-Wakamatsu City, Japan, in January 2005. The 16 revised full papers presented provide an outstanding source of reference for the field of theoretical evolutionary computation including evolution strategies, evolutionary programming, and genetic programming, as well as the continuing growth in interactions with other fields such as mathematics, physics, and biology.
CCNP BSCI Exam Certification Guide
Author: Clare Gough
Publisher: Cisco Press
ISBN: 1587200856
Category : Computers
Languages : en
Pages : 937
Book Description
Prepare for the CCNP 642-801 BSCI exam with the only Cisco Systems authorized self-study preparation book. Master advanced routing techniques and practices, and prepare for the new exam with the 200-plus question testing engine on CD-ROM.
Publisher: Cisco Press
ISBN: 1587200856
Category : Computers
Languages : en
Pages : 937
Book Description
Prepare for the CCNP 642-801 BSCI exam with the only Cisco Systems authorized self-study preparation book. Master advanced routing techniques and practices, and prepare for the new exam with the 200-plus question testing engine on CD-ROM.
Microbial Community Analysis
Author: Thomas E. Cloete
Publisher: IWA Publishing
ISBN: 9781900222020
Category : Science
Languages : en
Pages : 108
Book Description
Microbial Community Analysis surveys the vast amount of theoretical and practical knowledge on the design of biological treatment systems. It describes the different types of biological wastewater systems, the role of microbial diversity in these systems, and how this affects design and operation, methods for studying microbial community dynamics, and mathematical modelling of these systems. Contents Biological methods for the treatment of wastewaters Biodiversity and microbial interactions in the biodegradation of organic compounds Microbial population dynamics in biological wastewater treatment plants Molecular techniques for determining microbial community structures in activated sludge Principles in the modelling of biological wastewater treatment plants Practical considerations for the design of biological wastewater treatment systems Scientific and Technical Report No.5
Publisher: IWA Publishing
ISBN: 9781900222020
Category : Science
Languages : en
Pages : 108
Book Description
Microbial Community Analysis surveys the vast amount of theoretical and practical knowledge on the design of biological treatment systems. It describes the different types of biological wastewater systems, the role of microbial diversity in these systems, and how this affects design and operation, methods for studying microbial community dynamics, and mathematical modelling of these systems. Contents Biological methods for the treatment of wastewaters Biodiversity and microbial interactions in the biodegradation of organic compounds Microbial population dynamics in biological wastewater treatment plants Molecular techniques for determining microbial community structures in activated sludge Principles in the modelling of biological wastewater treatment plants Practical considerations for the design of biological wastewater treatment systems Scientific and Technical Report No.5
Principles of Model Checking
Author: Christel Baier
Publisher: MIT Press
ISBN: 0262304031
Category : Computers
Languages : en
Pages : 994
Book Description
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
Publisher: MIT Press
ISBN: 0262304031
Category : Computers
Languages : en
Pages : 994
Book Description
A comprehensive introduction to the foundations of model checking, a fully automated technique for finding flaws in hardware and software; with extensive examples and both practical and theoretical exercises. Our growing dependence on increasingly complex computer and software systems necessitates the development of formalisms, techniques, and tools for assessing functional properties of these systems. One such technique that has emerged in the last twenty years is model checking, which systematically (and automatically) checks whether a model of a given system satisfies a desired property such as deadlock freedom, invariants, and request-response properties. This automated technique for verification and debugging has developed into a mature and widely used approach with many applications. Principles of Model Checking offers a comprehensive introduction to model checking that is not only a text suitable for classroom use but also a valuable reference for researchers and practitioners in the field. The book begins with the basic principles for modeling concurrent and communicating systems, introduces different classes of properties (including safety and liveness), presents the notion of fairness, and provides automata-based algorithms for these properties. It introduces the temporal logics LTL and CTL, compares them, and covers algorithms for verifying these logics, discussing real-time systems as well as systems subject to random phenomena. Separate chapters treat such efficiency-improving techniques as abstraction and symbolic manipulation. The book includes an extensive set of examples (most of which run through several chapters) and a complete set of basic results accompanied by detailed proofs. Each chapter concludes with a summary, bibliographic notes, and an extensive list of exercises of both practical and theoretical nature.
INTRODUCTION TO FUZZY SETS AND FUZZY LOGIC
Author: M. GANESH
Publisher: PHI Learning Pvt. Ltd.
ISBN: 8120328612
Category : Mathematics
Languages : en
Pages : 257
Book Description
Reflecting the tremendous advances that have taken place in the study of fuzzy set theory and fuzzy logic, this book not only details the theoretical advances in these areas, but also considers a broad variety of applications of fuzzy sets and fuzzy logic. This comprehensive and up-to-date text is organized in three parts. The concepts pertaining to the “crisp” situation such as Set Theory, Logic, Switching Function Theory and Boolean Algebra are covered in Part I of the text. Part II is devoted to fuzzy Set Theory, Fuzzy Relations and Fuzzy Logic. The applications of fuzzy set theory and fuzzy logic to Control Theory and Decision Making are designated Part III of the text. Designed as a textbook for the undergraduate and postgraduate students of Science and Engineering, the book will also be immensely useful to practicing engineers and computer scientists.
Publisher: PHI Learning Pvt. Ltd.
ISBN: 8120328612
Category : Mathematics
Languages : en
Pages : 257
Book Description
Reflecting the tremendous advances that have taken place in the study of fuzzy set theory and fuzzy logic, this book not only details the theoretical advances in these areas, but also considers a broad variety of applications of fuzzy sets and fuzzy logic. This comprehensive and up-to-date text is organized in three parts. The concepts pertaining to the “crisp” situation such as Set Theory, Logic, Switching Function Theory and Boolean Algebra are covered in Part I of the text. Part II is devoted to fuzzy Set Theory, Fuzzy Relations and Fuzzy Logic. The applications of fuzzy set theory and fuzzy logic to Control Theory and Decision Making are designated Part III of the text. Designed as a textbook for the undergraduate and postgraduate students of Science and Engineering, the book will also be immensely useful to practicing engineers and computer scientists.
Boolean Reasoning
Author: Frank Markham Brown
Publisher: Courier Corporation
ISBN: 9780486427850
Category : Mathematics
Languages : en
Pages : 308
Book Description
A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. Brown begins with an overview of elementary mathematical concepts and outlines the theory of Boolean algebras. Two concluding chapters deal with applications. 1990 edition.
Publisher: Courier Corporation
ISBN: 9780486427850
Category : Mathematics
Languages : en
Pages : 308
Book Description
A systematic treatment of Boolean reasoning, this concise, newly revised edition combines the works of early logicians with recent investigations, including previously unpublished research results. Brown begins with an overview of elementary mathematical concepts and outlines the theory of Boolean algebras. Two concluding chapters deal with applications. 1990 edition.
Reviews in Computational Chemistry, Volume 11
Author: Kenny B. Lipkowitz
Publisher: John Wiley & Sons
ISBN: 0470126159
Category : Science
Languages : en
Pages : 458
Book Description
Volume 11 Reviews in Computational Chemistry Kenny B. Lipkowitz and Donald B. Boyd The Theme of this Eleventh Volume is Computer-Aided Ligand Design and Modeling of Biomolecules. A Stellar Group of Scientists from Around the World Join in this Volume to Provide Tutorials for Beginners and Experts. Chapters 1 and 2 Take A Detailed Look at De Novo Design Methodologies for Discovering New Ligands which May Become Pharmaceuticals. Chapters 3 and 4 Cover the Methods and Applications of Three-Dimensional Quantitative Structure-Activity Relationships (3D-QSAR) Currently Used in Drug Discovery. Ways to Compute the Correct Lipophilic/Hydrophilic Behavior of Molecules are Taught in Chapter 5. Chapter 6 is an Exposition of Realistically Simulating DNA in the Complex Milieu of Ions that Surround it. An Appendix to this Volume Gives A Compendium of Software and Internet Tools for Computational Chemistry. -From Reviews of the Series . This Well-Respected Series Continues the Fine Selection of Topics and Presentation Qualities Set Forth by the Previous Members. For Example, Each Chapter Contains Thorough Treatment of the Theory Behind the Topic Being Covered. Moreover, the Background Material is Followed by Ample Timely Examples Culled From Recent Literature. Journal of Medicinal Chemistry
Publisher: John Wiley & Sons
ISBN: 0470126159
Category : Science
Languages : en
Pages : 458
Book Description
Volume 11 Reviews in Computational Chemistry Kenny B. Lipkowitz and Donald B. Boyd The Theme of this Eleventh Volume is Computer-Aided Ligand Design and Modeling of Biomolecules. A Stellar Group of Scientists from Around the World Join in this Volume to Provide Tutorials for Beginners and Experts. Chapters 1 and 2 Take A Detailed Look at De Novo Design Methodologies for Discovering New Ligands which May Become Pharmaceuticals. Chapters 3 and 4 Cover the Methods and Applications of Three-Dimensional Quantitative Structure-Activity Relationships (3D-QSAR) Currently Used in Drug Discovery. Ways to Compute the Correct Lipophilic/Hydrophilic Behavior of Molecules are Taught in Chapter 5. Chapter 6 is an Exposition of Realistically Simulating DNA in the Complex Milieu of Ions that Surround it. An Appendix to this Volume Gives A Compendium of Software and Internet Tools for Computational Chemistry. -From Reviews of the Series . This Well-Respected Series Continues the Fine Selection of Topics and Presentation Qualities Set Forth by the Previous Members. For Example, Each Chapter Contains Thorough Treatment of the Theory Behind the Topic Being Covered. Moreover, the Background Material is Followed by Ample Timely Examples Culled From Recent Literature. Journal of Medicinal Chemistry
Mathematical Theory of Switching Circuits and Automata
Author: Sze-Tsen Hu
Publisher: Univ of California Press
ISBN: 0520310896
Category : Mathematics
Languages : en
Pages : 276
Book Description
By applying Boolean algebra to the designing of circuits, C. E. Shannon practically created the switching theory which is necessary to the development of electronic computers. For the next three decades much research was done and most of the major problems of logical design were solved. Recent interest having focused on the purely theoretical aspects of computer and logical networks, Hu now believes that the time has come for a consolidation of the mathematical foundations of the subject. In the present book the author accordingly undertakes to establish a new branch of pure mathematics with a uniform notation and terminology by organizing the past research results into a form usable to both mathematicians and engineers, while simplifying theory by stripping it of complex "hardware" considerations as well as of all unnecessary advanced mathematics. A number of exercises have been provided at the end of each chapter. This title is part of UC Press's Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1968.
Publisher: Univ of California Press
ISBN: 0520310896
Category : Mathematics
Languages : en
Pages : 276
Book Description
By applying Boolean algebra to the designing of circuits, C. E. Shannon practically created the switching theory which is necessary to the development of electronic computers. For the next three decades much research was done and most of the major problems of logical design were solved. Recent interest having focused on the purely theoretical aspects of computer and logical networks, Hu now believes that the time has come for a consolidation of the mathematical foundations of the subject. In the present book the author accordingly undertakes to establish a new branch of pure mathematics with a uniform notation and terminology by organizing the past research results into a form usable to both mathematicians and engineers, while simplifying theory by stripping it of complex "hardware" considerations as well as of all unnecessary advanced mathematics. A number of exercises have been provided at the end of each chapter. This title is part of UC Press's Voices Revived program, which commemorates University of California Press's mission to seek out and cultivate the brightest minds and give them voice, reach, and impact. Drawing on a backlist dating to 1893, Voices Revived makes high-quality, peer-reviewed scholarship accessible once again using print-on-demand technology. This title was originally published in 1968.