Applications of interval computations:
Applications of Interval Computations contains primarily survey articles of actual, industrial applications of numerical analysis with automatic result verification and of interval representation of data. Underlying topics include branch and bound algorithms for global optimization, constraint propa...
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer
1996
|
| Schriftenreihe: | Applied optimization
3 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Zusammenfassung: | Applications of Interval Computations contains primarily survey articles of actual, industrial applications of numerical analysis with automatic result verification and of interval representation of data. Underlying topics include branch and bound algorithms for global optimization, constraint propagation, solution sets of linear systems, hardware and software systems for interval computations, and fuzzy logic. Actual applications described in the book include economic input-output models, quality control in manufacturing design, a computer-assisted proof in quantum mechanics, medical expert systems, and others. A realistic view of interval computations is taken: the articles indicate when and how over-estimation and other challenges can be overcome. An introductory chapter explains the content of the papers in terminology accessible to mathematically literate graduate students The style of the individual, refereed contributions has been made uniform and understandable, and there is an extensive book-wide index. The book should be valuable to students and researchers interested in automatic result verification |
| Beschreibung: | XVII, 425 S. Ill., graph. Darst. |
| ISBN: | 0792338472 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011323810 | ||
| 003 | DE-604 | ||
| 005 | 19970430 | ||
| 007 | t | ||
| 008 | 970430s1996 ad|| |||| 00||| eng d | ||
| 020 | |a 0792338472 |9 0-7923-3847-2 | ||
| 035 | |a (OCoLC)33404006 | ||
| 035 | |a (DE-599)BVBBV011323810 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-703 |a DE-19 |a DE-20 | ||
| 050 | 0 | |a QA297.75 | |
| 082 | 0 | |a 511/.42 |2 20 | |
| 084 | |a SK 910 |0 (DE-625)143270: |2 rvk | ||
| 245 | 1 | 0 | |a Applications of interval computations |c ed. by R. Baker Kearfott ... |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer |c 1996 | |
| 300 | |a XVII, 425 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied optimization |v 3 | |
| 520 | 3 | |a Applications of Interval Computations contains primarily survey articles of actual, industrial applications of numerical analysis with automatic result verification and of interval representation of data. Underlying topics include branch and bound algorithms for global optimization, constraint propagation, solution sets of linear systems, hardware and software systems for interval computations, and fuzzy logic. Actual applications described in the book include economic input-output models, quality control in manufacturing design, a computer-assisted proof in quantum mechanics, medical expert systems, and others. A realistic view of interval computations is taken: the articles indicate when and how over-estimation and other challenges can be overcome. An introductory chapter explains the content of the papers in terminology accessible to mathematically literate graduate students | |
| 520 | |a The style of the individual, refereed contributions has been made uniform and understandable, and there is an extensive book-wide index. The book should be valuable to students and researchers interested in automatic result verification | ||
| 650 | 4 | |a Interval analysis (Mathematics) |v Congresses | |
| 650 | 0 | 7 | |a Intervallalgebra |0 (DE-588)4139152-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Intervallalgebra |0 (DE-588)4139152-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Kearfott, R. B. |e Sonstige |4 oth | |
| 830 | 0 | |a Applied optimization |v 3 |w (DE-604)BV010841718 |9 3 | |
| 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=007608532&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007608532 | ||
Datensatz im Suchindex
| _version_ | 1804125832167292928 |
|---|---|
| adam_text | CONTENTS
PREFACE xiii
1 APPLICATIONS OF INTERVAL
COMPUTATIONS: AN INTRODUCTION
R. Baker Kearfott and Vladik Kreinovich 1
1 What are Interval Computations? 1
2 International Workshop on Applications of Interval
Computations: How This Book Originated 8
3 General Optimization Problems 10
4 General Systems of Equations and Inequalities 14
5 Linear Interval Problems 15
6 Interval Computations Can Also Handle Possible Additional
Information About the Input Data 18
7 Software and Hardware Support for Interval Computations 20
REFERENCES 21
2 A REVIEW OF TECHNIQUES IN THE
VERIFIED SOLUTION OF CONSTRAINED
GLOBAL OPTIMIZATION PROBLEMS
R. Baker Kearfott 23
1 Introduction, Basic Ideas and Literature 23
2 On Constrained Optimization Problems 32
3 On Use of Interval Newton Methods 40
4 Applications 52
5 Summary and Present Work 53
REFERENCES 54
vi Applications of Interval Computations
3 THE SHAPE OF THE SYMMETRIC
SOLUTION SET
Gdiz Alefeld, Vladik Kreinovich, and Giinter Mayer 61
1 Introduction 61
2 Notation 62
3 Results 63
4 Examples 74
REFERENCES 79
4 LINEAR INTERVAL EQUATIONS:
COMPUTING ENCLOSURES WITH
BOUNDED RELATIVE OVERESTIMATION
IS NP HARD
JifiRohn 81
1 Introduction 81
2 The Result 82
3 The Symmetric Case 86
4 Concluding Remark 87
REFERENCES 88
5 QUALITY IMPROVEMENT VIA
OPTIMIZATION OF TOLERANCE
INTERVALS DURING THE DESIGN STAGE
Sevgui Hadjihassan, Eric Walter, and Luc Pronzato 91
1 Introduction 91
2 Some Basic Models, and their Origins 97
3 Model of Performance Characteristic is Known Beforehand 101
4 Model Parameters Estimated in Controlled Conditions 111
5 Controlled Conditions are Unavailable 117
6 Temperature Controller 123
7 Conclusions 126
REFERENCES 128
Contents vii
6 APPLICATIONS OF INTERVAL
COMPUTATIONS TO REGIONAL
ECONOMIC INPUT OUTPUT MODELS
Max E. Jerrell 133
1 Economic Input Output Models 133
2 Technical Coefficients are Only Known with Uncertainty 135
3 Statistical Methods are Not Directly Applicable, Hence,
Interval Computations May Be Useful 136
4 Computational Algorithms 138
5 An Example 140
REFERENCES 142
7 INTERVAL ARITHMETIC IN QUANTUM
MECHANICS
Charles L. Fefferman and Luis A. Seco 145
1 Quantum Mechanics 146
2 Computer Assisted Set up 151
3 The Thomas Fermi Equation 154
4 The Aperiodicity Inequality 160
REFERENCES 164
8 INTERVAL COMPUTATIONS ON THE
SPREADSHEET
Eero Hyvonen and Stefano De Pascale 169
1 Limitations of Spreadsheet Computing 169
2 Extended IA on a Spreadsheet 174
3 Global IA on a Spreadsheet 184
4 Interval Constraint Spreadsheets 195
5 Discussion 204
REFERENCES 205
9 SOLVING OPTIMIZATION PROBLEMS
WITH HELP OF THE UNICALC SOLVER
Alexander L. Semenov 211
1 Introduction 211
2 The UniCalc Solver 212
viii Applications of Interval Computations
3 The Algorithm of Sub definite Calculations 213
4 Solving Integer Programming Problems 219
5 Real Valued Optimization 221
6 Future Developments 223
REFERENCES 224
10 AUTOMATICALLY VERIFIED
ARITHMETIC ON PROBABILITY
DISTRIBUTIONS AND INTERVALS
Daniel Berleant 227
1 Introduction 227
2 Correctly Representing PDFs and Intervals with His¬
tograms 229
3 Arithmetic Operations 232
REFERENCES 243
11 NESTED INTERVALS AND SETS:
CONCEPTS, RELATIONS TO FUZZY SETS,
AND APPLICATIONS
Hung T. Nguyen and Vladik Kreinovich 245
1 Introduction 246
2 Nested Intervals and Nested Sets 250
3 Other Problems Where Nested Sets and Nested Intervals
Can Be Used: Identification, Optimization, Control, and
Decision Making 267
4 Applications of Nested Sets and Nested Intervals 273
APPENDIX A Proofs 279
REFERENCES 283
12 FUZZY INTERVAL INFERENCE UTILIZING
THE CHECKLIST PARADIGM AND
BK RELATIONAL PRODUCTS
Ladislav J. Kohout and Wyllis Bandler 291
1 Introduction 291
2 Many Valued Logics for Interval Fuzzy Inference Based on
the Checklist Paradigm 293
3 Groups of Logic Transformations of Interval Connectives 310
Contents ix
4 Special Types of Compositions of Relations 314
5 An Application: The Basic Knowledge Handling
Mechanisms of CLINAID by Means of Relational Inference 321
6 Toward Successful Utilization of Interval Methods in Soft
Computing 328
REFERENCES 329
13 COMPUTING UNCERTAINTY IN
INTERVAL BASED SETS
Luis Mateus Rocha, Vladik Kreinovich, and R. Baker Kearfott 337
1 Introduction 337
2 Evidence Sets as a Description of Uncertainty 338
3 Different Measures of Uncertainty, and How to Describe
them Numerically 355
4 L—Fuzzy Sets, Interval Based L—Fuzzy Sets, and
L Evidence Sets 370
5 3 D Uncertainty Unit Cube 374
REFERENCES 377
14 SOFTWARE AND HARDWARE
TECHNIQUES FOR ACCURATE,
SELF VALIDATING ARITHMETIC
Michael J. Schulie and Earl E. Swarizlander, Jr. 381
1 Introduction 381
2 Software Tools 383
3 Hardware Designs 388
4 A Variable Precision, Interval Arithmetic Coprocessor 391
5 Conclusions and Areas for Future Research 396
REFERENCES 398
15 STIMULATING HARDWARE AND
SOFTWARE SUPPORT FOR INTERVAL
ARITHMETIC
G. William Walster 405
1 Introduction 405
2 The Participants 406
3 Stable Equilibrium 410
x Applications of Interval Computations
4 The Interval Paradigm Shift 411
5 System Supplier Demand 412
6 End user Demand 412
7 Action Plan 414
REFERENCES 415
INDEX 417
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV011323810 |
| 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)33404006 (DE-599)BVBBV011323810 |
| 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>02621nam a2200409 cb4500</leader><controlfield tag="001">BV011323810</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970430 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970430s1996 ad|| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792338472</subfield><subfield code="9">0-7923-3847-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)33404006</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011323810</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-703</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-20</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">20</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="245" ind1="1" ind2="0"><subfield code="a">Applications of interval computations</subfield><subfield code="c">ed. by R. Baker Kearfott ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XVII, 425 S.</subfield><subfield code="b">Ill., 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="490" ind1="1" ind2=" "><subfield code="a">Applied optimization</subfield><subfield code="v">3</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Applications of Interval Computations contains primarily survey articles of actual, industrial applications of numerical analysis with automatic result verification and of interval representation of data. Underlying topics include branch and bound algorithms for global optimization, constraint propagation, solution sets of linear systems, hardware and software systems for interval computations, and fuzzy logic. Actual applications described in the book include economic input-output models, quality control in manufacturing design, a computer-assisted proof in quantum mechanics, medical expert systems, and others. A realistic view of interval computations is taken: the articles indicate when and how over-estimation and other challenges can be overcome. An introductory chapter explains the content of the papers in terminology accessible to mathematically literate graduate students</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">The style of the individual, refereed contributions has been made uniform and understandable, and there is an extensive book-wide index. The book should be valuable to students and researchers interested in automatic result verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Interval analysis (Mathematics)</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Intervallalgebra</subfield><subfield code="0">(DE-588)4139152-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Intervallalgebra</subfield><subfield code="0">(DE-588)4139152-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Kearfott, R. B.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied optimization</subfield><subfield code="v">3</subfield><subfield code="w">(DE-604)BV010841718</subfield><subfield code="9">3</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=007608532&sequence=000002&line_number=0001&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-007608532</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV011323810 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:07:49Z |
| institution | BVB |
| isbn | 0792338472 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007608532 |
| oclc_num | 33404006 |
| open_access_boolean | |
| owner | DE-703 DE-19 DE-BY-UBM DE-20 |
| owner_facet | DE-703 DE-19 DE-BY-UBM DE-20 |
| physical | XVII, 425 S. Ill., graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | Kluwer |
| record_format | marc |
| series | Applied optimization |
| series2 | Applied optimization |
| spelling | Applications of interval computations ed. by R. Baker Kearfott ... Dordrecht [u.a.] Kluwer 1996 XVII, 425 S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Applied optimization 3 Applications of Interval Computations contains primarily survey articles of actual, industrial applications of numerical analysis with automatic result verification and of interval representation of data. Underlying topics include branch and bound algorithms for global optimization, constraint propagation, solution sets of linear systems, hardware and software systems for interval computations, and fuzzy logic. Actual applications described in the book include economic input-output models, quality control in manufacturing design, a computer-assisted proof in quantum mechanics, medical expert systems, and others. A realistic view of interval computations is taken: the articles indicate when and how over-estimation and other challenges can be overcome. An introductory chapter explains the content of the papers in terminology accessible to mathematically literate graduate students The style of the individual, refereed contributions has been made uniform and understandable, and there is an extensive book-wide index. The book should be valuable to students and researchers interested in automatic result verification Interval analysis (Mathematics) Congresses Intervallalgebra (DE-588)4139152-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Intervallalgebra (DE-588)4139152-4 s DE-604 Kearfott, R. B. Sonstige oth Applied optimization 3 (DE-604)BV010841718 3 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007608532&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Applications of interval computations Applied optimization Interval analysis (Mathematics) Congresses Intervallalgebra (DE-588)4139152-4 gnd |
| subject_GND | (DE-588)4139152-4 (DE-588)1071861417 |
| title | Applications of interval computations |
| title_auth | Applications of interval computations |
| title_exact_search | Applications of interval computations |
| title_full | Applications of interval computations ed. by R. Baker Kearfott ... |
| title_fullStr | Applications of interval computations ed. by R. Baker Kearfott ... |
| title_full_unstemmed | Applications of interval computations ed. by R. Baker Kearfott ... |
| title_short | Applications of interval computations |
| title_sort | applications of interval computations |
| topic | Interval analysis (Mathematics) Congresses Intervallalgebra (DE-588)4139152-4 gnd |
| topic_facet | Interval analysis (Mathematics) Congresses Intervallalgebra Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007608532&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV010841718 |
| work_keys_str_mv | AT kearfottrb applicationsofintervalcomputations |