Electrical Engineering

This thesis demonstrates the value of theoretical approaches in the discovery of new superconducting materials. It reports a detailed study of the recently discovered nickel-oxide (nickelate) superconductors using multiple first-principles computational tools, from density functional theory to dynamical mean field theory. In the context of superconductivity, discoveries have generally been linked to serendipitous experimental discovery; this thesis reports some of the few examples of predictions of new superconductors that have later been realized in practice, a prime example of the significance of the methodology it expounds. Overall, it represents a seminal systematic work in the electronic structure theory of the emergent field of nickelate superconductivity.

This book addresses the challenges associated with efficient Mixed-Criticality (MC) system design. We focus on application analysis through execution time analysis and task scheduling analysis in order to execute more low-criticality tasks in the system, i.e., improving the Quality-of-Service (QoS), while guaranteeing the correct execution of high-criticality tasks. Further, this book addresses the challenge of enhancing QoS using parallelism in multi-processor hardware platforms.

Clearly demonstrates novel aspects of metamaterials to show the direction of future developmentsPresents innovative concepts that will lead to qualitatively new phenomena and devicesDescribes topics with many practical examples to help the reader to learn easily

This book provides readers with peer-reviewed research papers presented at the 6th International Conference on Clean Energy and Electrical Systems held in Kyoto, Japan, from April 5 to 7, 2024. This proceedings mainly covers theoretical, technical, and practical methods and practices on clean energy and electrical systems. And it includes nuclear energy and "renewable energy." With the continuous growth of energy demand and the increasing awareness of environmental protection in countries around the world, it is urgent and imperative to establish a clean energy innovation research and development, promotion, and application system. The book also covers electricity, fuel, thermal, transportation, and water infrastructures and their development and deployment in different regions around the world. The book includes future development trends with analysis of lifecycle and economical models for successful implementation projects.

This book constitutes the refereed proceedings of the 30th International Conference on MultiMedia Modeling, MMM 2024, held in Amsterdam, The Netherlands, during January 29-February 2, 2024.The 112 full papers included in this volume were carefully reviewed and selected from 297 submissions. The MMM conference were organized in topics related to multimedia modelling, particularly: audio, image, video processing, coding and compression; multimodal analysis for retrieval applications, and multimedia fusion methods.

This book provides readers a comprehensive introduction to alternative number systems for more efficient representations of Deep Neural Network (DNN) data. Various number systems (conventional/unconventional) exploited for DNNs are discussed, including Floating Point (FP), Fixed Point (FXP), Logarithmic Number System (LNS), Residue Number System (RNS), Block Floating Point Number System (BFP), Dynamic Fixed-Point Number System (DFXP) and Posit Number System (PNS). The authors explore the impact of these number systems on the performance and hardware design of DNNs, highlighting the challenges associated with each number system and various solutions that are proposed for addressing them.

Hogir Rafiq proposes two approaches, the signal processing based condition monitoring approaches with applications to fault detection in gear systems, and application of deep mathematical and system theoretical methods to fault detection. The author develops the multivariate empirical mode decomposition (MEMD) algorithm to enhance the capability of extracting fault features and theoretical problems in nonlinear frequency analysis methods, respectively. The effectiveness has been demonstrated by an experimental study on a wind turbine gearbox test rig.

This textbook provides a compact but comprehensive treatment that guides students through the analysis of circuits, using NI Multisim(TM) and MATLAB®. Ideal as a hands-on source for courses in Circuits, Electronics, Digital Logic and Power Electronics this text focuses on solving problems using market-standard software, corresponding to all key concepts covered in the classroom. The author uses his extensive classroom experience to guide students toward deeper understanding of key concepts, while they gain facility with software they will need to master for later studies and practical use in their engineering careers.

This book provides a thorough overview of recent progress in video object tracking, allowing researchers and industrial practitioners to gain a better understanding of the most important problems and developed technologies in the area. Video tracking is a key research area in computer vision and aims to track unique objects in a given video, which are useful for various applications such as video conference, video editing, surveillance, and autonomous driving. This book begins with an introduction to the task of video object tracking, including the most common problem settings. Given the revolution of deep learning in computer vision problems, numerous new tasks, datasets, and methods have been recently proposed in the domain of video tracking. The book includes these recent results as well as benchmarks in large-scale human-centric video analysis in complex events.

This book provides robust analysis and synthesis tools for Markovian jump systems in the finite-time domain with specified performances. It explores how these tools can make the systems more applicable to fields such as economic systems, ecological systems and solar thermal central receivers, by limiting system trajectories in the desired bound in a given time interval.Robust Control for Discrete-Time Markovian Jump Systems in the Finite-Time Domain focuses on multiple aspects of finite-time stability and control, including:finite-time H-infinity control;finite-time sliding mode control;finite-time multi-frequency control;finite-time model predictive control; andhigh-order moment finite-time control for multi-mode systemsand also provides many methods and algorithms to solve problems related to Markovian jump systems with simulation examples that illustrate the design procedure and confirm the results of the methods proposed.The thorough discussion of these topics makes the book a useful guide for researchers, industrial engineers and graduate students alike, enabling them systematically to establish the modeling, analysis and synthesis for Markovian jump systems in the finite-time domain.

This book addresses the challenging tasks of verifying and debugging structurally complex multipliers. In the area of verification, the authors first investigate the challenges of Symbolic Computer Algebra (SCA)-based verification, when it comes to proving the correctness of multipliers. They then describe three techniques to improve and extend SCA: vanishing monomials removal, reverse engineering, and dynamic backward rewriting. This enables readers to verify a wide variety of multipliers, including highly complex and optimized industrial benchmarks. The authors also describe a complete debugging flow, including bug localization and fixing, to find the location of bugs in structurally complex multipliers and make corrections.

Paperback

This book describes an extensive and consistent soft error assessment of convolutional neural network (CNN) models from different domains through more than 14.8 million fault injections, considering different precision bit-width configurations, optimization parameters, and processor models. The authors also evaluate the relative performance, memory utilization, and soft error reliability trade-offs analysis of different CNN models considering a compiler-based technique w.r.t. traditional redundancy approaches.

This book covers the most recent, advanced methods for designing mixed-signal integrated circuits, for radiation-hardened sensor readouts (capacitive) and frequency synthesizers (quadrature, digitally controlled oscillators and all-digital PLL etc.). The authors discuss the ionizing radiation sources, complex failure mechanisms as well as several mitigation strategies for avoiding such failures. Readers will benefit from an introduction to the essential theory and fundamentals of ionizing radiation and time-based signal processing, with the details of the implementation of several radiation-hardened IC prototypes. The radiation-hardening methods and solutions described are supported by theory and experimental data with, underlying tradeoffs.Discusses the basics of time-based signal processing and its effectiveness in mitigating ionizing radiationProvides mitigation strategies and recommendations for reducing radiation induced effects in Integrated CircuitsIncludes coverage of devices used in measuring radiation, focusing on semiconductor-based radiation sensors

The continuous increase of wind power penetration levels in Egypt makes wind a critical component of power generation in the grid. Studying wind power quality issues and the interaction between wind turbines and the grid is necessary and imperative. The authors present research on power quality and grid code issues, harmonics and wind power, voltage stability improvement using STATCOM, control techniques for active power filters, and the economics of electrical wind energy. The simulation for all of the studies presented is carried out in a MATLAB/Simulink environment using the Simulink power system toolbox. The book also presents case studies on an electrical network-connected wind energy conversion system and gives an overview of the feasibility of having wind power plants in several regions in Egypt, along the Gulf of Suez, on both sides of the Nile, the Mediterranean Sea, and South Upper Egypt.

This book mainly presents the authors' recent studies on the distributed attitude consensus of multiple flexible spacecraft. Modified Rodrigues parameters and rotation matrix are used to represent spacecraft attitude. Several distributed adaptive controllers are presented with theoretical analyses, numerical simulations and experimental verifications. The authors intend to provide a manual that allows researchers, engineers and students in the field of aerospace engineering and mechanics to learn a theoretical and practical approach to the design of attitude consensus algorithms.