节点文献
超定非线性系统奇异解的可信验证
Verified Methods of Singular Solutions of Overdetermined Nonlinear Systems
【摘要】 利用边界矩阵和区间算法理论,讨论超定系统奇异解的数值解法及其可信验证.提出一种新算法,该算法输出一个近似解及其相应的误差界,使得在近似解的误差界范围内必存在一个精确解.
【Abstract】 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.
【关键词】 超定非线性系统;
可信误差界;
奇异解;
【Key words】 overdetermined nonlinear system; verified error bound; singular solution;
【Key words】 overdetermined nonlinear system; verified error bound; singular solution;
【基金】 国家自然科学基金(批准号:11171133);吉林省教育厅科学技术研究项目(批准号:2014213)
- 【文献出处】 吉林大学学报(理学版) ,Journal of Jilin University(Science Edition) , 编辑部邮箱 ,2014年06期
- 【分类号】O241.7
- 【被引频次】1
- 【下载频次】72