数字

Numerica:一种用于全局优化的建模语言。许多科学和工程应用要求用户寻找非线性约束系统的解,或优化受非线性约束的非线性函数。全局优化的研究领域是寻找非线性约束系统的全部解和优化问题的全局最优解的方法。Numerica是一种用于全局优化的建模语言,它可以用一种接近教科书和科学论文中传统陈述的形式来描述非线性问题。Numerica的约束求解算法是基于传统数值方法(如区间法、局部法)和约束满足技术的结合而提出的。文中还讨论了如何有效地利用Numerica来解决实际问题,并报道了一些实验结果。


zbMATH参考文献(46篇文章引用,1标准件)

显示结果1到20,共46个。
按年份排序(引用)
  1. Antoine Marendet;Goldsztejn,Alexandre;Chabert,Gilles;Jermann,Christophe:非线性半无限问题的标准分枝定界方法(2020)
  2. Neveu,Bertrand;de la Gorce,Martin;Monasse,Pascal;Trombettoni,Gilles:参数估计的一般区间分枝定界算法(2019)
  3. Destrochers,B.;Jaulin,L.:厚集反演(2017)
  4. Martin,Benjamin;Correia,Marco;Cruz,Jorge:基于可靠性优化问题的认证分支定界方法(2017)
  5. Martin,Benjamin;Goldsztejn,Alexandre;Granvilliers,Laurent;Jermann,Christophe:非线性生物目标优化中使用区间优势的约束传播&边界(2017)
  6. Michel,L.;Van Hentenryck,P.:约束编程的微内核架构(2017)
  7. Puranik,Yash;Sahinidis,Nikolaos V.:用于全局NLP和MINLP优化的域缩减技术(2017)
  8. Araya,Ignacio;Reyes,Victor:优化和约束满足的区间分枝定界算法:调查与展望(2016)
  9. Jaulin,Luc:只有射程的大满贯,没有明显的地标;约束编程方法(2016)
  10. Neveu,Bertrand;Trombettoni,Gilles;Araya,Ignacio:区间分枝定界算法中的节点选择策略(2016)
  11. Kearfott,Ralph Baker:关于分支定界算法中排除区域的一些观察(2015)
  12. Neveu,Bertrand;Trombettoni,Gilles;Araya,Ignacio:自适应构造性区间析取:算法与实验(2015)
  13. Ninin,Jordan;Messine,Frédéric;Hansen,Pierre:用于全局优化的可靠仿射松弛方法(2015)
  14. Hermaáneuldól问题,Herma Neuld;2014;Mark Neuldól y;Herma Neuldól;2014年;Markóneuldól y)
  15. Ishii,Daisuke;Goldsztejn,Alexandre;Jermann,Christophe:欠约束数值系统的基于区间的投影方法(2012)
  16. Le Bars,Fabrice;Sliwka,Jan;Jaulin,Luc;Reynet,Olivier:用短暂数据设定成员状态估计(2012)
  17. Kearfott,Ralph Baker:区间计算,确定性连续全局优化中的严格性和非严格性(2011)
  18. Pedamallu,Chandra Sekhar;Ozdamar,Linet:通过有效区间划分解决运动学问题(2011)
  19. Collavizza,Hélène;Rueher,Michel;Van Hentenryck,Pascal:CPBPV:有界程序验证的约束编程框架(2010)
  20. Domes,Ferenc;Neumaier,Arnold:二次约束的约束传播(2010)