×

兹马思-数学第一资源

快速区间矩阵乘法。(英语) Zbl 1264.65065
讨论了点矩阵和/或区间矩阵与区间结果相乘的各种方法。有些是基于对浮点矩阵乘积误差的新的先验估计。分析了包括舍入误差在内的高估量。重点研究了下确界上确界到中点半径表示的转换算法,并证明其中一种算法是最优的。所有方法都比经典方法快得多,因为几乎不需要切换舍入模式,而且这些方法基于高度优化的BLAS3例程。本文讨论了用高估值与计算量进行交易的几种可能性。文中给出了数值算例,重点讨论了区间矩阵乘法的应用。

理学硕士:
65层30 其他矩阵算法(MSC2010)
65G30型 区间与有限算法
PDF格式 BibTeX公司 XML 引用
全文: 内政部
参考文献:
[1] ACRITH:IBM高精度算术子程序库,第三版。IBM Deutschland GmbH,Schönaicher Strasse 220,71032 Böblingen(1986年)
[2] ARITHMOS,Benutzerhandbuch,西门子股份公司,Bibl-编号:U 2900-I-Z87-1版(1986年)
[3] Dongarra,J.J.,Du Croz,J.J.,Duff,I.S.,Hammarling,S.J.:一组三级基本线性代数子程序。ACM传输。数学。软。16,1–17(1990年)·Zbl 0900.65115号
[4] 例如:计算中的陷阱,或者为什么一本数学书是不够的。是。数学。周一。77931-956年(1970年)·中银0207.15401
[5] 用区间运算证明猜想。在:Kulisch,U.等人(编辑)关于封闭方法的观点。SCAN 2000,GAMM-IMACS科学计算、计算机算术和有效数字国际研讨会,德国卡尔斯鲁厄大学,2000年9月19-22日,维也纳。斯普林格(2001)
[6] Gargantini,I.,Henrici,P.:循环算术和多项式零点的确定。数字。数学。18305-320年(1972年)·中银0228.65038
[7] Goldberg,D.:每个计算机科学家都应该知道的浮点运算。ACM计算机。第23卷第1卷,第5-47卷(1991年)
[8] Goto,K.,Van De Geijnn,R.3级blas的高性能实现。ACM传输。数学。软。35 1–14(2008年)·ZB055ZB458505
[9] 你如何计算一个区间的中点?技术报告,CNRS,利纳,UMR 6241,南特大学(2011年)·Zbl 1305.65252
[10] Hauser,J.R.:在数值程序中处理浮点异常。ACM传输。程序。语言系统。第18卷第2期,第139-174页(1996年)·Zbl 01936246
[11] Higham,N.J.:数值算法的准确性和稳定性,第二版。暹罗出版物,费城(2002)·Zbl 1011.65010
[12] ANSI/IEEE 754-1985:二进制浮点运算的IEEE标准。纽约(1985)
[13] ANSI/IEEE 754-2008:IEEE浮点运算标准。纽约(2008)
[14] Jacobi,C.,Oh,H.J.,Tran,K.D.,Cottier,S.R.,Michael,B.W.,Nishikawa,H.,Totsuka,Y.,Namatame,T.,Yano,N.:细胞处理器协同处理器元件中的向量浮点单元。在:ARITH 2005:第17届IEEE计算机算法研讨会论文集,第59-67页,华盛顿(2005)
[15] Jacobi,C.,Oh,H.-J.,Tran,K.D.,Cottier,S.R.,Michael,B.W.,Nishikawa,H.,Totsuka,Y.,Namatame,T.,Yano,N.:细胞处理器协同处理器元件中的向量浮点单元。在:ARITH'05:第17届IEEE计算机算法研讨会论文集,第59-67页,华盛顿特区,美国。IEEE计算机协会(2005)
[16] Kearfott,R.B.,Dawande,M.,Du,K.,Hu,C.:Intlib:一个可移植的Fortran-77基本函数库。间隔计算。3(5),96–105(1992年)·Zbl 0829.65147
[17] Klatte,R.,Kulisch,U.,Wiethoff,A.,Lawo,C.,Rauch,M.:C-XSC:用于扩展科学计算的C++类库。斯普林格,柏林(1993)·Zbl 0814.68035
[18] Knüppel,O.:PROFIL/BIAS–一个快速间隔库。计算53277-287(1994)·Zbl 0808.65055
[19] Knüppel,O.:PROFIL/BIAS and extensions,2.0版。技术报告,第三信息技术研究所,汉堡哈尔堡理工大学(1998年)
[20] 马尔科姆:关于精确浮点求和。公社。ACM 14(11),731–736(1971年)·中银0226.68020
[21] Markoff,J.:用手写最快的代码是为了好玩:人类的计算机不断加速芯片的速度。纽约时报(2005)
[22] 数字计算中的区间运算与自动误差分析。毕业论文,斯坦福大学(1963年)
[23] Muller,J.M.,Brisebarre,N.,de Dinechin,F.,Jeannerod,C.P.,Lefèvre,V.,Melquiond,G.,Revol,N.,StehléD.,Torres,S.:浮点运算手册。Birkhäuser Boston(2010年)·Zbl 1197.65001
[24] Nakao,M.T.:用H 1型残差迭代法解决非线性椭圆问题的结果验证。计算补遗9 161–173(1993)·Zbl 0802.65111
[25] Nakao,M.T.:椭圆问题解存在性证明的数值方法。日本。J、 申请。数学。5(2),313–332(1988年)·Zbl 0694.35051
[26] Nakao,M.T.,Hashimoto,K.,Watanabe,Y.:验证线性椭圆算子可逆性的数值方法及其在非线性问题中的应用。计算75,1-14(2005)·Zbl 1151.35337
[27] Neumaier,A.:方程组的区间方法。数学百科全书及其应用。剑桥大学出版社(1990)·Zbl 0715.65030
[28] Neumaier,A.:关于区间标准化的维也纳提案(2008年)。http://www.mat.univie.ac.at/\(\sim\)neum/文件。html。访问日期:2011年12月6日
[29] Nguyen,H.D.,Revol,N.:线性代数中使用区间算术的精度问题。参加:里昂扫描会议(2010)
[30] Oishi,S.,Rump,S.M.:矩阵方程解的快速验证。数字。数学。90(4),755–773(2002年)·Zbl 0999.65015
[31] Ozaki,K.,Ogita,T.,Rump,S.M.,Oishi,S.:使用3级BLAS运算实现精确矩阵乘法。2008年非线性理论及其应用国际研讨会论文集,第508-511页,NOLTA'08,布达佩斯,匈牙利。IEICE(2008年)
[32] 梅:非线性椭圆型边值问题解的数值存在性证明和显式界。计算49(1),25–44(1992)·Zbl 0771.65087
[33] 梅:半线性椭圆边值问题的存在性和多重性证明。Berijah第19期(2008年第54期),DMV·Zbl 1185.35101
[34] Poljak,S.,Rohn,J.:检验鲁棒非奇异性是NP难的。数学。控制信号系统。6,1-9(1993年)·07ZB02937号
[35] Rump,S.M.:Kleine Fehlerschranken bei Matrixproblemen。卡尔斯鲁厄大学博士论文(1980)·Zbl 0437.65036
[36] Rump,S.M.:快速并行区间算法。位编号。数学。39(3),539–560(1999年)·Zbl 0942.65048
[37] Rump,S.M.:INTLAB-INTerval实验室。In:Csendes,T.(编辑),《可靠计算的发展》,第77-104页。杜德雷赫特Kluwer学术出版社(1999)·Zbl 0949.65046
[38] Rump,S.M.:浮点中极端病态矩阵的求逆。日本。J、 工业应用。数学。2009年1月26日至29日·Zbl 1185.65050
[39] Rump,S.M.:验证方法:使用浮点运算的严格结果。编号行动。19287-449(2010年)·Zbl 1323.65046
[40] Rump,S.M.:浮点求和与点积的误差估计。比特币(2011年,正在出版)·Zbl 1243.65047
[41] Rump,S.M.,Ogita,T.,Oishi,S.:精确浮点求和第一部分:忠实舍入。暹罗科学杂志。计算机。31(1),189–224(2008年)·Zbl 1185.65082
[42] Sterbenz,P.H.:浮点计算。普伦蒂斯霍尔,恩格尔伍德悬崖,新泽西州(1974年)
[43] Sunaga,T.:数字几何。东京大学硕士论文(1956年)
[44] Takayasu,A.,Oishi,S.,Kubo,T.:两点边值问题解的保证误差估计。国际非线性理论及其应用研讨会论文集(NOLTA2009),第214-217页。札幌,日本(2009)
[45] 渡边:不可压缩粘性流体Kolmogorov流的计算机辅助证明。J、 计算机。申请。数学。223:953–966(2009年)·Zbl 1153.76022号
[46] Watanabe,Y.,Plum,M.,Nakao,M.T.:Poiseuille流下Orr-Sommerfeld问题的计算机辅助不稳定性证明。Z、 安格。数学。机械。89(1),5–18(2009年)·Zbl 1156.76025
此参考列表基于出版商或数字数学图书馆提供的信息。它的项被试探性地匹配到zbMATH标识符,并且可能包含数据转换错误。它试图尽可能准确地反映原始论文中列出的参考文献,而不要求匹配的完整性或精确性。