国际博协 swMATH ID: 4007 软件作者: Y.利巴。 描述: ICOS:用于严格全局优化的基于分支和边界的求解器。本文描述了一个名为Interval Constraint Solver(ICOS)的软件包,它实现了一个分枝定界算法,用于严格解决全局优化问题。ICOS库包含来自约束编程、区间分析和线性松弛技术的算法。它包含一个到线性编程求解器和局部优化求解器(例如Coin/Clp、Cplex和IpOpt)的接口。ICOS还有自己的AMPL解析器,可以在类Unix命令中调用ICOS二进制代码。ICOS策略语言能够组合和参数化现有算法,以解决优化问题。因此,用户可以在不改变ICOS内部架构的情况下制定自己的解决策略。给出了各种例子来说明如何使用策略语言。我们概述了ICOS的设计、实现和快速用户指南。 主页: https://sites.google.com/site/ylebbah/icos网站 操作系统: Linux、Windows/Cygwin二进制文件(正在开发中) 关键词: 全局优化;区间分析;约束编程;解决问题 相关软件: BARON公司;Numerica公司;椰子;RealPaver公司;林多;安提戈内;全球溶胶;个人资料/偏差;并入PT_90;INTBIS公司;AMPL公司;全球实验室;CONOPT公司;伊波特;库恩;IbexOpt公司;全球图书馆;coco_gop_ex公司;别名;CFSQP公司 引用于: 16文件 标准条款 1出版物描述软件,包括1出版物以zbMATH为单位 年份 ICOS:用于严格全局优化的基于分支和边界的求解器。 Zbl 1179.90265号Y.利巴。 2009 全部的 前5名28位作者引用 三 伊格纳西奥·J·阿拉亚。 三 阿诺德·诺伊梅尔 2 穹顶,费伦茨 2 莱恩特·奥兹达马尔 2 Chandra Sekhar的Pedamallu 2 维克多·雷耶斯 2 尼古拉斯五世·萨希尼迪斯。 2 贾米拉·萨姆·哈罗德 2 武宣哈 1 罗伯托·巴格纳拉 1 卡利埃、马蒂厄 1 马丁·塞贝里奥 1 丹尼斯·查金 1 博伊·沃尔科特·福廷斯 1 阿尔奇斯·盖特 1 罗伯塔·戈里 1 阿尔诺·哥特利布 1 沃尔特劳德·休耶 1 克里斯蒂安·詹森 1 基尔,克里斯蒂安 1 雅希亚·利巴 1 伯特兰·奈韦 1 亚什·普兰尼克 1 赫尔曼·施奇尔 1 奥列格·谢尔比纳。 1 塔马斯·文科 1 王伟 1 塞尔达·B·扎宾斯基。 全部的 前5名9篇连载文章中引用 5 全球优化杂志 三 优化方法和软件 2 限制条件 1 SIAM数值分析期刊 1 计算机与运筹学 1 数学编程。A系列B系列 1 数学与人工智能年鉴 1 信息计算杂志 1 优化与工程 全部的 前5名在6个字段中引用 13 运筹学、数学规划(90-XX) 4 计算机科学(68至XX) 三 数值分析(65-XX) 1 历史和传记(01-XX) 1 粒子和系统力学(70-XX) 1 生物学和其他自然科学(92-XX) 按年份列出的引文