A comparison of the Moore and Miranda existence tests

被引：16

作者：

Frommer, A ^{[1
]}

Lang, B

Schnurr, M

机构：

[1] Berg Univ Wuppertal, Fachbereich Math & Nat Wissensch, D-42097 Wuppertal, Germany

[2] Univ Karlsruhe, Fak Math, Inst Angew Math, D-76128 Karlsruhe, Germany

来源：

COMPUTING | 2004年 / 72卷 / 3-4期

关键词：

nonlinear systems; Moore's theorem; Miranda's existence theorem; computational verification; interval analysis;

D O I：

10.1007/s00607-004-0064-4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We compare two computational tests for the existence of a zero of a nonlinear system. One of the tests is based on a theorem by Moore, the other relies on Miranda's theorem. It turns out that the Miranda test is always at least as powerful as the Moore test. We also indicate some conditions under which both tests are equivalent.

引用

页码：349 / 354

页数：6

共 8 条

[1]

Alefeld G., 1983, INTRO INTERVAL COMPU

[2]

ALEFELD G, 2001, MIRANDAS THEOREM VER

[3]

ALEVELD G, 2001, COMPUTING S, V15, P21

[4]

Kearfott R.B., 1996, RIGOROUS GLOBAL SEAR

[5]

MIRANDA C, 1940, B U MAT ITAL 2, P5

[6] TEST FOR EXISTENCE OF SOLUTIONS TO NONLINEAR-SYSTEMS [J].

MOORE, RE .

SIAM JOURNAL ON NUMERICAL ANALYSIS, 1977, 14 (04) :611-615

[7] A SIMPLE TEST FOR ACCURACY OF APPROXIMATE SOLUTIONS TO NON-LINEAR (OR LINEAR) SYSTEMS [J].

MOORE, RE ;

KIOUSTELIDIS, JB .

SIAM JOURNAL ON NUMERICAL ANALYSIS, 1980, 17 (04) :521-529

[8]

SCHNURR M, 2003, UNPUB PROOFS SOME ST

← 1 →