数字

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


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

显示结果1到20,共46个。
按年份排序(引用)
  1. 马伦德,安托万;哥尔斯泰恩,亚历山德拉;查伯特,吉尔;Jermann,Christophe:非线性半无限问题的标准分枝定界方法(2020)
  2. 尼芙,贝特朗;德拉戈斯,马丁;帕斯卡,莫纳塞;Trombettoni,Gilles:参数估计的一般区间分枝定界算法(2019)
  3. Destrochers,B。;Jaulin,L.:厚集反演(2017)
  4. 马丁,本杰明;马可·科雷亚;Cruz,Jorge:基于可靠性优化问题的认证分支定界方法(2017)
  5. 马丁,本杰明;哥尔斯泰恩,亚历山德拉;格兰维利尔,劳伦特;Jermann,Christophe:非线性生物目标优化的区间分枝优势约束传播(2017)
  6. 米歇尔,L。;Van Hentenryck,P.:约束编程的微内核架构(2017)
  7. 帕拉尼克,亚什;Sahinidis,Nikolaos V.:用于全局NLP和MINLP优化的域缩减技术(2017)
  8. 阿拉亚,伊格纳西奥;Reyes,Victor:优化和约束满足的区间分枝定界算法:调查与展望(2016)
  9. 卢克:只有射程的大满贯,没有明显的地标;约束规划方法(2016)
  10. 尼芙,贝特朗;特罗姆贝托尼,吉尔;Araya,Ignacio:区间分枝定界算法中的节点选择策略(2016)
  11. Kearfott,Ralph Baker:关于分支定界算法中排除区域的一些观察(2015)
  12. 尼芙,贝特朗;特罗姆贝托尼,吉尔;Araya,Ignacio:自适应构造区间析取:算法与实验(2015)
  13. 尼宁,约旦;梅西,弗里德里克;Hansen,Pierre:用于全局优化的可靠仿射松弛方法(2015)
  14. 希奇,赫尔曼;玛克特,米哈利克萨巴;Neumaier,Arnold:优化问题的排除区域(2014)
  15. 石井、大辅;哥尔斯泰恩,亚历山德拉;Jermann,Christophe:欠约束数值系统的基于区间的投影方法(2012)
  16. 勒巴尔斯,法布里斯;斯莱沃卡,简;焦林,吕克;Reynet,Olivier:Set membership state estimation with fleeting data(2012年),奥利维尔:使用短暂数据设定成员状态估计(2012年)
  17. Kearfott,Ralph Baker:区间计算,确定性连续全局优化中的严格性和非严格性(2011)
  18. 佩达马鲁,钱德拉·塞哈尔;Ozdamar,Linet:通过有效区间划分解决运动学问题(2011)
  19. 科莱纳维兹;鲁厄,米歇尔;Van Hentenryck,Pascal:CPBPV:有界程序验证的约束编程框架(2010)
  20. 穹顶,费伦茨;Neumaier,Arnold:二次约束的约束传播(2010)