<!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>Control, diagnostics and number system</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <string-name>Victor Krasnobayev</string-name>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Alina Yanko</string-name>
          <email>al9_yanko@ukr.net</email>
          <xref ref-type="aff" rid="aff1">1</xref>
        </contrib>
        <contrib contrib-type="author">
          <string-name>Dmytro Kovalchuk</string-name>
          <email>kovalchuk.d.n@ukr.net</email>
          <xref ref-type="aff" rid="aff0">0</xref>
        </contrib>
        <aff id="aff0">
          <label>0</label>
          <institution>N. Karazin Kharkiv National University</institution>
          ,
          <addr-line>Svobody sq., 4, Kharkiv, 61022</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
        <aff id="aff1">
          <label>1</label>
          <institution>National University «Yuri Kondratyuk Poltava Polytechnic»</institution>
          ,
          <addr-line>Poltava,36011</addr-line>
          ,
          <country country="UA">Ukraine</country>
        </aff>
      </contrib-group>
      <abstract>
        <p>This article discusses methods that allow controlling, diagnosing and correcting errors that occur in a computer system (CS) operating in a modular number system (MNS). A feature of using the MNS is the possibility, in some cases, of correcting errors even if there is only one control base, using the concept of an alternative set of numbers. The article deals with the control, diagnostics and error correction in the dynamics of the data processing process. Currently, to correct errors in the dynamics of the computational process, the CS uses the projection method and its modifications. The projection method requires the calculation of all projections Ai of the distorted number A , which leads to a large number of additional operations for each correction of an individual result. The article discusses a method for correcting errors in the CS, based on the use of a conditional alternative set of numbers in the MNS. Two methods for determining an alternative set W ( A ) are considered. The disadvantage of the first method is the large hardware and time costs for determining an alternative set of numbers. As a working method, the second method is proposed, in which the initial number A is first reduced to the form A (Z ) = (0, 0,...0,γ n+1) , i.e. the operation of zeroing the initial number A is performed. Examples of specific execution of modular operations for a given MNS are considered.</p>
      </abstract>
      <kwd-group>
        <kwd>1 Alternative set</kwd>
        <kwd>corrective modular code</kwd>
        <kwd>error correction</kwd>
        <kwd>information processing cycle</kwd>
        <kwd>modular number system</kwd>
        <kwd>non-positional code structure</kwd>
        <kwd>projection method</kwd>
        <kwd>zeroing process</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>1. Introduction</title>
      <p>One of the promising areas for ensuring the fault-tolerance of CSs is the widespread use of
corrective codes that can detect and correct errors that occur in the dynamics of the data processing
process. A characteristic feature of such codes is the presence in the construction structure of
corrective codes of interdependent parts: informational and control. The analysis of known positional
codes showed that these parts of the code are not equal in relation to arithmetic operations. The
nonarithmetic nature of the procedures for obtaining the check digits of the corrective code doesn’t allow
controlling the results of performing arithmetic operations [1-4]. Thus, it is obvious that the use of
positional corrective codes when implementing arithmetic operations in a CS operating in a positional
number system (PSN) is impossible.</p>
      <p>Non-positional codes, in particular, codes in the modular number system (MNS), are deprived of
this drawback. A number of works, both domestic and foreign, are devoted to the construction of
corrective modular codes [5-7]. The equality of residues in the structure of the correcting code in the
MNS is the basis for constructing codes capable of detecting and correcting errors in the process of
implementing modular operations. In addition, this property of modular codes serves as the basis for
the implementation of exchange operations between the accuracy, fault tolerance and speed of the
implementation of arithmetic operations in the dynamics of the computational process of the CSs.
This is due, first of all, to the fact that each residue of the modular code carries information about the
entire original number [8]. Then, by varying the number of information and control bases of the MNS,
it is possible to achieve the required values of the main indicators of the quality of the functioning of
the CSs. One of the promising directions for ensuring the fault tolerance of the CSs is the widespread
use of codes capable of detecting and correcting errors that occur in the dynamics of the data
processing process. A characteristic feature of such codes is the presence in the structure of the
corrective code of two interdependent parts: informational and control [9].</p>
      <p>The specificity of the representation of numbers in the MNS allows [10], in a number of cases, not
only to detect an error, but also to find the place of its occurrence, using only a single control base,
which is impossible with existing methods for monitoring and correcting errors in the MNS. In some
cases, it is possible to carry out error correction with a minimum code distance dmin = 2 either by the
projection method or by using the concept of an alternative set (AS) of numbers.</p>
      <p>The projection method requires the calculation of all projections Ai of the distorted number A ,
which leads to a large number of additional operations for each correction of an individual result.
Hardware and especially software implementation of the projection method leads to a large
expenditure of time. In addition, this method fundamentally doesn’t allow unambiguous detection of
the place of occurrence of any single errors, i.e. errors in one of the residues of a non-positional code
structure in the MNS.</p>
      <p>Much more effective is the method developed and researched further for correcting errors in the
CSs, based on the use of a conditional alternative set (CAS) of numbers in the MNS.</p>
    </sec>
    <sec id="sec-2">
      <title>2. Development and research of methods for monitoring, diagnosing and correcting errors in CS based on the use of an alternative and conditional alternative set of numbers</title>
      <p>A distinctive feature of the MNS is the possibility, in some cases, of correcting errors even if there
is only one control base, using the concept of an alternative set of numbers [5].</p>
      <p>on which the numbers A1, A2 ,..., Ak differ from the wrong</p>
      <p>The set of bases: mi1 , mi2 ,...mik
(distorted) number A , this is called an alternate number set of the number A1, A2 ,..., Ak and denote it
as W ( A ) = {mi1 , mi2 ,..., mik } . The basic principle of determining the erroneous residue ai is that for the
set of incorrect (distorted) numbers A1, A2 ,..., Aρ obtained as a result of operations, during the
execution of the program, CASs are determined sequentially in time:</p>
      <p>W∧ ( A ) =W ( A1) ∧ W ( A2 ) ∧ ... ∧ W ( Aρ )
where W ( Al ) = {ml1 , ml2 ,..., mlρ } – alternative set of l-th wrong (distorted) number.</p>
      <p>Let’s consider the error correction time in the dynamics of the information processing process of
the CS. It is known that the correction time is determined by the following expression:
where Tdet – errors detection time; Tfix – errors fix time.</p>
      <p>For MNS, the error detection time in the dynamics of the data processing process is determined by
the following expression:</p>
      <p>
        Tdet = k1 ⋅Tdetγn+1 + k2 ⋅TdetAS + k3 ⋅TdetCAS
where Tdetγn+1 – time to determine and check the value of γ n+1 ;
γ n+1 – the value of the residue of the number A to the base mn+1 during the zeroing process;
Tcor =Tdet + Tfix
(
        <xref ref-type="bibr" rid="ref1 ref4">1</xref>
        )
(
        <xref ref-type="bibr" rid="ref2 ref5">2</xref>
        )
(
        <xref ref-type="bibr" rid="ref3 ref6">3</xref>
        )
      </p>
      <sec id="sec-2-1">
        <title>TdetAS – time of determination and verification of AS W ( A ) ;</title>
      </sec>
      <sec id="sec-2-2">
        <title>TdetCAS – time of determination and verification of CAS W∧ ( A ) ;</title>
        <p>k1, k2 , k3 – multiplicity factors for determining, respectively, the processes of zeroing numbers ( A (Z ) ),
the number of operations to determine the AS of numbers (W ( A ) ) and the number of operations to
determine the CAS of numbers (W∧ ( A ) ).</p>
        <p>Thus, the error correction time in the dynamics of the information processing process in the MNS
is determined by the final expression:</p>
        <p>
          Tcor = k1 ⋅Tdetγn+1 + k2 ⋅TdetAS + k3 ⋅TdetCAS + Tfix (
          <xref ref-type="bibr" rid="ref7">4</xref>
          )
        </p>
        <p>Taking into account the fact that the operation of determining AS, CAS and fix (correction) errors
in the MNS can be performed in a tabular version, i.e. in one cycle, get that:</p>
        <p>
          Tcor ≈ k ⋅TZ (
          <xref ref-type="bibr" rid="ref8">5</xref>
          )
where k – number of stages of AS determination;
TZ – zeroing time, which is necessary to convert the original number A = (a1, a2 ,..., an , an+1) into a
number of the form A (Z ) = (0, 0,...0,γ n+1) .
        </p>
        <p>It can be seen from the last expression that there are two main ways to reduce the error correction
time Tcor . The first way is to reduce the number of stages k in determining AS. This is achieved
through the use of the developed error correction methods in the MNS [9]. The second way is to
reduce the zeroing time TZ . This can be achieved by using the method of pairwise zeroing of numbers
with a preliminary sample of digits [11].</p>
        <p>Let’s consider the necessary and sufficient condition for error correction in the dynamics of the
computational data processing process.</p>
        <p>On Figure 1 schematically shows the contraction (pull together) process of the AS of numbers in
the process of processing CS information, where:
∆ti – the duration of the implementation of the i-th operation of the information processing cycle;
S – the number of the operations in the considered information processing cycle;
S ′ – the number of the operation in the CS information processing cycle, at which the presence of
errors is recorded;
t0 – start time of the information processing cycle;
tk – end time of the information processing cycle;
∆tASi – the duration of the determination of the AS of the i-th number to be checked;
∆t∧i – the duration of the determination of the i-th CAS;
t′ – the moment of time of the error detection;
∆t∆i – the duration of time from the end of finding the i-th CAS to the start of determining the next
AS;
∆tdet – the error detection time;
k – the number of numbers to be checked (the number of stages in determining the AS).</p>
        <p>Let in the process of monitoring the processing of information by the CS at time t′ , a distortion of
the number A is detected. In this case, the information processing process is not interrupted, and for
the distorted number for the period ∆tAS1 , AS W ( A1) is determined. After determining W ( A1) , after a
period of time ∆t∆1 , AS W ( A2 ) is determined, where: A2 – the result of the operation of the next
cycle of information processing of the CS. After that, the CAS W∧ ( A ) =W( A1) ∧ W ( A2 ) is
determined. If W ( A ) ≤ 2 , then finding the AS stops. When W ( A ) &gt; 2 the process of finding CAS
continues. At the end of the information processing cycle ( t = tk ), on the basis of the received AS</p>
        <sec id="sec-2-2-1">
          <title>W ( A ) ≤ 2 , the result is corrected.</title>
          <p>detection time ∆tdet be no more than the time from the moment the error was detected to the end of
the AS information processing cycle, i.e.</p>
          <p>
            ∆tdet ≤ ∆tc′ (
            <xref ref-type="bibr" rid="ref9">6</xref>
            )
where ∆tc′ – time from the moment the error was detected to the end of the AS information
processing cycle.
          </p>
          <p>The error detection time is determined according to the expression:</p>
          <p>k k−1 k−1
∆tdet = ∑i1 =∆tASi + ∑i1 =∆t∧i + ∑i1 =∆t∆i (7)</p>
          <p>The time from the moment of error detection to the end of the AS information processing cycle is
determined according to the expression:</p>
        </sec>
        <sec id="sec-2-2-2">
          <title>Condition (6) is necessary and sufficient for W ( A ) ≤ 2 .</title>
          <p>Thus, when correcting errors in the dynamics of the information processing process, it is assumed
that the implemented chain of operations has a sufficient length to allow the CAS to be pulled to one
erroneous base.</p>
          <p>There are three options for error correction.</p>
          <p>1. In the course of information processing, the СAS are sequentially determined and, over time
∆tdet , are pulled together to an erroneous base.</p>
          <p>2. For the first AS, a certain hypothesis about the number of the distorted residue is accepted. The
result is corrected until the fact of the erroneousness of the accepted hypothesis is discovered. In this
case, it is necessary to move on to another hypothesis, and so on before the discovery of a distorted
residue.</p>
          <p>S
∆tc′ = tk − t′ = ∑ ∆ti
i=S′
(8)
3. The third option consists of a synthesis of the first and second. The CAS of the numbers
obtained as the information processing program is implemented up to their contraction (pull together)
in the number A to two bases mi and mn+1 are determined. Further, the hypothesis of the error of the
residue ai is accepted and its correction is carried out. If the hypothesis turns out to be untenable,
then the residue an+1 will be wrong.</p>
          <p>Thus, with any existing version of error correction in the dynamics of the information processing
process, it becomes necessary to determine the AS, i.e. the effectiveness of any of the possible options
for correcting errors depends on the method of determining the alternative set of numbers [12].</p>
          <p>
            As a rule, the duration of the information processing cycle, for solving this algorithm, is a constant
value tk − t0 =const . In this regard, to strengthen the fulfillment of condition (
            <xref ref-type="bibr" rid="ref9">6</xref>
            ), it is necessary to
strive to reduce the time ∆tdet . This can be achieved by performing the following operations.
          </p>
          <p>1. Creation at the beginning of the information processing cycle of complicated modes of
operation of the CS [13], which can lead to a shift of the time axis (error detection time) to the left to
t0 . In other words, the error is detected almost immediately after the start of the information
processing cycle. However, this path does not guarantee high reliability of error detection at the
beginning of the data processing cycle.</p>
          <p>k −1
2. Reducing the time ∑i=1 ∆t∆i as a result of splitting the operations of the information processing
cycle into shorter ones. However, in most cases, splitting operations is either impossible or
impractical.</p>
          <p>k −1
3. Reducing the time ∑i=1 ∆t∧i as a result of the acceleration of the process of logical multiplication
W ( Ai ) ∧ W ( Ai+1 ) . As a rule, the СAS definition block is built according to the tabular principle. The
result of the operation is determined in one clock cycle of the CS.</p>
          <p>k
4. Reducing the time ∑ ∆tASi
i=1</p>
          <p>as a result of increasing the performance of the zeroing
operation [14].</p>
          <p>5. A decrease in the number k of the numbers to be checked as a result of an increase in the
information content W ( A ) , i.e. reduction in the AS of the number of bases on which an error is
possible.</p>
          <p>Thus, studies are necessary and relevant for the development of effective methods for determining
AS, which will increase the information content of W ( A ) , which reduces the error correction time in
the MNS.</p>
        </sec>
      </sec>
    </sec>
    <sec id="sec-3">
      <title>3. Methods for determining an alternative set of numbers</title>
      <sec id="sec-3-1">
        <title>Let’s consider two methods for determining AS W ( A ) .</title>
        <p>The first method is that AS W ( A ) is established by checking each of the bases mi (i =1, n + 1) as
follows. A sequence of numbers is determined that has the same digits in all bases as the number A ,
except for the base mρ , differing only in digits in this base, i.e. numbers of the form:
AρS = (a1, a2 ,...aρ −1, s, aρ +1, an+1)
(9)
where s</p>
        <p>=(1, mρ − 1) .</p>
        <p>Among the numbers of the form (9) there may not be a single correct number, or there may be
only one correct number. In the latter case, mρ enters the AS of the number A . Having carried out
similar checks for each of the bases of the MNS, should determine W ( A ) = {mi1 , mi2 ,..., mik } .</p>
        <p>The disadvantage of the first method is the large hardware and time costs for determining the AS.</p>
        <p>In the second method, the number A is reduced to the form A (Z ) = (0, 0,...0,γ n+1) i.e. the so-called
operation of zeroing the number A is performed. In accordance with the error distribution theorem,
the number of the interval ( j + 1) , in which the number A falls, is determined by the expression:
=⋅mn+1  ∆ai ⋅ mi  mod mn+1 + ∆*
j </p>
        <p> mi 
where ∆ai – the value of a possible error in base mi ;
mi – weight of the orthogonal basis Bi ;
[ x] – the integer part of the number x , not exceeding the value of x .
(10)
(11)
∆* – takes the value 0 or 1.</p>
        <p>In accordance with expression (10), a table of values of the correspondence of the number γ n+1 to
possible errors ∆ai is compiled, where j =(γ n+1 ⋅ mn+1) mod mn+1 . The desired AS is determined from
the correspondence table.</p>
      </sec>
    </sec>
    <sec id="sec-4">
      <title>4. Method of time numerical sections</title>
      <p>The considered second method for determining an alternative set of numbers is called the method
of time numerical sections, and in comparison with the first method, it allows to reduce hardware and
time costs in determining the AS, however, the disadvantage of the second method is that the AS may
contain redundant bases. This is due to the fact that the values of γ n+1 correspond to errors ∆ai
related not only to the distorted number A , but also to the group of numbers Ak lying in the interval
 j M1 , ( j + 1)
 mn+1</p>
      <p>M  n+1
1  , where M = ∏ mi – the full range (including control base mn+1 ) of numbers
1
mn+1  i=1
represented in the MNS. Excessive bases contained in AS reduce the information content of W ( A ) .</p>
      <p>Indeed, with an increase in the number of bases in the AS, the entropy of error detection in one of
the bases of the MNS increases. An increase in the entropy of determining the erroneous base m1
increases the number k of the numbers to be checked (check cycles), and this, in turn, increases the
time of contraction (pull together) of the AS to the erroneous base. This method cannot be effectively
applied in a short chain of CS data processing. Thus, there is a need to develop procedures for
determining the AS, with the help of which it is possible to effectively correct errors in a fairly short
chain of the information processing process in the CS. Let us consider the procedure for increasing
the information content of the AS in the MNS, based on obtaining additional information about the
possible distorted residues of the wrong number A . This information is contained in all possible ASs
of number A .</p>
      <p>Let MNS be given by ordered bases m1,..., mn+1 and let the wrong number A be determined in the
process of information processing. To increase the information content about the location and
magnitude of the error [15], it is proposed to additionally determine the AS of number of the form
Wkρi ( A ) = {mk1 , mk2 ,..., mkρi } , i.e. set of AS of the form:</p>
      <p>W1ρ1 ( A ) = {m11 , m12 ,..., m1ρ1 }
W2ρ2 ( A ) = {m21 , m22 ,..., m2ρ2 }</p>
      <p>...</p>
      <p>Wn+1ρn+1 ( A ) = {mn+11 , mn+12 ,..., mn+1ρn+1 }</p>
      <p>To determine the set of values (11), first should calculate the number of the interval jk
(k =1, n + 1) where the number A hits:
jk =(γ k ⋅ mk ) mod mk
(12)</p>
      <p>
        Note that for k = n + 1 the equality Wn+1ρn+1 ( A ) = W ( A ) is satisfied. In accordance with expression
(12), let’s compile k tables, where the values of γ k are compared to the value of ∆ai . After ASs
Wkρi ( A ) , which called primary, are determined, define secondary ASs in the form of vectors, the
components of which are possible error values ∆ai of the form: W11( A ) ={∆a1(
        <xref ref-type="bibr" rid="ref1 ref4">1</xref>
        ) , ∆a2(
        <xref ref-type="bibr" rid="ref1 ref4">1</xref>
        ) ,..., ∆an(1+)1} , …,
W (ϕ1) ( A ) ={∆a1(ϕ1) , ∆a2(ϕ1) ,..., ∆an(ϕ+11)} , W22 ( A ) ={∆a1(
        <xref ref-type="bibr" rid="ref2 ref5">2</xref>
        ) , ∆a2(
        <xref ref-type="bibr" rid="ref2 ref5">2</xref>
        ) ,..., ∆an(2+)1} , …, W (ϕ2 ) ( A ) ={∆a1(ϕ2 ) , ∆a2(ϕ2 ) ,
1 2
..., ∆an(ϕ+12)} and so on up to the value of vectors of the form: W (ϕn ) ( A ) ={∆a1(ϕn ) , ∆a2(ϕn ) ,..., ∆an(ϕ+n1)} and
n
vector Wn(+ϕ1n+1) ( A ) ={∆a1(ϕn +1) , ∆a2(ϕn+1) ,..., ∆an(ϕ+n1+1)} .
      </p>
      <p>The components of vector Wn(+ϕ1n+1) ( A ) are compared with the corresponding components of all
vectors Wi(ϕi ) ( A ) for i = 1, n . In the components of the vectors coinciding in magnitude, the MNS
bases are determined, the set of which will determine the desired (resulting) AS of the form:
W ′( A ) = {mz1 , mz2 ,..., mzρ } . The AS Wkρi ( A ) always contains the base mi , on which the error ∆ai
occurred, and this base can only be among the bases common to the set (11), i.e.:</p>
      <p>W ( A ) ≥ W ′( A ) (13)
where W ′( A ) – desired (resulting) AS.</p>
      <p>If ∆ai is such that the number A = A + ∆A (where ∆A =(0, 0,..., ∆ai , 0,..., 0) is a single error) lies
n
in the interval [(mn+1 −1)M , M1 ] , where M = ∏ mi – the operating range of numbers represented in
i=1
the MNS, then:</p>
      <p>W ( A ) = W ′( A )
(14)</p>
      <p>Thus, the essence of the proposed procedure lies in the fact that all possible AS are determined on
each of the intervals where the numbers A hit. After that, the common bases mz1 ,..., mzρ for these
intervals are determined, on which an error is possible. This set of bases determines the desired AS.
Reducing the number of bases in AS increases the information content of AS W ( A ) about the place
and magnitude of the error. This reduces the time of AS contraction to an erroneous base (reduces the
number of stages for determining the CAS), which increases the efficiency of corrective codes in the
MNS. The block diagram of the process of contraction of the AS to the erroneous base is shown in
Figure 2. It is advisable to consider the block diagram of the process of contraction of the AS.
Determining the number of the hit interval ( j + 1) (under the influence of the error ∆ai ) of the
 M M 
distorted number A is equivalent to shifting this number in the interval  j 1 , ( j + 1) 1  to the left
 mi mi </p>
      <p>M
to the value j 1 . Let’s divide the numerical segment [0, M1 ] into the corresponding intervals with
mi
duration: M1 , M1 ,... M1 . Let’s determine the numbers of intervals ( j + 1) in which the number A is
m1 m2 mn+1
located on each of the numerical segments:</p>
      <p>Tj1 =j1Mm11  , ( j1 + 1) Mm11 
</p>
      <p>...</p>
      <p>Tjn+1</p>
      <p>
=jn+1mMn+11  , ( jn+1 + 1)
</p>
      <p>M1 
mn+1 
(15)</p>
      <p>The definition of primary AS (11) corresponds to the definition the numbers of intervals (15). The
definition of the secondary AS, geometrically corresponds to the definition of the interval [ z1, z2 ) ,</p>
      <p>Condition (16) is equivalent to condition (13). If the error translates the number A into the
interval [(mn+1 −1)M , M1 ) , then:
z2 − z1 = M1 =M (17)</p>
      <p>M n+1
Condition (17) is equivalent to condition (14).</p>
      <p>The presented structural diagram (Figure 2) of the AS contraction (pull together) process confirms
the correctness of the mathematical description and more clearly demonstrates the essence of the
procedure for increasing the information content of the AS – narrowing the interval for getting the
distorted number A .</p>
      <p>
        Consider an example of determining the AS of number A in accordance with the developed
procedure. Let the MNS be given by the bases m1 =2, m2 =3, m3 =5. Table 1 shows the code words
of this MNS. Thus M = 2 ⋅ 3 = 6, M = M ⋅ m3 = M ⋅ 5 = 6 ⋅ 5 = 30, mn+1 =m3 =5, А = (
        <xref ref-type="bibr" rid="ref2 ref2 ref5 ref5">0, 2, 2</xref>
        ) according
1
to Table 1 this number in the positional number system is 2, let equals ∆А =(
        <xref ref-type="bibr" rid="ref2 ref5">0, 2, 0</xref>
        ) according to
Table 1 this number in the positional number system is 20. Let, under the influence of a single error
∆А =(0, 0,..., ∆ai ,..., 0) ,
based
on
the
i-th
base
(∆ai =∆a2 =2)
received
number
A = A + ∆А = (
        <xref ref-type="bibr" rid="ref1 ref2 ref4 ref5">0,1, 2</xref>
        ) .
      </p>
      <p>To determine the set of primary AS, first determine the values of γ k . To do this, let’s zeroing of
the number A in accordance with the tables of zeroing constants (see Tables 2-4), obtain the values
γ 1 =1, γ 2 =1, γ 3 =2 .</p>
      <p>The
set
of
primary</p>
      <p>AS
is
defined
as:</p>
      <p>W1ρ1 ( A ) = {m2 , m3},</p>
      <p>W2ρ2 ( A ) = {m1, m3},
W3 ( A ) = {m1, m2 , m3} .</p>
      <p>ρ3</p>
      <p>
        From Table 5-7, compiled according to the values γ k , determine the set of secondary AS: for
γ 3 = 2 has that W3(
        <xref ref-type="bibr" rid="ref1 ref4">1</xref>
        ) ( A ) = {1,1, 2}; for γ 2 = 1 has that W2(
        <xref ref-type="bibr" rid="ref1 ref4">1</xref>
        ) ( A ) = {1, 0, 2},
W2(
        <xref ref-type="bibr" rid="ref2 ref5">2</xref>
        ) ( A ) = {0, 0,3}; for
γ 1 = 1 W1(
        <xref ref-type="bibr" rid="ref1 ref4">1</xref>
        ) ( A ) = {0, 2,3}, W1(
        <xref ref-type="bibr" rid="ref2 ref5">2</xref>
        ) ( A ) = {0, 0, 4} .
      </p>
      <p>It is convenient to implement the choice of common MNS bases in the form of tables (see
Tables 8-11), where the “+” sign indicates the coincidence of the components of the secondary AS,
and the “-” sign indicates a mismatch. From Tables 8-11 it can be seen that the components of the
vectors coincide in the bases m1, m3 , i.e. the desired AS has the form W ′( A ) = {m1, m3} . Thus,
Tj1 = [15,30),
TW ′( A ) = [15,18) .</p>
      <p>W ( A ) ≥ W ′( A ) . Therefore, the described procedure is guaranteed to increase information about the
location of the error in number A .</p>
      <p>
        In geometric interpretation, this procedure, for a given MNS, will be implemented as follows
(Figure 3). Let’s divide the segment [0,30) into the corresponding numerical intervals [15,30) ,
[10, 20) and [12,18) . Determine the numbers of intervals in which the number A = (
        <xref ref-type="bibr" rid="ref1 ref2 ref4 ref5">0,1, 2</xref>
        ) is located:
Tj2 = [10, 20),
      </p>
      <p>Tj3 = [12,18) .</p>
      <p>The
desired interval is
determined
as follows</p>
      <p>The interval TW ′( A ) is reduced compared to Tj3 by three units (by 50%), which leads to a reduction
in the number of possible error options. This procedure is most effectively used in a chain of
calculations that doesn’t allow all the planned procedures to be carried out before the AS is contracted
(pulled together) to an erroneous base, i.e. in a long chain of data processing CS [16-18].</p>
      <p>Consider the procedure for probabilistic evaluation of the choice of the working hypothesis about
the fallacy of the residue on an arbitrary i-th base. To do this, it is advisable to determine the
relationship between the reduced error distribution coefficient ξ ki = F (γ n+1) and the value of γ n+1 .</p>
      <p>The reduced distribution coefficient of errors will be the ratio of the number of possible errors on
the basis of mk in the i-th interval to the number of possible errors of the number A in the entire
range [0, M1 ) . It is numerically equal to the share of errors in the i-th interval according to the k-th
base of the MNS.</p>
      <p>When calculating ξ ki , it is necessary to consider the distribution of errors on the intervals
[ jM , ( j + 1)M ) for j =2,..., 1, mn+1 − 1. Based on the distribution, a table of values is compiled,
according to which histograms n are built ξ ki = F (γ n+1) . The criterion for choosing a working
hypothesis about the error of the residue based on mz is the maximum value of the reduced error
distribution coefficient, i.e.:</p>
      <p>ξ zi =max, for i =const (18)</p>
      <p>Let’s compose an algorithm for determining an erroneous base when implementing the procedure
for probabilistic evaluation of the choice of a working hypothesis.</p>
      <p>1. The distorted number A zeroable out. Getting the value of A (Z ) = (0, 0,...0,γ n+1 ) .
2. According to the value of γ n+1 , determine AS W ( A ) = {ml1 , ml2 ,...mlρ } .</p>
      <p>3. By the value of γ n+1 , let’s turn to the tables (histograms) ξ ki = F (γ n+1) . In the i-th interval
(i =(γ n+1 ⋅ mn+1) mod mn+1) , the largest of the values ξ zi is determined. Base mz , for which the value of
ξ zi = max at i = const is the desired one. Thus, the working hypothesis is that the error is assumed in
the residue to the base m ∈W ( A ) . If it turns out that the hypothesis is erroneous, then as the second
z
working hypothesis should choose the base mi ∈W ( A ) , for which ξ ki &lt; ξ zi , and so on. As a rule, the
choice of the primary working hypothesis according to the criterion (18) gives a reliable result about
the location of the error.</p>
      <p>
        As an example of choosing a working hypothesis, let’s determine the number of the erroneous
residue for the number A = (
        <xref ref-type="bibr" rid="ref1 ref2 ref4 ref5">0,1, 2</xref>
        ) specified in the MNS with bases m1 =2, m2 =3, m3 =5
(mn+1 =m3 =5) .
      </p>
      <p>
        Thus, in that the error is assumed in the residue of the base m2 (an error in the residue of the
control base m3 is not taken into account). Verification confirms the correctness of the choice of
hypothesis. So A = A − ∆A = (
        <xref ref-type="bibr" rid="ref1 ref2 ref4 ref5">0,1, 2</xref>
        ) − (
        <xref ref-type="bibr" rid="ref2 ref5">0, 2, 0</xref>
        ) = (
        <xref ref-type="bibr" rid="ref2 ref2 ref5 ref5">0, 2, 2</xref>
        ) , as a result it was received the original number
(see Table 1, A = (
        <xref ref-type="bibr" rid="ref2 ref2 ref5 ref5">0, 2, 2</xref>
        ) corresponds to the value of 2 positional number system, which was at the
beginning).
      </p>
      <p>The use of a probabilistic estimate makes it possible to reduce the number of check numbers,
which in turn makes it possible to reduce the error correction time [19].</p>
    </sec>
    <sec id="sec-5">
      <title>5. Conclusions</title>
      <p>The article considers the process of monitoring, diagnosing and correcting errors in the MNS in
the dynamics of the computational process of the CS. In some cases, this is possible in the presence of
a minimum code distance by using the concepts of an alternative set of numbers and a conditional
alternative set of numbers. A scheme for monitoring and correcting errors in the MNS has been
developed. The necessary and sufficient condition for error correction in the dynamics of the data
processing process is formulated and substantiated. When correcting errors in the dynamics of the
information processing process, it is assumed that the implemented chain of computational operations
has a sufficient length to allow the CAS to be reduced to one erroneous residue.</p>
      <p>Three variants of error correction are defined. With any existing option for correcting errors in the
dynamics of the data processing process, it becomes necessary to determine the AS, i.e. the
effectiveness of any of the possible error correction options depends on the method for determining an
alternative set of numbers. In this aspect, the article conducted research on the development of
effective methods for determining the AS, which can increase the information content of the AS,
which reduces the error correction time in the MNS. The analysis of methods for determining AS
W ( A ) was carried out.</p>
      <p>A procedure has been developed for monitoring and diagnosing errors in the CS based on a
probabilistic assessment of the choice of a working hypothesis about the error of the residue based on
the i-th base of the MNS. An algorithm for determining an erroneous base in the implementation of
the procedure for probabilistic assessment of the choice of a working hypothesis has been
implemented. This procedure allows, in some cases, to reduce the number of check numbers, which in
turn reduces the error correction time.</p>
      <p>It is shown that the proposed method for correcting errors in the MNS (the method of time
numerical sections) makes it possible to simplify the implementation of the process of determining
AS in the MNS and correct not only multiple errors in one residue, but also, in some cases, multiple
errors in different residues. This method is most effectively used in a short data processing chain of
the CS. An example of error correction for a specific MNS given by the bases m1 =2, m2 =3, m3 =5
is given. The results of the presented example confirm the main provisions of this article.</p>
    </sec>
    <sec id="sec-6">
      <title>6. References</title>
      <p>[7] N.I. Chervyakov, A.V. Veligosha, K.T. Tyncherov, S. A. Velikikh, Use of modular coding for
high-speed digital filter design, Cybernetics and Systems Analysis 34 (1998) 254–260.
doi:10.1007/BF02742075.
[8] R. Wilmhof, F. Taylor, On hard errors in RNS architectures, IEEE Transactions on Acoustics,</p>
      <p>Speech, and Signal Processing 31 (1983) 772–774. doi:10.1109/TASSP.1983.1164105.
[9] V. Krasnobayev, S. Koshman, A. Yanko, A. Martynenko, Method of Error Control of the
Information Presented in the Modular Number System, in: 2018 International Scientific-Practical
Conference Problems of Infocommunications. Science and Technology (PIC S&amp;T), Kharkiv,
2018, pp. 39–42. doi:10.1109/INFOCOMMST.2018.8632049.
[10] J.-C. Bajard, L. Imbert and T. Plantard, Arithmetic operations in the polynomial modular
number system, in: 17th IEEE Symposium on Computer Arithmetic (ARITH'05), Cape Cod,
MA, 2005, pp. 206–213. doi:10.1109/ARITH.2005.11.
[11] V. Krasnobayev, A. Yanko, A. Kuznetsov, O. Smirnov, T. Kuznetsova, Methods of nulling
numbers in the system of residual сlasses, in: 1st International Workshop on Cyber Hygiene &amp;
Conflict Management in Global Information Networks, volume 2588, Kyiv, 2019. URL:
http://ceur-ws.org/Vol-2588/paper9.pdf.
[12] V. Yatskiv, T. Tsavolyk, Two-dimensional corrective codes based on modular arithmetic,
in: The Experience of Designing and Application of CAD Systems in Microelectronics, Lviv,
2015, pp. 291–294. doi:10.1109/CADSM.2015.7230860.
[13] D. Schinianakis, T. Stouraitis, An RNS modular multiplication algorithm, in: 2013 IEEE
20th International Conference on Electronics, Circuits, and Systems (ICECS), Abu Dhabi, 2013,
pp. 958–961. doi:10.1109/ICECS.2013.6815571.
[14] K Lee, J Chun, On the interference nulling operation of the V-BLAST under channel
estimation errors, in: Proceedings IEEE 56th Vehicular Technology Conference, Vancouver, BC,
2002, pp. 2131–2135. doi: 10.1109/VETECF.2002.1040595.
[15] V. Ruzhentsev, R. Oliynykov, Properties of Linear Transformations for Symmetric Block
Ciphers on the Basis of MDS-Codes, in: 2011 Conference on Network and Information Systems
Security, La Rochelle, 2011, pp. 1–4. doi:10.1109/SAR-SSI.2011.5931391.
[16] J. James, A. Pe, A novel method for error correction using Redundant Residue Number
System in digital communication systems, in: 2015 International Conference on Advances in
Computing, Communications and Informatics (ICACCI), Kochi, 2015, pp. 1793–1798.
doi:10.1109/ICACCI.2015.7275875.
[17] E. Shiryaev, E. Bezuglova, M. Babenko, A. Tchernykh, B. Pulido-Gaytan, J. M.
CortésMendoza, Performance Impact of Error Correction Codes in RNS with Returning Methods and
Base Extension, in: 2021 International Conference Engineering and Telecommunication (En&amp;T),
Dolgoprudny, 2021, pp. 1–5. doi:10.1109/EnT50460.2021.9681756.
[18] H. Krishna, K.-Y. Lin, J.-D. Sun, A coding theory approach to error control in redundant
residue number systems. I. Theory and single error correction, IEEE Transactions on Circuits and
Systems II: Analog and Digital Signal Processing 39 (1992) 8–17. doi:10.1109/82.204106.
[19] Lie-Liang Yang, L. Hanzo, Redundant residue number system based error correction codes,
in: IEEE 54th Vehicular Technology Conference, Atlantic City, NJ, 2001, pp. 1472–1476.
doi:10.1109/VTC.2001.956442.</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <article-title>Zeroing of the number A = (0,1, 2) is performed, get A (Z ) = (0</article-title>
          <issue>, 0</issue>
          ,3) .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <article-title>According to the value of γ n+1 =γ 3 =3 , an appeal is made to Table 5, where AS W3(1) ( A ) = {1,</article-title>
          <issue>2</issue>
          ,3} is defined.
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <article-title>Table 12 is compiled for ξ ki = F (γ 3 ) , in accordance with the distribution of errors over the intervals of the range (0, M1 ] (Figure 4). On Figure 4, the sign ↑ k shows that the error in the base mk translates the correct number A into the wrong (distorted) number A . For the value γ 3 = 3 (fourth interval), according to the criterion (18), determine ξ 24 = 0, 3</article-title>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          [1]
          <string-name>
            <surname>Richard</surname>
            <given-names>E.</given-names>
          </string-name>
          <string-name>
            <surname>Blahut</surname>
          </string-name>
          ,
          <article-title>Theory and Practice of Error Control Codes</article-title>
          , 1st ed.,
          <source>Addison-Wesley</source>
          ,
          <year>1983</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          [2]
          <string-name>
            <surname>J. B. Anderson</surname>
            ,
            <given-names>S.</given-names>
          </string-name>
          <string-name>
            <surname>Mohan</surname>
          </string-name>
          , Error Control Coding, volume
          <volume>150</volume>
          of Source and Channel Coding, Springer-Verlag, Boston, MA,
          <year>1991</year>
          , pp.
          <fpage>77</fpage>
          -
          <lpage>97</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-1-
          <fpage>4615</fpage>
          -3998-
          <issue>8</issue>
          _
          <fpage>3</fpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          [3]
          <string-name>
            <given-names>L.</given-names>
            <surname>Huang</surname>
          </string-name>
          ,
          <string-name>
            <given-names>Y.</given-names>
            <surname>Chen</surname>
          </string-name>
          , H. Huang,
          <article-title>Research of Error Control Coding and Decoding</article-title>
          , in 2022 IEEE International Conference on Advances in Electrical Engineering and Computer Applications (AEECA),
          <year>Dalian</year>
          ,
          <year>2022</year>
          , pp.
          <fpage>590</fpage>
          -
          <lpage>593</lpage>
          . doi:
          <volume>10</volume>
          .1109/AEECA55500.
          <year>2022</year>
          .
          <volume>9919106</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          [4]
          <string-name>
            <given-names>J. L.</given-names>
            <surname>Massey</surname>
          </string-name>
          ,
          <article-title>Theory and practice of error control codes</article-title>
          ,
          <source>Proceedings of the IEEE</source>
          <volume>74</volume>
          (
          <year>1986</year>
          )
          <fpage>1293</fpage>
          -
          <lpage>1294</lpage>
          . doi:
          <volume>10</volume>
          .1109/PROC.
          <year>1986</year>
          .
          <volume>13626</volume>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          [5]
          <string-name>
            <given-names>I.</given-names>
            <surname>Ya. Akushskii</surname>
          </string-name>
          ,
          <string-name>
            <surname>D.I. Yuditskii</surname>
          </string-name>
          , Machine Arithmetic in Residual Classes, Sov. Radio, Moscow,
          <year>1968</year>
          .
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>
          [6]
          <string-name>
            <given-names>G.</given-names>
            <surname>Sobczyk</surname>
          </string-name>
          ,
          <source>Modular Number Systems</source>
          , New Foundations in Mathematics, Birkhäuser, Boston, MA,
          <year>2013</year>
          , pp.
          <fpage>1</fpage>
          -
          <lpage>21</lpage>
          . doi:
          <volume>10</volume>
          .1007/978-0-
          <fpage>8176</fpage>
          -8385-
          <issue>6</issue>
          _
          <fpage>1</fpage>
          .
        </mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>