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

Інформація × Реєстраційний номер 0211U008424, 0106U005856 , Науково-дослідна робота Назва роботи Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів Назва етапу роботи Керівник роботи Редько Володимир Никифорович, Дата реєстрації 19-05-2011 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Досліджено солвери і секвенціальні формалізми для комп'ютерно-орієнтованих логічних систем, методи і алгоритми аналізу та обробки інформації на основі теорії можливостей і оптимального оцінювання, математичні методи моделювання сенсорних систем. Розвинута теорія експлікативних програмних алгебр, побудовані формальні специфікації мов сучасних СУБД та CASE-засобів. Описано семантику ядра SQL-подібних мов та ядра мови UML Опис продукції Розроблено та досліджено солвери і секвенціальні формалізми для комп'ютерно-орієнтованих логічних систем, цільокеровані секвенціальні числення. Досліджено методи і алгоритми аналізу та обробки інформації на основі теорії можливостей і оптимального оцінювання, математичні методи моделювання сенсорних систем складної структури. Розвинута теорія експлікативних програмних алгебр, побудовані формальні специфікації мов сучасних СУБД та CASE-засобів. Описано семантику ядра SQL-подібних мов та ядра мови UML. Автори роботи Бєлов Юрій Анатолійович Богатирьова Юлія Олександрівна Буй Дмитро Борисович Вольчина Ірина Іванівна Гаркуша Наталія Іванівна Глушко Ірина Миколаївна Заворотний Андрій Леонідович Загорський Сергій Петрович Касьянюк Веда Станіславівна Лялецький Олександр Вадимович Малютенко Людмила Миколаївна Парфірова Тетяна Сергіївна Польща Максим Володимирович Поляков Сергій Анатолійович Потієнко Михайло Валерійович Редько Володимир Никифорович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна Додано в НРАТ 2020-04-02 Закрити