Advances in scientific computing have made modelling and simulation an important part of the decision-making process in engineering, science, and public policy. This book provides a comprehensive and systematic development of the basic concepts, principles, and procedures for verification and validation of models and simulations. The emphasis is placed on models that are described by partial differential and integral equations and the simulations that result from their numerical solution. The methods described can be applied to a wide range of technical fields, from the physical sciences, engineering and technology and industry, through to environmental regulations and safety, product and plant safety, financial investing, and governmental regulations. This book will be genuinely welcomed by researchers, practitioners, and decision makers in a broad range of fields, who seek to improve the credibility and reliability of simulation results. It will also be appropriate either for university courses or for independent study.

Since their emergence, finite element methods have taken a place as one of the most versatile and powerful methodologies for the approximate numerical solution of Partial Differential Equations. These methods are used in incompressible fluid flow, heat, transfer, and other problems. This book provides researchers and practitioners with a concise guide to the theory and practice of least-square finite element methods, their strengths and weaknesses, established successes, and open problems.

The series of volumes to which this book belongs honors contributors who have made a major impact in computational fluid dynamics. This fourth volume in the series is dedicated to David Caughey on the occasion of his 60th birthday. The first volume was published in 1994 and was dedicated to Prof Antony Jameson. The second, dedicated to Earl Murman, was published in 1998. The third volume was dedicated to Robert MacCormack in 2002.Written by leading researchers from academia, government laboratories, and industry, the contributions in this volume present descriptions of the latest developments in techniques for numerical analysis of fluid flow problems, as well as applications to important problems in industry.

These Lecture Notes have been compiled from the material presented by the second author in a lecture series ('Nachdiplomvorlesung') at the Department of Mathematics of the ETH Zurich during the summer term 2002. Concepts of 'self adaptivity' in the numerical solution of differential equations are discussed with emphasis on Galerkin finite element methods. The key issues are a posteriori er ror estimation and automatic mesh adaptation. Besides the traditional approach of energy-norm error control, a new duality-based technique, the Dual Weighted Residual method (or shortly D WR method) for goal-oriented error estimation is discussed in detail. This method aims at economical computation of arbitrary quantities of physical interest by properly adapting the computational mesh. This is typically required in the design cycles of technical applications. For example, the drag coefficient of a body immersed in a viscous flow is computed, then it is minimized by varying certain control parameters, and finally the stability of the resulting flow is investigated by solving an eigenvalue problem. 'Goal-oriented' adaptivity is designed to achieve these tasks with minimal cost. The basics of the DWR method and various of its applications are described in the following survey articles: R. Rannacher [114], Error control in finite element computations. In: Proc. of Summer School Error Control and Adaptivity in Scientific Computing (H. Bulgak and C. Zenger, eds), pp. 247-278. Kluwer Academic Publishers, 1998. M. Braack and R. Rannacher [42], Adaptive finite element methods for low Mach-number flows with chemical reactions.

With considerations such as complex-dimensional geometries and nonlinearity, the computational solution of partial differential systems has become so involved that it is important to automate decisions that have been normally left to the individual. This book covers such decisions: 1) mesh generation with links to the software generating the domain geometry, 2) solution accuracy and reliability with mesh selection linked to solution generation. This book is suited for mathematicians, computer scientists and engineers and is intended to encourage interdisciplinary interaction between the diverse groups.

Addressing students and researchers as well as Computational Fluid Dynamics practitioners, this book is the most comprehensive review of high-resolution schemes based on the principle of Flux-Corrected Transport (FCT). The foreword by J.P. Boris and historical note by D.L. Book describe the development of the classical FCT methodology for convection-dominated transport problems, while the design philosophy behind modern FCT schemes is explained by S.T. Zalesak. The subsequent chapters present various improvements and generalizations proposed over the past three decades. In this new edition, recent results are integrated into existing chapters in order to describe significant advances since the publication of the first edition. Also, 3 new chapters were added in order to cover the following topics: algebraic flux correction for finite elements, iterative and linearized FCT schemes, TVD-like flux limiters, acceleration of explicit and implicit solvers, mesh adaptation, failsafe limiting for systems of conservation laws, flux-corrected interpolation (remapping), positivity preservation in RANS turbulence models, and the use of FCT as an implicit subgrid scale model for large eddy simulations.