This book presents the state-of-the art of one of the main concerns with microprocessors today, a phenomenon known as "dark silicon". Readers will learn how power constraints (both leakage and dynamic power) limit the extent to which large portions of a chip can be powered up at a given time, i.e. how much actual performance and functionality the microprocessor can provide. The authors describe their research toward the future of microprocessor development in the dark silicon era, covering a variety of important aspects of dark silicon-aware architectures including design, management, reliability, and test. Readers will benefit from specific recommendations for mitigating the dark silicon phenomenon, including energy-efficient, dedicated solutions and technologies to maximize the utilization and reliability of microprocessors.

This book provides readers with an in-depth discussion of circuit simulation, combining basic electrical engineering circuit theory with Python programming. It fills an information gap by describing the development of Python Power Electronics, an open-source software for simulating circuits, and demonstrating its use in a sample circuit. Unlike typical books on circuit theory that describe how circuits can be solved mathematically, followed by examples of simulating circuits using specific, commercial software, this book has a different approach and focus. The author begins by describing every aspect of the open-source software, in the context of non-linear power electronic circuits, as a foundation for aspiring or practicing engineers to embark on further development of open source software for different purposes. By demonstrating explicitly the operation of the software through algorithms, this book brings together the fields of electrical engineering and software technology.

This thesis reports on sparsity-based multipath exploitation methods for through-the-wall radar imaging. Multipath creates ambiguities in the measurements provoking unwanted ghost targets in the image. This book describes sparse reconstruction methods that are not only suppressing the ghost targets, but using multipath to one's advantage. With adopting the compressive sensing principle, fewer measurements are required for image reconstruction as compared to conventional techniques. The book describes the development of a comprehensive signal model and some associated reconstruction methods that can deal with many relevant scenarios, such as clutter from building structures, secondary reflections from interior walls, as well as stationary and moving targets, in urban radar imaging. The described methods are evaluated here using simulated as well as measured data from semi-controlled laboratory experiments.

The scope of image processing and recognition has broadened due to the gap in scientific visualization. Thus, new imaging techniques have developed, and it is imperative to study this progression for optimal utilization. Big Data Analytics for Satellite Image Processing and Remote Sensing is a critical scholarly resource that examines the challenges and difficulties of implementing big data in image processing for remote sensing and related areas. Featuring coverage on a broad range of topics, such as distributed computing, parallel processing, and spatial data, this book is geared towards scientists, professionals, researchers, and academicians seeking current research on the use of big data analytics in satellite image processing and remote sensing.

This clearly written thesis discusses the development of a highly innovative single-photon source that uses active optical switching, known as multiplexing, to increase the probability of delivering photons into a single mode. Improving single-photon sources is critical in advancing the state of the art in photonic quantum technologies for information processing and communications.

This book addresses theoretical and experimental methods for exploring microstructured metamaterials, with a special focus on wave dynamics, mechanics, and related physical properties. The authors use various mathematical and physical approaches to examine the mechanical properties inherent to particular types of metamaterials. These include: * Boundary value problems in reduced strain gradient elasticity for composite fiber-reinforced metamaterials * Self-organization of molecules in ferroelectric thin films * Combined models for surface layers of nanostructures * Computer simulation at the micro- and nanoscale * Surface effects with anisotropic properties and imperfect temperature contacts * Inhomogeneous anisotropic metamaterials with uncoupled and coupled surfaces or interfaces * Special interface finite elements and other numerical and analytical methods for composite structures

This volume builds on the author's previous work, "RF Power Amplifiers for Wireless Communications", offering experienced engineers a more in-depth understanding of the theory and design of RF power amplifiers. A useful reference tool for RF-, digital- and system-level designers, the book includes discussions on the most critical topics for professionals in the field, including envelope power management schemes and linearization. This book should be of interest to RF- and microwave-design engineers in wireless communications, as well as digital- and system-level engineers in satellite communications.

This book addresses the topic of fractional-order modeling of nuclear reactors. Approaching neutron transport in the reactor core as anomalous diffusion, specifically subdiffusion, it starts with the development of fractional-order neutron telegraph equations. Using a systematic approach, the book then examines the development and analysis of various fractional-order models representing nuclear reactor dynamics, ultimately leading to the fractional-order linear and nonlinear control-oriented models. The book utilizes the mathematical tool of fractional calculus, the calculus of derivatives and integrals with arbitrary non-integer orders (real or complex), which has recently been found to provide a more compact and realistic representation to the dynamics of diverse physical systems. Including extensive simulation results and discussing important issues related to the fractional-order modeling of nuclear reactors, the book offers a valuable resource for students and researchers working in the areas of fractional-order modeling and control and nuclear reactor modeling.

This book introduces a new approach to model and predict substrate parasitic failures in integrated circuits with standard circuit design tools. The injection of majority and minority carriers in the substrate is a recurring problem in smart power ICs containing high voltage, high current switching devices besides sensitive control, protection and signal processing circuits. The injection of parasitic charges leads to the activation of substrate bipolar transistors. This book explores how these events can be evaluated for a wide range of circuit topologies. To this purpose, new generalized devices implemented in Verilog-A are used to model the substrate with standard circuit simulators. This approach was able to predict for the first time the activation of a latch-up in real circuits through post-layout SPICE simulation analysis. Discusses substrate modeling and circuit-level simulation of parasitic bipolar device coupling effects in integrated circuits; Includes circuit back-annotation of the parasitic lateral n-p-n and vertical p-n-p bipolar transistors in the substrate; Uses Spice for simulation and characterization of parasitic bipolar transistors, latch-up of the parasitic p-n-p-n structure, and electrostatic discharge (ESD) protection devices; Offers design guidelines to reduce couplings by adding specific protections.

Covers advances in the field of computer techniques and algorithms in digital signal processing.

Radio Frequency and Microwave Power Amplifiers are finding an increasingly broad range of applications, particularly in communications and broadcasting, but also in the industrial, medical, automotive, aviation, military, and sensing fields. Each application has its own design specifications, for example, high linearity in modern communication systems or high efficiency in broadcasting, and, depending on process technology, capability to operate efficiently at very high frequencies, such as 77 GHz and higher for automotive radars. Advances in design methodologies have practical applications in improving gain, power output, bandwidth, power efficiency, linearity, input and output impedance matching, and heat dissipation. This essential reference presented in two volumes aims to provide comprehensive, state-of-the-art coverage of RF and microwave power amplifier design with in-depth descriptions of current and potential future approaches. Volume 1 covers principles, device modeling and matching networks, while volume 2 focuses specifically on efficiency and linearity enhancement techniques. The volumes will be of particular interest to engineers and researchers engaged in RF and microwave amplifier design, and those who are interested in systems incorporating RF and microwave amplifiers.

This book provides theoretical perspectives and practical experiences on smart governance for smart cities. It presents a balanced linkage between research, policies and practices on this area. The authors discuss the sustainability challenges raised by rapid urbanization, challenges with smart governance models in various countries, and a new governance paradigm seen as a capable approach able to overcome social, economic and environmental sustainability problems. The authors include case studies on transformation, adaption and transfers; and country, regional, municipal contextualization. Also included are best practices on monitoring and evaluating smart governance and impact assessment. The book features contributions from researchers, academics, and practitioners in the field. Analyzes smart governance for cities from a variety of perspectives and a variety of sectors - both in theory and in practice Features information on the linkage between United Nations Sustainable Development Goals and smart governance Covers the connection between research, policies and practice in smart governance for smart cities

The exploding number of uses for ultrafast, ultrasmall integrated circuits has increased the importance of hot-carrier effects in manufacturing as well as for other technological applications. They are rapidly movingout of the research lab and into the real world.
This book is derived from Dr. Takedas book in Japanese, Hot-Carrier Effects, (published in 1987 by Nikkei Business Publishers). However, the new book is much more than a translation. Takedas original work was a starting point for developing this much more complete and fundamental text on this increasingly important topic. The new work encompasses not only all the latest research and discoveries made in the fast-paced area of hot carriers, but also includes the basics of MOS devices, and the practical considerations related to hot carriers.
Key Features
* Chapter one itself is a comprehensive review of MOS device physics which allows a reader with little background in MOS devices to pick up a sufficient amount of information to be able to follow the rest of the book
* The book is written to allow the reader to learn about MOS Device Reliability in a relatively short amount of time, making the texts detailed treatment of hot-carrier effects especially useful and instructive to both researchers and others with varyingamounts of experience in the field
* The logical organization of the book begins by discussing known principles, then progresses to empirical information and, finally, to practical solutions
* Provides the most complete review of device degradation mechanisms as well as drain engineering methods
* Contains the most extensive reference list on the subject

This guide to the theory and practice of RF power amplifier (PA) design for modern communications systems aims to help readers tackle PA design with confidence and save time in determining the cause of malfunctioning hardware. The book explores a unified approach to the classification of higher amplifier modes based on overdrive considerations. The text contains a complete survey of RF PA efficiency enhancement and linearization techniques and aims to help the reader design suitable matching networks which provide correct fundamental harmonic terminations for conventional high efficiency PA modes. It also provides an understanding of the class D, E and F modes and their feasibility at microwave frequencies and uses envelope simulation techniques to analyze the effects of distortion in overdriven PAS. Finally, the text discusses the maintenance of high efficiency operation at low points in an amplitude modulated signal envelope including detailed coverage of the Doherty, Chireix and Kahn techniques, it explores the possibilities and limitations of linearization methods and analyzes PA stability and oscillation problems.

Debugging Embedded Microprocessor Systems provides techniques for engineers, technicians, and students who need to correct design faults in embedded systems. Using real-world scenarios, designers can learn practical, time-saving ways to avoid and repair potentially costly problems. Prevention is stressed.
In this book, the author addresses hardware and software issues, including up-front design techniques to prevent bugs and contain design creep. Practical advice includes descriptions of common tools which can be used to help identify and repair bugs, as well as test routines. RTOS and embedded PC environments are also covered.
Each chapter of Debugging Embedded Microprocessor Systems opens with an example design problem which illustrates real-world issues such as design changes, time pressures, equipment or component availability, etc. Case studies of past debugging projects are presented in the final chapter.

Addresses real-world issues like design changes, time pressures, equipment or component availability
Practical, time-saving methods for preventing and correcting design problems
Covers debugging tools and programmer test routines

This book presents up-to-date research developments and novel methodologies on semi-Markovian jump systems (S-MJS). It presents solutions to a series of problems with new approaches for the control and filtering of S-MJS, including stability analysis, sliding mode control, dynamic output feedback control, robust filter design, and fault detection. A set of newly developed techniques such as piecewise analysis method, positively invariant set approach, event-triggered method, and cone complementary linearization approaches are presented. Control and Filtering for Semi-Markovian Jump Systems is a comprehensive reference for researcher and practitioners working in control engineering, system sciences and applied mathematics, and is also a useful source of information for senior undergraduates and graduates in these areas. The readers will benefit from some new concepts, new models and new methodologies with practical significance in control engineering and signal processing.

Advances in Imaging and Electron Physics, Volume 200, the latest release in a series that merges two long-running serials, Advances in Electronics and Electron Physics and Advances in Optical and Electron Microscopy features extended articles on the physics of electron devices (especially semiconductor devices), particle optics at high and low energies, microlithography, image science, digital image processing, electromagnetic wave propagation, electron microscopy, and computing methods. Topics in this latest release include Past and Present Attempts to Attain the Resolution Limit of the Transmission Electron Microscope, Phase Plates for Transmission Electron Microscopy, and X-Ray Lasers in Biology: Structure and Dynamics.

This book presents a comprehensive framework for IoT, including its architectures, security, privacy, network communications, and protocols. The book starts by providing an overview of the aforementioned research topics, future directions and open challenges that face the IoT development. The authors then discuss the main architectures in the field, which include Three- and Five-Layer Architectures, Cloud and Fog Based Architectures, a Social IoT Application Architecture. In the security chapter, the authors outline threats and attacks, privacy preservation, trust and authentication, IoT data security, and social awareness. The final chapter presents case studies including smart home, wearables, connected cars, industrial Internet, smart cities, IoT in agriculture, smart retail, energy engagement, IoT in healthcare, and IoT in poultry and farming. Discusses ongoing research into the connection of the physical and virtual worlds; Includes the architecture, security, privacy, communications, and protocols of IoT; Presents a variety of case studies in IoT including wearables, smart cities, and energy management.

This book presents the outcomes of the 16th International Conference on Software Engineering, Artificial Intelligence Research, Management and Applications (SERA 2018), which was held in Kunming, China on June 13-15, 2018. The aim of the conference was to bring together researchers and scientists, businessmen and entrepreneurs, teachers, engineers, computer users, and students to discuss the various fields of computer science, to share their experiences, and to exchange new ideas and information in a meaningful way. The book includes findings on all aspects (theory, applications and tools) of computer and information science, and discusses related practical challenges and the solutions adopted to solve them. The conference organizers selected the best papers from those accepted for presentation. The papers were chosen based on review scores submitted by members of the program committee and underwent a further rigorous round of review. From this second round, 13 of the conference's most promising papers were then published in this Springer (SCI) book and not the conference proceedings. We eagerly await the important contributions that we know these authors will make to the field of computer and information science.

This book deals with a combination of two main problems for the first time. They are saturation on control and on the rate (or increment) of the control, and the solution of unsymmetrical saturation on the control by LMIs. It treats linear systems in state space form, in both the continuous- and discrete-time domains. Necessary and sufficient conditions are derived for autonomous linear systems with constrained state increment or rate, such that the system evolves respecting incremental or rate constraints if any. A pole assignment technique is then used to solve the problem, giving stabilizing state feedback controllers that respect non-symmetrical constraints on control alone or on both control and its increment or rate. Illustrative examples show the application of these methods on academic examples or on such real plant models as the double integrator system. This problem is then extended to various others including: systems with constraints and perturbations; singular systems with constrained control; systems with unsymmetrical saturations; saturated systems with delay, and 2-D systems with saturations. The solutions obtained are of two types: necessary and sufficient conditions solved with linear programming techniques; and sufficient conditions under LMIs. A new approach extends existing techniques for dealing with symmetrical saturations to take direct account of unsymmetrical saturations into account with LMIs. This tool enables the authors to obtain new results on continuous- and discrete-time systems. The book uses illustrative examples and figures and provides many comparisons with existing results. Systems theoreticians interested in multidimensional systems and practitioners working with saturated and constrained controllers will find the research and background presented in Saturated Control of Linear Systems to be of considerable interest in helping them overcome problems with their plant and in stimulating further research.

This book describes the integrated circuit supply chain flow and discusses security issues across the flow, which can undermine the trustworthiness of final design. The author discusses and analyzes the complexity of the flow, along with vulnerabilities of digital circuits to malicious modifications (i.e. hardware Trojans) at the register-transfer level, gate level and layout level. Various metrics are discussed to quantify circuit vulnerabilities to hardware Trojans at different levels. Readers are introduced to design techniques for preventing hardware Trojan insertion and to facilitate hardware Trojan detection. Trusted testing is also discussed, enabling design trustworthiness at different steps of the integrated circuit design flow. Coverage also includes hardware Trojans in mixed-signal circuits.

This book introduces researchers and advanced students with a basic control systems background to an array of control techniques which they can easily implement and use to meet the required performance specifications for their mechatronic applications. It is the result of close to two decades of work of the authors on modeling, simulating and controlling different mechatronic systems from the motion control, automotive control and micro and nano-mechanical systems control areas. The methods presented in the book have all been tested by the authors and a very large group of researchers, who have produced practically implementable controllers with highly successful results. The approach that is recommended in this book is to first start with a conventional control method which may then be cascaded with a feedforward controller if the input is known or can be measured with a preview; to add a disturbance observer if unknown disturbances are to be rejected and if regulation of the uncertain plant about a nominal model is desired; and to add a repetitive controller to take care of any periodic inputs of fixed and known period. Case studies ranging from road vehicle yaw stability control and automated path following, to decoupling control of piezotube actuators in an atomic force microscope are presented. Parameter space based methods are used in the book for achieving robust controllers. Control of Mechatronic Systems is essential reading for researchers and advanced students who want to be exposed to control methods that have been field tested in a wide variety of mechatronic applications, and for practicing engineers who design and implement feedback control systems.

This book describes new and effective methodologies for modeling, analyzing and mitigating cell-internal signal electromigration in nanoCMOS, with significant circuit lifetime improvements and no impact on performance, area and power. The authors are the first to analyze and propose a solution for the electromigration effects inside logic cells of a circuit. They show in this book that an interconnect inside a cell can fail reducing considerably the circuit lifetime and they demonstrate a methodology to optimize the lifetime of circuits, by placing the output, Vdd and Vss pin of the cells in the less critical regions, where the electromigration effects are reduced. Readers will be enabled to apply this methodology only for the critical cells in the circuit, avoiding impact in the circuit delay, area and performance, thus increasing the lifetime of the circuit without loss in other characteristics.

Failures caused by electrostatic discharges (ESD) constitute a major problem concerning the reliability and robustness of integrated circuits and electronic systems. This book summarizes the many diverse methodologies aimed at ESD protection and shows, through a number of concrete studies, that the best approach in terms of robustness and cost-effectiveness consists of implementing a global strategy of ESD protection. ESD Protection Methodologies begins by exploring the various normalized test techniques that are used to qualify ESD robustness as well as characterization and defect localization methods aimed at implementing corrective measures. Due to the increasing complexity of integrated circuits, it is important to be able to provide a simulation in which the implemented ESD protection strategy provides the desired protection, while not harming the performance levels of the circuit. Therefore, the main features and difficulties related to the different types of simulation, finite element, SPICE-type and behavioral, are then studied. To conclude, several case studies are presented which provide real-life examples of the approaches explained in the previous chapters and validate a number of the strategies from component to system level.