03856nam 22006615 450 991025419760332120200703121555.03-319-20553-610.1007/978-3-319-20553-3(CKB)3710000000460480(EBL)3568069(SSID)ssj0001546958(PQKBManifestationID)16140970(PQKBTitleCode)TC0001546958(PQKBWorkID)14796131(PQKB)10312951(DE-He213)978-3-319-20553-3(MiAaPQ)EBC3568069(PPN)188458336(EXLCZ)99371000000046048020150805d2016 u| 0engur|n|---|||||txtccrVerifying Calculations - Forty Years On An Overview of Classical Verification Techniques for FEM Simulations /edited by Ludovic Chamoin, Pedro Díez1st ed. 2016.Cham :Springer International Publishing :Imprint: Springer,2016.1 online resource (101 p.)SpringerBriefs in Applied Sciences and Technology,2191-530XDescription based upon print version of record.3-319-20552-8 Includes bibliographical references.Preface, by Ludovic Chamoin and Pedro Díez -- Explicit Residual Methods, by Yvon Maday -- Residual type error estimators, by Antonio Huerta and Pedro Díez -- Fundaments of recovery-based error estimation and bounding, by E. Nadal and J.J. Ródenas -- The Constitutive Relation Error Method: a general verification tool, by Pierre Ladevèze and Ludovic Chamoin.This work provides an overview of a posteriori error assessment techniques for Finite Element (FE) based numerical models. These tools aim at estimating and controlling the discretization error in scientific computational models, being the basis for the numerical verification of the FE solutions. The text discusses the capabilities and limitations of classical methods to build error estimates which can be used to control the quality of numerical simulations and drive adaptive algorithms, with a focus on Computational Mechanics engineering applications. Fundamentals principles of residual methods, smoothing (recovery) methods, and constitutive relation error (duality based) methods are thus addressed along the manuscript. Attention is paid to recent advances and forthcoming research challenges on related topics.  The book constitutes a useful guide for students, researchers, or engineers wishing to acquire insights into state-of-the-art techniques for numerical verification.SpringerBriefs in Applied Sciences and Technology,2191-530XMechanicsMechanics, AppliedComputer simulationComputer mathematicsTheoretical and Applied Mechanicshttps://scigraph.springernature.com/ontologies/product-market-codes/T15001Simulation and Modelinghttps://scigraph.springernature.com/ontologies/product-market-codes/I19000Computational Science and Engineeringhttps://scigraph.springernature.com/ontologies/product-market-codes/M14026Mechanics.Mechanics, Applied.Computer simulation.Computer mathematics.Theoretical and Applied Mechanics.Simulation and Modeling.Computational Science and Engineering.620Chamoin Ludovicedthttp://id.loc.gov/vocabulary/relators/edtDíez Pedroedthttp://id.loc.gov/vocabulary/relators/edtBOOK9910254197603321Verifying Calculations - Forty Years On2515394UNINA