This book focuses on the mathematical potential and computational efficiency of the Boundary Element Method (BEM) for modeling seismic wave propagation in either continuous or discrete inhomogeneous elastic/viscoelastic, isotropic/anisotropic media containing multiple cavities, cracks, inclusions and surface topography. BEM models may take into account the entire seismic wave path from the seismic source through the geological deposits all the way up to the local site under consideration. The general presentation of the theoretical basis of elastodynamics for inhomogeneous and heterogeneous continua in the first part is followed by the analytical derivation of fundamental solutions and Green's functions for the governing field equations by the usage of Fourier and Radon transforms. The numerical implementation of the BEM is for antiplane in the second part as well as for plane strain boundary value problems in the third part. Verification studies and parametric analysis appear throughout the book, as do both recent references and seminal ones from the past. Since the background of the authors is in solid mechanics and mathematical physics, the presented BEM formulations are valid for many areas such as civil engineering, geophysics, material science and all others concerning elastic wave propagation through inhomogeneous and heterogeneous media. The material presented in this book is suitable for self-study. The book is written at a level suitable for advanced undergraduates or beginning graduate students in solid mechanics, computational mechanics and fracture mechanics.

The information infrastructure - comprising computers, embedded devices, networks and software systems - is vital to day-to-day operations in every sector: information and telecommunications, banking and finance, energy, chemicals and hazardous materials, agriculture, food, water, public health, emergency services, transportation, postal and shipping, government and defense. Global business and industry, governments, indeed society itself, cannot function effectively if major components of the critical information infrastructure are degraded, disabled or destroyed. Critical Infrastructure Protection describes original research results and innovative applications in the interdisciplinary field of critical infrastructure protection. Also, it highlights the importance of weaving science, technology and policy in crafting sophisticated, yet practical, solutions that will help secure information, computer and network assets in the various critical infrastructure sectors. Areas of coverage include: themes and issues; control systems security; infrastructure modeling and simulation; risk and impact assessment. This book is the tenth volume in the annual series produced by the International Federation for Information Processing (IFIP) Working Group 11.10 on Critical Infrastructure Protection, an international community of scientists, engineers, practitioners and policy makers dedicated to advancing research, development and implementation efforts focused on infrastructure protection. The book contains a selection of fourteen edited papers from the Tenth Annual IFIP WG 11.10 International Conference on Critical Infrastructure Protection, held at SRI International, Arlington, Virginia, USA in the spring of 2016. Critical Infrastructure Protection is an important resource for researchers, faculty members and graduate students, as well as for policy makers, practitioners and other individuals with interests in homeland security.

This book extends the conventional two-dimensional (2D) magnet arrangement into 3D pattern for permanent magnet linear machines for the first time, and proposes a novel dual Halbach array. It can not only effectively increase the radial component of magnetic flux density and output force of tubular linear machines, but also significantly reduce the axial flux density, radial force and thus system vibrations and noises. The book is also the first to address the fundamentals and provide a summary of conventional arrays, as well as novel concepts for PM pole design in electric linear machines. It covers theoretical study, numerical simulation, design optimization and experimental works systematically. The design concept and analytical approaches can be implemented to other linear and rotary machines with similar structures. The book will be of interest to academics, researchers, R&D engineers and graduate students in electronic engineering and mechanical engineering who wish to learn the core principles, methods, and applications of linear and rotary machines.

This is a revised and updated second edition, including new chapters on temporal and point uncertainty model, as well as on sampling and deterministic modeling. It is a comprehensive presentation of spatial modeling techniques used in the earth sciences, outlining original techniques developed by the author. Data collection in the earth sciences is difficult and expensive, but simple, rational and logical approaches help the reader to appreciate the fundamentals of advanced methodologies. It requires special care to gather accurate geological, hydrogeological, meteorological and hydrological information all with risk assessments. Spatial simulation methodologies in the earth sciences are essential, then, if we want to understand the variability in features such as fracture frequencies, rock quality, and grain size distribution in rock and porous media. This book outlines in a detailed yet accessible way the main spatial modeling techniques, in particular the Kriging methodology. It also presents many unique physical approaches, field cases, and sample interpretations. Since Kriging's origin in the 1960s it has been developed into a number of new methods such as cumulative SV (CSV), point CSV (PCSV), and spatial dependence function, which have been applied in different aspects of the earth sciences. Each one of these techniques is explained in this book, as well as how they are used to model earth science phenomena such as geology, earthquakes, meteorology, and hydrology. In addition to Kriging and its variants, several alternatives to Kriging methodology are presented and the necessary steps in their applications are clearly explained. Simple spatial variation prediction methodologies are also revised with up-to-date literature, and the ways in which they relate to more advanced spatial modeling methodologies are explained. The book is a valuable resource for students, researchers and professionals of a broad range of disciplines including geology, geography, hydrology, meteorology, environment, image processing, spatial modeling and related topics. Keywords "Data mining - Geo-statistics - Kriging - Regional uncertainty - Spatial dependence - Spatial modeling - geographic data - geoscience - hydrology - image processing

This book brings together original research on the role of networks in regional economic development and innovation. It presents a comprehensive framework synthesizing extant theories, a palette of real-world cases in the aerospace, automotive, life science, biotechnology and health care industries, and fundamental agent-based computer models elucidating the relation between regional development and network dynamics. The book is primarily intended for researchers in the fields of innovation economics and evolutionary economic geography, and particularly those interested in using agent-based models and empirical case studies. However, it also targets (regional) innovation policy makers who are not only interested in policy recommendations, but also want to understand the state-of-the-art agent-based modeling methods used to experimentally arrive at said recommendations.

This book constitutes the refereed proceedings of the 11 workshops co-located with the 16th International Conference on Practical Applications of Agents and Multi-Agent Systems, PAAMS 2018, held in Toledo, Spain, in June 2018. The 47 full papers presented were carefully reviewed and selected from 72 submissions. The volume presents the papers that have been accepted for the following workshops: Workshop on Agents and Multi-agent Systems for AAL and e-HEALTH; Workshop on Agent based Applications for Air Transport; Workshop on Agent-based Artificial Markets Computational Economics; Workshop on Agent-Based Solutions for Manufacturing and Supply Chain; Workshop on MAS for Complex Networks and Social Computation; Workshop on Intelligent Systems and Context Information Fusion; Workshop on Multi-agent based Applications for Energy Markets, Smart Grids and Sustainable Energy Systems; Workshop on Multiagent System based Learning Environments; Workshop on Smart Cities and Intelligent Agents; Workshop on Swarm Intelligence and Swarm Robotics; Workshop on Multi-Agent Systems and Simulation.

This book offers an easy-to-understand introduction to the computational mass transfer (CMT) method. On the basis of the contents of the first edition, this new edition is characterized by the following additional materials. It describes the successful application of this method to the simulation of the mass transfer process in a fluidized bed, as well as recent investigations and computing methods for predictions for the multi-component mass transfer process. It also demonstrates the general issues concerning computational methods for simulating the mass transfer of the rising bubble process. This new edition has been reorganized by moving the preparatory materials for Computational Fluid Dynamics (CFD) and Computational Heat Transfer into appendices, additions of new chapters, and including three new appendices on, respectively, generalized representation of the two-equation model for the CMT, derivation of the equilibrium distribution function in the lattice-Boltzmann method, and derivation of the Navier-Stokes equation using the lattice-Boltzmann model. This book is a valuable resource for researchers and graduate students in the fields of computational methodologies for the numerical simulation of fluid dynamics, mass and/or heat transfer involved in separation processes (distillation, absorption, extraction, adsorption etc.), chemical/biochemical reactions, and other related processes.

This contributed volume celebrates the work of Tayfun E. Tezduyar on the occasion of his 60th birthday. The articles it contains were born out of the Advances in Computational Fluid-Structure Interaction and Flow Simulation (AFSI 2014) conference, also dedicated to Prof. Tezduyar and held at Waseda University in Tokyo, Japan on March 19-21, 2014. The contributing authors represent a group of international experts in the field who discuss recent trends and new directions in computational fluid dynamics (CFD) and fluid-structure interaction (FSI). Organized into seven distinct parts arranged by thematic topics, the papers included cover basic methods and applications of CFD, flows with moving boundaries and interfaces, phase-field modeling, computer science and high-performance computing (HPC) aspects of flow simulation, mathematical methods, biomedical applications, and FSI. Researchers, practitioners, and advanced graduate students working on CFD, FSI, and related topics will find this collection to be a definitive and valuable resource.

This book constitutes the refereed proceedings of the 25th International Symposium on Model Checking Software, SPIN 2018, held in Malaga, Spain, in June 2018.The 14 papers presented, 1 short paper, and 1 demo-tool paper, were carefully reviewed and selected from 28 submissions. Topics covered include formal verification techniques for automated analysis of software; formal analysis for modeling languages, such as UML/state charts; formal specification languages, temporal logic, design-by-contract; model checking, automated theorem proving, including SAT and SMT; verifying compilers; abstraction and symbolic execution techniques; and much more.

This book highlights recent developments in the field, presented at the Social Simulation 2015 conference in Groningen, The Netherlands. It covers advances both in applications and methods of social simulation. Societal issues addressed range across complexities in economic systems, opinion dynamics and civil violence, changing mobility patterns, different land-use, transition in the energy system, food production and consumption, ecosystem management and historical processes. Methodological developments cover how to use empirical data in validating models in general, formalization of behavioral theory in agent behavior, construction of artificial populations for experimentation, replication of models, and agent-based models that can be run in a web browser. Social simulation is a rapidly evolving field. Social scientists are increasingly interested in social simulation as a tool to tackle the complex non-linear dynamics of society. Furthermore, the software and hardware tools available for social simulation are becoming more and more powerful. This book is an important source for readers interested in the newest developments in the ways in which the simulation of social interaction contributes to our understanding and managing of complex social phenomena.

This book is on urban resilience - how to design and operate cities that can withstand major threats such as natural disasters and economic downturns and how to recover from them. It is a collection of latest research results from two separate but collaborating research groups, namely, researchers in urban design and those on general resilience theory. The book systematically deals with the core aspects of urban resilience: systems, management issues and populations. The taxonomy can be broken down into threats, systems, resilience cycles and recovery types in the context of urban resilience. It starts with a discussion of systems resilience models, focusing on the central idea that resilience is a moving average of costs (a set of trajectories in a two-player game paradigm). The second section explores management issues, including planning, operating and emergency response in cities with specific examples such as land-use planning and carbon-neutral scenarios for urban planning. The next section focuses on urban dwellers and specific people-related issues in the context of resilience. Agent-based simulation of behaviour and perception-based resilience, as well as brand crisis management are representative examples of the topics discussed. A further section examines systems like public utilities - including managing power supplies, cyber-security issues and models for pandemics. It concludes with a discussion of the future challenges and risks facing complex systems, for example in resilient power grids, making it essential reading for a wide range of researchers and policymakers.

The research and its outcomes presented in this collection focus on various aspects of high-performance computing (HPC) software and its development which is confronted with various challenges as today's supercomputer technology heads towards exascale computing. The individual chapters address one or more of the research directions (1) computational algorithms, (2) system software, (3) application software, (4) data management and exploration, (5) programming, and (6) software tools. The collection thereby highlights pioneering research findings as well as innovative concepts in exascale software development that have been conducted under the umbrella of the priority programme "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) and that have been presented at the SPPEXA Symposium, Jan 25-27 2016, in Munich. The book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.

This is the first book to revisit geotechnical site characterization from a probabilistic point of view and provide rational tools to probabilistically characterize geotechnical properties and underground stratigraphy using limited information obtained from a specific site. This book not only provides new probabilistic approaches for geotechnical site characterization and slope stability analysis, but also tackles the difficulties in practical implementation of these approaches. In addition, this book also develops efficient Monte Carlo simulation approaches for slope stability analysis and implements these approaches in a commonly available spreadsheet environment. These approaches and the software package are readily available to geotechnical practitioners and alleviate them from reliability computational algorithms. The readers will find useful information for a non-specialist to determine project-specific statistics of geotechnical properties and to perform probabilistic analysis of slope stability.

This book investigates the cloud-based techniques of content distribution mainly for mobile Internet. It starts with hot topics such as cellular traffic optimization and video content delivery. By integrating the cloud scheme, it further tackles issues of traffic-saving, energy-efficient, high-speed, and delay-tolerant content delivery with regard to mobile Internet. It covers both theoretical algorithms and their real-world system implementations. In particular, various well-known cloud platforms such as Baidu Traffic Guard, Tencent QQXuanfeng, Google Drive, Microsoft OneDrive, and Dropbox are elaborated respectively in the book. Lastly, it includes an educational and experimental cloud computing platform allowing public access, which benefits researchers, practitioners, and developers in the field of cloud computing/storage and mobile Internet. Throughout the book there are helpful and practical tips on setting up cloud systems that readers can easily follow.

Marking the 30th anniversary of the European Conference on Modelling and Simulation (ECMS), this inspirational text/reference reviews significant advances in the field of modelling and simulation, as well as key applications of simulation in other disciplines. The broad-ranging volume presents contributions from a varied selection of distinguished experts chosen from high-impact keynote speakers and best paper winners from the conference, including a Nobel Prize recipient, and the first president of the European Council for Modelling and Simulation (also abbreviated to ECMS). This authoritative book will be of great value to all researchers working in the field of modelling and simulation, in addition to scientists from other disciplines who make use of modelling and simulation approaches in their work.

The book presents a conceptually novel oscillations based paradigm, the Oscillation-Based Multi-Agent System (OSIMAS), aimed at the modelling of agents and their systems as coherent, stylized, neurodynamic processes. This paradigm links emerging research domains via coherent neurodynamic oscillation based representations of the individual human mind and society (as a coherent collective mind) states. Thus, this multidisciplinary paradigm delivers an empirical and simulation research framework that provides a new way of modelling the complex dynamics of individual and collective mind states. This book addresses a conceptual problem - the lack of a multidisciplinary, connecting paradigm, which could link fragmented research in the fields of neuroscience, artificial intelligence (AI), multi-agent system (MAS) and the social network domains. The need for a common multidisciplinary research framework essentially arises because these fields share a common object of investigation and simulation, i.e., individual and collective human behavior. Although the fields of research mentioned above all approach this from different perspectives, their common object of investigation unites them. By putting the various pathways of research as they are interrelated into perspective, this book provides a philosophical underpinning, experimental background and modelling tools that the author anticipates will reveal new frontiers in multidisciplinary research. Fundamental investigation of the implicit oscillatory nature of agents' mind states and social mediums in general can reveal some new ways of understanding the periodic and nonperiodic fluctuations taking place in real life. For example, via agent states-related diffusion properties, we could investigate complex economic phenomena like the spread of stock market crashes, currency crises, speculative oscillations (bubbles and crashes), social unrest, recessionary effects, sovereign defaults, etc. All these effects are closely associated with social fragility, which follows and is affected by cycles such as production, political, business and financial. Thus, the multidisciplinary OSIMAS paradigm can yield new knowledge and research perspectives, allowing for a better understanding of social agents and their social organization principles.

This book discusses how scientific and other types of cognition make use of models, abduction, and explanatory reasoning in order to produce important or creative changes in theories and concepts. It includes revised contributions presented during the international conference on Model-Based Reasoning (MBR'015), held on June 25-27 in Sestri Levante, Italy. The book is divided into three main parts, the first of which focuses on models, reasoning and representation. It highlights key theoretical concepts from an applied perspective, addressing issues concerning information visualization, experimental methods and design. The second part goes a step further, examining abduction, problem solving and reasoning. The respective contributions analyze different types of reasoning, discussing various concepts of inference and creativity and their relationship with experimental data. In turn, the third part reports on a number of historical, epistemological and technological issues. By analyzing possible contradictions in modern research and describing representative case studies in experimental research, this part aims at fostering new discussions and stimulating new ideas. All in all, the book provides researchers and graduate students in the field of applied philosophy, epistemology, cognitive science and artificial intelligence alike with an authoritative snapshot of current theories and applications of model-based reasoning.

This book constitutes the proceedings of the 14th International Conference on Latent Variable Analysis and Signal Separation, LVA/ICA 2018, held in Guildford, UK, in July 2018.The 52 full papers were carefully reviewed and selected from 62 initial submissions. As research topics the papers encompass a wide range of general mixtures of latent variables models but also theories and tools drawn from a great variety of disciplines such as structured tensor decompositions and applications; matrix and tensor factorizations; ICA methods; nonlinear mixtures; audio data and methods; signal separation evaluation campaign; deep learning and data-driven methods; advances in phase retrieval and applications; sparsity-related methods; and biomedical data and methods.

This book brings together a rich selection of studies in mathematical modeling and computational intelligence, with application in several fields of engineering, like automation, biomedical, chemical, civil, electrical, electronic, geophysical and mechanical engineering, on a multidisciplinary approach. Authors from five countries and 16 different research centers contribute with their expertise in both the fundamentals and real problems applications based upon their strong background on modeling and computational intelligence. The reader will find a wide variety of applications, mathematical and computational tools and original results, all presented with rigorous mathematical procedures. This work is intended for use in graduate courses of engineering, applied mathematics and applied computation where tools as mathematical and computational modeling, numerical methods and computational intelligence are applied to the solution of real problems.

This book describes issues in modeling unconventional conflict and suggests a new way to do the modeling. It presents an ontology that describes the unconventional conflict domain, which allows for greater ease in modeling unconventional conflict. Supporting holistic modeling, which means that we can see the entire picture of what needs to be modeled, the ontology allows us to make informed decisions about what to model and what to omit. The unconventional conflict ontology also separates the things we understand best from the things we understand least. This separation means that we can perform verification, validation and accreditation (VV&A) more efficiently and can describe the competence of the model more accurately. However, before this message can be presented in its entirety the supporting body of knowledge has to be explored. For this reason, the book offers chapters that focus on the description of unconventional conflict and the analyses that have been performed, modeling, with a concentration on past efforts at modeling unconventional conflict, the precursors to the ontology, and VV&A. Unconventional conflict is a complex, messy thing. It normally involves multiple actors, with their own conflicting agendas and differing concepts of legitimate actions. This book will present a useful introduction for researchers and professionals within the field.

This book provides a thorough introduction to the challenge of applying mathematics in real-world scenarios. Modelling tasks rarely involve well-defined categories, and they often require multidisciplinary input from mathematics, physics, computer sciences, or engineering. In keeping with this spirit of modelling, the book includes a wealth of cross-references between the chapters and frequently points to the real-world context. The book combines classical approaches to modelling with novel areas such as soft computing methods, inverse problems, and model uncertainty. Attention is also paid to the interaction between models, data and the use of mathematical software. The reader will find a broad selection of theoretical tools for practicing industrial mathematics, including the analysis of continuum models, probabilistic and discrete phenomena, and asymptotic and sensitivity analysis.

The authors offer a revolutionary solution to risk management. It's the unknown risks that keep leaders awake at night-wondering how to prepare for and steer their organization clear from that which they cannot predict. Businesses, governments and regulatory bodies dedicate endless amounts of time and resources to the task of risk management, but every leader knows that the biggest threats will come from some new chain of events or unexpected surprises-none of which will be predicted using conventional wisdom or current risk management technologies and so management will be caught completely off guard when the next crisis hits. By adopting a scientific approach to risk management, we can escape the limited and historical view of experience and statistical based risk management models to expose dynamic complexity risks and prepare for new and never experienced events.

This thesis provides a systematic and integral answer to an open problem concerning the universality of dynamic fuzzy controllers. It presents a number of novel ideas and approaches to various issues including universal function approximation, universal fuzzy models, universal fuzzy stabilization controllers, and universal fuzzy integral sliding mode controllers. The proposed control design criteria can be conveniently verified using the MATLAB toolbox. Moreover, the thesis provides a new, easy-to-use form of fuzzy variable structure control. Emphasis is given to the point that, in the context of deterministic/stochastic systems in general, the authors are in fact discussing non-affine nonlinear systems using a class of generalized T-S fuzzy models, which offer considerable potential in a wide range of applications.

This prizewinning PhD thesis presents a general discussion of the orbital motion close to solar system small bodies (SSSBs), which induce non-central asymmetric gravitational fields in their neighborhoods. It introduces the methods of qualitative theory in nonlinear dynamics to the study of local/global behaviors around SSSBs. Detailed mechanical models are employed throughout this dissertation, and specific numeric techniques are developed to compensate for the difficulties of directly analyzing. Applying this method, several target systems, like asteroid 216 Kleopatra, are explored in great detail, and the results prove to be both revealing and pervasive for a large group of SSSBs.

A zebrafish, the hull of a miniature ship, a mathematical equation and a food chain - what do these things have in common? They are examples of models used by scientists to isolate and study particular aspects of the world around us. This book begins by introducing the concept of a scientific model from an intuitive perspective, drawing parallels to mental models and artistic representations. It then recounts the history of modelling from the 16th century up until the present day. The iterative process of model building is described and discussed in the context of complex models with high predictive accuracy versus simpler models that provide more of a conceptual understanding. To illustrate the diversity of opinions within the scientific community, we also present the results of an interview study, in which ten scientists from different disciplines describe their views on modelling and how models feature in their work. Lastly, it includes a number of worked examples that span different modelling approaches and techniques. It provides a comprehensive introduction to scientific models and shows how models are constructed and used in modern science. It also addresses the approach to, and the culture surrounding modelling in different scientific disciplines. It serves as an inspiration for model building and also facilitates interdisciplinary collaborations by showing how models are used in different scientific fields. The book is aimed primarily at students in the sciences and engineering, as well as students at teacher training colleges but will also appeal to interested readers wanting to get an overview of scientific modelling in general and different modelling approaches in particular.