Автоматика и телемеханика
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив
Импакт-фактор
Правила для авторов
Загрузить рукопись

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Автомат. и телемех.:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Автомат. и телемех., 2014, выпуск 8, страницы 19–36 (Mi at14104)  

Эта публикация цитируется в 6 научных статьях (всего в 6 статьях)

Модели и методы решения задач теории расписаний

Парадигма вычислений на сетях Петри

Д. А. Зайцев

Международный гуманитарный университет, Одесса, Украина

Аннотация: Показано, что пардигма вычислений на сетях Петри обеспечит существенное ускорение вычислений и сокращение трудоемкости разработки программного обеспечения за счет массового параллелизма и асинхронного характера процессов обработки информации. Разработан язык программных сетей Петри, предложены альтернативные подходы реализации парадигмы на микро- и макроуровнях, уточнены оценки сложности ранее построенной универсальной сети Петри, являющейся прототипом соответствующего процессора. Указаны направления практической реализации парадигмы: разработка технологии программирования на нагруженных сетях Петри, технологии трансляции нагруженных сетей Петри в ингибиторные сети Петри и эффективных аппаратных процессоров, исполняющих программы на языке ингибиторных сетей Петри. Использование класса сетей Слепцова с кратным запуском перехода на шаге обеспечивает быстрые вычисления.

Полный текст: PDF файл (371 kB)
Список литературы: PDF файл   HTML файл

Англоязычная версия:
Automation and Remote Control, 2014, 75:8, 1369–1383

Реферативные базы данных:

Тип публикации: Статья
Статья представлена к публикации членом редколлегии: А. А. Лазарев

Поступила в редакцию: 16.11.2013

Образец цитирования: Д. А. Зайцев, “Парадигма вычислений на сетях Петри”, Автомат. и телемех., 2014, № 8, 19–36; Autom. Remote Control, 75:8 (2014), 1369–1383

Цитирование в формате AMSBIB
\RBibitem{Zai14}
\by Д.~А.~Зайцев
\paper Парадигма вычислений на сетях Петри
\jour Автомат. и телемех.
\yr 2014
\issue 8
\pages 19--36
\mathnet{http://mi.mathnet.ru/at14104}
\transl
\jour Autom. Remote Control
\yr 2014
\vol 75
\issue 8
\pages 1369--1383
\crossref{https://doi.org/10.1134/S0005117914080025}
\isi{http://gateway.isiknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=PARTNER_APP&SrcAuth=LinksAMR&DestLinkType=FullRecord&DestApp=ALL_WOS&KeyUT=000340552500002}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-84906272411}


Образцы ссылок на эту страницу:
  • http://mi.mathnet.ru/at14104
  • http://mi.mathnet.ru/rus/at/y2014/i8/p19

    ОТПРАВИТЬ: VKontakte.ru FaceBook Twitter Mail.ru Livejournal Memori.ru


    Citing articles on Google Scholar: Russian citations, English citations
    Related articles on Google Scholar: Russian articles, English articles

    Эта публикация цитируется в следующих статьяx:
    1. Stetsenko I.V., Dorosh V.I., Dyfuchyn A., “Petri-Object Simulation: Software Package and Complexity”, 2015 IEEE 8Th International Conference on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (Idaacs), Vols 1-2, IEEE, 2015, 381–385  crossref  isi  scopus
    2. Zaitsev D., Juerjens J., “Programming in the Sleptsov Net Language For Systems Control”, Adv. Mech. Eng., 8:4 (2016), 1687814016640159  crossref  isi  elib  scopus
    3. Zaitsev D.A., “Sleptsov Nets Run Fast”, IEEE Trans. Syst. Man Cybern. -Syst., 46:5 (2016), 682–693  crossref  isi  scopus
    4. D. A. Zaitsev, Z. W. Li, “On simulating turing machines with inhibitor Petri nets”, IEEJ Trans. Electr. Electron. Eng., 13:1 (2018), 147–156  crossref  isi  scopus
    5. A. D. Bakhmut, K. A. Alexander, A. V. Krylov, M. Yu. Okhtilev, P. A. Okhtilev, A. V. Ustinov, A. E. Zyanchurin, “Models, algorithms and monitoring system of the technical condition of the launch vehicle “soyuz-2” at all stages of its life cycle”, Artificial Intelligence and Algorithms in Intelligent Systems, Advances in Intelligent Systems and Computing, 764, ed. R. Silhavy, Springer, 2019, 288–297  crossref  isi  scopus
    6. A. Verevkin, O. Kiryushin, “The synthesis of complex logical controllers with variables of boolean and fuzzy logics”, Proceedings of the 7Th Scientific Conference on Information Technologies For Intelligent Decision Making Support (Itids 2019), Advances in Intelligent Systems Research, 166, eds. N. Yusupova, G. Shakhmametova, K. Mironov, L. Galimova, Atlantis Press, 2019, 49–52  isi
  • Автоматика и телемеханика
    Просмотров:
    Эта страница:403
    Полный текст:233
    Литература:38
    Первая стр.:23
     
    Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2021