摊铺机

算法852 Realpaver:非线性约束求解和严格的全局优化。问题:Realpaver允许建模和解决非线性和非凸约束满足和优化问题超过实数。决策变量,无论是连续的还是离散的,都必须有界。函数和约束必须用包含常用算术运算和超越初等函数的解析表达式来定义。严格性:Realpaver通过从真实欧几里得空间的矩形区域覆盖给定问题的解集。它可以通过计算一个空覆盖来证明问题的不可满足性。在某些条件下,它可以证明一组约束的解的存在性。此外,它还能够确定地封闭优化问题的全局最优解。解决方法:Realpaver在分支定界框架中实现了正确的基于区间取整的计算。它的主要特点是结合了不同领域的几种方法:区间不动点算子、约束传播和局部一致性技术、使用下降法和元启发式的局部优化方法以及多种搜索策略。软件包:Realpaver是开源的,可配置的,面向对象的,符合isoc++标准。API允许扩展库以及建模和解决问题。还提供了一个数学建模语言和一组基准测试。gaol支持区间算法。(资料来源:http://dl.acm.org/)


zbMATH中的参考文献(参考文献51条,2标准条款)

显示第1到第20个结果,共51个。
按年份排序(引用)
  1. 马丁,本杰明;马可·科雷亚;Cruz,Jorge:基于可靠性优化问题的认证分支定界方法(2017)
  2. 马丁,本杰明;哥尔斯泰恩,亚历山德拉;格兰维利尔,劳伦特;Jermann,Christophe:非线性生物目标优化的区间分枝优势约束传播(2017)
  3. 董武宣;Khanh,到Van;小川,瑞穗:多项式约束的SMT解算器(2017)
  4. 巴格纳,罗伯托;卡莱尔,马修;戈里,罗伯塔;Gotlieb,Arnaud:利用二进制浮点表示进行约束传播(2016)
  5. 布考瓦拉,法尼;守财奴,露丝;Floudas,Christodoulos A.:混合整数非线性规划的全局优化进展,MINLP和约束无导数优化,CDFO(2016)
  6. 马丁,本杰明;哥尔斯泰恩,亚历山德拉;格兰维利尔,劳伦特;Jermann,Christophe:非线性双目标优化的延拓方法:迈向基于区间的认证方法(2016)
  7. 董武宣;Khanh,到Van;小川,瑞穗:多项式约束的SMT解算器(2016)
  8. 哥尔斯泰恩,亚历山德拉;杰曼,克里斯托夫;鲁伊斯·德安古洛,维森特;Torras,Carme:数值约束问题中的变量对称破缺(2015)
  9. Kubica,Bartłomiej Jacek:针对欠定和良定非线性系统的高调谐多线程区间解算器的介绍(2015)
  10. 安东尼,纳卡维茨;穆尼奥斯,塞萨尔;Dutle,Aaron:基于Sturm和Tarski定理的单变量多项式计算的正式验证决策程序(2015)
  11. 尼宁,约旦;梅西,弗里德里克;Hansen,Pierre:用于全局优化的可靠仿射松弛方法(2015)
  12. 亚希姆,威松;斯科特,约瑟夫K。;沃森,哈里·A·J。;巴顿,保罗一世:麦考密克松弛的反向传播(2015)
  13. 卡罗,S。;查布拉特,D。;戈尔斯泰恩,A。;石井,D。;Jermann,C.:并行机器人广义方面计算的分支和剪枝算法(2014)
  14. 杜拉茨,一月;Konečný,Michal:浮点软件验证的多项式函数区间(2014)
  15. 古阿拉德:如何计算区间的中点?(2014年)
  16. 萨贝特,里哈布-埃尔胡达;拉西,塔里克;康巴斯特,克里斯托夫;埃菲莫夫,丹尼斯;Zolghadri,Ali:时变系统区间观测器设计的有效方法(2014)
  17. 卡瓦略,艾尔莎;克鲁兹,豪尔赫;Barahona,Pedro:非线性反问题的概率约束(2013)
  18. 高思春;孔顺和;Clarke,Edmund M.:dReal:reals上非线性理论的SMT解算器(2013)
  19. 穆尼奥斯,塞萨尔;Narkawicz,Anthony:Bernstein多项式的形式化及其在全局优化中的应用(2013)
  20. 帕蒂尔,穆克什D。;Nataraj,P.S.V.:基于区间约束满足技术的多变量系统QFT预滤波器设计(2013)

更多出版物请访问:http://pagesperso.lina.univ-nantes.fr/~granvilliers-l/realpaver公司/