Oracle® Solaris Studio 12.4:数值计算指南

退出打印视图

更新时间: 2015 年 1 月
 
 

参考资料

下面的手册提供有关 SPARC® 浮点硬件的更多信息:

其余参考资料都按章节进行组织。有关如何获得标准文档和测试程序的信息将在最后介绍。

F.1 第 2 章:“IEEE 算法”

由 Cody et al. 编著的《A Proposed Radix- and Word-length-independent Standard for Floating-Point Arithmetic》,IEEE Computer 出版,1984 年 8 月。

由 Coonen, J.T. 编著的《An Implementation Guide to a Proposed Standard for Floating Point Arithmetic》,IEEE Computer 出版,第 13 卷 1 号,1980 年 1 月,第 68-79 页。

由 Demmel, J. 编著的《Underflow and the Reliability of Numerical Software》,由 SIAM J. 编著的《Scientific Statistical Computing》,第 5 卷 (1984),第 887-919 页。

由 Hough, D. 编著的《Applications of the Proposed IEEE 754 Standard for Floating-Point Arithmetic》,IEEE Computer 出版,第 13 卷 1 号,1980 年 1 月,第 70-74 页。

由 Kahan, W. 和 Coonen, J.T. 合著的《The Near Orthogonality of Syntax, Semantics, and Diagnostics in Numerical Programming Environments》,发表于《The Relationship between Numerical Computation and Programming Languages》,Reid, J.K. 编辑,North-Holland Publishing Company 出版,1982。

由 Kahan, W. 编著的《Implementation of Algorithms》,发表于《Computer Science Technical Report No. 20》,University of California, Berkeley CA,1973。可从美国国家技术情报社出版获得,NTIS 文档编号 AD–769 124(339 页),1-703-487-4650(普通订单)或 1-800-336-4700(紧急订单)。

由 Karpinski, R.编著的《Paranoia: a Floating-Point Benchmark》,发表于《Byte》杂志,1985 年 2 月。

由 Knuth, D.E. 编著的《The Art of Computer Programming》第 2 卷:"Semi-Numerical Algorithms, Addison-Wesley, Reading, Mass",1969,第 195 页。

由 Linnainmaa, S.编著的《Combatting the effects of Underflow and Overflow in Determining Real Roots of Polynomials》,SIGNUM Newsletter 16 (1981),第 11-16 页。

由 Rump, S.M. 编著的《How Reliable are Results of Computers?》,《Wie zuverlassig sind die Ergebnisse unserer Rechenanlagen?》的译本,Jahrbuch Uberblicke Mathematik 1983,第 163-168 页,C Bibliographisches Institut AG 1984。

由 Sterbenz, P 编著的《Floating-Point Computation》,Prentice-Hall 出版,Englewood Cliffs, NJ,1974。(已绝版;大多数大学图书馆有复印本。)

由 Stevenson, D. et al.、Cody, W.、Hough, D.、Coonen, J. 编著的用于建议和分析二进制浮点算法的标准草案的各种论文,IEEE Computer 出版,1981 年 3 月。

《The Proposed IEEE Floating-Point Standard》,发表于《ACM SIGNUM Newsletter》的特刊中,1979 年 10 月。

F.2 第 3 章:“数学库”

由 Cody, William J. 和 Waite, William 合著的《Software Manual for the Elementary Functions》,Prentice-Hall, Inc. 出版,Englewood Cliffs,New Jersey,07632,1980。

由 Coonen, J.T. 编著的《Contributions to a Proposed Standard for Binary Floating-Point Arithmetic》,PhD Dissertation 出版,University of California, Berkele,1984。

由 Tang, Peter Ping Tak 编著的《Some Software Implementations of the Functions Sin and Cos》,发表于《Technical Report ANL-90/3》,Mathematics and Computer Science Division,Argonne National Laboratory,Argonne,Illinois,1990 年 2 月。

由 Tang, Peter Ping Tak 编著的《Table-driven Implementations of the Exponential Function EXPM1 in IEEE Floating-Point Arithmetic》,MCS-P125-0290 预印本,Mathematics and Computer Science Division,Argonne National Laboratory,Argonne,Illinois,1990 年 2 月。

由 Tang, Peter Ping Tak 编著的《Table-driven Implementation of the Exponential Function in IEEE Floating-Point Arithmetic》,发表于《ACM Transactions on Mathematical Software》,第 15 卷 2 号,1989 年 6 月,第 144-157 页,Communications of the ACM 出版,1988 年 7 月 18 日。

由 Tang, Peter Ping Tak 编著的《Table-driven Implementation of the Logarithm Function in IEEE Floating-Point Arithmetic》,MCS-P55-0289 预印版,Mathematics and Computer Science Division,Argonne National Laboratory,Argonne,Illinois,1989 年 2 月(发表于《ACM Trans. on Math.Soft》

由 Park, Stephen K. 和 Miller, Keith W. 合著的《Random Number Generators: Good Ones Are Hard To Find》,Communications of the ACM 出版,第 31 卷 10 号,1988 年 10 月,第 1192-1201 页。

F.3 第 4 章:“异常和异常处理”

由 Coonen, J.T 编著的《Underflow and the Denormalized Numbers》,Computer 出版,14,3 号,1981 年 3 月,第 75-87 页。

由 Demmel, J. 和 X.Li 编著的《Faster Numerical Algorithms via Exception Handling》,IEEE Trans.Comput. 出版第 48 卷 8 号,1994 年 8 月,第 983-992 页。

由 Kahan, W. 编著的《A Survey of Error Analysis》,“Information Processing 71”,North-Holland,Amsterdam,1972,第 1214-1239 页。

F.4 标准

American National Standard for Information Systems ISO/IEC 9899:1999 Programming Languages (C99),American National Standards Institute, 1430 Broadway, New York, NY 10018。

IEEE Standard for Floating-Point Arithmetic,ANSI/IEEE Std 754-2008,The Institute of Electrical and Electronics Engineers, Inc. 出版,3 Park Avenue, New York, NY 10016, 2008。

IEEE Standard Glossary of Mathematics of Computing Terminology,ANSI/IEEE Std 1084-1986,The Institute of Electrical and Electronics Engineers, Inc. 出版,345 East 47th Street, New York, NY 10017, 1986。

IEEE Standard Portable Operating System Interface for Computer Environments (POSIX®),IEEE Std 1003.1-1988,The Institute of Electrical and Electronics Engineers, Inc. 出版, 345 East 47th Street, New York, NY 10017。

System V Application Binary Interface (ABI),AT&T (1-800-432-6600),1989。

SPARC System V ABI Supplement (SPARC ABI),AT&T (1-800-432-6600),1990。

System V Interface Definition, 3rd edition,(SVID89 或 SVID Issue 3),第 I–IV 卷,部件号 320-135,AT&T (1-800-432-6600),1989。

X/OPEN Portability Guide,一套 7 卷,Prentice-Hall, Inc., Englewood Cliffs, New Jersey 07632, 1989。

F.5 测试程序

浮点算法和数学库的许多测试程序都可以从 ucbtest 包装中的 Netlib 中找到。这些程序包括各种版本的 Paranoia、Z.Alex Liu 的 Berkeley Elementary Function 测试程序、IEEE 测试向量和基于由 W. Kahan 教授开发的数论方法(这些方法针对正确舍入的乘、除和平方根生成高难度的测试实例)的程序。

ucbtest 位于 http://www.netlib.org/fp/ucbtest.tgz