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.

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.

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.

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.

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.

At present, both Industry 4.0 and industrial engineering management developments are reshaping the industrial sector worldwide. Industry 4.0 and sustainability are considered as the crucial emerging trends in industrial production systems. The resulting transformations are changing production modes from traditional to digital, intelligent, and decentralized. It is expected that Industry 4.0 will help drive sustainability in industries thanks to the implementation of advanced technology and a move towards social sustainability. This book reflects on the consequences of the transition to Industry 4.0 for climate change. The book presents a systemic overview of the current negative impacts of digitization on the environment and showcases a new outline of the energy domain and expected changes in environmental pollution levels under Industry 4.0. It also analyzes the ecological consequences of the growth and development of Industry 4.0 and considers Industry 4.0 as an alternative to fighting climate change, in the sense of shifting the global community's attention from environmental protection to consolidation of the digital economy. This book will be of interest to academicians and practitioners in the fields of climate change and development of Industry 4.0, and it will contribute to national economic policies for fighting climate change and corporate strategies of sustainable development under Industry 4.0.

Describes the optical structure and optical properties of the human eye Explains image formation and refraction of the eye Covers interactions between light and the eye, considering transmission, reflection and scatter in the media of the eye and at the fundus Covers aberrations and image quality of the eye

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.

By proposing and forming a mobile manipulator for modern multi-floor buildings, A Robotic Framework for the Mobile Manipulator: Theory and Application helps readers visualize an end-to-end workflow for making a robot system work in a targeted environment. From a product-oriented viewpoint, this book is considered as a bridge from theories to real products, in which robotic software modules and the robotic system integration are mainly concerned. In the end, readers will have an overview of how to build and integrate various single robotic modules to execute a list of designed tasks in the real world, as well as how to make a robot system work independently, without human interventions. With references and execution guidelines provided at the end of each chapter, the book will be a useful tool for developers and researchers looking to expand their knowledge about the robotics and the robotic software.

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.

This book focuses on the analytical modeling of fractional-slot concentrated-wound (FSCW) interior permanent magnet (IPM) machines and establishes a basis for their magnetic and electrical analysis. Aiming at the precise modeling of FSCW IPM machines' magnetic and electrical characteristics, it presents a comprehensive mathematical treatment of the stator magneto-motive force (MMF), the IPM rotor non-homogeneous magnetic saturation, and its airgap flux density. The FSCW stator spatial MMF harmonics are analytically formulated, providing a basis on which a novel heuristic algorithm is then proposed for the design of optimal winding layouts for multiphase FSCW stators with different slot/pole combinations. In turn, the proposed mathematical models for the FSCW stator and the IPM rotor are combined to derive detailed mathematical expressions of its operational inductances, electromagnetic torque, torque ripple and their respective subcomponents, as a function of the machine geometry and design parameters. Lastly, the proposed theories and analytical models are validated using finite element analysis and experimental tests on a prototype FSCW IPM machine.

The reliability of induction motors is a major requirement in many industrial applications. It is especially important where an unexpected breakdown might result in the interruption of critical services such as military operations, transportation, aviation, and medical applications. Advanced Condition Monitoring and Fault Diagnosis of Electric Machines is a collection of innovative research on various issues related to machinery condition monitoring, signal processing and conditioning, instrumentation and measurements, and new trends in condition monitoring. It also pays special attention to the fault identification process. While highlighting topics including spectral analysis, electrical engineering, and bearing faults, this book is an ideal reference source for electrical engineers, mechanical engineers, researchers, and graduate-level students seeking current research on various methods of maintaining machinery.

Digital Image Processing with C++ presents the theory of digital image processing, and implementations of algorithms using a dedicated library. Processing a digital image means transforming its content (denoising, stylizing, etc.), or extracting information to solve a given problem (object recognition, measurement, motion estimation, etc.). This book presents the mathematical theories underlying digital image processing, as well as their practical implementation through examples of algorithms implemented in the C++ language, using the free and easy-to-use CImg library. Chapters cover in a broad way the field of digital image processing and proposes practical and functional implementations of each method theoretically described. The main topics covered include filtering in spatial and frequency domains, mathematical morphology, feature extraction and applications to segmentation, motion estimation, multispectral image processing and 3D visualization. Students or developers wishing to discover or specialize in this discipline, teachers and researchers wishing to quickly prototype new algorithms, or develop courses, will all find in this book material to discover image processing or deepen their knowledge in this field.

The computer hardware and software industry is committed to using formal methods. As a result, it is crucial that students who take automata theory and logic courses retain what they have learned and understand how to use their knowledge. Yet many textbooks typically emphasize automata theory only, not logic, thus losing a valuable opportunity to tie these subjects together and reinforce learning. In fact, automata theory and logic evolved hand-in-hand, yet this connection was severed in the '70s as separate automata-theory and logic courses became possible. Now, with computer science departments suffering from overcrowded syllabi, it is often possible for undergraduates to get a BS without having had to take a course in mathematical logic Today's students want to know how knowledge can work for them - learning theory as a tool is preferable to learning theory for theory's sake. To prove that theoretical tenents are not only applicable, but also necessary and relevant, useful examples must be presented. This textbook uses interactive tools throughout, such as simple BDD and SAT tools. shown to be both inviting and current. Topics are also illustrated in multiple domains so that information is reinforced and students can begin to tie theory and logic together. Having used this book, students will not only know and understand automata theory, but also be able to apply their knowledge in real practice.

This book covers several aspects related the evolution of Information Systems into Pervasive Information Systems. New IT trends have an important impact on IT infrastructures, which become increasingly heterogeneous, flexible, and dynamic. These new trends are transforming Information Systems into what we call Pervasive Information Systems. The purpose of this book is to combine "state-of-the-art" solutions from various research communities (such as Information Systems Engineering, Cloud Computing, Fog/Edge Computing, Pervasive systems, Distributed systems, and Middleware systems) related to the Pervasive Information Systems emergence as a common point of view. Through these multiple contributions, this book tackles important challenges concerning Information Systems evolution, promoting a holistic view of Pervasive Information System. Pervasive Information Systems (PIS) can be defined as a new class of Information Systems. It can be characterized by an IT that is gradually embedded in the physical environment and can accommodate the user's requirements and desires when necessary. This evolution implies considering Information Systems beyond the organization's physical environment to integrate new technologies transparently, leading to a pervasive environment whose behavior should be more and more reactive & proactive. It corresponds to an important change in Information Systems Engineering. Pervasive Information Systems are deeply multidisciplinary systems, demanding a holistic view in which multiple domains are invited to contribute.

The interferometer is a versatile instrument which has played a central role in many developments in physics. Its uses include measurements of fine and hyperfine structure in atomic spectra, precision measurements of the velocity of light, studies of isotope shift and nuclear structure. It has contributed to recent work in remote sensing, optical bistability, plasma physics, atomic physics, light scattering spectroscopy and astrophysics.

This practical, student-focused text shows how to focus all of an organization's resources on continuous and simultaneous improvement of quality and productivity - thereby continually improving both performance and competitiveness. QUALITY MANAGEMENT FOR ORGANIZATIONAL EXCELLENCE: INTRODUCTION TO TOTAL QUALITY, 7/e coherently addresses all elements of quality management, including Lean, Six Sigma, Lean Six Sigma, and many topics that competitive books overlook (e.g., peak performance, partnering, manufacturing networks, culture, and crucial "people" aspects of quality). Direct and straightforward, it links "big picture" theories and principles to detailed real-world strategies and techniques. Throughout, critical thinking activities, discussion assignments, and research links promote deeper thinking and further exploration. This edition adds all-new cases, plus new information on topics ranging from supervision to certification, QFD and SPC to benchmarking and JIT.

This book focus on critical infrastructure protection. The chapters present detailed analysis of the issues and challenges in cyberspace and provide novel solutions in various aspects. The first part of the book focus on digital society, addressing critical infrastructure and different forms of the digitalization, strategic focus on cyber security, legal aspects on cyber security, citizen in digital society, and cyber security training. The second part focus on the critical infrastructure protection in different areas of the critical infrastructure. The chapters cover the cybersecurity situation awareness, aviation and air traffic control, cyber security in smart societies and cities, cyber security in smart buildings, maritime cyber security, cyber security in energy systems, and cyber security in healthcare. The third part presents the impact of new technologies upon cyber capability building as well as new challenges brought about by new technologies. These new technologies are among others are quantum technology, firmware and wireless technologies, malware analysis, virtualization.

This book focuses on the complex topic of "Energy Transition with Economic Justice" and highlights research presented during the American Solar Energy Society's National Solar Conference (ASES SOLAR 2022) held at the University of New Mexico. This conference brings together a broad base of solar and renewable energy professionals and thought leaders, including researchers, architects, engineers, entrepreneurs, installers, manufacturers, economists, finance professionals, and policy makers, and provides a platform for the exchange of ideas, information and business insights and unbiased perspectives on progress toward greater sustainability. The conference papers explore interests of shared values and identify contentious issues in the transition towards 100% renewable energy in the United States, especially on public lands, within tribal communities, and frontier areas.

This book provides a valuable combination of relevant research works on developing smart city ecosystem from the artificial intelligence (AI) and Internet of things (IoT) perspective. The technical research works presented here are focused on a number of aspects of smart cities: smart mobility, smart living, smart environment, smart citizens, smart government, and smart waste management systems as well as related technologies and concepts. This edited book offers critical insight to the key underlying research themes within smart cities, highlighting the limitations of current developments and potential future directions.