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 presents recent advances in control and filter design for Takagi-Sugeno (T-S) fuzzy systems with switched parameters. Thanks to its powerful ability in transforming complicated nonlinear systems into a set of linear subsystems, the T-S fuzzy model has received considerable attention from those the field of control science and engineering. Typical applications of T-S fuzzy systems include communication networks, and mechanical and power electronics systems. Practical systems often experience abrupt variations in their parameters or structures due to outside disturbances or component failures, and random switching mechanisms have been used to model these stochastic changes, such as the Markov jump principle. There are three general types of controller/filter for fuzzy Markov jump systems: mode-independent, mode-dependent and asynchronous. Mode-independence does not focus on whether modes are accessible and ignores partially useful mode information, which results in some conservatism. The mode-dependent design approach relies on timely, complete and correct information regarding the mode of the studied plant. Factors like component failures and data dropouts often make it difficult to obtain exact mode messages, which further make the mode-dependent controllers/filters less useful. Recently, to overcome these issues, researchers have focused on asynchronous techniques. Asynchronous modes are accessed by observing the original systems based on certain probabilities. The book investigates the problems associated with controller/filter design for all three types. It also considers various networked constraints, such as data dropouts and time delays, and analyzes the performances of the systems based on Lyapunov function and matrix inequality techniques, including the stochastic stability, dissipativity, and $H_\infty$. The book not only shows how these approaches solve the control and filtering problems effectively, but also offers potential meaningful research directions and ideas. Covering a variety of fields, including continuous-time and discrete-time Markov processes, fuzzy systems, robust control, and filter design problems, the book is primarily intended for researchers in system and control theory, and is also a valuable reference resource for graduate and undergraduate students. Further, it provides cases of fuzzy control problems that are of interest to scientists, engineers and researchers in the field of intelligent control. Lastly it is useful for advanced courses focusing on fuzzy modeling, analysis, and control.

This book introduces readers to electric circuits with variable loads and voltage regulators. It defines invariant relationships for numerous parameters, and proves the concepts characterizing these circuits. Moreover, the book presents the fundamentals of electric circuits and develops circuit theorems, while also familiarizing readers with generalized equivalent circuits and using projective geometry to interpret changes in operating regime parameters. It provides useful expressions for normalized regime parameters and changes in them, as well as convenient formulas for calculating currents. This updated and extended third edition features new chapters on the use of invariant properties in two-port circuits, invariant energy characteristics for limited single-valued two-port circuits, and on testing projective coordinates. Given its novel geometrical approach to real electrical circuits, the book offers a valuable guide for engineers, researchers, and graduate students who are interested in basic electric circuit theory and the regulation and monitoring of power supply systems.

This book studies how autonomous aerial robots physically interact with the surrounding environment. Intended to promote the advancement of aerial physical interaction, it analyzes a particular class of aerial robots: tethered aerial vehicles. By examining specific systems, while still considering the challenges of the general problem, it will help readers acquire the knowledge and expertise needed for the subsequent development of more general methods applicable to aerial physical interaction. The formal analysis covers topics ranging from control, state estimation, and motion planning, to experimental validation. Addressing both theoretical and technical aspects, the book is intended for a broad academic and industrial readership, including undergraduate students, researchers and engineers. It can be used as a teaching reference, or as the basis for product development.

China Satellite Navigation Conference (CSNC 2021) Proceedings presents selected research papers from CSNC 2021 held during 22nd-25th May, 2021 in Nanchang, China. These papers discuss the technologies and applications of the Global Navigation Satellite System (GNSS), and the latest progress made in the China BeiDou System (BDS) especially. They are divided into 10 topics to match the corresponding sessions in CSNC2021 which broadly covered key topics in GNSS. Readers can learn about the BDS and keep abreast of the latest advances in GNSS techniques and applications.

This book reflects the latest developments in variable structure systems (VSS) and sliding mode control (SMC), highlighting advances in various branches of the VSS/SMC field, e.g., from conventional SMC to high-order SMC, from the continuous-time domain to the discrete-time domain, from theories to applications, etc. The book consists of three parts and 16 chapters: in the first part, new VSS/SMC algorithms are proposed and their properties are analyzed, while the second focuses on the use of VSS/SMC techniques to solve a variety of control problems; the third part examines the applications of VSS/SMC to real-time systems. The book introduces postgraduates and researchers to the state-of-the-art in VSS/SMC field, including the theory, methodology, and applications. Relative academic disciplines include Automation, Mathematics, Electrical Engineering, Mechanical Engineering, Instrument Science and Engineering, Electronic Engineering, Computer Science and Technology, Transportation Engineering, Energy and Power Engineering, etc.

This book highlights the latest research presented at the International Conference on Translational Medicine and Imaging (ICTMI) 2017. This event brought together the world's leading scientists, engineers and clinicians from a wide range of disciplines in the field of medical imaging. Bioimaging has continued to evolve across a wide spectrum of applications from diagnostics and personalized therapy to the mechanistic understanding of biological processes, and as a result there is ever-increasing demand for more robust methods and their integration with clinical and molecular data. This book presents a number of these methods.

Achieve first-time-success designing RF and microwave amplifiers and oscillators using the iterative synthesis techniques provided in this practical resource. The book introduces new approaches to help you estimate the 1dB compression point of class A and class B linear circuits, initialize the fundamental component voltages and currents in a harmonic balance simulator, and more easily generate load-pull contours for class A and class B transistors.

Considered as a generalization of the Cripps approach, this independently developed method can be applied easily to control or predict the output power in single- or multi-stage amplifiers. Changes in the transistor's configuration, as well as feedback and loading can also be handled smoothly.

This book helps you:
gain greater insight into the characteristics of single-layer parallel plate capacitors and provide accurate models for them
obtain a clear picture of the stability of each stage in the amplifier and control the output power and oscillation frequency of an oscillator based on linear principles
design class A high dynamic range amplifiers, multistage power amplifiers, amplifiers with an optimum noise match and a low input VSWR, and wideband impedance-matching networks

The book also includes all of the design principles, theory, and background from the well-received first edition. It is an excellent resource for amplifier and oscillator designers, RF and microwave engineers, and university students.

This book systematically introduces readers to laser imaging target detection principles and techniques. It covers the fundamentals of laser imaging and presents an extensive, up-to-date analysis of how to best use laser imaging to detect targets. This is followed by a comprehensive discussion of laser imaging target detection principles, laser imaging generation, and target detection methods. The book offers an invaluable resource for researchers, especially those who are engaged in the fields including target detection based on a laser imaging system, target detection and identification, remote sensing imaging and image processing. Additionally, it can be used as a reference book for advanced undergraduates and postgraduates of relevant majors.

Recent rapid advances in femtosecond technology have had a great impact on their industrial applications such as: ultrafast optoelectronic devices and optical telecommunication systems, ultrashort-pulse lasers and measurement systems, and the development of novel materials for ultrafast functions. In this book, a wealth of knowledge covering requirements in applications details of recent achievements in important technical areas is presented by world-prominent authors in a concise, systematic form. As a whole, this is the first comprehensive book on the emerging field of femtosecond technology.

This book is based on the 18 tutorials presented during the 28th workshop on Advances in Analog Circuit Design. Expert designers present readers with information about a variety of topics at the frontier of analog circuit design, including next-generation analog-to-digital converters , high-performance power management systems and technology considerations for advanced IC design. For anyone involved in analog circuit research and development, this book will be a valuable summary of the state-of-the-art in these areas. Provides a summary of the state-of-the-art in analog circuit design, written by experts from industry and academia; Presents material in a tutorial-based format; Includes coverage of next-generation analog-to-digital converters, high-performance power management systems, and technology considerations for advanced IC design.

This book covers and makes four major contributions: 1) analyzing and surveying the pros and cons of current approaches for identifying rumor sources on complex networks; 2) proposing a novel approach to identify rumor sources in time-varying networks; 3) developing a fast approach to identify multiple rumor sources; 4) proposing a community-based method to overcome the scalability issue in this research area. These contributions enable rumor source identification to be applied effectively in real-world networks, and eventually diminish rumor damages, which the authors rigorously illustrate in this book. In the modern world, the ubiquity of networks has made us vulnerable to various risks. For instance, viruses propagate throughout the Internet and infect millions of computers. Misinformation spreads incredibly fast in online social networks, such as Facebook and Twitter. Infectious diseases, such as SARS, H1N1 or Ebola, have spread geographically and killed hundreds of thousands people. In essence, all of these situations can be modeled as a rumor spreading through a network, where the goal is to find the source of the rumor so as to control and prevent network risks. So far, extensive work has been done to develop new approaches to effectively identify rumor sources. However, current approaches still suffer from critical weaknesses. The most serious one is the complex spatiotemporal diffusion process of rumors in time-varying networks, which is the bottleneck of current approaches. The second problem lies in the expensively computational complexity of identifying multiple rumor sources. The third important issue is the huge scale of the underlying networks, which makes it difficult to develop efficient strategies to quickly and accurately identify rumor sources. These weaknesses prevent rumor source identification from being applied in a broader range of real-world applications. This book aims to analyze and address these issues to make rumor source identification more effective and applicable in the real world. The authors propose a novel reverse dissemination strategy to narrow down the scale of suspicious sources, which dramatically promotes the efficiency of their method. The authors then develop a Maximum-likelihood estimator, which can pin point the true source from the suspects with high accuracy. For the scalability issue in rumor source identification, the authors explore sensor techniques and develop a community structure based method. Then the authors take the advantage of the linear correlation between rumor spreading time and infection distance, and develop a fast method to locate the rumor diffusion source. Theoretical analysis proves the efficiency of the proposed method, and the experiment results verify the significant advantages of the proposed method in large-scale networks. This book targets graduate and post-graduate students studying computer science and networking. Researchers and professionals working in network security, propagation models and other related topics, will also be interested in this book.

This textbook introduces readers to the recent advances in the emerging field of genetic design automation (GDA). Starting with an introduction and the basic concepts of molecular biology, the authors provide an overview of various genetic design automation tools. The authors then present the DVASim tool (Dynamic Virtual Analyzer and Simulator) which is used for the analysis and verification of genetic logic circuits. This includes methods and algorithms for the timing and threshold value analyses of genetic logic circuits. Next, the book presents the GeneTech tool (A technology mapping tool for genetic circuits) and the methods developed for optimization, synthesis, and technology mapping of genetic circuits. Chapters are followed by exercises which give readers hands-on practice with the tools presented. The concepts and algorithms are thoroughly described, enabling readers to improve the tools or use them as a starting point to develop new tools. Both DVASim and GeneTech are available from the developer's website, free of charge. This book is intended for a multidisciplinary audience of computer scientists, engineers and biologists. It provides enough background knowledge for computer scientists and engineers, who usually do not have any background in biology but are interested to get involved in this domain. This book not only presents an accessible basic introduction to molecular biology, it also includes software tools which allow users to perform laboratory experiments in a virtual in-silico environment. This helps newbies to get a quick start in understanding and developing genetic design automation tools. The third part of this book is particular useful for biologists who usually find it difficult to grasp programming and are reluctant to developing computer software. They are introduced to the graphical programming language, LabVIEW, from which they can start developing computer programs rapidly. Readers are further provided with small projects which will help them to start developing GDA tools.

This book focuses on conceptual frameworks that are helpful in understanding the basics of electronics - what the feedback system is, the principle of an oscillator, the operational working of an amplifier, and other relevant topics. It also provides an overview of the technologies supporting electronic systems, like OP-AMP, transistor, filter, ICs, and diodes. It consists of seven chapters, written in an easy and understandable language, and featuring relevant block diagrams, circuit diagrams, valuable and interesting solved examples, and important test questions. Further, the book includes up-to-date illustrations, exercises, and numerous worked examples to illustrate the theory and to demonstrate their use in practical designs.

This book uses motivating examples and real-life attack scenarios to introduce readers to the general concept of fault attacks in cryptography. It offers insights into how the fault tolerance theories developed in the book can actually be implemented, with a particular focus on a wide spectrum of fault models and practical fault injection techniques, ranging from simple, low-cost techniques to high-end equipment-based methods. It then individually examines fault attack vulnerabilities in symmetric, asymmetric and authenticated encryption systems. This is followed by extensive coverage of countermeasure techniques and fault tolerant architectures that attempt to thwart such vulnerabilities. Lastly, it presents a case study of a comprehensive FPGA-based fault tolerant architecture for AES-128, which brings together of a number of the fault tolerance techniques presented. It concludes with a discussion on how fault tolerance can be combined with side channel security to achieve protection against implementation-based attacks. The text is supported by illustrative diagrams, algorithms, tables and diagrams presenting real-world experimental results.

A smart building is the state-of-art in building with features that facilitates informed decision making based on the available data through smart metering and IoT sensors. This set provides useful information for developing smart buildings including significant improvement of energy efficiency, implementation of operational improvements and targeting sustainable environment to create an effective customer experience. It includes case studies from industrial results which provide cost effective solutions and integrates the digital SCADE solution. Describes complete implication of smart buildings via industrial, commercial and community platforms Systematically defines energy-efficient buildings, employing power consumption optimization techniques with inclusion of renewable energy sources Covers data centre and cyber security with excellent data storage features for smart buildings Includes systematic and detailed strategies for building air conditioning and lighting Details smart building security propulsion. This set is aimed at graduate students, researchers and professionals in building systems, architectural, and electrical engineering.

This book presents an introduction to the analysis of general movements in 3D space, especially for movements of the human body. It is based on the lecture notes of a class on 3D Kinematics, which the author has been holding in the Master Degree Program of his home institution, the University of Applied Sciences Upper Austria. The lecture introduces the mathematics underlying the measurement and analysis of 3D movements. The target audience primarily comprises research experts in the field, but the book may also be beneficial for graduate students alike.

Starting from a broad overview of heat transport based on the Boltzmann Transport Equation, this book presents a comprehensive analysis of heat transport in bulk and nanomaterials based on a kinetic-collective model (KCM). This has become key to understanding the field of thermal transport in semiconductors, and represents an important stride. The book describes how heat transport becomes hydrodynamic at the nanoscale, propagating very much like a viscous fluid and manifesting vorticity and friction-like behavior. It introduces a generalization of Fourier's law including a hydrodynamic term based on collective behavior in the phonon ensemble. This approach makes it possible to describe in a unifying way recent experiments that had to resort to unphysical assumptions in order to uphold the validity of Fourier's law, demonstrating that hydrodynamic heat transport is a pervasive type of behavior in semiconductors at reduced scales.

This renowned book offers a comprehensive yet practical exploration of basic electrical and electronic concepts, hands-on applications, and troubleshooting. Written in a clear and accessible narrative, the Seventh Edition focuses on fundamental principles and their applications to solving real circuit analysis problems, and devotes six chapters to examining electronic devices. Some key features include: "Symptom/Cause" problems, and exercises on Multisim circuits available at www.pearsonhighered.com/floyd Key terms glossary-Furnished at the end of each chapter. Vivid illustrations. Numerous examples in each chapter-Illustrate major concepts, theorems, and methods. This is a perfect reference for professionals with a career in electronics, engineering, technical sales, field service, industrial manufacturing, service shop repair, and/or technical writing.

This book investigates observer-fault estimation techniques in detail, while also highlighting recent research and findings regarding fault estimation. Many practical control systems are subject to possible malfunctions, which may cause significant performance loss or even system instability. To improve the reliability, performance and safety of dynamical systems, fault diagnosis techniques are now receiving considerable attention, both in research and applications, and have been the subject of intensive investigations. Fault detection - the essential first step in fault diagnosis - is a binary decision-making process used to determine whether or not a fault has occurred. In turn, fault isolation is used to identify the location of the faulty component, while fault estimation is used to identify the size of the fault online. Compared with the problems involved in fault detection and isolation, fault estimation is considerably more challenging.

This book offers a comprehensive overview of fading and shadowing in wireless channels. A number of statistical models including simple, hybrid, compound and cascaded ones are presented along with a detailed discussion of diversity techniques employed to mitigate the effects of fading and shadowing. The effects of co-channel interference before and after the implementation of diversity are also analyzed. To facilitate easy understanding of the models and the analysis, the background on probability and random variables is presented with relevant derivations of densities of the sums, products, ratios as well as order statistics of random variables. The book also provides material on digital modems of interest in wireless systems. The updated edition expands the background materials on probability by offering sections on Laplace and Mellin transforms, parameter estimation, statistical testing and receiver operating characteristics. Newer models for fading, shadowing and shadowed fading are included along with the analysis of diversity combining algorithms. In addition, this edition contains a new chapter on Cognitive Radio. Based on the response from readers of the First Edition, detailed Matlab scripts used in the preparation of this edition are provided. Wherever necessary, Maple scripts used are also provided.