Знайдено документів: 1
Інформація × Реєстраційний номер 0310U002493, 0106U005856 , Науково-дослідна робота Назва роботи Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів Назва етапу роботи Дослідження секвенціальних дерев і резолюційних методів; можливісних моделей для задач моделювання динаміки в умовах невизначеності; опис змістовної семантики ядра мови UML Керівник роботи Редько Владимир Никифорович, Дата реєстрації 14-04-2010 Організація виконавець Київський національний університет імені Тараса Шевченка Опис етапу Досліджені секвенціальні числення літерного типу, коректні і повні лінійні резолюційні методи; розроблено математичний формалізм для опису і моделювання динаміки в умовах невизначеності, побудовано узгоджену модель теорії можливості. Розроблено синтаксис та семантику об'єктних моделей; задано семантику основних елементів діаграм мови UML - аналогів (розширених) ER-діаграм; специфіковано абстрактний синтаксис та семантика мови UML/ОCL. Опис продукції Автори роботи Додано в НРАТ 2020-04-02 Закрити
НДДКР ОК
Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів
Керівник: Редько Владимир Никифорович. Розробка конструктивних математичних формалізмів для інтелектуальних систем прийняття рішень, обробки знань, еталонування мов сучасних СУБД та CASE-засобів. (Етап: Дослідження секвенціальних дерев і резолюційних методів; можливісних моделей для задач моделювання динаміки в умовах невизначеності; опис змістовної семантики ядра мови UML). Київський національний університет імені Тараса Шевченка. № 0310U002493
Знайдено документів: 1

Оновлено: 2026-03-24


Роздрукувати цю сторінку