Boost区间算法

Boost区间算法库的设计。我们提出了Boost区间算术库的设计,这是一个C++库,旨在以一种通用的方式高效地处理数学区间。可靠的区间是一个重要的计算工具。越来越多的数学证明依赖于使用区间计算的分枝定界算法来解决全局优化问题;因此,有一个数学上正确的区间算法的实现是极其重要的。不同的实现具有不同的语义。我们的设计是独特的,它使用策略来指定三个独立变量行为:舍入、检查和比较。因此,通过适当的策略,我们的interval库能够模拟几乎所有可用于区间算法的专用库,而不会损失任何性能,也不会牺牲易用性。该库可在www.boost上公开获取。组织。


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

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

  1. 亚伯特,亚历山德罗;贝萨,尤里;科尔代罗,卢卡斯;大卫,克里斯蒂娜;凯塞利,帕斯卡;丹尼尔·克罗宁;Polgreen,Elizabeth:连续装置可证明安全数字控制器的自动形式综合(2020)
  2. 宋延志;杨周旺;刘、元;邓建松:基于函数表示的三维打印切片器(2018)
  3. 查托帕迪亚,阿米特;素食者,格特;Yap,Chee K.:平面Morse-Smale复合物的认证计算(2017)
  4. 布考瓦拉,法尼;守财奴,露丝;Floudas,Christodoulos A.:混合整数非线性规划的全局优化进展,MINLP和约束无导数优化,CDFO(2016)
  5. 亚希姆,威松;斯科特,约瑟夫K。;哈利沃森。;巴顿,保罗一世:麦考密克松弛的反向传播(2015)
  6. 古阿拉德:如何计算区间的中点?(2014年)
  7. 守财奴,露丝;Floudas,Christodoulos A:全球优化混合整数符号规划的框架(2014)
  8. 露丝,吝啬鬼;Floudas,Christodoulos A.:ANTIGONE:非线性方程的连续/整数全局优化算法(2014)
  9. 安德烈亚斯,伦德尔;斯基亚尔,安德斯;韦斯特伦德,塔皮奥:全球优化的重新制定框架(2013)
  10. Nehmeier,Marco:使用表达式模板的区间算术,模板元编程和即将到来的C++标准(2012)
  11. 斯普雷克,P。;塔博,Ja.:近似中凸函数条件的数值验证(2012)
  12. 玛克特,米哈利克萨巴;Schichl,Hermann:区间全局优化方法的局部优化解算器的比较和自动选择(2011)
  13. Boissonnat,Jean Daniel(编辑);Teillaud,Monique(ed.):曲线和曲面的有效计算几何(2007)
  14. 伯尼曼,赫维;梅尔奎恩,纪尧姆;Pion,Sylvain:Boost区间算术库的设计(2006)
  15. Martel,Matthieu:数值程序验证的语义概述(2005)