This book presents bond graph model-based fault detection with a focus on hybrid system models. The book addresses model design, simulation, control and model-based fault diagnosis of multidisciplinary engineering systems. The text beings with a brief survey of the state-of-the-art, then focuses on hybrid systems. The author then uses different bond graph approaches throughout the text and provides case studies.

This book explores how PPPM, clinical practice, and basic research could be best served by information technology (IT). A use-case was developed for hepatocellular carcinoma (HCC). The subject was approached with four interrelated tasks: (1) review of clinical practices relating to HCC; (2) propose an IT system relating to HCC, including clinical decision support and research needs; (3) determine how a clinical liver cancer center can contribute; and, (4) examine the enhancements and impact that the first three tasks will have on the management of HCC. An IT System for Personalized Medicine (ITS-PM) for HCC will provide the means to identify and determine the relative value of the wide number of variables, including clinical assessment of the patient -- functional status, liver function, degree of cirrhosis, and comorbidities; tumor biology, at a molecular, genetic and anatomic level; tumor burden and individual patient response; medical and operative treatments and their outcomes.

This accessible text presents a detailed introduction to the use of a wide range of software tools and modeling environments for use in the biosciences, as well as the fundamental mathematical background. The practical constraints presented by each modeling technique are described in detail, enabling the researcher to determine which software package would be most useful for a particular problem. Features: introduces a basic array of techniques to formulate models of biological systems, and to solve them; discusses agent-based models, stochastic modeling techniques, differential equations, spatial simulations, and Gillespie's stochastic simulation algorithm; provides exercises; describes such useful tools as the Maxima algebra system, the PRISM model checker, and the modeling environments Repast Simphony and Smoldyn; contains appendices on rules of differentiation and integration, Maxima and PRISM notation, and some additional mathematical concepts; offers supplementary material at an associated website.

This book explores the theory and methods of systems analysis and computer modeling as applied to problems in ecology and natural resource management. It reflects the problems and conflicts between competing uses of limited space and the need for quantitative predictors of the outcome of various management strategies.

One of the most significant challenges in the development of embedded and cyber-physical systems is the gap between the disciplines of software and control engineering. In a marketplace, where rapid innovation is essential, engineers from both disciplines need to be able to explore system designs collaboratively, allocating responsibilities to software and physical elements, and analyzing trade-offs between them. To this end, this book presents a framework that allows the very different kinds of design models - discrete-event (DE) models of software and continuous time (CT) models of the physical environment - to be analyzed and simulated jointly, based on common scenarios. The individual chapters provide introductions to both sides of this co-simulation technology, and give a step-by-step guide to the methodology for designing and analyzing co-models. They are grouped into three parts: Part I introduces the technical basis for collaborative modeling and simulation with the Crescendo technology. Part II continues with different methodological guidelines for creating co-models and analyzing them in different ways using case studies. Part III then delves into more advanced topics and looks into the potential future of this technology in the area of cyber-physical systems. Finally various appendices provide summaries of the VDM and 20-sim technologies, a number of valuable design patterns applicable for co-models, and an acronym list along with indices and references to other literature. By combining descriptions of the underlying theory with records of real engineers' experience in using the framework on a series of case studies the book appeals to scientists and practitioners alike. It is complemented by tools, examples, videos, and other material on www.crescendotool.org. Scientists/researchers and graduate students working in embedded and cyber-physical systems will learn the semantic foundations for collaborative modeling and simulation, as well as the current capabilities and limitations of methods and tools in this field. Practitioners will be able to develop an appreciation of the capabilities of the co-modeling techniques, to assess the benefits of more collaborative approaches to modeling and simulation, and will benefit from the included guidelines and modeling patterns.

The Molecular Solid State Founding Editor: J. D. Dunitz ETH Zentrum, ZA1/4rich, Switzerland This new series reports on advances in the field of molecular solid state chemistry. Each volume focuses on selected areas and highlights methods and results in syntheses, properties and applications. Future volumes will provide a continuing forum for the discussion of chemical, physical, biological and crystallographic aspects of the molecular solid state. Theoretical Aspects and Computer Modeling of the Molecular Solid State Edited by Angelo Gavezzotti, University of Milan, Italy Focusing on crystal symmetry, intermolecular forces and the thermodynamics of solids and phase transitions, this first volume in the series provides the basic theoretical framework for understanding the molecular solid state. This compendium of reviews opens the way to the computer modeling of molecules and molecular crystals, enabling the reproduction and prediction of structural and energetic properties. This forms the basis for understanding the exciting developments in experimental techniques and the design and creation of novel materials. An appreciation of the underlying theories and uses of molecular modeling packages is essential for the solid state chemist. Angelo Gavezzotti is a professor of physical chemistry at the University of Milan and a renowned expert in the theoretical and computer modeling of organic solids. He provides an introductory chapter on crystal symmetry and molecular recognition, a topic that is essential in understanding how crystals grow and how crystal properties are related to the physical properties of solids. Theoretical Aspects and Computer Modeling of the Molecular Solid State isinvaluable to theoretical chemists in materials science, crystallography and solid state chemistry.

The ability to communicate cultural codes in multimedia depends on their meaning and beauty, as perceived by different audiences around the globe. In this book, the ongoing research on computational modeling of visual, musical and textual contents is described in terms of identifying and mapping their semantic representations across different cultures. The underlying psychology of sense-making is quantified through analysis of aesthetics in terms of organizational and structural aspects of the contents that influence an audience's formation of expectations for future signals, violations of these expectations, and explanations of their meaning. Complexity-accuracy tradeoffs in sound representation are further used to develop new computational methods that capture poietic and aesthetic aspects in music communication. Experimental studies are reported that try to characterize preferences for complexity in abstract, classical and traditional art and music across samples of Western and Far Eastern cultures. These experiments illustrate how aesthetics can be computed in terms of semantic and information measures, highlighting commonalities and uncovering differences in aesthetic preferences across cultures and individuals.

This book contains contributions presented during the international conference on Model-Based Reasoning (MBR012), held on June 21-23 in Sestri Levante, Italy. Interdisciplinary researchers discuss in this volume how scientific cognition and other kinds of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. Some of the contributions analyzed the problem of model-based reasoning in technology and stressed the issues of scientific and technological innovation. The book is divided in three main parts: models, mental models, representations; abduction, problem solving and practical reasoning; historical, epistemological and technological issues. The volume is based on the papers that were presented at the international

This volume contains the articles presented at the 22nd International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and was held on Oct 13-16, 2013 in Orlando, Florida, USA. The first IMR was held in 1992, and the conference series has been held annually since. Each year the IMR brings together researchers, developers, and application experts in a variety of disciplines, from all over the world, to present and discuss ideas on mesh generation and related topics. The technical papers in this volume present theoretical and novel ideas and algorithms with practical potential, as well as technical applications in science and engineering, geometric modeling, computer graphics and visualization.

MATLAB (R) is used for a wide range of applications in geosciences, such as image processing in remote sensing, the generation and processing of digital elevation models and the analysis of time series. This book introduces methods of data analysis in geosciences using MATLAB, such as basic statistics for univariate, bivariate and multivariate datasets, time-series analysis, signal processing, the analysis of spatial and directional data and image analysis. The revised and updated Fourth Edition includes sixteen new sections and most chapters have greatly been expanded so that they now include a step by step discussion of all methods before demonstrating the methods with MATLAB functions. New sections include: Array Manipulation; Control Flow; Creating Graphical User Interfaces; Hypothesis Testing; Kolmogorov-Smirnov Test; Mann-Whitney Test; Ansari-Bradley Test; Detecting Abrupt Transitions in Time Series; Exporting 3D Graphics to Create Interactive Documents; Importing, Processing and Exporting LANDSAT Images; Importing and Georeferencing TERRA ASTER Images; Processing and Exporting EO-1 Hyperion Images; Image Enhancement; Correction and Rectification; Shape-Based Object Detection in Images; Discriminant Analysis; and Multiple Linear Regression. The text includes numerous examples demonstrating how MATLAB can be used on data sets from earth sciences. The book's supplementary electronic material (available online through Springer Link) includes recipes that include all the MATLAB commands featured in the book and the example data.

This book constitutes the thoroughly refereed proceedings of the 11th International Joint Conference on Software Technologies, ICSOFT 2016, held in Lisbon, Portugal, in July 2016. The 13 revised full papers together with 3 short papers presented were carefully reviewed and selected from 84 submissions. The papers selected to be included in this book contribute to the understanding of relevant trends of current research on software technologies, including: Modelling for mobile devices Software and system testing Model-driven software development Reengineering systems for multi-tenancy Embedded and real-time systems reconguration Domain-specic languages and modelling Software and systems quality Context-aware and dynamically adapting software systems

The book presents the state of the art in high-performance computing and simulation on modern supercomputer architectures. It covers trends in hardware and software development in general, and the future of high-performance systems and heterogeneous architectures specifically. The application contributions cover computational fluid dynamics, material science, medical applications and climate research. Innovative fields like coupled multi-physics or multi-scale simulations are also discussed. All papers were chosen from presentations given at the 20th Workshop on Sustained Simulation Performance in December 2014 at the HLRS, University of Stuttgart, Germany, and the subsequent Workshop on Sustained Simulation Performance at Tohoku University in February 2015.

The present book provides guidance to understanding complicated coupled processes based on the experimental data available and implementation of developed algorithms in numerical codes. Results of selected test cases in the fields of closed-form solutions (e.g., deformation processes), single processes (such as groundwater flow) as well as coupled processes are presented. It is part of the OpenGeoSys initiative - an open source project to share knowledge and experience in environmental analysis and scientific computation with the community.

This guide demonstrates how virtual build and test can be supported by the Discrete Event Systems Specification (DEVS) simulation modeling formalism, and the System Entity Structure (SES) simulation model ontology. The book examines a wide variety of Systems of Systems (SoS) problems, ranging from cloud computing systems to biological systems in agricultural food crops. Features: includes numerous exercises, examples and case studies throughout the text; presents a step-by-step introduction to DEVS concepts, encouraging hands-on practice to building sophisticated SoS models; illustrates virtual build and test for a variety of SoS applications using both commercial and open source DEVS simulation environments; introduces an approach based on activity concepts intrinsic to DEVS-based system design, that integrates both energy and information processing requirements; describes co-design modeling concepts and methods to capture separate and integrated software and hardware systems.

A crucial step during the design and engineering of communication systems is the estimation of their performance and behavior; especially for mathematically complex or highly dynamic systems network simulation is particularly useful. This book focuses on tools, modeling principles and state-of-the art models for discrete-event based network simulations, the standard method applied today in academia and industry for performance evaluation of new network designs and architectures. The focus of the tools part is on two distinct simulations engines: OmNet++ and ns-3, while it also deals with issues like parallelization, software integration and hardware simulations. The parts dealing with modeling and models for network simulations are split into a wireless section and a section dealing with higher layers. The wireless section covers all essential modeling principles for dealing with physical layer, link layer and wireless channel behavior. In addition, detailed models for prominent wireless systems like IEEE 802.11 and IEEE 802.16 are presented. In the part on higher layers, classical modeling approaches for the network layer, the transport layer and the application layer are presented in addition to modeling approaches for peer-to-peer networks and topologies of networks. The modeling parts are accompanied with catalogues of model implementations for a large set of different simulation engines. The book is aimed at master students and PhD students of computer science and electrical engineering as well as at researchers and practitioners from academia and industry that are dealing with network simulation at any layer of the protocol stack.

This volume contains the articles presented at the 20th International Meshing Roundtable (IMR) organized, in part, by Sandia National Laboratories and was held in Paris, France on Oct 23-26, 2011. This is the first year the IMR was held outside the United States territory. Other sponsors of the 20th IMR are Systematic Paris Region Systems & ICT Cluster, AIAA, NAFEMS, CEA, and NSF. The Sandia National Laboratories started the first IMR in 1992, and the conference has been held annually since. Each year the IMR brings together researchers, developers, and application experts, from a variety of disciplines, to present and discuss ideas on mesh generation and related topics. The topics covered by the IMR have applications in numerical analysis, computational geometry, computer graphics, as well as other areas, and the presentations describe novel work ranging from theory to application.

The Handbook of Simulation Optimization presents an overview of the state of the art of simulation optimization, providing a survey of the most well-established approaches for optimizing stochastic simulation models and a sampling of recent research advances in theory and methodology. Leading contributors cover such topics as discrete optimization via simulation, ranking and selection, efficient simulation budget allocation, random search methods, response surface methodology, stochastic gradient estimation, stochastic approximation, sample average approximation, stochastic constraints, variance reduction techniques, model-based stochastic search methods and Markov decision processes. This single volume should serve as a reference for those already in the field and as a means for those new to the field for understanding and applying the main approaches. The intended audience includes researchers, practitioners and graduate students in the business/engineering fields of operations research, management science, operations management and stochastic control, as well as in economics/finance and computer science.

Over the last decades Discrete Event Simulation has conquered many different application areas. This trend is, on the one hand, driven by an ever wider use of this technology in different fields of science and on the other hand by an incredibly creative use of available software programs through dedicated experts. This book contains articles from scientists and experts from 10 countries. They illuminate the width of application of this technology and the quality of problems solved using Discrete Event Simulation. Practical applications of simulation dominate in the present book. The book is aimed to researchers and students who deal in their work with Discrete Event Simulation and which want to inform them about current applications. By focusing on discrete event simulation, this book can also serve as an inspiration source for practitioners for solving specific problems during their work. Decision makers who deal with the question of the introduction of discrete event simulation for planning support and optimization this book provides a contribution to the orientation, what specific problems could be solved with the help of Discrete Event Simulation within the organization.

Based on the competition of international production networks, the pressure to - crease the efficiency of production systems has increased significantly. In ad- tion, the number of technical components in many products and as a consequence also the requirements for corresponding assembly processes and logistics pr- esses increases. International logistics networks require corresponding logistics concepts. These requirements can be managed only by using appropriate Digital Factory tools in the context of a product lifecycle management environment, which allows reusing data, supports an effective cooperation between different departments, and provides up-to-date and relevant data to every user who needs it. Simulating the complete material flow including all relevant production, st- age, and transport activities is recognized as a key component of the Digital F- tory in the industry and as of today widely used and accepted. Cutting inventory and throughput time by 20-60% and enhancing the productivity of existing p- duction facilities by 15-20% can be achieved in real-life projects.

In the present authors attempted to have a clear insight into the interworking of geotectonic, geomorphic, hydrologic and anthropogenic factors leading to landslide in the Shiv khola Watershed, the most worst affected region of Darjiling Himalaya. This book includes the parameters responsible for landslide events in mountainous areas. It provides knowledge and understanding to the local people, planners, and policy makers about the causes and consequences of landslides as well as provides a suitable method to mitigate the landslips. The book deals with the role of land, water and soil in landslide phenomena. These three attributes have been described in terms of critical rainfall, critical slope, critical height and changes and development of drainage network in landslides. Mitigations and site-specific management options are evaluated considering the roles of local govt., community and other organizations in both pre-slide and post-slide periods. Various scientific methods have been used to assess the landslides that will bring about tremendous help to researchers in the field. In particular, Researchers in Mountain Geomorphology and Geological and Geographical Society will get tremendous help from some topics such as 1-D slope stability model, SCS Curve Number Technique, Assessment of morphological parameters, application of RS & GIS, Application of Analytical Hierarchy Process. Semi-quantitative approach is followed for understanding spatial distribution of cohesion, friction angle slope, lithology and lineaments, drainage, upslope contributing area, land use and land cover types etc. This book also reveals some techniques and models for initiating slope instability.

This book reports on an in-depth study of fuzzy time series (FTS) modeling. It reviews and summarizes previous research work in FTS modeling and also provides a brief introduction to other soft-computing techniques, such as artificial neural networks (ANNs), rough sets (RS) and evolutionary computing (EC), focusing on how these techniques can be integrated into different phases of the FTS modeling approach. In particular, the book describes novel methods resulting from the hybridization of FTS modeling approaches with neural networks and particle swarm optimization. It also demonstrates how a new ANN-based model can be successfully applied in the context of predicting Indian summer monsoon rainfall. Thanks to its easy-to-read style and the clear explanations of the models, the book can be used as a concise yet comprehensive reference guide to fuzzy time series modeling, and will be valuable not only for graduate students, but also for researchers and professionals working for academic, business and government organizations.

This book reports on the latest developments in sliding mode overhead crane control, presenting novel research ideas and findings on sliding mode control (SMC), hierarchical SMC and compensator design-based hierarchical sliding mode. The results, which were previously scattered across various journals and conference proceedings, are now presented in a systematic and unified form. The book will be of interest to researchers, engineers and graduate students in control engineering and mechanical engineering who want to learn the methods and applications of SMC.

This book highlights recent advances in natural computing, including biology and its theory, bio-inspired computing, computational aesthetics, computational models and theories, computing with natural media, philosophy of natural computing and educational technology. It presents extended versions of the best papers selected from the symposium "7th International Workshop on Natural Computing" (IWNC7), held in Tokyo, Japan, in 2013. The target audience is not limited to researchers working in natural computing but also those active in biological engineering, fine/media art design, aesthetics and philosophy.

Aircraft concepts are always driven by the requirements of the desired m- sion. A di?erent purpose for the use of the aircraft consequently results in a di?erent design. Therefore, depending on the intended outcome, con?i- ing requirements need to be ful?lled, for example, e?cient cruise speed and greatercargocapabilities, in combinationwith shorttake-o?andlanding ?eld lengths, or high speed and agility combined with variable payload demands. Due to the highly complex, non-linear physical environment in which aircraft operate, this task demands that the most advanced methods and tools are employed, to gain the necessary understanding of ?ow phenomena, and to exploit the ?ow physics to achieve maximum aircraft e?ciency. Inthe naturalsciences, researcherstry to create andextend humankno- edge by understanding and explaining the mechanisms of physical processes. In engineering, a designer is limited by certain requirements, and in order to ful?l these requirements the necessary technical tools need to be designed. In general, for a given problem the corresponding scienti?c or technical solution is sought. In order to successfully advance from a problem towards a solution, three main methods may be used. The two classical methods include theory and experiment, which are now being complemented by a third method, - scribedasnumericalsimulation.Theexperimentalapproachis basedonph- ical observation, measurement of relevant values, and methodical variation of the subject matter. For example, such experiments are used to gain a ph- ical understanding as well as to validate and investigate design alternative

The thesis work was in two major parts: development and testing of a new approach to detecting and tracking tropical cyclones in climate models; and application of an extreme value statistical approach to enable assessment of changes in weather extremes from climate models. The tracking algorithm applied a creative phase-space approach to differentiate between modeled tropical cyclones and their mid-latitude cousins. A feature here was the careful attention to sensitivity to choice of selection parameters, which is considerable. The major finding was that the changes over time were relatively insensitive to these details. This new approach will improve and add confidence to future assessments of climate impacts on hurricanes. The extremes approach utilized the Generalized Pareto Distribution (one of the standard approaches to statistics of extremes) applied to present and future hurricane distributions as modeled by a regional climate model, then applied the changes to current observations to extract the changes in the extremes. Since climate models cannot resolve these extremes directly, this provides an excellent method of determining weather extremes in general. This is of considerable societal importance as we are most vulnerable to such extremes and knowledge of their changes enables improved planning and adaptation strategies.