Search academic texts

Registration Number

0825U003928, PhD dissertation

Status

Доктор філософії, 122, Комп’ютерні науки

Date

popup.evolution

o

Title

A Method for Constructing Parallel Numerical Models of Dynamic Systems Based on The Reactive Streams Protocol

Author

Oleksii Sirotkin,

popup.head Volodymyr Mokhor
popup.opponent Valerii A. Lakhno
popup.opponent Yevhen O. Zaitsev
popup.review Serhii Y. Hilhurt
popup.review Serhii S. Shevchenko

Description

Дисертація присвячена розробці методу паралельного моделювання складних систем з використанням парадигми реактивних потоків як протоколу синхронізації загального призначення. Запропонований метод впроваджує структуроване представлення станів динамічних об'єктів через підстани, перехідні функції та графове моделювання, що забезпечує модульність, повторне використання та масштабованість. Дисертація складається зі вступу, 5 розділів, загальних висновків, списку літератури та додатків. У вступі обґрунтовується актуальність теми дослідження, окреслюється науково-технічна проблема паралелізації моделювання складних систем, обґрунтовується доцільність застосування парадигми реактивних потоків як протоколу синхронізації загального призначення та відображається зв'язок роботи з ширшими дослідженнями в галузі розподілених обчислень та технологій моделювання. У першому розділі наведено аналітичний огляд існуючих підходів до паралельного моделювання. В огляді розглядаються алгоритми Time Warp, реактивні розширення стандарту HLA, акторно-орієнтовані фреймворки HPC та архітектури CQRS+ES, аналізуючи їхні переваги та обмеження. У другому розділі представлені структури та формалізація підстанів як основа підходу до моделювання. Він вводить метод декомпозиції станів об'єкта на підстани з унікальними ключами, що забезпечує узгодженість, дозволяючи водночас гнучке представлення залежностей між змінними. Ключовим фокусом третього розділу є розробка узгоджених графів переходів, де функції систематично об'єднуються в орієнтовані ациклічні графи, що відображають причинно-наслідкові зв'язки між змінними. У четвертому розділі дисертації демонструється, як парадигма реактивних потоків може бути використана для побудови обчислювального графа з формальної графічної моделі, представленої раніше. У п'ятому розділі представлено детальну практичну демонстрацію запропонованого підходу з використанням класичного прикладу змішування сольового розчину у двох з'єднаних резервуарах. Модельований об'єкт був описаний з точки зору його керівних диференціальних рівнянь, які потім були представлені як в аналітичній формі, так і як система підстанів та перехідних функцій. Результати цього тематичного дослідження підтверджують практичну доцільність запропонованої методології, перевіряють правильність розробленої структури та демонструють її переваги в модульності, точності та адаптивності порівняно з традиційними методами паралельного моделювання.

Registration Date

2025-10-15

popup.nrat_date

2025-10-15