This book provides a real-time and knowledge-based fuzzy logic model for soft tissue deformation. The demand for surgical simulation continues to grow, as there is a major bottleneck in surgical simulation designation and every patient is unique. Deformable models, the core of surgical simulation, play a crucial role in surgical simulation designation. Accordingly, this book (1) presents an improved mass spring model to simulate soft tissue deformation for surgery simulation; (2) ensures the accuracy of simulation by redesigning the underlying Mass Spring Model (MSM) for liver deformation, using three different fuzzy knowledge-based approaches to determine the parameters of the MSM; (3) demonstrates how data in Central Processing Unit (CPU) memory can be structured to allow coalescing according to a set of Graphical Processing Unit (GPU)-dependent alignment rules; and (4) implements heterogeneous parallel programming for the distribution of grid threats for Computer Unified Device Architecture (CUDA)-based GPU computing.

This book provides a simple and unified approach to the mechanics of discontinuous-fibre reinforced composites, and introduces readers as generally as possible to the key concepts regarding the mechanics of elastic stress transfer, intermediate modes of stress transfer, plastic stress transfer, fibre pull-out, fibre fragmentation and matrix rupture. These concepts are subsequently applied to progressive stages of the loading process, through to the composite fractures. The book offers a valuable guide for advanced undergraduate and graduate students attending lecture courses on fibre composites. It is also intended for beginning researchers who wish to develop deeper insights into how discontinuous fibre provides reinforcement to composites, and for engineers, particularly those who wish to apply the concepts presented here to design and develop discontinuous-fibre reinforced composites.

This book is intended as a study aid for the finite element method. Based on the free computer algebra system Maxima, we offer routines to symbolically or numerically solve problems from the context of two-dimensional problems. For this rather advanced topic, classical 'hand calculations' are difficult to perform and the incorporation of a computer algebra system is a convenient approach to handle, for example, larger matrix operations. The mechanical theories focus on the classical two-dimensional structural elements, i.e., plane elements, thin or classical plates, and thick or shear deformable plate elements. The use of a computer algebra system and the incorporated functions, e.g., for matrix operations, allows to focus more on the methodology of the finite element method and not on standard procedures. Furthermore, we offer a graphical user interface (GUI) to facilitate the model definition. Thus, the user may enter the required definitions in a source code manner directly in wxMaxima or use the GUI which is able to execute wxMaxime to perform the calculations.

In recent years, it has become apparent that knowing the average atomic structure of materials is insufficient to understand their properties. Diffuse scattering in addition to the Bragg scattering holds the key to learning about defects in materials, the topic of many recent books. What has been missing is a detailed step-by-step guide on how to simulate disordered materials. The DISCUS cook book fills this need covering simple topics such as building a computer crystal to complex topics such as domain structures, stacking faults or using advanced refinement techniques to adjust parameters on a disordered model. The book contains a CD-ROM with all files needed to recreate every example given using the program DISCUS. The reader is free to follow the principles behind simulating disordered materials or to get down into the details and run or modify the given examples.

Three approaches can be applied to determine the performance of parallel and distributed computer systems: measurement, simulation, and mathematical methods. This book introduces various network architectures for parallel and distributed systems as well as for systems-on-chips, and presents a strategy for developing a generator for automatic model derivation. It will appeal to researchers and students in network architecture design and performance analysis.

This book presents a method for creating a working model of society, using data systems and simulation techniques, that can be used for testing propositions of scientific and policy nature. The model is based on the example of New Zealand, but will be applicable to other countries. It is expected that collaborators in other countries can emulate this example with their data systems for teaching and policy purposes, producing a cross-national "collaboratory". This enterprise will evolve with, and to a degree independently of, the book itself, with a supporting website as well as teaching and scientific initiatives. Readers of this text will, for the first time, have a simulation-based working model of society that can be interrogated for policy and substantive purposes. This book will appeal to researchers and professionals from various disciplines working within the social sciences, particularly on matters of demography and public policy.

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.

This book presents the theory and computation of open channel flows, using detailed analytical, numerical and experimental results. The fundamental equations of open channel flows are derived by means of a rigorous vertical integration of the RANS equations for turbulent flow. In turn, the hydrostatic pressure hypothesis, which forms the core of many shallow water hydraulic models, is scrutinized by analyzing its underlying assumptions. The book's main focus is on one-dimensional models, including detailed treatments of unsteady and steady flows. The use of modern shock capturing finite difference and finite volume methods is described in detail, and the quality of solutions is carefully assessed on the basis of analytical and experimental results. The book's unique features include: * Rigorous derivation of the hydrostatic-based shallow water hydraulic models * Detailed treatment of steady open channel flows, including the computation of transcritical flow profiles * General analysis of gate maneuvers as the solution of a Riemann problem * Presents modern shock capturing finite volume methods for the computation of unsteady free surface flows * Introduces readers to movable bed and sediment transport in shallow water models* Includes numerical solutions of shallow water hydraulic models for non-hydrostatic steady and unsteady free surface flows This book is suitable for both undergraduate and graduate level students, given that the theory and numerical methods are progressively introduced starting with the basics. As supporting material, a collection of source codes written in Visual Basic and inserted as macros in Microsoft Excel (R) is available. The theory is implemented step-by-step in the codes, and the resulting programs are used throughout the book to produce the respective solutions.

This textbook introduces the concepts and tools that biomedical and chemical engineering students need to know in order to translate engineering problems into a numerical representation using scientific fundamentals. Modeling concepts focus on problems that are directly related to biomedical and chemical engineering. A variety of computational tools are presented, including MATLAB, Excel, Mathcad, and COMSOL, and a brief introduction to each tool is accompanied by multiple computer lab experiences. The numerical methods covered are basic linear algebra and basic statistics, and traditional methods like Newton's method, Euler Integration, and trapezoidal integration. The book presents the reader with numerous examples and worked problems, and practice problems are included at the end of each chapter.

This textbook addresses the most recent advances and main digital technologies used in farming. The reader will be able to understand the main concepts and techniques currently used to efficiently manage agricultural production systems. The book covers topics in a general and intuitive way, with examples and good illustrations.

This book introduces a methodology for solving the seismic inverse problem using purely numerical solutions built on 3D wave equations and which is free of the approximations or simplifications that are common in classical seismic inversion methodologies and therefore applicable to arbitrary 3D geological media and seismic source models. Source codes provided allow readers to experiment with the calculations demonstrated and also explore their own applications.

Handbook of Probabilistic Models carefully examines the application of advanced probabilistic models in conventional engineering fields. In this comprehensive handbook, practitioners, researchers and scientists will find detailed explanations of technical concepts, applications of the proposed methods, and the respective scientific approaches needed to solve the problem. This book provides an interdisciplinary approach that creates advanced probabilistic models for engineering fields, ranging from conventional fields of mechanical engineering and civil engineering, to electronics, electrical, earth sciences, climate, agriculture, water resource, mathematical sciences and computer sciences. Specific topics covered include minimax probability machine regression, stochastic finite element method, relevance vector machine, logistic regression, Monte Carlo simulations, random matrix, Gaussian process regression, Kalman filter, stochastic optimization, maximum likelihood, Bayesian inference, Bayesian update, kriging, copula-statistical models, and more.

This hands-on textbook/reference presents an introduction to the fundamental aspects of modelling and simulation, both for those wishing to learn about this methodology and also for those who have a need to apply it in their work. The text is supported by illustrative examples, drawn from projects formulated within the domains of discrete-event dynamic systems (DEDS) and continuous-time dynamic systems (CTDS). This updated new edition has been enhanced with new illustrative case studies, and additional examples demonstrating some new features and the effectiveness of the ABCmod conceptual modelling framework. Changes that facilitate the development of simulation models with ABSmod/J are illustrated. New material includes a presentation of the experimentation strategy called "design of experiments" and three new chapters that explore the optimization-simulation interface. Topics and features: presents a goal-based and project-oriented perspective of modelling and simulation; describes the ABCmod framework, an activity-based conceptual modelling framework for DEDS; examines the simulation-optimization interface in both the CTDS and DEDS domains; provides numerous illustrative examples, case studies and useful algorithms, as well as exercises and projects at the end of most chapters; includes appendices on probability and statistics, the GPSS programming environment, and relevant MATLAB features; provides supplementary software and teaching support material at an associated website, including lecture slides and a methodology for organizing student projects. Serving as an essential guide to the foundations of modelling and simulation, this practical primer is ideal for senior undergraduate and junior graduate-level students. Also suitable for self-study, the book will be of great benefit to professionals seeking insight into the vast potential of this rapidly evolving problem-solving paradigm.

This is the first book offering an in-depth and comprehensive IoT network simulation, supported by OPNET tool. Furthermore, the book presents the simulations of IoT in general, not limited by OPNET. The authors provide rich OPNET IoT simulation codes, with detailed explanation regarding the functionalities of the model. These codes can facilitate readers' fast implementation, and the shared model can guide readers through developing their own research. This book addresses various versions of Internet of Things (IoT), including human-centric IoT, green IoT, Narrow band IoT, Smart IoT, IoT-Cloud integration. The introduced OPNET IoT simulation provides a comprehensive platform to simulate above-mentioned IoT systems. Besides, this book introduces OPNET semi-physical simulation in detail. Based on this technology, simulated IoT and practical cloud are seamlessly connected with each other. On top of this "IoT-cloud-integration" semi-physical simulation environment, various smart IoT applications can be realized.

This book addresses key conceptual issues relating to the modern scientific and engineering use of computer simulations. It analyses a broad set of questions, from the nature of computer simulations to their epistemological power, including the many scientific, social and ethics implications of using computer simulations. The book is written in an easily accessible narrative, one that weaves together philosophical questions and scientific technicalities. It will thus appeal equally to all academic scientists, engineers, and researchers in industry interested in questions (and conceivable answers) related to the general practice of computer simulations.

This open access book demonstrates the application of simulation modelling and network analysis techniques in the field of Roman studies. It summarizes and discusses the results of a 5-year research project carried out by the editors that aimed to apply spatial dynamical modelling to reconstruct and understand the socio-economic development of the Dutch part of the Roman frontier (limes) zone, in particular the agrarian economy and the related development of settlement patterns and transport networks in the area. The project papers are accompanied by invited chapters presenting case studies and reflections from other parts of the Roman Empire focusing on the themes of subsistence economy, demography, transport and mobility, and socio-economic networks in the Roman period. The book shows the added value of state-of-the-art computer modelling techniques and bridges computational and conventional approaches. Topics that will be of particular interest to archaeologists are the question of (forced) surplus production, the demographic and economic effects of the Roman occupation on the local population, and the structuring of transport networks and settlement patterns. For modellers, issues of sensitivity analysis and validation of modelling results are specifically addressed. This book will appeal to students and researchers working in the computational humanities and social sciences, in particular, archaeology and ancient history.

This book includes selected peer-reviewed papers presented at the International Conference on Modeling, Simulation and Optimization (CoMSO 2021), organized by National Institute of Technology, Silchar, Assam, India, during December 16-18, 2021. The book covers topics of modeling, simulation and optimization, including computational modeling and simulation, system modeling and simulation, device/VLSI modeling and simulation, control theory and applications, modeling and simulation of energy systems and optimization. The book disseminates various models of diverse systems and includes solutions of emerging challenges of diverse scientific fields.

This book offers an overview of sustainability and urban mobility in the context of urban planning - topics that are of considerable interest in the development of smart cities. Environmental sustainability is universally recognized as a fundamental condition for any urban policy or urban management activity, while mobility is essential for the survival of complex urban systems. The new opportunities offered by innovations in the mobility of people, goods and information, as well as radically changing interactions and activities are transforming cities. Including contributions by urban planning scholars, the book provides an up-to-date picture of the latest studies and innovative policies and practices in Italy, of particular interest due to its spatial, functional and social peculiarities. Sustainability and mobility must form the basis of "smart planning" - a new dimension of urban planning linked to two main innovations: procedural innovation in the management of territorial transformations and the technological innovation of the generation, processing and distribution of data (big data) for the creation of new "digital environments" such as GIS, BIM, models of augmented and mixed reality, useful for describing changes in human settlement in real time.

Agent-Based Modeling/Simulation (ABM/ABS) is an emerging field that enables bottom-up and experimental analysis in social sciences such as economics, management, sociology and politics. The chapters of this book are the selected papers from those presented the Third International Workshop on Agent-Based Approaches in Economic and Social Complex Systems held in Tokyo, Japan in 2005. Articles in this book covers methodological issues, computational model/software, combination with gaming simulation, and real-world applications to economic, management/organizational and social issues.

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 open access book summarizes the research done and results obtained in the second funding phase of the Priority Program 1648 "Software for Exascale Computing" (SPPEXA) of the German Research Foundation (DFG) presented at the SPPEXA Symposium in Dresden during October 21-23, 2019. In that respect, it both represents a continuation of Vol. 113 in Springer's series Lecture Notes in Computational Science and Engineering, the corresponding report of SPPEXA's first funding phase, and provides an overview of SPPEXA's contributions towards exascale computing in today's sumpercomputer technology. 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 book has an interdisciplinary appeal: scholars from computational sub-fields in computer science, mathematics, physics, or engineering will find it of particular interest.

The model investigated in this work, a particular cellular automaton with stochastic evolution, was introduced as the simplest case of self-organized-criticality, that is, a dynamical system which shows algebraic long-range correlations without any tuning of parameters. The author derives exact results which are potentially also interesting outside the area of critical phenomena. Exact means also site-by-site and not only ensemble average or coarse graining. Very complex and amazingly beautiful periodic patterns are often generated by the dynamics involved, especially in deterministic protocols in which the sand is added at chosen sites. For example, the author studies the appearance of allometric structures, that is, patterns which grow in the same way in their whole body, and not only near their boundaries, as commonly occurs. The local conservation laws which govern the evolution of these patterns are also presented. This work has already attracted interest, not only in non-equilibrium statistical mechanics, but also in mathematics, both in probability and in combinatorics. There are also interesting connections with number theory. Lastly, it also poses new questions about an old subject. As such, it will be of interest to computer practitioners, demonstrating the simplicity with which charming patterns can be obtained, as well as to researchers working in many other areas.

The book summarizes the current state of the solid oxide fuel cell (SOFC) technology in power generation applications. It describes the single cells, SOFC stacks, micro-combined heat and power systems, large-scale stationary power generators and polygeneration units. The principles of modeling, simulation and controls of power systems with solid oxide fuel cells are presented and discussed. Authors provide theoretical background of the technology followed by the essential insights into the integrated power systems. Selected aspects of the design, construction and operation of power units in range from single kilowatts to hundreds of kilowatts are presented. Finally, the book reports the selected studies on prototype systems which have been constructed in Europe. The book discusses the theoretical and practical aspects of operation of power generators with solid oxide fuel cells including fabrication of cells, design of stacks, system modeling, simulation of stationary and non-stationary operation of systems, fuel preparation and controls.

Computerized modeling is a powerful tool to describe the complex interrelations between measured data and the dynamics of sedimentary systems. Complex interaction of environmental factors with natural variations and increasing anthropogenic intervention is reflected in the sedimentary record at varying scales. The understanding of these processes gives way to the reconstruction of the past and is a key to the prediction of future trends. Especially in cases where observations are limited and/or expensive, computer simulations may substitute for the lack of data. State-of-the-art research work requires a thorough knowledge of processes at the interfaces between atmosphere, hydrosphere, biosphere, and lithosphere, and is therefore an interdisciplinary approach.

Computational modeling is now ubiquitous in psychology, and researchers who are not modelers may find it increasingly difficult to follow the theoretical developments in their field. This book presents an integrated framework for the development and application of models in psychology and related disciplines. Researchers and students are given the knowledge and tools to interpret models published in their area, as well as to develop, fit, and test their own models. Both the development of models and key features of any model are covered, as are the applications of models in a variety of domains across the behavioural sciences. A number of chapters are devoted to fitting models using maximum likelihood and Bayesian estimation, including fitting hierarchical and mixture models. Model comparison is described as a core philosophy of scientific inference, and the use of models to understand theories and advance scientific discourse is explained.