Electrical computers: arithmetic processing and calculating – Electrical digital calculating computer – Particular function performed
Reexamination Certificate
2006-07-11
2006-07-11
Chaki, Kakali (Department: 2193)
Electrical computers: arithmetic processing and calculating
Electrical digital calculating computer
Particular function performed
Reexamination Certificate
active
07076516
ABSTRACT:
A method of identifying one or more regions of the domain of a function that do not contain solutions is described along with a related subdivision method. These methods may be employed in the context of branch and bound methods that use interval analysis to search for solutions of functions. The one or more regions of the function domain that do not contain solutions are identified using a cropping formula derived from one or more components (low order and high order) of a Taylor Form inclusion function. A Corner Taylor Form inclusion function is also described which might be used to identify the output range of a function.
REFERENCES:
patent: 3789203 (1974-01-01), Catherall et al.
patent: 5381361 (1995-01-01), Kirk et al.
patent: 5631858 (1997-05-01), Narita et al.
patent: 5717621 (1998-02-01), Gupta et al.
patent: 5884245 (1999-03-01), Chandler
patent: 6078938 (2000-06-01), Pan et al.
patent: 6115726 (2000-09-01), Ignjatovic
patent: 6510354 (2003-01-01), Lin
patent: 6757569 (2004-06-01), Lin
patent: 2004/0158592 (2004-08-01), Nikitin et al.
patent: 1362910 (1974-08-01), None
Taylor et al., Convergence analysis and optimisation of an iterative technique for polynomial factorisation, Sep. 1989, IEEE, p. 507-511.
Stuart, LP-Form inclusion functions for global optimisation, 1991, IEEE, pp. 51-65.
Hanson, P. et al.,Decomposition and Interval Arithmetic Applied to Global Minimization of Polynomial and Rational Functions, Journal of Global Optimization, vol. 3, 1993, pp. 421-437.
Lagouanelle, J-L, and Messine, F.,Algorithme d'encadrement de l'optimum global d'une fonction différentiable, C.R. Acad. Sci. Paris—Analyse Numérique, vol. 326, 1998, pp. 629-632.
Messine, F. and Lagouanelle, J-L,Enclosure Methods for Multivariate Differentiable Functions and Application to Global Optimization, Journal of Universal Computer Science, vol. 4, No. 6, 1998, pp. 589-603.
Snyder, John M.,Interval Analysis For Computer Graphics; in Proceedings of SIGGRAPH 1992, ACM SIGGRAPH, pp. 121-130, 1992.
Moore, Ramon E.,Interval Analysis; Prentice Hall, Inc., pp. 1-145, 1966.
Ratchek, H. and Rokne, J.,New Computer Methods for Global Optimization, Ellis Horwood Ltd. 1988, pp. 7-71.
Snyder, J.,Generative Modeling for Computer Graphics and CAD: Symbolic Shape Design Using Interval Analysis, Academic Press, Inc. 1992, pp. 1-2; 121-217.
Barr Alan H.
Gavriliu Marcel
California Institute of Technology
Chaki Kakali
Do Chat C.
Howrey LLP
LandOfFree
Efficient method of identifying non-solution or non-optimal... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Efficient method of identifying non-solution or non-optimal..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Efficient method of identifying non-solution or non-optimal... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-3529916