论文部分内容阅读
介绍了多精度计算和区间分析的概念、方法及应用,使用多精度计算研究Lorenz非线性动力系统计算结果对计算精度、步长的敏感依赖关系和不确定现象,研究Lorenz系统中长时间数值解的计算方法和基于多精度计算的最优步长、最大有效计算时间搜索方法,讨论了区间分析方法在计算机辅助证明Lorenz混沌吸引子存在性问题中的应用。