Page 12
Page 12
Control Design Techniques in Power Electronics Devices
The book is introduced through the very important topic of modeling switched power electronics as controlled dynamical systems. Detailed circuit layouts, schematics and actual closed-loop control responses from a representative group of the plants under discussion and generated by applying the theory are included. The control theories which feature in the book are: sliding mode control and feedback control by means of approximate linearization (linear state feedback, static and dynamic proportional-integral-differential (PID control), output feedback trough observer design, Lyapunov-based control and passivity-based control). Nonlinear control design methods represented include: exact feedback linearization, input-output linearization, differential flatness, generalized PID control and, again, passivity-based control.
Contemporary Bioethics : Islamic Perspective
This book discusses the common principles of morality and ethics derived from divinely endowed intuitive reason through the creation of al-fitr' a (nature) and human intellect (al-‘aql). Biomedical topics are presented and ethical issues related to topics such as genetic testing, assisted reproduction and organ transplantation are discussed. Whereas these natural sources are God’s special gifts to human beings, God’s revelation as given to the prophets is the supernatural source of divine guidance through which human communities have been guided at all times through history. The second part of the book concentrates on the objectives of Islamic religious practice – the maqa' sid – which include: Preservation of Faith, Preservation of Life, Preservation of Mind (intellect and reason), Preservation of Progeny (al-nasl) and Preservation of Property. Lastly, the third part of the book discusses selected topical issues, including abortion, assisted reproduction devices, genetics, organ transplantation, brain death and end-of-life aspects.
Construction of Mappings for Hamiltonian Systems and Their Applications
Based on the method of canonical transformation of variables and the classical perturbation theory, this innovative book treats the systematic theory of symplectic mappings for Hamiltonian systems and its application to the study of the dynamics and chaos of various physical problems described by Hamiltonian systems. It develops a new, mathematically-rigorous method to construct symplectic mappings which replaces the dynamics of continuous Hamiltonian systems by the discrete ones. Applications of the mapping methods encompass the chaos theory in non-twist and non-smooth dynamical systems, the structure and chaotic transport in the stochastic layer, the magnetic field lines in magnetically confinement devices of plasmas, ray dynamics in waveguides, etc. The book is intended for postgraduate students and researches, physicists and astronomers working in the areas of plasma physics, hydrodynamics, celestial mechanics, dynamical astronomy, and accelerator physics. It should also be useful for applied mathematicians involved in analytical and numerical studies of dynamical systems.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices ; Vol. 3956 ; Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
This book constitutes the refereed post-proceedings of the Second International Workshop on Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, CASSIS 2005. The 9 revised full papers presented were carefully selected during two rounds of reviewing and improvement from about 30 workshop talks. The papers are organized in topical sections on research trends in smart devices, Web services, virtual machine technology, security, validation and formal methods, proof-carrying code, and embedded devices.
Construction and analysis of safe, secure, and interoperable smart devices ; Vol. 3362 : International workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
History based access control and secure information flow / The spec# programming system / Mastering test generation from smart card software formal models / A mechanism for secure, fine-grained dynamic provisioning of applications on small devices / A type system for checking applet isolation in java card / Verification of safety properties in the presence of transactions / Modelling mobility aspects of security policies / Smart devices for next generation mobile services / A flexible framework for the estimation of coverage metrics in explicit state software model checking / Combining several paradigms for circuit validation and verification / Smart card research perspectives
Conducting Polymers with Micro or Nanometer Structure
Conducting Polymers with Micro or Nanometer Structure describes a topic discovered by three winners of the Nobel Prize in Chemistry in 2000: Alan J. Heeger, University of California at Santa Barbara, Alan G. MacDiarmid at the University of Pennsylvania, and Hideki Shirakawa at the University of Tsukuba. Since then, the unique properties of conducting polymers have led to promising applications in functional materials and technologies. The book first briefly summarizes the main concepts of conducting polymers before introducing micro/nanostructured conducting polymers dealing with their synthesis, structural characterizations, formation mechanisms, physical and chemical properties, and potential applications in nanomaterials and nanotechnology. The book is intended for researchers in the related fields of chemistry, physics, materials, nanomaterials and nanodevices.
CONCUR 2008 - Concurrency Theory ; 19th International Conference, CONCUR 2008, Toronto, Canada, August 19-22, 2008. Proceedings
This book constitutes the refereed proceedings of the 19th International Conference on Concurrency Theory, CONCUR 2008, held in Toronto, Canada, August 19-22, 2008.
Computers helping people with special needs ; 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part II
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
Computers helping people with special needs ; 17th International Conference, ICCHP 2020, Lecco, Italy, September 9–11, 2020, Proceedings, Part I
The two-volume set LNCS 12376 and 12377 constitutes the refereed proceedings of the 17th International Conference on Computers Helping People with Special Needs, ICCHP 2020, held in Lecco, Italy, in September 2020. The conference was held virtually due to the COVID-19 pandemic.
Computer organization and design, enhanced : The hardware / software interface ; 5th ed.
Contains new examples and material highlighting the emergence of mobile computing and the cloud. It explores this generational change with updated content featuring tablet computers, cloud infrastructure, and the ARM (mobile computing devices) and x86 (cloud computing) architectures. The book uses a MIPS processor core to present the fundamentals of hardware technologies, assembly language, computer arithmetic, pipelining, memory hierarchies and I/O.Because an understanding of modern hardware is essential to achieving good performance and energy efficiency, this edition adds a new concrete example, Going Faster, used throughout the text to demonstrate extremely effective optimization techniques. There is also a new discussion of the Eight Great Ideas of computer architecture.
Computer organization and design : The hardware / software interface ; 6th ed.
Designed to be used in modern computing environments such as cloud computing, mobile devices, and other embedded systems. With the post-PC era now upon us, Computer Organization and Design moves forward to explore this generational change with examples, exercises, and material highlighting the emergence of mobile computing and the Cloud. Updated content featuring tablet computers, Cloud infrastructure, and the x86 (cloud computing) and ARM (mobile computing devices) architectures is included
Computational Electronic Circuits : Simulation and Analysis with MATLAB®
This textbook teaches in one, coherent presentation the three distinct topics of analysis of electronic circuits, mathematical numerical algorithms and coding in a software such as MATLAB®. By combining the capabilities of circuit simulators and mathematical software, the author teaches key concepts of circuit analysis and algorithms, using a modern approach. The DC, Transient, AC, Noise and behavioral analyses are implemented in MATLAB to study the complete characteristics of a variety of electronic circuits, such as amplifiers, rectifiers, hysteresis circuits, harmonic traps and passes, polyphaser filters, directional couplers, electro-static discharge and piezoelectric crystals. This book teaches basic and advanced circuit analysis, by incorporating algorithms and simulations that teach readers how to develop their own simulators and fully characterize and design electronic circuits.
Computational Electromagnetics
Computational Electromagnetics is a young and growing discipline, expanding as a result of the steadily increasing demand for software for the design and analysis of electrical devices. This book introduces three of the most popular numerical methods for simulating electromagnetic fields: the finite difference method, the finite element method and the method of moments. In particular it focuses on how these methods are used to obtain valid approximations to the solutions of Maxwell's equations, using, for example, "staggered grids" and "edge elements." The main goal of the book is to make the reader aware of different sources of errors in numerical computations, and also to provide the tools for assessing the accuracy of numerical methods and their solutions. To reach this goal, convergence analysis, extrapolation, von Neumann stability analysis, and dispersion analysis are introduced and used frequently throughout the book. Another major goal of the book is to provide students with enough practical understanding of the methods so they are able to write simple programs on their own. To achieve this, the book contains several MATLAB programs and detailed description of practical issues such as assembly of finite element matrices and handling of unstructured meshes.
Computational Contact Mechanics
This is the second edition of the valuable reference source for numerical simulations of contact mechanics suitable for many fields like civil engineering, car design, aeronautics, metal forming, or biomechanics. Boundary value problems involving contact are of great importance in industrial applications in engineering such as bearings, metal forming processes, rubber seals, drilling problems, crash analysis of cars, rolling contact between car tires and the road, cooling of electronic devices... Other applications are related to biomechanical engineering design where human joints, implants or teeth are of consideration. Due to this variety, contact problems are today combined either with large elastic or inelastic deformations including time dependent responses. Thermal coupling also might have to be considered. Even stability behaviour has to be linked to contact.
Coherent sources of XUV radiation : Soft X-ray lasers and high-order harmonic generation
Extreme ultraviolet radiation, also referred to as soft X-rays or XUV, offers very special optical properties. The X-UV refractive index of matter is such that normal reflection cannot take place on polished surfaces whereas beam transmission through one micrometer of almost all materials reduces to zero. Therefore, it has long been a difficult task to imagine and to implement devices designed for complex optics experiments in this wavelength range. Thanks to new sources of coherent radiation - XUV-lasers and High Order Harmonics - the use of XUV radiation, for interferometry, holography, diffractive optics, non-linear radiation-matter interaction, time-resolved study of fast and ultrafast phenomena and many other applications, including medical sciences, is ubiquitous.
Cognitive Wireless Networks : Concepts, Methodologies and Visions Inspiring the Age of Enlightenment of Wireless Communications
Cognition, a continuous process involving sensing, reasoning, understanding and reacting, can be applied to wireless networks in order to adapt the system to the highly dynamic wireless ecosystem. The ultimate goals are to enhance the efficiency in the use of radio resources as well as to improve both link and network performance. This book presents a detailed overview of a rapidly emerging topic in modern communications: cognitive wireless networks. The key aspects of cognitive and cooperative principles in wireless networks are discussed in this book. Furthermore, Cognitive Wireless Networks advocates the concept of breaking up the cellular communication architecture by introducing cooperative strategies among wireless devices. Cognitive wireless networking is the key to success in handling the upcoming dynamic network configurations and exploiting this cross-over to the fullest extent.
Codes : An Introduction to Information Communication and Cryptography
Information is an important feature of the modern world. Mathematical techniques underlie the devices that we use to handle it, for example, mobile phones, digital cameras, and personal computers. This book is an integrated introduction to the mathematics of coding, that is, replacing information expressed in symbols, such as a natural language or a sequence of bits, by another message using (possibly) different symbols. There are three main reasons for doing this: economy, reliability, and security, and each is covered in detail. Only a modest mathematical background is assumed, the mathematical theory being introduced at a level that enables the basic problems to be stated carefully, but without unnecessary abstraction.
Code : The Hidden Language of Computer Hardware and Software ; 2nd ed
The classic guide to how computers work, updated with new chapters and interactive graphics Computers are everywhere --- most obviously in our laptops and smartphones, but also our cars, televisions, microwave ovens, alarm clocks, robot vacuum cleaners, and other smart appliances. Have you ever wondered what goes on inside these devices to make our lives easier but occasionally more infuriating? Explores more deeply the bit-by-bit, gate-by-gate construction of the heart of every smart device ― the central processing unit that combines the simplest of basic operations to perform the most complex of feats. Along with new chapters, Petzold created a new website, CodeHiddenLanguage.com, that uses animated interactive graphics to make computers even easier to comprehend.
CMOS Current-Mode Circuits for Data Communications
Addresses the analysis and design principles of CMOS current mode circuits and their applications for data communications. The analytical methods and design principles are based on the characteristics of MOS devices applied to current CMOS technologies. Major topics include: design techniques for current mode circuits, electrical signaling for high speed data links, current-mode transmitters and receivers, switching noise and grounding of mixed mode circuits, a comparison of voltage-mode with current-mode circuits, ESD protection, and additional related topics. Examples are given of CMOS technologies from leading semiconductor companies and analyzed using the latest computer-aided design tools by leading design companies. CMOS Current-Mode Circuits for Data Communications is a valuable reference for circuit design engineers and hardware system engineers.
Mathematical Foundations of Computer Science 2008 ; 33rd International Symposium, MFCS 2008, Toru´n, Poland, August 25-29, 2008. Proceedings
Constitutes the refereed proceedings of the 33rd International Symposium on Mathematical Foundations of Computer Science, MFCS 2008, held in Torun, Poland, in August 2008.The 45 revised full papers presented together with 5 invited lectures were carefully reviewed and selected from 119 submissions. All current aspects in theoretical computer science and its mathematical foundations are addressed, ranging from algorithmic game theory, algorithms and data structures, artificial intelligence, automata and formal languages, bioinformatics, complexity, concurrency and petrinets, cryptography and security, logic and formal specifications, models of computations, parallel and distributed computing, semantics and verification.
