|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Теория интеллектуальных систем и автоматов 2021-2025НИР
Theory of intelligent systems and automata theory 2021-2025
- Руководители НИР: Гасанов Э.Э., Кудрявцев В.Б.
- Участники НИР: Алексеев Д.В., Алешин С.В., Алисейчик П.А., Бабин Д.Н., Боков Г.В., Быстрыгова А.В., Волков Н.Ю., Галатенко А.В., Гасанов Э.Э., Дергач П.С., Жук Д.Н., Иванов И.Е., Ирматов А.А., Калачев Г.В., Козлов В.Н., Коновалов А.Ю., Мазуренко И.Л., Миронов А.М., Носов В.А., Носов М.В., Осокин В.В., Панкратьев А.Е., Пантелеев П.А., Подколзин А.С., Половников В.С., Родин С.Б., Рыжов А.П., Соколов А.П., Часовских А.А., Чернова Ю.Г., Шуткин Ю.С., строгалов а.с.
- Подразделение: Кафедра математической теории интеллектуальных систем
- Срок исполнения: 1 января 2021 г. - 31 декабря 2025 г.
- Номер договора (контракта, соглашения): 6.1
- Номер ЦИТИС: 121060200171-9
- Тип: Фундаментальная
- Приоритетное направление научных исследований: Дискретная математика, математическая кибернетика и искусственный интеллект
- Приоритеты и перспективы НТР Российской Федерации согласно Стратегии НТР РФ: переход к передовым цифровым, интеллектуальным технологиям
- ПН России: Информационно-телекоммуникационные системы
- Направление технологического прорыва России: Стратегические информационные технологии
- Критическая технология России: Технологии информационных, управляющих, навигационных систем
-
Рубрики ГРНТИ:
- 27.47.15 Математическая теория управляющих систем
- 27.47.17 Математическая теория информации
- 27.47.23 Математические проблемы искусственного интеллекта
- 28.23.02 Общие проблемы искусственного интеллекта
- 28.23.15 Распознавание образов. Обработка изображений
- 28.23.24 Модели восприятия информации в интеллектуальных системах
- 28.23.25 Модели и системы обучения
- 28.23.29 Программная реализация интеллектуальных систем
- 28.23.33 Аппаратная реализация интеллектуальных систем
- 28.23.37 Нейронные сети
- 28.23.39 Интеллектуальные базы знаний
- 28.25.15 Анализ и синтез конечных автоматов
- Классификатор OECD: Математика, Прикладная математика
-
Ключевые слова:
сложность вычислений, решатели интеллектуальных задач, математическое моделирование в биологии, распознавание образов, помехоустойчивые коды, теория интеллектуальных систем, базы данных и знаний, защита информации, теория автоматов, формальные языки и языки программирования, теория кодирования, быстрые алгоритмы, экспертные системы
computational complexity, pattern recognition, automata theory, mathematical modeling in biology, the theory of intelligent systems, databases and knowledge bases, coding theory, solvers of intellectual problems, error control codes, fast algorithms, expert systems, formal languages and programming languages -
Описание:
Исследования по основным направлениям теории интеллектуальных систем и автоматов, таким как распознавание образов, хранение и поиск информации, принятие решений, разумное поведение, обучение, компьютерное моделирование, теория конечных и бесконечных автоматов, разработка приложений этих направлениях в науке и технике.
-
Abstract:
Research in the main areas of the theory of intelligent systems and automata, such as pattern recognition, information storage and retrieval, decision making, reasonable behavior, training, computer modeling, the theory of finite and infinite automata, the development of applications of these directions in science and technology.
-
Планируемые результаты:
Развитие теории конечных автоматов, развитие теории клеточных автоматов, развитие теории линейных автоматов, развитие теории прогнозирующих автоматов, дальнейшее развитие компьютерного решателя математических задач, решение задачи удовлетворения ограничений, разработка оптимальных по порядку методов синтеза плоских схем и их обобщений, решение новых задач информационного поиска, разработка методов семантического анализа текстов, развитие математической логики, развитие инструментария разработки LDPC кодов, развитие инструментария разработки интегральных схем, развитие теории распознавания визуальных образов, развитие теории информационной безопасности, разработка новых помехоустойчивых квантовых кодов.
-
Научный задел:
Получены фундаментальные результаты по теории автоматов и теории клеточных автоматов. Разработана теория тестовых методов распознавания и теория распознавания визуальных образов. Создана теория хранения и поиска информации. Получены фундаментальные результаты в теории управляющих систем Разработан лучший в мире компьютерный решатель математических задач. Разработаны компьютерные обучающие системы в разных областях знаний.
-
Основные результаты:
Развитие теории конечных автоматов, развитие теории клеточных автоматов, развитие теории линейных автоматов, развитие теории прогнозирующих автоматов, дальнейшее развитие компьютерного решателя математических задач, решение задачи удовлетворения ограничений, разработка оптимальных по порядку методов синтеза плоских схем и их обобщений, решение новых задач информационного поиска, разработка методов семантического анализа текстов, развитие математической логики, развитие инструментария разработки LDPC кодов, развитие инструментария разработки интегральных схем, развитие теории распознавания визуальных образов, развитие теории информационной безопасности, разработка новых помехоустойчивых квантовых кодов.
- Добавил в систему: Гасанов Эльяр Эльдарович
Источник финансирования НИР
| госбюджет, раздел 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 |
| Результаты этапа: Получила развитие теория клеточных автоматов с локаторами. Получены продвижения в математической теории нейронных сетей и машинного обучнения. Проводились исследования по применению методов искусственного интеллекта в прикладных задачах. В ООО "Типография А1" издано "Учебное пособие по дискретной математике". Автор Дергач П.С. Получена полная классификация количественных ограничений равенста. Асимптотические оценки числа пороговых функций. Разработаны асимптотически хорошие квантовые LDPC коды и классические локально тестируемые LDPC коды. Исследованы многомерные расширения продуктовых кодов. Исследованы некоторые свойства алфавитных кодов. Изучены некоторые свойства n-квазигрупп. Разработан алгоритм порождении n-квазигрупп с помощью правильных семейств функций. Получен аналог цифровой подписи на основе кодов изображений. Исследованы свойства обощенной реализуемости и строгой примитивно-рекурсивной реализуемости. Разработаны математические модели COVID-19. В издательстве ДМК Пресс издана монография "Методы верификации программ"; автор А.М.Миронов. Разработаны методы синтеза объемных схем с оптимальным по порядку энергопотреблением. По этой теме А.А.Ефимовым защищена кандидатская диссертация "Оценки энергопотребления объёмных схем". Разработанная ранее микросхема контроллера отечественного твердотельного накопителя информации второго поколения реализована в виде чипа в микросхемы 28 нм. Аппаратно реализованы алгоритмы эллиптической криптографии. Разработан язык описания аппаратных схем - ИРИС. | ||
| 4 | 8 января 2024 г.-31 декабря 2024 г. | Теория интеллектуальных систем и автоматов 2024 |
| Результаты этапа: | ||
| 5 | 10 января 2025 г.-31 декабря 2025 г. | Теория интеллектуальных систем и автоматов 2025 |
| Результаты этапа: | ||
Прикрепленные к НИР результаты
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".