Годовой отчет кафедры МаТИС и лаборатории ПТК, 2009 г.

1. Отрасль науки: Математика (01.01.00)

2. Приоритетное направление: 6 Дискретная математика и искусственный интеллект

КРАТКИЙ АННОТАЦИОННЫЙ ОТЧЕТ О НАУЧНО-ИССЛЕДОВАТЕЛЬСКОЙ РАБОТЕ ПО ТЕМЕ:

1. НАЗВАНИЕ ТЕМЫ:

ТЕОРИЯ ИНТЕЛЛЕКТУАЛЬНЫХ СИСТЕМ И АВТОМАТОВ

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

1.2.  Шифры

1.3.  Номер госрегистрации № 01.200.1 17246

1.4.  Факультет: Механико-математический

1.5.  Кафедра математической теории интеллектуальных систем и Лаборатория проблем теоретической кибернетики.

2.    РУКОВОДИТЕЛЬ РАБОТ

2.1.  Кудрявцев Валерий Борисович

2.2.  Д.ф.-м.н., профессор

2.3.  9394637

3.    ИСТОЧНИКИ И ОБЪЕМЫ ФИНАНСИРОВАНИЯ, ПОЛУЧЕННЫЕ И ОСВОЕННЫЕ

4.    РЕЗУЛЬТАТЫ

Ю.Г.Гераськиной защищена кандидатская диссертация "Автоматная модель одной транспортной системы в биологии ". Построена математическая модель явления самоочищения легких живых систем. Поставлены и решены ключевые проблемы, характеризующие это явление. Эта работа была выполнена как результат многолетнего и плотного сотрудничества кафедры МаТИС и института пульмонологии (ИП) РАМН. Руководитель ИП РАМН академик РАМН А.Г.Чучалин по представлению кафедры и факультета избран почетным профессором МГУ.

В издательстве ЦПИ при механико-математическом факультете МГУ издана монография Д.Н.Бабина <Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты>. В монографии построена классификация автоматных базисов по свойству разрешимости задачи полноты для них; установлена явная граница в терминах решетки Поста, отделяющая разрешимые случаи от неразрешимых.

Исполнилось 50 лет профессору кафедры, член-корреспонденту АТН РФ Э.Э.Гасанову. Э.Э.Гасанов является ведущим специалистом в области хранения и поиска информации, создателем нового направления, известного как информационно-графовая модель данных. Он автор более 120 научных публикаций, подготовил 6 кандидатов наук.

Исполнилось 50 лет доценту кафедры А.А.Часовских. А.А.Часовских – известный специалист в области теории автоматов. Он автор более чем 50 научных работ, подготовил двух кандидатов наук. Работу на кафедре совмещает с руководством СУНЦ МГУ.

А.С. Подколзин избран член-корреспондентом АТН РФ. В 2009 году им углублена и расширена область применимости компьютерного решателя математических задач, а также оптимизированы основные параметры функционирования этого решателя. Завершается работа по созданию второго тома монографии по синтезу такого решателя.

Ю.Н.Черемных избран член-корреспондентом АТН РФ. Ю.Н.Черемных – ведущий специалист страны в области математических методов в макроэкономике. В 2009 году в издательстве <Дело и сервис> вышел его учебник <Математические методы в экономике>.

И.В.Кучеренко найдена граница отделимости алгоритмической распознаваемости обратимости клеточных автоматов в многопараметрическом пространстве данных. По этой теме подготовлена кандидатская диссертация.

Н.С.Кучеренко исследованы функции роста сложности поиска информации в случайных базах данных в зависимости от функций распределения элементов баз данных и запросов. По этой теме подготовлена кандидатская диссертация.

Д.Н.Жуком найдена граница, отделяющая случаи разрешимости А-полноты для дефинитно-автоматных систем Поста от неразрешимых случаев. По этой теме подготовлена кандидатская диссертация.

М.А.Подколзиной решена задача о τ-полноте S-систем автоматных функций, обобщающая случай S-полноты для k-значных логик. По этой теме подготовлена кандидатская диссертация.

И.В.Лялиным установлено, что в случае автоматных уравнений от одного переменного существует алгоритм поиска его решения, а для автоматных уравнений от 2-х и более переменных такого алгоритма нет.

В.Н.Козлов выиграл фулбрайтовкий грант, позволивший ему успешно провести стажировку в США в консорциуме университетов СУНИ.

Д.Н.Жук стал победителем конкурса <Ломоносов-2009>.

Кафедрой был проведен симпозиум <Интеллектуальные системы и компьютерные науки> в рамках Международной конференции "Современные  проблемы математики, механики и их приложений", посвященной 70-летию ректора МГУ академика В.А. Садовничего; на нем было сделано 58 докладов.

На механико-математическом факультете была проведена 5-я открытая конференция аспирантов и студентов кафедры МаТИС.

Была проведена первая конференция студентов факультета прикладной математики и информатики филиала МГУ в городе Ташкенте. В ней приняли участие 33 студента. По результатам конференции 5 работ были рекомендованы к публикации и 10 студентов были приглашены для прохождения семестровой стажировки на кафедре МаТИС.

В общей сложности сотрудниками кафедры и лаборатории за 2009 год опубликованы и сданы в печать 207 публикаций, в числе которых 2 монографии, 6 учебных пособий, 84 научных статей и 32 патента и заявок на патенты США и России. Сотрудники кафедры и лаборатории выступили с докладами на 22 конференциях.

Кафедра ведет учебный процесс в филиале МГУ в городе Ташкенте.

Вышел очередной том №12 журнала <Интеллектуальные системы>, издаваемый под эгидой механико-математического факультета МГУ кафедрой МаТИС при спонсорской поддержке LSI Corporation.

На кафедре по зарегистрированной теме <Теория интеллектуальных систем и автоматов> в 2009 году обучалось 111 студентов, 27 аспирантов и 76 студентов филиала МГУ в городе Ташкенте.

5.    КЛЮЧЕВЫЕ СЛОВА

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

Руководитель работы

д.ф.-м.н., профессор В.Б.Кудрявцев