An improved verification algorithm for nonlinear systems of equations based on Krawczyk operator

JOURNAL OF COMPUTATIONAL AND APPLIED MATHEMATICS

卷:359

Article

Hou, Guoliang^1,2,3  Zhang, Shugong^1,2 

[1] Jilin Univ, Sch Math, Changchun 130012, Jilin, Peoples R China

[2] Jilin Univ, Minist Educ, Key Lab Symbol Computat & Knowledge Engn, Changchun 130012, Jilin, Peoples R China

[3] Changchun Normal Univ, Sch Math, Changchun 130032, Jilin, Peoples R China

关键词: Verification algorithm;    Krawczyk operator;    Nonlinear system;    INTLAB;   

DOI  :  10.1016/j.cam.2019.03.034

来源: Elsevier

【 摘 要 】

In this paper an improved version of a verification algorithm for solving nonlinear systems of equations based on Krawczyk operator is presented. Compared with the original algorithm, the improved verification algorithm not only saves computing time, but also computes a narrower (or at least the same) inclusion of the solution to nonlinear systems of equations for certain classes of problems. Numerical results demonstrate the performance of the proposed algorithms. (C) 2019 Elsevier B.V. All rights reserved.

【 授权许可】

Free