<!DOCTYPE article
PUBLIC "-//NLM//DTD JATS (Z39.96) Journal Publishing DTD v1.4 20190208//EN"
       "JATS-journalpublishing1.dtd">
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" article-type="research-article" dtd-version="1.4" xml:lang="en">
 <front>
  <journal-meta>
   <journal-id journal-id-type="publisher-id">Transport automation research</journal-id>
   <journal-title-group>
    <journal-title xml:lang="en">Transport automation research</journal-title>
    <trans-title-group xml:lang="ru">
     <trans-title>Автоматика на транспорте</trans-title>
    </trans-title-group>
   </journal-title-group>
   <issn publication-format="print">2412-9186</issn>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="publisher-id">81876</article-id>
   <article-categories>
    <subj-group subj-group-type="toc-heading" xml:lang="ru">
     <subject>Проектирование и тестирование логических устройств</subject>
    </subj-group>
    <subj-group subj-group-type="toc-heading" xml:lang="en">
     <subject>Design and testing of logic devices</subject>
    </subj-group>
    <subj-group>
     <subject>Проектирование и тестирование логических устройств</subject>
    </subj-group>
   </article-categories>
   <title-group>
    <article-title xml:lang="en">Organization of concurrent error-detection systems of combinational logical circuits on the basis of Boolean complement method with «one-out-of-ﬁve» constant-weight code</article-title>
    <trans-title-group xml:lang="ru">
     <trans-title>Организация систем функционального контроля комбинационных логических схем на основе метода логического дополнения по равновесному коду «1 из 5»</trans-title>
    </trans-title-group>
   </title-group>
   <contrib-group content-type="authors">
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Пивоваров</surname>
       <given-names>Дмитрий Вячеславович </given-names>
      </name>
      <name xml:lang="en">
       <surname>Pyvovarov</surname>
       <given-names>Dmitry V </given-names>
      </name>
     </name-alternatives>
     <email>pivovarov.d.v.spb@gmail.com</email>
     <xref ref-type="aff" rid="aff-1"/>
    </contrib>
   </contrib-group>
   <aff-alternatives id="aff-1">
    <aff>
     <institution xml:lang="ru">Петербургский государственный университет путей сообщения Императора Александра I</institution>
     <country>ru</country>
    </aff>
    <aff>
     <institution xml:lang="en">Emperor Alexander I St. Petersburg state transport university</institution>
     <country>ru</country>
    </aff>
   </aff-alternatives>
   <pub-date publication-format="print" date-type="pub" iso-8601-date="2017-12-25T18:22:47+03:00">
    <day>25</day>
    <month>12</month>
    <year>2017</year>
   </pub-date>
   <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2017-12-25T18:22:47+03:00">
    <day>25</day>
    <month>12</month>
    <year>2017</year>
   </pub-date>
   <volume>3</volume>
   <issue>4</issue>
   <fpage>605</fpage>
   <lpage>624</lpage>
   <history>
    <date date-type="received" iso-8601-date="2017-12-12T18:22:47+03:00">
     <day>12</day>
     <month>12</month>
     <year>2017</year>
    </date>
    <date date-type="accepted" iso-8601-date="2017-12-15T18:22:47+03:00">
     <day>15</day>
     <month>12</month>
     <year>2017</year>
    </date>
   </history>
   <self-uri xlink:href="https://itt-pgups.ru/en/nauka/article/81876/view">https://itt-pgups.ru/en/nauka/article/81876/view</self-uri>
   <abstract xml:lang="ru">
    <p>При построении систем диагностирования логических устройств необходимо обеспечение полной самопроверяемости. В структурах функционального контроля, построенных по методу логического дополнения, данная проблема решается достаточно просто, так как один и тот же код может иметь различные реализации. Кроме того, выбирая способ реализации и последовательность выходов или способ разбиения выходов на группы, можно влиять как на сложность конечной структуры, так и на ее обнаруживающую способность. При использовании метода логического дополнения имеет смысл использовать различные равновесные коды, так как в этом случае для полной самопроверяемости тестера достаточно обеспечить появление всех комбинаций равновесного кода. Ранее исследовались различные варианты построения схем по равновесным кодам «1 из 3» и «1 из 4». В данной статье анализируется один из вариантов построения схем на основе равновесного кода «1 из 5», а также влияние изменения последовательности выходов на сложность конечной структуры и ее обнаруживающую способность. Данный вариант дополнения до равновесного «1 из 5» кода был разработан так, чтобы в структурах, построенных по этому коду, обеспечивалась полная самопроверяемость как тестера, так и элементов «сложение по модулю два». Были проведены эксперименты на наборе контрольных примеров, имеющих 5 выходов. В ходе эксперимента анализировались характеристики структур со всеми возможными последовательностями выходов. Было показано, что последовательность выходов сильно влияет как на сложность конечной структуры, так и на ее обнаруживающую способность.</p>
   </abstract>
   <trans-abstract xml:lang="en">
    <p>In the process of building diagnostics systems of logical units, the issue of providing full self-checking ability is particularly sensitive. In the structures of functional control, built by means of Boolean component method, the issue in question is solved fairly easily, as one and the same code may have different realizations. Also in the process of choosing the method of output realization and sequence, as well as the method of clustering outputs, one can inﬂuence both the ﬁnite structure’s complexity and its detectivity. In the process of Boolean complement method application it is convenient to use different constant-weight codes, as, in order to provide complete self-checking ability of a tester, it is sufﬁcient to provide the appearance of all constant-weight code combinations, when using such codes. There are studies dealing with the investigation of different variants of building «1-out-of-3» and «1-out-of-4» constant-weight codes. One of the variants of building a «1-out-of-5» constant-weight code, as well as the inﬂuence of output sequence alteration on the ﬁnite structure’s com- plexity and its detectivity, was analyzed in the given article. The introduced vari- ant of a «1-out-of-5» constant-weight code was developed in such a way as to provide full self-checking ability of both the tester and «modulo two addition» elements in the structures built by this code. The experiments were conducted on a number of benchmarks, having ﬁve outputs. Structures’ characteristics with all possible output sequences were analyzed in the experiment. It was shown that the sequence of outputs markedly affects both the ﬁnite structure’s complexity and its self-checking ability.</p>
   </trans-abstract>
   <kwd-group xml:lang="ru">
    <kwd>система диагностирования</kwd>
    <kwd>логическое дополнение</kwd>
    <kwd>равновесные коды</kwd>
    <kwd>код «1 из 5»</kwd>
    <kwd>функциональное диагностирование</kwd>
    <kwd>площадь системы диагностирования</kwd>
   </kwd-group>
   <kwd-group xml:lang="en">
    <kwd>diagnostics system</kwd>
    <kwd>Boolean complement</kwd>
    <kwd>constant-weight codes</kwd>
    <kwd>«1-out-of-5» code</kwd>
    <kwd>on-line diagnosis</kwd>
    <kwd>diagnostics system’s area</kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <p></p>
 </body>
 <back>
  <ref-list/>
 </back>
</article>
