| 一类矩阵算子方程解的可信验证算法 |
| |
| 引用本文： | 桑海风,李敏,刘畔畔,李庆春.一类矩阵算子方程解的可信验证算法[J].北华大学学报(自然科学版),2015(4):431-434. |
| |
| 作者姓名： | 桑海风 李敏 刘畔畔 李庆春 |
| |
| 作者单位： | 北华大学数学与统计学院,吉林 吉林,132033;北华大学数学与统计学院,吉林 吉林,132033;北华大学数学与统计学院,吉林 吉林,132033;北华大学数学与统计学院,吉林 吉林,132033 |
| |
| 基金项目： | 吉林省教育厅科学技术研究项目 |
| |
| 摘 要： | 利用区间算法理论,讨论了一类矩阵算子方程解的可信验证.提出了一种算法,该算法输出算子方程的一个近似解及其相应的误差界,使得在近似解的误差范围内必定存在一个精确解.
|
| 关 键 词： | 可信误差界 算子方程 INTLAB |
Verified Algorithm for a Solution of Matrix Operator Equation |
| |
| Sang Haifeng,Li Min,Liu Panpan,Li Qingchun.Verified Algorithm for a Solution of Matrix Operator Equation[J].Journal of Beihua University(Natural Science),2015(4):431-434. |
| |
| Authors: | Sang Haifeng Li Min Liu Panpan Li Qingchun |
| |
| Abstract: | Based on the interval theory,the verification for a solution of matrix operator equation is studied. We propose the algorithm which outputs an approximate solution and its error bound with the property that an exact solution exists within computed bounds. |
| |
| Keywords: | verified error bound operator equation INTLAB |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
