Verification of computer codes in computational science and engineering. (©2003)

• Record Type: Book
• Further Information: Note: Patrick Knupp, Kambiz Salari.
• Other Names: Knupp, Patrick M; Salari, Kambiz
• Contents: INTRODUCTION TO CODE VERIFICATION; THE MATHEMATICAL MODEL AND NUMERICAL ALGORITHM; The Mathematical Model; Numerical Methods for Solving Differential Equations; THE CODE VERIFICATION PROCEDURE; Static Testing; Dynamic Testing; Overview of the Order-Verification Procedure; Details of the Procedure; Closing Remarks; DESIGN OF COVERAGE TEST SUITE; Basic Design Issues; Coverage Issues Related to Boundary Conditions; Coverage Issues Related to Grids and Grid Refinement; FINDING EXACT SOLUTIONS; Obtaining Exact Solutions from the Forward Problem; The Method of Manufactured Exact Solutions; BENEFITS OF THE ORDER-VERIFICATION PROCEDURE; A Taxonomy of Coding Mistakes; A Simple PDE Code; Blind Tests; RELATED CODE DEVELOPMENT ACTIVITIES; Numerical Algorithm Development; Testing for Code Robustness; Testing for Code Efficiency; Code Confirmation Exercises; Solution Verification; Code Validation; Software Quality Engineering; SAMPLE CODE VERIFICATION EXERCISES; Burgers' Equation in Cartesian Coordinates (Code 1); Burgers' Equation in Curvilinear Coordinates (Code 2); Incompressible Navier-Stokes (Code 3); Compressible Navier-Stokes (Code 4); ADVANCED TOPICS; Computer Platforms; Look-up Tables; Automatic Time-Stepping Options; Hard-Wired Boundary Conditions; Codes with Artificial Dissipation Terms; Eigenvalue Problems; Solution Uniqueness; Solution Smoothness; Codes with Shock Capturing Schemes; Dealing with Codes that Make Non-Ordered Approximations; SUMMARY AND CONCLUSIONS; REFERENCES; APPENDICES; Other Methods for PDE Code Testing; Implementation Issues in the Forward Approach; Results of Blind Tests; A Manufactured Solution to the Free-Surface Porous Media Equations; INDEX
• Publisher Details: Boca Raton London : Chapman & Hall/CRC
• Publication Date: 2003
• Copyright Date: 2003
• Extent: 1 online resource (144 pages), illustrations
• Subjects: 515/.353/0285; Numerical calculations -- Verification; Differential equations, Partial -- Numerical solutions; MATHEMATICS -- Differential Equations -- Partial; Differential equations, Partial -- Numerical solutions; Numerical calculations -- Verification; Electronic books
• Languages: English
• ISBNs: 1420035428; 9781420035421
• Related ISBNs: 1584882646; 9781584882640
• Notes: Note: Includes bibliographical references and index.; Note: Print version record.
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.