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

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. РЕЗУЛЬТАТЫ

Н.Ю.Волковым защищена кандидатская диссертация «Об автоматной модели преследования». Им изучено поведение коллективов автоматов-хищников по отношению к произвольной группе индивидуальных автоматов-жертв на модельных плоских областях. Доказано существование конечного универсального коллектива автоматов-хищников, уничтожающих любое множество автоматов-жертв при условии более высокой скорости хищников.

Д.Н.Жуком защищена кандидатская диссертация «Решение проблемы отделимости алгоритмически разрешимых случаев А-полноты для базисов Поста дефинитных автоматов». Уже после защиты диссертации им решена проблема, которая стояла более 90 лет, – проблема эффективного описания континуальной структуры замкнутых классов для класса самодвойственных функций трехзначной логики.

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

В.Ю.Лёвиным защищена кандидатская диссертация «Методы цифровой подписи на основе эллиптических кривых в единой инфраструктуре информационной безопасности» . Им решена задача построения протоколов цифровой подписи, удовлетворяющих повышенным требованиям к криптостойкости и быстродействию.

Исполнилось 70 лет ведущему научному сотруднику кафедры В.А.Носову. Он известный ученый теоретик в области теории защиты информации, который успешно доводит результаты своих исследований до внедрения в практику. Он автор более 100 научных публикаций. 10 учеников В.А.Носова защитили кандидатские диссертации, 3 – докторские диссертации. В.А.Носов – Лауреат Премии Минвуза СССР, Почетный Радист СССР.

Исполнилось 60 лет профессору кафедры, член-корреспонденту АТН РФ А.С. Подколзину. А.С. Подколзин является ведущим специалистом в области теории автоматов, интеллектуальных систем и приложений. В число выдающихся достижений А.С.Подколзина относится создание им компьютерного решателя математических задач, не имеющего аналога в мире. Он автор более 50 научных публикаций, подготовил 11 кандидатов и 2 докторов наук.

Исполнилось 50 лет доценту кафедры А.П.Рыжову. А.П.Рыжов – специалист в области нечеткой математики. Он автор более чем 50 научных работ.

Система распознавания лиц, разработанная под руководством А.А.Ирматова в компании Samsung S1, выиграла тендер и успешно использована в системе контроля управления доступом на саммите G-20, проходившем в Сеуле 11-12 ноября 2010 года.

А.П.Соколовым получена асимптотика логарифма сложности обучения формальных нейронов. Ю.С.Шуткиным получена асимптотика сложности реализации булевых функций информационными графами, эта работа стала победителем конкурса «Ломоносов-2010». Е.А.Поцелуевской получены быстрые алгоритмы решения задачи о выполнимости. В.В.Осокиным получен порядок параллельной и параметро-эффективной сложности расшифровки некоторых классов дискретных функций. В.В.Псиолой разработаны практически значимые эвристические алгоритмы плотной упаковки 3-мерных объектов. По этим темам подготовлены кандидатские диссертации.

Д.Н.Бабиным и И.Л. Мазуренко разработан стохастический разреженный алгоритм подавления электронного эхо, превосходящий по соотношению сложность / качество известные аналоги. Студентом П.Деркачом решена проблема алгоритмической разрешимости однозначности декодирования алфавитного кодирования для регулярных языков, частным случаем которой является известная теорема Маркова.

Кафедрой был проведена секция «Математическая теория интеллектуальных систем» в рамках X Международного семинара «Дискретная математика и ее приложения»; на ней были сделаны 61 доклад, из которых 4 пленарных. На механико-математическом факультете была проведена 6-я открытая конференция аспирантов и студентов кафедры МаТИС. Была проведена вторая конференция студентов факультета прикладной математики и информатики филиала МГУ в городе Ташкенте. В ней приняли участие 44 студента. По результатам конференции 5 работ были рекомендованы к публикации и 12 студентов были приглашены для прохождения семестровой стажировки на кафедре МаТИС.

В общей сложности сотрудниками кафедры и лаборатории за 2010 год опубликованы и сданы в печать 214 публикаций, в числе которых 83 научных статей и 30 патентов и заявок на патенты США и России. Сотрудники кафедры и лаборатории выступили с докладами на 18 конференциях.

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

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

На кафедре по зарегистрированной теме «Теория интеллектуальных систем и автоматов» в 2010 году обучалось 113 студентов, 26 аспирантов и 121 студент филиала МГУ в городе Ташкенте.

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

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

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

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