×
齐格弗里德·M·臀部。

快速区间矩阵乘法。 （英语） Zbl 1264.65065号

数字。算法 61，第1期，1-34页（2012年）.
作者讨论了点矩阵和/或区间矩阵与区间结果相乘的各种方法。有些是基于浮点矩阵乘积误差的新的先验估计。分析了包括所有舍入误差在内的高估量。特别地，研究了中点-上确界到中点-半径表示的转换算法，其中一个算法被证明是最优的。所有方法都比经典方法快得多，因为几乎不需要切换舍入模式，而且这些方法基于高度优化的BLAS3例程。本文讨论了几种可能性，以权衡高估与计算工作量。给出了数值例子，特别关注使用区间矩阵乘法的应用。
审核人：Günter Mayer（罗斯托克）

引用于4文件

MSC公司：

65楼30 其他矩阵算法（MSC2010）
65G30型 区间和有限算术

关键词：

区间算术；过高估计；矩阵乘法；infimum-supremum表示；最佳中点半径表示；区间矩阵乘积；莫德；BLAS公司；首先是单位；误差分析；数值示例

软件：

ACRITH-XSC公司；个人资料/偏差；国际实验室；BLAS公司；C-XSC（C-XSC）；内部自由；C-XSC 2.0版；mctoolbox软件
PDF格式BibTeX公司 XML格式引用
\textit{S.M.臀部}，数字。算法61，No.1，1-34（2012；Zbl 1264.65065）
全文： DOI程序

参考文献：

[1] ACRITH:IBM高精度算术子程序库，第3版。IBM Deutschland GmbH，Schönaicher Strasse 220，71032 Böblingen（1986）
[2] ARITHMOS、Benutzerhandbuch、Siemens AG、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号 ·数字对象标识代码：10.1145/77626.79170
[4] 福赛特：计算的陷阱，或者为什么一本数学书是不够的。美国数学。周一。77, 931–956 (1970) ·Zbl 0207.15401号 ·doi:10.2307/2318109
[5] Frommer，A.：用区间算术证明猜想。In：Kulisch，U.等人（编辑）《封闭方法的视角》。SCAN 2000，GAMM-IMACS科学计算、计算机算术和验证数值国际研讨会，德国卡尔斯鲁厄大学，2000年9月19-22日，维也纳。斯普林格（2001）
[6] Gargantini，I.，Henrici，P.：循环算法和多项式零点的确定。数字。数学。18, 305–320 (1972) ·Zbl 0228.65038号 ·doi:10.1007/BF01404681
[7] 戈德伯格：关于浮点运算，每个计算机科学家都应该知道什么。ACM计算。Surv 23（1），5-47（1991）·doi:10.1145/103162.103163
[8] Goto，K.，Van De Geijnm，R.三级blas的高绩效实施。ACM事务处理。数学。柔和。35 1–14 (2008) ·Zbl 05458505号 ·数字对象标识代码：10.1145/1377603.1377607
[9] Goualard，F.：如何计算区间的中点？技术报告，CNRS，LINA，UMR 6241，南特大学（2011）·Zbl 1305.65252号
[10] Hauser，J.R.：处理数字程序中的浮点异常。ACM事务处理。程序。语言系统。18(2), 139–174 (1996) ·Zbl 01936246号 ·doi:10.145/227699.227701
[11] 新泽西州海厄姆：数值算法的准确性和稳定性，第2版。SIAM出版物，费城（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.，Dawand，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）·兹伯利0814.68035
[18] Knüppel，O.：PROFIL/BIAS–一个快速间隔库。计算53、277–287（1994）·Zbl 0808.65055号 ·doi:10.1007/BF02307379
[19] Knüppel，O.：PROFIL/BIAS和扩展，2.0版。汉堡技术大学Informatik III研究所技术报告（1998年）
[20] Malcolm，M.：关于精确浮点求和。Commun公司。ACM 14（11），731–736（1971）·Zbl 0226.68020号 ·数字对象标识代码：10.1145/362854.362889
[21] Markoff，J.：为了好玩，手工编写最快的代码：一台人类电脑不断加速芯片的速度。《纽约时报》（2005）
[22] Moore，R.E.：数字计算中的区间算法和自动错误分析。斯坦福大学论文（1963年）
[23] Muller，J.M.、Brisebare，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号 ·doi:10.1007/BF03167877
[26] Nakao，M.T.，Hashimoto，K.，Watanabe，Y.：验证线性椭圆算子可逆性的数值方法及其在非线性问题中的应用。计算75，1-14（2005）·Zbl 1151.35337号 ·doi:10.1007/s00607-004-0111-1
[27] Neumaier，A.：方程组的区间方法。数学及其应用百科全书。剑桥大学出版社（1990）·Zbl 0715.65030号
[28] Neumaier，A.：维也纳区间标准化提案（2008年）。http://www.mat.univie.ac.网址：/\（\sim\）neum/papers.html。2011年12月6日访问
[29] Nguyen，H.D.，Revol，N.：使用区间算术的线性代数中的精度问题。In:里昂SCAN会议（2010）
[30] Oishi，S.，Rump，S.M.：矩阵方程解的快速验证。数字。数学。90(4), 755–773 (2002) ·Zbl 0999.65015号 ·doi:10.1007/s002110100310
[31] Ozaki，K.，Ogita，T.，Rump，S.M.，Oishi，S.：使用3级BLAS运算实现精确的矩阵乘法。摘自：2008年非线性理论及其应用国际研讨会论文集，第508-511页，NOLTA'08，匈牙利布达佩斯。IEICE（2008）
[32] Plum，M.：非线性椭圆边值问题解的数值存在性证明和显式界。计算49（1），25–44（1992）·Zbl 0771.65087号 ·doi:10.1007/BF02238648
[33] Plum，M.：用计算机辅助证明半线性椭圆边值问题的存在性和多重性。DMV Jahresbericht 110（1），19-54（2008年）·Zbl 1185.35101号
[34] Poljak，S.，Rohn，J.：检查鲁棒非奇异性是NP-Hard。数学。控制信号系统。6, 1–9 (1993) ·Zbl 0780.93027号 ·doi:10.1007/BF01213466
[35] 臀部，S.M.：克莱恩·费勒斯奇兰肯（Kleine Fehlerschranken bei Matrixproblemen）。卡尔斯鲁厄大学博士论文（1980年）·Zbl 0437.65036号
[36] Rump，S.M.：快速并行区间算法。位数字。数学。39(3), 539–560 (1999) ·Zbl 0942.65048号
[37] 臀部S.M.：INTLAB-内脏实验室。摘自：Csendes，T.（编辑）《可靠计算的发展》，第77-104页。Kluwer学术出版社，Dordrecht（1999）·Zbl 0949.65046号
[38] Rump，S.M.：浮点中极度病态矩阵的反演。日本。J.Ind.申请。数学。2009年1月26日至29日·Zbl 1185.65050号 ·doi:10.1007/BF03186534
[39] Rump，S.M.：验证方法：使用浮点运算的严格结果。Acta Numer公司。19, 287–449 (2010) ·Zbl 1323.65046号 ·doi:10.1017/S096249291000005X
[40] Rump，S.M.：浮点求和与点积的误差估计。BIT（2011年出版）·兹比尔1243.65047
[41] Rump，S.M.，Ogita，T.，Oishi，S.：精确浮点求和第一部分：精确取整。SIAM J.科学。计算。31(1), 189–224 (2008) ·兹比尔1185.65082 ·doi:10.1137/050645671
[42] Sterbenz，P.H.：浮点计算。Prentice Hall，英格兰伍德悬崖，新泽西州（1974年）
[43] Sunaga，T.：数字几何。东京大学硕士论文（1956年）
[44] Takayasu，A.，Oishi，S.，Kubo，T.：两点边值问题解的保证误差估计。摘自：《非线性理论及其应用国际研讨会论文集》（NOLTA2009），第214-217页。日本札幌（2009）
[45] Watanabe，Y.：不可压缩粘性流体Kolmogorov流动的计算机辅助证明。J.计算。申请。数学。223:953–966 (2009) ·Zbl 1153.76022号 ·doi:10.1016/j.cam.2008.03.034
[46] Watanabe，Y.，Plum，M.，Nakao，M.T.：用计算机辅助证明Poiseuille流的Orr-Sommerfeld问题的不稳定性。Z.安格鲁。数学。机械。89(1), 5–18 (2009) ·Zbl 1156.76025号 ·doi:10.1002/zamm.200700158
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。