<?xml version="1.0" encoding="UTF-8"?>
<article xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:noNamespaceSchemaLocation="JATS-archive-oasis-article1-4.xsd" article-type="research-article" dtd-version="1.4" xml:lang="ru">
  <front>
    <journal-meta>
      <journal-title-group>
        <journal-title>Журнал Современные наукоемкие технологии</journal-title>
      </journal-title-group>
      <issn>1812-7320</issn>
      <publisher>
        <publisher-name>Общество с ограниченной ответственностью &amp;quot;Издательский Дом &amp;quot;Академия Естествознания&amp;quot;</publisher-name>
      </publisher>
    </journal-meta>
    <article-meta>
      <article-id pub-id-type="doi">10.17513/snt.38955</article-id>
      <article-id pub-id-type="publisher-id">ART-38955</article-id>
      <title-group>
        <article-title>ПРОЕКТИРОВАНИЕ ИНСТРУМЕНТАЛЬНОЙ ПРОГРАММНОЙ СИСТЕМЫ ПОДДЕРЖКИ МЕТОДОЛОГИИ ПРОЕКТИРОВАНИЯ СЛОЖНЫХ СИСТЕМ НА ОСНОВЕ АВТОМАТНЫХ МОДЕЛЕЙ С ИСПОЛЬЗОВАНИЕМ АЛГЕБРЫ ГИПЕРРАЗМЕРНЫХ ВЕКТОРОВ</article-title>
      </title-group>
      <contrib-group>
        <contrib contrib-type="author">
          <name-alternatives>
            <name xml:lang="ru">
              <surname>Мартышкин</surname>
              <given-names>А.И.</given-names>
            </name>
          </name-alternatives>
          <name-alternatives>
            <name xml:lang="en">
              <surname>Martyshkin</surname>
              <given-names>A.I.</given-names>
            </name>
          </name-alternatives>
          <email>Alexey314@yandex.ru</email>
          <xref ref-type="aff" rid="aff1"/>
        </contrib>
        <contrib contrib-type="author">
          <name-alternatives>
            <name xml:lang="ru">
              <surname>Трокоз</surname>
              <given-names>Д.А.</given-names>
            </name>
          </name-alternatives>
          <name-alternatives>
            <name xml:lang="en">
              <surname>Trokoz</surname>
              <given-names>D.A.</given-names>
            </name>
          </name-alternatives>
          <email>dmitriy.trokoz@gmail.com</email>
          <xref ref-type="aff" rid="aff1"/>
        </contrib>
        <contrib contrib-type="author">
          <name-alternatives>
            <name xml:lang="ru">
              <surname>Пащенко</surname>
              <given-names>Д.В.</given-names>
            </name>
          </name-alternatives>
          <name-alternatives>
            <name xml:lang="en">
              <surname>Paschenko</surname>
              <given-names>D.V.</given-names>
            </name>
          </name-alternatives>
          <email>dmitry.pashchenko@yandex.ru</email>
          <xref ref-type="aff" rid="aff1"/>
        </contrib>
        <contrib contrib-type="author">
          <name-alternatives>
            <name xml:lang="ru">
              <surname>Калашников</surname>
              <given-names>В.А.</given-names>
            </name>
          </name-alternatives>
          <name-alternatives>
            <name xml:lang="en">
              <surname>Kalashnikov</surname>
              <given-names>V.A.</given-names>
            </name>
          </name-alternatives>
          <email>mymailfordev@gmail.com</email>
          <xref ref-type="aff" rid="aff1"/>
        </contrib>
        <contrib contrib-type="author">
          <name-alternatives>
            <name xml:lang="ru">
              <surname>Синев</surname>
              <given-names>М.П.</given-names>
            </name>
          </name-alternatives>
          <name-alternatives>
            <name xml:lang="en">
              <surname>Sinev</surname>
              <given-names>M.P.</given-names>
            </name>
          </name-alternatives>
          <email>mix.sinev@gmail.com</email>
          <xref ref-type="aff" rid="aff2"/>
        </contrib>
      </contrib-group>
      <aff id="aff1">
        <institution xml:lang="ru">ФГБОУ ВО "Пензенский государственный технологический университет"</institution>
        <institution xml:lang="en">Penza State Technological University</institution>
      </aff>
      <aff id="aff2">
        <institution xml:lang="ru">ФГБОУ ВО "Пензенский государственный университет"</institution>
        <institution xml:lang="en">Penza State University</institution>
      </aff>
      <pub-date date-type="pub" iso-8601-date="2021-12-27">
        <day>27</day>
        <month>12</month>
        <year>2021</year>
      </pub-date>
      <issue>12</issue>
      <fpage>60</fpage>
      <lpage>66</lpage>
      <permissions>
        <license xlink:href="https://creativecommons.org/licenses/by/4.0/">
          <license-p>This is an open-access article distributed under the terms of the CC BY 4.0 license.</license-p>
        </license>
      </permissions>
      <self-uri content-type="url" hreflang="ru">https://top-technologies.ru/article/view?id=38955</self-uri>
      <abstract xml:lang="ru" lang-variant="original" lang-source="author">
        <p>В данной статье рассматривается проблема развития микроэлектроники из-за физического и экономического предела по закону Мура. В качестве решения данной проблемы приводятся алгоритмы на базе алгебры гиперразмерных векторов, так как алгоритмы на базе алгебры гиперразмерных векторов устойчивы к появлению в разрядах регистров мусорных значений, которые критичны при вычислениях классическими алгоритмами. Использование алгоритмов на базе гиперразмерных векторов позволяет увеличить частоты вычислительного устройства, не изменяя токопотребления, и способно давать верный результат несмотря на появление мусорных значений в регистрах вычислительного устройства. В статье поднимается вопрос малой изученности методов кодирования сложных систем в формате автоматов на базе алгебры гиперразмерных векторов. В данной работе представлена инструментальная программная система поддержки методологии проектирования сложных систем на основе автоматных моделей с использованием алгебры гиперразмерных векторов. Предложены методы формализованного описания систем в виде систем канонических уравнений для кодирования в гиперразмерный вектор и описание алгоритмов трансформации формализованного описания с использованием алгебры гиперразмерных векторов, а также алгоритмы вычисления текущего состояния графа, представленного как гиперразмерный вектор. Продемонстрирована работа программной инструментальной среды путем кодирования и симуляции целевой системы.</p>
      </abstract>
      <abstract xml:lang="en" lang-variant="translation" lang-source="translator">
        <p>This article discusses the problem of the development of microelectronics due to the physical and economic side-chapel according to Moore’s law. As a solution to this problem, algorithms based on the algebra of hyperdimensional vectors are presented, since algorithms based on the algebra of hyperdimensional vectors are resistant to the appearance of garbage values ​​in the register bits, which are critical in calculations by classical algorithms. The use of algorithms based on hyperdimensional vectors allows you to increase the frequencies of the computing device without changing the current consumption and are able to give the correct result despite the appearance of garbage values ​​in the registers of the computing device. The article raises the question of the low level of knowledge of methods for coding complex systems in the format of automata based on the algebra of hyperdimensiona vectors. This paper presents an instrumental software system for supporting the methodology of designing complex systems based on automata models using the algebra of hyperdimensiona vectors. Methods of formalized description of systems in the form of systems of canonical equations for coding into a hyperdimensional vector and a description of algorithms for transforming a formalized description using the algebra of hyperdimensional vectors, as well as algorithms for calculating the current state of a graph represented as a hyperdimensional vector are proposed. Demonstrated the work of the software tool environment by coding and simulation of the target system.</p>
      </abstract>
      <kwd-group xml:lang="ru">
        <kwd>гиперразмерные векторы</kwd>
        <kwd>алгебра гиперразмерных векторов</kwd>
        <kwd>моделирование систем</kwd>
        <kwd>программная среда моделирования</kwd>
        <kwd>закон Мура</kwd>
      </kwd-group>
      <kwd-group xml:lang="en">
        <kwd>hyperdimensional vectors</kwd>
        <kwd>algebra of hyperdimensional vectors</kwd>
        <kwd>system modeling</kwd>
        <kwd>simulation software</kwd>
        <kwd>Moore’s law</kwd>
      </kwd-group>
    </article-meta>
  </front>
  <back>
    <ref-list>
      <ref>
        <note>
          <p>1. Kanerva P. Hyperdimensional computing: An introduction to computing in distributed representation with high-dimensional random vectors. Cognitive Computation 1 (2). 2009. P. 139–159.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>2. Пащенко Д.В., Трокоз Д.А., Мартышкин А.И., Синев М.П. Использование алгебры гиперразмерных векторов для эвристического представления данных при обучении широких нейронных сетей // Проблемы управления и моделирования в сложных системах: материалы XXI Международной конференции (Самара, 3–6 сентября 2019 г.). Самара: Издательство ООО «Офорт», 2019. С. 301–305.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>3. Трокоз Д.А., Исхаков Н.В., Синев М.П., Митрохин М.А., Сивишкина Н.О. Темпоральный анализ киберфизических систем с использованием теории автоматов // XXI век: итоги прошлого и проблемы настоящего плюс. 2019. Т. 8. № 3. С. 113–117.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>4. Вашкевич Н.П., Бикташев Р.А. Недетерминированные автоматы и их использование для реализации систем параллельной обработки информации: монография. Пенза: ПГУ, 2016. 391 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>5. Захаров Н.Г., Рогов В.Н. Синтез цифровых автоматов. Ульяновск: Ульяновский государственный технический университет, 2003. 135 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>6. Скиена C. Алгоритмы. Руководство по разработке. СПб.: БХВ-Петербург, 2017. 720 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>7. Синев М.П., Мартышкин А.И., Трокоз Д.А. Исследование и анализ подходов к организации параллельных вычислений в распределенных системах // XXI век: итоги прошлого и проблемы настоящего плюс. 2020. Т. 9. № 2. С. 95–104.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>8. Новосельцев В.Б., Соколова В.В. Обработка рекурсивных данных конечными автоматами // Известия Томского политехнического университета. 2006. Т. 309. № 7. С. 130–133.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>9. Прохоренко Н. JavaFX. СПб.: БХВ-Петербург, 2020. 768 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>10. Блох Д.. Java: эффективное программирование, 3-е изд. СПб.: ООО «Диалектика», 2019. 464 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>11. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы. Построение и анализ, 2-е изд. М.: Издательский дом «Вильямс», 2013. 1296 с.</p>
        </note>
      </ref>
      <ref>
        <note>
          <p>12. Макконнелл С. Совершенный код: Практическое руководство по разработке программного обеспечения. М.: Русская редакция БХВ, 2017. 896 с.</p>
        </note>
      </ref>
    </ref-list>
  </back>
</article>
