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

Інформація × Реєстраційний номер 0217U000712, 0112U000740 , Науково-дослідна робота Назва роботи Розробити методи добування даних і знань із застосуванням інтелектуальних агентів у надвеликих і гетерогенних сховищах даних із верифікацією дедуктивними методами створюваних агентів. Назва етапу роботи Керівник роботи Летичевський Олександр Адольфович, Дата реєстрації 22-02-2017 Організація виконавець Інститут кібернетики ім.В.М.Глушкова НАН України Опис етапу Розроблено інтегровану технологію для аналізу та автоматичної перевірки динамічних властивостей формальних моделей та засоби її програмної підтримки. Розроблено теорію та інструментарій реалізації у веб-сервісній архітектурі REST ефективних інтелектуальних агентів для пошуку та навігації у великих сховищах даних і контент-аналізу. Інструментарій апробовано при розробці кількох хмарних застосувань. Опис продукції Розроблено інтегровану технологію для аналізу та автоматичної перевірки динамічних властивостей формальних моделей, що ґрунтується на інсерційному моделюванні. Запропоновано хмарну архітектуру розподіленого застосування "дані як послуга". Запропоновано та обґрунтовано модель електронної взаємодії національних ресурсів на базі електронних документів, формат юридично правочинних електронних документів довічного зберігання. Розроблено інструментарій автоматизації інформаційного пошуку й контент-аналізу в неоднорідних розподілених сховищах та базах даних великого обсягу. Автори роботи Летичевський Олександр Олександрович Мелащенко Андрей Олегович Мороховець Марина Костянтинівна Пинько Олексій Павлович Потієнко Степан Валерійович Додано в НРАТ 2020-04-02 Закрити