Пошук академічних текстів

Реєстраційний номер

0825U003928, Дисертація доктора філософії

На здобуття

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

Дата захисту

Статус

Запланована

Назва роботи

Метод побудови паралельних чисельних моделей динамічних систем на базі протоколу реактивних потоків

Здобувач

Сіроткін Олексій Вікторович,

Керівник Мохор Володимир Володимирович
Опонент Лахно Валерій Анатолійович
Опонент Зайцев Євген Олександрович
Рецензент Гільгурт Сергій Якович
Рецензент Шевченко Сергій Станіславович

Опис

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

Дата реєстрації

2025-10-15

Додано в НРАТ

2025-10-15