×

太阳神

swMATH编号： 1440
软件作者： 劳伦特·米歇尔（Laurent Michel）、帕斯卡·范·亨特利克（Pascal Van Hentenryck）
描述： Helios是第一个（据我们所知）使用间隔分析进行全局优化的建模语言。Helios可以像在科学论文和教科书中那样描述全局优化问题，并且可以保证在约束求解问题中找到所有孤立的解，在优化问题中找到全部全局最优解。Helios语句被编译为Newton，这是一种使用约束满足和区间分析技术的约束逻辑编程语言，其效率与Newton中的直接编程相当。本文介绍了Helios的设计，描述了它的理论基础和语义属性，简述了它的实现，报告了一些实验结果，并将Helios与其他建模语言和Newton中的直接编程进行了比较。
主页： http://www.cs.brown.edu/research/pubs/pdfs/1997/Michel-1997-HML.pdf
操作系统： 在运行Solaris的SUN-SPARC-10上进行了测试。
关键词： Helios：一种全局优化建模语言及其在Newton中的实现
相关软件： AMPL公司;牛顿;FleetWave公司;天蓝色;莫扎特;QOCA公司;CPLEX公司;Maple的全局优化工具箱;GAMS游戏;PASCAL-XSC公司;小背包
引用于： 10文件
全部的 前5名

20位作者引用

1 Adamidis、Panagiotis
1 伊利亚·巴尔丁
1 穆斯塔法·阿尔普
1 罗伯特·福勒
1 盖伊，大卫·M·。
1 约翰·胡克（John N.jun Hooker）。
1 劳拉·杰克逊（Laura E.Jackson）。
1 金、哈金
1 艾斯·基珀
1 李波
1 李兴
1 劳伦特·米歇尔
1 内茨，雷维尔
1 格雷格·奥托森
1 莱恩特·奥兹达马尔
1 帕克，雅库普
1 Petridis、Vassilios
1 乔治·罗斯卡斯（George N.Rouskas）。
1 Sy ener，Cevat公司
1 帕斯卡·范·亨特利克
全部的 前5名

6篇连载文章中引用

1 天文学和天体物理学
1 理论计算机科学
1 运筹学年鉴
1 欧洲运筹学杂志
1 国际计算机数学杂志
1 信息计算杂志
全部的 前5名

在7个字段中引用

5 计算机科学（68至XX）
4 运筹学、数学规划（90-XX）
2 天文学和天体物理学（85-XX）
1 总体主题；集合（00-XX）
1 历史和传记（01-XX）
1 数值分析（65-XX）
1 流体力学（76-XX）

按年份列出的引文