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.

Provides a comprehensive guide to measurements with lasers Examines the design of optical and laser-based instruments Reviews the development of measurement strategies Includes two new chapters on self-mixing interferometry and quantum sensing Includes end of chapter problems

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 provides an in-depth overview of artificial intelligence and deep learning approaches with case studies to solve problems associated with biometric security such as authentication, indexing, template protection, spoofing attack detection, ROI detection, gender classification etc. This text highlights a showcase of cutting-edge research on the use of convolution neural networks, autoencoders, recurrent convolutional neural networks in face, hand, iris, gait, fingerprint, vein, and medical biometric traits. It also provides a step-by-step guide to understanding deep learning concepts for biometrics authentication approaches and presents an analysis of biometric images under various environmental conditions. This book is sure to catch the attention of scholars, researchers, practitioners, and technology aspirants who are willing to research in the field of AI and biometric security.

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.

Power systems worldwide are going through a paradigm shift from centralized generation to distributed generation. This book presents the SYNDEM (i.e., synchronized and democratized) grid architecture and its technical routes to harmonize the integration of renewable energy sources, electric vehicles, storage systems, and flexible loads, with the synchronization mechanism of synchronous machines, to enable autonomous operation of power systems, and to promote energy freedom. This is a game changer for the grid. It is the sort of breakthrough -- like the touch screen in smart phones -- that helps to push an industry from one era to the next, as reported by Keith Schneider, a New York Times correspondent since 1982. This book contains an introductory chapter and additional 24 chapters in five parts: Theoretical Framework, First-Generation VSM (virtual synchronous machines), Second-Generation VSM, Third-Generation VSM, and Case Studies. Most of the chapters include experimental results. As the first book of its kind for power electronics-enabled autonomous power systems, it - introduces a holistic architecture applicable to both large and small power systems, including aircraft power systems, ship power systems, microgrids, and supergrids - provides latest research to address the unprecedented challenges faced by power systems and to enhance grid stability, reliability, security, resiliency, and sustainability - demonstrates how future power systems achieve harmonious interaction, prevent local faults from cascading into wide-area blackouts, and operate autonomously with minimized cyber-attacks - highlights the significance of the SYNDEM concept for power systems and beyond Power Electronics-Enabled Autonomous Power Systems is an excellent book for researchers, engineers, and students involved in energy and power systems, electrical and control engineering, and power electronics. The SYNDEM theoretical framework chapter is also suitable for policy makers, legislators, entrepreneurs, commissioners of utility commissions, energy and environmental agency staff, utility personnel, investors, consultants, and attorneys.

This book is written in a clear and thorough way to cover both the traditional and modern uses of Artificial Intelligence and soft computing. It gives an in-depth look at mathematical models, algorithms, and real-world problems that are hard to solve in MATLAB. The book is intended to provide a broad and in-depth understanding of fuzzy logic controllers, genetic algorithms, neural networks, and hybrid techniques such as ANFIS and the GA-ANN model. Key Features: A detailed description of basic intelligent techniques(Fuzzy logic, Genetic algorithm & neural network using MATLAB) A detailed description of the hybrid intelligent technique: Adaptive fuzzy inference technique(ANFIS) Formulation of the nonlinear model like Analysis of ANOVA & Response Surface Methodology Variety of solved problem on ANOVA & RSM Case studies of above mentioned intelligent techniques on the different process control system This book can be used as a handbook and a guide for students of all engineering disciplines, operational research areas, computer applications, and for various professionals who work in the optimization area.

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.

An undeniably rich and thorough guide to satellite communication engineering, Satellite Communication Engineering, Second Edition presents the fundamentals of information communications systems in a simple and succinct way. This book considers both the engineering aspects of satellite systems as well as the practical issues in the broad field of information transmission. Implementing concepts developed on an intuitive, physical basis and utilizing a combination of applications and performance curves, this book starts off with a progressive foundation in satellite technology, and then moves on to more complex concepts with ease. What's New in the Second Edition: The second edition covers satellite and Earth station design; global positioning systems; antenna tracking; links and communications systems; error detection and correction; data security; regulations and procedures for system modeling; integration; testing; and reliability and performance evaluation. Provides readers with the systems building blocks of satellite transponders and Earth stations, as well as the systems engineering design procedure Includes the tools needed to calculate basic orbit characteristics such as period, dwell time, coverage area, propagation losses; antenna system features such as size, beamwidth, aperture-frequency product, gain, tracking control; and system requirements such as power, availability, reliability, and performance Presents problem sets and starred sections containing basic mathematical development Details recent developments enabling digital information transmission and delivery via satellite Satellite Communication Engineering, Second Edition serves as a textbook for students and a resource for space agencies and relevant industries.

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 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.

This book provides an understanding of the evolution of digitization in our day to day life and how it has become a part of our social system. The obvious challenges faced during this process and how these challenges were overcome have been discussed. The discussions revolve around the solutions to these challenges by leveraging the use of various advanced technologies. The book mainly covers the use of these technologies in variety of areas such as smart cities, healthcare informatics, transportation automation, digital transformation of education. The book intends to be treated as a source to provide the systematic discussion to the bouquet of areas that are essential part of digitized societies. In light of this, the book accommodates theoretical, methodological, well-established, and validated empirical work dealing with various related topics.

This book presents the Fifth International Conference on Safety and Security with IoT (SaSeIoT 2021), which took place online. The conference aims to explore not only IoT and its related critical applications but also IoT towards Security and Safety. The conference solicits original and inspiring research contributions from experts, researchers, designers, and practitioners in academia, industry and related fields and provides a common platform to share knowledge, experience and best practices in various domains of IoT.

This book presents the collection of the accepted research papers presented in the 1st 'International Conference on Computational Intelligence and Sustainable Technologies (ICoCIST-2021)'. This edited book contains the articles related to the themes on artificial intelligence in machine learning, big data analysis, soft computing techniques, pattern recognitions, sustainable infrastructural development, sustainable grid computing and innovative technology for societal development, renewable energy, and innovations in Internet of Things (IoT).

This book gathers extended versions of papers presented at DoSIER 2021 (the 2021 Third Doctoral Symposium on Intelligence Enabled Research, held at Cooch Behar Government Engineering College, West Bengal, India, during November 12-13, 2021). The papers address the rapidly expanding research area of computational intelligence, which, no longer limited to specific computational fields, has since made inroads in signal processing, smart manufacturing, predictive control, robot navigation, smart cities, and sensor design, to name but a few. Presenting chapters written by experts active in these areas, the book offers a valuable reference guide for researchers and industrial practitioners alike and inspires future studies.

This book presents the proceedings of 2nd EAI International Conference on Smart Technology (MTYMEX), which took place April 27th, 2021, online and in Monterrey, Mexico. MTYMEX is an international conference aimed at demonstrating the potential of new applications for the Internet in the future. The authors offer perspectives on research on smart technologies in society, including the results of research projects on virtual reality, blockchain, artificial intelligence, and smart cities. The book offers examples of applications with smart technologies in different knowledge areas. The conference brings together the academic, research and private sectors working on applications and smart devices for e-health and smart cities.

This book highlights recent advance in the area of Machine Learning and IoT, and their applications to solve societal issues/problems or useful for various users in the society. It is known that many smart devices are interconnected and the data generated is being analyzed and processed with machine learning models for prediction, classification, etc., to solve human needs in various sectors like health, road safety, agriculture, and education. This contributed book puts together chapters concerning the use of intelligent techniques in various aspects related to the IoT domain from protocols to applications, to give the reader an up-to-date picture of the state-of-the-art on the connection between computational intelligence, machine learning, and IoT.

Since the discovery of the giant magnetoresistance (GMR) effect in magnetic multilayers in 1988, a new branch of physics and technology, called spin-electronics or spintronics, has emerged, where the flow of electrical charge as well as the flow of electron spin, the so-called "spin current", are manipulated and controlled together. Recent progress in the physics of magnetism and the application of spin current has progressed in tandem with the nanofabrication technology of magnets and the engineering of interfaces and thin films. This book is intended to provide an introduction and guide to the new physics and applications of spin current. The emphasis is placed on the interaction between spin and charge currents in magnetic nanostructures.

This book focuses on market/regulatory issues concerning smart grid applications, business cases and use cases. It covers the most relevant aspects of the smart grid-design considerations, economics, legal aspects and system management-and includes exercises at the end of each chapter. Since renewable energy generation is weather-dependent, it is more volatile, which affects market prices and the need for flexibility options including demand side management. In order to balance supply and demand in a sustainable manner also with high shares of renewables, energy systems need to be enhanced by smart grid technologies. This co-evolutionary transformation of the energy system, economic, societal, political and regulatory domains is challenging and calls for an integrated and interdisciplinary approach. This book provides an essential basis to prepare lecturers and students for engaging in the new energy world.