![]() |
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Проведение исследований в теоретической информатике, в частности, изучение алгебраических, геометрических и топологических структур, разработка эффективных алгоритмов вычисления, интеллектуального анализа и обработки информации. Развитие методов теории кодирования и криптографии в задачах защиты информации. Разработка методов и алгоритмов в компьютерной графике, в распознавании образов. Развитие программных средств дистанционного обучения, постоянная поддержка дистанционных курсов. Пополнение открытого электронного ресурса учебно-научных текстов. Внедрение результатов НИР в учебный процесс, создание учебных практикумов.
Research in theoretical computer science, in particular, the study of algebraic, geometric and topological structures, the development of efficient computation algorithms, data mining and data processing. Development of methods of coding theory and cryptography in information security problems. Development of methods and algorithms in computer graphics, pattern recognition. The development of eLearning software systems, the continued support of distance learning courses. Replenishment of open electronic resources of educational and scientific materials. Implementation of research results in the educational process, establishment of training workshops.
Получение фундаментальных научных результатов в ряде направлений теоретической информатики и в её приложениях. Использование полученных результатов в учебном процессе. Публикация не менее 50-ти научных статей, участие не менее чем в 50-ти научных конференциях. Научное руководство студентами и аспирантами.
У исполнителей темы есть существенный научный задел в следующих областях теоретической информатики (ТИ): 1) фундаментальные основы ТИ; 2) наука о данных, аналитика больших данных и искусственный интеллект; 3) структуры данных и алгоритмы в информатике; 4) алгебраические структуры и модели в информатике; 5) криптография и теория кодирования; 6) приложения в геометрии, механике и других областях. Разработка специализированного ПО. По этим направлениям исследования исполнителями ежегодно публикуется более 20-ти научных статей и делаются доклады на 20-30-ти всероссийских и международных конференциях. Есть авторские свидетельства на прикладное программное обеспечение в ряде прикладных отраслей.
госбюджет, раздел 0110 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2016 г.-31 декабря 2016 г. | Математические методы и алгоритмы теоретической информатики, этап 1 |
Результаты этапа: 1. Проведены исследования современных аналитических алгоритмов, алгоритмов прогнозирования и методов машинного обучения в задачах обработки больших данных. 2. Рассмотрено представление бигрупповой алгебры, являющейся цветной, для любой коммутативной группы порядка n, доказано, что существует изоморфизм алгебры матриц порядка n над полем К и бигрупповой алгебры, когда в К имеются корни порядков элементов группы и n не делится на характеристику поля. Тем самым построен новый алгоритм быстрого умножения матриц. 3. Исследованы приложения неассоциативных алгебраических структур в криптографии и кодировании: линейно оптимальные коды в квазигрупповых кольцах; криптосистемы над градуированными кольцами с мультипликативным базисом; криптосхемы на основе луп; группоиды с перестановочными степенями; медиальные квазигруппы на группе точек эллиптической кривой. 4. Рассмотрены прикладные аспекты гомоморфной криптографии, гомоморфные системы шифрования на основе матричных полиномов, сравнительный анализ полностью гомоморфных систем шифрования, системы гомоморфного шифрования с вычислениями ограниченного набора функций. 5. Продолжены исследования, направленные на снижение затрат на проектирование больших автоматизированных систем управления путем привлечения современных технологий метапрограммирования, таких как разработка, управляемая моделями (model driven engineering, MDE), и аспектно-ориентированный подход (aspect-oriented software development). Развит математический аппарат для построения, анализа и оптимизации процедур проектирования больших систем управления на базе теории категорий. Исследованы перспективы реализации математического обеспечения систем управления на базе нестандартных вычислительных устройств алгебраического типа. 6. Продолжены работы в области новых подходов и математических методов цифрового моделирования изделий машиностроения. Предложена концепция программного комплекса, сочетающего разнообразные методы: геометрический анализ, мультифизический расчет посредством метода конечных элементов и бессеточных методов (в том числе воксельных), моделирование методом Монте-Карло, осреднение, прогнозирование при помощи искусственных нейронных сетей. Для совместной верификации методов предложено применять аппарат теории категорий. 7. Построены топологические аналоги первичного и наднильпотентного радикала в топологических неассоциативных кольцах. Рассмотрены вариации топологического квазирадикала для ряда классов топологических неассоциативных колец. 8. Исследовалось пересечение степеней топологического радикала Джекобсона колец, обладающих топологической размерностью Крулля. Рассмотрен топологический аналог результата Джекобсона о равенстве нулю в некоторой порядковой степени радикала Джекобсона нётерова справа кольца. 9. Рассмотрено линейно упорядоченное поле D и подмоноид Gn(D) в линейной группе GLn(D), состоящий из всех обратимых матриц с неотрицательными коэффициентами из D. Доказано, что над линейно упорядоченным телом D при n>2 группа частных моноида Gn(D) совпадает с линейной группой GLn(D). 10. Рассмотрены изоморфизмы линейной группы GL2(R) над произвольным ассоциативным кольцом R с 1/2 и 1/3. В частности, дано полное описание автоморфизмов линейной группы GL2(R), где R – любое коммутативное ассоциативное кольцо с 1 и 1/2, 3 – неделитель нуля в R, R порождается обратимыми элементами. 11. Получена полная характеризация линейных инъективных отображений множества всех матриц над антинегативным полукольцом, монотонных относительно каждого из следующих частичных порядков: минус порядка, шарп-порядка, *-порядка Дрейзина. Доказано, что такие отображения автоматически биективны. Вычислены рода конечных графов Гротендика, соответствующих графам ортогональности и коммутативности матричных алгебр небольшого размера над конечными полями с малым числом элементов. В случае рода 0 найдены соответствующие функции Белого. 12. Продолжена разработка теории классических и постклассических семейств функций на дескриптивных и прескриптивных пространствах с пренебрежимостью. Введены понятия дескриптивных и прескриптивных пространств с пренебрежимостью. Определены семейства пренебрежимо-равномерных и пренебрежимо-распределённых функций на этих пространствах. Доказана замкнутость этих семейств относительно основных алгебраических операций и относительно равномерной сходимости последовательностей. Приведены примеры использования указанных семейств при решении ряда старых задач теории функций, интеграла и меры. 13. Получены новые результаты, касающиеся консервативных многочленов. Исследовано динамическое действие абсолютной группы Галуа на плоских деревьях, возникающее из соответствия между плоскими деревьями и консервативными многочленами. Построено 2-параметрическое семейство консервативных многочленов с рациональными коэффициентами, которые записываются в компактной форме с помощью многочленов Чебышева. Также были найдены 6 исключительных ситуаций, в которых орбита Галуа распадается: (5,3,3), (1,6,6), (12,4,4), (11,5,5), (35,23,23), когда неожиданно существует консервативный многочлен над Q и (7,2,2), когда существует консервативный многочлен над квадратичным полем. 14. Продолжена разработка и усовершенствование математической модели государства-страны и математической модели учреждения как клетки государства-страны. Государство представлено как сложная агрегированная организационно-производственная система, состоящая из основных подсистем, связанных потоками результатов их деятельности. Выписаны эволюционные уравнения. Произведено их приведение и упрощение. Сформулирована задача нахождения оптимального управления для упрощённой модели государства-страны. 15. В 2016 году были подготовлены русские и англоязычные версии четырёх выпусков журнала "Фундаментальная и прикладная математика" (русская версия – 972 страницы, англоязычная – 669 страниц). Информация о новых выпусках размещена на WWW-странице журнала http://mech.math.msu.su/~fpm/. 16. В рамках системы дистанционных учебных курсов разработано приложение для аналитической обработки и представления данных электронного обучения (Learning Analytics), включающее в себя: традиционные варианты бизнес-отчетов; приборные панели (dashboards) различного типа, содержащие графики и диаграммы, показатели KPI и т.д.; OLAP-куб для обработки данных в реальном времени, объединенный с графическими представлениями его значений. Разработан рабочий проект практикума для объединенного курса «Анализ больших данных»: исследованы возможности: SAP HANA Web IDE в качестве интегрированной среды разработки для практикума и Github-клиента в качестве репозитория создаваемых обучающимися объектов/артефактов. 17. Осуществлялась постоянная поддержка учебного процесса в Системе дистанционного обучения. В 2016 году начали обучение 41 дистанционный слушатель (всего 123 подписки на курсы). | ||
2 | 1 января 2017 г.-31 декабря 2017 г. | Математические методы и алгоритмы теоретической информатики, этап 2 |
Результаты этапа: Разработаны методы гомоморфной криптографии (на основе частично гомоморфных криптографических систем), а также необходимые технологии распределенных вычислений для их реализации при решении прикладных задач. Исследовались: алгоритмы быстрого умножения матриц; вариации информационных энтропий. Проведены исследования современных аналитических алгоритмов, алгоритмов прогнозирования и методов машинного обучения в задачах обработки больших данных. Был разработан новый алгоритм кластеризации больших данных, основанный на плотности распределения данных. Велись исследования в области оптимизации (распределенного) хранения разреженных матриц и векторов, в частности в целях ускорения соответствующих линейных операций для применения регрессионных моделей машинного обучения. Реализован спектр адаптивных структур данных, существенно ускоряющих вычисления. Исследовались: – современные методы использования больших данных, интегрированных в экосистему Hadoop, и среда выполнения Apache Spark, для целей ускорения операций анализа и принятия решений; – специализированные распределенные алгоритмы вычислений in-memory для обработки реляционных данных, временных рядов, графов и объектов JavaScript Object Notation (JSON). Проведена разработка практикума для объединенного спецкурса «Анализ больших данных»: – развернуто программное решение для распределенных вычислений in-memory: SAP Vora 1.4 Developer Edition; – исследованы возможности: – доступа при помощи SQL к данным временных рядов, графов и JSON; – веб-интерфейса с SQL-редактором. Осуществлена модификация алгоритма декодирования свёрточного кода, используемого совместно с QAM-модуляцией. Как результат, модифицируемый алгоритм повышает эффективность работы приёмника, так как понижает пороговое значение сигнал-шум. Было продолжено развитие теории топологических колец и модулей в интересах теоретической информатики. Рассмотрены топологические аналоги первичного и наднильпотентного радикала в топологических неассоциативных кольцах. Исследована структура топологически артиновых колец, в которых все главные левые идеалы замкнуты. Построены различные примеры топологически примитивных дискретных колец. В частности, приведён пример, показывающий различие радикала Джекобсона и его топологического аналога в случае дискретной топологии на кольце. Исследовались полигоны над полугруппами. Рассматривались вопросы об инъективности, проективности, подпрямой неразложимости полигонов, а также условия, при которых решётка конгруэнций модулярна или дистрибутивна. Полностью описаны подпрямо неразложимые полигоны над прямоугольными группами. Выяснено строение полигона над прямоугольной связкой, имеющего модулярную решётку конгруэнций. Проведены исследования: – по алгоритмам в алгебре и теории чисел; – по вычислительным аспектам нелокальной гидромеханики; – по построению СТО с неквадратичной гиперболической метрикой. Получены новые результаты в описании нереализуемых паспортов ветвления разветвленных накрытий 2-мерной сферы. Классифицированы нереализуемые паспорта двуклеточных рисунков на сфере. Доказан арифметический критерий нереализуемости паспортов рода 0. Найдено несколько новых серий нереализуемых паспортов рода 1. Вычислено в явном виде двупараметрическое семейство {(X,f)}, где X - кривая рода 2, а f – функция Абеля степени 8, обладающая свойством самосопряженности относительно биэллиптическая инволюция кривой X. В этом семействе определен одномерный страт, соответствующий семейству Фрида (функциям с 4 критическими значениями). В результате вычислена функция Белого мегакарты степени 40, соответствующей этому семейству Фрида. Проведены исследования применимости аппарата теории категорий в микроэкономике, в частности, для формулировки ряда общих задач, возникающих при разработке систем автоматизированного управления предприятиями. Осуществляется постоянная поддержка учебного процесса в Системе дистанционного обучения. В 2017 году начали обучение 37 дистанционный слушатель (всего 104 подписки на курсы). | ||
3 | 1 января 2018 г.-31 декабря 2018 г. | Математические методы и алгоритмы теоретической информатики, этап 3 |
Результаты этапа: Проанализированы связи проблем Бернсайда для полугрупп с теорией формальных языков. Исследованы схемы шифрования на основе шахматных партий. Издана двухтомная монография по основаниям современной математики ("Множества. Функции. Меры"), написанная В.К.Захаровым, Т.В.Родионовым и А.В.Михалёвым. Проведено комплексное исследование по теории представлений полугрупп (полигонов): полигоны над вполне (О-) простыми полугруппами (аналог кольцевой теоремы Веддербарна-Артина о классически полупростых кольцах); решётка конгруэнций; подпрямо неразложимые полигоны, решеточные тождества; диагональные полигоны; биполигоны, частичные полигоны. Отмечены связи с автоматами и универсальными алгебрами. Описаны некоторые частичные порядки и монотонные отображения матриц над антинегативными полукольцами специального вида. Изучены семейства пар Фрида, включающие в себя вырожденные пары. Построена компактификация пространства модулей, позволяющая учитывать вырождения. Рассмотрены конкретные вычислительные примеры. Были продолжены теоретические и экспериментальные исследования в области получения общих осредненных уравнений для сплошной среды с реологией. Получены асимптотические виды решений на бесконечности для интегрируемого нелинейного уравнения Шредингера, разработаны основы гиперболической геометрии и ее приложений в физике. Продолжены исследования в области симметрии в приложениях к физике и в алгоритмах. Получены различные результаты с использованием симметрии. Исследованы проблемы перехода от централизованных, реляционных, локальных баз данных к хранилищам данных на современных распределенных платформах и в распределенных реестрах, базирующихся на применении технологии блокчейн. Велась разработка практикума по пространственным базам данных для факультета космических исследований. Велись исследования в области оптимизации представлений линейный регрессионных моделей машинного обучения в целях улучшения времени отклика. Исследован ряд вариантов, в том числе для моделей с применением хеширования признаков и для моделей, построенных на базе унитарного кода. Разработана библиотека для компьютерной системы GAP (вычисления в теории групп и дискретной математике). Библиотека реализует следующие функции: - подсчет количества неэквивалентных накрытий с заданным паспортом ветвления и группой монодромии; - перечисление всех накрытий с заданным паспортом и группой монодромии; - вычисление действия сферической группы кос на множестве накрытий, когда количество точек ветвления больше 3; - определение "скрытых симметрий" накрытия и вычисление фактора по ним; - вычисление накрытия, получаемого из заданного с помощью действия на k-наборах. С помощью созданной библиотеки получены следующие результаты: - найдены нереализуемые паспорта накрытий до степени N=21 включительно; - перечислены накрытия рода 0 со специальными группами монодромии до степени N=63 включительно; - найдены несколько бесконечных серий примеров накрытий рода 0, которые получаются из действия на парах; для одного из этих семейств вычислены реализующие их рациональные функции. Разработан программный комплекс для классификации растений картофеля с различной интенсивностью хозяйственно-значимых заболеваний, физиологических стрессов и сортовой (не)однородностью при помощи современных и классических методов анализа данных. Получены 2 свидетельства о регистрации прав на ПО, базу данных: - программа для классификации (на основе сверточных нейронных сетей) геопривязанных массивов данных, полученных в результате мульти- и гипер-спектральной съемки растений картофеля с различной интенсивностью хозяйственно-значимых заболеваний (вирусных и оомицетных) и физиологических стрессов, а также RGB-изображений, полученных в результате съемки таких растений с БПЛА; - программа для классификации (классические алгоритмы) геопривязанных массивов данных, полученных в результате мульти- и гиперспектральной съемки растений картофеля с различной интенсивностью хозяйственно-значимых заболеваний и физиологических стрессов. Осуществляется постоянная поддержка учебного процесса в Системе дистанционного обучения. Применены нечеткие алгоритмы при создании новых моделей экспертных систем. По результатам проведенных исследований опубликовано около 30-ти научных статей и 2 монографии, сделано более 30-ти докладов на российских и международных конференциях, подготовлены 2 кандидатские диссертации, получено 2 свидетельства о регистрации прав на программное обеспечение, базу данных. | ||
4 | 1 января 2019 г.-31 декабря 2019 г. | Математические методы и алгоритмы теоретической информатики, этап 4 |
Результаты этапа: Основания теоретической информатики. 1. Рассмотрены бигрупповые алгебры, исследованы их группы автоморфизмов. 2. Обобщена теорема Поттера. Исследовано понятие равномерности и его связь с g-суммами. 3. Рассмотрены гиперболические геометрии, исследованы их связи с релятивистской физикой. 4. Изучен индекс цикличности графа и связанной с ним матрицы. Получена новая характеризация этого индекса в терминах k-раскрашивания графа. Вычислена алгоритмическая сложность нахождения индекса цикличности графов и матриц. 5. Изучено соответствие между простыми сборными графами и матрицами. Найден общий вид матрицы инцидентности такого графа. На матричном языке описана процедура добавления или удаления внутренней петли к графу. 6. Изучались решётки конгруэнций полигонов над полугруппами. Доказано, что решётка конгруэнций полигона над конечной полугруппой удовлетворяет нетривиальному решёточному тождеству в том и только том случае, если полигон конечен. 7. Изучались полигоны над группами. Получены необходимые и достаточные условия хопфовости и кохопфовости унитарного полигона над произвольной группой, а также некоторые необходимые и некоторые достаточные условия хопфовости и кохопфовости неунитарных полигонов над группами. Большие данные. Методы и алгоритмы. 1. Разработаны новые методы и алгоритмы вычислений с большими данными (данными больших размерностей). В частности: - предложен метод градуированных вычислений, более эффективный, нежели метод фильтрации вычислений. Осуществлена оценка сложности алгоритмов, созданных на его основе; - разработан более быстрый, по сравнению с известными, алгоритм для вычисления чисел Бернулли. Гомоморфное шифрование и параллельные вычисления. 1. Распределенные вычисления включены в контекст систем гомоморфного шифрования. Системы кодирования. 1. Продолжен анализ систем кодирования с использованием алгебраических систем (включая контекст квантовых кодов). Алгебраическая теория кодирования. 1. Рассмотрены применения алгебраических систем (включая квазигруппы, неассоциативные кольца и их представления) в возможных системах кодирования (включая квантовые). Представления и информационные структуры. 1. Теория представлений алгебраических систем применена к информационным системам. Прикладные исследования. 1. Разработана система идентификации человека по сосудистому рисунку его пальца. 2. Исследовались алгоритмы трехмерного восстановления изоповерхностей с субпиксельной точностью. Для восстановления поверхности нужных участков трехмерной модели кровеносной системы применялась комбинация ранее известных алгоритмов. 3. Проработан план решения ряда задач для завода «Авиадвигатель». В частности, по выявлению дефектов в лопатках авиационного двигателя/турбин и отслеживанию положения измерительного элемента по визуальной информации. 4. Завершена работа над проектом по определению вирусов и сортовой однородности по визуальной и спектральной информации по картофелю. Развитие технологических инструментов в приложениях. 1. Проведены исследования теоретических моделей и технологических инструментов для интеллектуального анализа больших наборов данных. В частности: - созданы блокноты (Jupyter Notebook) для анализа и визуализации данных; - разработаны SQL-скрипты, которые можно использовать в блокнотах; - проработано извлечение данных для аналитики из экземпляров службы автономного хранилища данных (Autonomous Database). Внедрение результатов исследований в учебный процесс. 1. Материал спецкурса "Аналитика больших данных" был адаптирован и прочитан для магистрантов факультета космических исследований МГУ. 2. Материал спецкурса "Модели данных и базы данных" для студентов механико-математического факультета МГУ был существенно дополнен. 3. Материал спецкурса "Модели данных и базы данных" был адаптирован и прочитан для студентов-бакалавров филиала МГУ имени М.В. Ломоносова в г. Душанбе. 4. Разработана программа учебного курса "Основы проектирования систем геоинформационных баз данных" для магистрантов факультета космических исследований МГУ. 5. Разработана программа спецкурса "Аналитика больших данных" для студентов-бакалавров филиала МГУ имени М.В. Ломоносова в г. Душанбе. 6. Продолжено развитие программы межфакультетских курсов “Информатика и экономика”, переработаны и прочитаны 2 семестровых курса. Публикации и конференции. По результатам проведенных исследований опубликовано около 30-ти научных статей, сделано более 30-ти докладов на российских и международных конференциях. | ||
5 | 1 января 2020 г.-31 декабря 2020 г. | Математические методы и алгоритмы теоретической информатики, этап 5 |
Результаты этапа: Основания теоретической информатики. 1. Алгебраическая теория автоматов (полигонов над группами и полугруппами) играет фундаментальную роль в теоретической информатике. Написан обзор “Полигоны над полугруппами" В обзоре отражены исследования последних нескольких десятков лет по структурной теории полигонов над полугруппами (полигоны – они же автоматы, они же унарные алгебры). (Кожухов И.Б., Михалев А.В.) 2. Продолжено построение структурной теории полигонов над полугруппами. Получены необходимые и достаточные условия хопфовости и кохопфовости унитарного полигона над группой. (Кожухов И.Б., Колесникова К.А.) 3. Описаны коммутативные полугруппы, над которыми все полигоны аппроксимируются конечными с ограниченными в совокупности количествами элементов. (Кожухов И.Б.) 4. Получены необходимые и достаточные условия хопфовости и кохопфовости унитарного полигона над группой. Доказано, что копроизведение конечного числа полигонов над группой (необязательно унитарных) хопфово в том и только том случае, если каждый сомножитель хопфов. (Кожухов И.Б., Колесникова К.А.) 5. Изучаются условия канторовости и коканторовости полигонов над группами. Доказано, что унитарный полигон над группой является канторовым, но необязательно коканторовым. Построены примеры унитарных полигонов над группами, не являющихся коканторовыми. Получены некоторые необходимые и некоторые достаточные условия канторовости и коканторовости неунитарных полигонов над группами. (Кожухов И.Б., Сотов А.С.) 6. Изучаются условия канторовости полигонов над полурешётками. Описаны канторовы полигоны над конечной полурешёткой при условии, что полигон имеет только конечные компоненты связности. (Кожухов И.Б., Сотов А.С.) 7. Получено полное описание полигонов над прямоугольной связкой, имеющих решётку конгруэнций а) модулярную, или б) дистрибутивную, или в) являющуюся цепью. (Кожухов И.Б., Пряничников А.М., Симакова А.Р.) 8. Описаны коммутативные полугруппы, над которыми все полигоны аппроксимируются конечными, ограниченными в совокупности количествами элементов. (Кожухов И.Б.) 9. Продолжены исследования в топологической алгебре. Изучены свойства обобщенно нильпотентных элементов псевдонормированных коммутативных колец (для коммутативных псевдонормированных алгебр над полем комплексных чисел такие элементы называются обобщенно нульстепенными элементами). Доказано, что множество всех обобщенно нильпотентных элементов псевдонормированного коммутативного кольца является замкнутым идеалом, и фактор-кольцо по нему не содержит ненулевых обобщенно нильпотентных элементов. (Алещенко С.А., Арнаутов В.И., Главацкий С.Т.) 10. Продолжены исследования в алгебраической геометрии. Вычислены функции Белого и семейства Фрида для 8 бесконечных семейств рода 0, получаемых с помощью конструкции симметрического квадрата. (Адрианов Н.М.) 11. Найдены уравнения однопараметрического семейства кривых рода 4, включающего в себя кривую Бринга. (Адрианов Н.М.) 12. Вычислено количество реализаций паспортов рисунков (2,3)-типа до степени 32 включительно, выделены паспорта, имеющие единственную реализацию (т.е. их функции Белого определены над полем рациональных чисел). (Адрианов Н.М.) 13. Изучены способы восстановления по компактификации пространства модулей алгебраических кривых, позволяющей учитывать вырожденные пары Белого и Фрида, классическую компактификацию Делиня-Мамфорда соответствующего пространства. Для эффективно заданного семейства Фрида описаны соответствующие алгоритмы. (Крейнес Е.М.) 14. Продолжено изучение соответствия между сборными графами и матрицами. На языке матриц описаны процедуры полной петельной подстановки и композиции сборных графов. (Крейнес Е.М.) Большие данные. Методы и алгоритмы. 1. Кластерный анализ имеет очень широкий спектр применения, его методы используются во многих сферах человеческой деятельности. Цель кластеризации состоит в объединении в группы схожих объектов, и эта задача является одной из фундаментальных в области анализа данных. Предложено использовать соображение связности получаемых групп, исходя из плотности распределения точек. Разработан новый метод кластеризации, основанный на этой идее. (Айдагулов Р.Р. Главацкий С.Т., Михалев А.В.). 2. Результаты проекта о кластеризации реализованы в спецкурсе «Аналитика больших данных: основные алгоритмы» (авторы Главацкий С.Т., Бурыкин И.Г., Айдагулов Р.Р.), читающемся на механико-математическом факультете МГУ. 3. Проведены исследования в области оптимизации целочисленного сжатия с использованием SIMD расширений современных процессоров с целью снижения объема памяти для хранения и обработки разреженных векторов. Реализованы соответствующие структуры данных, существенно снижающие объем необходимой памяти. (Иванов А.Б.) Гомоморфное шифрование и параллельные вычисления. 1. Проанализированы основы теории распределенных вычислений в интересах задач гомоморфной криптографии. Рассмотрена задача построения гомоморфной системы шифрования своими обратимыми элементами, исходя из частично-гомоморфных схем. (Аракелов Г.Г., Михалев А.В.) Алгебраическая теория кодирования, криптография. 1. Продолжено изучение введенной недавно А.В. Михалевым криптосистемы на основе квазигрупповых колец. Решен вопрос о классификации квазигрупповых колец по числу элементов с нулевым левым аннулятором. (Марков В.Т., Михалев А.В., Кислицын Е.С.) Представления и информационные структуры. 1. Продолжено исследование представлений алгебраических систем в применении к информационным системам. Исследованы приложения теории категорий в естественнонаучных областях. (Зеликин Н.В.) Прикладные исследования. 1. Продолжены исследования методов идентификации человека по сосудистому рисунку его пальцев. Разработаны алгоритмы коррекции искажений и масштаба изображений, полученных с биометрического сканера отпечатка пальцев. (Грижебовская А.Г., Михалев А.В., Дмитриева Л.П.) 2. Для проекта расчета гидродинамических параметров кровообращения в области сердца разработан метод построения трехмерной модели аорты и коронарных артерий по данным компьютерной томографии области сердца конкретного пациента. Для получения сглаженной триангуляции внутренней поверхности артерий применяется сочетание воксельной модели и тетраэдрической сети Хан-Пуризма-Скала. С помощью построенной тетраэдрической сети построена триангуляция изоповерхности, при этом используется идея метода марширующих тетраэдров. Это позволяет построить гладкую триангуляцию поверхности с субпиксельной точностью. Трехмерная модель внутренней поверхности коронарных артерий строится по воксельной модели, выделенной в результате сегментации полной модели кровеносной системы. (Борисенко В.В.) 3. Для выделения кальцинатов внутри коронарных артерий и учета их влияния на кровоток разработан алгоритм их детектирования, построенный на идеях математической морфологии. Также в применении к воксельной модели коронарных артерий реализованы известные алгоритмы сглаживания триангуляции: сглаживание Лапласа и алгоритм Таубина. (Борисенко В.В.) 4. Написан обзорный отчет по теме "Обзор подходов машинного обучения и традиционных методов применительно к анализу видео информации с свиноводческого хозяйства с целью развертывания 2D/3D решений". (Шокуров А.В., Садова К.А., Кусаинов Р.Б., Хинензон Е.В.) 5. Проведено исследование текущего научного состояния по теме анализа видео-информации о свиноводческих хозяйствах. Анализ проделан с точки зрения обнаружения свиней на изображении, идентификации, вычисления скелетона 3D-модели и оценки веса. В обзоре рассматривались как традиционные подходы, так и современные, основанные на нейронных сетях. В данном обзоре оценивалась возможность применения подходов, основанных на синтезированных данных. В обзоре показано, что обозначенное направление синтеза данных весьма актуально и рекомендовано к использованию на практике. (Шокуров А.В.) 6. Разработана методика проверки гиперспектральной камеры, она применена к конкретному образцу такой камеры из одного из Китайских институтов. Традиционно для этого используют достаточно дорогое оборудование. Предложенный метод значительно дешевле, он основан на применении эталонов (цветовых шкал), для которых известна спектральная кривая. (Шокуров А.В.) 7. Продолжено исследование общих принципов построения роботов, их функционирования, в частности, применительно к искусственному интеллекту, а также программированию микроэлектроники. Доработаны открытые программные системы по робототехнике. (Шокуров А.В.) Развитие технологических инструментов в приложениях. 1. Проведены исследования теоретических моделей и технологических инструментов для интеллектуального анализа больших наборов данных. В частности: – в веб-интерфейсе JupyterLab 2.2.6 созданы блокноты (Jupyter Notebook) для анализа и визуализации данных, включая блокноты для интерактивного запуска кода (Code Consoles); – продолжена разработка SQL-скриптов, которые можно использовать в блокнотах; – для интеллектуального анализа и визуализации процессов (process mining) был применен пакет анализа процессов для Python PM4Py. Внедрение результатов исследований в учебный процесс. 1. Разработан и прочитан новый курс ЕНС "Базы данных: дополнительные главы" для студентов механико-математического факультета МГУ. 2. Разработан и прочитан новый курс ЕНС "Алгоритмы дискретной оптимизации" для студентов механико-математического факультета МГУ. 3. Разработан и прочитан новый полугодовой курс "Базы данных (лекции семинарские занятия)" для потока 3-го курса специалитета ФКИ МГУ. 4. Доработаны и прочитаны спецкурсы для студентов механико-математического факультета МГУ: – "Аналитика больших данных: основные алгоритмы"; – "Аналитика больших данных: дополнительные главы"; – "Модели данных и основы систем баз данных"; – "Базы данных: дополнительные главы"; – "Алгоритмы и структуры данных"; – "Современные управляемые языки программирования"; 5. Доработаны и прочитаны спецкурсы для магистрантов факультета космических исследований МГУ. 6. Доработан и прочитан курс "Информатика и вычислительные методы" для студентов 1–2 курса факультета физико-химической инженерии. 7. Доработан и прочитан МФК “Информатика, Экономика, Бизнес-консалтинг”. Публикации и конференции. По результатам проведенных исследований опубликовано около 20-ти научных статей и одна монография, сделано более 20-ти докладов на российских и международных конференциях. |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".