超定非线性系统奇异解的可信验证  

Verified Methods of Singular Solutions of Overdetermined Nonlinear Systems

作　　者：桑海风[1,2] 万保成[2,3] 

机构地区：[1]北华大学数学与统计学院,吉林吉林132013 [2]吉林大学数学学院,长春130012 [3]吉林农业大学信息技术学院,长春130118

出　　处：《吉林大学学报（理学版）》2014年第6期1162-1166,共5页Journal of Jilin University:Science Edition

基　　金：国家自然科学基金(批准号:11171133);吉林省教育厅科学技术研究项目(批准号:2014213)

摘　　要：利用边界矩阵和区间算法理论,讨论超定系统奇异解的数值解法及其可信验证.提出一种新算法,该算法输出一个近似解及其相应的误差界,使得在近似解的误差界范围内必存在一个精确解.We studied the numerical method and verification for singular points of overdetermined nonlinear equations.And we proposed an algorithm on the basis of the bordered system and interval theory.It outputs an approximate solution and its error bound so as to make an exact solution exist within this computed bounds.

关 键 词：超定非线性系统 可信误差界 奇异解 

分 类 号：O242.29[理学—计算数学]