This unique volume introduces and discusses the methods of validating computer simulations in scientific research. The core concepts, strategies, and techniques of validation are explained by an international team of pre-eminent authorities, drawing on expertise from various fields ranging from engineering and the physical sciences to the social sciences and history. The work also offers new and original philosophical perspectives on the validation of simulations. Topics and features: introduces the fundamental concepts and principles related to the validation of computer simulations, and examines philosophical frameworks for thinking about validation; provides an overview of the various strategies and techniques available for validating simulations, as well as the preparatory steps that have to be taken prior to validation; describes commonly used reference points and mathematical frameworks applicable to simulation validation; reviews the legal prescriptions, and the administrative and procedural activities related to simulation validation; presents examples of best practice that demonstrate how methods of validation are applied in various disciplines and with different types of simulation models; covers important practical challenges faced by simulation scientists when applying validation methods and techniques; offers a selection of general philosophical reflections that explore the significance of validation from a broader perspective. This truly interdisciplinary handbook will appeal to a broad audience, from professional scientists spanning all natural and social sciences, to young scholars new to research with computer simulations. Philosophers of science, and methodologists seeking to increase their understanding of simulation validation, will also find much to benefit from in the text.

This book presents tensors and differential geometry in a comprehensive and approachable manner, providing a bridge from the place where physics and engineering mathematics end, and the place where tensor analysis begins. Among the topics examined are tensor analysis, elementary differential geometry of moving surfaces, and k-differential forms. The book includes numerous examples with solutions and concrete calculations, which guide readers through these complex topics step by step. Mindful of the practical needs of engineers and physicists, book favors simplicity over a more rigorous, formal approach. The book shows readers how to work with tensors and differential geometry and how to apply them to modeling the physical and engineering world. The authors provide chapter-length treatment of topics at the intersection of advanced mathematics, and physics and engineering: * General Basis and Bra-Ket Notation * Tensor Analysis * Elementary Differential Geometry * Differential Forms * Applications of Tensors and Differential Geometry * Tensors and Bra-Ket Notation in Quantum Mechanics The text reviews methods and applications in computational fluid dynamics; continuum mechanics; electrodynamics in special relativity; cosmology in the Minkowski four-dimensional space time; and relativistic and non-relativistic quantum mechanics. Tensor Analysis and Elementary Differential Geometry for Physicists and Engineers benefits research scientists and practicing engineers in a variety of fields, who use tensor analysis and differential geometry in the context of applied physics, and electrical and mechanical engineering. It will also interest graduate students in applied physics and engineering.

This book gathers the peer-reviewed proceedings of the 12th Annual Meeting of the Bulgarian Section of the Society for Industrial and Applied Mathematics, BGSIAM'17, held in Sofia, Bulgaria, in December 2017. The general theme of BGSIAM'17 was industrial and applied mathematics, with a particular focus on: high-performance computing, numerical methods and algorithms, analysis of partial differential equations and their applications, mathematical biology, control and uncertain systems, stochastic models, molecular dynamics, neural networks, genetic algorithms, metaheuristics for optimization problems, generalized nets, and Big Data.

Taking the Qinghai-Tibet Railway as an example, this book introduces intelligent processing for Global Positioning Data (GPS) data. Combining theory with practical applications, it provides essential insights into the Chinese Qinghai-Tibet Railway and novel methods of data processing for GPS satellite positioning, making it a valuable resource for all those working with train control systems, train positioning systems, satellite positioning, and intelligent data processing. As satellite positioning guarantees the safe and efficient operation of train control systems, it focuses on how to best process the GPS data collected, including methods for error detection, reduction and information fusion.

This volume offers an overview of the area of waves in fluids and the role they play in the mathematical analysis and numerical simulation of fluid flows. Based on lectures given at the summer school "Waves in Flows", held in Prague from August 27-31, 2018, chapters are written by renowned experts in their respective fields. Featuring an accessible and flexible presentation, readers will be motivated to broaden their perspectives on the interconnectedness of mathematics and physics. A wide range of topics are presented, working from mathematical modelling to environmental, biomedical, and industrial applications. Specific topics covered include: Equatorial wave-current interactions Water-wave problems Gravity wave propagation Flow-acoustic interactions Waves in Flows will appeal to graduate students and researchers in both mathematics and physics. Because of the applications presented, it will also be of interest to engineers working on environmental and industrial issues.

Perturbative Algebraic Quantum Field Theory (pAQFT), the subject of this book, is a complete and mathematically rigorous treatment of perturbative quantum field theory (pQFT) that doesn't require the use of divergent quantities and works on a large class of Lorenzian manifolds. We discuss in detail the examples of scalar fields, gauge theories and the effective quantum gravity. pQFT models describe a wide range of physical phenomena and have remarkable agreement with experimental results. Despite this success, the theory suffers from many conceptual problems. pAQFT is a good candidate to solve many, if not all, of these conceptual problems. Chapters 1-3 provide some background in mathematics and physics. Chapter 4 concerns classical theory of the scalar field, which is subsequently quantized in chapters 5 and 6. Chapter 7 covers gauge theory and chapter 8 discusses effective quantum gravity. The book aims to be accessible to researchers and graduate students, who are interested in the mathematical foundations of pQFT.

This book provides an up-to-date overview of results in rigid body dynamics, including material concerned with the analysis of nonintegrability and chaotic behavior in various related problems. The wealth of topics covered makes it a practical reference for researchers and graduate students in mathematics, physics and mechanics. Contents Rigid Body Equations of Motion and Their Integration The Euler - Poisson Equations and Their Generalizations The Kirchhoff Equations and Related Problems of Rigid Body Dynamics Linear Integrals and Reduction Generalizations of Integrability Cases. Explicit Integration Periodic Solutions, Nonintegrability, and Transition to Chaos Appendix A : Derivation of the Kirchhoff, Poincare - Zhukovskii, and Four-Dimensional Top Equations Appendix B: The Lie Algebra e(4) and Its Orbits Appendix C: Quaternion Equations and L-A Pair for the Generalized Goryachev - Chaplygin Top Appendix D: The Hess Case and Quantization of the Rotation Number Appendix E: Ferromagnetic Dynamics in a Magnetic Field Appendix F: The Landau - Lifshitz Equation, Discrete Systems, and the Neumann Problem Appendix G: Dynamics of Tops and Material Points on Spheres and Ellipsoids Appendix H: On the Motion of a Heavy Rigid Body in an Ideal Fluid with Circulation Appendix I: The Hamiltonian Dynamics of Self-gravitating Fluid and Gas Ellipsoids

This proceedings book presents selected contributions from the XVIII Congress of APDIO (the Portuguese Association of Operational Research) held in Valenca on June 28-30, 2017. Prepared by leading Portuguese and international researchers in the field of operations research, it covers a wide range of complex real-world applications of operations research methods using recent theoretical techniques, in order to narrow the gap between academic research and practical applications. Of particular interest are the applications of, nonlinear and mixed-integer programming, data envelopment analysis, clustering techniques, hybrid heuristics, supply chain management, and lot sizing and job scheduling problems. In most chapters, the problems, methods and methodologies described are complemented by supporting figures, tables and algorithms. The XVIII Congress of APDIO marked the 18th installment of the regular biannual meetings of APDIO - the Portuguese Association of Operational Research. The meetings bring together researchers, scholars and practitioners, as well as MSc and PhD students, working in the field of operations research to present and discuss their latest works. The main theme of the latest meeting was Operational Research Pro Bono. Given the breadth of topics covered, the book offers a valuable resource for all researchers, students and practitioners interested in the latest trends in this field.

The first part of a two-volume set concerning the field of Clifford (geometric) algebra, this work consists of thematically organized chapters that provide a broad overview of cutting-edge topics in mathematical physics and the physical applications of Clifford algebras. This volume is devoted specifically to the mathematical aspects of Clifford algebras and their applications in physics. Algebraic geometry, cohomology, non-communicative spaces, "q"-deformations and the related quantum groups, and projective geometry provide the basis for algebraic topics covered. Physical applications and extensions of physical theories such as the theory of quaternionic spin, a projective theory of hadron transformation laws, and electron scattering are also presented, showing the broad applicability of Clifford geometric algebras in solving physical problems. Treatment of the structure theory of quantum Clifford algebras, the connection to logic, group representations, and computational techniques including symbolic calculations and theorem proving rounds out the presentation.

This book was written to serve as a graduate-level textbook for special topics classes in mathematics, statistics, and economics, to introduce these topics to other researchers, and for use in short courses. It is an introduction to the theory of majorization and related notions, and contains detailed material on economic applications of majorization and the Lorenz order, investigating the theoretical aspects of these two interrelated orderings. Revising and expanding on an earlier monograph, Majorization and the Lorenz Order: A Brief Introduction, the authors provide a straightforward development and explanation of majorization concepts, addressing historical development of the topics, and providing up-to-date coverage of families of Lorenz curves. The exposition of multivariate Lorenz orderings sets it apart from existing treatments of these topics. Mathematicians, theoretical statisticians, economists, and other social scientists who already recognize the utility of the Lorenz order in income inequality contexts and arenas will find the book useful for its sound development of relevant concepts rigorously linked to both the majorization literature and the even more extensive body of research on economic applications. Barry C. Arnold, PhD, is Distinguished Professor in the Statistics Department at the University of California, Riverside. He is a Fellow of the American Statistical Society, the American Association for the Advancement of Science, and the Institute of Mathematical Statistics, and is an elected member of the International Statistical Institute. He is the author of more than two hundred publications and eight books. Jose Maria Sarabia, PhD, is Professor of Statistics and Quantitative Methods in Business and Economics in the Department of Economics at the University of Cantabria, Spain. He is author of more than one hundred and fifty publications and ten books and is an associate editor of several journals including TEST, Communications in Statistics, and Journal of Statistical Distributions and Applications.

This handbook serves as a comprehensive, systematic reference to the major mathematical models used in radio engineering and communications, and presents computer simulation algorithms to help the reader estimate parameters of radio systems. It provides the technical details necessary to design and analyze radar, communication, radio navigation, radio control, electronic intelligence and electronic warfare systems. Mathcad routines, cited in the handbook, should help the reader to optimize radar system performance analysis, and can be used to create custom-made software that better answers specific needs.

Going far beyond the standard texts, this book extensively covers boundary integral equation (BIE) formulations and the boundary element method (BEM). The first section introduces BIE formulations for potential and elasticity problems, following the modern regularization approach - the fundamental starting point for research in this field. Secondly, a clear description of BIE formulations for wave and elastodynamics problems, in both time and frequency domains is presented. Finally, recent research in the field, related to variational integral formulations, use of geometrical symmetry, shape sensitivity and fracture mechanics is summarised. Within the text a broad range of application areas, industrial as well as research related, are examined. These include:

• elasticity and small-strain elastoplasticity
• time-domain and frequency-domain scalar and elastic waves
• fracture mechanics

This monograph is concerned with free-boundary problems of partial differential equations arising in the physical sciences and in engineering. The existence and uniqueness of solutions to the Hele-Shaw problem are derived and techniques to deal with the Muskat problem are discussed. Based on these, mathematical models for the dynamics of cracks in underground rocks and in-situ leaching are developed. Contents Introduction The Hele-Shaw problem A joint motion of two immiscible viscous fluids Mathematical models of in-situ leaching Dynamics of cracks in rocks Elements of continuum mechanics

This book is the first part of a two volume anthology comprising a selection of 49 articles that illustrate the depth, breadth and scope of Nigel Kalton's research. Each article is accompanied by comments from an expert on the respective topic, which serves to situate the article in its proper context, to successfully link past, present and hopefully future developments of the theory, and to help readers grasp the extent of Kalton's accomplishments. Kalton's work represents a bridge to the mathematics of tomorrow, and this book will help readers to cross it. Nigel Kalton (1946-2010) was an extraordinary mathematician who made major contributions to an amazingly diverse range of fields over the course of his career.

This book focuses on the finite-time control of attitude stabilization, attitude tracking for individual spacecraft, and finite-time control of attitude synchronization. It discusses formation reconfiguration for multiple spacecraft in complex networks, and provides a new fast nonsingular terminal sliding mode surface (FNTSMS). Further, it presents newly designed controllers and several control laws to enhance the performance of spacecraft systems and meet related demands, such as strong disturbance rejection and high-precision control. As such, the book establishes a fundamental framework for these topics, while also highlighting the importance of integrated analysis. It is a useful resource for all researchers and students who are interested in this field, as well as engineers whose work involves designing flight vehicles.

This book presents in detail an alternative approach to solving problems involving both linear and nonlinear oscillations of elastic distributed parameter systems. It includes the so-called variational, projection and iterative gradient methods, which, when applied to nonlinear problems, use the procedure of linearization of the original non-linear equations. These methods are not universal and require a different solution for each problem or class of problems.However, in many cases the combination of the methods shown in this book leads to more efficient algorithms for solving important applied problems.To record these algorithms in a unified form, the first part of the book and its appendix devote considerable attention to compiling the general operator equations, which include (as particular cases) equations for vibrations in rods, plates, shells and three-dimensional bodies. They are mainly considered to be periodic or nearly periodic oscillations, which correspond to stat ionary or nearly stationary regimes of machinery operation. In turn, the second part of the book presents a number of solutions for selected applications.

This book addresses a broad range of problems commonly encountered in the fields of financial analysis, logistics and supply chain management, such as the use of big data analytics in the banking sector. Divided into twenty chapters, some of the contemporary topics discussed in the book are co-operative/non-cooperative supply chain models for imperfect quality items with trade-credit financing; a non-dominated sorting water cycle algorithm for the cardinality constrained portfolio problem; and determining initial, basic and feasible solutions for transportation problems by means of the "supply demand reparation method" and "continuous allocation method." In addition, the book delves into a comparison study on exponential smoothing and the Arima model for fuel prices; optimal policy for Weibull distributed deteriorating items varying with ramp type demand rate and shortages; an inventory model with shortages and deterioration for three different demand rates; outlier labeling methods for medical data; a garbage disposal plant as a validated model of a fault-tolerant system; and the design of a "least cost ration formulation application for cattle"; a preservation technology model for deteriorating items with advertisement dependent demand and trade credit; a time series model for stock price forecasting in India; and asset pricing using capital market curves. The book offers a valuable asset for all researchers and industry practitioners working in these areas, giving them a feel for the latest developments and encouraging them to pursue further research in this direction.

Statistical Techniques for Transportation Engineering is written with a systematic approach in mind and covers a full range of data analysis topics, from the introductory level (basic probability, measures of dispersion, random variable, discrete and continuous distributions) through more generally used techniques (common statistical distributions, hypothesis testing), to advanced analysis and statistical modeling techniques (regression, AnoVa, and time series). The book also provides worked out examples and solved problems for a wide variety of transportation engineering challenges.

The special volume offers a global guide to new concepts and approaches concerning the following topics: reduced basis methods, proper orthogonal decomposition, proper generalized decomposition, approximation theory related to model reduction, learning theory and compressed sensing, stochastic and high-dimensional problems, system-theoretic methods, nonlinear model reduction, reduction of coupled problems/multiphysics, optimization and optimal control, state estimation and control, reduced order models and domain decomposition methods, Krylov-subspace and interpolatory methods, and applications to real industrial and complex problems. The book represents the state of the art in the development of reduced order methods. It contains contributions from internationally respected experts, guaranteeing a wide range of expertise and topics. Further, it reflects an important effor t, carried out over the last 12 years, to build a growing research community in this field. Though not a textbook, some of the chapters can be used as reference materials or lecture notes for classes and tutorials (doctoral schools, master classes).

As the sequel to the proceedings of the International Conference of Continuum Mechanics Focusing on Singularities (CoMFoS15), the proceedings of CoMFoS16 present further advances and new topics in mathematical theory and numerical simulations related to various aspects of continuum mechanics. These include fracture mechanics, shape optimization, modeling of earthquakes, material structure, interface dynamics and complex systems.. The authors are leading researchers with a profound knowledge of mathematical analysis from the fields of applied mathematics, physics, seismology, engineering, and industry. The book helps readers to understand how mathematical theory can be applied to various industrial problems, and conversely, how industrial problems lead to new mathematical challenges.

This multi-contributed volume provides a practical, applications-focused introduction to nonlinear acoustical techniques for nondestructive evaluation. Compared to linear techniques, nonlinear acoustical/ultrasonic techniques are much more sensitive to micro-cracks and other types of small distributed damages. Most materials and structures exhibit nonlinear behavior due to the formation of dislocation and micro-cracks from fatigue or other types of repetitive loadings well before detectable macro-cracks are formed. Nondestructive evaluation (NDE) tools that have been developed based on nonlinear acoustical techniques are capable of providing early warnings about the possibility of structural failure before detectable macro-cracks are formed. This book presents the full range of nonlinear acoustical techniques used today for NDE. The expert chapters cover both theoretical and experimental aspects, but always with an eye towards applications. Unlike other titles currently available, which treat nonlinearity as a physics problem and focus on different analytical derivations, the present volume emphasizes NDE applications over detailed analytical derivations. The introductory chapter presents the fundamentals in a manner accessible to anyone with an undergraduate degree in Engineering or Physics and equips the reader with all of the necessary background to understand the remaining chapters. This self-contained volume will be a valuable reference to graduate students through practising researchers in Engineering, Materials Science, and Physics. Represents the first book on nonlinear acoustical techniques for NDE applications Emphasizes applications of nonlinear acoustical techniques Presents the fundamental physics and mathematics behind nonlinear acoustical phenomenon in a simple, easily understood manner Covers a variety of popular NDE techniques based on nonlinear acoustics in a single volume

This thesis presents a pioneering method for gleaning the maximum information from the deepest images of the far-infrared universe obtained with the Herschel satellite, reaching galaxies fainter by an order of magnitude than in previous studies. Using these high-quality measurements, the author first demonstrates that the vast majority of galaxy star formation did not take place in merger-driven starbursts over 90% of the history of the universe, which suggests that galaxy growth is instead dominated by a steady infall of matter. The author further demonstrates that massive galaxies suffer a gradual decline in their star formation activity, providing an alternative path for galaxies to stop star formation. One of the key unsolved questions in astrophysics is how galaxies acquired their mass in the course of cosmic time. In the standard theory, the merging of galaxies plays a major role in forming new stars. Then, old galaxies abruptly stop forming stars through an unknown process. Investigating this theory requires an unbiased measure of the star formation intensity of galaxies, which has been unavailable due to the dust obscuration of stellar light.

Modeling Uncertainty: An Examination of Stochastic Theory, Methods, and Applications, is a volume undertaken by the friends and colleagues of Sid Yakowitz in his honor. Fifty internionally known scholars have collectively contributed 30 papers on modeling uncertainty to this volume. Each of these papers was carefully reviewed and in the majority of cases the original submission was revised before being accepted for publication in the book. The papers cover a great variety of topics in probability, statistics, economics, stochastic optimization, control theory, regression analysis, simulation, stochastic programming, Markov decision process, application in the HIV context, and others. There are papers with a theoretical emphasis and others that focus on applications. A number of papers survey the work in a particular area and in a few papers the authors present their personal view of a topic. It is a book with a considerable number of expository articles, which are accessible to a nonexpert - a graduate student in mathematics, statistics, engineering, and economics departments, or just anyone with some mathematical background who is interested in a preliminary exposition of a particular topic. Many of the papers present the state of the art of a specific area or represent original contributions which advance the present state of knowledge. In sum, it is a book of considerable interest to a broad range of academic researchers and students of stochastic systems.

The aim of this book is to give a physical treatment of the kinetic theory of gases and magnetoplasmas, covering the standard material in as simple a way as possible, using mean-free-path arguments when possible and identifying problem areas where received theory has either failed or has fallen short of expectations. Examples are provided by strong shock waves, ultrasonic waves (high Knudsen numbers), and transport across strong magnetic fields. Examples of problem areas provided by strong shock waves, ultrasonic waves (high Knudsen numbers), and transport across strong magnetic fields. One of the paradoxes arising in kinetic theory concerns the fluid pressure. Collisions are necessary for a fluid force to result, yet standard kinetic theory does not entail this, being satisfied to bypass Newton's equations by defining pressure as a momentum flux. This omission usually has no adverse consequences, but with increasing Knudsen number, it leads to errors. This text pays particular attention to pressure, explaining the importance of allowing for its collisional nature from the outset in developing kinetic theory.