000 07223nam a22005655i 4500
001 978-3-319-70766-2
003 DE-He213
005 20240423125005.0
007 cr nn 008mamaa
008 190409s2019 sz | s |||| 0|eng d
020 _a9783319707662
_9978-3-319-70766-2
024 7 _a10.1007/978-3-319-70766-2
_2doi
050 4 _aQA76.9.C65
072 7 _aUYM
_2bicssc
072 7 _aCOM072000
_2bisacsh
072 7 _aUYM
_2thema
082 0 4 _a003.3
_223
245 1 0 _aComputer Simulation Validation
_h[electronic resource] :
_bFundamental Concepts, Methodological Frameworks, and Philosophical Perspectives /
_cedited by Claus Beisbart, Nicole J. Saam.
250 _a1st ed. 2019.
264 1 _aCham :
_bSpringer International Publishing :
_bImprint: Springer,
_c2019.
300 _aXIII, 1074 p. 105 illus., 58 illus. in color.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSimulation Foundations, Methods and Applications,
_x2195-2825
505 0 _aIntroduction -- Part I: Foundations – Basic Conceptions in Simulation Model Validation -- What Is Validation of Computer Simulations? -- Simulation Accuracy, Uncertainty, and Predictive Capability -- Verification and Validation Principles from a Systems Perspective -- Errors and Uncertainties -- Part II: Foundations – Validation as a Scientific Method: Philosophical Frameworks for Thinking about Validation -- Invalidation of Models and Fitness-for-purpose -- Simulation Validation from a Bayesian Perspective -- Validation of Computer Simulations from a Kuhnian Perspective -- Understanding Simulation Validation -- Part III: Methodology – Preparatory Steps -- Assessing the Credibility of Conceptual Models -- The Foundations of Verification in Modeling and Simulation -- The Method of Manufactured Solutions for Code Verification -- Validation Metrics: A Case for Pattern-based Methods -- Analyzing Output from Stochastic Computer Simulations -- Part IV: Methodology – Points of Reference and Related Techniques -- The Use of Experimental Data in Simulation Model Validation -- How to Use and Derive Stylized Facts for Validating Simulation Models -- The Users’ Judgements -- Validation Benchmarks and Related Metrics -- Part V: Methodology – Mathematical Frameworks and Related Techniques -- Testing Simulation Models Using Frequentist Statistics -- Validation Using Bayesian Methods -- Imprecise Probabilities -- Objective Uncertainty Quantification -- Part VI: Methodology – The Organization and Management of Simulation Validation -- Standards for Evaluation of Atmospheric Models in Environmental Meteorology -- The Management of Simulation Validation -- Valid and Reproducible Simulation Studies -- Part VII: Validation at Work – Best Practice-Examples -- Validation of Particle Physics Simulation -- Validation in Fluid Dynamics and Related Fields -- Astrophysical Validation -- Validation in Weather Forecasting -- Validation of Climate Models: An Essential Practice -- Validation of Agent-based Models in Economics and Finance -- Part VIII: Challenges in Simulation Model Validation -- Validation and Equifinality -- Validation and Overparameterization -- Uncertainty Quantification Using Multiple Models -- Challenges to Simulation Validation in the Social Sciences -- Validation and the Uniqueness of Historical Events -- Part IX: Reflecting on Simulation Validation: Philosophical Perspectives and Discussion Points -- What Is a Computer Simulation and What Does This Mean for Simulation Validation? -- How Do the Validations of Simulations and Experiments Compare? -- How Does Holism Challenge the Validation of Computer Simulation? -- What Types of Values Enter Simulation Validation and What are Their Roles? -- Calibration, Validation, and Confirmation -- Should Validation and Verification Be Separated Strictly? -- The Multi-Dimensional Epistemology of Computer Simulations.
520 _aThis 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. Prof. Dr. Dr. Claus Beisbart is Professor for Philosophyof Science (Extraordinarius) in the Institute for Philosophy at the University of Bern, Switzerland. Prof. Dr. Nicole J. Saam is Professor for Sociology (Chair) in the Institute of Sociology at Friedrich-Alexander University Erlangen-Nürnberg, Germany.
650 0 _aComputer simulation.
650 0 _aElectronic digital computers
_xEvaluation.
650 0 _aComputer science
_xMathematics.
650 0 _aScience
_xPhilosophy.
650 1 4 _aComputer Modelling.
650 2 4 _aSystem Performance and Evaluation.
650 2 4 _aMathematical Applications in Computer Science.
650 2 4 _aPhilosophy of Science.
700 1 _aBeisbart, Claus.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
700 1 _aSaam, Nicole J.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783319707655
776 0 8 _iPrinted edition:
_z9783319707679
830 0 _aSimulation Foundations, Methods and Applications,
_x2195-2825
856 4 0 _uhttps://doi.org/10.1007/978-3-319-70766-2
912 _aZDB-2-SCS
912 _aZDB-2-SXCS
942 _cSPRINGER
999 _c172985
_d172985