Система Євросоюзу з ядерного аварійного реагування РОДОС та обчислювальні технології асиміляції даних вимірів для розв'язання обернених задач й корегування результатів прогнозування/ Реалізація алгоритму побудови представлення групи по машині Тьюринга

Wednesday 30 Sep 2020, 17:00 → 18:30 Europe/Kiev

IM/2-208 (IM)

Іван Васильович Ковалець, Максим Борисович Шамрай

1. У доповіді зроблено огляд системи підтримки рішень (СППР) Євросоюзу з ядерного аварійного реагування РОДОС. Особливу увагу приділено модулю атмосферного перенесення цієї системи. Функціонування сучасних СППР з екологічної безпеки неможливе без застосування методів асиміляції (засвоєння) даних вимірів у розрахунках моделей для корегування результатів прогнозування. У доповіді дається огляд методів засвоєння, які застосовуються у моделях розповсюдження радіоактивності системи РОДОС. Наводяться приклади застосування системи РОДОС під час радіаційних інцидентів на території України та у світі.

2. Дослідження формальних мов показало, що є відкриті проблеми, які досить важко вирішити за допомогою традиційних комбінаторних методів. У цій роботі ми намагаємось застосувати методи теорії груп до анализу формальних мов шляхом розробки алгоритму, який був описаний Сапіром, Біржетом і Ріпсом, і будуємо представлення кінцево представленої групи за даною машиною Тьюрінга. Крім того, ми отримали ін’єктивне відображення з мови машини Тьюрінга у проблему слів відповідної групи. Алгоритм може бути використаний для подальшого вивчення класифікації формальних мов з точки зору загальновідомих класів груп, виділення ознак приналежності до певного класу та застосування алгебраїчних методів до формальних мов. Взагалі, ми намагаємось застосувати новий підхід до аналізу формальних мов за допомогою теорії груп.