Helios

Helios is the first (to our knowledge) modeling language for global optimization using in- terval analysis. Helios makes it possible to state global optimization problems almost as in sci- entific papers and textbooks and is guaranteed to find all isolated solutions in constraint-solving problems and all global optima in optimization problems. Helios statements are compiled to Newton, a constraint logic programming language using constraint satisfaction and interval anal- ysis techniques and their efficiency is comparable to direct programming in Newton. This paper presents the design of Helios, describes its theoretical foundation and semantic properties, sketches its implementation, reports some experimental results, and compares Helios to other modeling languages and direct programming in Newton.

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element

References in zbMATH (referenced in 11 articles )

Showing results 1 to 11 of 11.
Sorted by year (citations)

  1. Özdamar, Linet; Ertem, Mustafa Alp: Models, solutions and enabling technologies in humanitarian logistics (2015)
  2. Semenov, V. A.; Dragalov, K. V.; Ilyin, D. V.: On complementary principles of object-oriented constraint programming (2010) ioport
  3. Li, B.; Li, Xing: Angular momentum transport in a multicomponent solar wind with differentially flowing, thermally anisotropic ions (2009)
  4. Netz, Reviel: Ludic proof. Greek mathematics and the Alexandrian aesthetic (2009)
  5. Baldine, Ilia; Jackson, Laura E.; Rouskas, George: Helios: A broadcast optical architecture (2002)
  6. Fourer, Robert; Gay, David M.: Extending an algebraic modeling language to support constraint programming (2002)
  7. Sener, Cevat; Paker, Yakup; Kiper, Ayşe: Developing a data-parallel application with DaParT (2002)
  8. Hooker, J. N.; Kim, Hak-Jin; Ottosson, G.: A declarative modeling framework that integrates solution methods (2001)
  9. Bhattacharjee, A.; Ng, C. S.: Reduced models of magnetohydrodynamic turbulence in the interstellar medium and the solar wind (1999)
  10. Adamidis, P.; Petridis, V.: On the parallelization of artificial neural networks and genetic algorithms (1998)
  11. Michel, Laurent; Van Hentenryck, Pascal: \textitHelios: A modeling language for global optimization and its implementation in \textitNewton (1997)