<!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">104286</article-id>
   <article-id pub-id-type="doi">10.20295/2412-9186-2025-11-03-264-279</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">Self-Checking Discrete Device Synthesis Using Parity Code Properties and Self-Duality Boolean Functions</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>Efanov</surname>
       <given-names>Dmitriy Viktorovich</given-names>
      </name>
     </name-alternatives>
     <email>TrES-4b@yandex.ru</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"/>
     <xref ref-type="aff" rid="aff-2"/>
     <xref ref-type="aff" rid="aff-3"/>
     <xref ref-type="aff" rid="aff-4"/>
     <xref ref-type="aff" rid="aff-5"/>
    </contrib>
   </contrib-group>
   <aff-alternatives id="aff-1">
    <aff>
     <institution xml:lang="ru">Санкт-Петербургский политехнический университет Петра Великого</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Peter the Great Saint Petersburg Polytechnic University</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">Peter the Great Saint Petersburg Polytechnic University</institution>
     <city>Saint-Petersburg</city>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-3">
    <aff>
     <institution xml:lang="ru">Российский университет транспорта (МИИТ)</institution>
     <city>Москва</city>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Russian University of Transport (MIIT)</institution>
     <city>Moscow</city>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-4">
    <aff>
     <institution xml:lang="ru">Ташкентский государственный транспортный университет</institution>
     <city>Ташкент</city>
     <country>Узбекистан</country>
    </aff>
    <aff>
     <institution xml:lang="en">Tashkent State Transport University</institution>
     <city>Tashkent</city>
     <country>Uzbekistan</country>
    </aff>
   </aff-alternatives>
   <aff-alternatives id="aff-5">
    <aff>
     <institution xml:lang="ru">Институт проблем транспорта им. Н. С. Соломенко Российской Академии наук</institution>
     <country>Россия</country>
    </aff>
    <aff>
     <institution xml:lang="en">Institute of Transport Problems named after N. S. Solomenko of the Russian Academy of Sciences</institution>
     <country>Russian Federation</country>
    </aff>
   </aff-alternatives>
   <pub-date publication-format="print" date-type="pub" iso-8601-date="2025-09-17T00:00:00+03:00">
    <day>17</day>
    <month>09</month>
    <year>2025</year>
   </pub-date>
   <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2025-09-17T00:00:00+03:00">
    <day>17</day>
    <month>09</month>
    <year>2025</year>
   </pub-date>
   <volume>11</volume>
   <issue>3</issue>
   <fpage>264</fpage>
   <lpage>279</lpage>
   <history>
    <date date-type="received" iso-8601-date="2025-09-17T00:00:00+03:00">
     <day>17</day>
     <month>09</month>
     <year>2025</year>
    </date>
   </history>
   <self-uri xlink:href="https://atjournal.ru/en/nauka/article/104286/view">https://atjournal.ru/en/nauka/article/104286/view</self-uri>
   <abstract xml:lang="ru">
    <p>В статье показано, что известная структура организации схем встроенного контроля по признаку самодвойственности с предварительным сжатием сигналов от объекта диагностирования с использованием функции паритета (модифицированная структура контроля по паритету) позволяет строить полностью самопроверяемые дискретные устройства не для любых исходных объектов. Доказано, что при контроле вычислений по признаку самодвойственности с предварительным сжатием сигналов от объекта диагностирования по паритету неисправности элементов сложения по модулю 2 в кодере кода паритета не обнаруживаются в том случае, если не меняется четность подвектора информационного вектора, генерируемого на выходах, связанных путями с отказавшим элементом. Это обстоятельство накладывает ограничения на использование известной модифицированной структуры контроля по паритету при синтезе самопроверяемых дискретных устройств. В статье предложена еще одна модификация структуры контроля по паритету, позволяющая нивелировать отмеченный недостаток известной структуры за счет контроля вычислений и по паритету, и по принадлежности функции, описывающей контрольный выход, классу самодвойственных булевых функций. При незначительном усложнении схемы встроенного контроля по сравнению со схемой контроля по паритету удается существенно повысить характеристики контролепригодности. Дальнейшие исследования новой модифицированной структуры организации схем встроенного контроля по паритету позволят определить критерии ее применимости при синтезе самопроверяемых дискретных устройств</p>
   </abstract>
   <trans-abstract xml:lang="en">
    <p>Abstract: The paper demonstrates that the established organizational structure of the concurrent error-detection circuit, founded on the self-duality feature with preliminary signal compression from the diagnostic object employing the parity function (a modified parity control structure), enables the comprehensive self-checking discrete devices for specific initial objects. As demonstrated, when conducting control checking calculations based on the self-duality feature with preliminary compression of signals from the diagnostic object by parity, faults in the modulo-2 addition gates of the parity code encoder are not detected. This is provided that the parity of the sub-vector of the data vector, generated at outputs connected by paths with the failed gate, remains unchanged. This imposes certain restrictions on the use of the established modified parity control structure in the self-checking discrete device synthesis. The paper presents a further modification to the parity testing structure. The proposed structure overcomes the known structure’s drawback by ensuring calculation control through both parity and assigning the function describing the control output to the class of self-dual Boolean functions. Due to the minor complication of the CED circuit compared to the parity check circuit, it is possible to significantly improve the testability characteristics. Further studies of the new organization structure of CED parity check circuits will allow us to determine the criteria of its applicability in the self-checking discrete device synthesis.</p>
   </trans-abstract>
   <kwd-group xml:lang="ru">
    <kwd>обнаружение неисправностей в дискретных устройствах; самопроверяемое дискретное устройство; контроль самодвойственности булевых функций; контроль вычислений по паритету; самопроверяемая схема встроенного контроля; тестируемость компонентов схем контроля</kwd>
   </kwd-group>
   <kwd-group xml:lang="en">
    <kwd>discrete device fault detection; self-checking discrete device; Boolean complement self-duality control; parity computing check; concurrent error-detection circuit; control circuit component testability</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">Глушков В. М. Синтез цифровых автоматов / В. М. Глуш- ков. — М.: ЛЕНАНД, 2022. — 480 с.</mixed-citation>
     <mixed-citation xml:lang="en">Glushkov V. M. Sintez cifrovyh avtomatov / V. M. Glush- kov. — M.: LENAND, 2022. — 480 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B2">
    <label>2.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Мосин С. Г. Подход к выбору метода тестирования сме- шанных интегральных схем на основе стоимостной модели / С. Г. Мосин // Управление большими система- ми. — 2013. — № 41. — С. 344–356.</mixed-citation>
     <mixed-citation xml:lang="en">Mosin S. G. Podhod k vyboru metoda testirovaniya sme- shannyh integral'nyh shem na osnove stoimostnoy modeli / S. G. Mosin // Upravlenie bol'shimi sistema- mi. — 2013. — № 41. — S. 344–356.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B3">
    <label>3.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сперанский Д. В. Генетический алгоритм размещения контрольных точек в цифровом устройстве / Д. В. Спе- ранский // Известия Саратовского университета. Новая серия. Серия: Математика. Механика. Информатика. — 2017. — Т. 17. — № 3. — С. 353–362.</mixed-citation>
     <mixed-citation xml:lang="en">Speranskiy D. V. Geneticheskiy algoritm razmescheniya kontrol'nyh tochek v cifrovom ustroystve / D. V. Spe- ranskiy // Izvestiya Saratovskogo universiteta. Novaya seriya. Seriya: Matematika. Mehanika. Informatika. — 2017. — T. 17. — № 3. — S. 353–362.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B4">
    <label>4.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Hahanov V. Vector Synthesis of Fault Testing Map for Logic / V. Hahanov, W. Gharibi, S. Chumachenko, E. Litvinova // IAES International Journal of Robotics and Automation (IJRA). — 2024. — Vol. 13. — Iss. 3. — Pp. 293–306.</mixed-citation>
     <mixed-citation xml:lang="en">Hahanov V. Vector Synthesis of Fault Testing Map for Logic / V. Hahanov, W. Gharibi, S. Chumachenko, E. Litvinova // IAES International Journal of Robotics and Automation (IJRA). — 2024. — Vol. 13. — Iss. 3. — Pp. 293–306.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B5">
    <label>5.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ubar R. Structural Decision Diagrams in Digital Test: Theory and Applications / R. Ubar, J. Raik, M. Jenihhin, A. Jutman. — Switzerland: Springer Nature, 2024. — 595 p.</mixed-citation>
     <mixed-citation xml:lang="en">Ubar R. Structural Decision Diagrams in Digital Test: Theory and Applications / R. Ubar, J. Raik, M. Jenihhin, A. Jutman. — Switzerland: Springer Nature, 2024. — 595 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B6">
    <label>6.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Пархоменко П. П. Основы технической диагностики (оптимизация алгоритмов диагностирования, аппара- турные средства) / П. П. Пархоменко, Е. С. Согомонян. — М.: Энергоатомиздат, 1981. — 320 с.</mixed-citation>
     <mixed-citation xml:lang="en">Parhomenko P. P. Osnovy tehnicheskoy diagnostiki (optimizaciya algoritmov diagnostirovaniya, appara- turnye sredstva) / P. P. Parhomenko, E. S. Sogomonyan. — M.: Energoatomizdat, 1981. — 320 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B7">
    <label>7.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Drozd A. Checkability of the Digital Components in Safety- Critical Systems: Problems and Solutions / A. Drozd, V. Kharchenko, S. Antoshchuk, J. Sulima et al. // Proceedings of 9th IEEE East-West Design &amp; Test Symposium (EWDTS’2011). — Sevastopol, Ukraine, 2011. — Pp. 411– 416.</mixed-citation>
     <mixed-citation xml:lang="en">Drozd A. Checkability of the Digital Components in Safety- Critical Systems: Problems and Solutions / A. Drozd, V. Kharchenko, S. Antoshchuk, J. Sulima et al. // Proceedings of 9th IEEE East-West Design &amp; Test Symposium (EWDTS’2011). — Sevastopol, Ukraine, 2011. — Pp. 411– 416.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B8">
    <label>8.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Дискретные автоматы с обнаружением отказов / В. В. Сапожников, Вл. В. Сапожников. — Л.: Энергоатомиздат, 1984. — 112 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Diskretnye avtomaty s obnaruzheniem otkazov / V. V. Sapozhnikov, Vl. V. Sapozhnikov. — L.: Energoatomizdat, 1984. — 112 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B9">
    <label>9.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Согомонян Е. С. Самопроверяемые устройства и отка- зоустойчивые системы / Е. С. Согомонян, Е. В. Сла- баков. — М.: Радио и связь, 1989. — 208 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sogomonyan E. S. Samoproveryaemye ustroystva i otka- zoustoychivye sistemy / E. S. Sogomonyan, E. V. Sla- bakov. — M.: Radio i svyaz', 1989. — 208 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B10">
    <label>10.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Juracy L. R. Optimized Design of an LSSD Scan Cell / L. R. Juracy, M. T. Moreira, F. A. Kuentzer, A. M. Amory // IEEE Transactions on Very Large Scale Integration (VLSI) Systems. — 2017. — Vol. 25. — Iss. 2. — Pp. 765–768.</mixed-citation>
     <mixed-citation xml:lang="en">Juracy L. R. Optimized Design of an LSSD Scan Cell / L. R. Juracy, M. T. Moreira, F. A. Kuentzer, A. M. Amory // IEEE Transactions on Very Large Scale Integration (VLSI) Systems. — 2017. — Vol. 25. — Iss. 2. — Pp. 765–768.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B11">
    <label>11.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Mitra S. Which Concurrent Error Detection Scheme to Choose? / S. Mitra, E. J. McCluskey // Proceedings of International Test Conference. — USA, Atlantic City, NJ, 2000. — Pp. 985–994.</mixed-citation>
     <mixed-citation xml:lang="en">Mitra S. Which Concurrent Error Detection Scheme to Choose? / S. Mitra, E. J. McCluskey // Proceedings of International Test Conference. — USA, Atlantic City, NJ, 2000. — Pp. 985–994.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B12">
    <label>12.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Chioktour V. Adaptive BIST for Concurrent On-Line Testing on Combinational Circuits / V. Chioktour, A. Kakarountas // Electronics. — 2022. — Vol. 19. — Iss. 11. — Pp. 1–20.</mixed-citation>
     <mixed-citation xml:lang="en">Chioktour V. Adaptive BIST for Concurrent On-Line Testing on Combinational Circuits / V. Chioktour, A. Kakarountas // Electronics. — 2022. — Vol. 19. — Iss. 11. — Pp. 1–20.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B13">
    <label>13.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Sahana A. R. Application of Error Detection and Correction Techniques to Self-Checking VLSI Systems: An Overview / A. R. Sahana, V. Chiraag, G. Suresh, P. Thejaswini et al. // Proceedings of 2023 IEEE Guwahati Subsection Conference (GCON). — Guwahati, 2023.</mixed-citation>
     <mixed-citation xml:lang="en">Sahana A. R. Application of Error Detection and Correction Techniques to Self-Checking VLSI Systems: An Overview / A. R. Sahana, V. Chiraag, G. Suresh, P. Thejaswini et al. // Proceedings of 2023 IEEE Guwahati Subsection Conference (GCON). — Guwahati, 2023.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B14">
    <label>14.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Коды с суммированием для систем технического диагностирования. Том 1: Классические коды Бергера и их модификации / В. В. Сапожников, Вл. В. Сапожников, Д. В. Ефанов. — М.: Наука, 2020. — 383 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya. Tom 1: Klassicheskie kody Bergera i ih modifikacii / V. V. Sapozhnikov, Vl. V. Sapozhnikov, D. V. Efanov. — M.: Nauka, 2020. — 383 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B15">
    <label>15.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Коды с суммированием для систем технического диагностирования. Том 2: Взвешенные коды с суммированием / В. В. Сапожников, Вл. В. Сапож- ников, Д. В. Ефанов. — М.: Наука, 2021. — 455 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Kody s summirovaniem dlya sistem tehnicheskogo diagnostirovaniya. Tom 2: Vzveshennye kody s summirovaniem / V. V. Sapozhnikov, Vl. V. Sapozh- nikov, D. V. Efanov. — M.: Nauka, 2021. — 455 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B16">
    <label>16.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сагалович Ю. Л. Обнаружение неисправностей в схем- ной реализации системы монотонных булевых функ- ций / Ю. Л. Сагалович, В. Ю. Соломенников // Проблемы передачи информации. — 1997. — Т. 33. — № 2. — С. 81–93.</mixed-citation>
     <mixed-citation xml:lang="en">Sagalovich Yu. L. Obnaruzhenie neispravnostey v shem- noy realizacii sistemy monotonnyh bulevyh funk- ciy / Yu. L. Sagalovich, V. Yu. Solomennikov // Problemy peredachi informacii. — 1997. — T. 33. — № 2. — S. 81–93.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B17">
    <label>17.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Dmitriev A. New Self-Dual Circuits for Error Detection and Testing / A. Dmitriev, V. Saposhnikov, V. Saposhnikov, M. Goessel // VLSI Design. — 2000. — Vol. 11. — Iss. 1. — Pp. 1–21.</mixed-citation>
     <mixed-citation xml:lang="en">Dmitriev A. New Self-Dual Circuits for Error Detection and Testing / A. Dmitriev, V. Saposhnikov, V. Saposhnikov, M. Goessel // VLSI Design. — 2000. — Vol. 11. — Iss. 1. — Pp. 1–21.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B18">
    <label>18.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Matrosova A. Yu. Self-Checking Synchronous FSM Network Design with Low Overhead / A. Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. — 2000. — Vol. 11. — Iss. 1. — Pp. 47–58.</mixed-citation>
     <mixed-citation xml:lang="en">Matrosova A. Yu. Self-Checking Synchronous FSM Network Design with Low Overhead / A. Yu. Matrosova, I. Levin, S. A. Ostanin // VLSI Design. — 2000. — Vol. 11. — Iss. 1. — Pp. 47–58.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B19">
    <label>19.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Göessel M. New Methods of Concurrent Checking / M. Göessel, V. Ocheretny, E. Sogomonyan, D. Marienfeld. — Dordrecht: Springer Science+Business Media B.V., 2008. — 184 p.</mixed-citation>
     <mixed-citation xml:lang="en">Göessel M. New Methods of Concurrent Checking / M. Göessel, V. Ocheretny, E. Sogomonyan, D. Marienfeld. — Dordrecht: Springer Science+Business Media B.V., 2008. — 184 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B20">
    <label>20.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Яблонский С. В. Введение в дискретную математику / С. В. Яблонский; под ред. В. А. Садовничева. — М.: Высшая школа, 2003. — 384 с.</mixed-citation>
     <mixed-citation xml:lang="en">Yablonskiy S. V. Vvedenie v diskretnuyu matematiku / S. V. Yablonskiy; pod red. V. A. Sadovnicheva. — M.: Vysshaya shkola, 2003. — 384 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B21">
    <label>21.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Saposhnikov Vl. V. Self-Dual Parity Checking — a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel, V. V. Saposhnikov // Proceedings of 14th IEEE VLSI Test Symposium. — USA, Princeton, 1996. — Pp. 162– 168.</mixed-citation>
     <mixed-citation xml:lang="en">Saposhnikov Vl. V. Self-Dual Parity Checking — a New Method for on Line Testing / Vl. V. Saposhnikov, A. Dmitriev, M. Goessel, V. V. Saposhnikov // Proceedings of 14th IEEE VLSI Test Symposium. — USA, Princeton, 1996. — Pp. 162– 168.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B22">
    <label>22.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Самотестируемая структура для функцио- нального обнаружения отказов в комбинационных схе- мах / М. Гессель, А. В. Дмитриев, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. — 1999. — № 11. — С. 162–174.</mixed-citation>
     <mixed-citation xml:lang="en">Gessel' M. Samotestiruemaya struktura dlya funkcio- nal'nogo obnaruzheniya otkazov v kombinacionnyh she- mah / M. Gessel', A. V. Dmitriev, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 1999. — № 11. — S. 162–174.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B23">
    <label>23.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Согомонян Е. С. Построение самопроверяемых схем встроенного контроля для комбинационных устройств / Е. С. Согомонян // Автоматика и телемеханика. — 1974. — № 2. — С. 121–133.</mixed-citation>
     <mixed-citation xml:lang="en">Sogomonyan E. S. Postroenie samoproveryaemyh shem vstroennogo kontrolya dlya kombinacionnyh ustroystv / E. S. Sogomonyan // Avtomatika i telemehanika. — 1974. — № 2. — S. 121–133.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B24">
    <label>24.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Аксенова Г. П. Построение самопроверяемых схем встроенного контроля для автоматов с памятью / Г. П. Аксенова, Е. С. Согомонян // Автоматика и телеме- ханика. — 1975. — № 7. — С. 132–142.</mixed-citation>
     <mixed-citation xml:lang="en">Aksenova G. P. Postroenie samoproveryaemyh shem vstroennogo kontrolya dlya avtomatov s pamyat'yu / G. P. Aksenova, E. S. Sogomonyan // Avtomatika i teleme- hanika. — 1975. — № 7. — S. 132–142.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B25">
    <label>25.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Тестеры самодвойственных и «близких» к ним сигналов / Д. В. Ефанов, Д. В. Пивоваров // Известия высших учебных заведений. Приборостроение. — 2024. — Т. 67. — № 1. — С. 5–19.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Testery samodvoystvennyh i «blizkih» k nim signalov / D. V. Efanov, D. V. Pivovarov // Izvestiya vysshih uchebnyh zavedeniy. Priborostroenie. — 2024. — T. 67. — № 1. — S. 5–19.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B26">
    <label>26.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Аксенова Г. П. Восстановление в дублированных устрой- ствах методом инвертирования данных / Г. П. Аксенова // Автоматика и телемеханика. — 1987. — № 10. — С. 144–153.</mixed-citation>
     <mixed-citation xml:lang="en">Aksenova G. P. Vosstanovlenie v dublirovannyh ustroy- stvah metodom invertirovaniya dannyh / G. P. Aksenova // Avtomatika i telemehanika. — 1987. — № 10. — S. 144–153.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B27">
    <label>27.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Гессель М. Обнаружение неисправностей всамопроверя- емых комбинационных схемах с использованием свойств самодвойственных функций / М. Гессель, В. И. Мошанин, В. В. Сапожников, Вл. В. Сапожников // Автоматика и телемеханика. — 1997. — № 12. — С. 193–200.</mixed-citation>
     <mixed-citation xml:lang="en">Gessel' M. Obnaruzhenie neispravnostey vsamoproverya- emyh kombinacionnyh shemah s ispol'zovaniem svoystv samodvoystvennyh funkciy / M. Gessel', V. I. Moshanin, V. V. Sapozhnikov, Vl. V. Sapozhnikov // Avtomatika i telemehanika. — 1997. — № 12. — S. 193–200.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B28">
    <label>28.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Сапожников В. В. Самодвойственные дискретные устройства / В. В. Сапожников, Вл. В. Сапожников, М. Гессель. — СПб.: Энергоатомиздат, 2001. — 331 с.</mixed-citation>
     <mixed-citation xml:lang="en">Sapozhnikov V. V. Samodvoystvennye diskretnye ustroystva / V. V. Sapozhnikov, Vl. V. Sapozhnikov, M. Gessel'. — SPb.: Energoatomizdat, 2001. — 331 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B29">
    <label>29.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Особенности реализации самопроверяе- мых структур на основе метода инвертирования данных и линейных кодов / Д. В. Ефанов // Вестник Томского государственного университета. Управление, вычисли- тельная техника и информатика. — 2023. — № 65. — С. 126–138.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Osobennosti realizacii samoproveryae- myh struktur na osnove metoda invertirovaniya dannyh i lineynyh kodov / D. V. Efanov // Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychisli- tel'naya tehnika i informatika. — 2023. — № 65. — S. 126–138.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B30">
    <label>30.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Исследование свойств самодвойственных комбинационных устройств с контролем вычислений на основе кодов Хэмминга / Д. В. Ефанов, Т. С. Погодина // Информатика и автоматизация. — 2023. — Т. 22. —№ 2. — С. 349–392.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Issledovanie svoystv samodvoystvennyh kombinacionnyh ustroystv s kontrolem vychisleniy na osnove kodov Hemminga / D. V. Efanov, T. S. Pogodina // Informatika i avtomatizaciya. — 2023. — T. 22. —№ 2. — S. 349–392.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B31">
    <label>31.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Lala P. K. Self-Checking and Fault-Tolerant Digital Design / P. K. Lala. — San Francisco: Morgan Kaufmann Publishers, 2001. — 216 p.</mixed-citation>
     <mixed-citation xml:lang="en">Lala P. K. Self-Checking and Fault-Tolerant Digital Design / P. K. Lala. — San Francisco: Morgan Kaufmann Publishers, 2001. — 216 p.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B32">
    <label>32.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Аксенова Г. П. Необходимые и достаточные условия построения полностью проверяемых схем свертки по модулю 2 / Г. П. Аксенова // Автоматика и телемехани- ка. — 1979. — № 9. — С. 126–135.</mixed-citation>
     <mixed-citation xml:lang="en">Aksenova G. P. Neobhodimye i dostatochnye usloviya postroeniya polnost'yu proveryaemyh shem svertki po modulyu 2 / G. P. Aksenova // Avtomatika i telemehani- ka. — 1979. — № 9. — S. 126–135.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B33">
    <label>33.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Поспелов Д. А. Логические методы анализа и синтеза схем / Д. А. Поспелов. — М.: Энергия, 1968. — 328 с.</mixed-citation>
     <mixed-citation xml:lang="en">Pospelov D. A. Logicheskie metody analiza i sinteza shem / D. A. Pospelov. — M.: Energiya, 1968. — 328 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B34">
    <label>34.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Закревский А. Д. Логические основы проектирования дискретных устройств / А. Д. Закревский, Ю. В. Поттосин, Л. Д. черемисинова. — М.: Физматлит, 2007. — 592 с.</mixed-citation>
     <mixed-citation xml:lang="en">Zakrevskiy A. 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="B35">
    <label>35.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Особенности использования кодов Хэмминга при синтезе самопроверяемых цифровых устройств на основе метода инвертирования данных / Д. В. Ефанов // Известия высших учебных заведений. Электроника. — 2024. — Т. 29. — № 3. — С. 379–392.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Osobennosti ispol'zovaniya kodov Hemminga pri sinteze samoproveryaemyh cifrovyh ustroystv na osnove metoda invertirovaniya dannyh / D. V. Efanov // Izvestiya vysshih uchebnyh zavedeniy. Elektronika. — 2024. — T. 29. — № 3. — S. 379–392.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B36">
    <label>36.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Самодвойственные цифровые устройства с контролем вычислений по кодам Сяо / Д. В. Ефанов, Т. С. Погодина // Вестник Томского государственного университета. Управление, вычислительная техника и информатика. — 2023. — № 63. — С. 118–136.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Samodvoystvennye cifrovye ustroystva s kontrolem vychisleniy po kodam Syao / D. V. Efanov, T. S. Pogodina // Vestnik Tomskogo gosudarstvennogo universiteta. Upravlenie, vychislitel'naya tehnika i informatika. — 2023. — № 63. — S. 118–136.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B37">
    <label>37.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Ефанов Д. В. Синтез самопроверяемых дискретных устройств на основе полиномиальных кодов с контро- лем вычислений по нескольким диагностическим при- знакам / Д. В. Ефанов, Д. В. Пивоваров // Автоматика и телемеханика. — 2025. — № 5. — С. 39–60.</mixed-citation>
     <mixed-citation xml:lang="en">Efanov D. V. Sintez samoproveryaemyh diskretnyh ustroystv na osnove polinomial'nyh kodov s kontro- lem vychisleniy po neskol'kim diagnosticheskim pri- znakam / D. V. Efanov, D. V. Pivovarov // Avtomatika i telemehanika. — 2025. — № 5. — S. 39–60.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B38">
    <label>38.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Шалыто А. А. Логическое управление. Методы аппарат- ной и программной реализации / А. А. Шалыто. — СПб.: Наука, 2000. — 780 с.</mixed-citation>
     <mixed-citation xml:lang="en">Shalyto A. A. Logicheskoe upravlenie. Metody apparat- noy i programmnoy realizacii / A. A. Shalyto. — SPb.: Nauka, 2000. — 780 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B39">
    <label>39.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Шалыто А. А. Модули, универсальные в классе само- двойственных функций и в «близких» к ним классах / А. А. Шалыто // Известия Российской академии наук. Теория и системы управления. — 2001. — № 5. — С. 110–120.</mixed-citation>
     <mixed-citation xml:lang="en">Shalyto A. A. Moduli, universal'nye v klasse samo- dvoystvennyh funkciy i v «blizkih» k nim klassah / A. A. Shalyto // Izvestiya Rossiyskoy akademii nauk. Teoriya i sistemy upravleniya. — 2001. — № 5. — S. 110–120.</mixed-citation>
    </citation-alternatives>
   </ref>
  </ref-list>
 </back>
</article>
