<!DOCTYPE article PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Archiving and Interchange DTD v1.0 20120330//EN" "JATS-archivearticle1.dtd">
<article xmlns:xlink="http://www.w3.org/1999/xlink">
  <front>
    <journal-meta />
    <article-meta>
      <title-group>
        <article-title>Digital signal processing under uncertainty conditions. Interval Approach</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Sergey I. Kumkov</string-name>
          <email>kumkov@imm.uran.ru</email>
          <xref ref-type="aff" rid="aff0">0</xref>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>Krasovskii Institute of Mathematics and Mechanics</institution>
          ,
          <addr-line>Ural Branch RAS, Ekaterinburg</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>Ural Federal University</institution>
          ,
          <addr-line>Ekaterinburg</addr-line>
          ,
          <country country="RU">Russia</country>
        </aff>
      </contrib-group>
      <fpage>48</fpage>
      <lpage>56</lpage>
      <abstract>
        <p>Digital signal processing under uncertainty conditions is considered. The signal represents an experimental chemical process, whose parameters have to be estimated. Measurments both of the process and its argument contain errors of bounded values. Sample of the process measurements is very short and there is uncertainty of probability characteristics of the errors. So, it is di cult to validate application of standard statistical methods to estimating the process parameters. An alternative is in application of the Interval Analysis methods. In the work, these methods are used for constructing the information set of admissible values of the process parameters and admissible tube of its dependencies.</p>
      </abstract>
      <kwd-group>
        <kwd>Digital signal</kwd>
        <kwd>processing</kwd>
        <kwd>algorithms</kwd>
        <kwd>noised measurements</kwd>
        <kwd>two-dimensional uncertainies</kwd>
        <kwd>interval analysis methods</kwd>
        <kwd>set of admissible parameters</kwd>
        <kwd>tube of admissible dependencies</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>
        As a rule, in investigations of experimental chemical processes, data are obtained
with measuring errors. It is used to process such data by the standard methods
that are based on the mathematical statistics ideology [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
      </p>
      <p>But in practice, a sample of measurements is very short and the errors'
probability characteristics are unknown. Moreover, the errors can be not only
in the process measurements, but, also, in ones of the process' argument, and
uncertainty of each measurement becomes two-dimensional. So, under these
conditions, it is di cult (or impossible) to validate application of standard methods.</p>
      <p>As an alternative, application of the statistical methods can be completed by
using the Interval Analysis ones.</p>
      <p>To do this, the process is described by some model fuction with a vector of
parameters; in our investigation, the linear dependence is used to describe the
process. The problem is formulated for estimation of admissible set of these
parameters. Such a set is used to call the Information Set. It comprises only such
parameters of the model that are consistent with its description, accumulated
sample of measurements, and the given bounds on the measuring errors in the
process values and values of its argument. On the basis of the determined
Information Set, corresponding tube of the admissible dependencies of the process is
built.</p>
      <p>
        The paper has the following structure. In Section 2, speci c properties of
experimental data and di culties of application of standard methods for their
procession are discussed, the typical model of a chemical process is introduced,
short description of the main Interval Analysis procedures used for constructing
the Information Set of process parameters is given, and problem of estimation is
formulated. In Section 3, results of processing real experimental data are given.
Here, results obtained by the interval approach are compared with ones
calculated by formal aplication of standard least square means method. In Section 4,
conclusions are given on abilities of the suggested Interval Analysis approach
and its applications in addition to known estimation procedures [
        <xref ref-type="bibr" rid="ref1">1</xref>
        ], [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ], [
        <xref ref-type="bibr" rid="ref3">3</xref>
        ].
2
      </p>
      <p>Speci c properties of experimental data.</p>
      <p>Interval approach to estimating
the process parameters. Problem formulation
In practice of chemical experiments, a sample of measurements can be very short
and the errors' probability characteristics are unknown. Moreover, the errors
can be not only in the process measurements, but, also, in ones of the process'
argument, and uncertainty of each measurement becomes two-dimensional. So, it
becomes di cult or even impossible to validate application of standard methods
to estimation of the process parameters. As an alternative, application of the
statistical methods can be completed by using the Interval Analysis ones.</p>
      <p>
        Foundations of Interval Analysis and its applications to processing
observations under uncertainty conditions were developed on the basis of the
fundamental pioneering work of L.V. Kantorovich [
        <xref ref-type="bibr" rid="ref4">4</xref>
        ].
      </p>
      <p>
        Nowadays, e ective theoretical, applied, and numerical methods of the
Interval Analysis have been created both abroad [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ] and by Russian researchers
[
        <xref ref-type="bibr" rid="ref6">6</xref>
        ]. Special interval algorithms and software were developed for solving applied
problems of estimation of parameters for experimental chemical processes [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ],
[
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ].
      </p>
      <p>Remind that the essence of the interval methods is in estimating the process
parameters under conditions of a short measurement sample, uncertainty of the
measuring errors probability characteristics, and under only interval bounding
onto the error values.</p>
      <p>
        Introduce the following necessary de nitions with using the standard on
notations in Interval Analysis [
        <xref ref-type="bibr" rid="ref7">7</xref>
        ].
      </p>
      <p>The function describing the process has the form</p>
      <p>F (x; A; B) = A + Bx;
(1)
where x is the process' argument; A; B are parameters to be estimated.</p>
      <p>The uncertainty set of each measurement. Since absence of probability
characteristics of measuring errors, uncertainty of each measurement xn; Fn is
formalized as a rectangle Hn with the left xn and right xn, lower F n and upper
F n boundaries
(A; B) : F (x; A; B) 2 F n; for x 2 xn; for all n = 1; N :
(3)
and corresponding dependence F (n; A; B) is also called admissible.</p>
      <p>The Information Set is a totality of all admissible values of the parameter
vector for model (1) satisfying the following system of interval inequalities:
where emax, bmax are bounds onto maximal (on modulus) values of errors in the
process and its argument measurements.</p>
      <p>The admissible value of the parameters vector (A; B) for the linear
model (1) is a pair
(2)
(5)
I(A; B) = f(A; B) : F (x; A; B) 2 F n; for x 2 xn; for all n = 1; N g:
(4)</p>
      <p>The input sample (2a) is called consistent in the interval sense if by (4) there
exists at least one admissible value of the parameter vector and corresponding
admissible dependence.</p>
      <p>The tube of admissible dependencies fT b(x)g; n = 1; N is a totality of
all admissible values of the dependence at the nth measuring of the process.
For the linear model (1) and the information set I(A; B), the tube boundaries
are calculated with taking into account the boundaries of the uncertainty sets
F n xn (3)</p>
      <p>T b(x) = min(A;B)2I(A;B) F (x; A; B);</p>
      <p>T b(x) = max(A;B)2I(A;B) F (x; A; B):</p>
      <p>Problem of estimation for the linear model (1) is formulated as follows:
by means of the Interval Analysis methods to construct the Information Set (4)
of the process parameters consistent with the given data (2) and to build the
tube (5) of the admissible dependencies of the process.</p>
      <p>
        For the linear model (1), fast procedures for constructing the Information Set
(4) with exact description of its boundaries have been elaborated and applied to
solving many practical problems [
        <xref ref-type="bibr" rid="ref8">8</xref>
        ], [
        <xref ref-type="bibr" rid="ref9">9</xref>
        ], [
        <xref ref-type="bibr" rid="ref10">10</xref>
        ], [
        <xref ref-type="bibr" rid="ref11">11</xref>
        ], [
        <xref ref-type="bibr" rid="ref12">12</xref>
        ]. Due to direct using the
linearity of model (1), these procedures are more fast and give exact description
of the Information Set in comparison with even very powerful procedures of the
SIVIA-type [
        <xref ref-type="bibr" rid="ref5">5</xref>
        ].
      </p>
      <p>
        Remark. As it will be shown below, formal application of the standard
Least Square Means method (LSQM) [
        <xref ref-type="bibr" rid="ref2">2</xref>
        ] and corresponding point-wise estimate
of the parameters (ASQ; BSQ) for the linear model demonstrate to be useful for
analysis of the input sample (2) and for qualitative comparison with the results
on the basis of Interval Analysis.
3
      </p>
      <p>Results of processing experimental data
The rst example (Fig. 1) of experimental data is joined with investigating the
heat of fusion of cryolites (Institute of High Temperature Electrochemistry UrB
RAS, Ekaterinburg).</p>
      <p>Figure 1a shows the sample of measurements (circles) and their
two-dimensional uncertainty sets built for bounds emax = 2 kJ mole 1 and bmax = 4 K
onto measuring errors of the process and its temperature argument. Remark
the di cult situation: there are only 7 measurements and their uncertainty sets
cross each other. At the left, there are four measurements with practically
coinciding values of temperature. Point{dash lines correspond to the LSQM-line
and its rough standard tolerances 3 . The shadowed fragment is the tube of
admissible dependencies. The thick central line (Fig. 1a) marks the dependence
corresponding to the central point of the information set of admissible
parameters (Fig. 1b), where, the cross marks the LSQM-point obtained by formal
application of standard LSQM-method.</p>
      <p>In the next example (Fig. 2), the experimental data was obtainted in
investigation of relative electric potential between Uranium and Gallium chlorides
in the process of treatment of nuclear waists (Institute of High Temperature
Electrochemistry UrB RAS, Ekaterinburg).</p>
      <p>Figure 2a shows the sample of measurements (crosses) and their
two-dimensional uncertainty sets built for bounds emax = 0:0075 V and bmax = 5 K onto
measuring errors of the process and its temperature argument. Remark the di
cult situation: there are only 10 measurements with coinciding values of the
temperature measurements and their uncertainty sets crossing each other. Moreover,
two measurements (at the right) and their uncertainty sets practicically coincide.
Point{dash lines correspond to the LSQM-line and its rough standard tolerances
3 . The shadowed fragment is the tube of admissible dependencies. The thick
central line (Fig. 2a) marks the dependence corresponding to the central point
of the information set of admissible parameters (Fig. 2b), where, the cross marks
the LSQM-point obtained by formal application of standard LSQM-method.</p>
      <p>In the last example (Fig. 3), the experimental data was also obtainted in
investigation of relative electric potential between Uranium and Gallium chlorides
in the process of treatment of nuclear waists (Institute of High Temperature
Electrochemistry UrB RAS, Ekaterinburg).</p>
      <p>Figure 3a shows the sample of measurements (crosses) and their
two-dimensional uncertainty sets built for bounds emax = 0:0075 V and bmax = 5 K onto
measuring errors of the process and its temperature argument. Again remark
32
30
-1 leo28
m
J
k
/n26
o
i
s
u
ff
to24
a
e
H
22
20
1050
_2A.8m9a5x</p>
      <p>ASQ
_12.489
_1A4.C7P97
-1 le
o
m
J
k
A/</p>
      <p>Amin
_26.699
a)
b)</p>
      <p>by IHTEC UrB RAS and IMM UrB RAS
Btfoeuumsniopdnesrhaoetnuatrote+_m+_2e4kaJКsumrionlge-1errors: Tudbeepoefnaddemncisiessible
Dependence for the central point</p>
      <p>of the Information Set
of admissible values of parameters</p>
      <p>+3s
0.02466</p>
      <p>Bmin
0.03248</p>
      <p>BSQ
0.03455</p>
      <p>BCP</p>
      <p>B / kJ mole-1K-1 0.04444</p>
      <p>Bmax
the di cult situation: there are only 10 measurements with coinciding values of
the temperature measurements and their uncertainty sets crossing each other.
Moreover, two measurements (at the right) and their uncertainty sets
practicically coincide. Point{dash lines correspond to the LSQM-line and its rough
standard tolerances 3 . The shadowed fragment is the tube of admissible
dependencies. The thick central line (Fig. 3a) marks the dependence corresponding
to the central point of the information set of admissible parameters (Fig. 3b),
where, the cross marks the LSQM-point obtained by formal application of
standard LSQM-method.</p>
      <p>Underline the sophisticated character of information sets of admissible
values of parameters (Figs. 1b, 2b, and 3b). Such their detailed structure can not
be calculated by any standard method of processing the input data with
twodimensional uncertainties in measurements.</p>
      <p>CP</p>
      <p>Approximating dependence</p>
      <p>E(T) = A+BT
Bounds onto measuring
errors:
potential +_0.0075 V
temperature +_5 К
a)
Minimal outer box-estimate</p>
      <p>Central point
Approximating dependence E(T) = A+BT</p>
      <p>CP</p>
      <p>Besides the information set and the tube of admissible dependencies, the
described interval approach gives for practical using the following useful
information: the central \calibration" dependence (Figs. 1a, 2a, and 3a, the central
thick lines), the central estimate point (Acp; Bcp), the minimal outer
unconditional intervals [Amin; Amax] and [Bmin; Bmax] on parameters (Figs. 1b, 2b,
and 3b, the rectangles with boundaries in dashes), and LSQM estimate point
(ASQ; BSQ).</p>
    </sec>
    <sec id="sec-2">
      <title>Potential E, V</title>
      <p>Approximating dependence</p>
      <p>E(T) = A+BT
Bounds onto measuring
errors:
potential +_0.0075 V
temperature +_5 К
+3s
by IHTEC UrB RAS and IMM UrB RAS
2nd sample
Sets of uncertainty
of measurements</p>
      <p>LSQM-line
_3s
s = 0.0052 V</p>
      <p>Tube of admissible
dependencies
745
771
800
Approximating dependence</p>
      <p>E(T) = A + BT
Minimal outer
box-estimate</p>
      <p>Information Set of admissible
values of parameters
LSQM-point
Central point (CP)
of information
set of admissible
values of parameters</p>
    </sec>
    <sec id="sec-3">
      <title>Amax</title>
      <p>_ ASQ
a) input data and tube of admissible dependencies; b) information set of admissible
parameters</p>
      <p>Conclusions
Digital signal procession is implemented on the basis of the Interval Analysis
methods. Parameters of noised chemical processes are estimated under
conditions of absence of probability data for the measuring errors and speci c
twodimensional uncertainty of each measurement. Such a case can not be treated
by any standard methods.</p>
      <p>It was shown that under mentioned conditions Interval Analysis approach
gives sophisticated guaranteed estimation of the process parameters set and
better estimation of the tube of admissible dependencies.</p>
      <p>Moreover, simulation results show that simultaneous using the interval and
standard statistical approaches complement each other and allows one to
perform more detailed analysis and qualitative comparison of the estimation results.
Acknowledgments. The work was supported by RFBR, project no
18-0100410.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          <source>1. 50.2</source>
          .
          <fpage>031</fpage>
          -
          <lpage>2003</lpage>
          .
          <article-title>Standard samples of the contents and properties substances and materials. Methodology for estimation of characteristics. The State System for Providing Uni cation of measuring</article-title>
          . Moscow, Gosstandart of Russia.
          <source>O cial edition</source>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          <source>2. 40.2</source>
          .
          <fpage>028</fpage>
          -
          <lpage>2003</lpage>
          .
          <article-title>The State System for Providing Uni cation of measuring. Recommendations on constructing the calibration dependencies. Estimation of errors (uncertainty) of linear calibration characteristics by using the Least Squares Means method</article-title>
          . Moscow, Gosstandart of Russia.
          <source>O cial edition</source>
          (
          <year>2003</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3. GOST 8.
          <fpage>207</fpage>
          -
          <lpage>76</lpage>
          .
          <article-title>The State System for Providing Uni cation of measuring. Direct measurements with multiple observations. Methods for processing the observation results</article-title>
          . Moscow, Gosstandart of Russia.
          <source>O cial edition</source>
          (
          <year>1976</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Kantorovich</surname>
            ,
            <given-names>L. V.</given-names>
          </string-name>
          :
          <article-title>On some new approaches to computational methods and processing the observations (in Russian)</article-title>
          .
          <source>Siberian Mathematical Journal. III(5)</source>
          ,
          <volume>701</volume>
          {
          <fpage>709</fpage>
          (
          <year>1962</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Jaulin</surname>
            ,
            <given-names>L.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kie</surname>
            <given-names>er</given-names>
          </string-name>
          , M.,
          <string-name>
            <surname>Didrit</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Walter</surname>
          </string-name>
          , E.:
          <article-title>Applied Interval Analysis</article-title>
          . London, Springer Verlag (
          <year>2001</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Shary</surname>
            ,
            <given-names>S. P.</given-names>
          </string-name>
          :
          <string-name>
            <surname>Finite-Dimensional Interval Analysis</surname>
          </string-name>
          .
          <source>Electronic book</source>
          . (
          <year>2016</year>
          ) http://www.nsc.ru/interval/Library/InteBooks/SharyBook.pdf
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Kearfott</surname>
            ,
            <given-names>R. B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Nakao</surname>
            ,
            <given-names>R. B.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Neumaier</surname>
            ,
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Rump</surname>
            ,
            <given-names>S. M.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Shary</surname>
            ,
            <given-names>S. P.</given-names>
          </string-name>
          , van Hentenryck,
          <string-name>
            <surname>P.</surname>
          </string-name>
          :
          <article-title>Standardized Notation in Interval Analysis</article-title>
          .
          <source>Comput. Technologies</source>
          .
          <volume>15</volume>
          (
          <issue>1</issue>
          ),
          <volume>7</volume>
          {
          <fpage>13</fpage>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          8.
          <string-name>
            <surname>Kumkov</surname>
            ,
            <given-names>S. I.:</given-names>
          </string-name>
          <article-title>An Estimation Problem of Chemical Process with Con uent Parameters: An Interval Approach</article-title>
          . Reliable Computing.
          <volume>22</volume>
          ,
          <issue>15</issue>
          {
          <fpage>25</fpage>
          (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          9.
          <string-name>
            <surname>Redkin</surname>
            ,
            <given-names>A. A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zaikov</surname>
            ,
            <given-names>Yu. P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Tkacheva</surname>
            ,
            <given-names>O.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kumkov</surname>
            ,
            <given-names>S. I.</given-names>
          </string-name>
          :
          <article-title>Molar Thermal Conductivity of Molten Salts</article-title>
          . Ionics.
          <volume>22</volume>
          (
          <issue>1</issue>
          ),
          <volume>143</volume>
          {
          <fpage>149</fpage>
          , (
          <year>2016</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          10.
          <string-name>
            <surname>Redkin</surname>
            ,
            <given-names>A. A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Zaikov</surname>
            ,
            <given-names>Yu. P.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Korzun</surname>
            ,
            <given-names>I. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Reznitskikh</surname>
            ,
            <given-names>O. G.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Yaroslavtseva</surname>
            ,
            <given-names>T. V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kumkov</surname>
            ,
            <given-names>S. I.</given-names>
          </string-name>
          :
          <article-title>Heat Capacity of Molten Halides</article-title>
          .
          <source>J. Phys. Chem</source>
          .,
          <string-name>
            <surname>B</surname>
          </string-name>
          <year>2015</year>
          .
          <volume>119</volume>
          ,
          <fpage>509</fpage>
          -
          <lpage>512</lpage>
          (
          <year>2015</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>
          11.
          <string-name>
            <surname>Kumkov</surname>
            ,
            <given-names>S. I.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Mikushina</surname>
          </string-name>
          , Yu. V.:
          <article-title>Interval Approach to Identi cation of Catalytic Process Parameters</article-title>
          .
          <source>Reliable Computing</source>
          .
          <volume>19</volume>
          ,
          <issue>197</issue>
          {
          <fpage>214</fpage>
          (
          <year>2013</year>
          )
        </mixed-citation>
      </ref>
      <ref id="ref12">
        <mixed-citation>
          12.
          <string-name>
            <surname>Kumkov</surname>
            ,
            <given-names>S. I.</given-names>
          </string-name>
          :
          <article-title>Processing experimental data on ionic conductivity of melted electrolyte by methods of Inrterval Analysis (in Russian)</article-title>
          .
          <source>Rasplavy. 3</source>
          ,
          <issue>86</issue>
          {
          <fpage>96</fpage>
          (
          <year>2010</year>
          )
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>