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.
Batch and measurement-process variation
Definition
Fix nonempty finite index sets and for , and positive integers for and . The index names a fixed process condition, such as a fixed instrument configuration or an operator held fixed by design. The index names a batch nested within that condition (for example, a day, or a specified day–operator combination); names a repeat reading within that batch. If days and operators are crossed, or their separate contributions are needed, the model must use additional indices and terms: this nested model does not separate such effects.
On one probability space, let the real random variables and be jointly independent and square-integrable, with The variances are common over the indicated indices and may be zero. Let and each be fixed real constants. The nested batch measurement model is Here represents the fixed process-condition offset, is the random batch offset, and is the repeat error. The replicate mean is . This is a scalar random-intercept specialization of the finite-moment mixed-model form in Finite-dimensional linear mixed model with explicit longitudinal roles; it adds mutual independence across the finite batch and repeat families and assumes a common repeat-error variance.
In this article, repeatability means variation among readings made under the same stated short-term conditions, represented by the repeat-error term in this model. Reproducibility means variation across the explicitly named conditions being compared, such as days or operators; the parameter describes only the random batch factor represented by . A design-based interpretation as variation over a target population requires batches sampled from that population; under a working random-effects model, its interpretation instead depends on the stated model and inferential target. Stability means constancy over the stated time interval of the measurement process law, including its calibration relation and relevant error behavior. These words are used with these declared scopes; terminology in measurement standards can vary.
Choose the batch-effect specification to match the model and inferential target. A design-based interpretation treats as random when observed batches are sampled from a named population and the target includes variation over it. A random-effects distribution may also be used as a working model for selected batches that are not a probability sample, but that choice alone does not justify design-based extrapolation. If the selected batches are the entire target and no distributional model is intended, represent their offsets as fixed batch parameters; the random-effect variance formula below then does not describe extrapolation to unobserved batches. Pool calibration curves only under an explicit common-curve or equivalence model over the stated calibration range. Without that model, report batch-specific calibration descriptions. This definition and its variance consequences assert no empirical adequacy or stability of a particular measurement process. The measurement occasion called a batch and the calibration-curve terminology agree with Measurands, calibration, and measurement uncertainty.
Depends on
Used by
Dependency tree · two levels
14 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
- NIST/SEMATECH Engineering Statistics Handbook, Chapter 2: Measurement Process Characterization (standard reference, not scraped)
- Fan Li, STA610 Lecture 5 Notes: Estimation of Group Effects (standard reference, not scraped)
- Fan Li, STA610 Lecture 6 Notes: Linear Mixed-Effects Models (standard reference, not scraped)