ИСТИНА |
Войти в систему Регистрация |
|
ИСТИНА ПсковГУ |
||
Объект исследования: Перспективные системы обработки символьной информации в некоторых аспектах их математического и программного обеспечения. Цель работы (на 2016 год): исследование алгоритмической неразрешимости отдельных задач компьютерной алгебры (символьных вычислений); методы и алгоритмы построения дистрибутивного тезауруса русского языка; исследования задачи реконструкции слов над конечным алфавитом; исследование связи L-графов и классов формальных языков по Хомскому. Метод проведения работы: использование современного математического аппарата для решения поставленных частных задач. Результаты работы: показана алгоритмическая неразрешимость ряда задач компьютерной алгебры, в том числе задачи проверки существования бесконечно дифференцируемых решений для подкласса дифференциальных уравнений в частных производных, разработан и представлен дистрибутивный тезаурус русского языка объемом 932 896 словарных статей, в целях формализации постановки задач реконструкции слов предложен ряд формализмов и операторов, показано, что бесконтекстные и регулярные L-графы являются новыми характеризациями классов контекстно-свободных и регулярных языков по классификации Хомского и удобными формализмами для задания синтаксиса языков программирования. Степень внедрения: исследования в области компьютерной алгебры опубликованы в журналах из перечня WoS, дистрибутивный тезаурус русского языка представлен в докладе на Международной конференции, результаты формализации задачи реконструкции нашли применение в Биоинформатике. Рекомендации по внедрению результатов НИР: результаты по алгоритмической неразрешимости ряда задач компьютерной алгебры стимулируют поиск новых подходов к решению таких задач (рассмотрение их частных случаев, применение численных методов); разработан ресурс, содержащий численные оценки семантической близости слов (дистрибутивный тезаурус). Область применения: перспективные системы обработки символьной информации. Экономическая эффективность работы может быть оценена после полного завершения исследований. Прогнозные предположения о развитии объекта исследования: по алгоритму Extract — подготовить реализацию алгоритма Extract для включения в состав известной системы компьютерной алгебры Maple; по задаче реконструкции слов — разработать алгоритм построения мультиорграфа де Брейна по исходному множеству подслов; по формальным языкам — разработать алгоритмы обработки ограниченных L-графов.