Advances in Computers, Volume 107, the latest volume in a series published since 1960, presents detailed coverage of innovations in computer hardware, software, theory, design and applications. Chapters in this updated volume include Advances in Model-based Analysis and Testing, Advances in Software Quality Assurance, Advances in Handling Uncertainty in Testing, Advances in Testing of Communicating Systems, and Advances in Formal Verification and Cyber-physical Systems. This book provides contributors with a medium in which they can explore their subjects in greater depth and breadth than journal articles usually allow. - Provides in-depth surveys and tutorials on new computer technology - Presents well-known authors and researchers in the field - Includes extensive bibliographies with most chapters - Volumes are devoted to single themes or subfields of computer science
"This book by Lisa Tauxe and others is a marvelous tool for education and research in Paleomagnetism. Many students in the U.S. and around the world will welcome this publication, which was previously only available via the Internet. Professor Tauxe has performed a service for teaching and research that is utterly unique."—Neil D. Opdyke, University of Florida
The techniques described in this monograph form the basis of running an optimally efficient modern day power system. It is a must-read for all students and researchers working on the cutting edge of electric power systems.
Highlighting the new aspects of MATLAB 7.10 and expanding on many existing features, this eighth edition continues to offer a hands-on, step-by-step introduction to using the powerful tools of MATLAB. It includes a new chapter on object-oriented programming, a new discussion of the MATLAB File Exchange window, major changes to the MATLAB Editor, and an explanation of more powerful Help tools. It also presents a synopsis of the most frequently used functions, operators, and special characters-providing quick and easy access to frequently used information. M-files and MEX-files for large examples are available at www.crcpress.com
Research centering on blood flow in the heart continues to hold an important position, especially since a better understanding of the subject may help reduce the incidence of coronary arterial disease and heart attacks. This book summarizes recent advances in the field; it is the product of fruitful cooperation among international scientists who met in Japan in May, 1990 to discuss the regulation of coronary blood flow.
This open access book gives a complete and comprehensive introduction to the fields of medical imaging systems, as designed for a broad range of applications. The authors of the book first explain the foundations of system theory and image processing, before highlighting several modalities in a dedicated chapter. The initial focus is on modalities that are closely related to traditional camera systems such as endoscopy and microscopy. This is followed by more complex image formation processes: magnetic resonance imaging, X-ray projection imaging, computed tomography, X-ray phase-contrast imaging, nuclear imaging, ultrasound, and optical coherence tomography.
This book aims to make the best use of fine-grained smart meter data to process and translate them into actual information and incorporated into consumer behavior modeling and distribution system operations. It begins with an overview of recent developments in smart meter data analytics. Since data management is the basis of further smart meter data analytics and its applications, three issues on data management, i.e., data compression, anomaly detection, and data generation, are subsequently studied. The following works try to model complex consumer behavior. Specific works include load profiling, pattern recognition, personalized price design, socio-demographic information identification, and household behavior coding. On this basis, the book extends consumer behavior in spatial and temporal scale. Works such as consumer aggregation, individual load forecasting, and aggregated load forecasting are introduced. We hope this book can inspire readers to define new problems, apply novel methods, and obtain interesting results with massive smart meter data or even other monitoring data in the power systems.
With the demand for more advanced fighter aircraft, relying on unstable flight mechanical characteristics to gain flight performance, more focus has been put on model-based system engineering to help with the design work. The flight control system design is one important part that relies on this modeling. Therefore, it has become more important to develop flight mechanical models that are highly accurate in the whole flight envelope. For today’s modern fighter aircraft, the basic flight mechanical characteristics change between linear and nonlinear as well as stable and unstable as an effect of the desired capability of advanced maneuvering at subsonic, transonic and supersonic speeds. This thesis combines the subject of system identification, which is the art of building mathematical models of dynamical systems based on measurements, with aeronautical engineering in order to find methods for identifying flight mechanical characteristics. Here, some challenging aeronautical identification problems, estimating model parameters from flight-testing, are treated. Two aspects are considered. The first is online identification during flight-testing with the intent to aid the engineers in the analysis process when looking at the flight mechanical characteristics. This will also ensure that enough information is available in the resulting test data for post-flight analysis. Here, a frequency domain method is used. An existing method has been developed further by including an Instrumental Variable approach to take care of noisy data including atmospheric turbulence and by a sensor-fusion step to handle varying excitation during an experiment. The method treats linear systems that can be both stable and unstable working under feedback control. An experiment has been performed on a radio-controlled demonstrator aircraft. For this, multisine input signals have been designed and the results show that it is possible to perform more time-efficient flight-testing compared with standard input signals. The other aspect is post-flight identification of nonlinear characteristics. Here the properties of a parameterized observer approach, using a prediction-error method, are investigated. This approach is compared with four other methods for some test cases. It is shown that this parameterized observer approach is the most robust one with respect to noise disturbances and initial offsets. Another attractive property is that no user parameters have to be tuned by the engineers in order to get the best performance. All methods in this thesis have been validated on simulated data where the system is known, and have also been tested on real flight test data. Both of the investigated approaches show promising results.
