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

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

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



Информ. и её примен.:
Год:
Том:
Выпуск:
Страница:
Найти






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


Информатика и её применения, 2019, том 13, выпуск 2, страницы 29–36
DOI: https://doi.org/10.14357/19922264190205
(Mi ia590)
 

О теоретико-автоматных моделях блокчейн-среды

В. С. Анашин

Факультет вычислительной математики и кибернетики Московского государственного университета им. М. В. Ломоносова
Список литературы:
Аннотация: Рассматриваются методы анализа и моделирования блокчейн-среды, основанные на теоретико-автоматных моделях, в первую очередь на так называемых «автоматах с метками времени» (timed automata). Также предлагается новая версия автоматов с метками времени, позволяющая избежать некоторых неудобств моделирования с помощью классических автоматов с метками времени, а при моделировании блокчейн-среды на основе последних приходится использовать переменные разных типов, действительные и булевы, что вызывает ряд сложностей как теоретического, так и практического характера. Предлагаемый подход основан на применении 2-адического анализа, что дает возможность использовать переменные одного и того же типа, а именно булева.
Ключевые слова: блокчейн-среда, смарт-контракт, автомат с метками времени.
Финансовая поддержка Номер гранта
Российский фонд фундаментальных исследований 18-20-03124
Работа выполнена при поддержке РФФИ (проект 18-20-03124).
Поступила в редакцию: 09.02.2019
Реферативные базы данных:
Тип публикации: Статья
Образец цитирования: В. С. Анашин, “О теоретико-автоматных моделях блокчейн-среды”, Информ. и её примен., 13:2 (2019), 29–36
Цитирование в формате AMSBIB
\RBibitem{Ana19}
\by В.~С.~Анашин
\paper О теоретико-автоматных моделях блокчейн-среды
\jour Информ. и её примен.
\yr 2019
\vol 13
\issue 2
\pages 29--36
\mathnet{http://mi.mathnet.ru/ia590}
\crossref{https://doi.org/10.14357/19922264190205}
\elib{https://elibrary.ru/item.asp?id=38233326}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/ia590
  • https://www.mathnet.ru/rus/ia/v13/i2/p29
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Информатика и её применения
    Статистика просмотров:
    Страница аннотации:387
    PDF полного текста:330
    Список литературы:45
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024