Search academic texts

Information × Registration Number 0515U000327, Doctoral dissertation Status д.т.н. Date 23-04-2015 popup.evolution o Title Method and mathematical and software provision of system of effective processing of formulas of algebra of algorithms Author Ovsyak Aleksandr Vladimirovich, popup.head Dragan Yaroslav Petrovich popup.opponent Глибовець Микола Миколайович popup.opponent Гера Богдан Васильович popup.opponent Голуб Сергій Васильович Description У дисертаційній роботі визначенням алгебри алгоритмів з операцією мультиелімінування і зв'язками між операціями, створенням текстового XML-формату опису формул алгебри алгоритмів і математичного та програмного забезпечення системи комп'ютерного синтезу формул алгебри алгоритмів розв'язано актуальну науково-прикладну проблему розроблення модифікованої алгебри алгоритмів і створення математичного та програмного забезпечення системи ефективного опрацювання формул алгебри алгоритмів.Алгебра алгоритмів доповнена новими аксіоми операцій секвентування, елімінування, паралелення, інвертування та операцій опису циклів. В алгебру алгоритмів введена операція мультиелімінування та аксіоми з логічними значеннями. Математичне забезпечення системи комп'ютерного опрацювання формул алгебри алгоритмів, граматики текстового опису формул алгоритмів описано модифікованою алгеброю алгоритмів. Створене математичне забезпечення системи комп'ютерного синтезу формул алгоритмів програмно реалізовано на платформі Microsoft Visual Studio .NET мовами об'єктного програмування C# і розмітки XAML. Registration Date 2015-04-23 popup.nrat_date 2020-04-03 Close