Determining the covariance matrix for a nonlinear implicit multivariate measurement equation uncertainty analysis

. The application of the Guide to the Expression of Uncertainty in Measurement (GUM) for multivariate measurand equations requires an expected vector value and a corresponding covariance matrix in order to accurately calculate measurement uncertainties for models that involve correlation effects. Typically in scienti ﬁ c metrology applications the covariance matrix is estimated from Monte Carlo numerical simulations with the assumption of a Gaussian joint probability density function, however this procedure is often times considered too complex or cumbersome for many practicing metrologists in industrial metrology calibration laboratories, and as a result a problem which occurs is that correlation effects are frequently omitted so that uncertainties are approximated through a simple root-sum-square of uncertainties which leads to inaccuracies of measurement uncertainties. In this paper, a general purpose deterministic approach is developed using a computer algebra system (CAS) approach that avoids the need for Monte Carlo simulations in order to analytically construct the covariance matrix for arbitrary nonlinear implicit multivariate measurement models. An illustrative example for a multivariate Sakuma-Hattori pyrometer equation with the proposed method is demonstrated with explanations of underlying Python code.


Introduction 1.Research motivation
The original Guide to the Expression of Uncertainty in Measurement that is commonly simply abbreviated as the GUM [1] has largely replaced the earlier Kline & McClintock uncertainty analysis technique [2] that has historically been utilized in many engineering research and applications work.It achieves this by focusing on explicit univariate measurand models of the form Y = f (X 1 , … , X N ), or equivalently Y = f (X) with X = [X 1 , … , X N ] T ∈ ℝ N , where X 1 , … , X N are known scalar inputs with corresponding uncertainty information inclusive of possible covariances Cov(X i X j ) for i ≠ j and i, j = 1, … , N, and where Y is a single scalar output with an unknown uncertainty.This uncertainty method is utilized in order to determine the combined standard uncertainty u c (Y) and corresponding expanded uncertainty U(Y) = k p ⋅ u(Y) for Y under certain limiting assumptions where k p is a suitable coverage factor for a specified confidence level p.
Initially the validity assumptions associated with the GUM were mainly restricted to three conditions, namely (i) the necessity for specifying a linearisation of f (X) in a small local neighbourhood of X ∈ ℝ N that would specify a domain for which u(Y) is valid, (ii) the assumption of Gaussian uncertainties u(X i ) for the inputs such that x i ∼ Nðm i ; s 2 i Þ where m i and s 2 i are corresponding equivalent expected and variance values for X i for i = 1, … , N using standard statistical transformations to convert a non-Gaussian probability density function (PDF) such as rectangular or triangular PDFs to equivalent Gaussian PDFs and where x i is a random variable corresponding to X i , and (iii) the validity of the Welch-Satterthwaite formula for estimating an effective degrees-of-freedom v eff in order to obtain a suitable coverage factor k p to calculate expanded uncertainties and corresponding confidence intervals for specified confidence levels in cases where a correlation in the inputs were present such that Cov(X i , X j ) ≠ 0 for i, j = 1, … , N.
For the original GUM method the PDF for Y is g Y (y) where y is a random variable associated with Y such that y ∼ g Y (y) and this PDF is obtained by using the Welch-Satterthwaite formula such that g Y (y) is approximated as a Student's t-distribution using v eff .As a result, the key simplicity for performing uncertainty calculations for u(Y) with an explicit univariate model Y = f (X) is that the uncertainty may in principle be fully accomplished analytically without any need for advanced numerical simulations.
Following the adoption of the GUM a GUM Supplement 1 [3] was introduced that extended the original validity assumptions to models for (a) implicit univariate equations of the form h(Y, X) = 0, and (b) models in which the input PDFs did not follow a normal distribution.With this new development general and possibly non-Gaussian joint PDFs for the input PDFs x ∼ g x (j) and output PDF y ∼ g Y (h) were now possible to model correlations in the inputs and non-Gaussian behaviour for both the inputs and outputs.A key achievement of the GUM Supplement 1 is that it officially introduced the metrology community to the use of the Monte Carlo method as an advanced uncertainty analysis technique where as previous earlier uncertainty analysis work was almost wholly analytical based.This then allowed metrologists to investigate underlying measurement systems without any limiting validity assumptions.Consequently newer theoretical techniques for reporting univariate measurement uncertainties that were non-Gaussian were then developed by Willink [4] using quantile functions, and this was later applied by Ramnath [5] in practical engineering applications.
Multivariate uncertainty analysis frameworks were then subsequently published in the GUM Supplement 2 [6] which further extended the underlying GUM uncertainty framework approach for models for both explicit equations as well as implicit equations, and again allowed for the possibility of non-Gaussian PDFs for both inputs as well as outputs.
An explicit multivariate equation of the form has an known input X = [X 1 , … , X N ] T of nominal values with an associated joint PDF g X (j) to model the input uncertainty that is introduced into the model in order to work out the output Y = [y 1 , … , y m ] T and its associated joint PDF g Y (h).Although the output uncertainty may or may not be a multivariate Gaussian PDF within the GUM framework the unknown output uncertainty is specifically modelled as a multivariate Gaussian PDF for which an output covariance matrix U Y ensures mathematical closure.The output uncertainty u(Y) is formally defined in terms of the matrix equation For the above equations the matrices are specified as Referring to the above system of equations it may be seen that the sensitivity matrix C x may be conveniently and explicitly obtained by calculating the partial derivatives ∂f i ∂x j for i = 1, … , m and for j = 1, … , N respectively and evaluating the expressions at X = x for a specified value of the random variable x, and that the covariance matrix for Y i.e. the uncertainty u(Y) may then be directly calculated through an explicit matrix equation by a simple matrix multiplication once U x and C x are determined in order to give the corresponding uncertainty for y that satisfies Y = f (X).As an example if calculations are performed in Matlab or Gnu Octave as discussed by Hansen [7] the matrix equation for U y may be simply calculated as a one line of code as As a result it may be observed that in the case of a general multivariate explicit model Y = f (X) that the uncertainty analysis approach is conceptually straightforward, and that there is no need for any further advanced numerical simulation in order to obtain the covariance matrix U y .
Special techniques for determining the covariance matrix C Y ¼ u 2 ðaÞ Covða; bÞ Covða; bÞ u 2 ðbÞ ! of a linear multivariate explicit model in the special case of a straight line y = ax + b with inputs x i and outputs y i for data-points i = 1, 2, … , N modelled as a multivariate regression equation in order to determine the uncertainties of the parameters has been reported earlier by Ramnath [8].In this work the research objective was to calculate the uncertainty of y at a specified value of x with the formula the uncertainty u(Y) may now be obtained from the covariance matrix U y that is specified from the matrix equation In the above equation the input sensitivity matrix C x is of dimension m Â N with matrix elements C ij defined as ∂X j where i = 1, … , m and j = 1, … , N, whilst the output sensitivity matrix C y is of dimension m Â m with matrix elements C ℓk defined as Referring to the above uncertainty analysis equation it may be observed that there is no simple or direct analytical approach to solve for the unknown covariance matrix U y , and this observation provides the research motivation to investigate and develop a method that may be used to analytically construct the covariance matrix without recourse to more complex stochastic numerical techniques such as Monte Carlo simulations which are computationally expensive and require specialist techniques to postprocess as reported by Ramnath [9].A key simplification that is achieved if a covariance matrix is calculated is that a multivariate measurement uncertainty is completely encapsulated within this matrix and the distribution function may simply be taken as a multivariate Gaussian distribution.
In scientific metrology applications the Monte Carlo method as a stochastic technique is generally preferred to solve for the output covariance matrix U Y due to the lack of a convenient and quick method for the solution of the matrix equation x .This is formally achieved as an application of the GUM Supplement 2 by solving the Markov formula that specifies a convolution integral of the form In the above equation d(⋅) is the Dirac delta function as discussed by Cox & Siebert [10] and the Markov formula may be used in the most general case in order to numerically estimate U y by post-processing the Monte Carlo data V Y .
Implementing this theoretical stochastic approach in scientific metrology applications such as applied engineering problems as reported by Ramnath [11] whilst feasible, is nevertheless an approach that demands the use of advanced software engineering considerations for sequentially estimating the covariance matrix and confidence region as discussed Harris and Cox [12], and is thus frequently too complex an undertaking for many metrologists within industry that do not have access to the requisite specialist mathematical and statistical training.
Due to these technical observations in the absence of full Monte Carlo simulations, many metrologists often do not correctly quantitatively account for input and output correlation effects in multivariate implicit model uncertainty analysis problems.

Research objective
Motivated by the above problem formulation the research objective in this paper is to develop an approach to solve for the unknown covariance matrix U Y in a nonlinear implicit multivariate measurement equation h(Y, X) = 0 by analytical calculations to reduce and minimize the need for unnecessarily complicated numerical techniques that may not be accessible to metrology practitioners working in calibration laboratories within the industrial metrology field.
In this paper, to accomplish this research goal a general purpose algebraic approach is investigated in order to develop a method that avoids Monte Carlo simulations by instead directly analytically constructing the output covariance matrix for arbitrary nonlinear implicit multivariate measurement models.Results of the proposed method will be utilized to validate and verify the proposed method's feasibility by using a three-dimensional vector measurement equation model based on a Sakuma-Hattori pyrometry equation where the temperature-signal has the form The objective of this paper is to determine the covariance matrix for the parameters A, B and C in the equation When the above covariance matrix is determined it may then conveniently be used in the corresponding inverse signal equation for the temperature to conveniently calculate the temperature uncertainty u(T) when the uncertainty in the signal u(S) is specified.The practical utility of determining a calibrated pyrometer's Sakuma-Hattori equation parameter expected values and covariances is that many national measurement laboratories that maintain their respective country's national high temperature radiation thermometry scale from 600°C to about 2000°C use this particular equation to completely calibrate and characterize their respective pyrometer standards.When such a pyrometer laboratory standard is calibrated by determining the underlying covariance matrix for the instrument all the relevant uncertainty information is then fully quantified, so that the pyrometer may then be used to uniquely determine measured high temperatures at the highest possible accuracy levels.
In practical terms such a pyrometer standard when characterized with a covariance matrix may then be used to measure the true temperature T BB of a Variable Temperature High Temperature Blackbody (VTHTBB).The resulting blackbody temperature source may then be used as a transfer medium to in turn calibrate a client pyrometer from industry to give a Unit Under Test (UUT) measured value T UUT .The true temperature of the VTHTBB is subtracted from the measured client pyrometer temperature to give a UUT error e UUT = T UUT À T BB which may then be used to compensate the UUT measurements to produce a true temperature.Consequently, in this measurement traceability scheme every client pyrometer within a particular country that is used in industries such as steel fabrication, manufacturing, energy production and materials processing amongst others that is calibrated with pyrometry measurements traceable to a particular country's national measurement high temperature scale, is ultimately dependent on the determined covariance matrix of that country's pyrometer standard.
This particular traceability scheme is also applicable in other measurement instruments such as pressure balances, mass transducers, and flow rate meters amongst other physical laboratory instruments in national measurement laboratories and commercial industrial calibration laboratories.The result is that all measurement instrument results and accuracies within industry and the engineering sector are ultimately characterized by a national measurement laboratory's specific measurement instrument covariance matrix.
2 Literature review

Overview of existing statistical approaches
Earlier work by Warsza and Puchalski [13] to study the effect of correlations in multivariate measurement models only considered an explicit equation of the form An example of a multivariate measurement equation is the case of a multi-parameter digital multimeter which is a single instrument that can measure voltage V meas = Y 1 , current I meas = Y 2 and resistance R meas = Y 3 based on input standards of resistance R source = X 1 and voltage V source = X 2 .The inputs X 1 and X 2 by necessity include both nominal expected values of these quantities as well as any correlation Cov(X 1 , X 2 ) in these inputs for statistical completeness.When implemented in a model Y = F(X) the underlying input uncertainty U X will be logically carried through into the measurement mathematical model to produce both the nominal expected values Y 1 , Y 2 and Y 3 as well as their corresponding uncertainties.Covariances conveniently model the output uncertainties and are defined by the terms and Var(Y 3 , Y 3 ) are located on the diagonal elements of the U Y matrix.In this work the multivariate uncertainty of the output was approximated as DY ≈ ∂FðXÞ ∂X ≡ SðXÞ⋅ DXðXÞ where the elements of the sensitivity matrix S ji ¼ ∂y i ∂x i of dimension m Â N propagate the output uncertainty as U Y = S ⋅ U X ⋅ S T and the input and output matrices are The key observation is that in the special case of an explicit multivariate model that the sensitivity matrix S may be analytically determined through simple partial derivatives, and if the output Y is further processed through an equation Z = G(Y) then the covariance will again be carried through such that the covariance matrix for Z is then The disadvantage of this approach is that it cannot be readily applied to implicit multivariate measurement equations for which no algebraic solution exists and this presents a research gap in determining the covariance matrix.
A practical measurement traceability chain that illustrates how the effect of covariances are propagated is shown in Figure 1 where a national metrology institute (NMI) for a country has a set of apex measurement standards that are used to calibrate a national laboratory standard that is then in turn used to calibrate an instrument from industry and in this way the information in the covariance matrix is propagated to every instrument in industry within that country using a two-stage process as later discussed by Forbes [14].
This measurement traceability scheme by international measurement conventions also applies in pyrometry calibration practice where a national laboratory typically has a set of three reference temperature measurements, such as fixed point reference blackbodies that provide known thermal radiance sources for the silver, copper and gold freezing temperatures, which are used to calibrate a national laboratory's pyrometer standard.This national laboratory pyrometry standard in turn is completely characterized by a measurement equation such as a Sakuma-Hattori equation set of parameter values and parameter covariances that completely and uniquely defines the laboratory standards measurement performance.When the national laboratory pyrometer standard for a particular country is then used to calibrate client pyrometers from industry every radiation thermometry measurement in that country be it in the manufacturing, energy production or materials processing sectors of that country that uses high temperature measurements are ultimately traceable to and affected by the covariance matrix for the national laboratory standard which must be determined and quantified in order to provide credible and accurate measurement traceability.
As reported by van der Heen and Cox [15] sometimes national measurement laboratories may omit or ignore correlations because it is either too difficult to compute or for other reasons and this omission can lead to poor measurement decisions or logical absurdities when determining measurement results and equivalences such as in key comparison reference values (KCRVs) which are used to produce national laboratory standards.
The above scientific metrology approaches are fundamentally based on the GUM and GUM supplements, and although they may appear similar to uncertainty analysis in other areas of physics and engineering certain differences of approach are present.As an example in the area of nuclear physics as recently discussed by Kornilov et al. [16] the covariance matrix is generally produced through simulations by not considering the underlying measurement uncertainty through a x 2 merit function goodness of fit as originally communicated by Press et al. [17] which thus differs from the recommended approach of the GUM Supplement 2 for multivariate uncertainties.When discrepancies arise which cannot be explained by the uncertainty of the measurement data then additional Monte Carlo simulations are performed in an attempt to generate a Systematic Distortion Function (SDF) which may be thought of as a "correction function" to eliminate systematic bias in the data.In the case where a SDF cannot adequately account for underlying discrepancies then an additional Unrecognized Source of Uncertainties (USU) functional is generated which links to the SDF in an attempt to modify the underlying model to more closely align to the data even though this may render the model as deviating from relevant physical principles or laws.Alternatives to SDF/USU schemes also include the method of determining a covariance matrix by analysing the noise in a model as discussed by Chhabra et al. [18] i.e.where a signal y is composed as a superposition of an input x and a separate noise term e so that y = x + e.This approach is generally inconsistent with the conventional metrology approach which considers the probability density function of a signal y as a random variable g(y) which continuously varies as analysed from a wholly Bayesian statistics framework where all the sources of uncertainty are statistical aleatoric uncertainties, and which does not have a known constant value or is composed of separate systematic epistemic uncertainties and random aleatoric uncertainties.These alternative uncertainty approaches in other fields of study some of which mix aleatoric and epistemic uncertainties in "grey box models" as discussed by Brastein et al. [19] in some branches of engineering and physics, are therefore considered to be inconsistent with the accepted guidelines in scientific metrology work where any mathematical technique must be underpinned by an appropriate physical law.A fundamental difference in approach particularly for scientific metrology and industrial metrology calibration work is therefore that all uncertainty information must be fully encapsulated completely within the measurement equation through reporting of a covariance matrix as discussed by Smith et al. [20].Consequently, data analysis post-processing approaches such as SDF/USU functions amongst other techniques are considered inappropriate and inconsistent for national metrology institutes that maintain and disseminate national measurement standards for various countries and their industries.V. Ramnath: Int.J. Metrol.Qual.Eng. 13, 9 (2022)

Pyrometry theory and measurement models
Saunders [21] gives a general expression for the signal S measured by a pyrometer as where s(l) is the pyrometer spectral responsivity for wavelengths in the range l min l l max , K is an instrument calibration constant that includes geometrical, optical and electrical factors for the pyrometer, and L b (l, T) is the blackbody spectral radiance using Planck's law such that For the above equation c 1 and c 2 are the first and second radiation constants, l is the wavelength of the optical radiation in the medium in which the pyrometer is immersed which may be assumed to be air, and n is the refractive index of the medium.Using the above Planck version for the spectral radiance a general form of the Sakuma-hattori equation that is suitable for both narrow band and wide band wavelengths may take the form as previously discussed along with the corresponding inverse temperature equation of the Sakuma-Hattori equation.If the covariance matrix is known then the uncertainty in temperature from the pyrometer signal may then be calculated as In general, for wide band and broad band spectral responsivities there are no explicit formulae to analytically calculate the parameter values for A, B, C as this is a nonlinear regression analysis and a trial-and-error approach must be adopted to obtain suitable starting values for a subsequent Levenberg-Marquardt optimization as discussed by Press et al. [17].
Nevertheless the instrument parameters in the special case narrow band spectral responsivities where the relative bandwidth of the spectral responsivity r ¼ s l 0 < < 1 is small as discussed by Saunders & White [22] the parameters A, B, C may then be approximated as In the above equation l 0 is the mean wavelength for l min l l max and s is the standard deviation of the spectral responsivity using standard statistical formulae.
A commonly accepted experimental approach to determine the spectral responsivity of pyrometers in high temperature measurements was reported by Briaudeau et al. [23] for both absolute spectral responsivity R(l) as well as relative spectral responsivity s(l) characterizations of pyrometers.In this work the overall purpose is to cancel out any speckle noise caused by laser interferences inside an integrating sphere, so that a known absolute spectral radiance may be measured by the pyrometer.
Use is made of a laser as a tunable monochromatic quasi-Lambertian source which first produces a laser beam of a known constant spectral radiance at a wavelength l, that then secondly passes through a multimode optical fibre housed inside an ultrasonic bath, and which then thirdly passes through an optical integrating sphere, before finally entering the pyrometer.The pyrometer which is used as a radiation thermometry device is composed of various filters and detector components that convert the input optical radiation in units of W ⋅ sr À1 ⋅ m À3 into a measured photo-current signal in units of A. For this measurement system the pyrometer photo-current I pyro (l, r = 0)/[A] is specified as where the absolute spectral responsivity is S pyro ðlÞ=½A⋅W À1 ⋅sr À1 ⋅m 3 ; C NL pyro is a non-linearity correction factor for pyrometer responsivity, SSE is the size-ofsource effect for the pyrometer, and e is constant blackbody emissivity.
In the special case the above calibration terms C NL pyro , SSE and e may all be assumed to not have any spectral dependence for simplicity e.g. e ≠ e(l) if a narrow band of radiation from a tunable laser is considered to be effectively monochromatic.
Later work by Yoon et al. [24] reported further technical details on the experimental aspects to consider for the measurement of spectral responsivities and extended the use of the Sakuma-Hattori over a wider temperature from 400K to 1300K at NIST.These very high accuracy results were achieved by using a custom designed pyrometer with absolute spectral responsivities capable of absolute thermodynamic temperature measurements and used current-tovoltage amplifiers that were traceable to the quantum resistance and quantum voltage standards at NIST, and were able to achieve accuracies of around ±0.05 mK.
Manoi et al. [25] investigated radiation thermometry using two fixed points, which are typically taken as silver, copper or gold fixed points, corresponding to a n = 2 scheme for calibrating a temperature-signal relationship for a pyrometer.In this approach for a pyrometer with a sufficiently narrow bandwidth it may be shown that equation parameters are independent of the shape of the spectral responsivity and may be quantified solely in terms of the mean wavelength l 0 of the spectral responsivity and standard deviation s of the spectral responsivity.This approach typically produces errors smaller than ± 3 mK for temperature from 600°C to 3000°C when the relative bandwidth is s l 0 < 0:01.With this constraint for a 650 nm pyrometer a full width half maximum (FWHM) as shown in Figure 2 must be less than about 20 nm for the special case to work of the form When these special conditions apply the constants in a Sakuma-Hattori equation may be obtained using , and which are three unknowns to be determined.If the spectral responsivity is available and s estimated from the FWHM, then there are two remaining free parameters l 0 and c 0 and these can then be simultaneously determined from the pyrometer signals at the two known temperature fixed points using the (T 1 , S 1 ) and (T 2 , S 2 ) pairs of experimentally measured signal points where T 1 and T 2 are known fixed points by definition.
An earlier similar concept by Saunders [26] using two temperatures T 0 and T 1 and the temperature-signal relationship SðT Þ ¼ ∫ ∞ 0 RðlÞL b ðl; T Þ dl, where R(l) is the spectral responsivity that includes any constants due to geometrical and electrical parameters,allows for the temperature to be calculated to the ratio of the signal at a temperature relative to the signal at a reference temperature.Using this approach the integration may be removed by defining a temperature-dependent mean effective wavelength l m so that the ratio of signals may be expressed as In the above equation the mean effective wavelength is calculated in terms of the limiting effective wavelength l T that is a function of the single temperature which is calculated in terms of the known spectral responsivity such that from which l m is finally obtained as where l T is considered as an explicit function of the temperature.Calibration of pyrometers using the concept of a mean effective wavelength l m thus requires knowledge of the pyrometer detector linearity and spectral responsivity R(l) which is a difficult and time-consuming calibration that must be performed in a spectral radiometry laboratory with expensive specialist equipment.
and obtained expressions with M data points in the absence of correlations to fit a a Sakuma-Hattori equation where where the sensitivity terms ∂y ∂x i and ∂y ∂y i were defined in terms of sums of products of matrices.A limitation of this earlier approach is that it is not easily generalizable to incorporate correlation effects in the parameters of the Sakuma-Hattori equation and is more amenable to a Monte Carlo simulation.

Mathematical modelling
In order to solve the matrix equation C y U y C T y ¼ C x U x C T y for the unknown output covariance matrix U y the relationship between the input sensitivity matrix C x and the output sensitivity C y as reported by the GUM Supplement 2 may be formally expressed as V. Ramnath: Int.J. Metrol.Qual.Eng. 13, 9 (2022) Although there is an ostensible theoretical formula to compute the covariance matrix U y the key technical challenge is that the inverse matrix computation renders the formula as numerically unstable, and a further challenge is that a full symbolic calculation of the matrix inverse whilst in principle theoretically possible is not generally feasible on most desktop and laptop computers due to the excessive number of operations.
These challenges may be overcome by using a hybrid symbolic/numerical approach to first symbolically derive algebraic expressions for C x and C y and then evaluating their numerical values.Thereafter once the numerical values of the matrices are known a linear algebra decomposition algorithm provided for in the GUM Supplement 2 as summarized in Figure 3 may then be numerically implemented using readily available nonspecialist routines to calculate U y .
Considering the general form of the Sakuma-Hattori equation and three pairs of experimental data points (T 1 , S 1 ), (T 2 , S 2 ) and (T 3 , S 3 ) the equation to determine the parameters may be constructed as The approach adopted in this paper is to use the sympy symbolic Python package reported by Meurer et al. [28] to utilize the computer algebra system to automatically calculate the sensitivity matrices.
When the above symbolic expressions are processed in sympy the following merit-function expression results: Fig. 3. Numerically stable linear algebra algorithm for determining covariance matrix.
The system of three non-linear equations is then obtained by partial differentiation as: The input sensitivity matrix C X with elements specified by the partial derivatives ∂h i ∂X j for i = 1, 2, 3 and j = 1, 2, 3, 4, 5, 6 and similarly the output sensitivity matrix C Y with elements specified by the partial derivatives ∂h i ∂Y j for i = 1, 2, 3 and j = 1, 2, 3 are omitted as these symbolic matrices are too complex and unwieldy to print.Nevertheless these symbolic matrices may easily be constructed in sympy and numerically evaluated using the numerical values of where the numerical values of Y 1 , Y 2 and Y 3 are obtained from the numerical solution of h 1 (Y, X) = 0, h 2 (Y, X) = 0, and h 1 (Y, X) = 0.

Numerical simulations
Using the accepted International Temperature Scale of 1990 (ITS-90) temperature data as reported by Preston-Thomas [29] let the silver, gold and copper fixed point freezing temperatures be T 1 = T Ag = 1234.93K, T 2 = T Au = 1337.33K and T 3 = T Cu = 1357.77K and assume medium accuracy standard uncertainties of u (T 1 ) = ± 0.3 K, u(T 2 ) = ± 0.3 K and u(T 3 ) = ± 0.3 K based on representative fixed point blackbody furnace sources as reported in Sakuma & Hattori [30].Then using the medium accuracy representative pyrometer relative spectral responsivity data by Saunders [21] as shown in Figure 4 For simplicity assume that the standard uncertainty of the signals are all relatively large at ±2% of the nominal signal values so that u(S 1 ) = ± 1.191152160860418×10 -2 u (S 2 ) = ± 4.693939769213445×10 -2 and u (S 3 ) = ± 6.020984643486366×10 -2 .
Setting the input as X = [T 1 , T 2 , T 3 , S 1 , S 2 , S 3 ] T and the output as Y = [A, B, C] T it immediately follows that N = 6 and m = 3 according to the previous notation.As a result the input sensitivity matrix C x will be of dimension 3 Â 6 and the output sensitivity matrix C y will be of dimension 3 Â 3. The sympy package in Python may conveniently be installed and then imported into Python to first symbolically construct the matrices C x and C y and then evaluate their numerical values as shown in Figure 5.
The final step is to solve the matrix equation C y U y C T y ¼ C x U x C T x using the algorithm in Figure 3 and this may conveniently be achieved with the Python code in Figure 6.
In order to check the validity of the results from the proposed method the supplied specified signal-temperature values (S 1 , T 1 ), (S 2 , T 2 ), (S 3 , T 3 ) are compared to the corresponding predictions for the temperatures as obtained from the Sakuma-Hattori equation using the inverse temperature equation and the optimized fitted parameter values as shown in Figure 7. Ideally if there was a perfect parity the predicted points would lie exactly on the diagonal line, however it is observed that this is not the case due to the imperfection of the pyrometer's spectral responsivity which has a finite spectral bandpass and is not a Dirac-delta point function.In general pyrometry practice there is usually a balance or trade-off that is involved with a selection of a spectral responsivity bandpass.A narrower bandpass in for example a filter radiometer will result in increased accuracies but over a smaller temperature range, whilst a broader bandpass will result in a greater sensitivity over a broader temperature range but at the expense of a lower temperature accuracy.Nevertheless when the expanded temperature uncertainties as calculated from equation ( 16) that incorporates the covariance information it is seen that the error bars are within limits of the parity thus indicating experimental consistency in uncertainty analysis predictions.These results may also be directly visualized with the signaltemperature curves in Figure 8 from which it is observed that for the same signal values that the predicted temperature values taking into account the uncertainties from the covariances are reasonably consistent.It may be observed that the slight inaccuracies are due to a combination of the the minimum number of points with n = 3 that are used for the nonlinear regression and the "leverage effect" where a single point is located "far away" from the main cluster of points.These effects in radiation thermometry studies using high accuracy pyrometers are largely mitigated by including a larger number of fixed points in the regression scheme as discussed by Yoon et al.V. Ramnath: Int.J. Metrol.Qual.Eng. 13, 9 (2022) [24] who used six fixed points, Wooliams et al. [31] who used fourteen fixed points, and with more recent work by Todd et al. [32] that seeks to extend and refine the number of high temperature fixed points.Consequently once the covariance matrix U Y is determined for a national measurement laboratory's pyrometry standard it may in turn be used to perform high accuracy radiation thermometry measurements of VTHTBB's and in turn calibrate client pyrometers from industry, using a similar measurement traceability scheme as previously illustrated in Figure 1.Based on the research reported in this paper the following conclusions were determined: -A new method using a computer algebra system has been developed that demonstrated the utility of symbolically directly calculating the input and output sensitivity matrices for an arbitrary multivariate implicit measurement equation for a real practical problem in metrology.-An implementation method using standard linear algebra routines has been developed that allows for the output covariance matrix to be easily calculated without the need for lengthy and complex Monte Carlo simulations.

Influences and implications
Based on the research reported in this paper the following influences and implications are: -Metrologists working in industry are no longer forced to attempt to perform advanced Monte Carlo simulations for a category of uncertainty problems which may be symbolically solved using computer algebra systems.

-Computer programs written in the open source language
Python are now freely and publicly available for metrologists to freely modify and adapt to assist them in uncertainty analysis problems in other measurement fields.
This work was performed with funds provided by the Department of Higher Education, Science and Technology (DHEST) on behalf of the South African government for research by public universities.
Appendix A. Mathematical formulation of h (Y, X) = 0 In order to illustrate and explain the mathematical formalism of an implicit multivariate equation h(Y, X) = 0 consider a pressure balance experiment that is performed with a dead-weight tester in which a mass m i is stacked on top of a piston within a cylinder that generates a known weight force in a downwards direction that is counter-balanced by a hydrostatic pressure P i that pushes the piston in an upwards direction.By a simple free-body diagram and equilibrium of forces it follows that the governing equation is In the above equation let i denote a particular index for an applied pressure, say i = 5 so that the sequence of applied pressures are P 1 , P 2 , P 3 , P 4 , P 5 which must be solved for.Corresponding to these different pressures are known masses m 1 , m 2 , m 3 , m 4 , m 5 and known mass densities r 1 , r 2 , r 3 , r 4 , r 5 for each of the stacked weights.For simplicity assume that the atmospheric air density r atm and local gravitational acceleration are both constant, while A 0 and l are known equation parameters that were previously experimentally determined.
Rearrange the known non-linear equation as a system of five equations ðA:2Þ In the above system of equations the input X will be a   Each of the five scalar components of the non-linear equations h j (Y, X) = 0 from the vector equation h(Y, X) = 0 would have to be simultaneously solved for specified values of X in order to determine Y.
In an actual laboratory the mass values m i would always be correlated to the mass density values r i since both measured masses and measured mass densities are ultimately traceable to a country's national kilogram standard, and from pressure balance theory the zeropressure area A 0 and distortion coefficient l are also always statistically correlated.This means in practical terms that the corresponding covariance matrix U X which has elements of covariances like Cov(m 2 , r 2 ) and Cov(A 0 , l) will have various non-zero elements.
Since the measurement equation h(Y, X) = 0 may contain many inputs and outputs, it may be observed that the use of a symbolic algebra calculation of the various sensitivity coefficients produces considerable benefits for constructing the matrices C X and C Y in order to solve for the covariance matrix U Y .
The previous Python code for the input sensitivity matrix C X may simply be edited as follows: Similarly the rows of the matrix C X may simply be calculated as and then assembled as Similarly the Python code for the output sensitivity matrix C Y may in turn simply be edited as follows: and assembled as The above symbolic matrices C X and C Y may then be numerically evaluated using the supplied information, and the final uncertainty matrix U Y calculated using the linear algebra algorithm from Figure 6.The final result in the illustrative example of a pressure balance will be the solutions P 1 from h 1 (Y, X) through to P 5 from h 5 (Y, X) along with a covariance matrix of pressures that indicates the pressure uncertainties u 2 (P 1 ) through to u 2 (P 5 ) along with the covariances Cov(P i , P j ) of the form Considering on the other hand an implicit multivariate measurement equation, with an illustrative example in the Appendix to outline and explain the mathematical formulation, of the form hðY; XÞ ¼ 0

Fig. 1 .
Fig.1.Illustration of measurement traceability scheme showing how information from a covariance matrix of a national laboratory standard is transmitted to a client instrument measurement standard in industry to propagate uncertainty analysis results.

0
and the NIST CODATA 2018 recommended values for physical constants available at https://physics.nist.gov/cuu/Constants/set the first and second radiation constants to c 1 = 3.741771852 Â 10 À16 W ⋅ m 2 and c 2 = 1.438776877Â 10 À2 m ⋅ K.From this data the pyrometer signal values may be calculated using the formula SðT Þ ¼ ∫ ∞ RðlÞL b ðl; T Þ dl to yield the following underlying temperature-signal data to fit the parameters in a Sakuma-Hattori equation such that

Fig. 6 .
Fig. 6.Python code for linear algebra implementation to post-process C x , C y and U x to calculate U y .

Fig. 7 .Fig. 8 .
Fig. 7. Parity line curve to validate the accuracy of the model fit for the Sakuma-Hattori equation.Fig. 8.Comparison of signal-temperature results from specified and predicted data for the Sakuma-Hattori equation.
CovðP 2 ; P 5 Þ ⋯ CovðP 5 ; P 5 Þ In the particular case of a pressure calibration the pressure balance determined known values of pressures Y = [P 1 , … , P 5 ] T would then be used to calibrate either a digital or analogue pressure transducer or other simlar pressure measurement UUT device.Depending on the linearity/non-linearity of the pressure UUT being calibrated with UUT measured pressure values Z = [Z 1 , … , Z 5 ] T the above covariance matrix may either be used to fit a straight line calibration curve e.g.P UUT = aP true + b or possibly a non-linear calibration curve e.g.P UUT ¼ aP 2 true þ bP true þ g with a model Z = G(Y) and corresponding UUT covariance matrix U Z .