Electrical computers: arithmetic processing and calculating – Electrical digital calculating computer – Particular function performed
Reexamination Certificate
2006-01-31
2006-01-31
Chaki, Kakali (Department: 2193)
Electrical computers: arithmetic processing and calculating
Electrical digital calculating computer
Particular function performed
Reexamination Certificate
active
06993548
ABSTRACT:
One embodiment of the present invention provides a system that bounds the solution set of a system of nonlinear equations specified by the set of linear equations Ax=b, wherein A is an interval matrix and b is an interval vector. During operation, the system preconditions the set of linear equations Ax=b by multiplying through by a matrix B to produce a preconditioned set of linear equations M0x=r, wherein M0=BA and r=Bb. Next, the system widens the matrix M0to produce a widened matrix, M, wherein the midpoints of the elements of M form the identity matrix. Finally, the system uses M and r to compute the hull h of the system Mx=r, which bounds the solution set of the system M0x=r.
REFERENCES:
Granelli et al., Relaxation-Newton methods for transient stability analysis on a vector parallel computer, 1993, IEEE, pp. 387-393.
Hiroyuki et al., Contingency screening using interval analysis in power systems, 1998, IEEE, pp. 444-447.
Foo et al, Stability analysis of a family of matrices, 1990, IEEE, pp. 1257-1259.
Zian et al, Interval arithmetic in power flow analysis, 1992, IEEE, pp. 1341-1349.
William G. W., Interval: the connection between computing and the world, 2000, IEEE, p. 859-864.
Brian Sanderson, Gauss-Seidel, 2000, HTML at http://web.maths.unsw.edu.au/˜bxs/MATH5245/fmg1
ode7.html.
Kearfott et al., Optimal preconditioners for interval Gauss-Seidel methods, 2000, HTML at http://interval.louisiana.edu/preprints/shi-scan-preconditioner.pdf, pp. 1-7.
Pascal Van Hentenryck, Vijay Saraswat and Yves Deville, “Design, Implementation, and Evaluation of the Constraint Language cc (FD),” Elsevier Science, Inc., 1998.
E.R. Hansen, “Global Optimization Using Interval Analysis,” Marcel Dekker, Inc., New York, NY, 1992.
R.B. Kearfott, “A Fortran 90 Environment for Research and Prototyping of Enclosure Algorithms for Nonlinear Equations and Global Optimization,” ACM Transactions on Mathematical Software, vol. 21, No. 1, Mar. 1995, pp. 63-78 http://interval.louisiana.edu/preprints.html.
R. B. Kearfott, Algorithm 763: Interval Arithmetic: A Fortran 90 Module for an Interval Data Type, ACM Trans. Math. Software, 22, vol. 4, 1996, pp. 385-392.
R. B. Kearfott and M. Novoa III, “Algorithm 681: INTBIS, A portable interval Newton/bisection package”, ACM Trans. Math Software, vol. 16, No. 2, pp. 152-147. http://www.netlib.org/toms/681.
R. B. Kearfott, M. Dawande, K.S. Du, and C. Hu, “Algorithm 737: INTLIB: A Portable Fortran 737 Interval Standard Functiona Library,” ACM Trans. Math. Software, 20, vol. 4, Dec. 1994, pp. 447-458.
R. B. Kearfott and G.W. Walster, “On Stopping Criteria in Verified Nonlinear Systems of Optimization Algorithms,” ACM Trans. Math. Software, 26, vol. 3, Sep. 2000, pp. 323-351. The publication itself says Received: Jul. 1999; revised: Mar. 2000; accepted: Mar. 2000. http://interval.louisiana.edu/preprints.html.
R.E. Moore and S.T. Jones “Safe Starting Regions for Iterative Methods”, SIAM Journal on Numerical Analysis, vol. 14, No. 6 (Dec. 1977), pp. 1051-1065.
A. Neumaier, “The Enclosure of Solutions of Parameter-Dependent Systems of Euqations,” Cambridge University Press, Cambridge, 1990, ISBN: 0-12-505630-3, Reliability in Computing pp. 269-286.
S.M. Rump, “Verification Methods for Dense and Sparse Systems of Equations,” in Topics in Validated Computations: Proceedings of the IMACS-GAMM International Workshop on Validated Computations, University of Oldenburg, J. Herzberger, ed., Elsevier Studies in Computational Mathematics, Elsevier, 1994, pp. 63-136.
Hansen Eldon R.
Walster G. William
Chaki Kakali
Do Chat C.
Park Vaughan & Fleming LLP
Sun Microsystems Inc.
LandOfFree
Method and apparatus for bounding the solution set of a... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and apparatus for bounding the solution set of a..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for bounding the solution set of a... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3551072