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

Theory of intelligent systems and automata theory 2016-2020

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

госбюджет, раздел 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 кодов. По теории сложности управляющих систем разработаны новые алгоритмы синтеза объемных схем и многослойных плоских схем. Получены новые результаты по расшифровке булевых функций. Получены новые результаты по теоретическим вопросам защиты информации и по математической логике. Реализован отечественный твердотельный накопитель информации первого поколения.

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

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