×

大型线性系统的验证数值计算。 (英语) Zbl 07332698

摘要:本文研究线性系统的精度保证数值计算。由于超级计算机的飞速发展,可处理的问题规模越来越大。一般来说,问题规模越大,浮点算法中的舍入误差越大,得到的数值解就越不准确。因此,验证数值解的准确性是非常重要的。验证的数值计算用于产生数值解的误差边界。本文报道了用rikenk计算机和fujitsuprimehpc FX100对大型线性系统进行验证的方法和一些数值结果,表明验证的数值计算具有较高的性能。

理学硕士:

6520国集团 自动结果验证算法
65克50 舍入误差
6505年 并行数值计算
PDF格式 BibTeX公司 XML 引用
全文: 内政部

参考文献:

[1] 五十、 S.Blackford,J.Choi,A.Cleary,E.D'Azevedo,J.Demmel,I.Dhillon;J、 东加拉;S、 汉马林;G、 亨利;A、 娇小;K、 斯坦利;D、 沃克;R、 C.Whaley,ScaLAPACK-可伸缩线性代数包,可在http://www.netlib.org/scalapack/(2019年)·Zbl 0886.65022
[2] 卡斯塔尔多,A.M。;华利特区。;Chronopoulos,A.T.,《使用超块算法家族减少点积中的浮点误差》,暹罗J.Sci。计算机。2008年第31期,第1156-1174页·Zbl 1189.65076
[3] 富士通,富士通超级计算机PRIMEHPC FX100,可从{\def{}\let\relax\brokenlink获得{https://www.fujitsu.com/global/products/computing/servers/}{超级计算机/primehpc-fx100/}}(2020)
[4] Higham,N.J.,数值算法的准确性和稳定性,工业和应用数学学会,费城(2002)·Zbl 1011.65010
[5] 新泽西州海姆市。;Mary,T.,《概率舍入误差分析的新方法》,暹罗科学出版社。计算机。41(2019年),A2815-A2835·中银07123205
[6] 协会,IEEE计算机,IEEE浮点运算标准:IEEE Std 754-2008,IEEE,纽约(2008)
[7] 杰纳罗德,C.-P。;Rump,S.M.,浮点运算内积的改进误差界,暹罗J.矩阵分析。申请。第34卷(2013年),338-344页·Zbl 1279.65052
[8] 科尔伯格,M。;博莱格。;Fernandes,L.G.,《一种求解大型稠密线性系统的有效方法》,Numer。线性代数应用。22(2015年),299-316·Zbl 1363.65088号
[9] 十、 Li,J.Demmel,D.Bailey;Y、 希达;J、 依斯干达;A、 卡普尔;M、 马丁;B、 汤普森;T、 东;D、 Yoo,XBLAS-超精密基本线性代数子程序,可在https://www.netlib.org/xblas/(2008年)
[10] 南弥哈塔,A。;塞金,K。;奥吉塔。;臀部,S.M。;大石,等.具有\(H\)-矩阵的线性系统的改进误差界,非线性理论应用。,IEICE 6(2015),第377-382页
[11] 莫里库拉,Y。;小崎,K。;Oishi,S.,线性系统的验证方法,使用近邻舍入法,非线性理论应用。,IEICE 4(2013),12-22
[12] Nakata,M.,MPACK:多精度算术BLAS(MBLAS)和LAPACK(MLAPACK),可在http://mplapack.sourceforge.net/(2011年)
[13] Neumaier,A.,线性区间方程Hansen-Bliek-Rohn-Ning-Kearfott封闭式的简单推导,Reliab。计算机。5(1999年),第131-136页·Zbl 0936.65055
[14] 奥吉塔。;Oishi,S.,大规模线性方程组的快速验证,IPSJ Trans。46(2005年),10-18日日语
[15] 奥吉塔。;大石,S。;Ushiro,Y.,线性方程组近似解的严格分量误差界的计算,Reliab。计算机。9(2003年),229-239·Zbl 1029.65045
[16] 奥吉塔。;臀部,S.M。;大石,S.,精确和与点积,暹罗科学杂志。计算机。第26期(2005年),1955年至1988年·Zbl 1084.65041
[17] 奥吉塔。;臀部,S.M。;无定向舍入线性系统的验证解:第2005-04号技术报告,早稻田大学科学与工程高级研究所,东京(2005)
[18] 大石,S。;Rump,S.M.,矩阵方程解的快速验证,Numer。数学。第90卷(2002年),755-773页·Zbl 0999.65015
[19] 小崎,K。;Ogita,T.,《数值实验用特定解生成线性系统》,Reliab。计算机。第25期(2017年),第148-167页
[20] 小崎,K。;奥吉塔。;宫城县。;大石,S。;Rump,S.M.,适用于Java的线性系统的验证解的一种方法,J.Comput。申请。数学。199(2007年),337-344·Zbl 1108.65019
[21] 小崎,K。;奥吉塔。;Oishi,S.,一种自动选择适用于线性系统的验证方法的算法,Numer。算法56(2011),363-382·Zbl 1209.65051
[22] Petitet,A.,PBLAS-并行基本线性代数子程序,可从\brokenlink获得{http://www.netlib.org/scalapack/{pblas qref.html}}
[23] 科学,里肯计算中心,什么是K?,可在https://www.r-ccs.riken.jp/en/k-computer/about/(2019年)
[24] Karlsemälemälemän,德国卡尔斯梅大学,1980年,卡尔斯梅大学博士论文·Zbl 0437.65036
[25] 鲁姆,S.M.,稠密线性系统的精确解I:四舍五入算法,J.Comput。申请。数学。242(2013年),157-184·Zbl 1255.65084
[26] Rump,S.M.,稠密线性系统的精确解II:使用定向舍入的算法,J.Comput。申请。数学。242(2013年),185-212·Zbl 1260.65034
[27] 迭代求精意味着高斯消去的数值稳定性,数学。计算机。第35卷(1980年),817-832页·Zbl 0441.65027
[28] Strassen,V.,高斯消去不是最优的。数学。第13卷(1969年),第354-356页·Zbl 0185.40101
[29] 北山中。;奥吉塔。;臀部,S.M。;精确点积的并行算法,并行计算。34(2008年),392-410\99999 doi99999 10.1016/j.parco.2008.02.002\goodbreak
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。