Реєстраційний номер
0223U001426,
0118U001110
, Науково-дослідна робота
Назва роботи
Розробити теоретичні засади аналізу кіберфізичних систем на основі інсерційного модедювання
Назва етапу роботи
Керівник роботи
Летичевський Олександр Олександрович,
Дата реєстрації
28-01-2023
Організація виконавець
Інститут кібернетики імені В. М. Глушкова Національної академії наук України
Опис етапу
Ключові слова – КІБЕРФІЗИЧНІ СИСТЕМИ, ГІБРИДНІ СИСТЕМИ, ІНСЕРЦІЙНЕ МОДЕЛЮВАННЯ, АЛГЕБРАЇЧНЕ ПРОГРАМУВАННЯ, АЛГЕБРА ПОВЕДІНОК, ДИФЕРЕНЦІАЛЬНИЙ ІНВАРІАНТ
Об’єкт дослідження – моделі, методи та технології, орієнтовані на аналіз властивостей та моделювання кіберфізичних систем.
Мета проекту – створення формальних методів для моделювання та дослідження властивостей гібридних систем, що поєднують в собі неперервну та дискретну складову.
Розширено існуючу теорію інсерційного моделювання додаванням неперервної складової в процес моделювання для розв’язання більш практичних задач, а саме фізики, хімії, біології із залученням останніх власних доробків у галузі символьних обчислень. При цьому було реалізовано задачу визначення інсерційної семантики для гібридних систем.
Зроблено порівняння методів інсерційного моделювання, що дозволяють вводити багаторівневу систему взаємодій, із існуючими моделями гібридних автоматів та гібридних транзиційних систем.
Створено науковий прототип розширеної системи інсерційного моделювання, на вхід якої можна було подавати гібридну модель у розширених специфікаціях алгебри поведінок та застосовувати методи моделювання гібридних систем.
У дослідженнях було створено наступні гібридні моделі:
- термальних взаємодій на основі рівнянь теплопровідності в багатоагентній системі;
- квантових взаємодій на рівні електронів та орбіталей атомів;.
- протонної терапії, що застосовується при лікуванні онкологічних захворювань.
Головні прикладні області та напрямки застосування: розв’язання наукових задач в областях фізики, хімії та біології; верифікація та тестування моделей систем військовій, енергетичній сфері та виробництві пристроїв електроніки.
Прогнозні пропозиції щодо розвитку об’єкта – розширення методології та інструментарію для ефективного пошуку диференціальних інваріантів, розширення спектру можливих моделей та узагальнення технології для багаторівневих моделей.
Опис продукції
Автори роботи
Волков Владислав Анатолійович
Колчин Олександр Валентинович
Летичевський Олександр Олександрович
Ляскало Леся Євгеніївна
Мороховець Марина Костянтинівна
Потієнко Степан Валерійович
Скобелєв Володимир Геннадійович
Додано/оновлено в НРАТ
2023-01-28
