![]() |
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Исследования по основным направлениям теории интеллектуальных систем и автоматов, таким как распознавание образов, хранение и поиск информации, принятие решений, разумное поведение, обучение, компьютерное моделирование, теория конечных и бесконечных автоматов, разработка приложений этих направлений в науке и технике.
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 кодов, создание инструментария разработки интегральных схем.
Получены фундаментальные результаты по теории автоматов и теории клеточных автоматов. Разработана теория тестовых методов распознавания и теория распознавания визуальных образов. Создана теория хранения и поиска информации. Получены фундаментальные результаты в теории управляющих систем Разработан лучший в мире компьютерный решатель математических задач. Разработаны компьютерные обучающие системы в разных областях знаний.
Решена задачи удовлетворения ограничений. Решена задача полноты и выразимости для линейных автоматов. По компьютерному решателю математических задач написано 4 моногорафии. Разработаны оптимальные по порядку методов синтеза плоских схем. Получены оценки длины периода автоматов и магазинных автоматов. Получено асимптотически оптимальное решение задачи поиска вхождений слов с множестве слов. Разработан алгоритм автоматического перевода теста некоторых нормативных актов в формальную модель. Создан новый алгоритм решения задачи идентификации личности по отпечаткам пальцев. Получены серьезные продвижения в математической логике. Создан инструментарий разработки LDPC кодов..Создан новый инструментарий разработки интегральных схем.
госбюджет, раздел 0110 (для тем по госзаданию) |
# | Сроки | Название |
1 | 1 января 2016 г.-31 декабря 2016 г. | Теория интеллектуальных систем и автоматов 2016 |
Результаты этапа: | ||
2 | 1 января 2017 г.-31 декабря 2017 г. | Теория интеллектуальных систем и автоматов 2017 |
Результаты этапа: Решена задача удовлетворения ограничений, получены результаты по эффективному кодированию состояний автомата, получены оценки длины периода магазинного автомата, разработаны эффективные алгоритмы восстановления трехмерных тел по проекциям, получены оценки мощностной сложности функций с ограниченным числом единиц и монотонных функций при реализации плоскими схемами, разработаны LDPC коды для стандарта беспроводной связи 5G, разработаны эффективные аппаратные реализации для отечественных блочных шифров, разработаны и аппаратно реализованы устройства хранения данных для доверенных вычислительных платформ, написаны книги математической биологии по верификации программ, по моделированию логических процессов средствами пропозициональных исчислений, по опыту обучения компьютерного решателя задач по таким разделам как: аналитическая геометрия, линейная алгебра, теория вероятностей, комплексный анализ. | ||
3 | 1 января 2018 г.-31 декабря 2018 г. | Теория интеллектуальных систем и автоматов 2018 |
Результаты этапа: Написано 43 статьи, 9 книг, 9 патентов. Защищено 5 кандидатских диссертаций. Принято участие в 38 конференциях. Получены оценки функции Шеннона мощности плоских схем, реализующих функции и операторы из различных классов. Также, получен порядок роста функции Шеннона максимальной мощности для класса функций с ограниченным числом единиц с учетом ограничений на расположений входов схемы. Также, исследован класс монотонных функций. Для этого класса получен порядок функции Шеннона средней и максимальной мощности. В частности, показано, что в классе монотонных функций порядки роста средней и максимальной мощности различаются. Получена оценка на максимальную длины периода выходной последовательности в зависимости от характеристик автомата; -в случае однобуквенного алфавита удалось существенно понизить полученную верхнюю оценку. Дана асимптотически достижимая оценка для автономного случая. В случае произвольного алфавита магазина удалось показать, что существенно понизить полученную оценку нельзя. Доказано, что найдется такой автомат с магазинной памятью с однобуквенным магазином, который способен преобразовывать входную последовательность, увеличивая ее период квадратичным образом; если же в магазине автомата с магазинной памятью разрешить иметь хотя бы два символа, то найдется такой автомат, который сможет преобразовывать входную последовательность, увеличивая ее период полиномиально. Получены оценки длины периода магазинного автомата. Получены оценки мощностной сложности булевых функций и операторов из различных классов при реализации плоскими схемами. Разработаны эффективные алгоритмы поиска подслова в массиве слов. Разработаны LDPC коды для твердотельных накопителей информации. Разработаны 2 версии отечественного твердотельного накопителя информации: легкий для ПЛИС и высокоэффективный для ASIC. блочных шифров, разработаны и аппаратно реализованы устройства хранения данных для доверенных вычислительных платформ, написаны книги математической биологии по верификации программ, по моделированию логических процессов средствами пропозициональных исчислений, по опыту обучения компьютерного решателя задач по таким разделам как: аналитическая геометрия, линейная алгебра, теория вероятностей, комплексный анализ. Получены нижних оценок объема памяти алгоритмов поиска подслов в множестве слов в зависимости от времени поиска информации при некоторых ограничениях на используемые при поиске функции. Построены алгоритмы поиска слов и вхождений слов в множестве слов с характеристиками по объему и памяти, оптимальные при некоторых ограничениях на используемые при поиске функции. Получены оценки сложности алгоритма поиска слов для случая, когда длина подслова подается на вход алгоритма вместе с самим подсловом, при ограничениях на объем памяти и используемые при поиске функции. Создан алгоритм перевода текстов нормативных документов на русском языке в формальный язык логики предикатов; проверка работоспособности данного алгоритма на примере положения по бухгалтерскому учету ПБУ 6/01. Разработана новая математическая модель отпечатков пальцев на основе аппроксимации обобщенными многочленами Чебышева в окрестности особых точек поля ориентаций отпечатка пальца. На основе этой модели и метода локально-чувствительного хэширования разработан и программно реализован новый алгоритм решения задачи идентификации личности по отпечаткам пальцев. Получена теоретико-сложностная оценка его работы. Проведены экспериментальные исследования, демонстрирующие преимущество разработанной автором модели отпечатка с позиции точности относительно алгоритма биометрического поиска Д. Мальтони. Р. Капелла, М. Феррара. Разработана мультимодальная система защищенной биометрической аутентификации личности на основе личностного шифрования, исследованы ее свойства, проведен анализ корректности и безопасности. Доказано, что если класс V содержит все функции, определимые в расширении языка арифметики L, то семантика языка L, основанная на V-реализуемости, совпадает с классической, а соответствующая предикатная логика – с классической логикой предикатов. Установлено, что не всякая примитивно рекурсивно реализуемая предикатная формула классически общезначима. Доказано, что если V содержит все арифметические функции, то всякая абсолютно V-реализуемая предикатная формула классически общезначима, и в то же время не всякая замкнутая формула, выводимая в интуиционистском исчислении предикатов, является абсолютно V-реализуемой. Установлена корректность базисной логики предикатов относительно абсолютной V-реализуемости для различных классов V. Доказано, что модификация конструктивной теории множеств без аксиомы объемности, основанная на использовании базисной логики вместо интуиционистской, является корректной относительно V-реализуемости для различных классов V. Написаны книги по теории интеллектуальных систем, по теории автоматов, по машинному обучению, по методам обработки и анализа тактильных образов, по эллиптической криптографии. | ||
4 | 1 января 2019 г.-31 декабря 2019 г. | Теория интеллектуальных систем и автоматов 2019 |
Результаты этапа: Решены проблемы полноты и выразимости для линейных автоматов. Проведены исследования по математическим моделям в биологии и по сложности реализации автоматов, в том числе клеточных автоматов. Написаны 2 книги компьютерному решателю задач. Разработаны новые алгоритмы распознавания образов, в том числе с использованием нейросетей. Получены серьезные продвижения в задаче удовлетворения ограничениям. Получены новые результаты в теории алфавитного и помехоустойчивого кодирования, в том числе для квантовых и LDPC кодов. По теории сложности управляющих систем разработаны новые алгоритмы синтеза объемных схем и многослойных плоских схем. Получены новые результаты по теоретическим вопросам защиты информации и по математической логике. Разработан отечественный твердотельный накопитель информации первого поколения. | ||
5 | 1 января 2020 г.-31 декабря 2020 г. | Теория интеллектуальных систем и автоматов 2020 |
Результаты этапа: Решены проблемы полноты и выразимости для линейных автоматов. Проведены исследования по математическим моделям в биологии и по сложности реализации автоматов, в том числе клеточных автоматов. Получены продвижения по самообучению компьютерного решателя задач. Разработаны новые алгоритмы распознавания образов, в том числе с использованием нейросетей. Получены серьезные продвижения в задаче удовлетворения ограничениям. Получены новые результаты в теории алфавитного и помехоустойчивого кодирования, в том числе для квантовых и LDPC кодов. По теории сложности управляющих систем разработаны новые алгоритмы синтеза объемных схем и многослойных плоских схем. Получены новые результаты по расшифровке булевых функций. Получены новые результаты по теоретическим вопросам защиты информации и по математической логике. Реализован отечественный твердотельный накопитель информации первого поколения. |
Для прикрепления результата сначала выберете тип результата (статьи, книги, ...). После чего введите несколько символов в поле поиска прикрепляемого результата, затем выберете один из предложенных и нажмите кнопку "Добавить".