В связи с техническими работами в центре обработки данных, возможность загрузки и скачивания файлов временно недоступна.
 

Теория интеллектуальных систем и автоматов 2021-2025НИР

Theory of intelligent systems and automata theory 2021-2025

Источник финансирования НИР

госбюджет, раздел 0110 (для тем по госзаданию)

Этапы НИР

# Сроки Название
1 11 января 2021 г.-31 декабря 2021 г. Теория интеллектуальных систем и автоматов 2021
Результаты этапа: Получены принципиальные продвижения в теории линейных автоматов. А.А.Часовских защищена докторская диссертация. Проводилось исследование различных классов автоматов. Исследовались вопросы автоматного моделирования, в том числе с использованием клеточных автоматов и клеточных автоматов с локаторами. Получены продвижения по самообучению компьютерного решателя задач. Разработаны новые алгоритмы распознавания образов, в том числе с использованием нейросетей. Проводились исследования по применению методов искусственного интеллекта и анализа данных в медицинских задачах. В теории логических функций получены серьезные продвижения в задаче удовлетворения ограничениям. Решена задача расшифровки некоторых классов булевых функций различными типами запросов. Получены новые результаты по теории пороговых функций. Получены рекордные результаты по квантовым и LDPC кодам. Получены новые результаты по теоретическим вопросам защиты информации, в том числе в области скрытых каналов, функциональных сетей, латинских квадратов и квазигрупп. Получены новые результаты по синтезу управляющих систем, в частности, по многослойным многомерным схемам и по плоским автоматным схемам. Получены новые результаты по укладке графов и по автоматному анализу графов. Получены продвижения в математической логике. Проведеные исследования по применению математических методов в молекулярной биологии и медицине. Реализован отечественный твердотельный накопитель информации второго поколения. Разработаны новые приложения с использованием нейро-сетей.
2 10 января 2022 г.-31 декабря 2022 г. Теория интеллектуальных систем и автоматов 2022
Результаты этапа: За отчетный период опубликовано 4 книги, защищены 4 кандидатские диссертации, опубликованы 55 статей, 2 патента, сделано 46 докладов на конференциях, велись исследования в рамках 7 НИР. В области теории автоматов защищены 2 кандидатские диссертации. Р.А.Ищенко защитил кандидатскую диссертацию по теме "О свойствах разложимых графов". В диссертации исследованы вопросы восстановления автомата по графу со стертой разметкой. Д.В.Ронжин защитил кандидатскую диссертацию по теме "Линейные автоматы над подкольцами рациональных чисел". В диссертации получены серьезные продвижения в теории линейных автоматов, функционирующих над полем рациональных чисел и над кольцом двоично-рациональных чисел. Исследована задача К-конечнопорожденности для предполных классов линейных автоматов. Исследовались вопросы автоматного моделирования, в том числе с использованием клеточных автоматов и клеточных автоматов с локаторами. В частности, проведено моделирование аэродинамики крыла клеточными автоматами, и с логарифмической сложностью решена задача сложения векторов на прямой клеточными автоматами с локаторами. В издательстве Юрайт вышел учебник для вузов "Теория автоматов"; авторы: Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. Всего по теории автоматов опубликовано 9 статей. Серьезные исследования проведены по теории интеллектуальных систем. Получены продвижения по самообучению компьютерного решателя задач. По этой теме под авторством А.С.Подколзина вышел 9 том монографии "Компьютерное моделирование логических процессов" с подзаголовком: "Автоматическое создание приемов логической системы (Логический вывод в базе теорем)". В издательстве Юрайт вышел учебник для вузов "Распознавание образов"; авторы: Кудрявцев В.Б., Гасанов Э.Э., Подколзин А.С. Получены интересные результаты в математической теории нейронных сетей. В частности, по сокращению нелинейной глубины многомерных сверточных нейронных схем, по проблеме выразимости кусочно-постоянных функций, а тажке по свойствам рекуррентных схем. Проводились исследования по применению методов искусственного интеллекта и анализа данных в прикладных задачах. В частности для задач прогнозирования спортивных результатов, для семантического анализа правил дорожного движения, для измерения алкогольного благополучия регионов. Всего по теории интеллектуальных систем опубликовано 24 статьи. По теории логических функций защищены 2 кандидатские диссертации. С.А.Комков защитил кандидатскую диссертацию по теме "Темпы роста произвольеых конечных структур". В диссертации получены оценки темпов роста классов функций из решетки Поста. А.В.Быстрыгова защитила кандидатскую диссертацию по теме "Парамнтро-эффективная расшифровка булевых функций". В диссертации решена задача расшифровки булевых функций из замкнутых классов Поста и функций ограниченного веса различными типами запросов. Получены серьезные продвижения в задаче удовлетворения ограничениям. Всего по теории логических функций опубликовано 5 статей. В области помехоустойчивого кодирования разработаны асимптотически хорошие квантовые LDPC коды и классические локально тестируемые LDPC коды. По этой теме опубликовано 3 статьи и 2 патента. Велись исследования в области защиты информации. Изучены некоторые свойства n-квазигрупп. Предложен новый алгоритм достижения консенсуса для стабильных криптовалют. Суммарно по этой теме опубликовано 4 статьи. Получены интересные результаты в логике предикатов. Всего по этой теме опубликовано 4 статьи. Проведены исследования по изучению свойств пептидов Omicron и Delta SARS-CoV-2. Опубликована 1 статья. Получены продвижения в теории верификации программ. В издательстве МАКС Пресс под авторством А.М.Миронова издана монография "Математические модели и методы верификации процессов". Разработаны методы верификации криптографических протоколов. По этой теме опубликовано 3 статьи. В области приложений реализована микросхема контроллера твердотельного накопителя информации второго поколения. Аппаратно реализованы некоторые крипто примитивы.
3 9 января 2023 г.-31 декабря 2023 г. Теория интеллектуальных систем и автоматов 2023
Результаты этапа:
4 8 января 2024 г.-31 декабря 2024 г. Теория интеллектуальных систем и автоматов 2024
Результаты этапа:
5 10 января 2025 г.-31 декабря 2025 г. Теория интеллектуальных систем и автоматов 2025
Результаты этапа:

Прикрепленные к НИР результаты

Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".