International Series on Asian Studies in Computer and Information Science – serie

This text presents a comprehensive description of nonlinear control of electric power systems using nonlinear control theory, which is developed by the differential geometric approach and nonlinear robust control method. It explains in detail the concepts, theorems and algorithms in nonlinear control theory, illustrated by step-by-step examples. In addition, all the mathematical formulation involved in deriving the nonlinear control laws of power systems are sufficiently presented. Considerations and cautions involved in applying nonlinear control theory to practical engineering control designs are discussed and special attention is given to the implementation of nonlinear control laws using microprocessors.

Data Management and Internet Computing for Image/Pattern Analysis focuses on the data management issues and Internet computing aspect of image processing and pattern recognition research. The book presents a comprehensive overview of the state of the art, providing detailed case studies that emphasize how image and pattern (IAP) data are distributed and exchanged on sequential and parallel machines, and how the data communication patterns in low- and higher-level IAP computing differ from general numerical computation, what problems they cause and what opportunities they provide. The studies also describe how the images and matrices should be stored, accessed and distributed on different types of machines connected to the Internet, and how Internet resource sharing and data transmission change traditional IAP computing.Data Management and Internet Computing for Image/Pattern Analysisis divided into three parts: the first part describes several software approaches to IAP computing, citing several representative data communication patterns and related algorithms; the second part introduces hardware and Internet resource sharing in which a wide range of computer architectures are described and memory management issues are discussed; and the third part presents applications ranging from image coding, restoration and progressive transmission. Data Management and Internet Computing for Image/Pattern Analysisis an excellent reference for researchers and may be used as a text for advanced courses in image processing and pattern recognition.

This volume presents the use of the Radial Basis Function (RBF) neural networks for adaptive control of nonlinear systems with emphasis on flight control applications. A Lyapunov synthesis approach is used to derive the tuning rules for the RBF controller parameters in order to guarantee the stability of the closed loop system. Unlike previous methods that tune only the weights of the RBF network, this book presents the derivation of the tuning law for tuning the centers, widths, and weights of the RBF network, and compares the results with existing algorithms. It also includes a detailed review of system identification, including indirect and direct adaptive control of nonlinear systems using neural networks.

While neural network control has been successfully applied in various practical applications, many important issues, such as stability, robustness, and performance, have not been extensively researched for neural adaptive systems. This text offers a study of stable adaptive control designs using approximation-based techniques, and presents analysis for system stability and control performance. Both linearly parameterized and multi-layer neural networks (NN) are discussed and employed in the design of adaptive NN control systems for completeness. In addition, the developed design methodologies are not only applied to typical example systems, but also to real application-oriented systems, such as the variable length pendulum system, the underactuated inverted pendulum system and nonaffine nonlinear chemical processes (CSTR).

Biometrics-based authentication and identification are emerging as the most reliable method to authenticate and identify individuals. Biometrics requires that the person to be identified be physically present at the point-of-identification and relies on "something which you are or you do" to provide better security, increased efficiency, and improved accuracy. Automated biometrics deals with physiological or behavioural characteristics such as fingerprints, signature, palmprint, iris, hand, voice and face that can be used to authenticate a person's identity or establish an identity from a database. With rapid progress in electronic and Internet commerce, there is also a growing need to authenticate the identity of a person for secure transaction processing. Designing an automated biometrics system to handle large population identification, accuracy and reliability of authentication are challenging tasks. At the time of writing, there are over ten different biometrics systems that are either widely used or under development.Some automated biometrics, such as fingerprint identification and speaker verification, have received considerable attention and some issues like face recognition and iris-based authentication have been studied extensively resulting in successful development of biometrics systems in commercial applications. However, very few books are exclusively devoted to such issues of automated biometrics. This text systematically introduces the technologies and systems, and explores how to design the corresponding systems with in-depth discussion. The issues addressed are relevant to many fundamental concerns of both researchers and practitioners of automated biometrics in computer and system security.

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research. No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach. The authors of this book have conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. "Domain Modeling- Based Software Engineering: A Formal Approach" explores the results of this research.

This text applies the classic Fourier analysis to common waveforms. The following questions are answered: can a signal be considered a superposition of common waveforms with different frequencies?; how can a signal be decomposed into a series of common waveforms?; how can a signal best be approximated using finite common waveforms?; how can a combination of common waveforms that equals a given signal at N uniform points be found?; and can common waveforms be used in techniques that have traditionally been based on sine-cosine functions?

There is an increasing demand for dynamic systems to become safer and more reliable. This requirement extends beyond the normally accepted safety-critical systems such as nuclear reactors and aircraft, where safety is of paramount importance, to systems such as autonomous vehicles and process control systems where the system availability is vital. It is clear that fault diagnosis is becoming an important subject in modern control theory and practice. Robust Model-Based Fault Diagnosis for Dynamic Systems presents the subject of model-based fault diagnosis in a unified framework. It contains many important topics and methods; however, total coverage and completeness is not the primary concern. The book focuses on fundamental issues such as basic definitions, residual generation methods and the importance of robustness in model-based fault diagnosis approaches. In this book, fault diagnosis concepts and methods are illustrated by either simple academic examples or practical applications. The first two chapters are of tutorial value and provide a starting point for newcomers to this field.The rest of the book presents the state of the art in model-based fault diagnosis by discussing many important robust approaches and their applications. This will certainly appeal to experts in this field. Robust Model-Based Fault Diagnosis for Dynamic Systems targets both newcomers who want to get into this subject, and experts who are concerned with fundamental issues and are also looking for inspiration for future research. The book is useful for both researchers in academia and professional engineers in industry because both theory and applications are discussed. Although this is a research monograph, it will be an important text for postgraduate research students world-wide. The largest market, however, will be academics, libraries and practicing engineers and scientists throughout the world.

Presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a general discussion on the importance of performance evaluation, prediction and visualization of parallel systems. Chapter 2 analyzes and defines several kinds of serial and parallel runtime, points out some of the weaknesses of parallel speedup metrics, and discusses how to improve and generalize them. Chapter 3 describes formal definitions of scalability, addresses the basic metrics affecting the scalability of parallel systems, discusses scalability of parallel systems from three aspects: parallel architecture, parallel algorithm and parallel algorithm-architecture combinations, and analyzes the relations of scalability and speedup. Chapter 4 discusses the methodology of performance measurement, describes the benchmark-oriented performance test and analysis and how to measure speedup and scalability in practice.The text should serve as a reference for researchers, and may be used as a text for advanced courses on the topic.

Intelligent building could be the future of our building industry; all commercial, residential, industrial and institutional buildings could be designed towards the goal of "intelligent buildings." The most important aspect of an intelligent building is the building systems, such as electrical services, heating, ventilation and air-conditioning systems, vertical transportation systems, and life safety systems, which must operate intelligently and efficiently to enhance the activities of the occupants. This book explains what already exists in a modern intelligent building and describes what is being developed by researchers to improve human comfort, working efficiency and energy performance for buildings in the 21st-century. It is divided into three parts. The first part gives a quick review of the structure, terminology, layout and operating principles of most standard modern building systems. The second part introduces the background material necessary to understand intelligent building systems, including information on electronics technology, fundamental mathematics, and techniques in artificial intelligence and signal processing.These first two parts are the foundation for the final part, which consists of research works carried out by the authors and other researchers in the application of artificial intelligence to building systems. The technologies presented should encourage readers to envision new and innovative ideas on possible future applications. Intelligent Building Systems is relevant to practitioners and researchers in the area of architectural science and engineering, electrical and mechanical services and intelligent buildings. It may also be used as a text for advanced courses on the topic.

This volume contains contributions from world-leading experts from both the academic and industrial communities. The first part of the volume consists of invited papers by international authors describing possibilistic logic in decision analysis, fuzzy dynamic programming in optimization, linguistic modifiers for word computation, and theoretical treatments and applications of fuzzy reasoning. The second part is composed of 11 contributions from Chinese authors focusing on some of the key issues in the fields: stable adaptive fuzzy control systems; partial evaluations and fuzzy reasoning; fuzzy wavelet neural networks; analysis and applications of genetic algorithms; partial repeatability; rough set reduction for data enriching; limits of agents in process calculus; medium logic and its evolution; and factor spaces canes. These contributions are not only theoretically sound and well-formulated, but are also coupled with applicability implications and/or implementation treatments. The domains of applications realized or implied are: decision analysis; word computation; databases and knowledge discovery; power systems; control systems; and multi-destinational routing.Furthermore, the articles contain materials that are an outgrowth of recently conducted research in the late 1990s, addressing fundamental and important issues of fuzzy logic and soft computing.

Research activity in multisensor decision and estimation fusion problems has significantly increased over the last years of the 20th century. Distributed decision and estimation fusion problems for cases with statistically independent observations - or observation noises - have received the most attention, while problems with statistically dependent observations have been given much less consideration. This title provides a more complete treatment of the fundamentals of multisensor decision and estimation fusion in order to deal with general random observations or observation noises that are correlated across the sensors. Progress is presented in two ways. For multisensor decision fusion with general sensor observations given a fixed fusion rule, the book demonstrates a necessary condition for optimum sensor rules-they must be a fixed point of an integral operator related to given conditional probability densities. In particular, the book presents unified/optimal fusion rules for some specific decision systems. For the multisensor point estimation fusion problem, a general version of the linear unbiased minimum variance estimation fusion rule is developed.In addition, several alternative interval estimation fusion methods are proposed.

Nonlinear Control Systems and Power System Dynamics presents a comprehensive description of nonlinear control of electric power systems using nonlinear control theory, which is developed by the differential geometric approach and nonlinear robust control method. This book explains in detail the concepts, theorems and algorithms in nonlinear control theory, illustrated by step-by-step examples. In addition, all the mathematical formulation involved in deriving the nonlinear control laws of power systems are sufficiently presented. Considerations and cautions involved in applying nonlinear control theory to practical engineering control designs are discussed and special attention is given to the implementation of nonlinear control laws using microprocessors. Nonlinear Control Systems and Power System Dynamics serves as a text for advanced level courses and is an excellent reference for engineers and researchers who are interested in the application of modern nonlinear control theory to practical engineering control designs.

Fully Tuned Radial Basis Function Neural Networks for Flight Control presents the use of the Radial Basis Function (RBF) neural networks for adaptive control of nonlinear systems with emphasis on flight control applications. A Lyapunov synthesis approach is used to derive the tuning rules for the RBF controller parameters in order to guarantee the stability of the closed loop system. Unlike previous methods that tune only the weights of the RBF network, this book presents the derivation of the tuning law for tuning the centers, widths, and weights of the RBF network, and compares the results with existing algorithms. It also includes a detailed review of system identification, including indirect and direct adaptive control of nonlinear systems using neural networks. Fully Tuned Radial Basis Function Neural Networks for Flight Control is an excellent resource for professionals using neural adaptive controllers for flight control applications.

While neural network control has been successfully applied in various practical applications, many important issues, such as stability, robustness, and performance, have not been extensively researched for neural adaptive systems. Motivated by the need for systematic neural control strategies for nonlinear systems, Stable Adaptive Neural Network Control offers an in-depth study of stable adaptive control designs using approximation-based techniques, and presents rigorous analysis for system stability and control performance. Both linearly parameterized and multi-layer neural networks (NN) are discussed and employed in the design of adaptive NN control systems for completeness. Stable adaptive NN control has been thoroughly investigated for several classes of nonlinear systems, including nonlinear systems in Brunovsky form, nonlinear systems in strict-feedback and pure-feedback forms, nonaffine nonlinear systems, and a class of MIMO nonlinear systems.In addition, the developed design methodologies are not only applied to typical example systems, but also to real application-oriented systems, such as the variable length pendulum system, the underactuated inverted pendulum system and nonaffine nonlinear chemical processes (CSTR).

YUNMIN ZHU In the past two decades, multi sensor or multi-source information fusion tech­ niques have attracted more and more attention in practice, where observations are processed in a distributed manner and decisions or estimates are made at the individual processors, and processed data (or compressed observations) are then transmitted to a fusion center where the final global decision or estimate is made. A system with multiple distributed sensors has many advantages over one with a single sensor. These include an increase in the capability, reliability, robustness and survivability of the system. Distributed decision or estimation fusion prob­ lems for cases with statistically independent observations or observation noises have received significant attention (see Varshney's book Distributed Detec­ tion and Data Fusion, New York: Springer-Verlag, 1997, Bar-Shalom's book Multitarget-Multisensor Tracking: Advanced Applications, vol. 1-3, Artech House, 1990, 1992,2000). Problems with statistically dependent observations or observation noises are more difficult and have received much less study. In practice, however, one often sees decision or estimation fusion problems with statistically dependent observations or observation noises. For instance, when several sensors are used to detect a random signal in the presence of observation noise, the sensor observations could not be statistically independent when the signal is present. This book provides a more complete treatment of the fundamentals of multi­ sensor decision and estimation fusion in order to deal with general random ob­ servations or observation noises that are correlated across the sensors.

Data Management and Internet Computing for Image/Pattern Analysis focuses on the data management issues and Internet computing aspect of image processing and pattern recognition research. The book presents a comprehensive overview of the state of the art, providing detailed case studies that emphasize how image and pattern (IAP) data are distributed and exchanged on sequential and parallel machines, and how the data communication patterns in low- and higher-level IAP computing differ from general numerical computation, what problems they cause and what opportunities they provide. The studies also describe how the images and matrices should be stored, accessed and distributed on different types of machines connected to the Internet, and how Internet resource sharing and data transmission change traditional IAP computing. Data Management and Internet Computing for Image/Pattern Analysis is divided into three parts: the first part describes several software approaches to IAP computing, citing several representative data communication patterns and related algorithms; the second part introduces hardware and Internet resource sharing in which a wide range of computer architectures are described and memory management issues are discussed; and the third part presents applications ranging from image coding, restoration and progressive transmission. Data Management and Internet Computing for Image/Pattern Analysis is an excellent reference for researchers and may be used as a text for advanced courses in image processing and pattern recognition.

Many approaches have been proposed to enhance software productivity and reliability. These approaches typically fall into three categories: the engineering approach, the formal approach, and the knowledge-based approach. The optimal gain in software productivity cannot be obtained if one relies on only one of these approaches. Thus, the integration of different approaches has also become a major area of research. No approach can be said to be perfect if it fails to satisfy the following two criteria. Firstly, a good approach should support the full life cycle of software development. Secondly, a good approach should support the development of large-scale software for real use in many application domains. Such an approach can be referred to as a five-in-one approach. The authors of this book have, for the past eight years, conducted research in knowledge-based software engineering, of which the final goal is to develop a paradigm for software engineering which not only integrates the three approaches mentioned above, but also fulfils the two criteria on which the five-in-one approach is based. Domain Modeling- Based Software Engineering: A Formal Approach explores the results of this research. Domain Modeling-Based Software Engineering: A Formal Approach will be useful to researchers of knowledge-based software engineering, students and instructors of computer science, and software engineers who are working on large-scale projects of software development and want to use knowledge-based development methods in their work.

Biometrics-based authentication and identification are emerging as the most reliable method to authenticate and identify individuals. Biometrics requires that the person to be identified be physically present at the point-of-identification and relies on `something which you are or you do' to provide better security, increased efficiency, and improved accuracy. Automated biometrics deals with physiological or behavioral characteristics such as fingerprints, signature, palmprint, iris, hand, voice and face that can be used to authenticate a person's identity or establish an identity from a database. With rapid progress in electronic and Internet commerce, there is also a growing need to authenticate the identity of a person for secure transaction processing. Designing an automated biometrics system to handle large population identification, accuracy and reliability of authentication are challenging tasks. Currently, there are over ten different biometrics systems that are either widely used or under development. Some automated biometrics, such as fingerprint identification and speaker verification, have received considerable attention over the past 25 years, and some issues like face recognition and iris-based authentication have been studied extensively resulting in successful development of biometrics systems in commercial applications. However, very few books are exclusively devoted to such issues of automated biometrics. Automated Biometrics: Technologies and Systems systematically introduces the technologies and systems, and explores how to design the corresponding systems with in-depth discussion. The issues addressed in this book are highly relevant to many fundamental concerns of both researchers and practitioners of automated biometrics in computer and system security.

Common Waveform Analysis, which will be of interest to both electrical engineers and mathematicians, applies the classic Fourier analysis to common waveforms. The following questions are answered: Can a signal be considered a superposition of common waveforms with different frequencies? How can a signal be decomposed into a series of common waveforms? How can a signal best be approximated using finite common waveforms? How can a combination of common waveforms that equals a given signal at N uniform points be found? Can common waveforms be used in techniques that have traditionally been based on sine-cosine functions? Common Waveform Analysis represents the most advanced research available to research scientists and scholars working in fields related to the area.

Intelligent building is the future of our building industry; all commercial, residential, industrial and institutional buildings will be designed towards the goal of `intelligent buildings'. The most important aspect of an intelligent building is the building systems, such as electrical services, heating, ventilation and air-conditioning systems, vertical transportation systems, and life safety systems, which must operate intelligently and efficiently to enhance the activities of the occupants. Intelligent Building Systems explains what already exists in a modern intelligent building and describes what is currently being developed by researchers to improve human comfort, working efficiency and energy performance for buildings in the 21st century. Intelligent Building Systems is divided into three parts. The first part gives a quick review of the structure, terminology, layout and operating principles of most standard modern building systems. The second part introduces the background material necessary to understand intelligent building systems, including information on electronics technology, fundamental mathematics, and techniques in artificial intelligence and signal processing. These first two parts are the foundation for the final part, which consists of research works carried out by the authors and other researchers in the application of artificial intelligence to building systems. The technologies presented will encourage readers to envision new and innovative ideas on possible future applications. Intelligent Building Systems is relevant to practitioners and researchers in the area of architectural science and engineering, electrical and mechanical services and intelligent buildings. It may also be used as a text for advanced courses on the topic.

Performance Evaluation, Prediction and Visualization in Parallel Systems presents a comprehensive and systematic discussion of theoretics, methods, techniques and tools for performance evaluation, prediction and visualization of parallel systems. Chapter 1 gives a short overview of performance degradation of parallel systems, and presents a general discussion on the importance of performance evaluation, prediction and visualization of parallel systems. Chapter 2 analyzes and defines several kinds of serial and parallel runtime, points out some of the weaknesses of parallel speedup metrics, and discusses how to improve and generalize them. Chapter 3 describes formal definitions of scalability, addresses the basic metrics affecting the scalability of parallel systems, discusses scalability of parallel systems from three aspects: parallel architecture, parallel algorithm and parallel algorithm-architecture combinations, and analyzes the relations of scalability and speedup. Chapter 4 discusses the methodology of performance measurement, describes the benchmark- oriented performance test and analysis and how to measure speedup and scalability in practice. Chapter 5 analyzes the difficulties in performance prediction, discusses application-oriented and architecture-oriented performance prediction and how to predict speedup and scalability in practice. Chapter 6 discusses performance visualization techniques and tools for parallel systems from three stages: performance data collection, performance data filtering and performance data visualization, and classifies the existing performance visualization tools. Chapter 7 describes parallel compiling-based, search-based and knowledge-based performance debugging, which assists programmers to optimize the strategy or algorithm in their parallel programs, and presents visual programming-based performance debugging to help programmers identify the location and cause of the performanceproblem. It also provides concrete suggestions on how to modify their parallel program to improve the performance. Chapter 8 gives an overview of current interconnection networks for parallel systems, analyzes the scalability of interconnection networks, and discusses how to measure and improve network performances. Performance Evaluation, Prediction and Visualization in Parallel Systems serves as an excellent reference for researchers, and may be used as a text for advanced courses on the topic.

There is an increasing demand for dynamic systems to become more safe and reliable. This requirement extends beyond the normally accepted safety-critical systems of nuclear reactors and aircraft where safety is paramount important, to systems such as autonomous vehicles and fast railways where the system availability is vital. It is clear that fault diagnosis (including fault detection and isolation, FDI) has been becoming an important subject in modern control theory and practice. For example, the number of papers on FDI presented in many control-related conferences has been increasing steadily. The subject of fault detection and isolation continues to mature to an established field of research in control engineering. A large amount of knowledge on model-based fault diagnosis has been ac­ cumulated through the literature since the beginning of the 1970s. However, publications are scattered over many papers and a few edited books. Up to the end of 1997, there is no any book which presents the subject in an unified framework. The consequence of this is the lack of "common language", dif­ ferent researchers use different terminology. This problem has obstructed the progress of model-based FDI techniques and has been causing great concern in research community. Many survey papers have been published to tackle this problem. However, a book which presents the materials in a unified format and provides a comprehensive foundation of model-based FDI is urgently needed.