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

Інформація × Реєстраційний номер 0515U000327, Докторська дисертація На здобуття д.т.н. Дата захисту 23-04-2015 Статус Запланована Назва роботи Метод і математичне та програмне забезпечення системи ефективного опрацювання формул алгебри алгоритмів Здобувач Овсяк Олександр Володимирович, Керівник Драган Ярослав Петрович Опонент Глибовець Микола Миколайович Опонент Гера Богдан Васильович Опонент Голуб Сергій Васильович Опис У дисертаційній роботі визначенням алгебри алгоритмів з операцією мультиелімінування і зв'язками між операціями, створенням текстового XML-формату опису формул алгебри алгоритмів і математичного та програмного забезпечення системи комп'ютерного синтезу формул алгебри алгоритмів розв'язано актуальну науково-прикладну проблему розроблення модифікованої алгебри алгоритмів і створення математичного та програмного забезпечення системи ефективного опрацювання формул алгебри алгоритмів.Алгебра алгоритмів доповнена новими аксіоми операцій секвентування, елімінування, паралелення, інвертування та операцій опису циклів. В алгебру алгоритмів введена операція мультиелімінування та аксіоми з логічними значеннями. Математичне забезпечення системи комп'ютерного опрацювання формул алгебри алгоритмів, граматики текстового опису формул алгоритмів описано модифікованою алгеброю алгоритмів. Створене математичне забезпечення системи комп'ютерного синтезу формул алгоритмів програмно реалізовано на платформі Microsoft Visual Studio .NET мовами об'єктного програмування C# і розмітки XAML. Дата реєстрації 2015-04-23 Додано в НРАТ 2020-04-03 Закрити