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.
Measurands, calibration, and measurement uncertainty
Definition
A measurand is the specified quantity intended to be measured, including the conditions needed to make its value sufficiently well-defined for the stated accuracy. A measurement model for a scalar measurand is a specified function where is defined on an open set and the are the input quantities that contribute to the reported result. For the uncertainty model below, assume . To treat the nonlinear output as a random output, either require almost surely and require to be measurable on the event , defining it measurably on the null complement, or specify a measurable extension of the model to the input values outside . The almost-sure domain condition alone does not ensure measurability. If the variance of is used, also require the resulting output to be square-integrable. The input list includes each significant correction, correction factor, calibration quantity, reference value, and other influence quantity used by the model. The estimate based on input estimates is .
For uncertainty evaluation, represent the possible input values by an -valued random element on one probability space, with square-integrable real coordinate variables. Their means are the input estimates, , and their input covariance matrix is This probability model represents the evaluated uncertainty of the inputs; it does not assert that every input varies physically at random. No independence of the inputs is assumed.
A systematic effect is an identified influence whose estimated contribution can be corrected. A random effect is an influence that appears as variation across repeated observations under the declared conditions. These descriptions concern how an effect enters the measurement model; they are separate from the Type A/Type B evaluation labels. A correction is an estimated signed value added algebraically to an uncorrected result to compensate for a recognized systematic effect. A correction factor changes a result multiplicatively according to the stated model. Applying a correction does not remove uncertainty: uncertainty in the correction and in its reference values remains an input contribution unless its contribution is shown negligible for the stated result. A reference standard is a stated reference artifact or realization used to compare or calibrate a measurement system; its assigned value and uncertainty, including covariance with other shared reference inputs, belong in the measurement model. A calibration curve is the specified relation between a reference quantity and an instrument response used to convert a later response into an estimate of the measurand.
Type A evaluation means evaluating an uncertainty component by statistical analysis of a series of observations. Type B evaluation means evaluating it by other information or methods. These labels describe how a component is evaluated, not whether its cause is random or systematic. A repeatability component describes variation in repeated readings under stated, comparable conditions. A later reading of a calibrated instrument can therefore add a new repeatability component; include its covariance with other inputs when the model does not justify treating them as uncorrelated.
A standard uncertainty is an uncertainty measure expressed as a standard deviation. The combined standard uncertainty below is the standard deviation of a linearized output, not an interval statement.
When is differentiable at , write and define the first-order linearized output by The first-order combined standard uncertainty is , the standard deviation of this Taylor-linearized output. The next theorem gives its covariance formula. Its use as an approximation to the uncertainty of the nonlinear output requires the first-order model to be adequate for the stated measurement. This standard uncertainty is not itself an interval and implies no coverage probability or confidence level.
A measurement batch in the example on the companion page is a declared measurement occasion or configuration, such as one day of operation. It is a label for a process condition; it is not a random-effect assumption by itself. Whether a calibration relation remains stable across batches is an empirical question about the stated process and study.
Remarks
The broader Scientific statistical model contracts requires the observation law, units and index roles, target, observation mechanism, support (a measurable set assigned probability one), conditioning convention, and status of model-adequacy assumptions; it does not prove that a proposed model applies physically. Here Random elements and real random variables supplies the measurable-map meaning of each input variable, Moments, variance, and covariance on a probability space defines the finite means and covariances, and The real Frechet derivative on real and complex matrix spaces with the Frobenius norm supplies the first-order derivative remainder (identify with real column matrices and use the Euclidean/Frobenius norm).
Depends on
Used by
Dependency tree · two levels
15 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- JCGM 100:2008, Evaluation of Measurement Data — Guide to the Expression of Uncertainty in Measurement, clauses 1–8 (standard reference, not scraped)
- JCGM 100:2008/Amd.1:2026, Amendment 1: Nonlinearity in Measurement Models (standard reference, not scraped)
- NIST/SEMATECH Engineering Statistics Handbook, Chapter 2: Measurement Process Characterization (standard reference, not scraped)