论文部分内容阅读
在解非线性方程组的区间方法中,Krawczyk-Moore算法(K-M算法)是一类比较有效的方法。本文在K-M算法中以及Pandian推广的K-M算法中引进积分型区间扩张,从理论上证明了这类区间扩张使K-M算法在检验非线性方程组解的存在性、唯一性以及构造区间迭代的收敛性等方面更为有效;数值结果也给予充分说明。