LEADER 03883nam 22006615 450 001 9910254197603321 005 20200703121555.0 010 $a3-319-20553-6 024 7 $a10.1007/978-3-319-20553-3 035 $a(CKB)3710000000460480 035 $a(EBL)3568069 035 $a(SSID)ssj0001546958 035 $a(PQKBManifestationID)16140970 035 $a(PQKBTitleCode)TC0001546958 035 $a(PQKBWorkID)14796131 035 $a(PQKB)10312951 035 $a(DE-He213)978-3-319-20553-3 035 $a(MiAaPQ)EBC3568069 035 $a(PPN)188458336 035 $a(EXLCZ)993710000000460480 100 $a20150805d2016 u| 0 101 0 $aeng 135 $aur|n|---||||| 181 $ctxt 182 $cc 183 $acr 200 10$aVerifying Calculations - Forty Years On$b[electronic resource] $eAn Overview of Classical Verification Techniques for FEM Simulations /$fedited by Ludovic Chamoin, Pedro Díez 205 $a1st ed. 2016. 210 1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2016. 215 $a1 online resource (101 p.) 225 1 $aSpringerBriefs in Applied Sciences and Technology,$x2191-530X 300 $aDescription based upon print version of record. 311 $a3-319-20552-8 320 $aIncludes bibliographical references. 327 $aPreface, 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. 330 $aThis 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. 410 0$aSpringerBriefs in Applied Sciences and Technology,$x2191-530X 606 $aMechanics 606 $aMechanics, Applied 606 $aComputer simulation 606 $aComputer mathematics 606 $aTheoretical and Applied Mechanics$3https://scigraph.springernature.com/ontologies/product-market-codes/T15001 606 $aSimulation and Modeling$3https://scigraph.springernature.com/ontologies/product-market-codes/I19000 606 $aComputational Science and Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/M14026 615 0$aMechanics. 615 0$aMechanics, Applied. 615 0$aComputer simulation. 615 0$aComputer mathematics. 615 14$aTheoretical and Applied Mechanics. 615 24$aSimulation and Modeling. 615 24$aComputational Science and Engineering. 676 $a620 702 $aChamoin$b Ludovic$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aDíez$b Pedro$4edt$4http://id.loc.gov/vocabulary/relators/edt 906 $aBOOK 912 $a9910254197603321 996 $aVerifying Calculations - Forty Years On$92515394 997 $aUNINA