Skip to main content
SpringerLink
Log in

Rigorous Global Search: Industrial Applications

  • Chapter
Book cover Developments in Reliable Computing

Abstract

We apply interval techniques for global optimization to several industrial applications including Swiss Bank (currency trading), BancOne (portfolio management), MacNeal-Schwendler (finite element), GE Medical Systems (Magnetic resonance imaging), Genome Theraputics (gene prediction), inexact greatest common divisor computations from computer algebra, and signal processing. We describe each of the applications, discuss the solutions computed by Kearfott’s GlobSol software (see www.mscs.mu.edu/~globsol), and tell of the lessons learned. In each of these problems, GlobSol’s rigorous global optimization provided significant new insights to us and to our industrial partners.

This work is supported in part by Sun Microsystems and by the National Science Foundation under various grants.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book
USD 109.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bill P. Buckles and Fred Petry. Genetic Algorithms. IEEE Computer Society Press, 1992.

    Google Scholar 

  2. Paulina Chin, Robert M. Corless, and George F. Corliss. Globsol case study: Inexact greatest common denominators. Technical Report, Marquette University Department of Mathematics, Statistics, and Computer Science, Milwaukee, Wisc., 1998.

    Google Scholar 

  3. Paulina Chin, Robert M. Corless, and George F. Corliss. Optimization strategies for the floating-point GCD. In ISSAC Proceedings, to appear, 1998.

    Google Scholar 

  4. Robert M. Corless. Cofactor iteration. SIGSAM Bulletin: Communications in Computer Algebra, 30(1):34–38, March 1996.

    Google Scholar 

  5. George F. Corliss, Chenyi Hu, R. Baker Kearfott, and G. William Walster. Rigorous global search — Executive summary. Technical Report No. 442, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisc., April 1997.

    Google Scholar 

  6. Joseph Daniels, Shirish Ranjit, R. Baker Kearfott, and George F. Corliss. Globsol case study: Currency trading (Swiss Bank Corp.). Technical Report, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisc., 1998.

    Google Scholar 

  7. Xin Feng, Rudi Yang, Yonghe Yan, Yunchuan Zhu, George F. Corliss, and R. Baker Kearfott. Globsol case study: Parameter optimization for the eddy current compensation of MRI coils (General Electric Medical). Technical Report, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisc., 1998.

    Google Scholar 

  8. Frank Fritz. Validated global optimization and finite element analysis. Master’s thesis, Marquette University Department of Mathematics, Statistics, and Computer Science, Milwaukee, Wisc., March 1999.

    Google Scholar 

  9. Frank Fritz, George E Corliss, Andrew Johnson, Donald Prohaska, and Jonathan Hart. Globsol case study: Rocket nozzle design (MacNeal-Schwindler). Technical Report, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisc., 1998.

    Google Scholar 

  10. Elden R. Hansen. Global Optimization Using Interval Analysis. Marcel Dekker, New York, 1992.

    Google Scholar 

  11. R. Horst and M. Pardalos. Handbook of Global Optimization. Kluwer, Dordrecht, Netherlands, 1995.

    Google Scholar 

  12. Ron Van Iwaarden. An Improved Unconstrained Global Optimization Algorithm. PhD thesis, University of Colorado at Denver, Denver, Colorado, 1996.

    Google Scholar 

  13. Christian Jansson. A global optimization method using interval arithmetic. IMACS Annals of Computing and Applied Mathematics, 1992.

    Google Scholar 

  14. Christian Jansson. On self-validating methods for optimization problems. In J. Herzberger, editor, Topics in Validated Computations, pages 381–439, Amsterdam, Netherlands, 1994. North-Holland.

    Google Scholar 

  15. R. Baker Kearfott. Rigorous Global Search: Continuous Problems. Kluwer Academic Publishers, Dordrecht, Netherlands, 1996.

    Google Scholar 

  16. R. Baker Kearfott, M. Dawande, K. S. Du, and Chenyi Hu. Algorithm 737: INTLIB: A portable Fortran 77 interval standard library. ACM Trans. Math. Software, 20 (4): 447–458, 1994.

    Article  Google Scholar 

  17. Richard Kelnhoffer. Applications of Interval Methods to Parametric Set Estimation from Bounded Error Data. PhD thesis, Marquette University Department of Electrical and Computer Engineering, 1997.

    Google Scholar 

  18. Arnold Neumaier. Interval Methods for Systems of Equations. Cambridge University Press, Cambridge, 1990.

    MATH  Google Scholar 

  19. Shirish Ranjit. Risk management of currency portfolios. Master’s thesis, Marquette University Department of Economics, Milwaukee, Wisc., April 1998.

    Google Scholar 

  20. Dietmar Ratz. An inclusion algorithm for global optimization in a portable PASCAL-XSC implementation. In L. Atanassova and J. Herzberger, editors, Computer Arithmetic and Enclosure Methods, pages 329–338, Amsterdam, Netherlands, 1992. North-Holland.

    Google Scholar 

  21. Dietmar Ratz. Box-splitting strategies for the interval Gauss-Seidel step in a global optimization method. Computing, 53: 337–354, 1994.

    Article  MathSciNet  MATH  Google Scholar 

  22. Dietmar Ratz and Tibor Csendes. On the selection of subdivision directions in interval branchand-bound methods for global optimization Journal of Global Optimization, 7: 183–207, 1995.

    Article  MathSciNet  MATH  Google Scholar 

  23. Paul J. Thalacker, Kristie Julien, Peter G. Toumanoff, Joseph P. Daniels, George F. Corliss, and R. Baker Kearfott. Globsol case study: Portfolio management (Banc One). Technical Report, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisc., 1998.

    Google Scholar 

  24. G. William Walster. Philosophies and practicalities of interval arithmetic. Reliability in Computing, Ramone E. Moore, ed., pages 309–323. Boston, 1988. Academic Press.

    Google Scholar 

  25. Zhitao Wang, Peter Tonellato, George F. Corliss, and R. Baker Kearfott. Globsol case study: Gene prediction (Genome Therapeutics). Technical Report, Department of Mathematics, Statistics and Computer Science, Marquette University, Milwaukee, Wisc., 1998.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics, Statistics, and Computer Science, Marquette University, P.O. Box 1881, Milwaukee, WI, 53201-1881, USA

    George F. Corliss

  2. Department of Mathematics, University of Southwestern Louisiana, U.S.L. Box 4-1010, Lafayette, LA, 70504-1010, USA

    R. Baker Kearfott

Authors
  1. George F. Corliss
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. Baker Kearfott
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. József Attila University, Szeged, Hungary

    Tibor Csendes

Rights and permissions

Reprints and permissions

Copyright information

© 1999 Springer Science+Business Media Dordrecht

About this chapter

Cite this chapter

Corliss, G.F., Kearfott, R.B. (1999). Rigorous Global Search: Industrial Applications. In: Csendes, T. (eds) Developments in Reliable Computing. Springer, Dordrecht. https://doi.org/10.1007/978-94-017-1247-7_1

Download citation

  • DOI: https://doi.org/10.1007/978-94-017-1247-7_1

  • Publisher Name: Springer, Dordrecht

  • Print ISBN: 978-90-481-5350-3

  • Online ISBN: 978-94-017-1247-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation