<!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>СИНТЕЗ МНОГОУРОВНЕВЫХ СТРУКТУР СО МНОГИМИ ВЫХОДАМИ</article-title>
      </title-group>
      <pub-date>
        <year>2016</year>
      </pub-date>
      <fpage>32</fpage>
      <lpage>37</lpage>
      <abstract>
        <p>В работе рассматривается метод решения задачи адаптации логической сети со многими выходами с восстановлением входного множества двоичных векторов при заданных только младших значениях этих векторов и значениях на выходах сети. Алгоритм синтеза логической сети основан на описании ее полиномом Жегалкина. Ил.: 3. Библиогр.: 7 назв. Ключевые слова: адаптация, булева функция, полином Жегалкина. В роботі розглядається метод розв'язання задачі адаптації логікової мережі з багатьма виходами з відновленням вхідної множини двійкових векторів при заданих тільки молодших значеннях цих векторів і значень на виходах мережі. Алгоритм синтезу логікової мережі грунтується на зображенні її поліномом Жегалкіна. Іл.: 3. Бібліогр.: 7 назв. Ключеві слова: адаптація, булева функція, поліном Жегалкіна. The method for solution of adaptation problem of the logical network with many outputs for the restoration of the input set of binary vectors when given only the lower values of this set and the values of the outputs is considered. The algorithm synthesis of the logical network is based on the description of its polynomial Zhegalkin. Fig.: 3. Ref. 7 titles.</p>
      </abstract>
    </article-meta>
  </front>
  <body>
    <sec id="sec-1">
      <title>-</title>
      <p>−
−
где D = E \ D – дополнение множества D в множестве E.</p>
      <p>Во многих задачах классификации актуальной является задача восстановления информации по
ее части, поскольку в процессе трансмиссии сигналы могут искажаться [4, 5]. Такая задача состоит в том,
чтобы по известной (не искаженной) части входных сигналов и известным выходным значениям
Структура такой сети для n = 5 , h = 2 на основе ЛЭ показана на рис. 1.</p>
      <p>e5</p>
      <p>L41</p>
      <p>L32
e4</p>
      <p>L23
L31
y2</p>
      <p>L22
e3</p>
      <p>y1
L13</p>
      <p>L12
e2
L21</p>
      <p>L11</p>
      <p>e1
Рис. 1. Сеть с сотовой структурой связи
2. Общая постановка задачи</p>
      <p>Дана группа только младших (старших) разрядов входных векторов обучающей выборки D ⊆ E , т. е.
( e = (eμ , eμ −1,..., e1) ), где μ &lt; n . Аналогично, если задана группа только старших разрядов или любая группа
подряд идущих символов.</p>
      <p>Необходимо для заданной структуры сети с h выходами, значения которых известны, и множества
входных векторов e ∈ D синтезировать логическую сеть и восстановить полноразрядное входное множество
векторов.
2.1. Решение первой задачи</p>
      <p>Рассмотрим логическую сеть с одним выходом и обучающей выборкой D с тремя входами (рис. 2).
Как будет видно из метода синтеза, такие значения не ограничивают общности рассмотрения.</p>
      <p>L12
e2
L21</p>
      <p>L11
e3</p>
      <p>e1
Рис. 2. Логическая сеть с тремя входами
Сеть синтезируется с помощью полинома Жегалкина в виде:</p>
      <p>
        P f (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) = a 0 + a 1 e1 + a 2 e 2 + a 3 e1 e 2 + a 4 e 3 + a 5 e1 e 3 + a 6 e 2 e 3 + a 7 e1 e 2 e 3
с заданием обучающей выборки D = {(0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0</xref>
        )} .
      </p>
      <p>
        Исходя из условия (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ), на элементах из D полином P f (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) должен принимать значение 1, а на элементах
из дополнения D = {(
        <xref ref-type="bibr" rid="ref1">1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1">0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,1,1</xref>
        )} его значения должны быть равны 0. Тогда по выборке D
получаем систему (
        <xref ref-type="bibr" rid="ref1">1</xref>
        ) линейных неоднородных диофантовых уравнений (СЛНДУ) в поле вычетов F2 по
модулю 2, из которой необходимо найти значения коэффициентов ai , ∀i = 0,1,...,7 .
      </p>
      <p>⎧1a0 ⊕ 0a1 ⊕ 0a2 ⊕ 0a3 ⊕ 0a4 ⊕ 0a5 ⊕ 0a6 ⊕ 0a7 = 1,
⎪
⎪1a0 ⊕ 0a1 ⊕1a2 ⊕ 0a3 ⊕ 0a4 ⊕ 0a5 ⊕ 0a6 ⊕ 0a7 = 1,
⎪⎪1a0 ⊕1a1 ⊕ 0a2 ⊕ 0a3 ⊕1a4 ⊕1a5 ⊕ 0a 6⊕ 0a 7 = 1,
S = ⎨⎪1a0 ⊕ 0a1 ⊕1a2 ⊕ 0a3 ⊕1a4 ⊕ 0a5 ⊕1a6 ⊕ 0a7 = 1,  
⎪1a0 ⊕1a1 ⊕1a2 ⊕1a3 ⊕1a4 ⊕1a5 ⊕1`a6 ⊕1a7 = 0,
⎪⎪ . . . . . . = 0,
⎪ . . . . . . = 0,
⎪⎩ . . . . . . = 0.</p>
      <p>
         
 
 
(
        <xref ref-type="bibr" rid="ref1">1</xref>
        )
Решая данную систему TSS-методом [6,7], находим единственное решение x1 = (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,0,0,1,0,1,0</xref>
        ) , которому
соответствует полином Жегалкина:
      </p>
      <p>
        P f (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) = 1 ⊕ e1 ⊕ e3 ⊕ e3 e2 = e1 ⊕ e 2e 3 .
      </p>
      <p>
        Если выборка D меняется, например, D = {(0,0,0),(
        <xref ref-type="bibr" rid="ref1">0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1">0,0,1</xref>
        )}, то матрица системы (
        <xref ref-type="bibr" rid="ref2">2</xref>
        ) не меняется, а
меняются только свободные члены:
⎧1a0 ⊕ 0a1 ⊕ 0a2 ⊕ 0a3 ⊕ 0a4 ⊕ 0a5 ⊕ 0a6 ⊕ 0a7 = 1,
⎪
⎪1a0 ⊕ 0a1 ⊕ 1a2 ⊕ 0a3 ⊕ 0a4 ⊕ 0a5 ⊕ 0a6 ⊕ 0a7 = 1,
⎪⎪1a0 ⊕ 1a1 ⊕ 0a2 ⊕ 0a3 ⊕ 0a4 ⊕ 0a5 ⊕ 0a 6⊕ 0a 7 = 1,
S = ⎨⎪1a0 ⊕ 0a1 ⊕ 1a2 ⊕ 0a3 ⊕ 1a4 ⊕ 0a5 ⊕ 1a6 ⊕ 0a7 = 0,
⎪1a0 ⊕ 1a1 ⊕ 1a2 ⊕ 1a3 ⊕ 1a4 ⊕ 1a5 ⊕ 1`a6 ⊕ 1a7 = 0,
⎪⎪ . . . . . . = 0,
⎪ . . . . . . = 0,
⎪⎩ . . . . . . = 0.
      </p>
      <p>
        Эта система имеет единственное решение x1 = (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,0,0,1,1,0,0,1</xref>
        ) , которому соответствует полином
Жегалкина:
      </p>
      <p>
        P f (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) = 1 ⊕ e1e2 ⊕ e3 (1 ⊕ e1e2 ) = e3 (e1 ∨ e2 ) .
      </p>
      <p>
        Если выборки D и D меняются местами, т.е. обучающей выборкой становится выборка D1 , то
полином Жегалкина принимает вид принимает вид P 1f (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) = 1 ⊕ Pf (
        <xref ref-type="bibr" rid="ref3">3</xref>
        ) .
      </p>
      <p>Рассмотренное решение некоторым образом является определяющим в том смысле, что при добавлении
новой входной переменной система позволяет без вычислений определить новые функции в уздах.
Действительно, если рассматривать сеть с четырьмя входами с той же выборкой для трех переменных, то
полином будет иметь вид:  </p>
      <p>
        P f (
        <xref ref-type="bibr" rid="ref4">4</xref>
        ) = e1 ⊕ e 2e 3⊕ e4 ,
а выборка, на которой он будет принимать значение 1 имеет вид:
      </p>
      <p>
        D1 = (0 × D) ∨ (1× D) = {(0,0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,1,1</xref>
        )}.
      </p>
      <p>
        Это обстоятельство позволяет решить общую задачу синтеза логической сети вышеописанным методом,
который был назван волновым методом [3].
2.2. Синтез логической сети по обучающей выборке и нескольким выходам
Пусть задана сеть с сотовой структурой связи (рис. 3), на выходах которой заданы значения 1,0,1 и
обучающая выборка которой имеет вид на первых трех выходах: D13 = {(0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0</xref>
        )} .
Синтез выполняем волновым методом.
e1 ⊕ e2e3 .
      </p>
      <p>2. Волновым методом получаем подсеть для первого и второго выхода:
а обучающая выборка, на которой значения будут 0 и 1 соответственно:</p>
      <p>
        D14 = {(0,0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,1</xref>
        )} .
3. Волновым методом получаем подсеть и для трех выходов и пяти входов:
      </p>
      <p>e1 ⊕ e2e3 ⊕ e4 ,
e1 ⊕ e2e3 ⊕ e4 ⊕ e5 .</p>
      <p>L22
e3</p>
      <p>L12
e2
L31</p>
      <p>L21</p>
      <p>L11
e1
e5</p>
      <p>L41</p>
      <p>L32
e4
Рис. 3. Структура сети ( n = 5, h = 3 )
Однако эта функция будет давать на третьем выходе 0, а нам нужна 1. Для этого преобразуется к виду:
1 ⊕ e1 ⊕ e2e3 ⊕ e4 ⊕ e5 = e1 ⊕ e2e3 ⊕ e4 ⊕ e5 = e1⊕ e2e3 ⊕ e4 ⊕ e5 ,
а выборка, на которой будут обеспечены выходы 1, 0, 1, будет такой:</p>
      <p>
        D15 = {(
        <xref ref-type="bibr" rid="ref1">1,0,0,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,1,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1 ref1">1,1,1,1,1</xref>
        ),
      </p>
      <p>
        (
        <xref ref-type="bibr" rid="ref1">0,0,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,0,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,1,1,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1">0,1,0,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1">0,0,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,1,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,0,1,0</xref>
        )} .
1. Рассмотрим случай той же сети, но выходные значения будут 0, 1, 0 и обучающая выборка
D23 = {(0,0,0),(
        <xref ref-type="bibr" rid="ref1">0,1,0</xref>
        ),(
        <xref ref-type="bibr" rid="ref1 ref1">1,0,1</xref>
        ),(
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0</xref>
        )} для e2 ,e3,e4 . Поступаем также, как и в предыдущем случае:
1) Синтезируем функцию подсети на e2 ,e3,e4 входах:
2) Строим волновым методом функции подсети
и получаем обучающую выборку:
      </p>
      <p>
        D14 = {(0,0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,1,1,1</xref>
        )} ;
3) Строим волновым методом и для выхода третьего:
и получаем выборку, на которой обеспечиваются требуемые значения:
      </p>
      <p>
        D15 = {(0,0,0,0,0), (0,0,1,0,10, (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,0,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">0,1,1,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,0,1,1,1</xref>
        )} ∨ 1× D14 ,
где D14 – дополнение до D14 .
2. Рассмотрим случай той же сети с теми же выходами, что и в предыдущем случае, но выборка
D23 = {(0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,1,0</xref>
        )} . Тогда получаем функцию e2 e4 , а обучающая выборка имеет вид:
      </p>
      <p>
        D14 = {(0,0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,1,1,1</xref>
        )} для e2 e4 ⊕ e1 .
3. Аналогично получаем и для третьего выхода:
      </p>
      <p>
        D15 = {(0,0,0,0,0), (
        <xref ref-type="bibr" rid="ref1">0,0,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,1,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,1,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,1,0,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">0,0,0,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">0,1,1,1,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">0,0,1,1,1</xref>
        ),
      </p>
      <p>
        (
        <xref ref-type="bibr" rid="ref1 ref1">1,1,0,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1">1,0,0,1,0</xref>
        )(
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,0,1</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,1,1,0,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,0,1,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1">1,1,0,1,0</xref>
        ), (
        <xref ref-type="bibr" rid="ref1 ref1 ref1 ref1">1,1,1,1,0</xref>
        )} .
Выводы
      </p>
      <p>Предложен метод решения задачи синтеза адаптивных структур со многими выходами,
представленных многоуровневыми логическими схемами, описанных логической сетью с сотовой
структурой связи в виде ациклического графа, вершинами которого являются универсальные логические
элементы. Синтез таких структур состоит в определении общей логической функции для каждого из
выходов сети и восстановлении неизвестной (или искаженной) части двоичных разрядов заданной
обучающей выборки, что позволяет использовать эту структуру для задачи восстановления искаженной
информации. В отличие от известных методов синтеза многоуровневых логических схем в данной работе
предложен подход к синтезу таких схем путем описания булевой сети на основе алгоритма решения СЛНДУ
в поле вычетов по модулю 2. Этот метод обобщен для структур общего вида с n входами и h выходами, вне
зависимости от того, часть каких разрядов обучающей выборки определена в постановке задачи (младшие
или старшие).</p>
    </sec>
  </body>
  <back>
    <ref-list>
      <ref id="ref1">
        <mixed-citation>
          1.
          <string-name>
            <surname>Palagin</surname>
            <given-names>A.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Opanasenko</surname>
            <given-names>V.N.</given-names>
          </string-name>
          <article-title>Reconfigurable computing technology // Journal Cybernetics</article-title>
          and
          <string-name>
            <given-names>Systems</given-names>
            <surname>Analysis</surname>
          </string-name>
          .
          <article-title>-</article-title>
          <year>2007</year>
          . -
          <volume>43</volume>
          (
          <issue>5</issue>
          ). - P.
          <fpage>675</fpage>
          -
          <lpage>686</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref2">
        <mixed-citation>
          2.
          <string-name>
            <surname>Opanasenko</surname>
            <given-names>V.N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kryvyi</surname>
            <given-names>S.L. Partitioning</given-names>
          </string-name>
          <article-title>the full range of boolean functions based on the threshold and threshold relation // Cybernetics and Systems Analysis</article-title>
          . Springer New York. - 2012. - Vol.
          <volume>48</volume>
          ,
          <string-name>
            <surname>N.</surname>
          </string-name>
          <year>3</year>
          . - P.
          <fpage>459</fpage>
          -
          <lpage>468</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref3">
        <mixed-citation>
          3.
          <string-name>
            <surname>Opanasenko</surname>
            <given-names>V.N.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kryvyi</surname>
            <given-names>S.L.</given-names>
          </string-name>
          <article-title>Synthesis of Adaptive Logical Networks on the Basis of Zhegalkin Polynomials // Cybernetics and Systems Analysis</article-title>
          . Springer New York. - November
          <year>2015</year>
          . - Vol.
          <volume>51</volume>
          ,
          <issue>6</issue>
          . - P.
          <fpage>969</fpage>
          -
          <lpage>977</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref4">
        <mixed-citation>
          4.
          <string-name>
            <surname>Palagin</surname>
            <given-names>A.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Opanasenko</surname>
            <given-names>V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Kryvyi</surname>
            <given-names>S.</given-names>
          </string-name>
          <article-title>The structure of FPGA-based cyclic-code converters //</article-title>
          <source>Journal Optical Memory &amp; Neural Networks (Information Optics)</source>
          .
          <source>- 2013</source>
          . -
          <volume>22</volume>
          (
          <issue>4</issue>
          ). - P.
          <fpage>207</fpage>
          -
          <lpage>216</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref5">
        <mixed-citation>
          5.
          <string-name>
            <surname>Palagin</surname>
            <given-names>A.V.</given-names>
          </string-name>
          ,
          <string-name>
            <surname>Opanasenko</surname>
            <given-names>V.N.</given-names>
          </string-name>
          <article-title>Design and application of the PLD-based reconfigurable devices // In: Design of Digital Systems</article-title>
          and Devices, Springer, Verlag, Berlin, Heidelberg. - 2011. - Vol.
          <volume>79</volume>
          . - P.
          <fpage>59</fpage>
          -
          <lpage>91</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref6">
        <mixed-citation>
          6.
          <string-name>
            <surname>Kryvyi</surname>
            <given-names>S.L.</given-names>
          </string-name>
          <article-title>Algorithms for solving systems of linear Diophantine equations in integer domains // Journal Cybernetics</article-title>
          and
          <string-name>
            <given-names>Systems</given-names>
            <surname>Analysis</surname>
          </string-name>
          .
          <article-title>-</article-title>
          <year>2006</year>
          . -
          <volume>42</volume>
          (
          <issue>2</issue>
          ). - P.
          <fpage>163</fpage>
          -
          <lpage>175</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref7">
        <mixed-citation>
          7.
          <string-name>
            <surname>Kryvyi</surname>
            <given-names>S.L.</given-names>
          </string-name>
          <article-title>Algorithms for solving systems of linear Diophantine equations in residue fields // Journal Cybernetics</article-title>
          and
          <string-name>
            <given-names>Systems</given-names>
            <surname>Analysis</surname>
          </string-name>
          .
          <article-title>-</article-title>
          <year>2007</year>
          . -
          <volume>43</volume>
          (
          <issue>2</issue>
          ). - P.
          <fpage>171</fpage>
          -
          <lpage>178</lpage>
          .
        </mixed-citation>
      </ref>
      <ref id="ref8">
        <mixed-citation>
          <string-name>
            <surname>H-index: Google</surname>
          </string-name>
          Scholar -
          <volume>5</volume>
          ; Scopus - 1.
        </mixed-citation>
      </ref>
      <ref id="ref9">
        <mixed-citation>http://orcid.org/0000-0002-5175-9522.</mixed-citation>
      </ref>
      <ref id="ref10">
        <mixed-citation>
          <string-name>
            <surname>H-index: Google</surname>
          </string-name>
          Scholar -
          <volume>15</volume>
          ; Scopus - 4.
        </mixed-citation>
      </ref>
      <ref id="ref11">
        <mixed-citation>http://orcid.org/0000-0065-0736-4579.</mixed-citation>
      </ref>
    </ref-list>
  </back>
</article>