This graduate-level textbook covers modelling, programming and analysis of stochastic computer simulation experiments, including the mathematical and statistical foundations of simulation and why it works. The book is rigorous and complete, but concise and accessible, providing all necessary background material. Object-oriented programming of simulations is illustrated in Python, while the majority of the book is programming language independent. In addition to covering the foundations of simulation and simulation programming for applications, the text prepares readers to use simulation in their research. A solutions manual for end-of-chapter exercises is available for instructors.

This book presents both methodological papers on and examples of applying behavioral predictive models to specific economic problems, with a focus on how to take into account people's behavior when making economic predictions. This is an important issue, since traditional economic models assumed that people make wise economic decisions based on a detailed rational analysis of all the relevant aspects. However, in reality - as Nobel Prize-winning research has shown - people have a limited ability to process information and, as a result, their decisions are not always optimal. Discussing the need for prediction-oriented statistical techniques, since many statistical methods currently used in economics focus more on model fitting and do not always lead to good predictions, the book is a valuable resource for researchers and students interested in the latest results and challenges and for practitioners wanting to learn how to use state-of-the-art techniques.

This book describes the development of a constitutive modeling platform for soil testing, which is one of the key components in geomechanics and geotechnics. It discusses the fundamentals of the constitutive modeling of soils and illustrates the use of these models to simulate various laboratory tests. To help readers understand the fundamentals and modeling of soil behaviors, it first introduces the general stress-strain relationship of soils and the principles and modeling approaches of various laboratory tests, before examining the ideas and formulations of constitutive models of soils. Moving on to the application of constitutive models, it presents a modeling platform with a practical, simple interface, which includes various kinds of tests and constitutive models ranging from clay to sand, that is used for simulating most kinds of laboratory tests. The book is intended for undergraduate and graduate-level teaching in soil mechanics and geotechnical engineering and other related engineering specialties. Thanks to the inclusion of real-world applications, it is also of use to industry practitioners, opening the door to advanced courses on modeling within the industrial engineering and operations research fields.

This book constitutes the refereed proceedings of the 27th International Symposium on Model Checking Software, SPIN 2021, held virtually in July 2021.The 3 full papers, 4 tool papers, and 1 case study presented together with 2 invited talks were carefully reviewed and selected from 20 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.

Addresses the major issues involved in computer design and architectures. Dealing primarily with theory, tools, and techniques as related to advanced computer systems, it provides tutorials and surveys and relates new important research results. Each chapter provides background information, describes and analyzes important work done in the field, and provides important direction to the reader on future work and further readings. The topics covered include hierarchical design schemes, parallel and distributed modeling and simulation, parallel simulation tools and techniques, theoretical models for formal and performance modeling, and performance evaluation techniques.

This book features a collection of extended papers based on presentations given at the SimHydro 2019 conference, held in Sophia Antipolis in June 2019 with the support of French Hydrotechnic Society (SHF), focusing on "Which models for extreme situations and crisis management?" Hydraulics and related disciplines are frequently applied in extreme situations that need to be understood accurately before implementing actions and defining appropriate mitigation measures. However, in such situations currently used models may be partly irrelevant due to factors like the new physical phenomena involved, the scale of the processes, and the hypothesis included in the different numerical tools. The availability of computational resources and new capacities like GPU offers modellers the opportunity to explore various approaches to provide information for decision-makers. At the same time, the topic of crisis management has sparked interest from stakeholders who need to share a common understanding of a situation. Hydroinfomatics tools can provide essential information in crises; however, the design and integration of models in decision-support systems require further development and the engagement of various communities, such as first responders. In this context, methodologies, guidelines and standards are more and more in demand in order to ensure that the systems developed are efficient and sustainable. Exploring both the limitations and performance of current models, this book presents the latest developments based on new numerical schemes, high-performance computing, multiphysics and multiscale methods, as well as better integration of field-scale model data. As such, it will appeal to practitioners, stakeholders, researchers and engineers active in this field.

7. 1. 1 Background Uncertainty can be considered as the lack of adequate information to make a decision. It is important to quantify uncertainties in mathematical models used for design and optimization of nondeterministic engineering systems. In general, - certainty can be broadly classi?ed into three types (Bae et al. 2004; Ha-Rok 2004; Klir and Wierman 1998; Oberkampf and Helton 2002; Sentz 2002). The ?rst one is aleatory uncertainty (also referred to as stochastic uncertainty or inherent - certainty) - it results from the fact that a system can behave in random ways. For example, the failure of an engine can be modeled as an aleatory uncertaintybecause the failure can occur at a random time. One cannot predict exactly when the engine will fail even if a large quantity of failure data is gathered (available). The second one is epistemic uncertainty (also known as subjective uncertainty or reducible - certainty) - it is the uncertainty of the outcome of some random event due to lack of knowledge or information in any phase or activity of the modeling process. By gaining information about the system or environmental factors, one can reduce the epistemic uncertainty. For example, a lack of experimental data to characterize new materials and processes leads to epistemic uncertainty.

This book focuses on mathematical theory and numerical simulation related to various areas of continuum mechanics, such as fracture mechanics, (visco)elasticity, optimal shape design, modelling of earthquakes and Tsunami waves, material structure, interface dynamics and complex systems. Written by leading researchers from the fields of applied mathematics, physics, seismology, engineering, and industry with an extensive knowledge of mathematical analysis, it helps readers understand how mathematical theory can be applied to various phenomena, and conversely, how to formulate actual phenomena as mathematical problems. This book is the sequel to the proceedings of the International Conference of Continuum Mechanics Focusing on Singularities (CoMFoS) 15 and CoMFoS16.

This book systematically introduces readers to the simulation theory and techniques of multiple media for unconventional tight reservoirs. It summarizes the macro/microscopic heterogeneities; the features of multiscale multiple media; the characteristics of complex fluid properties; the occurrence state of continental tight oil and gas reservoirs in China; and the complex flow characteristics and coupled production mechanism under unconventional development patterns. It also discusses the simulation theory of multiple media for unconventional tight oil and gas reservoirs; mathematic model of flow through discontinuous multiple media; geological modeling of discrete multiscale multiple media; and the simulation of multiscale, multiphase flow regimes and multiple media. In addition to the practical application of simulation and software for unconventional tight oil and gas, it also explores the development trends and prospects of simulation technology. The book is of interest to scientific researchers and technicians engaged in the development of oil and gas reservoirs, and serves as a reference resource for advanced graduate students in fields related to petroleum.

This book presents the latest research in the fields of reliability theory and its applications, providing a comprehensive overview of reliability engineering and discussing various tools, techniques, strategies and methods within these areas. Reliability analysis is one of the most multidimensional topics in the field of systems reliability engineering, and while its rapid development creates opportunities for industrialists and academics, it is also means that it is hard to keep up to date with the research taking place. By gathering findings from institutions around the globe, the book offers insights into the international developments in the field. As well as discussing the current areas of research, it also identifies knowledge gaps in reliability theory and its applications and highlights fruitful avenues for future research. Covering topics from life cycle sustainability to performance analysis of cloud computing, this book is ideal for upper undergraduate and postgraduate researchers studying reliability engineering.

This book provides an introduction to fuzzy logic and surveys emerging research trends and the application of state-of-the-art fuzzy hybrid computing techniques in the field of construction engineering and management. Authors cover the theory and implementation of fuzzy hybrid computing methodologies for arithmetic, optimization, machine learning, multi-criteria decision-making, simulation, cognitive maps and data modelling. The practical application of these techniques to solve real-world problems across a wide range of construction engineering and management issues is also demonstrated and discussed. The completion of effectively planned, executed and controlled construction projects is dependent on numerous interacting factors and human activities, both of which introduce vagueness and subjective uncertainty into already complex processes. While expert knowledge is an essential component of effective decision-making, analysis and consideration of expert knowledge expressed in linguistic terms remains a challenging aspect of construction engineering and management. Fuzzy logic, which has applications in many disciplines, has the potential to address certain challenges inherent in construction engineering and management, in part because of its strengths in modelling human reasoning, dealing with subjective uncertainty and computing with linguistic terms. However, fuzzy logic alone has a number of limitations that can only be overcome by its integration with other, complementary methodologies, together leading to advanced and powerful fuzzy hybrid computing techniques. This book is of particular interest to students, researchers and practitioners who want to learn about the latest developments in fuzzy hybrid computing in construction engineering and management.

Proceedings of the FISITA 2012 World Automotive Congress are selected from nearly 2,000 papers submitted to the 34th FISITA World Automotive Congress, which is held by Society of Automotive Engineers of China (SAE-China ) and the International Federation of Automotive Engineering Societies (FISITA). This proceedings focus on solutions for sustainable mobility in all areas of passenger car, truck and bus transportation. Volume 2: Advanced Internal Combustion Engines (II) focuses on: *Flow and Combustion Diagnosis *Engine Design and Simulation *Heat Transfer and Waste Heat Reutilization *Emission Standard and International Regulations Above all researchers, professional engineers and graduates in fields of automotive engineering, mechanical engineering and electronic engineering will benefit from this book. SAE-China is a national academic organization composed of enterprises and professionals who focus on research, design and education in the fields of automotive and related industries. FISITA is the umbrella organization for the national automotive societies in 37 countries around the world. It was founded in Paris in 1948 with the purpose of bringing engineers from around the world together in a spirit of cooperation to share ideas and advance the technological development of the automobile.

This essential volume explores a variety of tools and protocols of structure-based (homology modeling, molecular docking, molecular dynamics, protein-protein interaction network) and ligand-based (pharmacophore mapping, quantitative structure-activity relationships or QSARs) drug design for ranking and prioritization of candidate molecules in search of effective treatment strategy against coronaviruses. Beginning with an introductory section that discusses coronavirus interactions with humanity and COVID-19 in particular, the book then continues with sections on tools and methodologies, literature reports and case studies, as well as online tools and databases that can be used for computational anti-coronavirus drug research. Written for the Methods in Pharmacology and Toxicology series, chapters include the kind of practical detail and implementation advice that ensures high quality results in the lab. Comprehensive and timely, In Silico Modeling of Drugs Against Coronaviruses: Computational Tools and Protocols is an ideal reference for researchers working on the development of novel anti-coronavirus drugs for SARS-CoV-2 and for coronaviruses that will likely appear in the future.

Weed management Decision Support Systems (DSS) are increasingly important computer-based tools for modern agriculture. Nowadays, extensive agriculture has become highly dependent on external inputs and both economic costs, as well the negative environmental impact of agricultural activities, demands knowledge-based technology for the optimization and protection of non-renewable resources. In this context, weed management strategies should aim to maximize economic profit by preserving and enhancing agricultural systems. Although previous contributions focusing on weed biology and weed management provide valuable insight on many aspects of weed species ecology and practical guides for weed control, no attempts have been made to highlight the forthcoming importance of DSS in weed management. This book is a first attempt to integrate `concepts and practice' providing a novel guide to the state-of-art of DSS and the future prospects which hopefully would be of interest to higher-level students, academics and professionals in related areas.

This book introduces readers to some of the most significant advances in core computer science-based technologies. At the dawn of the 4th Industrial Revolution, the field of computer science-based technologies is growing continuously and rapidly, and is developing both in itself and in terms of its applications in many other disciplines. Written by leading experts and consisting of 18 chapters, the book is divided into seven parts: (1) Computer Science-based Technologies in Education, (2) Computer Science-based Technologies in Risk Assessment and Readiness, (3) Computer Science-based Technologies in IoT, Blockchains and Electronic Money, (4) Computer Science-based Technologies in Mobile Computing, (5) Computer Science-based Technologies in Scheduling and Transportation, (6) Computer Science-based Technologies in Medicine and Biology, and (7) Theoretical Advances in Computer Science with Significant Potential Applications in Technology. Featuring an extensive list of bibliographic references at the end of each chapter to help readers probe further into the application areas of interest to them, this book is intended for professors, researchers, scientists, engineers and students in computer science-related disciplines. It is also useful for those from other disciplines wanting to become well versed in some of the latest computer science-based technologies.

This book explores four guiding themes - reduced order modelling, high dimensional problems, efficient algorithms, and applications - by reviewing recent algorithmic and mathematical advances and the development of new research directions for uncertainty quantification in the context of partial differential equations with random inputs. Highlighting the most promising approaches for (near-) future improvements in the way uncertainty quantification problems in the partial differential equation setting are solved, and gathering contributions by leading international experts, the book's content will impact the scientific, engineering, financial, economic, environmental, social, and commercial sectors.

This book provides a broad overview of essential features of subsurface environmental modelling at the science-policy interface, offering insights into the potential challenges in the field of subsurface flow and transport, as well as the corresponding computational modelling and its impact on the area of policy- and decision-making. The book is divided into two parts: Part I presents models, methods and software at the science-policy interface. Building on this, Part II illustrates the specifications using detailed case studies of subsurface environmental modelling. It also includes a systematic research overview and discusses the anthropogenic use of the subsurface, with a particular focus on energy-related technologies, such as carbon sequestration, geothermal technologies, fluid and energy storage, nuclear waste disposal, and unconventional oil and gas recovery.

Since its inception, the Tutorial Guides in Electronic Engineering series has met with great success among both instructors and students. Designed for first- and second-year undergraduate courses, each text provides a concise list of objectives at the beginning of every chapter, key definitions and formulas highlighted in margin notes, and references to other texts in the series. With emphasis on the fundamental ideas and applications of modelling and design, Control Engineering imparts a thorough understanding of the principles of feedback control. Simple but detailed design examples used throughout the book illustrate how various classical feedback control techniques can be employed for single-input, single-output systems. Noting the interdisciplinary nature of control engineering, the author makes the text equally relevant to students whose interests lie outside of electronics by concentrating on general systems characteristics rather than on specific implementations. The author assumes students are familiar with complex numbers, phasors, and elementary calculus, and while a knowledge of simple linear differential equations would be useful, this treatment has few other mathematical requirements. With its clear explanations, copious illustrations, well-chosen examples, and end-of-chapter exercises, Control Engineering forms an outstanding first-course textbook.

Achieving food security and economic developmental objectives in the face of climate change and rapid population growth requires systems modelling approaches, for example in the design of sustainable agriculture farming systems. Such approaches increase our understanding of system responses to different soil and climatic conditions, and provide insights into the effects of various variable climate change scenarios, providing valuable information for decision-makers. Further, in the agricultural sector, systems modelling can help optimise crop management and adaptation measures to boost productivity under variable climatic conditions. Presenting key outcomes from crop models used in agricultural systems this book is a valuable resource for professionals interested in using modelling approaches to manage the growth and improve the quality of various crops.

This book discusses systems of damage detection and structural health monitoring in mechanical, civil, and aerospace structures. It utilizes principles of fuzzy logic, probability theory, and signal processing to develop systems and approaches that are robust in the presence of both noise in the data and variations in properties of materials which are intrinsic to the process of mass production. This volume will be useful to graduate students, researchers, and engineers working in this area, especially those looking to understand and address model uncertainty in their algorithms.

This book provides an insight in advanced methods and concepts for structural analysis and design against seismic loading. The book consists of 25 chapters dealing with a wide range of timely issues in contemporary Earthquake Engineering. In brief, the topics covered are: collapse assessment, record selection, effect of soil conditions, problems in seismic design, protection of monuments, earth dam structures and liquid containers, numerical methods, lifetime assessment, post-earthquake measures. A common ground of understanding is provided between the communities of Earth Sciences and Computational Mechanics towards mitigating seismic risk. The topic is of great social and scientific interest, due to the large number of scientists and practicing engineers currently working in the field and due to the great social and economic consequences of earthquakes.

This book presents the refereed proceedings of the 13th International Conference on Monte Carlo and Quasi-Monte Carlo Methods in Scientific Computing that was held at the University of Rennes, France, and organized by Inria, in July 2018. These biennial conferences are major events for Monte Carlo and quasi-Monte Carlo researchers. The proceedings include articles based on invited lectures as well as carefully selected contributed papers on all theoretical aspects and applications of Monte Carlo and quasi-Monte Carlo methods. Offering information on the latest developments in these very active areas, this book is an excellent reference resource for theoreticians and practitioners interested in solving high-dimensional computational problems, arising, in particular, in finance, statistics and computer graphics.

This book explores systems-based, co-design, introducing a "Decision-Based, Co-Design" (DBCD) approach for the co-design of materials, products, and processes. In recent years there have been significant advances in modeling and simulation of material behavior, from the smallest atomic scale to the macro scale. However, the uncertainties associated with these approaches and models across different scales need to be addressed to enable decision-making resulting in designs that are robust, that is, relatively insensitive to uncertainties. An approach that facilitates co-design is needed across material, product design and manufacturing processes. This book describes a cloud-based platform to support decisions in the design of engineered systems (CB-PDSIDES), which feature an architecture that promotes co-design through the servitization of decision-making, knowledge capture and use templates that allow previous solutions to be reused. Placing the platform in the cloud aids mass collaboration and open innovation. A valuable reference resource reference on all areas related to the design of materials, products and processes, the book appeals to material scientists, design engineers and all those involved in the emerging interdisciplinary field of integrated computational materials engineering (ICME).

This two-volume set constitutes the refereed post-conference proceedings of the 12th International Conference on Simulation Tools and Techniques, SIMUTools 2020, held in Guiyang, China, in August 2020. Due to COVID-19 pandemic the conference was held virtually. The 125 revised full papers were carefully selected from 354 submissions. The papers focus on simulation methods, simulation techniques, simulation software, simulation performance, modeling formalisms, simulation verification and widely used frameworks.

This book systematically introduces readers to the finite element analysis software DIANA (DIsplacement ANAlyzer) and its applications in civil engineering. Developed by TNO Corporation in the 1970s, DIANA is frequently used in civil engineering and engineering mechanics. Unlike the software user's manual, which provides a comprehensive introduction and theoretical analysis, this book presents a simplified overview of the basic background theory to help beginners master the software quickly. It also discusses GUI operation and the command console in Python language, and includes examples involving classical modeling operations to help readers review each section. Both the book and DIANA itself are valuable resources for students and researchers in all the structural engineering fields, such as civil engineering, bridge engineering, geotechnical engineering, tunnel engineering, underground structural engineering, irrigation, municipal engineering and fire engineering.