赫利俄斯

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