Системная Информатика, № 24

Скачать

О создании первых компьютеров в СССР

Крайнева Ирина Александровна, Шилов Валерий Владимирович
Представлен отклик на статью С.П. Прохорова «Основополагающий вклад Академии наук СССР в становление компьютерных наук и компьютерных технологий» в журнале «Вестник Российской Академии наук», 2023, т. 93, № 10, с. 980–988.
Академия наук, ЭВМ, М-1, МЭСМ, И.С. Брук, С.А. Лебедев, Б.И. Рамеев, С.Л. Соболев, А.А. Ляпунов, А.П. Ершов, конференция SoRuCom
Скачать

SoRuCom-23 – VI Международная конференция по истории информатики

Крайнева Ирина Александровна, Шилов Валерий Владимирович
В статье представлены итоги VI международной конференции по истории информатики «Развитие вычислительной техники в России, странах бывшего СССР и СЭВ» SoRuCom-23. Она была организована 25–27 сентября 2023 г. на базе Нижегородского кампуса НИУ «Высшая школа экономики».
история науки и техники, информатика, вычислительная техника, программирование, искусственный интеллект
Скачать

Сравнение эквивалентностей непрерывно-временных сетей Петри относительно стратегий сброса часов

Зубарев Алексей Юрьевич
Непрерывно-временные сети Петри (НВСП) — расширение сетей Петри, где каждый переход имеет собственные часы и временной интервал. Данная модель рассматривается в контексте слабой временной стратегии, в которой ход времени не заставляет переходы срабатывать. Для НВСП исследуются эквивалентности в дихотомиях «интерливинг — истинный параллелизм» и «линейное — ветвящееся время». Анализируются взаимосвязи...
непрерывно-временные сети Петри, слабая временная стратегия, промежуточная и устойчиво атомарная стратегии сброса часов, поведенческие эквивалентности, семантика интерливинга, процессно-сетевая семантика, языковая и бисимуляционная эквивалентности, бисимуляционная эквивалентность с сохранением истории