ИСТИНА

Аннотация. Отчет содержит 17 страниц, 1 приложение, 5 частей (разделов), 8 использованных источников. Цель работы (на 2017 год): развитие полученных ранее результатов в области компьютерной алгебры (символьных вычислений); развитие методов и программных средств анализа текстов по их лексико-синтаксическим шаблонам и на основе методов машинного обучения; разработка новых алгоритмов обработки ограниченных L-графов в контексте задач исследования и создания формальных языков; исследование метода построения вершин и дуг мультиорграфа де Брейна по исходному множеству подслов фиксированной длины для решения задачи реконструкции. Метод проведения работы: использование современного математического аппарата для решения поставленных частных задач. Результаты работы: изучен класс линейных дифференциальных систем с выделенными неизвестными, для таких систем введено новое понятие сателлитных неизвестных, построен алгоритм распознавания сателлитных неизвестных для нормальных дифференциальных систем; разработаны и реализованы методы и программные средства автоматического построения предметных указателей для русскоязычных научно-технических документов на основе ранее предложенного языка шаблонов, а также методы машинного обучения для системы автоматизированного обнаружения семантических связей слов в текстах на русском и английском языках; для ограниченных L-графов и их подклассов построены алгоритмы распознавания пустоты задаваемого L-графом языка, распознавания бесконечности задаваемого L-графом языка, проверки равенства задаваемых L-графами языков и др.; разработан метод построения вершин и дуг мультиорграфа де Брейна по исходному множеству подслов фиксированной длины для решения задачи реконструкции (на базе теоретико-множественной формальной постановки задачи реконструкции, полученной на предыдущем (2016 г.) этапе, доказаны лемма и теорема о полной реконструкции. Степень внедрения: исследования в области компьютерной алгебры опубликованы, ранее созданный алгоритм Extract реализован в виде процедуры системы компьютерной алгебры Maple, исходный код процедуры доступен в Интернете по адресу http://www.ccas.ru/ca/extract, частичные алгоритмы распознавания сателлитных неизвестных также реализованы в системе Maple, исходный код доступен в Интернете по адресу http://www.ccas.ru/ca/satellite; морфологический процессор, построенный в рамках работ по языку шаблонов выложен в свободный доступ (https://github.com/alesapin/XMorphy), окончательные результаты по реконструкции слов по мультимножеству подслов сдвига могут быть рекомендованы для внедрения в областях геномики, биоинформатики, бизнес-информатики и прикладной криптографии. Область применения: перспективные системы обработки символьной информации.