Skip to main content
SpringerLink
Log in

Role of Hull-Consistency in the HIBA_USNE Multithreaded Solver for Nonlinear Systems

  • Conference paper
  • First Online:
Parallel Processing and Applied Mathematics (PPAM 2017)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 10778))

Abstract

This paper considers incorporating a hull-consistency enforcing procedure in an interval branch-and-prune method. Hull-consistency has been used with interval algorithms in several solvers, but its implementation in a multithreaded environment is non-trivial. We describe arising issues and discuss the ways to deal with them. Numerical results for some benchmark problems are presented and analyzed.

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 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight 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

References

  1. Realpaver: Nonlinear constraint solving and rigorous global optimization (2014). http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/granvil/realpaver/

  2. C++ eXtended Scientific Computing library (2015). http://www.xsc.de

  3. Intel TBB (2015). http://www.threadingbuildingblocks.org

  4. MICLAB project (2015). http://miclab.pl

  5. ADHC, C++ library (2017). https://www.researchgate.net/publication/316610415_ADHC_Algorithmic_Differentiation_and_Hull_Consistency_Alfa-05

  6. HIBA_USNE, C++ library (2017). https://www.researchgate.net/publication/316687827_HIBA_USNE_Heuristical_Interval_Branch-and-prune_Algorithm_for_Underdetermined_and_well-determined_Systems_of_Nonlinear_Equations_-_Beta_25

  7. Benhamou, F., Goualard, F., Granvilliers, L., Puget, J.F.: Revising hull and box consistency. In: International Conference on Logic Programming, pp. 230–244. The MIT Press (1999)

    Google Scholar 

  8. Benhamou, F., McAllester, D., Hentenryck, P.V.: CLP (intervals) revisited. In: Logic Programming, Proceedings of the 1994 International Symposium, pp. 124–138. The MIT Press (1994)

    Google Scholar 

  9. Goualard, F., Jermann, C.: A reinforcement learning approach to interval constraint propagation. Constraints 13(1–2), 206–226 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  10. Granvilliers, L.: On the combination of interval constraint solvers. Reliable Comput. 7(6), 467–483 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  11. Granvilliers, L., Benhamou, F.: Progress in the solving of a circuit design problem. J. Global Optim. 20(2), 155–168 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  12. Hansen, E., Walster, W.: Global Optimization Using Interval Analysis. Marcel Dekker, New York (2004)

    MATH  Google Scholar 

  13. Kearfott, R.B.: Rigorous Global Search: Continuous Problems. Kluwer, Dordrecht (1996)

    Book  MATH  Google Scholar 

  14. Kearfott, R.B., Nakao, M.T., Neumaier, A., Rump, S.M., Shary, S.P., van Hentenryck, P.: Standardized notation in interval analysis. Vychislennyie Tiehnologii (Comput. Technol.) 15(1), 7–13 (2010)

    MATH  Google Scholar 

  15. Kubica, B.J.: Interval methods for solving underdetermined nonlinear equations systems. Reliable Comput. 15, 207–217 (2011)

    MathSciNet  Google Scholar 

  16. Kubica, B.J.: Tuning the multithreaded interval method for solving underdetermined systems of nonlinear equations. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Waśniewski, J. (eds.) PPAM 2011. LNCS, vol. 7204, pp. 467–476. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31500-8_48

    Chapter  Google Scholar 

  17. Kubica, B.J.: Excluding regions using Sobol sequences in an interval branch-and-prune method for nonlinear systems. Reliable Comput. 19(4), 385–397 (2014)

    MathSciNet  Google Scholar 

  18. Kubica, B.J.: Using quadratic approximations in an interval method for solving underdetermined and well-determined nonlinear systems. In: Wyrzykowski, R., Dongarra, J., Karczewski, K., Waśniewski, J. (eds.) PPAM 2013. LNCS, vol. 8385, pp. 623–633. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-55195-6_59

    Chapter  Google Scholar 

  19. Kubica, B.J.: Presentation of a highly tuned multithreaded interval solver for underdetermined and well-determined nonlinear systems. Numer. Algorithms 70(4), 929–963 (2015)

    Article  MathSciNet  MATH  Google Scholar 

  20. Kubica, B.J.: Parallelization of a bound-consistency enforcing procedure and its application in solving nonlinear systems. J. Parallel Distrib. Comput. 107, 57–66 (2017)

    Article  Google Scholar 

Download references

Acknowledgments

The author is grateful to Roman Wyrzykowski (Częstochowa University of Technology) and the team of the MICLAB project [4], for providing the great machine with Xeon and Xeon Phi processors, on which the computations have been performed.

Author information

Authors and Affiliations

  1. Department of Applied Informatics, Warsaw University of Life Sciences, ul. Nowoursynowska 159, 02-776, Warsaw, Poland

    Bartłomiej Jacek Kubica

Authors
  1. Bartłomiej Jacek Kubica
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Bartłomiej Jacek Kubica .

Editor information

Editors and Affiliations

  1. Czestochowa University of Technology, Czestochowa, Poland

    Roman Wyrzykowski

  2. University of Tennessee, Knoxville, Tennessee, USA

    Jack Dongarra

  3. University of Southern California, Marina Del Rey, California, USA

    Ewa Deelman

  4. Czestochowa University of Technology, Czestochowa, Poland

    Konrad Karczewski

Rights and permissions

Reprints and permissions

Copyright information

© 2018 Springer International Publishing AG, part of Springer Nature

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Kubica, B.J. (2018). Role of Hull-Consistency in the HIBA_USNE Multithreaded Solver for Nonlinear Systems. In: Wyrzykowski, R., Dongarra, J., Deelman, E., Karczewski, K. (eds) Parallel Processing and Applied Mathematics. PPAM 2017. Lecture Notes in Computer Science(), vol 10778. Springer, Cham. https://doi.org/10.1007/978-3-319-78054-2_36

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-78054-2_36

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-78053-5

  • Online ISBN: 978-3-319-78054-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation