Титульная страница Программные системы: теория и приложения  English version
ISSN 2079-3316 Двуязычный электронный научный Электронный научный журнал Института программных систем имени А. К. Айламазяна ИПС им. А. К. Айламазяна ИПС Российской Академии Наук РАН 12+ 
Том 17 (2026) .– Выпуск 4 (73) .– Статья № 1 (527)

Теоретические основания программных систем

Научная статья
УДКУниверсальная десятичная классификация 004.432+004.272УДК 004: Информационные технологии. Компьютерные технологии. Теория вычислительных машин и систем УДК 004.432: Языки высокого уровня УДК 004.272: Архитектуры параллельной обработки
ББКБиблиотечно-библиографическая классификация 32.971.321.1ББК 32: Радиоэлектроника ББК 32.971: Аппаратные средства ББК 32.971.321: Универсальные компьютеры ББК 32.971.321.1: Суперкомпьютеры
ГРНТИГосударственный рубрикатор научно-технической информации 50.07.05ГРНТИ 50: АВТОМАТИКА. ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА ГРНТИ 50.07: Теоретические основы вычислительной техники ГРНТИ 50.07.05: Теория вычислительных систем высокой производительности
DOIЦифровой идентификатор интернет-объекта 10.25209/2079-3316-2026-17-4-3-32

Параллельная потоковая модель вычислений Буран, основанная на взаимодействии токенов

Аркадий Валентинович КлимовПереписывавшийся автор

Национальный исследовательский центр «Курчатовский институт», Москва, Россия
Аркадий Валентинович Климов — Переписывавшийся автор arkvklimov@yandex.ru

Аннотация. Представляется абстрактная модель вычислений, являющаяся обобщением семейства архитектур и моделей, основанных на взаимодействии токенов. Токены рассматриваются как абстрактные сущности. Взаимодействия между ними порождают вычислительные кванты, которые могут порождать новые токены. Модель допускает высокую степень параллелизма независимых взаимодействий.
Модель в целом является недетерминированной. Однако, можно говорить о детерминированности отдельных вычислений. В статье дается математическое описание модели, определяются понятия вычисления и детерминированного вычисления. Доказывается принципиальная разрешимость детерминированности заданного вычисления, но остается открытым вопрос о ее более эффективном и практичном распознавании.
Будучи абстрактной, модель может иметь различные конкретизации. Одна из них – проект уникальной многоядерной архитектуры потоковой параллельной вычислительной системы (ППВС) БУРАН, предложенной В.С. Бурцевым в конце 90-х, а также некоторые ее расширения. От данного проекта и было заимствовано название самой абстрактной модели. В настоящее время работа над ним продолжается в НИЦ «Курчатовский институт».
Ближайшим известным аналогом модели являются сети Петри и их расширения, такие как Цветные Сети Петри (Colored Petri Nets, CPN). Их также можно описать как конкретизацию абстрактной модели.

Ключевые слова: абстрактная модель вычислений, параллельная модель вычислений, детерминизм, недетерминизм, токен, взаимодействие, вычислительный граф, ППВС БУРАН, сети Петри

Благодарности: Работа проведена в рамках выполнения государственного задания НИЦ «Курчатовский институт»

Для цитирования: Климов А. В. Параллельная потоковая модель вычислений Буран, основанная на взаимодействии токенов // Программные системы: теория и приложения. 2026. Т. 17. № 4. С. 3–32. https://psta.psiras.ru/2026/4_3-32.

Полный текст статьи (PDF): https://psta.psiras.ru/read/psta2026_4_3-32.pdf.

Статья поступила в редакцию 28.05.2026; одобрена после рецензирования 10.09.2026; принята к публикации 26.09.2026; опубликована онлайн 10.10.2026.

© Климов А. В.
2026
Адрес редакции: 152021, Ярославская обл., Переславский район, село Веськово, ул. Петра Первого, д. 4а, Институт программных систем имени А. К. Айламазяна РАН;   Сетевой адрес издания:  http://psta.psiras.ru  Тел: +7(4852) 695-228 ;  E-mail: info@psta.psiras.ru ;  Лицензия: CC-BY-4.0Текст лицензии на сайте Creative Commons 
© Федеральное государственное бюджетное учреждение науки Институт программных систем имени А. К. Айламазяна Российской академии наук (дизайн сайта) 2010–2026