罗德斯

一个严格的ODE求解器和Smale的第十四个问题:5。RODES程序:RoDES(严格的ODE求解器)程序是一个高度自适应的、多处理器的程序。正如我们前面指出的那样,计算是在必要时用有向舍入法进行的。这个功能是由Primi/BIAS封装(参见[8)]提供的,它支持在证明中使用的所有体系结构。该程序在并行工作的20台机器上执行,数据通过一个公共文本文件在进程之间传递。所有浮点数都以17位精度传递,根据IEEE标准进行精确转换。用于该任务的计算机是各种Sun SPARC站,其型号从LX、SPARC 4到超1。在该设置中的总计算时间约为100小时。其他配备了配备更强处理器的计算机的装置也已执行了类似的结果。在接下来的章节中,我们将对程序的全局结构和计算进行概述。


ZBMaX中的参考文献(99篇)1标准条款

显示结果1至20的99。
按年份排序(引文
  1. 李,Dongchen;TuraEV,德米特里:劳伦兹类吸引子周期扰动中的持续性异维周期(2020)
  2. 博诺莫,Wescley;Valdas,Paulo:(C^ 1)-泛型截面公理A流仅具有平凡对称性(2019)
  3. Galias,兹比格涅夫;希尔斯,沃里克:螺旋鞍周围光滑矢量场的严格积分及其在立方Chua吸引子中的应用(2019)
  4. G.Mez塞拉诺,哈维尔:PDE中的计算机辅助证据:一项调查(2019)
  5. 伊默勒、Fabian、特劳特、克里斯托夫:颂歌的流动:变分方程的形式化和PooCaré映射(2019)
  6. Miyaji,Tomoyuki;Sviridova,妮娜;相原,Kazuyuki;赵,铁军;Nakano,阿基玛萨:人类光容积图通过莫尔斯图:搜索实验数据中的鞍点(2019)
  7. 沈,Bo Wen:广义劳伦兹模型中的聚集负反馈(2019)
  8. Al Khawaja,U.;Al Mdallal,Qasem M.:(算子)(X)的收敛幂级数与非线性微分方程的解(2018)
  9. Al Sakkaf,Laila Y.;Al Mdallal,Qasem M.;Al Khawaja,U:一种求解在收缩可渗透无限长圆柱体上流体流动的高阶非线性BVPS的数值算法(2018)
  10. van den Berg、Jan Bouwe、库尔图瓦、朱利安、杜达斯、J·诺斯、莱萨德、Jean Philippe、V·奥斯脱、阿奈特、威廉姆斯、J. F.、尹、西园:偏微分方程径向对称解的计算机辅助证明(2018)
  11. 墨尔本,伊恩:具有无界顶函数流的统计性质,包括劳伦兹吸引子(2018)
  12. 卡皮斯基,Maciej J.;TuraEV,德米特里;ZGLICZY·SKI,PIOTR:Shimizu Morioka系统中劳伦兹吸引子存在性的计算机辅助证明(2018)
  13. 卡瓦略,玛丽亚;罗德里格斯,Alexandre P.:Bykov吸引子的一组不变量(2018)
  14. D. S.,罗哈斯,C.;Zhong,N:任意精度的几何劳伦兹吸引子(2018)
  15. Iimle,Fabian:一个验证的ODE求解器和劳伦兹吸引子(2018)
  16. 杰姆斯,J. D. Mireles:解析向量场平衡的有效数值:不变流形和连接轨道(2018)
  17. Kales,William D.;Kasti,Dinesh;Vandervorst,罗伯特:动力学和格序的算法方法(2018)
  18. 波林,丹尼尔;Jasra,阿杰伊;克里斯安,丹;贝斯科斯,亚历山大:部分观测混沌系统的集中性质(2018)
  19. Szczelina,罗伯特;ZGLICZZY SKI,PIOTR:延迟微分方程严格积分算法和Mackey Glass方程周期轨道的计算机辅助证明(2018)
  20. Vakulenko,谢尔盖:反应扩散系统中的复合吸引子和模式(2018)