×
卡洛斯·埃尔比格（Carlos A.Hölbig）。；安德烈尔·多·卡莫；路易斯·阿伦特（Luis P.Arendt）。

多核处理器上的高精度和区间算法。 （英语） Zbl 1278.65055号

计算。申请。数学。 32，第3期，425-434（2013）.
摘要：我们描述了使用OpenMP和POSIX线程在多核处理器上集成和使用高精度和区间算术库（C-XSC库）来进行进程之间的通信。通过这种集成，我们有了一个支持高精度和验证计算的并行环境。这项工作的目的是提供一个环境，在这个环境中，科学计算问题可以快速、准确和可靠地解决，结果验证可以由计算机自动进行。为了验证本文开发的环境，进行了一些测试，并对其结果进行了讨论。

引用于1文件

MSC公司：

65G20个 具有自动结果验证的算法
65G30型 区间和有限算术
第65年 并行数值计算
68米10 计算机系统中的网络设计和通信

关键词：

高精度图书馆；多核处理器；验证的并行算法；OpenMP API；线程；数值示例；区间算术；科学计算

软件：

线程；C-XSC（C-XSC）；C-XSC 2.0版
PDF格式BibTeX公司 XML格式引用
\textit{C.A.Hölbig}等人，计算。申请。数学。32，第3号，425--434（2013；Zbl 1278.65055）
全文： DOI程序

参考文献：

[1] Albrecht R、Alefeld G、Stetter HJ（eds）（1993）《验证数值——理论和应用》。收录：《计算补遗》，第9卷。柏林施普林格·Zbl 0784.00013号
[2] Alt R、Frommer A、Kearfott R、Luther W（eds）（2004）《数值软件与结果验证》。收录：计算机科学课堂讲稿，第2991卷。柏林施普林格·兹比尔1046.65001
[3] Barboza LV，Dimuro GP，Reiser RHS（2004）电力系统负荷不确定性的区间分析。摘自：2004年第八届电力系统概率方法国际会议论文集，华盛顿，第1-6页
[4] Chapmam B、Jost G、Pas RVD（2007）使用OpenMP。麻省理工学院出版社，剑桥
[5] Grimmer M，Krämer W（2007）并行环境中验证数值计算的MPI扩展。摘自：第七届国际科学计算会议记录，2007年，拉斯维加斯，第111-117页
[6] Hammer R、Hocks M、Kulisch U、Ratz D（1995）验证计算的C-XSC工具箱I：基本数值问题。柏林施普林格·Zbl 0828.68041号
[7] Hofschuster W，Krämer W（2004）C-XSC 2.0：用于扩展科学计算的C++类库。在：[2]，第259–276页·Zbl 1126.65328号
[8] Hölbig CA，Diverio TA，CLAUDIO DM（2009）用于解决数值问题的高精度并行环境。修订IEEE América Latina 7:114–121
[9] Hölbig CA、Morandi Jünior PS、Claudio DM、Diverio TA（2005）《高精度解决现实生活中的应用程序》。In:并行计算国际会议，PARCO 2005，马拉加，第98页
[10] Jónasson K（ed）（2012）应用并行和科学计算。收录：计算机科学课堂讲稿，第7134卷。柏林施普林格
[11] Joubert GR、Nagel WE、Peters FJ、Walter WV（eds）（2004）《并行计算：软件技术、算法、架构和应用》。爱思唯尔科学出版社，Londres
[12] Khatchatourian O，Savicki LD（2001）在谷物质量不均匀的条件下，通过通风优化谷物仓库的空气分布。收录：2001年第16届巴西机械工程大会会议记录，Uberlándia，第73–82页
[13] Kolberg ML、Fernandes LG、Claudio DM（2008）《稠密线性系统：并行自验证求解器》。国际J并行程序36:412–425·兹比尔1154.68361 ·doi:10.1007/s10766-007-0058-x
[14] Kolberg ML，Krämer W，Zimmer M（2011）大型稠密线性区间方程组的高效并行求解器。宗教计算15:193–206
[15] Krämer W，Kulisch U，Lohner R（1994）验证计算的数值工具箱II–高级数值问题。卡尔斯鲁厄大学。网址：http://www.uni-karlsruhe.de/\鲁道夫。洛纳/论文/tb2.ps.gz
[16] Kulisch U，Miranker WL（1981）《计算机算术理论与实践》。纽约学术出版社·Zbl 0487.65026号
[17] Nichols B、Buttlar B、Farrell JP（1996）《Pthreads编程》。奥莱利（O’Reilly）；塞巴斯托波尔联合公司
[18] Rizzi RL等人（2004）多处理器PC集群中Krylov子空间方法的并行化。收录于：[11]，第543-550页
[19] Rump SM（1993）验证了大型线性系统的解。收录于：[1]，第191–212页·Zbl 0837.65013
[20] Zimmer M，Krämer W，Hofschuster W（2012）在高性能计算中使用C-XSC。收录于：[10]，第168–178页
[21] Zimmer M（2011）在多线程环境中使用C-XSC。伍珀塔尔大学预印BUGHW–WRSWT 2011/2，伍珀塔
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。