Efficient and reliable methods for rounded-interval arithmetic

被引：17

作者：

Abrams, SL

Cho, W

Hu, CY

Maekawa, T

Patrikalakis, NM ^{[1
]}

Sherbrooke, EC

Ye, X

机构：

[1] MIT, Dept Ocean Engn, Design Lab, Cambridge, MA 02139 USA

[2] SolidWorks Corp, Concord, MA 01742 USA

[3] New Technol Inc, Cambridge, MA 02142 USA

来源：

COMPUTER-AIDED DESIGN | 1998年 / 30卷 / 08期

基金：

美国国家科学基金会;

关键词：

binary representation; denormalized number; IEEE Std 754-1985; rounded-interval arithmetic; unit-in-the-last-place;

D O I：

10.1016/S0010-4485(97)00086-9

中图分类号：

TP31 [计算机软件];

学科分类号：

081202 ; 0835 ;

摘要：

We present an efficient and reliable method for computing the unit-in-the-last-place (ulp) of a double-precision floating-point number, taking advantage of the standard binary representation for floating-point numbers defined by IEEE Std 754-1985. The ulp is necessary to perform software rounding for robust rounded-interval arithmetic (RIA) operations. Hardware rounding, using two of the standard rounding modes defined by IEEE-754, may be more efficient. RIA has been used to produce robust software systems for the solution of systems of nonlinear equations, interrogation of geometric and differential properties of curves and surfaces, curve and surface intersections, and solid modeling. (C) 1998 Elsevier Science Ltd. All rights reserved.

引用

页码：657 / 665

页数：9

共 16 条

[1]

*ANSI IEEE, 1985, 7541985 ANSI IEEE

[2]

CHO W, 1997, THESIS MIT CAMBRIDGE

[3] Topologically reliable approximation of composite Bezier curves [J].