赫利俄斯

Helios是第一个(据我们所知)使用间隔分析进行全局优化的建模语言。Helios使我们能够像在科学论文和教科书中那样描述全局优化问题,并且保证在约束求解问题中找到所有孤立解,在优化问题中找到所有全局最优解。Helios语句被编译成Newton,这是一种使用约束满足和区间分析技术的约束逻辑编程语言,其效率与Newton中的直接编程相当。本文介绍了Helios的一些基本建模语言,并对其进行了语义描述,并给出了Helios的一些实验结果。