<!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">84380</article-id>
   <article-id pub-id-type="doi">10.20295/2412-9186-2024-10-02-178-189</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>TECHNICAL DIAGNOSTICS AND CONTROLLABLE SYSTEMS</subject>
    </subj-group>
    <subj-group>
     <subject>ТЕХНИЧЕСКАЯ ДИАГНОСТИКА И КОНТРОЛЕПРИГОДНЫЕ СИСТЕМЫ</subject>
    </subj-group>
   </article-categories>
   <title-group>
    <article-title xml:lang="en">Search for signaling races in fuzzy asynchronous automata</article-title>
    <trans-title-group xml:lang="ru">
     <trans-title>ПОИСК СОСТЯЗАНИЙ СИГНАЛОВ В НЕЧЕТКИХ АСИНХРОННЫХ АВТОМАТАХ</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>Speranskiy</surname>
       <given-names>Dmitry Vasilievich</given-names>
      </name>
     </name-alternatives>
     <email>speranskiy.dv@gmail.com</email>
     <bio xml:lang="ru">
      <p>доктор технических наук;</p>
     </bio>
     <bio xml:lang="en">
      <p>doctor of technical sciences;</p>
     </bio>
     <xref ref-type="aff" rid="aff-1"/>
    </contrib>
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Лунев</surname>
       <given-names>Сергей Александрович</given-names>
      </name>
      <name xml:lang="en">
       <surname>Lunev</surname>
       <given-names>Sergey Aleksandrovich</given-names>
      </name>
     </name-alternatives>
     <email>slunev@mail.ru</email>
     <bio xml:lang="ru">
      <p>кандидат технических наук;</p>
     </bio>
     <bio xml:lang="en">
      <p>candidate of technical sciences;</p>
     </bio>
     <xref ref-type="aff" rid="aff-2"/>
    </contrib>
   </contrib-group>
   <aff-alternatives id="aff-1">
    <aff>
     <institution xml:lang="ru">Российский университет транспорта (МИИТ)</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Russian University of Transport (MIIT)</institution>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-2">
    <aff>
     <institution xml:lang="ru">Российский университет транспорта (МИИТ)</institution>
     <city>Москва</city>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Russian University of Transport (MIIT)</institution>
     <city>Москва</city>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <pub-date publication-format="print" date-type="pub" iso-8601-date="2024-06-24T00:00:00+03:00">
    <day>24</day>
    <month>06</month>
    <year>2024</year>
   </pub-date>
   <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2024-06-24T00:00:00+03:00">
    <day>24</day>
    <month>06</month>
    <year>2024</year>
   </pub-date>
   <volume>10</volume>
   <issue>2</issue>
   <fpage>178</fpage>
   <lpage>189</lpage>
   <history>
    <date date-type="received" iso-8601-date="2024-06-21T00:00:00+03:00">
     <day>21</day>
     <month>06</month>
     <year>2024</year>
    </date>
   </history>
   <self-uri xlink:href="https://pgups.editorum.ru/en/nauka/article/84380/view">https://pgups.editorum.ru/en/nauka/article/84380/view</self-uri>
   <abstract xml:lang="ru">
    <p>Статья посвящена задаче поиска и ликвидации состязаний сигналов в электронных устройствах. Объектами исследования являются дискретные устройства с памятью, работа которых описывается с использованием математической модели нечеткого автомата. Предложена модель нечеткого автомата, которая учитывает специфику рассматриваемой задачи. В этой модели феномен нечеткости проявляется в переходах между состояниями нечеткого автомата. Как и в случае классического (четкого) автомата, задача сводится к противогоночному кодированию состояний нечеткого автомата. В статье предложена концепция построения методов такого кодирования для нечеткого автомата. Идея его состоит в преобразовании заданного нечеткого автомата в виде нечеткого графа в некоторый специальный четкий граф. Дается описание процедуры такого преобразования. Показано, что все возможные состязания, возникающие на нечетком графе, задающем нечеткий автомат, являются подмножеством состязаний, возникающих на преобразованном упомянутым методом четком графе. Поскольку для поиска состязаний сигналов в четких автоматах разработан обширный арсенал методов, он может быть применен к нечетким автоматам.</p>
   </abstract>
   <trans-abstract xml:lang="en">
    <p>The object of study is discrete devices with memory, which describes the operation of such devices by using the mathematical model of fuzzy automaton. The fuzzy automaton model is proposed, which takes into account the specifics of the problem under consideration. In this model, the phenomenon of fuzzyness is manifested in the transitions between the states of the fuzzy automaton. As in the case of a classical automaton, the problem is reduced to the counterhonking coding of fuzzy automaton states. The paper proposes a principle of construction of methods of such coding for fuzzy automaton. Its idea consists in transformation of a given fuzzy automaton in the form of a fuzzy graph into some special classical graph. A description of the procedure of such transformation is given. It is proved that all possible races on the fuzzy graph given fuzzy automaton, are a subset of the races occurring on the classical graph transformed by the mentioned procedure. Since an extensive arsenal of methods has been developed for finding signal races in classical automata, it can be applied to fuzzy automaton.</p>
   </trans-abstract>
   <kwd-group xml:lang="ru">
    <kwd>надежность электронных устройств</kwd>
    <kwd>состязания сигналов</kwd>
    <kwd>модели нечетких устройств</kwd>
    <kwd>нечеткие автоматы и графы</kwd>
    <kwd>преобразования нечетких графов в четкие</kwd>
    <kwd>методы противогоночного кодирования для нечетких автоматов</kwd>
   </kwd-group>
   <kwd-group xml:lang="en">
    <kwd>reliability of electronic devices</kwd>
    <kwd>signal races</kwd>
    <kwd>models of fuzzy device</kwd>
    <kwd>fuzzy automata and graphs</kwd>
    <kwd>transformations of fuzzy graphs into classical ones</kwd>
    <kwd>methods of counterhonking coding for fuzzy automaton</kwd>
   </kwd-group>
  </article-meta>
 </front>
 <body>
  <p></p>
 </body>
 <back>
  <ref-list>
   <ref id="B1">
    <label>1.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сагалович Ю. Л. Метод повышения надежности конечного автомата / Ю. Л. Сагалович // Проблемы передачи информации. 1965. Т. 1, вып. 1. С. 27–35.</mixed-citation>
     <mixed-citation xml:lang="en">Sagalovich Yu. L. Metod povysheniya nadezhnosti konechnogo avtomata / Yu. L. Sagalovich // Problemy peredachi informacii. 1965. T. 1, vyp. 1. S. 27–35.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B2">
    <label>2.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Закревский А. Д., Поттосин Ю. В., Черемисинова Л. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. Черемисинова. М.: ФИЗМАТЛИТ, 2007. 592 с.</mixed-citation>
     <mixed-citation xml:lang="en">Zakrevskiy A. D., Pottosin Yu. V., Cheremisinova L. D. Logicheskie osnovy proektirovaniya diskretnyh ustroystv / A. D. Zakrevskiy, Yu. V. Pottosin, L. D. Cheremisinova. M.: FIZMATLIT, 2007. 592 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B3">
    <label>3.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Фомичев В. С. Формальные языки, грамматики и автоматы: / Курс лекций [Сайт] / СПб. 2006. URL: https://old.etu.ru/misc/LGA_2007 FINAL/Index/html.</mixed-citation>
     <mixed-citation xml:lang="en">Fomichev V. S. Formal'nye yazyki, grammatiki i avtomaty: / Kurs lekciy [Sayt] / SPb. 2006. URL: https://old.etu.ru/misc/LGA_2007 FINAL/Index/html.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B4">
    <label>4.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Буркатовская Л. И., Буркатовская Ю. Б. Логическое проектирование дискретных устройств / Л. И. Буркатовская, Ю. Б. Буркатовская. Томск: Томский госуниверситет. 2011. 172 с.</mixed-citation>
     <mixed-citation xml:lang="en">Burkatovskaya L. I., Burkatovskaya Yu. B. Logicheskoe proektirovanie diskretnyh ustroystv / L. I. Burkatovskaya, Yu. B. Burkatovskaya. Tomsk: Tomskiy gosuniversitet. 2011. 172 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B5">
    <label>5.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Zadeh L. A. (1965) Fuzzy sets. Information and Control. Vol. 8, iss. 3. P. 338–353.</mixed-citation>
     <mixed-citation xml:lang="en">Zadeh L. A. (1965) Fuzzy sets. Information and Control. Vol. 8, iss. 3. P. 338–353.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B6">
    <label>6.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Кофман А. Введение в теорию нечетких множеств / А. Кофман. М.: Радио и связь. 1982. 432 с.</mixed-citation>
     <mixed-citation xml:lang="en">Kofman A. Vvedenie v teoriyu nechetkih mnozhestv / A. Kofman. M.: Radio i svyaz'. 1982. 432 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B7">
    <label>7.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сперанский Д. В. Эксперименты с нечеткими автоматами / Д. В. Сперанский // Автоматика и телемеханика. 2015. № 2. С. 107–124. EDN: TOBFFF.</mixed-citation>
     <mixed-citation xml:lang="en">Speranskiy D. V. Eksperimenty s nechetkimi avtomatami / D. V. Speranskiy // Avtomatika i telemehanika. 2015. № 2. S. 107–124. EDN: TOBFFF.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B8">
    <label>8.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Santos E. Maximin automata/ E. Santos // Information and Control. 1968. Vol. 13. P. 363–377.</mixed-citation>
     <mixed-citation xml:lang="en">Santos E. Maximin automata/ E. Santos // Information and Control. 1968. Vol. 13. P. 363–377.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B9">
    <label>9.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Topencharov V., Stoeva S. Fuzzy-topological automata / V. Topencharov, S. Stoeva // Fuzzy Sets and Systems. 1985. Vol. 16, iss. 1. P. 65–74.</mixed-citation>
     <mixed-citation xml:lang="en">Topencharov V., Stoeva S. Fuzzy-topological automata / V. Topencharov, S. Stoeva // Fuzzy Sets and Systems. 1985. Vol. 16, iss. 1. P. 65–74.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B10">
    <label>10.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Reyneri L. M. An Introduction to Fuzzy State Automata. Biological and Artificial Computation: From Neuroscience to Technology / L. M. Reyneri // Lecture Notes in Computer Science. 1997. Vol. 1240. P. 273–283.</mixed-citation>
     <mixed-citation xml:lang="en">Reyneri L. M. An Introduction to Fuzzy State Automata. Biological and Artificial Computation: From Neuroscience to Technology / L. M. Reyneri // Lecture Notes in Computer Science. 1997. Vol. 1240. P. 273–283.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B11">
    <label>11.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сперанский Д. В. Синтез обнаруживающих тестов для нечетких автоматов с конечной памятью / Д. В. Сперанский // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. 2024. № 66. С. 120–127. DOI: 10.17223/19988605/66/12. EDN: PLAEMB.</mixed-citation>
     <mixed-citation xml:lang="en">Speranskiy D. V. Sintez obnaruzhivayuschih testov dlya nechetkih avtomatov s konechnoy pamyat'yu / D. V. Speranskiy // Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tehnika i informatika. 2024. № 66. S. 120–127. DOI: 10.17223/19988605/66/12. EDN: PLAEMB.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B12">
    <label>12.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сперанский Д. В. О задаче обращения выходов нечетких дискретных систем / Д. В. Сперанский // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2022. Т. 22, № 1. С. 112–122. DOI: 10.18500/1816– 9791-2022-22-1-112-122. EDN: VMOPOL.</mixed-citation>
     <mixed-citation xml:lang="en">Speranskiy D. V. O zadache obrascheniya vyhodov nechetkih diskretnyh sistem / D. V. Speranskiy // Izvestiya Saratovskogo universiteta. Novaya seriya. Seriya: Matematika. Mehanika. Informatika. 2022. T. 22, № 1. S. 112–122. DOI: 10.18500/1816– 9791-2022-22-1-112-122. EDN: VMOPOL.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B13">
    <label>13.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Горелик А. В., Журавлев И. А., Орлов А. В. и др. Тестирование систем с нечеткими дискретными компонентами / А. В. Горелик, И. А. Журавлев, А. В. Орлов, Д. В. Сперанский // Автоматика на транспорте. 2020. Т. 6, № 4. С. 518–531. DOI: 10.20295/2412-9186- 2020-6-4-518-531. EDN: ZXTJIM.</mixed-citation>
     <mixed-citation xml:lang="en">Gorelik A. V., Zhuravlev I. A., Orlov A. V. i dr. Testirovanie sistem s nechetkimi diskretnymi komponentami / A. V. Gorelik, I. A. Zhuravlev, A. V. Orlov, D. V. Speranskiy // Avtomatika na transporte. 2020. T. 6, № 4. S. 518–531. DOI: 10.20295/2412-9186- 2020-6-4-518-531. EDN: ZXTJIM.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B14">
    <label>14.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сперанский Д. В. Тестирование нечетких линейных автоматов / Д. В. Сперанский // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. 2019. Т. 19, № 2. С. 233–240. DOI: 10.18500/1816-9791-2019-19- 2-233-240. EDN: JPNAKG</mixed-citation>
     <mixed-citation xml:lang="en">Speranskiy D. V. Testirovanie nechetkih lineynyh avtomatov / D. V. Speranskiy // Izvestiya Saratovskogo universiteta. Novaya seriya. Seriya: Matematika. Mehanika. Informatika. 2019. T. 19, № 2. S. 233–240. DOI: 10.18500/1816-9791-2019-19- 2-233-240. EDN: JPNAKG</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B15">
    <label>15.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сперанский Д. В. Синтез тестов для нечетких линейных автоматов // Танаевские чтения: Доклады Восьмой Международной научной конференции — НАН Беларуси, Объединенный институт проблем информатики, Институт математики, Белорусский госуниверситет. 2018. Минск. С. 161–165.</mixed-citation>
     <mixed-citation xml:lang="en">Speranskiy D. V. Sintez testov dlya nechetkih lineynyh avtomatov // Tanaevskie chteniya: Doklady Vos'moy Mezhdunarodnoy nauchnoy konferencii — NAN Belarusi, Ob'edinennyy institut problem informatiki, Institut matematiki, Belorusskiy gosuniversitet. 2018. Minsk. S. 161–165.</mixed-citation>
    </citation-alternatives>
   </ref>
  </ref-list>
 </back>
</article>
