Abstract
An already classical attempt at solving a circuit design problem leads to a system of 9 nonlinear equations in 9 variables. The sensitivity of the problem to small perturbations is extraordinarily high. Since 1974 several investigations have been made into this problem and they hint at one solution in the restricted domain of the nonnegative reals. The investigations did not give error estimates nor did they present conclusive evidence that the solution found is the only one in the domain of the nonnegative reals. Our paper reports on experimental computations which used various kinds of interval analytic methods while also sometimes reflecting on Wright-Cutteridge's philosophy and theses. The computations resulted in a guarantee that in the domain of consideration, that is, the interval [0,10] for each of the 9 variables, exactly one solution did exist, which was near the solution known up to now. Finally, our solution could be localized within a parallelpiped with edge lengths between 10−6 and 3.2-10−4.
Similar content being viewed by others
References
Alefeld, G. and Herzberger, J. (1983),Introduction to Interval Computations, Academic Press, New York.
Cutteridge, O. P. D. (1974), Powerful 2-part program for solution of nonlinear simultaneous equations,Electronics Letters 10, 182–184.
Dimmer, P. R. and Cutteridge, O. P. D. (1980), Second derivative Gauss-Newton-based method for solving nonlinear simultaneous equations,IEE Proc. 127, 278–283
Ebers, J. J. and Moll, J. L. (1954), Large-scale behavior of junction transistors,IEE Proc. 42, 1761–1772.
Hansen, E. R. (1992),Global Optimization Using Interval Analysis, Marcel Dekker, New York.
Hansen, E. R. and Greenberg, R. I. (1983), An interval Newton method,Applied Math, and Comp. 12, 89–98.
Horst, R. and Tuy, H. (1990),Global Optimization, Springer-Verlag, Berlin.
IEEE (1985), IEEE standard for binary floating-point arithmetic. IEEE Standard 754-1985, IEEE, New York.
IEEE (1987), IEEE standard for radix-independent floating-point arithmetic. IEEE Standard 854-1987, IEEE, New York.
Kearfott, B. (1979), An efficient degree-computation method for a generalized method of bisection,Numerische Mathematik 32, 109–127.
Kearfott, B. (1987), Some tests of generalized bisection,ACM Trans. Math. Software 13, 197–220.
Kearfott, B. (1987), Abstract generalized bisection and a cost bound,Math, of Comput. 49, 187–202.
Kearfott, B. (1990), INTBIS, a portable interval Newton/bisection package,ACM. Trans. Math. Software 16, 152–157.
Kulisch, U. (ed.) (1986),PASCAL-SC Manual and System Disks, Wiley-Teubner Series in Computer Science, Stuttgart.
Moore, R. E. (1979),Methods and Applications of Interval Analysis, SIAM, Philadelphia.
Moore, R. E. (1990), Interval tools for computer aided proofs in analysis, inComputer Aided Proofs in Analysis, ed. K. R. Meyer and D. S. Schmidt, IMA Series, vol. 28, Springer-Verlag, Berlin.
Neumaier, A. (1990),Interval Methods for Systems of Equations, Cambridge University Press, Cambridge.
Price, W. L. (1978), A controlled random search procedure for global optimization, inTowards Global Optimization 2, ed. L. C. W. Dixon and G. P. Szegö, North-Holland, Amsterdam, pp. 71–84.
Rall, L. B. (1981),Automatic Differentiation, Springer-Verlag, Berlin.
Ratschek, H. (1975), Nichtnumerische Aspekte der Intervallarithmetik, inInterval Mathematics, ed. by K. Nickel, Springer-Verlag, Berlin, pp. 48–74.
Ratschek, H. and Rokne, J. (1984),Computer Methods for the Range of Functions, Ellis Horwood, Chichester.
Ratschek, H. and Rokne, J. (1988),New Computer Methods for Global Optimization, Ellis Horwood, Chichester.
Ratschek, H. and Rokne, J. (1991), Interval tools for global optimization,Computers and Mathematics with Applications 21, 41–50.
Ratschek, H. and Voller, R. (1991), What can interval analysis do for global optimization?Journal of Global Optimization 9, 111–130.
Wright, D. J. and Cutteridge, O. P. D. (1976), Applied optimization and circuit design,Computer Aided Design 8, 70–76.
Author information
Authors and Affiliations
Additional information
Thanks are due to the Natural Sciences and Engineering Research Council of Canada for supporting this paper.
Rights and permissions
About this article
Cite this article
Ratschek, H., Rokne, J. Experiments using interval analysis for solving a circuit design problem. J Glob Optim 3, 501–518 (1993). https://doi.org/10.1007/BF01096417
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01096417