×
巴特·库比卡（Bartłomiej Jacek）

针对欠定和确定良好的非线性系统，提出了一种高度调谐的多线程区间求解器。创新的实证评估。 （英语） Zbl 1332.65069号

数字。算法 70，第4期，929-963（2015）.
摘要：本文总结了作者在非线性系统多线程区间剪枝算法的优化方面的研究，并给出了开发的求解器。给出了使用箱一致性强制算子的新结果和初始排除阶段的一种新变体。此外，还考虑了一种新的启发式算法来选择二分坐标。对大量的数值实验进行了分析，以提供令人满意的算法版本。

引用于1文件

MSC公司：

65H10型 方程组解的数值计算
65G30型 区间和有限算术

关键词：

区间法；非线性方程组；启发式；低差异序列；多线程计算；分枝剪枝算法；初始排除阶段；二等分；数值实验

软件：

英特尔TBB；开放式BLAS；并入PT_90；GLPK公司；RealPaver公司
PDF格式BibTeX公司 XML格式引用
\textit{B.J.库比卡}，数字。算法70，No.4，929-963（2015；Zbl 1332.65069）
全文： 内政部

参考文献：

[1] C++扩展的科学计算库。网址：http://www.xsc.de (2013) ·Zbl 0489.65033号
[2] 英特尔线程构建块。http://www.threadingbuildingblocks.org（2013年）
[3] OpenBLAS库。http://xianyi.github.com/OpenBLAS/ (2013) ·兹伯利0497.65026
[4] 困难的基准测试问题。http://www-sop.inria.fr/coprin/logiciels/ALIAS/Benches/node6.html (2014)
[5] GNU线性编程套件。http://www.gnu.org/software/glpk/ (2014)
[6] 非多项式非线性系统基准。https://www-sop.inria.fr/coprin/logiciels/ALIAS/Benches/node2.html (2014)
[7] 重新铺路机。非线性约束求解&严格的全局优化。http://pagesperso.lina.univ-nantes.fr/info/perso/permanents/granvil/realpaver/（2014年）·Zbl 1081.65042号
[8] Sobol序列生成器。http://web.maths.unsw.edu.au/fkuo/sobol/（2014年）·Zbl 1309.90101号
[9] Beelitz，T.，Bischof，C.H.，Lang，B.：一种用于结果验证非线性解算器的混合细分策略。技术报告04/8，伯吉斯大学伍珀塔尔分校（2004）·Zbl 1354.65114号
[10] Benhamou，F.、Goualard，F.，Granvilliers，L.、Puget，J.F.：修改船体和箱体的一致性。摘自：逻辑编程国际会议，第230-244页。麻省理工学院出版社（1999）
[11] Benhamou，F.、McAllester，D.、Hentenryck，P.V.：重新审视CLP（间隔）。摘自：《逻辑编程》，1994年国际研讨会论文集，第124-138页。麻省理工学院出版社（1994）·Zbl 1074.65058号
[12] van Emden，M.H.：通过原子约束系统中的结构化传播计算函数和关系盒一致性。arXiv:预印本/0106008（2001）
[13] Goldsztejn，A.，Jaulin，L.：存在量化等式约束的内外近似。莱克特。注释计算。科学。4204, 198-212 (2006) ·Zbl 1160.68546号 ·doi:10.1007/11889205_16
[14] Goualard，F.：关于将区间约束求解算法视为自由转向非线性高斯-赛德尔过程。摘自：2005年美国计算机学会应用计算研讨会论文集，SAC’05，第1434-1438页，美国纽约州纽约市美国计算机学会（2005）。数字对象标识代码：10.1145/1066677.1067004
[15] Goualard，F.，Jermann，C.：区间约束传播的强化学习方法。约束13（1-2），206-226（2008）·Zbl 1147.68630号 ·doi:10.1007/s10601-007-9027-7
[16] Granvilliers，L.，Benhamou，F.：解决电路设计问题的进展。J.全球。最佳方案。20(2), 155-168 (2001) ·Zbl 0998.65051号 ·doi:10.1023/A:1011266226870
[17] Granvilliers，L.，Benhamou，F.：算法852:Realpaver:使用约束满足技术的区间解算器。ACM事务处理。数学。柔和。（TOMS）32（1），138-156（2006）·Zbl 1346.65020号 ·doi:10.1145/1132973.1132980
[18] Hansen，E.，Walster，W.：使用区间分析的全局优化。马塞尔·德克尔（Marcel Dekker），纽约（2004）·Zbl 1103.90092号
[19] Ishii，D.，Goldsztejn，A.，Jermann，C.：欠约束数值系统的基于区间的投影方法。约束17（4），432-460（2012）·Zbl 1309.90101号 ·doi:10.1007/s10601-012-9126-y
[20] Kearfott，R.B.：严格的全球搜索：持续的问题。Kluwer，Dordrecht（1996）·Zbl 0876.90082号 ·doi:10.1007/978-1-4757-2495-0
[21] Kolev，L.V.：用于解决非线性问题的改进区间线性化。数字算法。37(1-4), 213-224 (2004) ·Zbl 1074.65058号 ·doi:10.1023/B:NUMA.000049468.03595.4c
[22] Kubica，B.J.：Intel TBB作为非线性方程组区间解算器的并行化工具。技术代表09-02，ICCE WUT（2009）
[23] 库比卡，B.J.：区间牛顿收缩算子的性能反演。普拉斯·瑙科维政治技术公司（Prace Naukow Politiechniki Warszawskiej）。Elektronika 169，111-119（2009）。KAEiOG 2009会议记录
[24] 库比卡，B.J.：区间方程系统求解器的共享内存并行化-toos的比较。普拉斯·瑙科维政治技术公司（Prace Naukow Politiechniki Warszawskiej）。Elektronika 169，121-128（2009）。KAEiOG，2009年会议记录
[25] 库比卡，B.J.：求解欠定非线性方程组的区间方法。《可靠计算》第15期，第207-217页（2011年）。SCAN 2008年会议记录
[26] Kubica，B.J.：欠定非线性系统区间解算器中的排除区域。技术报告12-01，ICCE WUT（2012）
[27] Kubica，B.J.：调整多线程区间方法以求解欠定非线性方程组。莱克特。注释计算。科学。7204, 467-476 (2012). PPAM 2011会议记录·doi:10.1007/978-3642-31500-848
[28] Kubica，B.J.：在非线性系统的区间分枝剪枝方法中使用Sobol序列排除区域。Reliab公司。计算。19(4), 385-397 (2014). SCAN 2012年会议记录
[29] 库比卡，B.J.：在区间方法中使用二次近似来求解欠定和定好的非线性系统。莱克特。注释计算。科学。8385, 623-633 (2014). 2013年PPAM会议记录·doi:10.1007/978-3-642-55195-6_59
[30] Kubica，B.J.，Woźniak，A.：在多准则问题的Pareto-set计算中使用二阶信息。莱克特。注释计算。科学。7134, 137-147 (2012). PARA 2010程序·doi:10.1007/978-3-642-28145-7_14
[31] Meyn，K.H.：用平稳迭代方法求解欠定非线性方程。数字。数学。42, 161-172 (1983) ·Zbl 0497.65026号 ·doi:10.1007/BF01395309
[32] Neumaier，A.：参数相关方程组解的封闭。摘自：《计算可靠性》，第269-286页。学术出版社（1988）·Zbl 0651.65044号
[33] Puget，J.F.，Hentenryck，P.V.：电路设计问题的约束满足方法。J.全球。最佳方案。13(1), 75-93 (1998) ·Zbl 0914.90241号 ·doi:10.1023/A:1008236911603
[34] Ratschek，H.，Rokne，J.：使用区间分析解决电路设计问题的实验。J.全球。最佳方案。3（4），501-518（1993）·Zbl 0793.90077号 ·doi:10.1007/BF01096417
[35] Rheinboldt，W.C.：平衡流形上临界边界的计算。SIAM J.数字。分析。19, 653-669 (1982) ·Zbl 0489.65033号 ·doi:10.1137/0719046
[36] Shary，S.P.：区间线性公差问题。自动。远程。控制。65, 1653-1666 (2004) ·Zbl 1081.65042号 ·doi:10.1023/B:AURC.0000044274.25098.da
[37] Shary，S.P.：有限维区间分析。XYZ公司。电子图书（俄语）。（访问日期：2014.05.15）（2013年）。http://www.nsc.ru/interval/Library/InteBooks/SharyBook.pdf
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。