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