How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Evidence scope for calibrated and learned fluid models
Methodological scope of computational and learned fluid models for specified input cases and intended uses; no performance claim is made for an unnamed model or unreported physical measurement.
Remark
For this remark, a computational fluid-dynamics model is the specified fluid equations together with a numerical algorithm and its code, mapping initial data, boundary data, parameters, and time to calculated fields or quantities of interest. A context of use is the stated set of geometries, initial and boundary conditions, parameter ranges, time interval, output quantities, and required accuracy for which a prediction is intended. A benchmark is a finite set of specified input cases, reference outputs, target quantities, comparison metric, and scoring procedure. Calibration is the selection of adjustable model parameters to fit identified data; training is the corresponding parameter-fitting process for a learned component. A held-out evaluation set is not used to fit those parameters, although it may still be generated by the same numerical reference model.
Code verification checks that the code implements the stated mathematical model; solution verification estimates numerical error for a particular calculation. Physical-model validation assesses agreement with relevant observations of the physical system for the stated context of use, with experimental and computational uncertainty accounted for. These are different claims: a numerical verification benchmark does not establish physical realism, and an algorithmic held-out score is not, by itself, physical-model validation.
Accordingly, a calibrated or learned model’s reported score supports only the specified cases, reference outputs, quantities, metric, and evaluation protocol. If the reference outputs are themselves computed by a fluid solver, agreement with them is evidence about the learned component relative to that solver and its assumptions, not direct evidence about an actual fluid. Extrapolation to other geometries, boundary conditions, forcing, parameter ranges, time horizons, or measured flows is a separate claim that requires its own evidence. Reports should identify the intended use, training and evaluation data, reference source, comparison metric, baselines, and relevant numerical, input, and measurement uncertainties; a fit to calibration data alone does not establish accuracy for other uses.
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Karthik Duraisamy, Gianluca Iaccarino, and Heng Xiao, Turbulence Modeling in the Age of Data, Annual Review of Fluid Mechanics 51 (2019), 357–377
- DongHun Yeo, A Summary of Industrial Verification, Validation, and Uncertainty Quantification Procedures in Computational Fluid Dynamics, NIST IR 8298 (2020)
- Noelle Selin, ESD.864 Lecture 3: Verification and Validation, MIT OpenCourseWare (12 February 2013)