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

Theory of intelligent systems and automata theory 2016-2020

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

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

Этапы НИР

# Сроки Название
1 1 января 2014 г.-31 декабря 2014 г. Теория интеллектуальных систем и автоматов
Результаты этапа: Александровым Д.Е. получены оценки сложности распознавания принадлежности слова регулярному языку. Ивановым И.О. исследованы алгоритмические аспекты "Chip-Firing" игры на графах. Плаксиной И.А. изучены криптографические свойства многомерных латинских кубов. Плетневым предложена математическая модель динамических баз данных и исследованы вопросы параллельной обработки потоков запросов. По этим темам подготовлены кандидатские диссертации. В.Н.Козловым разработан и прочитан дистанционный и интернет-курс «Распознающие системы», который изучили несколько тысяч человек. А.С.Подколзиным на базе компьютерного моделирования логических процессов проведено глубокое исследование явления самообучения интеллектуальных систем. В.Б.Кудрявцевым, Э.Э.Гасановым и Е.М.Перпером разработан алгоритм, на вход которого поступает текст нормативно-правового акта по бухгалтерскому учету на русском языке, а на выходе автоматически генерируется компьютерная программа, которая выполняет действия по заполнению отчетных форм, как это предписано в нормативно-правовом акте. Д.Н.Жуком продолжается разработка предикатного аппарата для изучения решетки клонов функций л-значной логики. Решена задача описания клонов, содержащих функцию почти единогласия.
2 1 января 2015 г.-31 декабря 2015 г. Теория интеллектуальных систем и автоматов
Результаты этапа: А.А.Летуновским защищена кандидатская диссертация «Задача выразимости автоматных функций относительно расширенной суперпозиции», в которой принципиально улучшено состояние задачи выразимости автоматов относительно суперпозиции. Д.В.Пархоменко защищена кандидатская диссертация «Гистограммная функция автомата и ее приложения», в которой изучена частота встречаемости слов на выходе автомата и приведена методика описания автоматом счётного числа регулярных языков. Д.Е.Александровым защищена кандидатская диссертация «Сложность распознавания принадлежности слова регулярному языку в системах обнаружения вторжений», посвященная исследованию проблемы экспоненциального роста числа состояний автоматов, распознающих семейство регулярных языков. Е.Е.Титовой защищена кандидатская диссертация «Конструирование изображений клеточными автоматами», в которой разработаны минимальные универсальные клеточные автоматы для построения статических и движущихся изображений. Кафедра МаТИС была со-организатором международной конференции "Математическая физика и ее приложения", г. Ташкент, 15-17 апреля 2015. В ВИНИТИ депонированы второй и третий тома монографии А.С.Подколзина "Компьютерное моделирование логических процессов". В.Б.Кудрявцевым, Э.Э.Гасановым, А.С.Подколзиным разработана расширенная версия курса "Интеллектуальные системы". Ю.Г.Черновой издана монография "Автоматное моделирование функционирования легких". В.В.Осокиным и Э.Э.Гасановым издан учебник "ДВИНЕМНАУКУ [система ведения научно-образовательных процессов]". Г.В.Боковым изучены вопросы выразимости и полноты для систем типа функциональных систем в кибернетике и дедуктивных систем в математической логике. Д.Н.Жуком решена открытая проблема о минимальном размере порождающего множества для декартовых степеней конечной алгебры, а именно было показано, что для любой алгебры размер минимального порождающего множества либо ограничен сверху полиномом от степени, либо ограничен снизу экспонентой. А.В.Годневой изучены криптографические свойства новых алгебраических операций, возникших в криптографических стандартах республики Узбекистан. А.В.Галатенко занял первое место, а П.А.Пантелеев, Ю.Г.Чернова и П.С.Дергач заняли второе место на конкурсе молодых ученых МГУ. Кафедра МаТИС ведет учебный процесс в филиале МГУ в городе Ташкенте.

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

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