arXivDaily arXiv每日学术速递 周一至周五更新
arXiv 1807.09655math.NAcs.NAstat.APstat.CO
收藏

随机算法的置信区间

Confidence Intervals for Stochastic Arithmetic

Devan Sohier, Pablo de Oliveira Castro, François Févotte, Bruno Lathuilière, Eric Petit, Olivier Jamond

摘要:

量化工业科学计算代码中使用浮点(FP)计算所导致的错误和损失是验证、确认和不确定性量化(VVUQ)过程的重要组成部分。随机算法是一种建模和估计FP精度损失的方法,它可以很好地扩展到大型工业代码。它存在于不同的风格中,如CESTAC或MCA,在各种工具中实现,如CADNA,Verifironlo或Verrou。这些方法和工具是基于这样的想法,即FP的准确性损失可以通过随机性来建模。因此,他们都需要对程序结果进行统计分析,以估计结果的显著性。在本文中,我们提出了一个框架,执行一个坚实的统计分析的随机算术。该框架统一了所有现有的有效数字的定义(CESTAC和MCA),并提出了一个新的感兴趣的数量:数字的数量有助于结果的准确性。声音置信区间提供了所有估计,无论是在正态分布的结果的情况下,在一般情况下。这个框架的使用证明了两个案例研究的大型,工业代码:Europlexus和code_aster。

英文摘要:

Quantifying errors and losses due to the use of Floating-Point (FP) calculations in industrial scientific computing codes is an important part of the Verification, Validation and Uncertainty Quantification (VVUQ) process. Stochastic Arithmetic is one way to model and estimate FP losses of accuracy, which scales well to large, industrial codes. It exists in different flavors, such as CESTAC or MCA, implemented in various tools such as CADNA, Verificarlo or Verrou. These methodologies and tools are based on the idea that FP losses of accuracy can be modeled via randomness. Therefore, they share the same need to perform a statistical analysis of programs results in order to estimate the significance of the results. In this paper, we propose a framework to perform a solid statistical analysis of Stochastic Arithmetic. This framework unifies all existing definitions of the number of significant digits (CESTAC and MCA), and also proposes a new quantity of interest: the number of digits contributing to the accuracy of the results. Sound confidence intervals are provided for all estimators, both in the case of normally distributed results, and in the general case. The use of this framework is demonstrated by two case studies of large, industrial codes: Europlexus and code_aster.

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

↑