Search academic texts

Information × Registration Number 0825U003928, PhD dissertation Status Доктор філософії Date 19-11-2025 popup.evolution . 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 Close