×
Ozaki，K。；T·奥吉塔。；南宫岛。；Oishi，S。；S.M.臀部。

一种获得适用于Java的线性系统的验证解的方法。 （英语） Zbl 1108.65019号

J.计算。申请。数学。 199，第2期，337-344（2007）.
概述：Java优化技术的最新发展使Java成为数值计算最有用的编程语言之一。本文提出了一种获得线性系统验证近似解的数值方法。验证计算的常用方法使用IEEE标准754中定义的舍入模式开关。然而，这种舍入模式的切换在Java中不受支持。此方法避免使用定向舍入，因此可以在包括Java在内的各种编程语言上实现。使用Java进行的数值实验表明，该方法可以为线性系统的近似解提供非常精确的误差界，其计算成本与通过高斯消去计算近似逆的计算成本几乎相同。

引用于4文件

MSC公司：

65平方英尺 线性系统和矩阵反演的直接数值方法
65G20个 具有自动结果验证的算法
65克50 舍入误差

关键词：

验证计算；线性系统；定向舍入；数值实验；错误界限；近似逆；高斯消去

软件：

日本汽车制造商协会；JAMPACK公司；杰拉帕克
PDF格式BibTeX公司 XML格式引用
\textit{K.Ozaki}等人，J.计算。申请。数学。199，第2号，337--344（2007；Zbl 1108.65019）
全文： 内政部

参考文献：

[1] ANSI/IEEE，IEEE二进制浮点运算标准，Std 754-1985版，IEEE，纽约，1985年。；ANSI/IEEE，IEEE二进制浮点运算标准，Std 754-1985版，IEEE，纽约，1985年。
[2] B.Blount，JLAPACK-Java中的LAPACK库\（\langle；\）http://www.cs.unc.edu/Research/HARPOON/jlapack网站/\（\rangle；\）；B.Blount，JLAPACK-Java中的LAPACK库\（\langle；\）http://www.cs.unc.edu/Research/HARPOON/jlapack网站/\（\rangle；\）
[3] Dekker，T.J.，一种扩展可用精度的浮点技术，Numer。数学。，18, 224-242 (1971) ·Zbl 0226.65034号
[4] S.Flynn-Hummel，V.Getov，F.Irigoin，Ch.Lengauer，《高性能计算与Java》，第284号报告，达格斯图尔研讨会报告003412000年。；S.Flynn-Hummel，V.Getov，F.Irigoin，Ch.Lengauer，《高性能计算与Java》，第284号报告，达格斯图尔研讨会报告003412000年。
[5] Golub，G.H。；Van Loan，C.F.，《矩阵计算》（1996），约翰霍普金斯大学出版社：约翰霍普金大学出版社巴尔的摩和伦敦·Zbl 0865.65009号
[6] 高斯林，J。；乔伊，B。；斯蒂尔，G。；Bracha，G.，《Java语言规范》（2000），Addison-Wesley:Addison-Whesley Reading，MA
[7] W.Kahan，J.D.Darcy，《Java的浮点如何处处伤害每个人》，手稿，（2001年）。\兰格；\）网址：http://www.cs.berkeley.edu/\（\sim；\rangle；\）；W.Kahan，J.D.Darcy，《Java的浮点如何处处伤害每个人》，手稿，（2001年）。\兰格；\）网址：http://www.cs.berkeley.edu/\（\sim；\rangle；\）
[8] D.E.Knuth，《计算机编程的艺术：半数值算法》，第2卷，Addison-Wesley，Reading，MA，1969年。；D.E.Knuth，《计算机编程的艺术：半数值算法》，第2卷，Addison-Wesley，Reading，MA，1969年·Zbl 0191.18001号
[9] MathWorks Inc.，NIST，JAMA-A Java矩阵包\（\langle；\）http://math.nist.gov/javanumerics/jama/\（\rangle；\）；MathWorks Inc.，NIST，JAMA-A Java矩阵包\（\langle；\）http://math.nist.gov/javanumerics/jama/\（\rangle；\）
[10] 大吉田，T。；臀部，S.M。；Oishi，S.，《精确和和点积》，SIAM J.Sci。计算。，1955-1988年6月26日（2005年）·兹比尔1084.65041
[11] T.Ogita，S.M.Rump，S.Oishi，无定向舍入线性系统的验证解，技术报告，2005-04号，早稻田大学科学与工程高级研究所。；T.Ogita，S.M.Rump，S.Oishi，无定向舍入线性系统的验证解，技术报告，2005-04号，早稻田大学科学与工程高级研究所·兹比尔1185.65082
[12] Oishi，S。；Rump，S.M.，矩阵方程解的快速验证，数值。数学。，90, 4, 755-773 (2002) ·Zbl 0999.65015号
[13] Rump，S.M.，稠密和稀疏方程组的验证方法，（Herzberger，J.，验证计算主题——计算数学研究（1994），Elsevier:Elsevier Amsterdam），63-136·Zbl 0813.65072号
[14] G.W.Stewart，JAMPACK-矩阵计算Java包\（\langle；\）ftp://math.nist.gov/Jampack/Jampack/AboutJampack.html\（\rangle；\）；G.W.Stewart，JAMPACK-矩阵计算Java包\（\langle；\）ftp://math.nist.gov/Jampack/Jampack/AboutJampack.html\（\rangle；\）
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。