1. Наука
  2. Видання
  3. Збірник наукових праць Харківського національного університету Повітряних Сил
  4. 1(23)'2010
  5. Журнализация состояний программных распределенных имитационных моделей и ее использование в оптимистических алгоритмах синхронизации

Журнализация состояний программных распределенных имитационных моделей и ее использование в оптимистических алгоритмах синхронизации

М. А. Волк
УДК 681.324
Мова статті: російська
Анотації на мовах:

В работе представлено развитие формального аппарата описания распределенных имитационных моделей на основе их программного представления в терминах процессной алгебры. Вводится множество активностей журнализации состояний модели, которые составляют основу менеджера памяти имитационных моделей. Показано, что реализованные активности могут выполнять функции федератов в оптимистических алгоритмах синхронизации распределенных имитационных моделей.
Ключові слова: распределенные имитационные модели, процессная алгебра, состояние модели, данные, активность, менеджер памяти, оптимистические алгоритмы синхронизации
Інформація про авторів публікації:
Бібліографічний опис для цитування:
Волк М. А. Журнализация состояний программных распределенных имитационных моделей и ее использование в оптимистических алгоритмах синхронизации / М. А. Волк  // Збірник наукових праць Харківського національного університету Повітряних Сил. — 2010. — № 1. — С. 104-107.