Professional Documents
Culture Documents
1 (DGUIDE 99998)
TMB
Voting begins on Voting terminates on
2004-05-14 2004-09-14
INTERNATIONAL ORGANIZATION FOR STANDARDIZATION • МЕЖДУНАРОДНАЯ ОРГАНИЗАЦИЯ ПО СТАНДАРТИЗАЦИИ • ORGANISATION INTERNATIONALE DE NORMALISATION
Guide pour l'expression de l'incertitude de mesure (GUM) — Supplément 1: Méthodes numériques pour la
propagation de distribution
ICS 17.020
In accordance with the ISO/IEC Directives, Part 1, 2001, Clause A.5, this draft is submitted to the ISO national
bodies for approval.
WARNING — THIS DOCUMENT IS NOT AN ISO GUIDE. IT IS DISTRIBUTED FOR REVIEW AND COMMENT. IT IS SUBJECT TO CHANGE WITHOUT
NOTICE AND MAY NOT BE REFERRED TO AS A GUIDE.
RECIPIENTS OF THIS DRAFT ARE INVITED TO SUBMIT, WITH THEIR COMMENTS, NOTIFICATION OF ANY RELEVANT PATENT RIGHTS OF WHICH
THEY ARE AWARE AND TO PROVIDE SUPPORTING DOCUMENTATION.
IN ADDITION TO THEIR EVALUATION AS BEING ACCEPTABLE FOR INDUSTRIAL, TECHNOLOGICAL, COMMERCIAL AND USER PURPOSES,
DRAFT GUIDES MAY ON OCCASION HAVE TO BE CONSIDERED IN THE LIGHT OF THEIR POTENTIAL TO BECOME DOCUMENTS TO WHICH
REFERENCE MAY BE MADE IN NATIONAL REGULATIONS.
PDF disclaimer
This PDF file may contain embedded typefaces. In accordance with Adobe's licensing policy, this file may be printed or viewed but
shall not be edited unless the typefaces which are embedded are licensed to and installed on the computer performing the editing. In
downloading this file, parties accept therein the responsibility of not infringing Adobe's licensing policy. The ISO Central Secretariat
accepts no liability in this area.
Adobe is a trademark of Adobe Systems Incorporated.
Details of the software products used to create this PDF file can be found in the General Info relative to the file; the PDF-creation
parameters were optimized for printing. Every care has been taken to ensure that the file is suitable for use by ISO member bodies. In
the unlikely event that a problem relating to it is found, please inform the Central Secretariat at the address given below.
Copyright notice
This ISO document is a Draft Guide and is copyright-protected by ISO. Except as permitted under the
applicable laws of the user's country, neither this ISO draft nor any extract from it may be reproduced,
stored in a retrieval system or transmitted in any form or by any means, electronic, photocopying, recording
or otherwise, without prior written permission being secured.
Requests for permission to reproduce should be addressed to either ISO at the address below or ISO's
member body in the country of the requester.
ISO copyright office
Case postale 56 • CH-1211 Geneva 20
Tel. + 41 22 749 01 11
Fax + 41 22 749 09 47
E-mail copyright@iso.org
Web www.iso.org
For convenience in the management of the enquiry ballot, this draft is submitted under the reference
ISO DGUIDE 99998. On publication the reference ISO DGUIDE 99998 will be discarded.
In accordance with the provisions of Council Resolution 15/1993 this document is circulated in the English
language only.
Conformément aux dispositions de la Résolution du Conseil 15/1993, ce document est distribué en version
anglaise seulement.
To expedite distribution, this document is circulated as received from the committee secretariat. ISO Central
Secretariat work of editing and text composition will be undertaken at publication stage.
Pour accélérer la distribution, le présent document est distribué tel qu'il est parvenu du secrétariat du comité.
Le travail de rédaction et de composition de texte sera effectué au Secrétariat central de l'ISO au stade de
publication.
1
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
Foreword
This Supplement is concerned with the concept of the
propagation of distributions as a basis for the evaluation Introduction
of uncertainty of measurement. This concept constitutes
a generalization of the law of propagation of uncertainty
This Supplement is concerned with the concept of
given in the Guide to the Expression of Uncertainty in
the propagation of probability distributions through a
Measurement (GUM) [3]. It thus facilitates the provi-
model of measurement as a basis for the evaluation of
sion of uncertainty evaluations that are more valid than
uncertainty of measurement, and its implementation by
those provided by the use of the law of propagation of
Monte Carlo simulation. The treatment applies to a
uncertainty in circumstances where the conditions for
model having any number of input quantities, and a sin-
the application of that law are not fulfilled. The prop-
gle (scalar-valued) output quantity (sometimes known
agation of distributions is consistent with the general
as the measurand). A second Supplement, in prepa-
principles on which the GUM is based. An implemen-
ration, is concerned with arbitrary numbers of output
tation of the propagation of distributions is given that
quantities. In particular, the provision of the probabil-
uses Monte Carlo simulation.
ity density function for the output quantity value per-
mits the determination of a coverage interval for that
In 1997 a Joint Committee for Guides in Metrology
value corresponding to a prescribed coverage probabil-
(JCGM), chaired by the Director of the BIPM, was
ity. The Monte Carlo simulation technique in general
created by the seven International Organizations that
provides a practical solution for complicated models or
had prepared the original versions of the GUM and the
models with input quantities having “large” uncertain-
International Vocabulary of Basic and General Terms
ties or asymmetric probability density functions. The
in Metrology (VIM). The Committee had the task of
evaluation procedure based on probability distributions
the ISO Technical Advisory Group 4 (TAG4), which had
is entirely consistent with the GUM, which states in
developed the GUM and the VIM. The Joint Commit-
Subclause 3.3.5 that “. . . a Type A standard uncertainty
tee, as was the TAG4, is formed by the BIPM with
is obtained from a probability density function derived
the International Electrotechnical Commission (IEC),
from an observed frequency distribution, while a Type B
the International Federation of Clinical Chemistry and
standard uncertainty is obtained from an assumed prob-
Laboratory Medicine (IFCC), the International Orga-
ability density function based on the degree of belief
nization for Standardization (ISO), the International
that an event will occur . . . ”. It is also consistent in
Union of Pure and Applied Chemistry (IUPAC), the
the sense that it falls in the category of the “other an-
International Union of Pure and Applied Physics (IU-
alytical or numerical methods” [GUM Subclause G.1.5]
PAP) and the International Organization of Legal
permitted by the GUM. Indeed, the law of propagation
Metrology (OIML). A further organization joined these
of uncertainty can be derived from the propagation of
seven international organizations, namely, the Interna-
distributions. Thus, the propagation of distributions is
tional Laboratory Accreditation Cooperation (ILAC).
a generalization of the approach predominantly advo-
Within JCGM two Working Groups have been estab-
cated in the GUM, in that it works with richer infor-
lished. Working Group 1, “Expression of Uncertainty
mation than that conveyed by best estimates and the
in Measurement”, has the task to promote the use of
associated standard uncertainties alone.
the GUM and to prepare supplements for its broad ap-
plication. Working Group 2, “Working Group on In-
This supplement also provides a procedure for the vali-
ternational Vocabulary of Basic and General Terms in
dation, in any particular case, of the use of the law of
Metrology (VIM)”, has the task to revise and promote
propagation of uncertainty.
the use of the VIM. The present Guide has been pre-
pared by Working Group 1 of the JCGM.
This document is a supplement to the use of the GUM
and is to be used in conjunction with it.
2
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
3
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
tude [GUM G.2.2]; General Terms in Metrology (VIM) [4] and ISO 3534,
Part 1 [20] apply.
— those where the probability distribution for the
output quantity value is not Gaussian, since re- JCGM-WG1 has decided that the subscript “c”
liance is not placed on the Central Limit Theo- [GUM 2.3.4, 5.1.1] for the combined standard uncer-
rem [GUM G.2.1]; tainty is redundant. The standard uncertainty associ-
ated with an estimate y of an output quantity value Y
— those where the estimate of the output quan- can therefore be written simply as u(y), but the use
tity value and the associated standard uncertainty are of uc (y) remains acceptable if it is helpful to empha-
comparable in magnitude, as for measurements at or size the fact that it represents a combined standard un-
near the limit of detection; certainty. Moreover, the qualifier “combined” in “com-
bined standard uncertainty” is also regarded as super-
— those in which the models have arbitrary degrees fluous and may be omitted. One reason for the deci-
of non-linearity or complexity, since the determination sion is that the argument (here y) already indicates the
of the terms in a Taylor series approximation is not estimate of the output quantity value with which the
required [GUM 5.1.2]; standard uncertainty is associated. Another reason is
that frequently the results of one or more uncertainty
— those in which asymmetric distributions for the evaluations become the inputs to a subsequent uncer-
values of the input quantities arise, e.g., when dealing tainty evaluation. The use of the subscript “c” and the
with the magnitudes of complex variables in acousti- qualifier “combined” are inappropriate in this regard.
cal, electrical and optical metrology;
This Supplement departs from the symbols often used
— those in which it is difficult or inconvenient to for probability density function and distribution func-
provide the partial derivatives of the model (or ap- tion. The GUM uses the generic symbol f to refer to a
proximations to these partial derivatives), as needed model and a probability density function. Little confu-
by the law of propagation of uncertainty (possibly sion arises in the GUM as a consequence of this usage.
with higher-order terms) [GUM 8]. The situation in this Supplement is different. The con-
cepts of model, probability density function and distri-
This Supplement can be used in cases of doubt to check bution function are central to following and implement-
whether the law of propagation of uncertainty is appli- ing the procedure provided. Therefore, in place of the
cable. A validation procedure is provided for this pur- symbols f and F to denote a probability density func-
pose. Thus, the considerable investment in this use of tion and a distribution function, the symbols g and G,
the GUM is respected: the law of propagation of un- respectively, are used. The symbol f is reserved for the
certainty procedure remains the main approach to the model.
calculation phase of uncertainty evaluation, certainly in
circumstances where it is demonstrably applicable. Citations of the form [GUM 4.1.4] are to the indicated
(sub)clauses of the GUM.
Guidance is given on the manner in which the propaga-
tion of distributions can be carried out, without making The decimal point is used as the symbol to separate the
unquantified approximations. integer part of a decimal number from its fractional part.
A decimal comma is used for this purpose in continental
This Supplement applies to mutually independent in- Europe.
put quantities, where the value of each such quantity
is assigned an appropriate probability density function, In this Supplement the term law of propagation of un-
or mutually dependent input quantities, the values of certainty applies to the use of a first-order Taylor series
which have been assigned a joint probability density approximation to the model. The term is qualified ac-
function. cordingly when a higher-order approximation is used.
Sometimes the term is extended to apply also to the as-
Models with more than one output quantity are the sumption of the applicability of the Central Limit The-
subject of a further Supplement to the GUM that is orem as a basis for providing coverage intervals. The
in preparation. context makes clear the usage in any particular case.
4
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
b) Decide the input quantities upon which the out- A measurement model [GUM 4.1] is expressed by a func-
put quantity depends. tional relationship f :
5
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
6
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
b) the Central Limit Theorem [GUM G.2.1, G.6.6] 2 It may be possible to remove some mutual dependencies
to apply, implying the representativeness of the prob- by re-expressing some or all of the input quantities in terms
ability density function for the output quantity value of more fundamental mutually independent input quantities
on which the original input quantities depend [GUM F1.2.4,
by a Gaussian distribution or in terms of a t– GUM H.1]. Such changes can simplify both the application
distribution; of the law of propagation of uncertainty and the propagation
of distributions. Details and examples are available [13].
c) the adequacy of the Welch-Satterthwaite for-
mula for calculating the effective degrees of free-
dom [GUM G.4.2].
7
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
4.2 Probability distributions from previous a) those for which a general approach is needed;
uncertainty calculations
b) those for which uncertainty propagation based on
A previous uncertainty calculation may have provided a a first-order Taylor series approximation is applicable;
probability distribution for the value of an output quan-
tity that is to become an input quantity for a further un- c) those for which it is unclear which approach
certainty calculation. This probability distribution may should be followed.
be available analytically in a recognized form, e.g., as
a Gaussian probability density function, with values for For Class a), this Supplement provides a generic, broadly
its expectation and standard deviation. It may be avail- applicable approach based on the propagation of distri-
able as an approximation to the distribution function for butions. With respect to Class b), this Supplement does
a quantity value obtained from a previous application of not provide new material. For Class c), this Supplement
Monte Carlo simulation, for example. A means for de- provides a procedure for validating in any particular cir-
scribing such a distribution function for a quantity value cumstance the use of the law of propagation of uncer-
is given in Clause 6.5. tainty (possibly based on a higher-order Taylor series
approximation).
8
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
This probability density function reduces to the product of N as stated in the note to GUM Subclause 4.1.4, repeated
univariate Gaussian probability density functions when there above, it plays a relevant role within Monte Carlo sim-
are no covariance effects, for the following reason. In that ulation as an implementation of the propagation of dis-
case
V = diag(u2 (x1 ), . . . , u2 (xN )), tributions.
whence
Monte Carlo simulation for uncertainty calculations [7,
1 (ξi − xi )2
N
1 9] is based on the premise that any value drawn at ran-
g(ξ) = exp − dom from the distribution of possible values of an input
(2π)N/2 u(x1 ) · · · u(xN ) 2 u2 (xi )
i=1
quantity is as legitimate as any other such value. Thus,
N
by drawing for each input quantity a value according to
= gi (ξi ),
its assigned probability density function, the resulting
i=1
set of values is a legitimate set of values of these quanti-
with ties. The value of the model corresponding to this set of
1 (ξi − xi )2 values constitutes a possible value of the output quan-
gi (ξi ) = √ exp − .
2πu(xi ) 2u2 (xi ) tity Y . Figure 3 is similar to Figure 2 except that it
shows a value sampled from each of the three proba-
bility density functions for the input quantities and the
6 Calculation using Monte Carlo simu- resulting value of the output quantity.
lation
-
6.1 Rationale and overview ?
9
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
from G(η). Particularly relevant quantities are e) Form the estimate of the output quantity value
(a) the expectation of G(η) as the estimate y of the and the associated standard uncertainty from this dis-
output quantity value, (b) the standard deviation tribution function (or directly from the set of values
of G(η) as the associated standard uncertainty u(y), of the output quantity). See Clause 6.6.
10
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
? ?
?
PRIMARY MCS
OUTPUT:
? ? ?
Estimate y of the output quantity value Coverage interval [ylow , yhigh ]
MCS and associated standard uncertainty u(y) for the output quantity value
RESULTS
Clause 6.6 Clause 6.7
Figure 4 — The calculation phase of uncertainty evaluation using Monte Carlo simulation (MCS) to implement
the propagation of distributions.
11
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
6.2 The number of Monte Carlo trials be statistically valid it is necessary that the pseudorandom
number generators used to sample from the distributions re-
quired have appropriate properties. Tests of randomness of
A value of M , the number of Monte Carlo trials to be the numbers produced by a generator are indicated in Ap-
made, needs to be selected. It can be chosen a priori, pendix C.
in which case there will be no direct control over the
degree of approximation delivered by the Monte Carlo
procedure. The reason is that the number needed to 6.4 Evaluation of the model
provide a prescribed degree of approximation will de-
pend on the “shape” of the probability density function The model is evaluated for each of the M samples from
for the output quantity value and on the coverage prob- each of the probability density functions for the values
ability required. Also, the calculations are stochastic of the N input quantities. Specifically, denote the M
in nature, being based on random sampling. However, samples by x1 , . . . , xM , where the rth sample xr con-
a value of M = 106 can often be expected to deliver tains values x1,r , . . . , xN,r , with xi,r a “draw” from the
a 95 % coverage interval for the output quantity value, probability density function for Xi . Then, the model
such that this length has a degree of approximation of values are
one or two significant decimal digits,. yr = f (xr ), r = 1, . . . , M.
Because there is no guarantee that this or any specific
number will suffice, it is recommended to use a process NOTE — In Monte Carlo simulation the model is evalu-
that selects M adaptively, i.e., as the trials progress. ated for each sample of the input quantities and hence for
values that may be distanced by “several standard devia-
Some guidance in this regard is available [2, 7]. Also tions” from the estimates of the values of the input quan-
see Clause 6.10. A property of such a process is that it tities. For this reason some issues may arise regarding the
takes a number of trials that is economically consistent numerical procedure used to evaluate the model, e.g., ensur-
with the requirement to achieve the required degree of ing its convergence (where iterative schemes are used) and
approximation [7]. numerical stability. When applying the law of propagation
of uncertainty, the model is evaluated only at the estimates
of the values of the input quantities or, if finite-difference
NOTE — If the model is complicated, e.g., involving the so-
approximations are used [GUM 5.1.3, Note 2], also at points
lution of a finite-element model or a non-linear least-squares
perturbed by ± one standard deviation from the estimate of
problem, because of the consequently prohibitive computing
the value of each input quantity in turn. The user should
time, it may not be possible to use a sufficiently large value
ensure that, where appropriate, the numerical methods used
of M to obtain adequate distributional knowledge of the out-
to evaluate f are valid for a sufficiently large region centred
put quantity value. In such a case one approach could be as
on these estimates.
follows. A relatively small value of M , 10 or 20, perhaps,
would be used. The arithmetic mean and standard devi-
ation of the resulting M values of Y would be taken as y
and u(y), respectively, and a coverage interval for the out- 6.5 Distribution function for the output
put quantity value obtained by regarding Y to be distributed quantity value
as y + T u(y), where T denotes the t–distribution with M − 1
degrees of freedom.
An approximation G(η)
to the distribution func-
tion G(η) for the output quantity value Y can be ob-
tained as follows. Sort the values yr , r = 1, . . . , M ,
6.3 Sampling from probability distribu-
of the output quantity provided by Monte Carlo simula-
tions tion into non-decreasing order. Denote the sorted values
by y(r) , r = 1, . . . , M . Assign uniformly spaced cumu-
In an implementation of the Monte Carlo procedure, M lative probabilities pr = (r − 1/2)/M , r = 1, . . . , M , to
samples xi , i = 1, . . . , M (Clause 6.2), are obtained from the ordered values [7].
the probability density functions for the values of the
input quantities X. Samples would be obtained from a NOTES
joint (multivariate) Gaussian probability density func-
tion when appropriate. Recommendations [8] concern- 1 The term “non-decreasing” rather than “increasing” is
ing the manner in which this sampling can be carried used because of possible equalities among the values of yr .
out are given in Appendix C for the commonest distri-
butions, viz., the rectangular, Gaussian, t and multi- 2 A sorting algorithm taking a number of operations pro-
portional to M log M should be be used [36]. A naive al-
variate Gaussian. It is possible to sample from any
gorithm would take a time proportional to M 2 , making the
other distribution [7]. Some such distributions would computation time unnecessarily long. See Clause 6.9.
be those based on Monte Carlo results from a previous
uncertainty calculation (Clauses 4.2 and 6.5). 3 The values pr , r = 1, . . . , M , are the midpoints of M
contiguous probability intervals of width 1/M between zero
NOTE — For the results of Monte Carlo simulation to and one.
12
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
Form G(η) as the piecewise-linear function joining function g(η) for the value of Y and is taken as the esti-
the M points (y(r) , pr ), r = 1, . . . , M : mate y of the output quantity value. The standard devi-
ation u(
y ) determined from
M
1
u2 (
y) = (yr − y
)2 . (4)
M − 1 r=1
NOTES
1
M
y
= y(r) (5)
M
r=1
Figure 5 — The piecewise-linear function, form- and
u (y
) =
2
(y(r) − y
) −
2
(y(r+1) − y(r) )2 ,
Gaussian probability density function g(η) with ex- M 6
r=1 r=1
pectation 10 and standard deviation 1. (6)
1 G(η) is defined only for values of η corresponding to val- half. For a sufficiently large value of M (104 , say, or greater),
ues of probability p in the interval 1/(2M ) ≤ p ≤ 1−1/(2M ). the values obtained using Formulae (3) and (4) would gen-
Indeed, it should not be used near the endpoints of this in- erally be indistinguishable for practical purposes from those
terval, e.g., for very large coverage probabilities in the case given by (5) and (6).
of a symmetric or approximately symmetric distribution, be-
cause it is less reliable there. 2 If the standard deviation is formed directly from the M
values y1 , . . . , yM , it is important to use Formula (4) rather
2 The values of y(r) (or yr ), when assembled into a his- than the mathematically equivalent formula
togram (with suitable cell widths) form a frequency distri-
1 2
bution that, when normalized to have unit area, provides an M
M
approximation
g (η) to the probability density function g(η) u (y
) =
2
yr − y
2 .
for Y . Calculations are not generally carried out in terms of M −1 M
r=1
this histogram, the resolution of which depends on the choice
For cases in which u(y) is much smaller than |y| (in which
of cell size, but in terms of the approximation G(η) to the
case the yr have a number of leading digits in common) the
distribution function G(η). The histogram can, however, be
latter formula suffers numerically from subtractive cancella-
useful as an aid to understanding the nature of the proba-
tion (involving a mean square less a squared mean). This
bility density function, e.g., the extent of its asymmetry.
effect can be so severe that the resulting value may have
too few correct significant decimal digits for the uncertainty
3 The very small value of M used to provide G(η) in Fig- evaluation to be valid [6].
ure 5 is for purposes of illustration only.
3 In some special circumstances, such as when one of the
input quantities has been assigned a probability density func-
6.6 The estimate of the output quantity tion based on the t–distribution with fewer than three de-
value and the associated standard un- grees of freedom, and that input quantity has a dominant ef-
certainty fect, the expectation and the standard deviation of g(η) may
not exist. Formulae (5) and (6) (or Formulae (3) and (4))
will not then provide meaningful results. A coverage interval
The expectation y
of the function G(η) (Expression (2)) for the output quantity value (Clause 6.7) can, however, be
approximates the expectation of the probability density formed. See also the second Note in Section 1.
13
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
4 The value of y so obtained yields the smallest mean assigned to the output quantity value. Therefore, it is
squared deviation over all possible estimates of the output appropriate in contrasting this approach with other ap-
quantity value. However, the value will not in general agree proaches to use the shortest 100p % coverage interval
with the model evaluated at the estimates of the values of
the input quantities [GUM 4.1.4]. When the model is linear for the distributions they provide.
in the input quantities, agreement (in a practical sense) will
be achieved for a large value of M . Whether this general Figure 6 shows a distribution function G(η) for an asym-
lack of agreement is important depends on the application. metric probability density function.
The value of y, even in the limit as M → ∞, is not in gen-
eral equal to the model evaluated at the expectations of the
probability density functions for the input quantities, unless
the model is linear [GUM 4.1.4].
A value of α different from 0.025 would generally be The estimate y of the output quantity value and the end-
appropriate were the probability density function asym- points ylow and yhigh of the coverage interval Ip (Y ) =
metric. Usually the shortest Ip (Y ) is required, because [ylow , yhigh ] corresponding to the coverage probabil-
it corresponds to the best possible location of the value ity p for the output quantity value should be reported
of the output quantity Y within a specified probabil- to a number of decimal digits such that the least
ity. It is given by the value of α satisfying g(G−1 (α)) = significant digit is in the same position with respect
g(G−1 (p + α)), if g(η) is single-peaked, and in general to the decimal point as that for the standard uncer-
by the value of α such that G−1 (p + α) − G−1 (α) is a tainty u(y) [GUM 7.2.6].
minimum. If g(η) is symmetric, the shortest Ip (Y ) is
given by taking α = (1 − p)/2. NOTES
14
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
consideration should be given to whether additional digits Consider an artificial problem with a model consisting of the
are required. There might be a repercussion for the number sum of five terms:
of Monte Carlo trials (Clause 6.2).
Y = cos X1 + sin X2 + tan−1 X3 + eX4 + X5 .
1/2
(7)
As an example, suppose that it is meaningful to state Assign a Gaussian probability density function to each of
the input quantities Xi . Make M = 106 Monte Carlo tri-
u(y) = 0.03 V. als. Computation times observed for a 1 GHz Pentium 3 PC
using MATLAB [27]1) are summarized in Table 2. This infor-
Then, correspondingly, values of y and I0.95 (Y ) might mation provides a simple basis for estimating the computa-
be tion time for other models, other values of M and other PCs.
The times quoted apply to a particular PC, a particular im-
y = 1.02 V, I0.95 (Y ) = [0.98, 1.09] V. plementation, and the version of MATLAB used, and are
therefore only indicative. They do not necessarily scale well
I0.95 (Y ) is an asymmetric interval in this example. If it to other configurations.
were meaningful to report two significant digits in u(y),
Operation Time/s
the values might be
Generate 5M random Gaussian numbers 1
Form M model values 1
y = 1.024 V, u(y) = 0.028 V, Sort the M model values 3
I0.95 (Y ) = [0.983, 1.088] V. Total 5
a) Take M samples from the probability density 6.10 Adaptive Monte Carlo procedure
function for the values of each of the input quanti-
ties. A basic implementation of an adaptive Monte Carlo pro-
cedure can be described as follows. It is based on carry-
b) Make M corresponding evaluations of the model. ing out an increasing number of Monte Carlo trials until
the various quantities of interest have stabilized in a sta-
c) Sort the M resulting values into non-decreasing tistical sense. A quantity is deemed to have stabilized
order. if twice the standard deviation associated with the esti-
mate of its value is less than the degree of approximation
The time taken in Step a) is directly proportional to M .
required in the standard uncertainty u(y).
The same statement applies to Step b). The time taken
in Step c) is proportional to M log M (if an efficient sort NOTE — Typically, the more sensitive quantities are the
procedure [36] is used). endpoints of the coverage interval for the value of the out-
put quantity Y . The expectation and the standard deviation
If the model is very simple, the time in Step c) domi- as the estimate y of the output quantity value and the as-
sociated standard uncertainty u(y), respectively, generally
nates, and the overall time taken is usually a few seconds
“converge” considerably faster.
for M = 106 on a PC operating at several GHz. Oth-
erwise, let T1 be the time in seconds taken to draw one
A practical approach consists of carrying out a sequence
sample from the probability density functions for the
of Monte Carlo calculations, each containing a relatively
input quantities and T2 that to make one evaluation of
small number, say, M = 104 trials. For each Monte
the model. Then, the overall time can be taken as es-
Carlo calculation in the sequence, y, u(y) and I0.95 (Y )
sentially M ×(T1 +T2 ) s, or, if the model is complicated,
are formed from the results obtained, as in Clauses 6.6
as M T2 s. (h) (h)
and 6.7. Denote by y (h) , u(y (h) ), ylow and yhigh the
values of y, u(y) and the left- and right-hand endpoints
The computation times taken on a personal computer
of I0.95 (Y ) for the hth member of the sequence.
operating at several GHz are typically a few seconds for
simple models, seconds or perhaps a few minutes for
After the hth Monte Carlo calculation (apart from
more complicated models, and minutes or hours or even
the first) in the sequence, the arithmetic mean y
longer for very complicated models.
1) Any identification of commercial products in this Supplement
NOTE — An indication of the computation time required does not imply endorsement or that such products are best suited
for a Monte Carlo calculation can be obtained as follows. for the purpose.
15
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
of the values y (1) , . . . , y (h) and the standard devi- tive: determine whether the coverage intervals obtained
ation sy associated with this arithmetic mean are by the law of propagation of uncertainty and Monte
formed. The counterparts of these statistics for y are Carlo simulation agree to a stipulated degree of approx-
determined for u(y), ylow and yhigh . If the largest imation. This degree of approximation is assessed in
of 2sy , 2su(y) , 2sylow and 2syhigh does not exceed the de- terms of the endpoints of the coverage intervals and
gree of approximation required in u(y), the overall com- corresponds to that given by expressing the standard
putation is regarded as having stabilized. The results uncertainty u(y) to what is regarded as a meaningful
from the total number of Monte Carlo trials taken are number of significant decimal digits (cf. Clause 6.10).
then used to provide the estimate of the output quan- The procedure is as follows:
tity value, the associated standard uncertainty and the
coverage interval for the output quantity value. a) Let ndig denote the number of significant digits
regarded as meaningful in the numerical value of u(y).
Usually, ndig = 1 or ndig = 2 (Clause 6.8). Express
7 Validation of the law of propagation of the value of u(y) in the form a × 10r , where a is an
ndig -digit integer and r an integer. The comparison
uncertainty using Monte Carlo simu-
accuracy is
lation 1
δ = 10−r . (8)
2
The law of propagation of uncertainty can be expected EXAMPLES
to work well in many circumstances. However, it is
generally difficult to quantify the effects of the approx- 1 — The estimate of the output quantity value
imations involved, viz., linearization [GUM 5.1.2], the for a nominally 100 g measurement standard of
Welch-Satterthwaite formula for the effective degrees mass [GUM 7.2.2] is y = 100.021 47 g. The stan-
of freedom [GUM G.4.2] and the assumption that the dard uncertainty u(y) = 0.000 35 g. Thus, ndig = 2
and u(y) can be expressed as 35 × 10−5 g, and so a = 35
probability distribution for the output quantity value is and r = −5. Take δ = 12 × 10−5 g = 0.000 005 g.
Gaussian (i.e., that the Central Limit Theorem is appli-
cable) [GUM G.2.1, G.6.6]. Indeed, the degree of diffi- 2 — As Example 1 except that only one significant
culty of doing so would typically be considerably greater digit in u(y) is regarded as meaningful. Thus, ndig = 1
than that required to apply Monte Carlo simulation (as- and u(y) = 0.000 4 g = 4×10−4 g, giving a = 4 and r =
suming suitable software were available [8]). Therefore, −4. Thus, δ = 12 × 10−4 g = 0.000 05 g.
since these circumstances cannot readily be tested, any
cases of doubt should be validated. To this end, since 3 — u(y) = 2 K. Then, ndig = 1 and u(y) = 2×100 K,
giving a = 2 K and r = 0. Thus, δ = 21 ×100 K = 0.5 K.
the propagation of distributions is more general, it is
recommended that both the law of propagation of un-
certainty and Monte Carlo simulation be applied and the b) Compare the coverage intervals obtained by the
results compared. Should the comparison be favourable, law of propagation of uncertainty and Monte Carlo
the law of propagation of uncertainty could be used on simulation to determine whether the required num-
this occasion and for sufficiently similar problems in the ber of correct digits in the coverage interval provided
future. Otherwise, consideration could be given to using by the law of propagation of uncertainty has been ob-
Monte Carlo simulation instead. tained. Specifically, determine the quantities
16
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
17
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
Figure 7 — Approximations for the model (10), Figure 8 — The length of the 95 % coverage in-
with each Xi assigned a standard Gaussian prob- terval, as a function of the probability value at its
ability density function, to the probability density left-hand endpoint, for the approximation to the dis-
function for the output quantity value provided tribution function obtained by applying Monte Carlo
by (a) the law of propagation of uncertainty and simulation to the model (10), where each Xi is as-
(b) Monte Carlo simulation. For (b) the approxima- signed a standard Gaussian probability density func-
tion constitutes a scaled frequency distribution (his- tion.
togram) of the M = 106 values of Y . The endpoints of
the 95 % coverage interval provided by both meth-
ods are shown as vertical lines. The approximations ing 5 % and 0 %, respectively, as opposed to 2.5 %
to the probability density function are visually indis- and 2.5 %. The length of the equiprobabilistic cover-
tinguishable, as are those of the coverage intervals. age interval is 50 % greater than that of the shortest
coverage interval.
18
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
Figure 10 shows the counterpart of Figure 7 in this case. Method y u(y) 95 % CI dlow , dhigh V
By comparison with Figure 7, some modest differences LPU 0.0 10.1 [-19.9, 19.9]
between the approximations to the probability density MCS1 0.0 10.2 [-17.1, 16.8] 2.8, 3.1 No
functions can be seen. The use of the law of propagation MCS2 0.0 10.1 [-17.0, 17.0] 2.9, 2.9 No
MCS2 0.0 10.2 [-17.1, 17.0] 2.8, 2.9 No
of uncertainty overestimates the value of the probability
Table 5 — As Table 4, except that the probability
density function in the neighbourhood of the expecta-
density function for the value of the fourth input
tion and to a lesser extent in the tails. It underestimates
quantity has a standard deviation of ten rather than
its value in the flanks. The endpoints of the coverage in-
unity.
tervals provided are again almost visually indistinguish-
able, but Table 4 shows there are small differences.
The coverage interval determined on the basis of the law Figure 11 shows the approximations obtained to the
of propagation of uncertainty is in this case slightly more probability density function for the output quantity
conservative than that obtained analytically. As for value and of the endpoints of the shortest 95 % coverage
the previous example, the comparison procedure of Sec- interval for the output quantity value. The approxima-
tion 7 was applied (Columns 5 and 6 of Table 4). As be- tions have very different appearance. The dominance
fore, ndig = 2, u(y) = 20×10−1 , a = 20, r = −1 and δ = of the probability density function for the fourth input
0.05. For Monte Carlo simulation with M = 105 , the quantity is evident. To a first approximation the prob-
law of propagation of uncertainty is not validated. For ability density function for the output quantity value
one of the Monte Carlo simulations with M = 106 , resembles that of the fourth input quantity. There is,
this law is validated and for the other it is not. These however, an effect in the flanks resulting from the prob-
results emphasize the difficulty of making an absolute ability density functions for the other input quantities.
decision automatically when a stochastic process is in-
volved. The user should take account of such results The coverage interval determined on the basis of the
to decide whether they are fit for purpose. For a de- law of propagation of uncertainty in this case is more
gree of approximation of one significant digit in u(y), conservative than that obtained using Monte Carlo
for which δ = 0.5, the validation status is positive in all simulation. Again, the comparison procedure of Sec-
three cases. tion 7 was applied (Columns 5 and 6 of Table 5).
Now, ndig = 2, u(y) = 10 = 10 × 100 , a = 10, r = 0
and δ = 1/2 × 100 = 0.5. In all three cases the law of
8.1.3 Rectangularly distributed input quanti- propagation of uncertainty is not validated. For a de-
ties with different widths gree of approximation of one significant digit in u(y),
for which δ = 5, the validation status would be posi-
Consider the same example as in the previous section, tive in all three cases, the 95 % coverage intervals all
except that the fourth probability density function has being [−2 × 101 , 2 × 101 ].
a standard deviation of ten rather than unity. Table 5
contains the results obtained. NOTES
19
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
8.2.2 Calculation
8.2 Mass calibration
Let δm = mW,c − mnom be the deviation of mW,c from
8.2.1 Formulation the nominal value of mnom = 100 g. The law of propa-
gation of uncertainty [GUM 5] and Monte Carlo simula-
Consider the calibration of a weight W of mass den- tion (Section 6), with M = 105 trials, were each used to
sity ρW against a reference weight R of mass density ρR obtain an estimate δm of the output quantity value, the
having the same nominal mass using a balance operat- associated standard uncertainty u(δm), and a 95 % cov-
ing in air of mass density a [29]. Since ρW and ρR are erage interval for the output quantity value. The results
generally different it is necessary to account for buoy- obtained from these approaches are shown in rows 2
ancy effects. Applying Archimedes’ Principle, the model and 3 of Table 7. Figure 12 shows the approximations
takes the form to the probability density function for δm obtained from
the two approaches.
a a
mW 1 − = (mR + δmR ) 1 − , (11)
ρW ρR
The results show that, although the law of propagation
where δmR is the mass of a small weight of density ρR of uncertainty (first order) and Monte Carlo simulation
added to R to balance it with W. give estimates of the output quantity values in good
agreement, the values for the associated standard uncer-
Since weights are generally used in air at a density close tainty are noticeably different. The value (0.075 5 mg)
20
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
21
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
8.3 Comparison loss in microwave power with expectation (x1 , x2 )T and uncertainty matrix [7,
meter calibration p49]
8.3.1 Formulation
u2 (x1 ) r(x1 , x2 )u(x1 )u(x2 )
During the calibration of a microwave power meter, the . (16)
r(x1 , x2 )u(x1 )u(x2 ) u2 (x2 )
power meter and a standard power meter are connected
in turn to a stable signal generator. The power absorbed
by each power meter will in general be different because The evaluation of y, the associated standard uncer-
their complex-valued input voltage reflection coefficients tainty u(y), and a coverage interval for the value of Y
are not identical. The ratio Y of the power PM absorbed will be considered for choices of x1 , x2 , u(x1 ), u(x2 )
by the power meter being calibrated and that, PS , ab- and r(x1 , x2 ).
sorbed by the standard power meter is [31]
NOTE — An alternative way of evaluating y (as in
PM 1 − |ΓM |2 |1 − ΓS ΓG |2 Monte Carlo simulation) may be preferable [GUM 4.1.4] (cf.
Y = = × , (14) Clause 6.1).
PS 1 − |ΓS |2 |1 − ΓM ΓG |2
where ΓG is the voltage reflection coefficient of the signal
generator, ΓM that of the power meter being calibrated 8.3.2 Calculation: uncorrelated input quanti-
and ΓS that of the standard power meter. This power ties
ratio is an instance of “comparison loss” [1, 21]. For
physical reasons, 0 ≤ Y ≤ 1. Consider first measurements x1 = x2 = 0, with u(x1 ) =
u(x2 ) = 0.005 and r(x1 , x2 ) = 0. All quantities are
Consider the case where the standard and the sig- of dimension one The uncertainty matrix (16) reduces
nal generator are reflectionless, i.e., ΓS = ΓG = 0, to diag(u2 (x1 ), u2 (x2 )) and the corresponding distribu-
and measurements are made of the real and imaginary tion to the product of two univariate Gaussian distri-
parts X1 and X2 of ΓM = X1 + jX2 , where j 2 = −1. butions for the value of Xi , with expectation xi and
Since |ΓM |2 = X12 + X22 , Formula (14) becomes standard deviation u(xi ), for i = 1, 2. The probability
density function g(η) for the value of Y can be obtained
Y = 1 − X12 − X22 . (15) (a) analytically, (b) using the law of propagation of un-
The evaluation of uncertainty for this model can be certainty with second-order terms, and (c) by Monte
treated (a) analytically (at least in one instance), (b) by Carlo simulation. The reason that the law of propa-
applying the law of propagation of uncertainty [GUM 5], gation of uncertainty with second-order terms must be
or (c) by using Monte Carlo simulation as an implemen- used is that the partial derivatives ∂Y /∂X1 and ∂Y /∂X2
tation of the propagation of distributions (Section 6). evaluated at X1 = x1 and X2 = x2 are identically zero
when x1 = x2 = 0. Thus, if the law of propagation
NOTE — All three approaches presented do not constrain of uncertainty with first-order terms only were applied,
the probability density function for Y to take positive values. the resulting standard uncertainty would incorrectly be
However, for sufficiently small uncertainties associated with computed as zero.
the estimates of the values of X1 and X2 , the probability
density function for Y may adequately be approximated by
a simpler probability density function defined over all val- The analytic derivation (a) is given in Appendix D.1.
ues less than unity. A rigorous treatment, using Bayesian The application of the law of propagation of uncer-
inference [39], that applies regardless of the magnitudes of tainty (b) is given in Appendix D.2.1. For (c), M = 105
the uncertainties, is possible, but beyond the scope of this trials were made. Figure 13 shows the probability den-
Supplement. sity functions provided by (a), (b) and (c).
Given estimates x1 and x2 , respectively, of the values It is seen in the figure that the use of the law of propa-
of X1 and X2 from measurement, the corresponding gation of uncertainty with second-order terms to assign
value a Gaussian distribution for the output quantity value
y = 1 − x21 − x22 yields a probability density function that is very dif-
of Y is formed [GUM 4.1.4] as the estimate of the out- ferent from the analytic solution. The latter in fact
put quantity value. x1 and x2 are often correlated takes the form of a particular χ2 -distribution—the sum
in practice, with an associated covariance u(x1 , x2 ). of squares of two Gaussian variables (Appendix D.1).
Equivalently [GUM 5.2.2], this covariance is u(x1 , x2 ) = The Gaussian distribution so determined is in a sense
r(x1 , x2 )u(x1 )u(x2 ), where r(x1 , x2 ) denotes the associ- the best in this case that is possible using the law of
ated correlation coefficient [GUM 5.2.2]. The measure- propagation of uncertainty to assign such a distribution
ments are such that the value of ΓM is assigned a bivari- to the output quantity value: since the partial deriva-
ate Gaussian probability density function in X1 and X2 tives of order higher than two are all identically zero,
22
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
the solution obtained essentially corresponds to taking ues in this table relate to 1 − Y rather than Y in order
all Taylor-series terms into account, i.e., the “full non- to show better their departures from unity. Clearly the
linearity” of the problem. It can therefore be concluded value of 1 − y = 0 obtained by evaluating the model at
that the reason for the departure from the analytical so- the input estimates is invalid: the correct (analytic) g(η)
lution of the results of the use of the approach based on is identically zero for Y > 1; this value lies on the bound-
the law of propagation of uncertainty is that a Gaussian ary of the nonzero part of that function. The value from
probability density function is assigned to the output Monte Carlo simulation agrees with that obtained an-
quantity value. Evidently, no Gaussian probability den- alytically. The remaining four entries in the row are
sity function, however it is obtained, could adequately values for u(y) obtained analytically, from the law of
represent the analytical solution in this case. propagation of uncertainty based on linear and on lin-
ear plus higher-order terms, and from Monte Carlo sim-
ulation. The law of propagation of uncertainty based
on linear terms gives the wrong, zero, value already
noted. The value (500) from the law of propagation
of uncertainty based on higher-order terms agrees with
that obtained analytically. The value (502) provided by
Monte Carlo simulation agrees closely with the analyti-
cal value (500). When the Monte Carlo simulation was
repeated several times the values obtained were scat-
tered about 500. When Monte Carlo simulation was re-
peated a number of times with a larger value of M the
values were again scattered about 500, but with a re-
duced dispersion. (Such dispersion effects are expected
from theoretical considerations (Clause 6.1) and were
seen for the other Monte Carlo simulation calculations
made.)
Figure 13 — Results for the model of compari-
son loss in power meter calibration in the case x1 = Figure 13 also shows the coverage intervals I0.95 (Y )
x2 = 0, with u(x1 ) = u(x2 ) = 0.005 and r(x1 , x2 ) = 0. for the corresponding approximations to g(η).
The probability density functions shown are (a) de- Clearly, I0.95 (Y ) (indicated by broken vertical lines)
termined analytically (the exponentially increasing as provided by the law of propagation of uncertainty
curve for Y < 1 and zero for Y ≥ 1), (b) provided by is unreasonable: it is symmetric about Y = 1 and
the use of the law of propagation of uncertainty with therefore erroneously implies there is a 50 % probability
second-order terms to assign a Gaussian probability that the output quantity value is greater than unity.
density function to the output quantity value (bell-
shaped curve), and (c) provided by Monte Carlo sim- The above calculations were then repeated, but with
ulation (scaled frequency distribution) using 105 tri- (a) x1 = 0.01 (Figure 14) and (b) x1 = 0.05 (Figure 15),
als. The broken vertical lines denote the endpoints of in order to investigate the manner in which the solution
the shortest 95 % coverage interval I0.95 (Y ) as derived obtained using the law of propagation of uncertainty
from the Gaussian probability density function pro- departs from that provided by the propagation of dis-
vided by the law of propagation of uncertainty. The tributions (through Monte Carlo simulation) when x1
solid vertical lines are those derived from the ana- deviates (a) a little and (b) appreciably from zero. The
lytical solution, as described in Appendix D.1. The two figures show the results obtained using the law of
endpoints of I0.95 (Y ) determined from Monte Carlo propagation of uncertainty with first-order terms only
simulation are indistinguishable to graphical accu- and with higher-order terms.
racy from those for the analytical solution.
As x1 becomes increasingly removed from zero, the re-
sults given by the law of propagation of uncertainty,
It is also seen in Figure 13 that the solution provided by with first-order and with higher-order terms, and those
Monte Carlo simulation is consistent with the analytical for Monte Carlo simulation become closer to each other.
solution, at least to visual accuracy. Because of the symmetry of the model in X1 and X2 ,
exactly the same effect would occur were x2 used in
The estimate y of the output quantity value obtained place of x1 . For x1 = 0.01 the probability density func-
from the expectation of the χ2 -distribution, the law of tion provided by Monte Carlo simulation is starting to
propagation of uncertainty as above, and Monte Carlo exhibit a right-hand tail, although it is “truncated” at
simulation are the second, third and fourth entries of unity, the largest possible value of the output quantity.
the row immediately below the heading in Table 9. Val- Further, it is closer in form to the Gaussian probability
23
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
24
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
density functions provided by the law of propagation of above values x1 = 0.01 and x1 = 0.05, except that an
uncertainty. These Gaussian probability density func- analytic solution was not attempted for x1 > 0.
tions are in turn reasonably close to each other, having
expectations of 1 − 1.0 × 10−4 and 1 − 1.5 × 10−4 and
standard deviations of 1.0 × 10−4 and 1.1 × 10−4 . 8.3.3 Calculation: correlated input quantities
Figure 14, for x1 = 0.01, also shows the endpoints Consider measurements x1 = 0, 0.01 and 0.05, x2 = 0,
of I0.95 (Y ) as obtained by the three approaches. The with u(x1 ) = u(x2 ) = 0.005 and r(x1 , x2 ) = 0.9. ΓM ,
intervals provided by the law of propagation of uncer- the voltage reflection coefficient of the power meter be-
tainty are shifted to the right compared with I0.95 (Y ) for ing calibrated, is assigned a bivariate Gaussian proba-
Monte Carlo simulation. As a consequence they again bility density function for the values of X1 and X2 with
include infeasible values of Y . The shift is about 70 % expectation (x1 , 0)T and uncertainty matrix (16)
of the standard uncertainty. The interval provided by
0.0052 0.9 × 0.0052
Monte Carlo simulation has its right-hand endpoint at . (17)
0.9 × 0.0052 0.0052
unity, the largest feasible value.
The probability density function g(η) for the value of Y
Figure 15, for x1 = 0.05, shows similar information. can be obtained (a) using the law of propagation of un-
Now, however, the probability density functions pro- certainty with first-order terms, and (b) by Monte Carlo
vided by both implementations of the law of propagation simulation. The law of propagation of uncertainty with
of uncertainty are virtually indistinguishable from each second-order terms for the case of mutually dependent
other (a slight “thickening of the curve” at the peak is in- input quantities is not treated in the GUM and is not
dicative of a region where visually there is a discernible considered here.
difference). Further, they are now much closer to the
approximation to the probability density function pro- The basis of the calculations required to implement for
vided by Monte Carlo simulation. The latter exhibits the model (15) the law of propagation of uncertainty
a slight skewness, as evidenced in the tail regions. The with first-order terms and mutually dependent input
coverage intervals provided by the two variants of the quantities is given in Appendix D.2.2. The standard un-
law of propagation of uncertainty are visually almost certainty u(y) is evaluated from Expression (21) which,
identical, but still shifted from those for Monte Carlo since x2 = 0, reduces to
simulation. The shift is now about 10 % of the stan-
dard uncertainty. The intervals provided by the law of u2 (y) = 4x21 u2 (x1 ).
propagation of uncertainty are now feasible.
Consequently, the standard uncertainty does not depend
NOTES on the value of r(x1 , x2 ) and the law of propagation of
uncertainty with first-order terms gives identical results
1 One reason why the law of propagation of uncertainty to those presented in Appendix D.2.1. In particular,
with first-order terms (only) might be used in practice is for the case x1 = 0, the standard uncertainty u(y) is
that software for its implementation is readily available: re- computed as zero, as in Subclause 8.3.2.
sults obtained from it might sometimes be accepted without
question. For the case where x1 = x2 = 0 (Figure 13),
the danger would be apparent because the standard uncer- To implement Monte Carlo simulation (b) it is necessary
tainty u(y) was computed as zero, and consequently any cov- to sample randomly from a bivariate Gaussian proba-
erage interval for Y would be of zero length for any coverage bility density function with given expectation and un-
probability. For x1 = 0 (or x2 = 0), u(y) and the length of certainty matrix. The procedure in Appendix C.5 was
the coverage interval for Y are both finite, so no such warning
would be available without prior knowledge of likely values. used. Results are obtained here for M = 105 trials.
Thus, a danger in implementing software based on the law
of propagation of uncertainty for these calculations is that NOTE — Apart from the requirement to sample from a mul-
checks of the software for x1 or x2 sufficiently far from zero tivariate distribution, the implementation of Monte Carlo
would not indicate obvious problems, although when used simulation for mutually dependent input quantities is no
subsequently in practice for small values of these quantities more complicated than when the input quantities are mu-
the results would be invalid, but conceivably unwittingly ac- tually independent (Subclause 8.3.2).
cepted.
Table 10 contains the results obtained from the the two
2 The values x1 = x2 = 0 lie in the centre of the region approaches in the cases x1 = 0, 0.01 and 0.05. The
of interest to the electrical engineer and thus in no sense results obtained from the law of propagation of uncer-
constitute an “extreme case” in practice. tainty using first-order terms are identical to those given
in Table 9. The results obtained from Monte Carlo sim-
The last two rows of Table 9 show the counterparts of ulation indicate that although the output estimate y is
the quantities in the previous row that apply for the unaffected by the correlation between input quantities,
25
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
26
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
[3] BIPM, IEC, IFCC, ISO, IUPAC, IUPAP, and [18] I. D. Hill and B. A. Wichmann. Algorithm AS183.
OIML. Guide to the Expression of Uncertainty in An efficient and portable pseudo-random number gen-
Measurement, 1995. ISBN 92-67-10188-9, Corrected erator. Appl. Statist., 31:188–190, 1982.
and reprinted.
[19] ISO. ISO Guide 35 - Certification of reference ma-
[4] BIPM and IEC and IFCC and ISO and IUPAC and terials - general and statistical principles, 1989. Inter-
IUPAP and OIML. International Vocabulary of Basic national Standards Organization, Geneva.
and General Terms in Metrology, 1993.
[20] ISO. ISO 3534-1:1993. Statistics - Vocabulary and
[5] G. E. P. Box and M. Muller. A note on the gener- symbols - Part 1: Probability and general statistical
ation of random normal variates. Ann. Math. Statist., terms, 1993. International Standards Organization,
29:610–611, 1958. Geneva.
[6] M. G. Cox, M. P. Dainton, and P. M. Harris. Test- [21] D. M. Kerns and R. W. Beatty. Basic Theory
ing spreadsheets and other packages used in metrol- of Waveguide Junctions and Introductory Microwave
ogy. Testing functions for the calculation of standard Network Analysis. Pergamon Press, London, 1967.
deviation. Technical Report CMSC 07/00, National
Physical Laboratory, Teddington, UK, 2000. [22] A. Kinderman, J. Monahan, and J. Ramage.
Computer methods for sampling from Student’s t-
[7] M. G. Cox, M. P. Dainton, and P. M. Harris. Best distribution. Math. Comput, 31:1009–1018, 1977.
Practice Guide No. 6. Uncertainty and statistical mod-
elling. Technical report, National Physical Laboratory, [23] D. E. Knuth. The Art of Computer Programming,
Teddington, UK, 2001. Vol. 2: Semi-numerical algorithms. Addison-Wesley,
Reading, Ma., USA, 1981.
[8] M. G. Cox, M. P. Dainton, and P. M. Harris. Soft-
ware specifications for uncertainty evaluation and as- [24] J. Leydold. Automatic sampling with the ratio-of-
sociated statistical analysis. Technical Report CMSC uniforms method. ACM Trans. Math. Software, 26:78–
10/01, National Physical Laboratory, Teddington, UK, 98, 2000.
2001.
[25] G. Marsaglia. A current view of random number
[9] M. G. Cox, M. P. Dainton, P. M. Harris, and N. M. generators. In Computer Science and Statistics: The
Ridler. The evaluation of uncertainties in the analysis Interface, Amsterdam, 1985. Elsevier.
of calibration data. In Proceedings of the 16th IEEE
Instrumentation and Measurement Technology Confer- [26] G. Marsaglia and A. Zaman. The KISS generator.
ence, pages 1093–1098, Venice, 24-26 May 1999, 1999. Technical report, Department of Statistics, University
of Florida, USA, 1993.
[10] T.J. Dekker. Finding a zero by means of succes-
sive linear interpolation. In B. Dejon and P. Henrici, [27] The MathWorks. Matlab User’s Manual. Math-
editors, Constructive Aspects of the Fundamental The- Works Inc., Natick, Mass., USA, 1992.
orem of Algebra, London, 1969. Wiley Interscience.
[28] M. McCoy. A review on random number gener-
[11] L. Devroye. Non-Uniform Random Number Gener- ation and methods for generating normal distribu-
ation. Springer, New York, 1986. tions. Technical Report 113/2000, National Engineer-
ing Laboratory, UK, 2000.
[12] C. F. Dietrich. Uncertainty, Calibration and Prob-
ability. Adam Hilger, Bristol, UK, 1991. [29] OIML. Conventional value of the result of weighing
in air. Technical Report R 33 - EN, Bureau Interna-
[13] EA. Expression of the uncertainty of measurement tional de Métrologie Légale, Paris, 1979.
in calibration. Technical Report EA-4/02, European
Co-operation for Accreditation, 1999. [30] J. R. Rice. Mathematical Statistics and Data Anal-
ysis. Duxbury Press, Belmont, Ca., USA, second edi-
[14] EA. Expression of the uncertainty of measurement tion, 1995.
in calibration. Technical Report EA-4/02, European
Co-operation for Accreditation, 1999. [31] N. M. Ridler and M. J. Salter. Propagating S–
parameter uncertainties to other measurement quan-
[15] G. S. Fisher. Monte Carlo. Springer-Verlag, New tities. In 58th ARFTG (Automatic RF Techniques
York, 1996. Group) Conference Digest, 2001.
27
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
28
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
29
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
B Sensitivity coefficients
30
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
C Sampling from probability distribu- sure of the pedigree of a rectangular generator it should
tions not be used until adequate testing has been carried out.
Invalid results can otherwise be obtained. Some of the
This appendix provides some technical information con- “tests for randomness” that should be undertaken are
cerning sampling from probability distributions. Such indicated below. A recommended rectangular genera-
sampling forms a central part of the use of Monte Carlo tor, that has been shown to perform well in these tests
simulation as an implementation of the propagation of and that is straightforward to implement, is given in this
distributions for uncertainty evaluation. appendix.
31
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
NOTES
NOTE — KISS is an acronym for Keep It Simple, Stupid! c) Form iC = 170iC mod 30323
32
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
33
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
34
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
D The comparison loss problem for any p satisfying 0 ≤ p ≤ 0.05. The shortest I0.95 (Y )
is given by the value of p that minimizes H(p) ≡
D.1 The analytic solution for a zero value G−1 (p+0.95)−G−1 (p). Let yp be the value of Y in (18)
of the voltage reflection coefficient corresponding to G(η) = p. Simple algebra gives
g(η) = exp(−(1 − η)/(2u2 (x1 )))/(2u2 (x1 )), η ≤ 1. NOTE — The above analysis is indicative of an analytic
approach that can be applied to some problems of this type.
The expectation is straightforwardly shown to be In this particular case, the results could in fact have been
1 obtained more directly, based on the observation that g(η) is
monotonically increasing and using the fact that the shortest
E(η) = ηg(η)dη = 1 − 2u2 (x1 ) coverage interval is always in the region of highest density.
−∞
35
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
y = 1 − x21 − x22
u2 (y) = 4x21 u2 (x1 ) + 4x22 u2 (x2 ) + 4u2 (x1 )u2 (x2 ). (20)
y ± 2u(y),
36
JCGM-WG1-SC1-N10
Index
associated standard uncertainty, see §3 Monte Carlo simulation, 2, see §4.2, see §5, see §6, see
§6.5, see §6.4, see §6.3, see §6.2, see §6.5, see
best estimate, 2, see §B §6.10, see §6.9, see §7, see §8, see §8.1.1, see
of input quantity value, see §1, see §3, see §8.1.1, §8.1.3, see §8.1.2, see §8.2.2, see §8.1.3, see
see §8.1.2, see §B §8.2.2, see §8.3.2, see §8.3.1, see §8.3.2, see
of output quantity value, see §1, see §2, see §3, see §8.3.3, see §8.3.2, see §8.3.3, see §A, see §B,
§6.6, see §6.10, see §7, see §D.2.1 see §C, see §C.2.1, see §C.4
adaptive procedure for, see §6.10
Central Limit Theorem, see §2, see §1, see §6, see §7, computation time for, see §6.9
see §8.1.3 number of trials, see §6.2, see §6.10, see §6.8, see
correlated input quantities, see §D.2.2 §6.10
correlation coefficient between best estimates, see
§8.3.1 partial derivative, see §1, see §3, see §8.2.2, see §8.3.2,
covariances of best estimates, see §3, see §8.3.1 see §D.2.1
coverage probability density function, 2, see §2, see §1, see §3,
factor, see §6.7, see §8.1.1, see §8.1.3 see §4, see §3, see §4.2, see §5, see §6, see §5,
interval, 2, see §1, see §2, see §3, see §6, see §6.2, see §6.4, see §6.3, see §6.5, see §6.7, see §6.9,
see §6.6, see §6.7, see §6.8, see §6.10, see §7, see §8.1.1, see §8.1, see §8.1.1, see §8.1.2, see
see §8.1.1, see §8.1.3, see §8.1.2, see §8.2.2, §8.1.3, see §8.1.2, see §8.2.2, see §8.2.1, see
see §8.1.3, see §8.2.2, see §8.3.1, see §8.3.2, see §8.1.3, see §8.2.2, see §8.3.2, see §8.3.1, see
§8.3.3, see §A, see §C.4, see §D, see §D.2.1 §8.3.2, see §8.3.3, see §8.3.2, see §8.3.3, see
probability, see §1, see §3, see §6, see §6.2, see §6.7, §B, see §C.1, see §C.4, see §D, see §D.2.1
see §6.8, see §7, see §8.2.2, see §8.3.2 assigned to input quantity value, see §1, see §3, see
§4.1, see §4, see §5, see §6, see §6.3, see §6.6,
degree of belief, 2 see §6.9, see §8, see §C.4
degrees of freedom, see §1, see §3, see §4.1, see §6.2, asymmetric, 2, see §1, see §6.7, see §8.1.1
see §6.6, 33, see §C.4, 35, see §D expectation of, see §1, see §3, 8, see §4.2, see §6, see
effective, 3, see §3 §6.5, see §6.6, see §8.1, see §8.1.2, see §8.3.2
distribution for output quantity value, approximation of, 2, see
Cauchy, see §1 §1, see §3, see §6.2, see §8.1.1, see §8.1.3, see
frequency, 2, see §6.5, see §8.1.1, see §8.2.2, see §8.2.2
§8.3.2, see §8.3.3 joint, see §1, see §3, see §6
function, see §2, see §4, see §4.2, see §6, 11, see sampling from, see §6, see §8.1.1
§6.5, see §6.6, see §6.7, see §8.1.1 standard deviation of, see §1, see §3, see §4.2, see
Gaussian, see §6.3, see §8.2.1, see §8.3.2, 32, see §6.5, see §8.1, see §8.1.2, see §8.1.3, see §8.1.2,
§C.3, 33, see §C.5, see §C.4 see §8.3.2, see §B
multivariate Gaussian, see §6.3, see §C.5 symmetric, see §8.1.1
normal, see §8.1.1, see §A, 32 probability distribution
rectangular, see §6.3, see §8.1.2, see §8.1.3, see analytical propagation of, see §8.3.2
§8.2.1, 31, see §C.1, see §C.2 propagation of, 2, see §1, see §4, 8, see §5, see §6,
sampling from Gaussian, see §8.3.3, see §C.5 see §7
Student’s-t, see §C.4 propagation of uncertainty
law of, 2, see §1, see §2, see §1, see §3, see §4, see
expectation, see §3 §5, see §6.4, see §6.7, see §7, see §8, see §8.1.1,
see §8.1.2, see §8.2.2, see §8.3.2, see §8.3.1, see
input quantities §8.3.2, see §8.3.3, see §8.3.2, see §8.3.3
mutually dependent, see §1, see §3, see §6, see validation of law of, see §1, see §3, see §5, see §7,
§8.3.3, see §D.2.2 see §8, see §8.1.1, see §8.1.3, see §8.1.2, see
mutually independent, see §1, see §6, see §8.2.1, §8.2.2
see §8.3.3
random numbers, see §C.2.1, see §C.2
measurement model pseudo, see §C.2.1, see §C.2, see §C.2.2, see §C.5
calibration of mass standards, see §8.2.1 rectangular number generator
calibration of microwave power meter, see §D.2.1 quality of, see §C.2
model, see §3 randomness test of generator, see §C.2
37
JCGM-WG1-SC1-N10
Supplement 1. 2004-03-16 : 2004
38