罗德斯

严格的ODE解算器和Smale的第14个问题:5。RODES程序:RODES(严格的ODE解算器)程序是一个高度自适应的多处理器程序。如前所述,计算在必要时使用区间算术和定向取整来执行。该功能由PROFIL/BIAS包提供(见[8]),该软件包在证明中的所有架构上都受支持。该程序在20台并行工作的机器上执行,数据通过一个通用的文本文件在两个进程之间传递。所有的浮点数都是以17位精度传递的,它完全按照IEEE标准进行转换。这项任务使用的计算机是各种SUN Sparc工作站,型号从LX、Sparc 4到Ultra 1。在这种情况下,总的计算时间约为100小时。其他配备了少数配备了更强处理器的计算机的装置也得到了类似的结果。在接下来的章节中,我们将概述程序的全局结构和所进行的计算。


zbMATH中的参考文献(参考 103篇文章,1标准件)

显示103个结果中的1到20个。
按年份排序(引用)
  1. 巴桑,威尔;墨尔本,伊恩;鲁齐博耶夫,马克:洛伦兹流量的方差连续性(2020年)
  2. Gianfelice,Michele;Vaienti,Sandro:脉冲型强迫下经典Lorenz流的随机稳定性(2020)
  3. 李东辰;图拉耶夫,德米特里:类洛伦兹吸引子周期扰动中的持续异质维循环(2020)
  4. Santos Gutiérrez,Manuel;Lucarini,Valerio:使用马尔可夫链的反应和敏感性(2020)
  5. Daniel Wilczak;Zgliczynski,Piotr:无限维混沌的几何方法:Kuramoto-Sivashinsky PDE在线符号动力学(2020)
  6. Bonomo,Wescrey;Varandas,Paulo:(C^1)-一般截面公理A流只有平凡对称性(2019)
  7. Galias,Zbigniew;Tucker,Warwick:螺旋鞍周围光滑向量场的严格积分及其对立方蔡氏吸引子的应用(2019)
  8. Gómez Serrano,Javier:PDE中的计算机辅助证明:调查(2019)
  9. Immler,Fabian;Traut,Christoph:敖德斯流:变分方程和庞加莱映射的形式化(2019)
  10. Miyaji,Tomoyuki;Sviridova,Nina;Aihara,Kazuyuki;Zhao,Tiejun;Nakano,Akimasa:通过Morse图绘制人体光容积图:在实验数据中寻找鞍点(2019年)
  11. 沈波(Shen Bo,2019年广义负反馈模型)
  12. Al-Khawaja,U.;Al-Mdallal,Qasem M.:(\operatornamesech(x))的收敛幂级数和非线性微分方程的解(2018)
  13. Al Sakkaf,Laila Y.;Al-Mdallal,Qasem M.;Al-Khawaja,U.:求解高阶非线性BVP的数值算法及其在收缩可渗透无限长圆柱体上的应用(2018)
  14. 巴尔茨,伊斯特万;范登伯格,扬·布韦;考托伊斯,朱利安;杜达斯,János;莱萨尔,让-菲利普;Vörös-Kiss,阿内特;威廉姆斯,J.F.;尹锡元:偏微分方程径向对称解的计算机辅助证明(2018)
  15. Bálint,Péter;墨尔本,Ian:具有无界屋顶函数的流的统计特性,包括Lorenz吸引子(2018)
  16. Capinèski,Maciej J.;Turaev,Dmitry;Zgliczynèski,Piotr:清水森冈系统中Lorenz吸引子存在的计算机辅助证明(2018)
  17. Carvalho,Maria;Rodrigues,Alexandre P.:Bykov吸引子的完整不变量集(2018)
  18. Graça,D.S.;Rojas,C.;Zhong,N.:计算任意精度的几何洛伦兹吸引子(2018)
  19. Immler,Fabian:验证的ODE解算器和Lorenz吸引子(2018)
  20. James,J.D.Mireles:解析向量场平衡的验证数值:不变流形和连接轨道(2018)