Computer Simulation Validation
Computer Simulation Validation
复制标题
计算机模拟验证
DOI：
--
复制
发表时间：
2019
期刊：
影响因子：
--
通讯作者：
Nicole J. Saam
中科院分区：
文献类型：
--
作者：
Claus Beisbart;Nicole J. Saam
为了介绍本书，我们解释了出版本书的动机，陈述了它的主要目标，描述了它的预期读者群，并概述了它的内容。为了达到这个目的，我们对每一章作了简要的总结，并把它放在整卷的上下文中。我们也借此机会强调章节之间的联系。最后，我们作一个简短的展望。出版这卷的主要动机是诊断计算机模拟的验证需要更多的关注在实践中和理论上。本卷的目的是提高我们对验证的理解。为此，计算机科学家、数学家、各个领域的工作科学家以及科学哲学家共同努力。他们解释了验证的基本概念和原则，将验证嵌入到贝叶斯认识论等哲学框架中，详细说明了验证过程中所需的步骤，提供了最佳实践示例，反思了验证的挑战，并将验证置于更广阔的视角。正如我们在展望中所建议的那样，计算机模拟的验证将仍然是一个重要的研究课题，需要跨学科的努力。一个关键的问题是，如果是的话，已经证明有用的非常严格的验证方法，工程学可以扩展到其他学科。
To provide an introduction to this book, we explain the motivation to publish this volume, state its main goal, characterize its intended readership, and give an overview of its content. To this purpose, we briefly summarize each chapter and put it in the context of the whole volume. We also take the opportunity to stress connections between the chapters. We conclude with a brief outlook. The main motivation to publish this volume was the diagnosis that the validation of computer simulation needs more attention in practice and in theory. The aim of this volume is to improve our understanding of validation. To this purpose, computer scientists, mathematicians, working scientists from various fields, as well as philosophers of science join efforts. They explain basic notions and principles of validation, embed validation in philosophical frameworks such as Bayesian epistemology, detail the steps needed during validation, provide best practice examples, reflect upon challenges to validation, and put validation in a broader perspective. As we suggest in our outlook, the validation of computer simulations will remain an important research topic that needs crossand interdisciplinary efforts. A key issue is whether, and if so, how very rigorous approaches to validation that have proven useful in, e.g., engineering can be extended to other disciplines.