Introduction to interval analysis
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Philadelphia, PA
Society for Industrial and Applied Mathematics
2009
|
| Schlagworte: | |
| Online-Zugang: | Klappentext Inhaltsverzeichnis |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035672804 | ||
| 003 | DE-604 | ||
| 005 | 20120928 | ||
| 007 | t | ||
| 008 | 090811s2009 xxud||| |||| 00||| eng d | ||
| 010 | |a 2008042348 | ||
| 020 | |a 9780898716696 |9 978-0-898716-69-6 | ||
| 020 | |a 0898716691 |9 0-89871-669-1 | ||
| 035 | |a (OCoLC)258333490 | ||
| 035 | |a (DE-599)HBZHT015860082 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-703 |a DE-29T |a DE-11 |a DE-706 | ||
| 050 | 0 | |a QA297.75 | |
| 082 | 0 | |a 511/.42 |2 22 | |
| 084 | |a SK 910 |0 (DE-625)143270: |2 rvk | ||
| 100 | 1 | |a Moore, Ramon E. |d 1929- |e Verfasser |0 (DE-588)108802817 |4 aut | |
| 245 | 1 | 0 | |a Introduction to interval analysis |c Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud |
| 264 | 1 | |a Philadelphia, PA |b Society for Industrial and Applied Mathematics |c 2009 | |
| 300 | |a XI, 223 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 500 | |a Includes bibliographical references (p. 201-218) and index | ||
| 650 | 7 | |a Analyse numérique |2 ram | |
| 650 | 7 | |a Calcul d'erreur |2 ram | |
| 650 | 7 | |a Calcul sur des intervalles |2 ram | |
| 650 | 4 | |a Interval analysis (Mathematics) | |
| 650 | 0 | 7 | |a Intervallmathematik |0 (DE-588)4130580-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Intervallanalyse |0 (DE-588)4162150-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Numerische Mathematik |0 (DE-588)4042805-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Intervallanalyse |0 (DE-588)4162150-5 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Intervallmathematik |0 (DE-588)4130580-2 |D s |
| 689 | 1 | 1 | |a Numerische Mathematik |0 (DE-588)4042805-9 |D s |
| 689 | 1 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Kearfott, Ralph Baker |e Verfasser |0 (DE-588)138320861 |4 aut | |
| 700 | 1 | |a Cloud, Michael J. |d 1960- |e Verfasser |0 (DE-588)120264242 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Bayreuth |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Klappentext |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-017727052 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804139369228926976 |
|---|---|
| adam_text | This unique book is an introduction to a subject whose use has steadily increased over the past
40
years. An update of Ramon Moore s previous books on the topic, it provides broad coverage of the
subject as well as the historical perspective of one of the originators of modern interval analysis.
The authors give a hands-on introduction to INTLAB, a high-quality, comprehensive
MATLAB®
toolbox for interval computations, making this the first interval analysis book that does with
INTLAB what general numerical analysis texts do with
MATLAB.
Readers will find the following features of interest:
•
Elementary motivating examples and notes.
•
Exercises and hands-on MATLAB-based examples woven into the text.
•
INTLAB-based examples and explanations integrated into the text, a comprehensive set
of exercises and solutions, and an appendix with INTLAB commands.
•
An extensive bibliography and appendices that will continue to be valuable resources once
the reader is familiar with the subject.
•
A Web page with links to computational tools and other resources of interest.
Introduction to Interval Analysis will be valuable to engineers and scientists interested in scientific
computation, especially in reliability, effects of roundoff error, and automatic verification of results.
The introductory material is particulaKy important for experts in global optimization and constraint
solution algorithms. This book is suitable for introducing the subject to students in these areas.
Raum·
E.
Moore authored Interval Analysis (Prentice-Hall,
1966),
Methods and Applications
of Interval Analysis (SIAM,
1979),
and numerous related publications. Now retired, he was professor
of computer science and/or mathematics from
1965
through
2000
at universities in Ohio, Texas,
and Wisconsin as well as visiting professor in Stockholm, Oxford, Karlsruhe, and Freiburg. From
1950
until
1965
he worked in the area of computational mathematics at Aberdeen Proving Grounds, UC
Radiation Lab in Livermore, and Lockheed Research Labs in Palo Alto. He received an Alexander
von
Humboldt
Foundation-US Senior Scientist Award in
1975.
R. laker Kearfott has authored a monograph on mathematically rigorous numerical methods for
nonlinear algebraic systems of equations and nonlinear optimization problems, organized a major
international conference on interval computations, edited several conference volumes, and provided
several software packages for interval computations. He has been on the faculty of the University
of Louisiana at Lafayette since
1977
and has participated in various modeling projects at the
University of Louisiana and while at Exxon Research and Engineering.
Mkh—t
3.
Cloud has been a faculty member in the Department of Electrical and Computer
Engineering at Lawrence Technological University since
1987
and currently holds the rank
of Associate Professor. He has coauthored seven other books.
For more information about SIAM books, journals,
conferences, memberships, or activities, contact:
Society for Industrial and Applied Mathematics
3600
Market Street, 6th Floor
Philadelphia, PA
19104-2688
USA
+1-215-382-9800 ·
Fax
+1-215-386-7999
siam@siam.org
·
www.siam.org
Titel: Introduction to interval analysis
Autor: Moore, Ramon E.
Jahr: 2009
Contents
Preface ix
1 Introduction 1
1.1 Enclosing a Solution........................... 1
1.2 Bounding Roundoff Error........................ 3
1.3 Number Pair Extensions......................... 5
2 The Interval Number System 7
2.1 Basic Terms and Concepts........................ 7
2.2 Order Relations for Intervals ...................... 9
2.3 Operations of Interval Arithmetic.................... 10
2.4 Interval Vectors and Matrices...................... 14
2.5 Some Historical References....................... 16
3 First Applications of Interval Arithmetic 19
3.1 Examples................................. 19
3.2 Outwardly Rounded Interval Arithmetic................ 22
3.3 INTLAB................................. 22
3.4 Other Systems and Considerations................... 28
4 Further Properties of Interval Arithmetic 31
4.1 Algebraic Properties........................... 31
4.2 Symmetric Intervals........................... 33
4.3 Inclusion Isotonicity of Interval Arithmetic............... 34
5 Introduction to Interval Functions 37
5.1 Set Images and United Extension.................... 37
5.2 Elementary Functions of Interval Arguments.............. 38
5.3 Interval-Valued Extensions of Real Functions............. 42
5.4 The Fundamental Theorem and Its Applications............ 45
5.5 Remarks on Numerical Computation.................. 49
6 Interval Sequences 51
6.1 A Metric for the Set of Intervals..................... 51
6.2 Refinement................................ 53
6.3 Finite Convergence and Stopping Criteria................57
6.4 More Efficient Refinements.......................64
6.5 Summary.................................83
7 Interval Matrices 85
7.1 Definitions................................ 85
7.2 Interval Matrices and Dependency ................... 86
7.3 INTLAB Support for Matrix Operations................ 87
7.4 Systems of Linear Equations ...................... 88
7.5 Linear Systems with Inexact Data.................... 92
7.6 More on Gaussian Elimination..................... 100
7.7 Sparse Linear Systems Within INTLAB ................ 101
7.8 Final Notes................................ 103
8 Interval Newton Methods 105
8.1 Newton s Method in One Dimension..................105
8.2 The Krawczyk Method .........................116
8.3 Safe Starting Intervals..........................121
8.4 Multivariate Interval Newton Methods.................123
8.5 Concluding Remarks ..........................127
9 Integration of Interval Functions 129
9.1 Definition and Properties of the Integral................ 129
9.2 Integration of Polynomials .......................133
9.3 Polynomial Enclosure, Automatic Differentiation ...........135
9.4 Computing Enclosures for Integrals...................141
9.5 Further Remarks on Interval Integration ................145
9.6 Software and Further References....................147
10 Integral and Differential Equations 149
10.1 Integral Equations............................149
10.2 ODEs and Initial Value Problems....................151
10.3 ODEs and Boundary Value Problems..................156
10.4 Partial Differential Equations......................156
11 Applications 157
11.1 Computer-Assisted Proofs........................ 157
11.2 Global Optimization and Constraint Satisfaction............ 159
11.2.1 A Prototypical Algorithm................. 159
11.2.2 Parameter Estimation................... 161
11.2.3 Robotics Applications................... 162
11.2.4 Chemical Engineering Applications............ 163
11.2.5 Water Distribution Network Design............ 164
11.2.6 Pitfalls and Clarifications................. 164
11.2.7 Additional Centers of Study................ 167
11.2.8 Summary of Links for Further Study........... 168
11.3 Structural Engineering Applications................... 168
11.4 Computer Graphics........................... 169
11.5 Computation of Physical Constants................... 169
11.6 Other Applications............................ 170
11.7 For Further Study............................ 170
A Sets and Functions 171
B Formulary 177
C Hints for Selected Exercises 185
D Internet Resources 195
E INTLAB Commands and Functions 197
References 201
Index 219
|
| any_adam_object | 1 |
| author | Moore, Ramon E. 1929- Kearfott, Ralph Baker Cloud, Michael J. 1960- |
| author_GND | (DE-588)108802817 (DE-588)138320861 (DE-588)120264242 |
| author_facet | Moore, Ramon E. 1929- Kearfott, Ralph Baker Cloud, Michael J. 1960- |
| author_role | aut aut aut |
| author_sort | Moore, Ramon E. 1929- |
| author_variant | r e m re rem r b k rb rbk m j c mj mjc |
| building | Verbundindex |
| bvnumber | BV035672804 |
| callnumber-first | Q - Science |
| callnumber-label | QA297 |
| callnumber-raw | QA297.75 |
| callnumber-search | QA297.75 |
| callnumber-sort | QA 3297.75 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SK 910 |
| ctrlnum | (OCoLC)258333490 (DE-599)HBZHT015860082 |
| dewey-full | 511/.42 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 511 - General principles of mathematics |
| dewey-raw | 511/.42 |
| dewey-search | 511/.42 |
| dewey-sort | 3511 242 |
| dewey-tens | 510 - Mathematics |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02435nam a2200541 c 4500</leader><controlfield tag="001">BV035672804</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20120928 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">090811s2009 xxud||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2008042348</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780898716696</subfield><subfield code="9">978-0-898716-69-6</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0898716691</subfield><subfield code="9">0-89871-669-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)258333490</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)HBZHT015860082</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-706</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA297.75</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">511/.42</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 910</subfield><subfield code="0">(DE-625)143270:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Moore, Ramon E.</subfield><subfield code="d">1929-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)108802817</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Introduction to interval analysis</subfield><subfield code="c">Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Philadelphia, PA</subfield><subfield code="b">Society for Industrial and Applied Mathematics</subfield><subfield code="c">2009</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 223 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 201-218) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Analyse numérique</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul d'erreur</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Calcul sur des intervalles</subfield><subfield code="2">ram</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Interval analysis (Mathematics)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intervallmathematik</subfield><subfield code="0">(DE-588)4130580-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intervallanalyse</subfield><subfield code="0">(DE-588)4162150-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intervallanalyse</subfield><subfield code="0">(DE-588)4162150-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Intervallmathematik</subfield><subfield code="0">(DE-588)4130580-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Numerische Mathematik</subfield><subfield code="0">(DE-588)4042805-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kearfott, Ralph Baker</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)138320861</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Cloud, Michael J.</subfield><subfield code="d">1960-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)120264242</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Bayreuth</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Klappentext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-017727052</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| id | DE-604.BV035672804 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T21:42:59Z |
| institution | BVB |
| isbn | 9780898716696 0898716691 |
| language | English |
| lccn | 2008042348 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-017727052 |
| oclc_num | 258333490 |
| open_access_boolean | |
| owner | DE-703 DE-29T DE-11 DE-706 |
| owner_facet | DE-703 DE-29T DE-11 DE-706 |
| physical | XI, 223 S. graph. Darst. |
| publishDate | 2009 |
| publishDateSearch | 2009 |
| publishDateSort | 2009 |
| publisher | Society for Industrial and Applied Mathematics |
| record_format | marc |
| spelling | Moore, Ramon E. 1929- Verfasser (DE-588)108802817 aut Introduction to interval analysis Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud Philadelphia, PA Society for Industrial and Applied Mathematics 2009 XI, 223 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Includes bibliographical references (p. 201-218) and index Analyse numérique ram Calcul d'erreur ram Calcul sur des intervalles ram Interval analysis (Mathematics) Intervallmathematik (DE-588)4130580-2 gnd rswk-swf Intervallanalyse (DE-588)4162150-5 gnd rswk-swf Numerische Mathematik (DE-588)4042805-9 gnd rswk-swf Intervallanalyse (DE-588)4162150-5 s DE-604 Intervallmathematik (DE-588)4130580-2 s Numerische Mathematik (DE-588)4042805-9 s 1\p DE-604 Kearfott, Ralph Baker Verfasser (DE-588)138320861 aut Cloud, Michael J. 1960- Verfasser (DE-588)120264242 aut Digitalisierung UB Bayreuth application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Klappentext HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Moore, Ramon E. 1929- Kearfott, Ralph Baker Cloud, Michael J. 1960- Introduction to interval analysis Analyse numérique ram Calcul d'erreur ram Calcul sur des intervalles ram Interval analysis (Mathematics) Intervallmathematik (DE-588)4130580-2 gnd Intervallanalyse (DE-588)4162150-5 gnd Numerische Mathematik (DE-588)4042805-9 gnd |
| subject_GND | (DE-588)4130580-2 (DE-588)4162150-5 (DE-588)4042805-9 |
| title | Introduction to interval analysis |
| title_auth | Introduction to interval analysis |
| title_exact_search | Introduction to interval analysis |
| title_full | Introduction to interval analysis Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud |
| title_fullStr | Introduction to interval analysis Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud |
| title_full_unstemmed | Introduction to interval analysis Ramon E. Moore, R. Baker Kearfott, Michael J. Cloud |
| title_short | Introduction to interval analysis |
| title_sort | introduction to interval analysis |
| topic | Analyse numérique ram Calcul d'erreur ram Calcul sur des intervalles ram Interval analysis (Mathematics) Intervallmathematik (DE-588)4130580-2 gnd Intervallanalyse (DE-588)4162150-5 gnd Numerische Mathematik (DE-588)4042805-9 gnd |
| topic_facet | Analyse numérique Calcul d'erreur Calcul sur des intervalles Interval analysis (Mathematics) Intervallmathematik Intervallanalyse Numerische Mathematik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=017727052&sequence=000006&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mooreramone introductiontointervalanalysis AT kearfottralphbaker introductiontointervalanalysis AT cloudmichaelj introductiontointervalanalysis |