Журнализация состояний программных распределенных имитационных моделей и ее использование в оптимистических алгоритмах синхронизации
Наукові видання Харківського національного університету Повітряних Сил
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
Журнализация состояний программных распределенных имитационных моделей и ее использование в оптимистических алгоритмах синхронизации
Журналізація станів програмних розподілених імітаційних моделей та її використання в оптимістичних алгоритмах синхронізації Journalizing of states of the program distributed simulation models and its usage in optimistic algorithms of synchronisation |
|
| Creator |
М.А. Волк
М.О. Волк M.A. Volk |
|
| Subject |
Кібернетика та системний аналіз
УДК 681.324 распределенные имитационные модели, процессная алгебра, состояние модели, данные, активность, менеджер памяти, оптимистические алгоритмы синхронизации розподілені імітаційні моделі, процесна алгебра, стан моделі, дані, активність, менеджер пам'яті, оптимістичні алгоритми синхронізації up-diffused simulation models, process algebra, state of model, information, activity, manager of memory, optimistic algorithms of synchronization |
|
| Description |
В работе представлено развитие формального аппарата описания распределенных имитационных моделей на основе их программного представления в терминах процессной алгебры. Вводится множество активностей журнализации состояний модели, которые составляют основу менеджера памяти имитационных моделей. Показано, что реализованные активности могут выполнять функции федератов в оптимистических алгоритмах синхронизации распределенных имитационных моделей.
У роботі представлено розвиток е формального опису розподілених імітаційних моделей на основі їхнього програмного представлення в термінах процесної алгебри. Уводиться множина активностей журналізації станів моделі, що складають основу менеджера пам'яті імітаційних моделей. Показано, що реалізовані активності можуть виконувати функції федератів в оптимістичних алгоритмах синхронізації розподілених імітаційних моделей. In article the development of the formal description of the distributed simulation models on the basis of their program representation in terms of process algebra is presented. The set journalizing activities of states of model which make a basis of the memory manager of simulation models is entered. It is shown that realized activity can fulfill functions federates in optimistic algorithms of synchronisation of the distributed simulation models. |
|
| Publisher |
Харківський національний університет Повітряних Сил ім. І. Кожедуба
Харьковский национальный университет Воздушных Сил им. И. Кожедуба Kharkiv national Air Force University named after I. Kozhedub |
|
| Date |
2010
|
|
| Type |
info:eu-repo/semantics/article
info:eu-repo/semantics/publishedVersion Рецензована стаття |
|
| Format |
application/pdf
|
|
| Identifier |
http://www.hups.mil.gov.ua/periodic-app/article/2595
|
|
| Source |
Збірник наукових праць Харківського національного університету Повітряних Сил. — 2010. — № 1(23). 104-107
Сборник научных трудов Харьковского национального университета Воздушных Сил. — 2010. — № 1(23). 104-107 Scientific Works of Kharkiv National Air Force University. — 2010. — № 1(23). 104-107 2073-7378 |
|
| Language |
rus
|
|
| Relation |
http://www.hups.mil.gov.ua/periodic-app/article/2595/zhups_2010_1_27.pdf
|
|