Verification of Computer Codes in Computational Science and Engineering
Regular price
€210.80
A01=Kambiz Salari
A01=Patrick Knupp
algorithm
algorithm accuracy assessment
Artificial Dissipation Terms
Author_Kambiz Salari
Author_Patrick Knupp
Boundary Condition
Boundary Condition Types
Category=PBCD
Category=PBD
Category=PBV
Category=UB
Category=UY
Category=UYA
Code Capabilities
Code Verification
Coding Mistakes
Coverage Tests
differential
Dirichlet Boundary Condition
Discrete Solution
discretization
Discretization Error
Dissipation Terms
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
equation
error
exact
Exact Solution
Finite Difference Methods
Governing Equations
grid convergence study
Grid Convergence Testing
Grid Refinement
Interior Equations
Lax Equivalence Theorem
manufactured solution procedure implementation
Manufactured Solutions
mistake
Navier Stokes Code
Norm Error Ratio
Normalized Global Error
numerical
Numerical Algorithm
numerical analysis
partial
partial differential equations
Radiation Transport Equations
scientific computing
simulation software validation
solution
Source Term
Product details
- ISBN 9781584882640
- Weight: 180g
- Dimensions: 156 x 234mm
- Publication Date: 29 Oct 2002
- Publisher: Taylor & Francis Inc
- Publication City/Country: US
- Product Form: Hardback
Secure
checkout
Fast Shipping
Easy returns
How can one be assured that computer codes that solve differential equations are correct? Standard practice using benchmark testing no longer provides full coverage because today's production codes solve more complex equations using more powerful algorithms. By verifying the order-of-accuracy of the numerical algorithm implemented in the code, one can detect most any coding mistake that would prevent correct solutions from being computed.
Verification of Computer Codes in Computational Science and Engineering sets forth a powerful alternative called OVMSP: Order-Verification via the Manufactured Solution Procedure. This procedure has two primary components: using the Method of Manufactured Exact Solutions to create analytic solutions to the fully-general differential equations solved by the code and using grid convergence studies to confirm the order-of-accuracy. The authors present a step-by-step procedural guide to OVMSP implementation and demonstrate its effectiveness.
Properly implemented, OVMSP offers an exciting opportunity to identify virtually all coding 'bugs' that prevent correct solution of the governing partial differential equations. Verification of Computer Codes in Computational Science and Engineering shows you how this can be done. The treatment is clear, concise, and suitable both for developers of production quality simulation software and as a reference for computational science and engineering professionals.
