论文部分内容阅读
本文基于数值和符号混合计算的策略，给出了一种进行多项式系统实根隔离的新算法。我们首先利用数值计算中的同伦方法，得到原系统的近似解，然后根据这些近似解构造初始区间，再使用符号算法中的区间算术对这些初始区间进行实根检验，最终得到原多项式系统的所有实根隔离区间。在对初始区间的构造中，我们利用Kantorovich定理的推论，给出了对于误差半径的严格理论结果，以及相应的构造性算法；同时也给出了一个在数值实验中效果良好的经验估计式。在区间算术部分，我们详细给出了Krawczyk区间迭代算法的过程并讨论了中间可能存在的一些问题。最后，我们在Matlab平台下实现了以上算法，并对大量例子进行了计算。与之前纯粹的符号算法相比，新算法在解决问题的规模和效率上均有明显提高，很多原先无法计算的例子现在得到了良好的实根隔离结果。