skip to main content
OSTI.GOV title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Some thoughts on model verification

Conference ·
OSTI ID:6933641

The most powerful attribute of numerical models for simulating fluid flow in partially saturated fractured media is that they can handle arbitrarily complex problems in terms of geometry, heterogeneity and forcing functions. In contrast, analytical solutions can be only obtained for relatively simple problems. Therefore, the very power of the numerical models that is to be exploited is unnecessarily abridged if the numerical method is viewed merely as a tool for approximately solving the partial differential equation. A broader definition of verification is needed in order to exploit the power and generality of numerical models. In the ultimate, verification should be dictated by axiomatic testability. The development of self-verifying numerical models is a challenge that deserves pursuit.

Research Organization:
Lawrence Berkeley Lab., CA (USA)
DOE Contract Number:
AC03-76SF00098
OSTI ID:
6933641
Report Number(s):
LBL-23021; CONF-861220-5; ON: DE87007615
Resource Relation:
Conference: American Geophysical Union fall meeting, San Francisco, CA, USA, 8 Dec 1986; Other Information: Portions of this document are illegible in microfiche products
Country of Publication:
United States
Language:
English

Similar Records

Groundwater flow code verification ``benchmarking`` activity (COVE-2A): Analysis of participants` work
Technical Report · Sat Feb 01 00:00:00 EST 1992 · OSTI ID:6933641

Numerical modeling in hydrology
Conference · Fri Jan 01 00:00:00 EST 1982 · Geol. Soc. Am., Spec. Pap.; (United States) · OSTI ID:6933641

Compiler verification meets cross-language linking via data abstraction
Journal Article · Wed Oct 15 00:00:00 EDT 2014 · ACM SIGPLAN Notices · OSTI ID:6933641