• Wyszukiwanie zaawansowane
  • Kategorie
  • Kategorie BISAC
  • Książki na zamówienie
  • Promocje
  • Granty
  • Książka na prezent
  • Opinie
  • Pomoc
  • Załóż konto
  • Zaloguj się

Verification of Computer Codes in Computational Science and Engineering » książka

zaloguj się | załóż konto
Logo Krainaksiazek.pl

koszyk

konto

szukaj
topmenu
Księgarnia internetowa
Szukaj
Książki na zamówienie
Promocje
Granty
Książka na prezent
Moje konto
Pomoc
 
 
Wyszukiwanie zaawansowane
Pusty koszyk
Bezpłatna dostawa dla zamówień powyżej 20 złBezpłatna dostawa dla zamówień powyżej 20 zł

Kategorie główne

• Nauka
 [2950560]
• Literatura piękna
 [1849509]

  więcej...
• Turystyka
 [71097]
• Informatyka
 [151150]
• Komiksy
 [35848]
• Encyklopedie
 [23178]
• Dziecięca
 [617388]
• Hobby
 [139064]
• AudioBooki
 [1657]
• Literatura faktu
 [228597]
• Muzyka CD
 [383]
• Słowniki
 [2855]
• Inne
 [445295]
• Kalendarze
 [1464]
• Podręczniki
 [167547]
• Poradniki
 [480102]
• Religia
 [510749]
• Czasopisma
 [516]
• Sport
 [61293]
• Sztuka
 [243352]
• CD, DVD, Video
 [3414]
• Technologie
 [219456]
• Zdrowie
 [101002]
• Książkowe Klimaty
 [124]
• Zabawki
 [2311]
• Puzzle, gry
 [3459]
• Literatura w języku ukraińskim
 [254]
• Art. papiernicze i szkolne
 [8079]
Kategorie szczegółowe BISAC

Verification of Computer Codes in Computational Science and Engineering

ISBN-13: 9781584882640 / Angielski / Twarda / 2002 / 160 str.

Patrick M. Knupp; Steven G. Krantz; Kambiz Salari
Verification of Computer Codes in Computational Science and Engineering Patrick M. Knupp Steven G. Krantz Kambiz Salari 9781584882640 Chapman & Hall/CRC - książkaWidoczna okładka, to zdjęcie poglądowe, a rzeczywista szata graficzna może różnić się od prezentowanej.

Verification of Computer Codes in Computational Science and Engineering

ISBN-13: 9781584882640 / Angielski / Twarda / 2002 / 160 str.

Patrick M. Knupp; Steven G. Krantz; Kambiz Salari
cena 777,25
(netto: 740,24 VAT:  5%)

Najniższa cena z 30 dni: 755,61
Termin realizacji zamówienia:
ok. 22 dni roboczych
Dostawa w 2026 r.

Darmowa dostawa!

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.

Kategorie:
Nauka, Matematyka
Kategorie BISAC:
Mathematics > Matematyka stosowana
Technology & Engineering > Civil - General
Technology & Engineering > Mechanical
Wydawca:
Chapman & Hall/CRC
Seria wydawnicza:
Discrete Mathematics and Its Applications
Język:
Angielski
ISBN-13:
9781584882640
Rok wydania:
2002
Numer serii:
000269377
Ilość stron:
160
Waga:
0.38 kg
Wymiary:
23.01 x 17.42 x 1.42
Oprawa:
Twarda
Wolumenów:
01
Dodatkowe informacje:
Bibliografia
Wydanie ilustrowane

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

Patrick Knupp, Kambiz Salari

Krantz, Steven G. Steven Krantz, Ph.D., is Chairman of the Mathemati... więcej >


Udostępnij

Facebook - konto krainaksiazek.pl



Opinie o Krainaksiazek.pl na Opineo.pl

Partner Mybenefit

Krainaksiazek.pl w programie rzetelna firma Krainaksiaze.pl - płatności przez paypal

Czytaj nas na:

Facebook - krainaksiazek.pl
  • książki na zamówienie
  • granty
  • książka na prezent
  • kontakt
  • pomoc
  • opinie
  • regulamin
  • polityka prywatności

Zobacz:

  • Księgarnia czeska

  • Wydawnictwo Książkowe Klimaty

1997-2025 DolnySlask.com Agencja Internetowa

© 1997-2022 krainaksiazek.pl
     
KONTAKT | REGULAMIN | POLITYKA PRYWATNOŚCI | USTAWIENIA PRYWATNOŚCI
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
Polityka prywatnosci - link
Krainaksiazek.pl - płatnośc Przelewy24
Przechowalnia Przechowalnia