This book includes original, peer-reviewed research papers from the 2021 International Top-Level Forum on Engineering Science and Technology Development Strategy -- the 6th PURPLE MOUNTAIN FORUM on Smart Grid Protection and Control (PMF2021), held in Nanjing, China, on August 14-22, 2021. The accepted papers cover the following topics: 1. Advanced power transmission technology 2. AC/DC hybrid power grid technology3. Power Internet of Things Technology and Application4. Operation, control and protection of smart grid5. Active distribution network technology6. Power electronic technology and application7. New technology of substation automation8. Energy storage technology and application9. Application of new technologies such as artificial intelligence, blockchain, and big data10. Application of Information and Communication Technology11. Low-carbon energy planning and security12. Low-carbon operation of the power system13. Low-carbon energy comprehensive utilization technology14. Carbon trading and power market15. Carbon emission stream and carbon capture technology16. Energy saving and smart energy technology17. Analysis and evaluation of low-carbon efficiency of power system18. Carbon flow modelling in power system operationThe papers included in this proceeding share the latest research results and practical application examples on the methodologies and algorithms in these areas, which makes the book a valuable reference for researchers, engineers, and university students.

Cyber-physical systems are the natural extension of the so-called "Internet of Things". They are "systems of collaborating computational elements controlling physical entities". Cyber Physical Systems of Systems (CPSoS) are considered "The Next Computing Revolution" after Mainframe computing (60's-70's), Desktop computing & Internet (80's-90's) and Ubiquitous computing (00's); because all aspects of daily life are rapidly evolving towards humans interacting amongst themselves as well as their environment via computational devices (often mobile), and because in most cases systems will employ their computational capabilities to interact amongst themselves. CPSoS enable the physical world to merge with the cyber one. Using sensors, the embedded systems monitor and collect data from physical processes, such as the steering of a vehicle, energy consumption or human health functions. The systems are networked making the data globally available. CPSoS make it possible for software applications to directly interact with events in the physical world, for example to measure and react to changes in blood pressure or peaks in energy consumption. Embedded hardware and software systems crucially expand the functionality and competitiveness of vehicles, aircraft, medical equipment, production plants and household appliances. Connecting these systems to a virtual environment of globally networked services and information systems opens completely new areas of innovation and novel business platforms. Future CPSoS will have many sophisticated, interconnected parts that must instantaneously exchange, parse, and act on detailed data in a highly coordinated manner. Continued advances in science and engineering will be necessary to enable advances in design and development of these complex systems. Multi- scale, multi-layer, multi-domain, and multi-system integrated infrastructures will require new foundations in system science and engineering. Scientists and engineers with an understanding of otherwise physical systems will need to work in tandem with computer and information scientists to achieve effective, workable designs. In this tutorial, basic and advanced issues on the design of the future heterogeneous CPSoS are presented including relevant Blockchain technologies, reconfigurable systems, advanced sensor interfaces and human-centered design processes. Certain advanced tools for the design and implementation of the cyber parts of the CPSoS (i.e. FPGA design tools from Xilinx) are also covered.

This book describes the efficient implementation of public-key cryptography (PKC) to address the security challenges of massive amounts of information generated by the vast network of connected devices, ranging from tiny Radio Frequency Identification (RFID) tags to powerful desktop computers. It investigates implementation aspects of post quantum PKC and homomorphic encryption schemes whose security is based on the hardness of the ring-learning with error (LWE) problem. The work includes designing an FPGA-based accelerator to speed up computation on encrypted data in the cloud computer. It also proposes a more practical scheme that uses a special module called recryption box to assist homomorphic function evaluation, roughly 20 times faster than the implementation without this module.

This book covers the state-of-the-art research in design of modern electronic systems used in safety-critical applications such as medical devices, aircraft flight control, and automotive systems. The authors discuss lifetime reliability of digital systems, as well as an overview of the latest research in the field of reliability-aware design of integrated circuits. They address modeling approaches and techniques for evaluation and improvement of lifetime reliability for nano-scale CMOS digital circuits, as well as design algorithms that are the cornerstone of Computer Aided Design (CAD) of reliable VLSI circuits. In addition to developing lifetime reliability analysis and techniques for clocked storage elements (such as flip-flops), the authors also describe analysis and improvement strategies targeting commercial digital circuits.

Over the years there has been a large increase in the functionality available on a single integrated circuit. This has been mainly achieved by a continuous drive towards smaller feature sizes, larger dies, and better packing efficiency. However, this greater functionality has also resulted in substantial increases in the capital investment needed to build fabrication facilities. Given such a high level of investment, it is critical for IC manufacturers to reduce manufacturing costs and get a better return on their investment. The most obvious method of reducing the manufacturing cost per die is to improve manufacturing yield. Modern VLSI research and engineering (which includes design manufacturing and testing) encompasses a very broad range of disciplines such as chemistry, physics, material science, circuit design, mathematics and computer science. Due to this diversity, the VLSI arena has become fractured into a number of separate sub-domains with little or no interaction between them. This is the case with the relationships between testing and manufacturing. From Contamination to Defects, Faults and Yield Loss: Simulation and Applications focuses on the core of the interface between manufacturing and testing, i.e., the contamination-defect-fault relationship. The understanding of this relationship can lead to better solutions of many manufacturing and testing problems. Failure mechanism models are developed and presented which can be used to accurately estimate probability of different failures for a given IC. This information is critical in solving key yield-related applications such as failure analysis, fault modeling and design manufacturing.

Power supply current monitoring to detect CMOS IC defects during production testing quietly laid down its roots in the mid-1970s. Both Sandia Labs and RCA in the United States and Philips Labs in the Netherlands practiced this procedure on their CMOS ICs. At that time, this practice stemmed simply from an intuitive sense that CMOS ICs showing abnormal quiescent power supply current (IDDQ) contained defects. Later, this intuition was supported by data and analysis in the 1980s by Levi (RACD, Malaiya and Su (SUNY-Binghamton), Soden and Hawkins (Sandia Labs and the University of New Mexico), Jacomino and co-workers (Laboratoire d'Automatique de Grenoble), and Maly and co-workers (Carnegie Mellon University). Interest in IDDQ testing has advanced beyond the data reported in the 1980s and is now focused on applications and evaluations involving larger volumes of ICs that improve quality beyond what can be achieved by previous conventional means. In the conventional style of testing one attempts to propagate the logic states of the suspended nodes to primary outputs. This is done for all or most nodes of the circuit. For sequential circuits, in particular, the complexity of finding suitable tests is very high. In comparison, the IDDQ test does not observe the logic states, but measures the integrated current that leaks through all gates. In other words, it is like measuring a patient's temperature to determine the state of health. Despite perceived advantages, during the years that followed its initial announcements, skepticism about the practicality of IDDQ testing prevailed. The idea, however, provided a great opportunity to researchers. New results on test generation, fault simulation, design for testability, built-in self-test, and diagnosis for this style of testing have since been reported. After a decade of research, we are definitely closer to practice.

This book explores key techniques and methods in electromagnetic compatibility management, analysis, design, improvement and test verification for spacecraft. The first part introduces the general EMC technology of spacecraft, the electromagnetic interference control method and management of electromagnetic compatibility. The second part discusses the EMC prediction analysis technique and its application in spacecraft, while the third presents the EMC design of spacecraft modules and typical equipment. The final two parts address spacecraft magnetic design testing technologies and spacecraft testing technologies. The book also covers the program control test process, the special power control unit (PCU), electric propulsion, PIM test and multipaction testing for spacecraft, making it a valuable resource for researchers and engineers alike.

This thesis develops a pioneering methodology and a concept for identifying critical loads and load model parameters in large power networks based on their influence on power system stability. The research described in the thesis first develops an automatic load modelling tool (ALMT) that can be used to automatically build load model from actual measured power system data without human intervention and the benefits of the ALMY are explored. Secondly, it develops a pioneering framework based on Morris screening method for ranking power system load model parameters based on their influence on overall power system stability (voltage, frequency, transient and small disturbance stability) considering different load models and loading conditions. Thirdly, a novel probabilistic methodology for determining the accuracy levels of critical load model parameters has been developed. This book will be of interest to students and researchers within the field of electrical engineering, as well as industry professionals.

The Second Edition of Quantum Information Processing, Quantum Computing, and Quantum Error Correction: An Engineering Approach presents a self-contained introduction to all aspects of the area, teaching the essentials such as state vectors, operators, density operators, measurements, and dynamics of a quantum system. In additional to the fundamental principles of quantum computation, basic quantum gates, basic quantum algorithms, and quantum information processing, this edition has been brought fully up to date, outlining the latest research trends. These include: Key topics include: Quantum error correction codes (QECCs), including stabilizer codes, Calderbank-Shor-Steane (CSS) codes, quantum low-density parity-check (LDPC) codes, entanglement-assisted QECCs, topological codes, and surface codes Quantum information theory, and quantum key distribution (QKD) Fault-tolerant information processing and fault-tolerant quantum error correction, together with a chapter on quantum machine learning. Both quantum circuits- and measurement-based quantum computational models are described The next part of the book is spent investigating physical realizations of quantum computers, encoders and decoders; including photonic quantum realization, cavity quantum electrodynamics, and ion traps In-depth analysis of the design and realization of a quantum information processing and quantum error correction circuits This fully up-to-date new edition will be of use to engineers, computer scientists, optical engineers, physicists and mathematicians.

For upper-level courses in Devices and Circuits at 2-year or 4-year Engineering and Technology institutes. Electronic Devices and Circuit Theory, Eleventh Edition, offers students a complete, comprehensive survey, focusing on all the essentials they will need to succeed on the job. Setting the standard for nearly 30 years, this highly accurate text is supported by strong pedagogy and content that is ideal for new students of this rapidly changing field. The colorful layout with ample photographs and examples enhances students' understanding of important topics. This text is an excellent reference work for anyone involved with electronic devices and other circuitry applications, such as electrical and technical engineers.

This book presents the basics of superconductivity and applications of superconducting magnets. It explains the phenomenon of superconductivity, describes theories of superconductivity, and discusses type II and high-temperature cuprate superconductors. The main focus of the book is the application of superconducting magnets in accelerators, fusion reactors and other advanced applications such as nuclear magnetic resonance (NMR), magnetic resonance imaging (MRI), high-gradient magnetic separation (HGMS), and superconducting magnetic energy storage (SMES). This new and significantly extended second edition covers the state of the art in the development of novel superconductors for advanced magnet applications, as well as the production of practical superconducting wires, tapes, and ultra high current cables used for high-field magnets. It includes two new chapters each devoted to MgB2 and Fe-based superconductors, and discusses the recently developed and world record-setting 45.5-Tesla magnetic field generated by a combination of conventional and high-temperature cuprate superconducting magnets. In addition, it discusses the status and outlook of all current and future nuclear fusion reactors worldwide. The chapter on accelerators includes the ongoing efforts to build high luminosity LHC (HL-LHC), the high-energy 28 TeV LHC (HE-LHC), the future circular collider (FCC) at CERN, and the just launched electro-ion collider (EIC) at Brookhaven National Laboratory. The book is based on the long-standing experience of the author in studying superconducting materials, building magnets and delivering numerous lectures to research scholars and students. The book provides comprehensive and fundamental knowledge in the field of applied superconductivity, greatly benefiting researchers and graduate students wishing to learn more about the various aspects of superconductivity and advanced magnet applications.

This book describes a set of SystemC-based virtual prototype analysis methodologies, including design understanding, verification, security validation, and design space exploration. Readers will gain an overview of the latest research results in the field of Electronic Design Automation (EDA) at the Electronic System Level (ESL). The methodologies discussed enable readers to tackle easily key tasks and applications in the design process.

This book describes power management integrated circuits (PMIC), for power converters and voltage regulators necessary for energy efficient and small form factor systems. The authors discuss state-of-the-art PMICs not only for battery powered wearable devices, but also energy harvesting-based devices. The circuits presented support voltage scaling to reduce the overall average power consumption of a wearable device, resulting in longer device operating time. The discussion includes many designs, control techniques and approaches to distribute efficiently the power among different blocks in the device. * Demonstrates for readers how to innovate in designing power management integrated circuits (PMIC) suitable for wearable devices, powered by either battery or harvesting energy; * Introduces a dual outputs switched capacitor, using a single voltage regulator to minimize the area overhead and discusses the effect of having more than two outputs on the area and power efficiency; * Introduces a novel clock-less digital LDO regulator that eliminates the use of the clocked comparator and serial shift register in the conventional design; * Presents experimental results of energy harvesting-based power management units (PMU), using different combinations of power converters and voltage regulators, providing a guide for designers to select the appropriate option based on device requirements.

This book describes the technology of charge-trapping non-volatile memories and their uses. The authors explain the device physics of each device architecture and provide a concrete description of the materials involved and the fundamental properties of the technology. Modern material properties, used as charge-trapping layers, for new applications are introduced. Provides a comprehensive overview of the technology for charge-trapping non-volatile memories; Details new architectures and current modeling concepts for non-volatile memory devices; Focuses on conduction through multi-layer gate dielectrics stacks.

This textbook for a one-semester course in Electrical Circuit Theory is written to be concise, understandable, and applicable. Matlab is used throughout, for coding the programs and simulation of the circuits. Every new concept is illustrated with numerous examples and figures, in order to facilitate learning. The simple and clear style of presentation, along with comprehensive coverage, enables students to gain a solid foundation in the subject, along with the ability to apply techniques to real circuit analysis. Written to be accessible to students of varying backgrounds, this textbook presents the analysis of realistic, working circuits Presents concepts in a clear, concise and comprehensive manner, such as the difficult problem of setting up the equilibrium equations of circuits using a systematic approach in a few distinct steps Includes worked examples of functioning circuits, throughout every chapter, with an emphasis on real applications Includes numerous exercises at the end of each chapter Provides program scripts and circuit simulations, using the popular and widely used Matlab software, as supplementary material online

This book introduces the concept of holistic design and development of cyber physical systems to achieve their safe and secure operation. It shows that by following the standards for embedded system's safety and using appropriate hardware and software components inherently safe system's architectures can be devised and certified. While the standards already enable testing and certification of inherently safe and sound hardware, this is still not the case with software. The book demonstrates that Specification PEARL(SPEARL) addresses this issue and proposes appropriate solutions from the viewpoints of software engineering as well as concrete program components. By doing so it reduces the complexity of cyber physical systems design in an innovative way. Three ultimate goals are being followed in the course of defining this new PEARL standard, namely: 1. simplicity over complexity, 2. inherent real-time ability, and 3. conformity to safety integrity and security capability levels.

This book evaluates the influence of process variations (e.g. work-function fluctuations) and radiation-induced soft errors in a set of logic cells using FinFET technology, considering the 7nm technological node as a case study. Moreover, for accurate soft error estimation, the authors adopt a radiation event generator tool (MUSCA SEP3), which deals both with layout features and electrical properties of devices. The authors also explore four circuit-level techniques (e.g. transistor reordering, decoupling cells, Schmitt Trigger, and sleep transistor) as alternatives to attenuate the unwanted effects on FinFET logic cells. This book also evaluates the mitigation tendency when different levels of process variation, transistor sizing, and radiation particle characteristics are applied in the design. An overall comparison of all methods addressed by this work is provided allowing to trace a trade-off between the reliability gains and the design penalties of each approach regarding the area, performance, power consumption, single event transient (SET) pulse width, and SET cross-section.

This book provides insights into the 3rd International Conference on Communication, Devices and Computing (ICCDC 2021), which was held in Haldia, India, on August 16-18, 2021. It covers new ideas, applications, and the experiences of research engineers, scientists, industrialists, scholars, and students from around the globe. The proceedings highlight cutting-edge research on communication, electronic devices, and computing and address diverse areas such as 5G communication, spread spectrum systems, wireless sensor networks, and signal processing for secure communication, error control coding, printed antennas, analysis of wireless networks, antenna array systems, analog and digital signal processing for communication systems, frequency selective surfaces, radar communication, and substrate integrated waveguide and microwave passive components, which are key to state-of-the-art innovations in communication technologies.

Co-Synthesis of Hardware and Software for Digital Embedded Systems, with a Foreword written by Giovanni De Micheli, presents techniques that are useful in building complex embedded systems. These techniques provide a competitive advantage over purely hardware or software implementations of time-constrained embedded systems. Recent advances in chip-level synthesis have made it possible to synthesize application-specific circuits under strict timing constraints. This work advances the state of the art by formulating the problem of system synthesis using both application-specific as well as reprogrammable components, such as off-the-shelf processors. Timing constraints are used to determine what part of the system functionality must be delegated to dedicated application-specific hardware while the rest is delegated to software that runs on the processor. This co-synthesis of hardware and software from behavioral specifications makes it possible to realize real-time embedded systems using off-the-shelf parts and a relatively small amount of application-specific circuitry that can be mapped to semi-custom VLSI such as gate arrays. The ability to perform detailed analysis of timing performance provides the opportunity of improving the system definition by creating better phototypes. Co-Synthesis of Hardware and Software for Digital Embedded Systems is of interest to CAD researchers and developers who want to branch off into the expanding field of hardware/software co-design, as well as to digital system designers who are interested in the present power and limitations of CAD techniques and their likely evolution.

The book proposes new technologies and discusses innovative solutions to various problems in the field of communication, circuits, and systems, as reflected in high-quality papers presented at International Conference on Communication, Circuits, and Systems (IC3S 2020) held at KIIT, Bhubaneswar, India from 16 - 18 October 2020. It brings together new works from academicians, scientists, industry professionals, scholars, and students together to exchange research outcomes and open up new horizons in the areas of signal processing, communications, and devices.

This book describes systematically wireless power transfer technology using magnetic resonant coupling and electric resonant coupling and presents the latest theoretical and phenomenological approaches to its practical implementation, operation and its applications. It also discusses the difference between electromagnetic induction and magnetic resonant coupling, the characteristics of various types of resonant circuit topologies and the unique features of magnetic resonant coupling methods. Designed to be self-contained, this richly illustrated book is a valuable resource for a broad readership, from researchers to engineers and anyone interested in cutting-edge technologies in wireless power transfer.

This book presents a collection of "lessons" on various topics commonly encountered in electronic circuit design, including some basic circuits and some complex electronic circuits, which it uses as vehicles to explain the basic circuits they are composed of. The circuits considered include a linear amplifier, oscillators, counters, a digital clock, power supplies, a heartbeat detector, a sound equalizer, an audio power amplifier and a radio. The theoretical analysis has been deliberately kept to a minimum, in order to dedicate more time to a "learning by doing" approach, which, after a brief review of the theory, readers are encouraged to use directly with a simulator tool to examine the operation of circuits in a "virtual laboratory." Though the book is not a theory textbook, readers should be familiar with the basic principles of electronic design, and with spice-like simulation tools. To help with the latter aspect, one chapter is dedicated to the basic functions and commands of the OrCad P-spice simulator used for the experiments described in the book.

This book provides comprehensive coverage of state-of-the-art integrated circuit authentication techniques, including technologies, protocols and emerging applications. The authors first discuss emerging solutions for embedding unforgeable identifies into electronics devices, using techniques such as IC fingerprinting, physically unclonable functions and voltage-over-scaling. Coverage then turns to authentications protocols, with a special focus on resource-constrained devices, first giving an overview of the limitation of existing solutions and then presenting a number of new protocols, which provide better physical security and lower energy dissipation. The third part of the book focuses on emerging security applications for authentication schemes, including securing hardware supply chains, hardware-based device attestation and GPS spoofing attack detection and survival. Provides deep insight into the security threats undermining existing integrated circuit authentication techniques; Includes an in-depth discussion of the emerging technologies used to embed unforgeable identifies into electronics systems; Offers a comprehensive summary of existing authentication protocols and their limitations; Describes state-of-the-art authentication protocols that provide better physical security and more efficient energy consumption; Includes detailed case studies on the emerging applications of IC authentication schemes.

This book brings together a selection of the best papers from the twenty-first edition of the Forum on specification and Design Languages Conference (FDL), which took place on September 10-12, 2018, in Munich, Germany. FDL is a well-established international forum devoted to dissemination of research results, practical experiences and new ideas in the application of specification, design and verification languages to the design, modeling and verification of integrated circuits, complex hardware/software embedded systems, and mixed-technology systems. Covers Assertion Based Design, Verification & Debug; Includes language-based modeling and design techniques for embedded systems; Covers design, modeling and verification of mixed physical domain and mixed signal systems that include significant analog parts in electrical and non-electrical domains; Includes formal and semi-formal system level design methods for complex embedded systems based on the Unified Modelling Language (UML) and Model Driven Engineering (MDE).

This book offers readers an overview of some of the most recent advances in the field of advanced materials used for gamma and X-ray imaging. Coverage includes both technology and applications, with an in-depth review of the research topics from leading specialists in the field. Emphasis is on high-Z materials like CdTe, CZT and GaAs, as well as perovskite crystals, since they offer the best implementation possibilities for direct conversion X-ray detectors. Authors discuss material challenges, detector operation physics and technology and readout integrated circuits required to detect signals processes by high-Z sensors.