<!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">Modern Technologies and Scientific and Technological Progress</journal-id>
   <journal-title-group>
    <journal-title xml:lang="en">Modern Technologies and Scientific and Technological Progress</journal-title>
    <trans-title-group xml:lang="ru">
     <trans-title>современные технологии и научно-технический прогресс</trans-title>
    </trans-title-group>
   </journal-title-group>
   <issn publication-format="print">2686-9896</issn>
  </journal-meta>
  <article-meta>
   <article-id pub-id-type="publisher-id">44011</article-id>
   <article-id pub-id-type="doi">10.36629/2686-9896-2021-1-1-223-224</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>ELECTROENERGETICS</subject>
    </subj-group>
    <subj-group>
     <subject>ЭЛЕКТРОЭНЕРГЕТИКА</subject>
    </subj-group>
   </article-categories>
   <title-group>
    <article-title xml:lang="en">CLASSIFICATION OF APPROXIMATE METHODS OF BUILDING VERIFICATION  PROGRAMS</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>Dunaev</surname>
       <given-names>Mihail Pavlovich</given-names>
      </name>
     </name-alternatives>
    </contrib>
    <contrib contrib-type="author">
     <name-alternatives>
      <name xml:lang="ru">
       <surname>Дунаев</surname>
       <given-names>Андрей Михайлович</given-names>
      </name>
      <name xml:lang="en">
       <surname>Dunaev</surname>
       <given-names>Andrey Mihaylovich</given-names>
      </name>
     </name-alternatives>
    </contrib>
   </contrib-group>
   <pub-date publication-format="print" date-type="pub" iso-8601-date="2022-01-10T06:30:38+03:00">
    <day>10</day>
    <month>01</month>
    <year>2022</year>
   </pub-date>
   <pub-date publication-format="electronic" date-type="pub" iso-8601-date="2022-01-10T06:30:38+03:00">
    <day>10</day>
    <month>01</month>
    <year>2022</year>
   </pub-date>
   <volume>2021</volume>
   <issue>1</issue>
   <fpage>223</fpage>
   <lpage>224</lpage>
   <self-uri xlink:href="https://angtu.editorum.ru/en/nauka/article/44011/view">https://angtu.editorum.ru/en/nauka/article/44011/view</self-uri>
   <abstract xml:lang="ru">
    <p>Рассмотрена классификация приближенных методов построения программ &#13;
проверок, дополняющая общую классификацию.</p>
   </abstract>
   <trans-abstract xml:lang="en">
    <p>The classification of approximate methods of building verification programs, complementing the general classification, is conside</p>
   </trans-abstract>
   <kwd-group xml:lang="ru">
    <kwd>классификация</kwd>
    <kwd>метод</kwd>
    <kwd>программа проверок</kwd>
   </kwd-group>
   <kwd-group xml:lang="en">
    <kwd>classification</kwd>
    <kwd>method</kwd>
    <kwd>verification program.</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">Техническая диагностика: сборник трудов I всесоюзного совещания по технической диагностике / Под ред. П.П.Пархоменко. - М.: НАУКА, 1972. - 368 с.</mixed-citation>
     <mixed-citation xml:lang="en">Tehnicheskaya diagnostika: sbornik trudov I vsesoyuznogo soveschaniya po tehnicheskoy diagnostike / Pod red. P.P.Parhomenko. - M.: NAUKA, 1972. - 368 s.</mixed-citation>
    </citation-alternatives>
   </ref>
   <ref id="B2">
    <label>2.</label>
    <citation-alternatives>
     <mixed-citation xml:lang="ru">Дунаев, М.П. Классификация логических алгоритмов методов технической диагностики / М.П. Дунаев, А.М. Дунаев // Повышение эффективности производства и использования энергии в условиях Сибири. - 2014. - № 1. - С. 5-8</mixed-citation>
     <mixed-citation xml:lang="en">Dunaev, M.P. Klassifikaciya logicheskih algoritmov metodov tehnicheskoy diagnostiki / M.P. Dunaev, A.M. Dunaev // Povyshenie effektivnosti proizvodstva i ispol'zovaniya energii v usloviyah Sibiri. - 2014. - № 1. - S. 5-8</mixed-citation>
    </citation-alternatives>
   </ref>
  </ref-list>
 </back>
</article>
