Verification of computer codes in computational science and engineering:
Saved in:
| Main Authors: | , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Boca Raton, Fla.
Chapman & Hall/CRC
2003
|
| Series: | Discrete mathematics and its applications
|
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Includes bibliographical references (p. 103-105) and index |
| Physical Description: | 144 p. 25 cm |
| ISBN: | 1584882646 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV019388589 | ||
| 003 | DE-604 | ||
| 005 | 20160713 | ||
| 007 | t | ||
| 008 | 040910s2003 xxu|||| |||| 00||| eng d | ||
| 010 | |a 2002073821 | ||
| 020 | |a 1584882646 |c acidfree paper |9 1-58488-264-6 | ||
| 035 | |a (OCoLC)845518608 | ||
| 035 | |a (DE-599)BVBBV019388589 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-91 | ||
| 050 | 0 | |a QA297 | |
| 082 | 0 | |a 515/.353/0285 |2 21 | |
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a DAT 584f |2 stub | ||
| 100 | 1 | |a Knupp, Patrick M. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Verification of computer codes in computational science and engineering |c Patrick Knupp, Kambiz Salari |
| 264 | 1 | |a Boca Raton, Fla. |b Chapman & Hall/CRC |c 2003 | |
| 300 | |a 144 p. |b 25 cm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Discrete mathematics and its applications | |
| 500 | |a Includes bibliographical references (p. 103-105) and index | ||
| 650 | 4 | |a Differential equations, Partial |x Numerical solutions | |
| 650 | 4 | |a Numerical calculations |x Verification | |
| 650 | 0 | 7 | |a Partielle Differentialgleichung |0 (DE-588)4044779-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Programmverifikation |0 (DE-588)4135576-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Numerisches Verfahren |0 (DE-588)4128130-5 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Partielle Differentialgleichung |0 (DE-588)4044779-0 |D s |
| 689 | 0 | 1 | |a Numerisches Verfahren |0 (DE-588)4128130-5 |D s |
| 689 | 0 | 2 | |a Programmverifikation |0 (DE-588)4135576-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Salari, Kambiz |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012851403&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-012851403 | |
Record in the Search Index
| _version_ | 1806142877931143168 |
|---|---|
| adam_text |
VERIFICATION OF COMPUTER CODES IN COMPUTATIONAL SCIENCE AND ENGINEERING
PATRICK KNUPP KAMBIZ SALARI CHAPMAN & HALL/CRC , A CRC PRESS COMPANY
BOCA RATON LONDON NEW YORK WASHINGTON, D.C, '*/ CONTENTS CHAPTER 1
INTRODUCTION TO CODE VERIFICATION 1 CHAPTER 2 THE MATHEMATICAL MODEL AND
NUMERICAL ALGORITHM 7 2.1 THE MATHEMATICAL MODEL '.7 2.2 NUMERICAL
METHODS FOR SOLVING DIFFERENTIAL EQUATIONS 10 2.2.1 TERMINOLOGY 10 2.2.2
A FINITE DIFFERENCE EXAMPLE 11 2.2.3 NUMERICAL ISSUES 12 2.2.3.1 LAX
EQUIVALENCE THEOREM 13 2.2.3.2 ASYMPTOTIC REGIME 13 2.2.3.3 THE DISCRETE
SYSTEM 14 2.2.4 CODE ORDER VERIFICATION 16 2.2.4.1 DEFINITION: CODE
ORDER VERIFICATION 16 CHAPTER 3 THE ORDER-VERIFICATION PROCEDURE (OVMSP)
19 3.1 STATIC TESTING 19 3.2 DYNAMIC TESTING 20 3.3 OVERVIEW OF THE
ORDER-VERIFICATION PROCEDURE 21 3.4 DETAILS OF THE PROCEDURE 23 3.4.1
GETTING STARTED (STEPS 1-3) 23 3.4.2 RUNNING THE TESTS TO OBTAIN THE
ERROR (STEPS 4-5) 24 3.4.2.1 CALCULATING THE GLOBAL DISCRETIZATION ERROR
24 3.4.2.2 REFINEMENT OF STRUCTURED GRIDS 26 3.4.2.3 REFINEMENT OF
UNSTRUCTURED GRIDS 28 3.4.3 INTERPRET THE RESULTS OF THE TESTS (STEPS
6-10) 29 3.5 CLOSING REMARKS 33 CHAPTER 4 DESIGN OF COVERAGE TEST SUITE
35 4.1 BASIC DESIGN ISSUES 35 4.2 COVERAGE ISSUES RELATED TO BOUNDARY
CONDITIONS 38 4.3 COVERAGE ISSUES RELATED TO GRIDS AND GRID REFINEMENT
40 CHAPTER 5 FINDING EXACT SOLUTIONS 41 5.1 OBTAINING EXACT SOLUTIONS
FROM THE FORWARD PROBLEM 41 5.2 THE METHOD OF MANUFACTURED EXACT
SOLUTIONS 43 5.2.1 GUIDELINES FOR CREATING MANUFACTURED SOLUTIONS 44
5.2.2 GUIDELINES FOR CONSTRUCTION OF THE COEFFICIENTS 45 5.2.3 EXAMPLE:
CREATION OF A MANUFACTURED SOLUTION 46 5.2.4 TREATMENT OF AUXILIARY
CONDITIONS 48 5.2.4.1 TREATMENT OF THE INITIAL CONDITION 48 5.2.4.2
TREATMENT OF THE PROBLEM DOMAIN 49 5.2.4.3 TREATMENT OF THE BOUNDARY
CONDITIONS 49 5.2.5 A CLOSER LOOK AT SOURCE TERMS 54 5.2.5.1 HEAT
EQUATION WITH NO SOURCE TERM 55 5.2.5.2 STEADY INCOMPRESSIBLE FLOW WITH
NO SOURCE TERM 56 5.2.5.3 CLOSING REMARKS ON SOURCE TERMS 58 5.2.6
PHYSICAL REALISM OF EXACT SOLUTIONS 58 CHAPTER 6 BENEFITS OF THE
ORDER-VERIFICATION PROCEDURE 59 6.1 A TAXONOMY OF CODING MISTAKES 59 6.2
A SIMPLE PDE CODE 62 6.3 BLIND TESTS 65 CHAPTER 7 RELATED
CODE-DEVELOPMENT ACTIVITIES 69 7.1 NUMERICAL ALGORITHM DEVELOPMENT 69
7.2 TESTING FOR CODE ROBUSTNESS 70 7.3 TESTING FOR CODE EFFICIENCY 71
7.4 CODE CONFIRMATION EXERCISES 71 7.5 SOLUTION VERIFICATION 72 7.6 CODE
VALIDATION 73 7.7 SOFTWARE QUALITY ENGINEERING 74 CHAPTER 8 SAMPLE
CODE-VERIFICATION EXERCISES 75 8.1 BURGERS' EQUATIONS IN CARTESIAN
COORDINATES (CODE 1) 75 8.1.1 STEADY SOLUTION WITH DIRICHLET BOUNDARY
CONDITIONS 76 8.1.2 STEADY SOLUTION WITH MIXED NEUMANN AND DIRICHLET
CONDITIONS 77 8.2 BURGERS' EQUATIONS IN CURVILINEAR COORDINATES (CODE 2)
79 8.2.1 STEADY SOLUTION 80 8.2.2 UNSTEADY SOLUTION 80 8.3
INCOMPRESSIBLE NAVIER-STOKES (CODE 3) 82 8.4 COMPRESSIBLE NAVIER-STOKES
(CODE 4) 84 CHAPTER 9 ADVANCED TOPICS 89 9.1 COMPUTER PLATFORMS 89 9.2
LOOKUP TABLES 89 9.3 AUTOMATIC TIME-STEPPING OPTIONS 90 9.4 HARDWIRED
BOUNDARY CONDITIONS 91 9.5 CODES WITH ARTIFICIAL DISSIPATION TERMS 92
9.6 EIGENVALUE PROBLEMS 94 9.7 SOLUTION UNIQUENESS 94 9.8 SOLUTION
SMOOTHNESS 95 9.9 CODES WITH SHOCK-CAPTURING SCHEMES 96 9.10 DEALING
WITH CODES THAT MAKE NONORDERED APPROXIMATIONS 97 CHAPTER 10 SUMMARY AND
CONCLUSIONS 99 REFERENCES 103 APPENDIX I: OTHER METHODS FOR PDE CODE
TESTING 107 APPENDIX II: IMPLEMENTATION ISSUES IN THE FORWARD APPROACH
ILL APPENDIX III: RESULTS OF BLIND TESTS 113 APPENDIX IV: A MANUFACTURED
SOLUTION TO THE FREE-SURFACE POROUS MEDIA EQUATIONS 133 INDEX 137 |
| any_adam_object | 1 |
| author | Knupp, Patrick M. Salari, Kambiz |
| author_facet | Knupp, Patrick M. Salari, Kambiz |
| author_role | aut aut |
| author_sort | Knupp, Patrick M. |
| author_variant | p m k pm pmk k s ks |
| building | Verbundindex |
| bvnumber | BV019388589 |
| callnumber-first | Q - Science |
| callnumber-label | QA297 |
| callnumber-raw | QA297 |
| callnumber-search | QA297 |
| callnumber-sort | QA 3297 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 233 |
| classification_tum | DAT 584f |
| ctrlnum | (OCoLC)845518608 (DE-599)BVBBV019388589 |
| dewey-full | 515/.353/0285 |
| dewey-hundreds | 500 - Natural sciences and mathematics |
| dewey-ones | 515 - Analysis |
| dewey-raw | 515/.353/0285 |
| dewey-search | 515/.353/0285 |
| dewey-sort | 3515 3353 3285 |
| dewey-tens | 510 - Mathematics |
| discipline | Informatik Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV019388589</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160713</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">040910s2003 xxu|||| |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2002073821</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1584882646</subfield><subfield code="c">acidfree paper</subfield><subfield code="9">1-58488-264-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)845518608</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV019388589</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-91</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA297</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">515/.353/0285</subfield><subfield code="2">21</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 584f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Knupp, Patrick M.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verification of computer codes in computational science and engineering</subfield><subfield code="c">Patrick Knupp, Kambiz Salari</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Boca Raton, Fla.</subfield><subfield code="b">Chapman & Hall/CRC</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">144 p.</subfield><subfield code="b">25 cm</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="0" ind2=" "><subfield code="a">Discrete mathematics and its applications</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references (p. 103-105) and index</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Differential equations, Partial</subfield><subfield code="x">Numerical solutions</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Numerical calculations</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Partielle Differentialgleichung</subfield><subfield code="0">(DE-588)4044779-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Numerisches Verfahren</subfield><subfield code="0">(DE-588)4128130-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Partielle Differentialgleichung</subfield><subfield code="0">(DE-588)4044779-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Numerisches Verfahren</subfield><subfield code="0">(DE-588)4128130-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Programmverifikation</subfield><subfield code="0">(DE-588)4135576-3</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">Salari, Kambiz</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=012851403&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-012851403</subfield></datafield></record></collection> |
| id | DE-604.BV019388589 |
| illustrated | Not Illustrated |
| indexdate | 2024-08-01T00:27:54Z |
| institution | BVB |
| isbn | 1584882646 |
| language | English |
| lccn | 2002073821 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-012851403 |
| oclc_num | 845518608 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 144 p. 25 cm |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Chapman & Hall/CRC |
| record_format | marc |
| series2 | Discrete mathematics and its applications |
| spelling | Knupp, Patrick M. Verfasser aut Verification of computer codes in computational science and engineering Patrick Knupp, Kambiz Salari Boca Raton, Fla. Chapman & Hall/CRC 2003 144 p. 25 cm txt rdacontent n rdamedia nc rdacarrier Discrete mathematics and its applications Includes bibliographical references (p. 103-105) and index Differential equations, Partial Numerical solutions Numerical calculations Verification Partielle Differentialgleichung (DE-588)4044779-0 gnd rswk-swf Programmverifikation (DE-588)4135576-3 gnd rswk-swf Numerisches Verfahren (DE-588)4128130-5 gnd rswk-swf Partielle Differentialgleichung (DE-588)4044779-0 s Numerisches Verfahren (DE-588)4128130-5 s Programmverifikation (DE-588)4135576-3 s DE-604 Salari, Kambiz Verfasser aut GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012851403&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Knupp, Patrick M. Salari, Kambiz Verification of computer codes in computational science and engineering Differential equations, Partial Numerical solutions Numerical calculations Verification Partielle Differentialgleichung (DE-588)4044779-0 gnd Programmverifikation (DE-588)4135576-3 gnd Numerisches Verfahren (DE-588)4128130-5 gnd |
| subject_GND | (DE-588)4044779-0 (DE-588)4135576-3 (DE-588)4128130-5 |
| title | Verification of computer codes in computational science and engineering |
| title_auth | Verification of computer codes in computational science and engineering |
| title_exact_search | Verification of computer codes in computational science and engineering |
| title_full | Verification of computer codes in computational science and engineering Patrick Knupp, Kambiz Salari |
| title_fullStr | Verification of computer codes in computational science and engineering Patrick Knupp, Kambiz Salari |
| title_full_unstemmed | Verification of computer codes in computational science and engineering Patrick Knupp, Kambiz Salari |
| title_short | Verification of computer codes in computational science and engineering |
| title_sort | verification of computer codes in computational science and engineering |
| topic | Differential equations, Partial Numerical solutions Numerical calculations Verification Partielle Differentialgleichung (DE-588)4044779-0 gnd Programmverifikation (DE-588)4135576-3 gnd Numerisches Verfahren (DE-588)4128130-5 gnd |
| topic_facet | Differential equations, Partial Numerical solutions Numerical calculations Verification Partielle Differentialgleichung Programmverifikation Numerisches Verfahren |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=012851403&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT knupppatrickm verificationofcomputercodesincomputationalscienceandengineering AT salarikambiz verificationofcomputercodesincomputationalscienceandengineering |