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

Інформація × Реєстраційний номер 0216U000656, 0113U001940 , Науково-дослідна робота Назва роботи Автоматизація процесу підготовки та верифікації навчально-методичної документації Назва етапу роботи Керівник роботи Бувайло Дмитро Павлович, Дата реєстрації 15-02-2016 Організація виконавець Запорізький національний університет Опис етапу Об'єкт дослідження - формальні моделі специфікації навчально-методичної документації. Мета проекту - розробка методів і підходів до реалізації інструментальної підтримки методики опису та верифікації навчальної дисципліни засобами мови XML, програми генерація документів навчальних планів засобами мови XSLT, застосування розроблених програм до декількох навчальних курсів. Задачі проекту - розробка математичних і алгоритмічних моделей і методів для поліпшення формальних специфікацій навчально-методичної документації. Методи дослідження - математичне моделювання, загальна теорія систем, методи розподіленого штучного інтелекту, методи побудови багато агентських систем, методи моделювання і опису семантики даних. Отримані результати та новизна - розроблені нови: (1) загальна методика дескриптивного опису навчальної дисципліни засобами мови XML; (2) підхід щодо програмної реалізації інструментальної підтримки вищезазначеної методики, в тому числі екстракції представлень знань із текстів; (3) підхід до формалізації і візуалізації формальних специфікацій опису. Галузь застосування - наукові, навчальні та дослідницькі роботи. ОНТОЛОГІЯ, ПРЕДМЕТНА ГАЛУЗЬ, ДИНАМІКА, МЕТОДОЛОГІЯ ОНТОЛОГІЧНОГО ІНЖЕНІРИНГУ, ЕКСТРАКЦІЯ ТЕРМІНІВ, КОНЦЕПТУАЛІЗАЦІЯ Опис продукції Об'єкт дослідження - формальні моделі специфікації навчально-методичної документації. Мета проекту - розробка методів і підходів до реалізації інструментальної підтримки методики опису та верифікації навчальної дисципліни засобами мови XML, програми генерація документів навчальних планів засобами мови XSLT, застосування розроблених програм до декількох навчальних курсів. Задачі проекту - розробка математичних і алгоритмічних моделей і методів для поліпшення формальних специфікацій навчально-методичної документації. Методи дослідження - математичне моделювання, загальна теорія систем, методи розподіленого штучного інтелекту, методи побудови багато агентських систем, методи моделювання і опису семантики даних. Отримані результати та новизна - розроблені нови: (1) загальна методика дескриптивного опису навчальної дисципліни засобами мови XML; (2) підхід щодо програмної реалізації інструментальної підтримки вищезазначеної методики, в тому числі екстракції представлень знань із текстів; (3) підхід до формаліз Автори роботи Матвіїшина Надія Вікторівна Пшенична Олена Станиславівна Додано в НРАТ 2020-04-02 Закрити