Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems describes coding approaches for designing fault-tolerant systems, i.e., systems that exhibit structured redundancy that enables them to distinguish between correct and incorrect results or between valid and invalid states. Since redundancy is expensive and counter-intuitive to the traditional notion of system design, the book focuses on resource-efficient methodologies that avoid excessive use of redundancy by exploiting the algorithmic/dynamic structure of a particular combinational or dynamic system. The first part of Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems focuses on fault-tolerant combinational systems providing a review of von Neumann's classical work on Probabilistic Logics (including some more recent work on noisy gates) and describing the use of arithmetic coding and algorithm-based fault-tolerant schemes in algebraic settings. The second part of the book focuses on fault tolerance in dynamic systems. Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems also discusses how, in a dynamic system setting, one can relax the traditional assumption that the error-correcting mechanism is fault-free by using distributed error correcting mechanisms. The final chapter presents a methodology for fault diagnosis in discrete event systems that are described by Petri net models; coding techniques are used to quickly detect and identify failures. From the Foreword "Hadjicostis has significantly expanded the setting to processes occurring in more general algebraic and dynamic systems... The book responds to the growing need to handle faults in complex digital chips and complex networked systems, and to consider the effects of faults at the design stage rather than afterwards." George Verghese, Massachusetts Institute of Technology Coding Approaches to Fault Tolerance in Combinational and Dynamic Systems will be of interest to both researchers and practitioners in the area of fault tolerance, systems design and control.

Modern power systems have undergone tremendous progress due to the implementation of new technologies. With these advancements, the standards for insulation materials must be enhanced and revitalized. Accelerating the Discovery of New Dielectric Properties in Polymer Insulation is a pivotal source of academic research on emerging trends in the properties, applications, and developments of polymer dielectrics. Highlighting a range of relevant perspectives on topics such as high thermal conductivity, power storage, and wind energy, this book is ideally designed for students, professionals, academics, and practitioners interested in the optimization of power system infrastructures.

"Provides detailed, comprehensive descriptions of electrostatic processes as well as their applications in areas such as rheology, atomization and spraying, industrial dust particle precipitation and filtering, biomedical engineering, gas treatments, atmospheric electricity, chemical reactors, and electronic devices. Summarizes electrostatic fundamentals and electrical phenomena in solids and fluids."

This book provides an in-depth introduction to all major control and stability issues related to microgrids. It is the first book to offer a comprehensive look into the methodologies and philosophies behind system modeling, coordinated control, and protection for developing reliable, robust, and efficient operation of modular uninterruptible power supply systems. For each topic, a theoretical introduction and overview are backed by concrete programming examples that enable the reader to thoroughly understand the topic and develop and conduct simulation models.

'Microprocessor Technology' provides a complete introduction to the subject of microprocessor technology using the Z80 and 6502 processors. An emphasis on fault-finding and repair makes this an ideal text for servicing courses including City & Guilds 2240 in the UK, microelectronics units on BTEC National/Advanced GNVQ and City & Guilds 7261 Microprocessor Technology. It will also provide a refresher course for those on 'bridging' and micro appreciation courses where a measure of comparative studies is required. Clear and concise explanations are supported by worked examples, tutorials, long answer questions and assignments giving students the opportunity to test their knowledge as they progress through the course as well as providing an essential revision tool in the run-up to exams.

Perfectly-secure cryptography is a branch of information-theoretic cryptography. A perfectly-secure cryptosystem guarantees that the malicious third party cannot guess anything regarding the plain text or the key, even in the case of full access to the cipher text. Despite this advantage, there are only a few real-world implementations of perfect secrecy due to some well-known limitations. Any simple, straightforward modeling can pave the way for further advancements in the implementation, especially in environments with time and resource constraints such as IoT. This book takes one step towards this goal via presenting a hybrid combinatorial-Boolean model for perfectly-secure cryptography in IoT. In this book, we first present an introduction to information-theoretic cryptography as well as perfect secrecy and its real-world implementations. Then we take a systematic approach to highlight information-theoretic cryptography as a convergence point for existing trends in research on cryptography in IoT. Then we investigate combinatorial and Boolean cryptography and show how they are seen almost everywhere in the ecosystem and the life cycle of information-theoretic IoT cryptography. We finally model perfect secrecy in IoT using Boolean functions, and map the Boolean functions to simple, well-studied combinatorial designs like Latin squares. This book is organized in two parts. The first part studie s information-theoretic cryptography and the promise it holds for cryptography in IoT. The second part separately discusses combinatorial and Boolean cryptography, and then presents the hybrid combinatorial-Boolean model for perfect secrecy in IoT.

This book gives an overview of existing models that cover the whole lifecycle of an IoT application, ranging from its design, implementation, deployment, operation, and monitoring to its final termination and retirement. Models provide abstraction and can help IoT application developers into creating more robust, secure, and reliable applications. Furthermore, adaptation of applications can be eased by using these models, leading to an increased dynamic of the developed IoT applications. In the book, research of the last years in the area of model based approaches to the Internet of Things is described and these approaches are incorporated into the lifecycle of IoT applications. Finally, use cases from different domains are introduced that show how these models could be applied in real-world applications.

This book gathers the latest research findings on emerging trends in 5G and beyond wireless systems. The authors present and assess different enabling technologies, capabilities, and anticipated communications and computing solutions for 5G and beyond. Topics discussed include new frequency bands, new multiple antenna systems, massive D2D connectivity, new network deployment, and more. These discussions help the readers to understand more advanced research materials for developing new ideas to make a contribution in this field for themselves. This book aims to serve as a virtual and effective bridge between academic research in theory and engineering development in practice. Students, professional, and practitioners who seek to learn the latest development in wireless technologies should find interest in this book.

This book presents Proceedings of the International Conference on Intelligent Systems and Networks (ICISN 2022), held at Hanoi in Vietnam. It includes peer reviewed high quality articles on Intelligent System and Networks. It brings together professionals and researchers in the area and presents a platform for exchange of ideas and to foster future collaboration. The topics covered in this book include- Foundations of Computer Science; Computational Intelligence Language and speech processing; Software Engineering Software development methods; Wireless Communications Signal Processing for Communications; Electronics track IoT and Sensor Systems Embedded Systems; etc.

This text discusses simulation process for circuits including clamper, voltage and current divider, transformer modeling, transistor as an amplifier, transistor as a switch, MOSFET modeling, RC and LC filters, step and impulse response to RL and RC circuits, amplitude modulator in a step-by-step manner for more clarity and understanding to the readers. It covers electronic circuits like rectifiers, RC filters, transistor as an amplifier, operational amplifiers, pulse response to a series RC circuit, time domain simulation with a triangular input signal, and modulation in detail. The text presents issues that occur in practical implementation of various electronic circuits and assist the readers in finding solutions to those issues using the software. Aimed at undergraduate, graduate students, and academic researchers in the areas including electrical and electronics and communications engineering, this book: Discusses simulation of analog circuits and their behavior for different parameters. Covers AC/DC circuit modeling using regular and parametric sweep methods. The theory will be augmented with practical electrical circuit examples that will help readers to better understand the topic. Discusses circuits like rectifiers, RC filters, transistor as an amplifier, and operational amplifiers in detail.

During the last decade many new concepts have been proposed for improving the performance of power MOSFETs. The results of this research are dispersed in the technical literature among journal articles and abstracts of conferences. Consequently, the information is not readily available to researchers and practicing engineers in the power device community. There is no cohesive treatment of the ideas to provide an assessment of the relative merits of the ideas.

"Advanced Power MOSFET Concepts" provides an in-depth treatment of the physics of operation of advanced power MOSFETs. Analytical models for explaining the operation of all the advanced power MOSFETs will be developed. The results of numerical simulations will be provided to give additional insight into the device physics and validate the analytical models. The results of two-dimensional simulations will be provided to corroborate the analytical models and give greater insight into the device operation.

This book presents part of the proceedings of the Manufacturing and Materials track of the iM3F 2021 conference held in Malaysia. This collection of articles deliberates on the key challenges and trends related to manufacturing as well as materials engineering and technology in setting the stage for the world in embracing the Fourth Industrial Revolution. It presents recent findings with regard to manufacturing and materials that are pertinent toward the realizations and ultimately the embodiment of Industry 4.0, with contributions from both industry and academia.

With the growth in export markets for mechanical/electrical services and the expansion of international contracting, it has become more and more important that an agreed international vocabulary is settled for the many specialist terms and descriptions involved in the industry. Heating, ventilating and air conditioning are among the more complex specializations within the construction industry, making the need for an internationally agreed vocabulary even greater. "The International Dictionary of Heating, Ventilating and Air Conditioning" is the result of a collaborative effort by an international panel of professional engineers set up by REHVA. Each member of the panel has considerable experience in this specialist engineering field and is responsible for the terms in his own mother tongue, thus ensuring the accuracy and general acceptability of the terms and translations given. The dictionary comprises two major divisions. The main sequence of the book consists of some 4,000 terms given in English, in alphabetical order, with their translations. The remainder of the book consists of alphabetical indexes for the other eleven languages covered: French, German, Italian, Danish, Finn

This book is the first systematic exposition on the emerging domain of wireless power transfer in ad hoc communication networks. It selectively spans a coherent, large spectrum of fundamental aspects of wireless power transfer, such as mobility management in the network, combined wireless power and information transfer, energy flow among network devices, joint activities with wireless power transfer (routing, data gathering and solar energy harvesting), and safety provisioning through electromagnetic radiation control, as well as fundamental and novel circuits and technologies enabling the wide application of wireless powering. Comprising a total of 27 chapters, contributed by leading experts, the content is organized into six thematic sections: technologies, communication, mobility, energy flow, joint operations, and electromagnetic radiation awareness. It will be valuable for researchers, engineers, educators, and students, and it may also be used as a supplement to academic courses on algorithmic applications, wireless protocols, distributed computing, and networking.

The book covers all topics that are considered essential for understanding the operation and design of EHV, AC overhead lines and underground cables. Theoretical analysis of all problems combined with practical application are presented in detail. EHV laboratory equipment and testing are fully covered together with application of digital recorders, fibre optics, etc. for impulse measurements. Every chapter contains many worked examples in order to illustrate and reinforce the theory. All examples are taken from practical situations as far as possible.

The Finite-Difference Time-domain (FDTD) method allows you to compute electromagnetic interaction for complex problem geometries with ease. The simplicity of the approach coupled with its far-reaching usefulness, create the powerful, popular method presented in The Finite Difference Time Domain Method for Electromagnetics. This volume offers timeless applications and formulations you can use to treat virtually any material type and geometry.
The Finite Difference Time Domain Method for Electromagnetics explores the mathematical foundations of FDTD, including stability, outer radiation boundary conditions, and different coordinate systems. It covers derivations of FDTD for use with PEC, metal, lossy dielectrics, gyrotropic materials, and anisotropic materials. A number of applications are completely worked out with numerous figures to illustrate the results. It also includes a printed FORTRAN 77 version of the code that implements the technique in three dimensions for lossy dielectric materials.
There are many methods for analyzing electromagnetic interactions for problem geometries. With The Finite Difference Time Domain Method for Electromagnetics, you will learn the simplest, most useful of these methods, from the basics through to the practical applications.

Power System Operation and Planning under Uncertainty provides the mathematical models and tools needed to plan and operate future power systems. It discusses the challenging task of the integration of a high penetration of renewable energies and electric vehicles within existing power systems. This book explores the uncertainty faced by power systems that is associated with the evolution of capital costs, technical developments of immature renewable technologies and energy storage systems, the number of electrical vehicles, and the participation of electricity end users in demand response programs. It helps provide solutions, and points to areas of further research that will help resolve. The models, tools and techniques described in this book are of interest for researches of energy systems, professionals working as power system planners or operators, and for graduate students in power engineering and operations research.

This book explains over 3,000 terms (over 200,000 words) and contains over 200 professionally drawn line illustrations. This practical handbook is intended for day to day use as a reference or as a source of enlightenment for anyone associated with the building and construction industry. It also provides comprehensive practical explanations of the many terms listed, giving guidance, examples of use and, in certain cases, cautionary remarks concerning aspects of the applications.

This book introduces the working principle, materials, and design of seawater batteries and reviews the current state-of-the-art technologies in cells and modules. This book looks at the characteristics of seawater, then reviews the basic electrochemical processes involved in the storage of electrical charge in seawater batteries, and then discusses the development of anode, cathode, and membrane materials, and cell engineering progress. In particular, Chapter 3 contains the latest research and development results for rechargeable seawater batteries. The book has been written for a broad readership including graduate students, academic and industrial researchers working on sustainable, low-cost energy.

This volume presents the refereed proceedings of the Conference in Operator The ory in Honour of Moshe Livsic 80th Birthday, held June 29 to July 4, 1997, at the Ben-Gurion University of the Negev (Beer-Sheva, Israel) and at the Weizmann In stitute of Science (Rehovot, Israel). The volume contains papers in operator theory and its applications (understood in a very wide sense), many of them reflecting, 1 directly or indirectly, a profound impact of the work of Moshe Livsic. Moshe (Mikhail Samuilovich) Livsic was born on July 4, 1917, in the small town of Pokotilova near Uman, in the province of Kiev in the Ukraine; his family moved to Odessa when he was four years old. In 1933 he enrolled in the Department of Physics and Mathematics at the Odessa State University, where he became a student of M. G. Krein and an active participant in Krein's seminar - one of the centres where the ideas and methods of functional analysis and operator theory were being developed. Besides M. G. Krein, M. S. Livsic was strongly influenced B. Va. Levin, an outstanding specialist in the theory of analytic functions. A by deep understanding of operator theory as well as function theory and a penetrating search of connections between the two, were to become one of the landmarks of M. S. Livsic's work. M. S. Livsic defended his Ph. D.

The volume contains peer-reviewed proceedings of EPREC 2021 with a focus on control applications in the modern power system. The book includes original research and case studies that present recent developments in the control system, especially load frequency control, wide-area monitoring, control & instrumentation, optimization, intelligent control, energy management system, SCADA systems, etc. The book will be a valuable reference guide for beginners, researchers, and professionals interested in advancements in the control system.

The calculation of short-circuit currents is a central task for Power System engineers, as they are essential parameters for the design of electrical equipment and installations, the operation of power systems and the analysis of outages and faults. Short-circuit Currents gives an overview of the components within power systems with respect to the parameters needed for short-circuit current calculation. It also explains how to use the system of symmetrical components to analyse different types of short-circuits in power systems. The thermal and elctromagnetic effects of short-circuit currents on equipment and installations, short-time interference problems and measures for the limitation of short-circuit currents are also discussed. Detailed calculation procedures and typical data of equipment are provided in a separate chapter for easy reference, and worked examples are included throughout.