×
格雷拉特，S。;Jézéquel，F。;R·皮科特。

用随机算法对补偿求和算法进行数值验证。 （英语） Zbl 1352.65666号

Bogomolov，Sergiy（编辑）等人，基于2014年7月17日至18日和2015年4月13日在奥地利维也纳举行的第七届和第八届数值软件验证国际研讨会上所作陈述的论文选集。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》317，55-69（2015）。
摘要：设计补偿求和算法是为了提高病态求和的准确性。它们基于FastTwoSum等算法，这些算法经证明可以提供两个浮点数之和以及相关的舍入误差，并且舍入到最接近的值。离散随机算法可以估计数字代码中舍入误差的传播。它需要一种随机取整模式，即以相同的概率将每个计算结果取整到\（-\infty \）或\（+\infty\）。在本文中，我们分析了这种随机舍入模式对基于FastTwoSum算法的补偿求和的影响。在离散随机算法控制的数值模拟中，我们展示了使用这种补偿求和获得的精度改进。
有关整个系列，请参见[Zbl 1325.68012号].

引用于4文件

MSC公司：

6504年 计算机算术的数值算法等。
65克50 舍入误差

关键词：

浮点运算;舍入误差;离散随机算法;无错误转换;补偿算法;求和算法;CADNA

软件：

CADNA;mctoolbox软件
PDF格式BibTeX公司 XML格式引用
\textit{S.Graillat}等人，《电子》。理论注释。计算。科学。317、55-69（2015年；Zbl 1352.65666）
全文： 内政部

参考文献：

[1] Jézéquel，F。；Chesneaux，J.-M.，《CADNA:估算舍入误差传播的库》，《计算机物理通信》，178，12，933-955（2008）·Zbl 1196.65020号
[2] Vignes，J.，《验证数值软件结果的离散随机算法》，《数值算法》，第37、1-4、377-390页（2004年12月）·Zbl 1074.65055号
[4] 切斯诺，J.-M。；格雷亚特，S。；Jézéquel，F.，计算机科学与工程百科全书，舍入误差，第4卷，2480-2494（2009），威利
[5] Kahan，W.，《关于减少截断误差的进一步评论》，ACM委员会，8，40（1965）
[6] Priest，D.M.，《关于浮点算术的性质：数值稳定性和精确计算的成本》（1992年11月），加利福尼亚大学数学系：美国加州大学伯克利分校数学系，博士论文
[7] Higham，N.J.，《数值算法的准确性和稳定性》（2002年），工业和应用数学学会（SIAM）：工业与应用数学学会，宾夕法尼亚州费城·Zbl 1011.65010号
[8] Ogita，T。；臀部，S.M。；Oishi，S.，《精确和和点积》，SIAM J.Sci。计算。，26, 6, 1955-1988 (2005) ·Zbl 1084.65041号
[9] Dekker，T.J.，《扩展可用精度的浮点技术》，《数值数学》，18，3，224-242（1971）·Zbl 0226.65034号
[10] Vignes，J.，《可靠科学计算的随机算法》，《模拟中的数学和计算机》，35，233-261（1993）
[11] Chesneaux，J.-M.，L'arithmétique随机与逻辑CADNA。《生活习惯》（1995年11月），法国巴黎皮埃尔和玛丽·居里大学
[12] Vignes，J.，Zéro mathematique et Zéro informatique，Comptes Rendus de l'Académie des Sciences-Series I-数学。Comptes Rendus de l'Académie des Sciences-第一辑-数学，《科学人生》，4，1，997-1000（1987），也·Zbl 0624.68047号
[13] Chesneaux，J.-M。；Vignes，J.，Les fondements de l’arithmeétique stochastique，《科学之门-第一辑-数学》，3151435-1440（1992）·Zbl 0778.65035号
[14] 穆勒，J.-M。；北布里斯巴雷。；de Dinechin，F。；珍妮罗德，C.-P。；列夫雷，V。；Melquiond，G。；Revol，N。；Stehlé，D。；Torres，S.，《浮点运算手册》（2010），Birkhäuser:Birkháuser Boston·Zbl 1197.65001号
[15] 德梅尔，J。；Nguyen，H.D.，快速可再现浮点求和，（第21届IEEE计算机算术研讨会，第21届计算机算术IEEE研讨会，美国德克萨斯州奥斯汀，2013年4月7日至10日），163-172
[16] Sterbenz，P.H.，浮点计算。自动计算中的Prentice-Hall级数（1973）
[17] Hauser，J.R.，《处理数字程序中的浮点异常》，ACM Trans。程序。语言系统。，18, 2, 139-174 (1996)
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。