arXivDaily arXiv每日学术速递 周一至周五更新
arXiv周末暂无论文更新,休息一下吧,周末愉快~~
arXiv 2001.09101astro-ph.COastro-ph.GA
收藏

验证盒子里的宇宙

Validating the Universe in a Box

Chris Smeenk, Sarah C. Gallagher

摘要:

计算机模拟宇宙中大尺度结构的形成和演化是现代宇宙学事业不可或缺的一部分。建立这些模拟的可靠性是非常具有挑战性的,主要是因为认识的不透明性。在这种情况下,鲁棒性分析所定义的要求收敛输出从不同的合奏模拟是不够的,以确定模拟的有效性。相反,我们提出了一种结构化代码验证的替代路径,该路径应用排除式推理来隔离和减少可能的错误来源,这是一种已经被一些宇宙学家探索的潜在路径。

英文摘要:

Computer simulations of the formation and evolution of large scale structure in the universe are integral to the enterprise of modern cosmology. Establishing the reliability of these simulations has been extremely challenging, primarily because of epistemic opacity. In this setting, robustness analysis defined by requiring converging outputs from a diverse ensemble of simulations is insufficient to determine simulation validity. Instead, we propose an alternative path of structured code validation that applies eliminative reasoning to isolate and reduce possible sources of error, a potential path that is already being explored by some cosmologists.

机构、总结、中文摘要均由AI分析而来,可能存在错误,请以论文正文为准。

↑