野山羊

IBEX是一个用于实数约束处理的C++库。它为处理非线性约束提供了可靠的算法。特别是舍入误差也被考虑在内。它基于区间算法和仿射算法。Ibex的主要特点是它能够通过contractor编程范式声明性地构建策略。它也可以用作黑盒解算器。可以解决的两个典型问题是:系统解决。计算了(非线性)方程组的每一个解的一个保证封闭空间。全局优化。在目标最小值上有保证界的条件下,求出了一类非线性约束下函数的全局极小值。IBEX是一个开源的学术项目,始于2007年。


zbMATH中的参考文献(参考文献12条,1标准件)

显示第1到第12个结果,共12个。
按年份排序(引用)

  1. 马伦德,安托万;哥尔斯泰恩,亚历山德拉;查伯特,吉尔;非线性问题的半界方法
  2. 哥尔斯泰恩,亚历山德拉;Chabert,Gilles:使用区间Lyapunov方程估计非光滑系统的鲁棒吸引域(2019)
  3. 朱德尔,雨果;佛罗伦萨,蒂亚德:利用多区间约束传播求解机车车辆管理问题的贪婪方法。使用多区间约束传播求解机车车辆管理问题的贪婪方法,2014年ROADEF/EURO challenge 2014(2018年)
  4. 尼芙,贝特朗;特罗姆贝托尼,吉尔;Araya,Ignacio:区间分枝定界算法中的节点选择策略(2016)
  5. Ninin,Jordan:基于承包商编程的全局优化:IBEX库概述(2016)
  6. 维斯马拉,菲利普;科莱塔,雷米;Trombettoni,Gilles:葡萄酒混合的约束全局优化(2016)
  7. 尼芙,贝特朗;特罗姆贝托尼,吉尔;Araya,Ignacio:自适应构造区间析取:算法与实验(2015)
  8. 古阿拉德:如何计算区间的中点?(2014年)
  9. 马伊加,穆萨;拉姆达尼,纳西姆;特拉维-马苏伊,路易丝;Combastel,Christophe:求解非线性混合可达性中保护集交集的CSP与基于zonotope的方法(2014)
  10. 阿拉亚,伊格纳西奥;尼芙,贝特朗;Trombettoni,Gilles:基于发生分组的区间扩展(2012)
  11. 尼芙,贝特朗;特罗姆贝托尼,吉尔;Chabert,Gilles:用区间牛顿改进块间回溯(2010)
  12. 查伯特,吉尔;Luc Jaulin:承包商规划(2009年)