ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS

Size: px
Start display at page:

Download "ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS"

Transcription

1 ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS

2 The Kluwer International Series on ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE Series Editor Kai-Yuan Cai Beijing University of Aeronautics Beijing, CHINA Also in the Series: SOFTWARE DEFECT AND OPERATIONAL PROFILE MODELING by Kai-Yuan Cai ISBN FUZZY LOGIC IN DATA MODELING: Semantics, Constraints, and Database Design by Guoqing Chen ISBN

3 ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS by Jie Chen Brunei University, Uxbridge, UK Ron J. Patton University of Hull, Hull, UK SPRINGER SCIENCE+BUSINESS MEDIA, LLC

4 Library of Congress Cataloging-in-Publication Data A CLP. Catalogue record for this book is available from the Library of Congress. Copyright 1999 by Springer Science+Business Media New York Originally published by Kluwer Academic Publishers in 1999 Softcover reprint of the hardcover 1st edition 1999 ISBN ISBN (ebook) DOI / All rights reserved. No part of this publication may be reproduced, stored in a retrieval system or transmitted in any form or by any means, mechanical, photocopying, recording, or otherwise, without the prior written permission of the publisher, Springer Science+Business Media, LLC. Printed on acid-free paper.

5 Contents List of Figures List of Tables Preface Acknowledgments XI xv xvii 1. INTRODUCTION Background Importance of fault diagnosis Fault diagnosis terminology Fault diagnosis in intelligent fault-tolerant control Model-based fault diagnosis Robustness in model-based fault diagnosis Brief history of model-based fault diagnosis Outline of the Book BASIC PRINCIPLES OF MODEL-BASED FDI I ntrod uction Model-based Fault Diagnosis Methods On-line Fault Diagnosis Modeling of Faulty Systems A General Structure of Residual Generation in Model-based FDI Fault Detectability Fault detectability condition Strong fault detectability condition Fault Isolability Structured residual set Fixed direction residual vector Sensor and actuator faults isolation Residual Generation Techniques Observer-based approaches Parity vector (relation) methods Factorization methods for residual generation Model-based FDI via Parameter Estimation 45 XIX v

6 vi ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS 2.10 Fault Diagnosis for Stochastic Systems Robust Residual Generation Problems Robustness to disturbances Robustness to modeling errors Discussion on robust FDI Adaptive Thresholds in Robust FDI Applicability of Model-based FDI Methods Observer-based approaches Parity relation approaches Parameter estimation approaches Discussion on applicability Integration of Fault Diagnosis Techniques Fuzzy logic in fault diagnosis Qualitative fault diagnosis Integrated fault diagnosis systems Summary ROBUST RESIDUAL GENERATION VIA UIOS Introduction Theory and Design of Unknown Input Observers Theory of UIOs Design procedure for UIOs Robust Fault Detection and Isolation Schemes based on UIOs Robust fault detection schemes based on UIOs Robust fault isolation schemes based on UIOs Robust actuator FDI example Robust Fault Detection Filters and Robust Directional Residuals Basic principles of fault detection filters Robust fault detection filter and fault isolation Robust isolation of faulty sensors in a jet engine system Filtering and Robust FDI of Uncertain Stochastic Systems Optimal observer for uncertain stochastic systems Robust residual generation and fault detection An illustrative example Summary ROBUST FDI VIA EIGENSTRUCTURE ASSIGNMENT I ntrod uction Residual Generation and Responses General Principle for Disturbance De-coupling Design Disturbance de-coupling design via invariant subspaces Disturbance de-coupling via eigenstructure assignment Disturbance De-coupling by Assigning Left Eigenvectors Robust Design Via Parametric Eigenstructure Assignment Robust FDI via parametric eigenstructure assignment An illustrative example Disturbance De-coupling by Assigning Right Eigenvectors 127

7 Contents vii 4.7 Dead-Beat Design for Robust Residual Generation Two Numerical Examples in Eigenstructure Assignment Conclusion and Discussion DISTURBANCE DISTRIBUTION MATRIX DETERMINATION FOR FDI I ntrod uction Direct Determination of Disturbance Distribution Matrix Noise and additive non-linearity Bilinear systems Model reduction Parameter perturbations Low rank approximation of distribution matrix Bounded uncertainty Estimation of Disturbance and Disturbance Distribution Matrix Disturbance vector estimation via augmented observer Derivation of disturbance distribution matrix Estimation of disturbance vector using de-convolution Optimal Distribution Matrix for Multiple Operating Points Modeling and FDI for a Jet Engine System Background on fault diagnosis for jet engine systems Jet engine system description Application of direct computation and optimization method Application of augmented observer method Conclusion ROBUST FDI VIA MULTI-OBJECTIVE OPTIMIZATION Introduction Residual Generation and Performance Indices Residual generation and responses Performance indices in robust residual generation Remarks on performance indices Parameterization In Observer Design Real eigenvalue case Complex-conjugate eigenvalue case Eigenvalue specifications Multi-Objective Optimization and the Method of Inequalities Multi-objective optimization The method of inequalities Optimization via Genetic Algorithms Introduction to genetic algorithms Steps of a genetic algorithm in optimization Detection of Incipient Sensor Faults in Flight Control Systems Conclusions ROBUST FDI USING OPTIMAL PARITY RELATIONS Introduction Performance Indices for Optimal Parity Relation Design 194

8 viii ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS 7.3 Optimal Parity Relation Design via Multi-Objective Optimization Solving optimization problems via SVD Solutions for multi-objective optimization A Numerical Illustration Example Discussion on Designing Optimal Parity Relations Robust fault isolation Probability distribution of multiple models Orthogonal parity relations Design of robust parity relations via optimization Closed-loop optimal parity relations Summary FREQUENCY DOMAIN DESIGN AND Hoc OPTIMIZATION FOR FDI Introduction Robust Fault Detection via Factorization Approach Residual generator design using factorization Perfect FDI and disturbance de-coupling Design of optimal residuals Robust FDI Design via Standard Hoc Filtering Formulation Robust residual generation with disturbance attenuation Fault estimation Fault estimation with disturbance attenuation Robustness issues LMI Approach for Robust Residual Generation Problem formulation Analysis of sensitivity norm LMI solution to Hoc control Duality and Hoc estimation Robust fault detection observer design Discussion on LMI robust FDI approach Summary FAULT DIAGNOSIS OF NON-LINEAR DYNAMIC SYSTEMS I ntrod uction Linear and Non-linear Observer-based Approaches Neural Networks in Fault Diagnosis of Non-linear Dynamic Systems Applications of neural networks in non-linear FDI A fault diagnosis scheme based on neural networks Neural network-based FDI for a laboratory system Fuzzy Observers for Non-linear Dynamic Systems Fault Diagnosis Takagi-Sugeno fuzzy model and stability analysis Fuzzy observers and residual generation Induction motor FDI in a rail traction system A Neuro-Fuzzy Approach for Non-linear Systems FDI B-Spline neural networks and fuzzy logic interpretation Residual generation and FDI using B-Spline Networks Fault isolation via B-Spline function networks Fault diagnosis of a two-tanks system 290

9 Contents IX 9.6 Summary Appendices A- Terminology in Model-based Fault Diagnosis 8- Inverted Pendulum Example C- Matrix Rank Decomposition D- Proof of Lemma 3.2 E- Low Rank Matrix Approximation References

10 List of Figures 1.1 Hardware vs analytical redundancy Conceptual structure of model-based fault diagnosis Fault diagnosis and control loop Open-loop system The system dynamics Sensors, output and measured output Actuator, input and actuation Input sensor, actuation and measured actuation Redundant signal structure in residual generation The general structure of a residual generator Faults and the residual Inverted pendulum example (Fault signal) Inverted pendulum example (Fault in sensor 1) Inverted pendulum example (Fault in sensor 2) Inverted pendulum example (Fault in sensor 3) a Structured residual set (Dedicated scheme) b Structured residual set (Generalized scheme) Directional residual vector for fault isolation Residual generation via a generalized Luenberger observer Residual generation via parallel redundancy Residual generation via temporal redundancy Application of an adaptive threshold A FDI system with the threshold adaptor (selector) An integrated knowledge-based system for fault diagnosis The structure of a full-order unknown input observer A robust sensor fault isolation scheme A robust actuator fault isolation scheme UIO residuals when a fault occurs in Ul (t) (without parameter variations) UIO residuals when a fault occurs in U2(t) (without parameter variations) 85 Xl

11 xii ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS 3.6 UIO residuals when a fault occurs in U3 (t) (without parameter variations) UIO residuals when a fault occurs in Ul(t) (with parameter variations) UIO residuals when a fault occurs in U2(t) (with parameter variations) UIO residuals when a fault occurs in U3 (t) (with parameter variations) Fault isolation based on directional residuals Optimal disturbance de-coupling observer and residual The state estimation error absolute values for 'fly (ODDO: Optimal Disturbance De-coupling Observer; KF: Kalman Filter) The state estimation error absolute values for W Z (ODDO: Optimal Disturbance De-coupling Observer; KF: Kalman Filter) The state estimation error absolute values for 6z (ODDO: Optimal Disturbance De-coupling Observer; KF: Kalman Filter) The fault detection function when a fault occurs in the sensor for 6z The fault detection function when a fault occurs in the actuator Robust observer-based residual generation Disturbance de-coupling via eigenvector assignment Robust residual generation via the 1st-order parity relation Gas turbine jet engine Norm of the output estimation error Absolute value of the fault-free residual The faulty output and residual when a fault occurs in the temperature sensor for T The output estimation error when a fault occurs in the temperature sensor for T Faulty output of the pressure measurement P6 and corresponding residual The disturbance vector d1(k) for the step input case The disturbance vector d1 (k) for the sinusoidal input case The residual (r(k)) norm and the output estimation error (ey(k)) norm Faulty pressure (P6 ) measurement The residual norm and the output estimation error norm for the case a parabolic fault on the spool speed sensor for N H Residual when a fault occurs in the temperature measurement T7 with operating condition changed Robust residual generation via a full-order observer An example of the method of inequalities The "moving-boundaries" process Computational structure of genetic algorithms FDI in flight control systems 189

12 LIST OF FIGURES xiii 6.6 The fault signal shape The faulty and normal measurements for roll rate p The residual norm when a fault occurs in the roll rate sensor Faulty measurement when 'Y = Robust residuals for different operating points Frequency domain residual generator Formulation of disturbance attenuation Standard problem formulation of disturbance attenuation Formulation of fault estimation Standard problem formulation of fault estimation Formulation of filtered fault estimation Standard problem formulation of filtered fault estimation Formulation of filtered fault estimation with disturbance attenuation Standard problem formulation of filtered fault estimation with disturbance attenuation Standard problem formulation of robust fault estimation Formulation of integrated design Standard problem formulation of integrated design Standard problem formulation of integrated design with robustness consideration The neural network model of a non-linear dynamic system A conceptual structure of the integrated fault diagnosis approach Fault detection and isolation scheme using two neural networks Fault detection and isolation scheme using two neural networks Three tanks system Typical shapes of fault signals Alarm signals when an incipient fault occurred in tank Alarm signals when an abrupt fault occurred in tank Alarm signals when an incipient fault occurred in tank Alarm signals when two incipient faults occurred in tank 1 and tank Fuzzy observer Eigenvalue region A rail traction control system Membership grade functions Output estimation error due to initial perturbations Residual response to fault Fault isolation and fault-tolerant control scheme for the traction system Fault diagnostic residuals from real-time simulations Torque error with reconfiguration action Torque error in the presence of phase sensor faults A B-Spine function network with two inputs, 3 basis functions and one output 287

13 XIV ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS B.l B-Spline functions defined over the normalized input space Network architecture used for fault isolation Two tanks system Residual response Flag 1 response to faults Flag 2 response to faults Flag 3 response to faults The controlled inverted pendulum system

14 List of Tables Unknown input observer (UIO) design procedure Fault isolation using Beard fault detection filter Fault isolation using robust fault detection filter Optimal disturbance de-coupling observer design procedure Robust fault detection design algorithm Performance indices for different designs Training data for fault classifier Qualitative model of the residual generator

15 Preface 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 accumulated 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", different 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. Such a book would promote the subject of model-based FDI and make the techniques more accessible for engineers and research students. This view has been shared by many researchers in this field. Such a book is also possible, because many important definitions have been made and the correspondences between different model-based FDI methods have been established. This new book presents the subject of model-based FDI in a unified framework. It contains many important topics and methods, however perfect coverage and completeness is not the primary concern. The book focuses on fundamental issues such as basic definitions and the importance of robustness in FDI approaches. In this book, FDI concepts and methods are illustrated by either simple academic examples or practical applications. The first two chapters are

16 xviii ROBUST MODEL-BASED FAULT DIAGNOSIS FOR DYNAMIC SYSTEMS of tutorial value and provide a starting point for new comers to this field. The rest of the book presents the state-of-the-art in model-based FDI by discussing many important robust approaches and their applications. This will certainly appeal to experts in this field. The book targets both new comers, 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 have been discussed. Although this is a research monograph, it will be an important text for MSc & PhD research students world-wide. The largest market, however will be academics, libraries and practising engineers and scientists throughout the world. DR J. CHEN & PROF. R. J. PATTON

17 Acknowledgments We have been enjoying many fruitful discussions and collaborations with other researchers world-wide. It is impossible to mention all of them. However, we would like to thank Prof. Paul M. Frank of University of Duisburg, Germany and Prof. Janos J. Gertler of George Mason University, USA with whom we had many discussions and debates. We are also grateful to Prof. Peter D. Roberts of City University, UK for his encouragement for starting this book. We have had some help in the writing of this book. Many thanks to Prof. J. Stoustrup of Alborg University, Denmark, Prof. M. Kinnaert of Universite Libre de Bruxelles, Belgium, Prof. X. Ding of FH-Lausitz, Germany, Dr H. Wang of UMIST, UK, Dr D. N. Shields of Coventry University, UK and Prof. M. M. Polycarpou of University of Cincinnati, USA for sending us their recent publications which enable us to include updated information. Special thank goes to Dr Ming Hou of University of Hull, UK who provides us with his new research results in files. We would like to express our sincere gratitude and thanks to our families for their support. Dr Chen is very grateful to his wife Ling Hao and daughter Nancy for their patience and understanding when he devotes many of his evening and weekends to this book. Prof. Patton would like to thank his wife Ann and children Libby, Kirstie and Stephen for their understanding when he carried around the draft manuscript of this book in his weekends and holidays.

CONTENTS VOLUME XVI. Fault Diagnosis for Linear Systems 29 Paul M. Frank, Gerhard-Mercator-University of Duisburg, Germany

CONTENTS VOLUME XVI. Fault Diagnosis for Linear Systems 29 Paul M. Frank, Gerhard-Mercator-University of Duisburg, Germany CONTENTS VOLUME XVI Fault Diagnosis and Fault-tolerant Control 1 Paul M. Frank, Fellow IEEE, University Duisburg-Essen, Duisburg, Germany Mogens Blanke, Technical University of Denmark, Lyngby, Denmark

More information

Jinkun Liu Xinhua Wang. Advanced Sliding Mode Control for Mechanical Systems. Design, Analysis and MATLAB Simulation

Jinkun Liu Xinhua Wang. Advanced Sliding Mode Control for Mechanical Systems. Design, Analysis and MATLAB Simulation Jinkun Liu Xinhua Wang Advanced Sliding Mode Control for Mechanical Systems Design, Analysis and MATLAB Simulation Jinkun Liu Xinhua Wang Advanced Sliding Mode Control for Mechanical Systems Design, Analysis

More information

Topological Structure and Analysis of Interconnection Networks

Topological Structure and Analysis of Interconnection Networks Topological Structure and Analysis of Interconnection Networks Network Theory and Applications Volume 7 Managing Editors: Ding-Zhu Du, University of Minnesota, U.S.A. and Cauligi Raghavendra, University

More information

PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SOFTWARE

PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SOFTWARE PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SOFTWARE PERFORMANCE ANALYSIS OF REAL-TIME EMBEDDED SOFTWARE Yau-Tsun Steven Li Monterey Design Systems, Inc. Sharad Malik Princeton University ~. " SPRINGER

More information

PERFORMANCE EVALUATION, PREDICTION AND VISUALIZATION OF PARALLEL SYSTEMS

PERFORMANCE EVALUATION, PREDICTION AND VISUALIZATION OF PARALLEL SYSTEMS PERFORMANCE EVALUATION, PREDICTION AND VISUALIZATION OF PARALLEL SYSTEMS The Kluwer International Series on ASIAN STUDIES IN COMPUTER AND INFORMATION SCIENCE Series Editor Kai-Yuan Cai Beijing University

More information

Fuzzy Modeling for Control.,,i.

Fuzzy Modeling for Control.,,i. Fuzzy Modeling for Control,,i. INTERNATIONAL SERIES IN INTELLIGENT TECHNOLOGIES Prof. Dr. Dr. h.c. Hans-Jiirgen Zimmermann, Editor European Laboratory for Intelligent Techniques Engineering Aachen, Germany

More information

MULTIMEDIA DATABASE MANAGEMENT SYSTEMS

MULTIMEDIA DATABASE MANAGEMENT SYSTEMS MULTIMEDIA DATABASE MANAGEMENT SYSTEMS THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE MULTIMEDIA SYSTEMS AND APPLICATIONS Recently Published Titles: Consulting Editor Borko Furht Florida

More information

Fundamentals of Operating Systems. Fifth Edition

Fundamentals of Operating Systems. Fifth Edition Fundamentals of Operating Systems Fifth Edition Fundamentals of Operating Systems A.M. Lister University of Queensland R. D. Eager University of Kent at Canterbury Fifth Edition Springer Science+Business

More information

INTRUSION DETECTION IN DISTRIBUTED SYSTEMS An Abstraction-Based Approach

INTRUSION DETECTION IN DISTRIBUTED SYSTEMS An Abstraction-Based Approach INTRUSION DETECTION IN DISTRIBUTED SYSTEMS An Abstraction-Based Approach Library of Congress Cataloging-in-Publication ISBN 978-1-4613-5091-0 ISBN 978-1-4615-0467-2 (ebook) DOI 10.1007/978-1-4615-0467-2

More information

INVERSE PROBLEMS IN GROUNDWATER MODELING

INVERSE PROBLEMS IN GROUNDWATER MODELING INVERSE PROBLEMS IN GROUNDWATER MODELING Theory and Applications of Transport in Porous Media Series Editor: Jacob Bear, Technion - Israel Institute of Technology, Haifa, Israel Volume 6 The titles published

More information

A Structured Programming Approach to Data

A Structured Programming Approach to Data A Structured Programming Approach to Data Derek Coleman A Structured Programming Approach to Data Springer-Verlag New York Derek Coleman Department of Computation Institute of Science Technology University

More information

ARCHITECTURE AND CAD FOR DEEP-SUBMICRON FPGAs

ARCHITECTURE AND CAD FOR DEEP-SUBMICRON FPGAs ARCHITECTURE AND CAD FOR DEEP-SUBMICRON FPGAs THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE ARCHITECTURE AND CAD FOR DEEP-SUBMICRON FPGAs Vaughn Betz Jonathan Rose Alexander Marquardt

More information

TIME-CONSTRAINED TRANSACTION MANAGEMENT. Real-Time Constraints in Database Transaction Systems

TIME-CONSTRAINED TRANSACTION MANAGEMENT. Real-Time Constraints in Database Transaction Systems TIME-CONSTRAINED TRANSACTION MANAGEMENT Real-Time Constraints in Database Transaction Systems The Kluwer International Series on ADV ANCES IN DATABASE SYSTEMS Other books in the Series: Series Editor Ahmed

More information

Stereo Scene Flow for 3D Motion Analysis

Stereo Scene Flow for 3D Motion Analysis Stereo Scene Flow for 3D Motion Analysis Andreas Wedel Daniel Cremers Stereo Scene Flow for 3D Motion Analysis Dr. Andreas Wedel Group Research Daimler AG HPC 050 G023 Sindelfingen 71059 Germany andreas.wedel@daimler.com

More information

FAULT DETECTION AND ISOLATION USING SPECTRAL ANALYSIS. Eugen Iancu

FAULT DETECTION AND ISOLATION USING SPECTRAL ANALYSIS. Eugen Iancu FAULT DETECTION AND ISOLATION USING SPECTRAL ANALYSIS Eugen Iancu Automation and Mechatronics Department University of Craiova Eugen.Iancu@automation.ucv.ro Abstract: In this work, spectral signal analyses

More information

Algorithm Collections for Digital Signal Processing Applications Using Matlab

Algorithm Collections for Digital Signal Processing Applications Using Matlab Algorithm Collections for Digital Signal Processing Applications Using Matlab Algorithm Collections for Digital Signal Processing Applications Using Matlab E.S. Gopi National Institute of Technology, Tiruchi,

More information

Loop Tiling for Parallelism

Loop Tiling for Parallelism Loop Tiling for Parallelism THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE LOOP TILING FOR PARALLELISM JINGLING XUE School of Computer Science and Engineering The University of New

More information

Contents. I Basics 1. Copyright by SIAM. Unauthorized reproduction of this article is prohibited.

Contents. I Basics 1. Copyright by SIAM. Unauthorized reproduction of this article is prohibited. page v Preface xiii I Basics 1 1 Optimization Models 3 1.1 Introduction... 3 1.2 Optimization: An Informal Introduction... 4 1.3 Linear Equations... 7 1.4 Linear Optimization... 10 Exercises... 12 1.5

More information

The Information Retrieval Series. Series Editor W. Bruce Croft

The Information Retrieval Series. Series Editor W. Bruce Croft The Information Retrieval Series Series Editor W. Bruce Croft Sándor Dominich The Modern Algebra of Information Retrieval 123 Sándor Dominich Computer Science Department University of Pannonia Egyetem

More information

Yves Nievergelt. Wavelets Made Easy. Springer Science+Business Media, LLC

Yves Nievergelt. Wavelets Made Easy. Springer Science+Business Media, LLC Wavelets Made Easy Yves Nievergelt Wavelets Made Easy Springer Science+Business Media, LLC Yves Nievergelt Department of Mathematics Eastem Washington University Cheney, WA 99004-2431 USA Library of Congress

More information

WIRELESS ATM AND AD-HOC NETWORKS. Protocols and Architectures

WIRELESS ATM AND AD-HOC NETWORKS. Protocols and Architectures WIRELESS ATM AND AD-HOC NETWORKS Protocols and Architectures WIRELESS ATM AND AD-HOC NETWORKS Protocols and Architectures C-K Toh, Ph.D. University of Cambridge Cambridge, United Kingdom SPRINGER-SCIENCE+BUSINESS

More information

THE VERILOG? HARDWARE DESCRIPTION LANGUAGE

THE VERILOG? HARDWARE DESCRIPTION LANGUAGE THE VERILOG? HARDWARE DESCRIPTION LANGUAGE THE VERILOGf HARDWARE DESCRIPTION LANGUAGE by Donald E. Thomas Carnegie Mellon University and Philip R. Moorby Cadence Design Systems, Inc. SPRINGER SCIENCE+BUSINESS

More information

CONTROL SYSTEMS, ROBOTICS AND AUTOMATION Vol. XVI - Control Reconfiguration - Jan Lunze

CONTROL SYSTEMS, ROBOTICS AND AUTOMATION Vol. XVI - Control Reconfiguration - Jan Lunze CONTROL RECONFIGURATION Jan Lunze The Institute of Automation and Computer Control, Ruhr University Bochum, Germany Keywords: Model-matching, Reconfigurability, Reconfiguration, Recoverability. Contents

More information

FUZZY LOGIC WITH ENGINEERING APPLICATIONS

FUZZY LOGIC WITH ENGINEERING APPLICATIONS FUZZY LOGIC WITH ENGINEERING APPLICATIONS Third Edition Timothy J. Ross University of New Mexico, USA A John Wiley and Sons, Ltd., Publication FUZZY LOGIC WITH ENGINEERING APPLICATIONS Third Edition FUZZY

More information

SYNTHESIS OF FINITE STATE MACHINES: LOGIC OPTIMIZATION

SYNTHESIS OF FINITE STATE MACHINES: LOGIC OPTIMIZATION SYNTHESIS OF FINITE STATE MACHINES: LOGIC OPTIMIZATION SYNTHESIS OF FINITE STATE MACHINES: LOGIC OPTIMIZATION Tiziano Villa University of California/Berkeley Timothy Kam Intel Corporation Robert K. Brayton

More information

LOGICAL DATA MODELING

LOGICAL DATA MODELING LOGICAL DATA MODELING INTEGRATED SERIES IN INFORMATION SYSTEMS Professor Ramesh Sharda Oklahoma State University Series Editors Prof. Dr. Stefan VoB Universitat Hamburg Expository and Research Monographs

More information

COMPUTATIONAL DYNAMICS

COMPUTATIONAL DYNAMICS COMPUTATIONAL DYNAMICS THIRD EDITION AHMED A. SHABANA Richard and Loan Hill Professor of Engineering University of Illinois at Chicago A John Wiley and Sons, Ltd., Publication COMPUTATIONAL DYNAMICS COMPUTATIONAL

More information

Theory of Automatic Robot Assembly and Programming

Theory of Automatic Robot Assembly and Programming Theory of Automatic Robot Assembly and Programming Theory of Automatic Robot Assembly and Programming Bartholomew o. Nnaji Professor and Director Automation and Robotics Laboratory Department of Industrial

More information

INTRUSION DETECTION AND CORRELATION. Challenges and Solutions

INTRUSION DETECTION AND CORRELATION. Challenges and Solutions INTRUSION DETECTION AND CORRELATION Challenges and Solutions Advances in Information Security Sushil Jajodia Consulting editor Center for Secure Information Systems George Mason University Fairfax, VA

More information

TECHNICAL TRANSLATION

TECHNICAL TRANSLATION TECHNICAL TRANSLATION Technical Translation Usability Strategies for Translating Technical Documentation JODY BYRNE University of Sheffield, UK A C.I.P. Catalogue record for this book is available from

More information

FUZZY DATABASES Principles and Applications

FUZZY DATABASES Principles and Applications FUZZY DATABASES Principles and Applications INTERNATIONAL SERIES IN INTELLIGENT TECHNOLOGIES Prof. Dr. Dr. h.c. Hans-Jiirgen Zimmermann, Editor European Laboratory for Intelligent Techniques Engineering

More information

MINING VERY LARGE DATABASES WITH PARALLEL PROCESSING

MINING VERY LARGE DATABASES WITH PARALLEL PROCESSING MINING VERY LARGE DATABASES WITH PARALLEL PROCESSING The Kluwer International Series on ADVANCES IN DATABASE SYSTEMS Series Editor Ahmed K. Elmagarmid Purdue University West Lafayette, IN 47907 Other books

More information

Distributed Sensor Fault Diagnosis for Automated Highway Systems

Distributed Sensor Fault Diagnosis for Automated Highway Systems Wright State University CORE Scholar Browse all Theses and Dissertations Theses and Dissertations 2013 Distributed Sensor Fault Diagnosis for Automated Highway Systems Hui Chen Wright State University

More information

Research on Industrial Security Theory

Research on Industrial Security Theory Research on Industrial Security Theory Menggang Li Research on Industrial Security Theory Menggang Li China Centre for Industrial Security Research Beijing, People s Republic of China ISBN 978-3-642-36951-3

More information

AAM Guide for Authors

AAM Guide for Authors ISSN: 1932-9466 AAM Guide for Authors Application and Applied Mathematics: An International Journal (AAM) invites contributors from throughout the world to submit their original manuscripts for review

More information

6.2 Conceptual Framework for Autonomic Service Compositions

6.2 Conceptual Framework for Autonomic Service Compositions CONTENTS i preliminaries 1 1 introduction 3 1.1 Motivation 6 1.2 Problem Statement 8 1.3 Research Challenges 9 1.4 The Approach 11 1.5 Research Methodology 14 1.6 Thesis Context 16 1.7 Outline 16 2 background

More information

A Structured Programming Approach to Data

A Structured Programming Approach to Data A Structured Programming Approach to Data Macmillan Computer Science Series Consulting Editor: Professor F. H. Sumner, University of Manchester J. K. Buckle, The ICL 2900 Series Andrew J. T. Colin, Programming

More information

TASK SCHEDULING FOR PARALLEL SYSTEMS

TASK SCHEDULING FOR PARALLEL SYSTEMS TASK SCHEDULING FOR PARALLEL SYSTEMS Oliver Sinnen Department of Electrical and Computer Engineering The University of Aukland New Zealand TASK SCHEDULING FOR PARALLEL SYSTEMS TASK SCHEDULING FOR PARALLEL

More information

INFORMATION RETRIEVAL SYSTEMS: Theory and Implementation

INFORMATION RETRIEVAL SYSTEMS: Theory and Implementation INFORMATION RETRIEVAL SYSTEMS: Theory and Implementation THE KLUWER INTERNATIONAL SERIES ON INFORMATION RETRIEVAL Series Editor W. Bruce Croft University of Massachusetts Amherst, MA 01003 Also in the

More information

Enhanced Web Log Based Recommendation by Personalized Retrieval

Enhanced Web Log Based Recommendation by Personalized Retrieval Enhanced Web Log Based Recommendation by Personalized Retrieval Xueping Peng FACULTY OF ENGINEERING AND INFORMATION TECHNOLOGY UNIVERSITY OF TECHNOLOGY, SYDNEY A thesis submitted for the degree of Doctor

More information

Gengsheng Lawrence Zeng. Medical Image Reconstruction. A Conceptual Tutorial

Gengsheng Lawrence Zeng. Medical Image Reconstruction. A Conceptual Tutorial Gengsheng Lawrence Zeng Medical Image Reconstruction A Conceptual Tutorial Gengsheng Lawrence Zeng Medical Image Reconstruction A Conceptual Tutorial With 163 Figures Author Prof. Dr. Gengsheng Lawrence

More information

Linear Programming: Mathematics, Theory and Algorithms

Linear Programming: Mathematics, Theory and Algorithms Linear Programming: Mathematics, Theory and Algorithms Applied Optimization Volume 2 The titles published in this series are listed at the end of this volume. Linear Programming: Mathematics, Theory and

More information

FAULT DIAGNOSIS OF NON-LINEAR DYNAMICAL SYSTEMS USING ANALYTICAL AND SOFT COMPUTING METHODS

FAULT DIAGNOSIS OF NON-LINEAR DYNAMICAL SYSTEMS USING ANALYTICAL AND SOFT COMPUTING METHODS STATE OF THE ART FAULT DIAGNOSIS OF NON-LINEAR DYNAMICAL SYSTEMS USING ANALYTICAL AND SOFT COMPUTING METHODS Article received 20 March, accepted 25 April. Józef Korbicz Abstract: The paper deals with the

More information

Principles of Network Economics

Principles of Network Economics Hagen Bobzin Principles of Network Economics SPIN Springer s internal project number, if known unknown Monograph August 12, 2005 Springer Berlin Heidelberg New York Hong Kong London Milan Paris Tokyo Contents

More information

Fault Detection and Diagnosis of a Plastic Film Extrusion Process

Fault Detection and Diagnosis of a Plastic Film Extrusion Process Fault Detection and Diagnosis of a Plastic Film Extrusion Process Sung-ho Hur Reza Katebi Andrew Taylor Department of Electronic and Electrical Engineering, University of Strathclyde, Glasgow, UK (e-mail:

More information

Optimum Array Processing

Optimum Array Processing Optimum Array Processing Part IV of Detection, Estimation, and Modulation Theory Harry L. Van Trees WILEY- INTERSCIENCE A JOHN WILEY & SONS, INC., PUBLICATION Preface xix 1 Introduction 1 1.1 Array Processing

More information

Preface. and Its Applications 81, ISBN , doi: / , Springer Science+Business Media New York, 2013.

Preface. and Its Applications 81, ISBN , doi: / , Springer Science+Business Media New York, 2013. Preface This book is for all those interested in using the GAMS technology for modeling and solving complex, large-scale, continuous nonlinear optimization problems or applications. Mainly, it is a continuation

More information

Guide to RISC Processors

Guide to RISC Processors Guide to RISC Processors Sivarama P. Dandamudi Guide to RISC Processors for Programmers and Engineers Sivarama P. Dandamudi School of Computer Science Carleton University Ottawa, ON K1S 5B6 Canada sivarama@scs.carleton.ca

More information

COMMUNICATION SYSTEMS The State of the Art

COMMUNICATION SYSTEMS The State of the Art COMMUNICATION SYSTEMS The State of the Art IFIP The International Federation for Information Processing lfip was founded in 1960 under the auspices of UNESCO, following the First World Computer Congress

More information

RETARGETABLE CODE GENERATION FOR DIGITAL SIGNAL PROCESSORS

RETARGETABLE CODE GENERATION FOR DIGITAL SIGNAL PROCESSORS RETARGETABLE CODE GENERATION FOR DIGITAL SIGNAL PROCESSORS RETARGETABLE CODE GENERATION FOR DIGITAL SIGNAL PROCESSORS Rainer LEUPERS University of Dortmund Department of Computer Science Dortmund, Germany

More information

Chunjie Duan Brock J. LaMeres Sunil P. Khatri. On and Off-Chip Crosstalk Avoidance in VLSI Design

Chunjie Duan Brock J. LaMeres Sunil P. Khatri. On and Off-Chip Crosstalk Avoidance in VLSI Design Chunjie Duan Brock J. LaMeres Sunil P. Khatri On and Off-Chip Crosstalk Avoidance in VLSI Design 123 On and Off-Chip Crosstalk Avoidance in VLSI Design Chunjie Duan Brock J. LaMeres Sunil P. Khatri On

More information

Curve and Surface Fitting with Splines. PAUL DIERCKX Professor, Computer Science Department, Katholieke Universiteit Leuven, Belgium

Curve and Surface Fitting with Splines. PAUL DIERCKX Professor, Computer Science Department, Katholieke Universiteit Leuven, Belgium Curve and Surface Fitting with Splines PAUL DIERCKX Professor, Computer Science Department, Katholieke Universiteit Leuven, Belgium CLARENDON PRESS OXFORD 1995 - Preface List of Figures List of Tables

More information

AN INTRODUCTION TO FUZZY SETS Analysis and Design. Witold Pedrycz and Fernando Gomide

AN INTRODUCTION TO FUZZY SETS Analysis and Design. Witold Pedrycz and Fernando Gomide AN INTRODUCTION TO FUZZY SETS Analysis and Design Witold Pedrycz and Fernando Gomide A Bradford Book The MIT Press Cambridge, Massachusetts London, England Foreword - Preface Introduction xiii xxv xxi

More information

Learning to Rank for Information Retrieval

Learning to Rank for Information Retrieval Learning to Rank for Information Retrieval Tie-Yan Liu Learning to Rank for Information Retrieval Tie-Yan Liu Microsoft Research Asia Bldg #2, No. 5, Dan Ling Street Haidian District Beijing 100080 People

More information

SPECC: SPECIFICATION LANGUAGE AND METHODOLOGY

SPECC: SPECIFICATION LANGUAGE AND METHODOLOGY SPECC: SPECIFICATION LANGUAGE AND METHODOLOGY SPECC: SPECIFICATION LANGUAGE AND METHODOLOGY Daniel D. Gajski Jianwen Zhu Rainer Dömer Andreas Gerstlauer Shuqing Zhao University of California, Irvine SPRINGER

More information

Computer-Aided Design in Magnetics

Computer-Aided Design in Magnetics Computer-Aided Design in Magnetics D. A. Lowther P. P. Silvester Computer-Aided Design in Magnetics With 84 illustrations Springer-Verlag Berlin Heidelberg New York Tokyo D. A. Lowther Associate Professor

More information

ASSIUT UNIVERSITY. Faculty of Computers and Information Department of Information Technology. on Technology. IT PH.D. Program.

ASSIUT UNIVERSITY. Faculty of Computers and Information Department of Information Technology. on Technology. IT PH.D. Program. ASSIUT UNIVERSITY Faculty of Computers and Information Department of Information Technology Informatiio on Technology PhD Program IT PH.D. Program Page 0 Assiut University Faculty of Computers & Informationn

More information

Scheduling in Distributed Computing Systems Analysis, Design & Models

Scheduling in Distributed Computing Systems Analysis, Design & Models Scheduling in Distributed Computing Systems Analysis, Design & Models (A Research Monograph) Scheduling in Distributed Computing Systems Analysis, Design & Models (A Research Monograph) by Deo Prakash

More information

ASSIGNMENT PROBLEMS IN PARALLEL AND DISTRIBUTED COMPUTING

ASSIGNMENT PROBLEMS IN PARALLEL AND DISTRIBUTED COMPUTING ASSIGNMENT PROBLEMS IN PARALLEL AND DISTRIBUTED COMPUTING THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE PARALLEL PROCESSING AND FIFTH GENERATION COMPUTING Consulting Editor Doug DeGroot

More information

Digital Image Processing

Digital Image Processing Digital Image Processing Third Edition Rafael C. Gonzalez University of Tennessee Richard E. Woods MedData Interactive PEARSON Prentice Hall Pearson Education International Contents Preface xv Acknowledgments

More information

Failure-Modes-Based Software Reading

Failure-Modes-Based Software Reading SPRINGER BRIEFS IN COMPUTER SCIENCE Yang-Ming Zhu Failure-Modes-Based Software Reading SpringerBriefs in Computer Science More information about this series at http://www.springer.com/series/10028 Yang-Ming

More information

David G. Luenberger Yinyu Ye. Linear and Nonlinear. Programming. Fourth Edition. ö Springer

David G. Luenberger Yinyu Ye. Linear and Nonlinear. Programming. Fourth Edition. ö Springer David G. Luenberger Yinyu Ye Linear and Nonlinear Programming Fourth Edition ö Springer Contents 1 Introduction 1 1.1 Optimization 1 1.2 Types of Problems 2 1.3 Size of Problems 5 1.4 Iterative Algorithms

More information

PARALLEL, OBJECT -ORIENTED, AND ACTIVE KNOWLEDGE BASE SYSTEMS

PARALLEL, OBJECT -ORIENTED, AND ACTIVE KNOWLEDGE BASE SYSTEMS PARALLEL, OBJECT -ORIENTED, AND ACTIVE KNOWLEDGE BASE SYSTEMS The Kluwer International Series on ADVANCES IN DATABASE SYSTEMS Series Editor Ahmed K. Elmagarmid Purdue University West Lafayette, IN 47907

More information

PATTERN CLASSIFICATION AND SCENE ANALYSIS

PATTERN CLASSIFICATION AND SCENE ANALYSIS PATTERN CLASSIFICATION AND SCENE ANALYSIS RICHARD O. DUDA PETER E. HART Stanford Research Institute, Menlo Park, California A WILEY-INTERSCIENCE PUBLICATION JOHN WILEY & SONS New York Chichester Brisbane

More information

JAVA Projects. 1. Enforcing Multitenancy for Cloud Computing Environments (IEEE 2012).

JAVA Projects. 1. Enforcing Multitenancy for Cloud Computing Environments (IEEE 2012). JAVA Projects I. IEEE based on CLOUD COMPUTING 1. Enforcing Multitenancy for Cloud Computing Environments 2. Practical Detection of Spammers and Content Promoters in Online Video Sharing Systems 3. An

More information

HIGH-LEVEL SYNTHESIS FOR REAL-TIME DIGITAL SIGNAL PROCESSING

HIGH-LEVEL SYNTHESIS FOR REAL-TIME DIGITAL SIGNAL PROCESSING HIGH-LEVEL SYNTHESIS FOR REAL-TIME DIGITAL SIGNAL PROCESSING THE KLUWER INTERNATIONAL SERIES IN ENGINEERING AND COMPUTER SCIENCE VLSI, COMPUTER ARCHITECfURE AND DIGITAL SIGNAL PROCESSING Latest Titles

More information

Adaptive System Identification and Signal Processing Algorithms

Adaptive System Identification and Signal Processing Algorithms Adaptive System Identification and Signal Processing Algorithms edited by N. Kalouptsidis University of Athens S. Theodoridis University of Patras Prentice Hall New York London Toronto Sydney Tokyo Singapore

More information

Boolean Reasoning. The Logic of Boolean Equations. Frank Markham Brown Air Force Institute of Technology

Boolean Reasoning. The Logic of Boolean Equations. Frank Markham Brown Air Force Institute of Technology Boolean Reasoning The Logic of Boolean Equations by Frank Markham Brown Air Force Institute of Technology ff Kluwer Academic Publishers Boston/Dordrecht/London Contents Preface Two Logical Languages Boolean

More information

Failure-Free Genetic Algorithm Optimization of a System Controller Using SAFE/LEARNING Controllers in Tandem

Failure-Free Genetic Algorithm Optimization of a System Controller Using SAFE/LEARNING Controllers in Tandem Failure-Free Genetic Algorithm Optimization of a System Controller Using SAFE/LEARNING Controllers in Tandem E.S. Sazonov, D. Del Gobbo, P. Klinkhachorn and R. L. Klein Lane Dept. of Computer Science and

More information

Intelligent Control. 4^ Springer. A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms. Nazmul Siddique.

Intelligent Control. 4^ Springer. A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms. Nazmul Siddique. Nazmul Siddique Intelligent Control A Hybrid Approach Based on Fuzzy Logic, Neural Networks and Genetic Algorithms Foreword by Bernard Widrow 4^ Springer Contents 1 Introduction 1 1.1 Intelligent Control

More information

UML for SOC Design GRANT MARTIN WOLFGANG MÜLLER. Edited by. Tensilica Inc., Santa Clara, CA, USA. and. University of Paderborn, Germany

UML for SOC Design GRANT MARTIN WOLFGANG MÜLLER. Edited by. Tensilica Inc., Santa Clara, CA, USA. and. University of Paderborn, Germany UML FOR SOC DESIGN UML for SOC Design Edited by GRANT MARTIN Tensilica Inc., Santa Clara, CA, USA and WOLFGANG MÜLLER University of Paderborn, Germany A C.I.P. Catalogue record for this book is available

More information

Stefan Waldmann. Topology. An Introduction

Stefan Waldmann. Topology. An Introduction Topology Stefan Waldmann Topology An Introduction 123 Stefan Waldmann Julius Maximilian University of Würzburg Würzburg Germany ISBN 978-3-319-09679-7 ISBN 978-3-319-09680-3 (ebook) DOI 10.1007/978-3-319-09680-3

More information

Computational Geometry on Surfaces

Computational Geometry on Surfaces Computational Geometry on Surfaces Computational Geometry on Surfaces Performing Computational Geometry on the Cylinder, the Sphere, the Torus, and the Cone by Clara I. Grima Department 0/ Applied Mathematics

More information

TABLE OF CONTENTS CHAPTER NO. TITLE PAGENO. LIST OF TABLES LIST OF FIGURES LIST OF ABRIVATION

TABLE OF CONTENTS CHAPTER NO. TITLE PAGENO. LIST OF TABLES LIST OF FIGURES LIST OF ABRIVATION vi TABLE OF CONTENTS ABSTRACT LIST OF TABLES LIST OF FIGURES LIST OF ABRIVATION iii xii xiii xiv 1 INTRODUCTION 1 1.1 WEB MINING 2 1.1.1 Association Rules 2 1.1.2 Association Rule Mining 3 1.1.3 Clustering

More information

Building Custom Tasks for SQL Server Integration Services

Building Custom Tasks for SQL Server Integration Services Building Custom Tasks for SQL Server Integration Services Andy Leonard Building Custom Tasks for SQL Server Integration Services Andy Leonard Farmville, Virginia, USA ISBN-13 (pbk): 978-1-4842-2939-2 ISBN-13

More information

Fault detection with principal component pursuit method

Fault detection with principal component pursuit method Journal of Physics: Conference Series PAPER OPEN ACCESS Fault detection with principal component pursuit method Recent citations - Robust Principal Component Pursuit for Fault Detection in a Blast Furnace

More information

An Introduction to Structural Optimization

An Introduction to Structural Optimization An Introduction to Structural Optimization SOLID MECHANICS AND ITS APPLICATIONS Volume 153 Series Editor: G.M.L. GLADWELL Department of Civil Engineering University of Waterloo Waterloo, Ontario, Canada

More information

SpringerBriefs in Computer Science

SpringerBriefs in Computer Science SpringerBriefs in Computer Science Series Editors Stan Zdonik Peng Ning Shashi Shekhar Jonathan Katz Xindong Wu Lakhmi C. Jain David Padua Xuemin (Sherman) Shen Borko Furht V.S. Subrahmanian Martial Hebert

More information

Foundations of 3D Graphics Programming

Foundations of 3D Graphics Programming Foundations of 3D Graphics Programming Jim X. Chen Edward J. Wegman Foundations of 3D Graphics Programming Using JOGL and Java3D With 139 Figures Jim X. Chen, PhD Computer Science Department George Mason

More information

Diagnosis and Fault-tolerant Control, 3rd Edition

Diagnosis and Fault-tolerant Control, 3rd Edition Downloaded from orbit.dtu.dk on: Jan 30, 2018 Diagnosis and Fault-tolerant Control, 3rd Edition Blanke, Mogens; Kinnaert, Michel; Lunze, Jan; Staroswiecki, Marcel Link to article, DOI: 10.1007/978-3-662-47943-8

More information

Lecture notes. Com Page 1

Lecture notes. Com Page 1 Lecture notes Com Page 1 Contents Lectures 1. Introduction to Computational Intelligence 2. Traditional computation 2.1. Sorting algorithms 2.2. Graph search algorithms 3. Supervised neural computation

More information

FLASH MEMORIES SPRINGER-SCIENCE+BUSINESS MEDIA, LLC. Paulo Cappelletti. Carla Golla. PieroOlivo. Enrico Zanoni

FLASH MEMORIES SPRINGER-SCIENCE+BUSINESS MEDIA, LLC. Paulo Cappelletti. Carla Golla. PieroOlivo. Enrico Zanoni FLASH MEMORIES FLASH MEMORIES By Paulo Cappelletti Carla Golla PieroOlivo Enrico Zanoni SPRINGER-SCIENCE+BUSINESS MEDIA, LLC Library of Congress Cataloging-in-Publication Data Flash memories 1 by Paulo

More information

Design of Fault Diagnosis System of FPSO Production Process Based on MSPCA

Design of Fault Diagnosis System of FPSO Production Process Based on MSPCA 2009 Fifth International Conference on Information Assurance and Security Design of Fault Diagnosis System of FPSO Production Process Based on MSPCA GAO Qiang, HAN Miao, HU Shu-liang, DONG Hai-jie ianjin

More information

List of figures List of tables Acknowledgements

List of figures List of tables Acknowledgements List of figures List of tables Acknowledgements page xii xiv xvi Introduction 1 Set-theoretic approaches in the social sciences 1 Qualitative as a set-theoretic approach and technique 8 Variants of QCA

More information

Whitestein Series in software Agent Technologies. About whitestein Technologies

Whitestein Series in software Agent Technologies. About whitestein Technologies Whitestein Series in software Agent Technologies Series Editors: Marius Walliser Stefan Brantschen Monique Calisti Thomas Hempfling This series reports new developments in agent-based software technologies

More information

Fundamentals of Operating Systems

Fundamentals of Operating Systems Fundamentals of Operating Systems Macmillan Computer Science Series Consulting Editor Professor F. H. Sumner, University of Manchester S. T. Allworth, Introduction to Real-time Software Design Ian O. Angell,

More information

Robust SRAM Designs and Analysis

Robust SRAM Designs and Analysis Robust SRAM Designs and Analysis Jawar Singh Saraju P. Mohanty Dhiraj K. Pradhan Robust SRAM Designs and Analysis 123 Jawar Singh Indian Institute of Information Technology Design and Manufacturing Dumna

More information

VERILOG QUICKSTART. James M. Lee Cadence Design Systems, Inc. SPRINGER SCIENCE+BUSINESS MEDIA, LLC

VERILOG QUICKSTART. James M. Lee Cadence Design Systems, Inc. SPRINGER SCIENCE+BUSINESS MEDIA, LLC VERILOG QUICKSTART VERILOG QUICKSTART by James M. Lee Cadence Design Systems, Inc. ~. " SPRINGER SCIENCE+BUSINESS MEDIA, LLC ISBN 978-1-4613-7801-3 ISBN 978-1-4615-6113-2 (ebook) DOI 10.1007/978-1-4615-6113-2

More information

Computer Science Workbench

Computer Science Workbench Computer Science Workbench Editor: Tosiyasu L. Kunii Springer Japan KK Computer Science Workbench N. Magnenat Thalmann, D. Thalmann: Image Synthesis. Theory and Practice. XV, 400 pp., 223 figs., including

More information

CITY UNIVERSITY OF NEW YORK. Creating a New Project in IRBNet. i. After logging in, click Create New Project on left side of the page.

CITY UNIVERSITY OF NEW YORK. Creating a New Project in IRBNet. i. After logging in, click Create New Project on left side of the page. CITY UNIVERSITY OF NEW YORK Creating a New Project in IRBNet i. After logging in, click Create New Project on left side of the page. ii. Enter the title of the project, the principle investigator s (PI)

More information

Support Vector. Machines. Algorithms, and Extensions. Optimization Based Theory, Naiyang Deng YingjieTian. Chunhua Zhang.

Support Vector. Machines. Algorithms, and Extensions. Optimization Based Theory, Naiyang Deng YingjieTian. Chunhua Zhang. Support Vector Machines Optimization Based Theory, Algorithms, and Extensions Naiyang Deng YingjieTian Chunhua Zhang CRC Press Taylor & Francis Group Boca Raton London New York CRC Press is an imprint

More information

INFORMATION HIDING IN COMMUNICATION NETWORKS

INFORMATION HIDING IN COMMUNICATION NETWORKS 0.8125 in Describes information hiding in communication networks, and highlights its important issues, challenges, trends, and applications. Highlights development trends and potential future directions

More information

\XjP^J Taylor & Francis Group. Model-Based Control. Tensor Product Model Transformation in Polytopic. Yeung Yam. CRC Press.

\XjP^J Taylor & Francis Group. Model-Based Control. Tensor Product Model Transformation in Polytopic. Yeung Yam. CRC Press. Automation and Control Engineering Series Tensor Product Model Transformation in Polytopic Model-Based Control Peter Baranyi Yeung Yam Peter Varlaki CRC Press \XjP^J Taylor & Francis Group ^ ' Boca Raton

More information

Hierarchical Scheduling in Parallel and Cluster Systems

Hierarchical Scheduling in Parallel and Cluster Systems Hierarchical Scheduling in Parallel and Cluster Systems SERIES IN COMPUTER SCIENCE Series Editor: Rami G. Melhem University of Pittsburgh Pittsburgh, Pennsylvania ENGINEERING ELECTRONIC NEGOTIATIONS A

More information

Performance Degradation Assessment and Fault Diagnosis of Bearing Based on EMD and PCA-SOM

Performance Degradation Assessment and Fault Diagnosis of Bearing Based on EMD and PCA-SOM Performance Degradation Assessment and Fault Diagnosis of Bearing Based on EMD and PCA-SOM Lu Chen and Yuan Hang PERFORMANCE DEGRADATION ASSESSMENT AND FAULT DIAGNOSIS OF BEARING BASED ON EMD AND PCA-SOM.

More information

Part I: Data Mining Foundations

Part I: Data Mining Foundations Table of Contents 1. Introduction 1 1.1. What is the World Wide Web? 1 1.2. A Brief History of the Web and the Internet 2 1.3. Web Data Mining 4 1.3.1. What is Data Mining? 6 1.3.2. What is Web Mining?

More information

NOVEL TECHNIQUES AND ARCHITECTURES FOR ADAPTIVE BEAMFORMING

NOVEL TECHNIQUES AND ARCHITECTURES FOR ADAPTIVE BEAMFORMING NOVEL TECHNIQUES AND ARCHITECTURES FOR ADAPTIVE BEAMFORMING By THUA VAN HO, B.A.Sc, M.A.Sc A Thesis Submitted to the School of Graduate Studies in Partial Fulfillment of the Requirements for the Degree

More information

ITSM: An Interactive Time Series Modelling Package for the pe

ITSM: An Interactive Time Series Modelling Package for the pe ITSM: An Interactive Time Series Modelling Package for the pe Peter J. Brockwell Richard A. Davis ITSM: An Interactive Time Series Modelling Package for the pe With 53 Illustrations and 3 Diskettes Written

More information

^ Springer. Computational Intelligence. A Methodological Introduction. Rudolf Kruse Christian Borgelt. Matthias Steinbrecher Pascal Held

^ Springer. Computational Intelligence. A Methodological Introduction. Rudolf Kruse Christian Borgelt. Matthias Steinbrecher Pascal Held Rudolf Kruse Christian Borgelt Frank Klawonn Christian Moewes Matthias Steinbrecher Pascal Held Computational Intelligence A Methodological Introduction ^ Springer Contents 1 Introduction 1 1.1 Intelligent

More information

Optical Burst Switched Networks

Optical Burst Switched Networks Optical Burst Switched Networks OPTICAL NETWORKS SERIES Series Editor Biswanath Mukherjee, University of California, Davis OPTICAL BURST SWITCHED NETWORKS JASON P. JUE The University of Texas at Dallas

More information