×

兹马思-数学第一资源

一种求解大型稠密线性系统的有效方法。(英语) Zbl公司 1363.65088
摘要:自动结果验证是一个重要的工具,可以保证完全不准确的结果在数值计算过程中不被注意就不能用于决策。验证计算所提供的数学严密性允许计算包含给定问题精确解的封闭空间。在可靠性方面,特别是线性系统的可靠性可以从这项技术中获益。然而,为了计算线性系统的精确结果的包围,需要更多的浮点运算,从而增加了执行时间。在这种情况下,并行性是提高求解器性能的一个很好的选择。在这篇文章中,我们提出了一种在机群上验证计算的大型稠密线性系统的方法。这种方法使我们的并行解算器能够计算具有高达100000维的点或区间输入矩阵的大型线性系统。数值实验表明,本文提出的新版本的并行解算器具有良好的相对加速性能,并提供了可靠的精确解算结果。
审核人: 评审员(柏林)

理学硕士:
6520国集团 自动结果验证算法
65华氏度 线性系统的直接数值方法与矩阵反演
6505年 并行数值计算
65G30型 区间与有限算法
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] Baboulin,大型密集对称系统的并行分布式求解器:在大地测量学和电磁学问题中的应用,国际高速计算杂志19(4)pp 353–(2005)
[2] Stpiczynski P Paprzycki M在高性能计算机上求解稠密线性代数问题的数值软件APLIMAT 2005:第四届应用数学国际会议论文集布拉迪斯拉发,斯洛伐克共和国2005 207 218
[3] 张,PARELEC'02:电气工程并行计算国际会议论文集312–(2002)·doi:10.1109/PCEE.2002.1115280
[4] Rump,验证方法:使用浮点运算的严格结果,《数值学报》第19卷第287页–(2010年)·Zbl公司 1323.65046·doi:10.1017/S096249291000005X
[5] Kearfott,区间计算:导论,使用和资源,欧洲数学公报2(1)(1996)
[6] 鲁姆,快速并行区间算法,位数值数学39(3)pp 534–(1999)·Zbl公司 942.65048·doi:10.1023/年:1022374804152
[7] Rump,《可靠计算的发展》第77页–(1999年)·doi:10.1007/978-94-017-1247-7_7
[8] Kolberg,第2006段:应用并行计算。科学计算技术第949页–(2008年)
[9] Kolberg,VECPAR 2006:第七届计算科学高性能计算国际会议179–(2006)
[10] Kolberg,VECPAR 2008:计算科学的高性能计算pp 13–(2008)·Zbl公司 05502080·doi:10.1007/978-3-540-92859-1_3
[11] Kolberg M Dorn M Fernandes LG Bohlender G不确定输入数据的并行验证线性系统解算器第20届计算机体系结构和高性能计算国际研讨会,SBAC-PAD 2008 IEEE计算机学会,巴西坎波格兰德,2008 89 96
[12] 《稠密线性系统:并行自验证求解器》,国际并行编程杂志36页412–(2008)·Zbl公司 1154.68361·doi:10.1007/s10766-007-0058-x
[13] Baker,集群计算:商品超级计算机,软件实践与经验29页551–(1999)·数字标识:10.1002/(SICI)1097-024X(199905)29:6<551::AID-SPE248>3.0.CO;2-C型
[14] Hedayat GA数值线性代数与计算机体系结构:一个不断发展的交互技术报告UMCS-93-1-5曼彻斯特,英格兰1993年
[15] Saad,稀疏线性系统的迭代方法(1995)
[16] D'Azevedo,《并行核心外ScaLAPACK LU、QR和Cholesky因子分解例程的设计与实现》,并发实践与经验12(15)页1481–(2000)·Zbl公司 1008.68577·内政部:10.1002/1096-9128(20001225)12:15<1481::AID-CPE540>3.0.CO;2伏
[17] Klatte,C-XSC-一个用于扩展科学计算的C++类库(1993)
[18] Rump SM Kleine Fehlerschranken bei Matrixproblemen博士论文1980
[19] Feng T Flueck AJ AMessage Passing Distributed Memory Newton GMRES并行潮流算法IEEE电力工程学会2002年夏季会议论文集1477 1482
[20] Demmel JW Heath MT van der Vorst HA并行数值线性代数技术报告UCB CSD-92-703 1993
[21] 2013年LAPACK用户指南http://www.netlib.org/lapack/lug/。已访问
[22] Dongarra,一套3级基本线性代数子程序,ACM数学软件汇刊16页1–(1990)·Zbl公司 900.65115·数字标识:10.1145/77626.79170
[23] Dongarra,《93年超级计算:1993年ACM/IEEE超级计算大会论文集》第162页–(1993年)
[24] MathWorks,MATLAB,技术计算语言(2001)
[25] INTLAB INTerval实验室2013http://www.ti3.tu harburg.de/rump/intlab/。已访问
[26] Zimmer M Kr公司ämer W Bohlender G Hofschuster W扩展C-XSC库,标量产品,可选择精度技术报告BUW-WRSWT 2009/4德国2009
[27] Rump,第三届国际数学软件大会论文集,日本神户,2010年9月13日至17日(ICMS 2010)第105页–(2010年)
[28] Rump SM快速区间矩阵乘法,将在2012年的数值算法中发表
[29] Nguyen HD Revol N使用区间算术扫描的线性代数的精度问题2010年:第14届GAMM-IMACS科学计算、计算机算术和验证数字国际研讨会里昂,法国里昂,2010年
[30] Nguyen HD Revol N使用区间算术的高性能线性代数PASCO 2010 Grenoble,France 2010 171 172
[31] Nguyen HD Revol N精炼和有效验证线性系统解决方案Dagstuhl研讨会11371:不确定性建模与区间分析:基础、工具、应用,德国达格斯图尔,2011年11月16日
[32] Facius线性系统迭代求解的改进算法与结果验证博士论文2000
[33] 1998年博士论文
[34] 1997年博士学位论文
[35] Kolberg,大型稠密线性区间方程组的高效并行求解器,可靠计算15(3)pp 193–(2011)
[36] 克朗ämer,《当前硬件体系结构中的数值验证》第230页–(2009年)·Zbl公司 05549976·doi:10.1007/978-3-642-01591-5 U 15
[37] P1788 IEEE区间算法标准http://grouper.ieee.org/groups/1788/PositionPapers/VanSnyderP1788.pdf.已访问
[38] Neumaier改进的区间包围可靠计算
[39] Bohlender,计算机算法和自验证数值方法第1页–(1990)·doi:10.1016/B978-0-12-708245-5.50006-3
[40] 库利什,《理论与实践中的计算机算法》(1981)
[41] Ogita T Rump SM Oishi S无定向舍入线性系统验证解技术报告2005-04早稻田大学,东京,日本
[42] Revol N Makino K Berz M Taylor模型和浮点运算:证明算法运算在ira RR-4737 2003中的COSY技术报告中得到了验证·Zbl公司 1080.68519
[43] Hammer,C++验证科学计算工具箱I:基本数值问题(1997)
[44] Alefeld,区间计算导论(1983)
[45] Kolberg M Cordeiro D Bohlender G Fernandes LG Goldman一种用于求解双核处理器中线性系统的多线程验证方法第九届科学与并行计算技术现状国际研讨会Springer Berlin/Heidelberg
[46] Agullo E Dongarra J Hadri B Kurzak J Langou J Ltaief H Luszczek P YarKhan血浆用户指南,访问日期:2013年4月19日
[47] Milani,VECPAR 2010:计算科学的高性能计算第435页–(2010年)
[48] Tomov S Nath R Du P Dongarra J岩浆用户指南http://icl.cs.utk.edu/projectsfiles/magma/docs/magma-v02.pdf.已访问
[49] Snir,MPI:完整参考文献(1996)
[50] Dongarra J Walker D LAPACK工作注释58:高性能计算机线性代数库的设计技术报告UT-CS-93-188,美国田纳西州诺克斯维尔,1993年
[51] Blackford LS Choi J Cleary A Demmel J Dhillon I Dongarra J Ham-marling S Henry G A Petitet Stanley K Walker D Whaley RC ScaLAPACK:用于分布式内存计算机的便携式线性代数库设计问题和性能超级计算:1996年ACM/IEEE超级计算会议论文集IEEE计算机学会出版社,匹兹堡,宾夕法尼亚州,美国1996年
[52] Choi J Demmel J Dhillon I Dongarra J Ostrouchov S Petitet A Stanley K Walker D Whaley LAPACK工作注释95 RC ScaLAPACK:用于分布式存储计算机的便携式线性代数库设计问题和性能技术报告UT-CS-95-283,美国田纳西州诺克斯维尔,1995年·Zbl公司 926.65148
[53] Kolberg,VECPAR 2010:计算科学的高性能计算pp 394–(2010)
[54] 托莱多对数值线性代数核外算法的研究美国1999年161 179·Zbl公司 943.65036
[55] Gregory,用于测试计算算法的矩阵集合(1969)
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。