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

Інформація × Реєстраційний номер 0212U000231, 0109U001214 , Науково-дослідна робота Назва роботи Модель і програма комп'ютерної системи генерування програм з формул алгоритмів (ГеПФА). Назва етапу роботи Керівник роботи Овсяк Володимир Казимирович, Доктор технічних наук Дата реєстрації 25-01-2012 Організація виконавець Українська академія друкарства Опис етапу У роботі розроблено розширену алгебру алгоритмів, уведено секвенційні і складні функціональні унітерми, рекурентнодекомпозиційну методологію синтезу математичних моделей інструментальних засобів та інформаційних технологій, xml - подібний формат опису формул алгебри алгоритмів і побудовано математичні моделі інструментальних засобів та інформаційних технологій системи комп'ютерного синтезу формул розширеної алгебри алгоритмів, створено основи моделей систем генерування програмного коду з формул алгоритмів і граматику мови опису завдань на комп'ютерне генерування програмних кодів реляційних баз даних з формул алгоритмів. У розширеній алгебрі алгоритмів уведені нові аксіоми операцій елімінування та опису циклів. Рекурентнодекомпозиційна методологія побудована на застосуванні методів декомпозиції і розширеної алгебри алгоритмів. Граматики секвенційних унітермів, xml - формату текстового подання формул алгебри алгоритмів і математичні моделі інструментальних засобів та інформаційних технологій описано засобами розширеної алгебри алгоритмів. Математичні моделі інструментальних засобів та інформаційних технологій системи комп'ютерного синтезу формул алгебри алгоритмів і основи моделей систем генерування програмних кодів з формул алгоритмів та граматики мови опису завдань на комп'ютерне генерування програмних кодів реляційних баз даних з формул алгоритмів програмно реалізовано на платформі Microsoft Visual Studio .NET засобами мов об'єктного програмування C# і розмітки - XAML. Опис продукції Розроблено розширену алгебру алгоритмів, уведено секвенційні і складні функціональні унітерми, рекурентнодекомпозиційну методологію синтезу математичних моделей інструментальних засобів та інформаційних технологій, xml - подібний формат опису формул алгебри алгоритмів і побудовано математичні моделі інструментальних засобів та інформаційних технологій системи комп'ютерного синтезу формул розширеної алгебри алгоритмів, створено основи моделей систем генерування програмного коду з формул алгоритмів і граматику мови опису завдань на комп'ютерне генерування програмних кодів реляційних баз даних з формул алгоритмів. Автори роботи Казьмірович Роман Владиславович Козелко Михайло Андрійович Кулик Сергій Олександрович Лозинський Тарас Маркіянович Овсяк Володимир Казимирович Овсяк Олександр Володимирович Огірко Ольга Ігорівна Петрушка Юлія Володимирівна Сичак Святослав Володимирович Додано в НРАТ 2020-04-02 Закрити