Курсы и семинары :: Студенты и аспиранты Бабина Д.Н. :: Публикации Бабина Д.Н. :: Публикации учеников Бабина Д.Н.

Бабин Дмитрий Николаевич

д.ф.-м.н., член-корр. МАТН, профессор, заместитель заведующего лабораторией

Бабин Дмитрий Николаевич родился 2 сентября 1954 года в г.Балтийске Калининградской области. Окончил математический класс в г. Воткинске, окончил механико-математический факультет МГУ в 1976 году по специальности математика и поступил в аспирантуру механико-математического факультета МГУ, которую окончил в 1979 году.

С 1980 г. по 1986 он работал инженером факультета психологии МГУ, где занимался математическим моделированием зрительного и слухового аппарата человека и животных, и написал на эту тему ряд статей. С 1985 г. по 1990 г. преподавал информатику в ФМШ-18. На факультете работает с 1987 года.

Бабин Дмитрий Николаевич является специалистом в области дискретной математики и информатики. Ему принадлежат фундаментальные результаты в теории автоматов и функциональных систем, а также в практическом распознавании образов.

В 1985 году Бабин Д.Н. защитил кандидатскую диссертацию по математической кибернетике, в которой была введена вербальная операция над автоматами и исследована ее связь с традиционными операциями суперпозиции и обратной связи, что позволило решить ряд задач о полноте конкретных систем автоматов.

В 1987 году Бабин Д.Н. для конечных автоматов доказал теорему о существовании полных систем арности два (аналог 13 проблемы Гильберта). Более того, ему удалось показать, что система, состоящая из одноместных автоматов и всех булевых функций, полна относительно операции суперпозиции.

В 1998 году Бабин Д.Н. защитил докторскую диссертацию, в которой была построена классификация автоматных базисов по свойству разрешимости задачи полноты для них. Была установлена явная граница в терминах решетки Поста, отделяющая разрешимые случаи от неразрешимых. Работа обобщила все попытки последних десятилетий найти примеры систем автоматов, для которых имеет место разрешимость или неразрешимость. В определенном смысле, она дала окончательный ответ на поставленный вопрос.

Прикладные разработки Бабина Д.Н. относятся к области создания конкретных систем для распознавания образов. Группой сотрудников и аспирантов кафедры под руководством Бабина Д.Н. была разработана компьютерная система распознавания речи, позволяющая после предварительного обучения надежно распознавать команды диктора в условиях производственных шумов. Группой аспирантов Бабина Д.Н. была разработана система распознавания жестов, доведённая до реализации в чипе.

Бабин Д.Н. имеет более 60 печатных работ и монографий, два отечественных патента по распознаванию речи и 30 патентов США по цифровой обработке сигналов и изображений, является членом редколлегии двух журналов из списка ВАК.

Бабин Д.Н. читает спецкурсы «Дискретные системы и процессы», «Современные проблемы прикладной дискретной математики» и руководит семинаром "Теория дискретных функций и приложения", руководит научной работой студентов и аспирантов.

Под руководством Бабина Д.Н. было защищено более 7 кандидатских диссертаций и более 40 дипломных работ.

Список кандидатских диссертаций учеников проф. Бабина Д.Н.

• Хазбун И.В. 1992 Об условиях полноты и выразимости в точной алгебре автоматов.
• Мазуренко И.Л. 2001 Автоматные методы распознавания речи.
• Холоденко А.Б. 2008 Об автоматной аппроксимации реальных языков.
• Кибкало М.А. 2013 Автоматная сложность булевых функций из классов Поста.
• Летуновский А.А. 2015 Задача выразимости автоматных функций относительно расширенной суперпозиции.
• Пархоменко Д.В. 2015 ГИСТОГРАММНАЯ ФУНКЦИЯ АВТОМАТА И ЕЕ ПРИЛОЖЕНИЯ.
• Петюшко А.А. 2016 Биграммные языки.
• Иванов И.Е. 2018 Об автоматных функциях с магазинной памятью.

Email: Написать письмо

См. также: http://istina.msu.ru/profile/Babin/

                  https://ru.linkedin.com/in/дмитрий-бабин-14341796/en

Обязательные и специальные курсы, которые читает Дмитрий Николаевич Бабин

Аспиранты Бабина Д.Н., выпускники аспирантуры кафедры

Студенты и магистранты Бабина Д.Н.

Список основных публикаций Бабина Д.Н.

• Бабин Д.Н., Мазуренко И.Л., Холоденко А.Б., Пархоменко Д.В., Михайлов Д.С., Уранцев А.В. Способ определения текущего состояния глаз оператора при контроле бодрствования.
  Патент РФ 2563091, 20.09.2015
• Babin D.N., Filippov A.N., Mazurenko I.L., Parfenov D.V., Parkhomenko D.V. Double precision approximation of a single precision operation
  US Patent 8924447. December 30, 2014
• Aliseychik P.A., Babin D.N., Mazurenko I.L., Parkhomenko D.V., Zaytsev D.V. Method and apparatus for increasing frame rate of an image stream using at least one higher frame rate image stream
  US Patent application 20140362289, Dec. 11, 2014
• Babin D.N., Markovic A., Mazurenko I.L., Parfenov D.V., Petyushko A.A. Time domain acoustic echo control
  US Patent 8824667. September 2, 2014
• Aliseychik P.A., Babin D.N., Mazurenko I.L., Petyushko A.A., Shaw D.G. Fast echo gain change detection
  US Patent 8817970. Aug. 26, 2014
• Babin D.N., Mazurenko I.L., Parfenov D.V., Parkhomenko D.V., Petyushko A.A. Stochastic vector based network echo cancellation
  US Patent 8804946. Aug. 12, 2014
• Бабин Д.Н. О суперпозициях автоматов.
  Интеллектуальные системы, том 17, № 1-4, 2013. Стр. 142-146
• Бабин Д.Н. Простые автоматы в задаче полноты относительно суперпозиции.
  Интеллектуальные системы, том 17, № 1-4, 2013. Стр. 147-148
• Бабин Д.Н., Мазуренко И.Л., Холоденко А.Б. Автоматные языки с частотным свойством естественных языков
  Интеллектуальные системы в производстве № 1, 2013 г. Стр. 9 – 13
• Aleshin S.V., Babin D.N., Babin D.N., Lyalin I.V., Nikitin A.A., Parfenov D.V. Adaptive filtering with flexible selection of algorithm complexity and performance
  Unated States Patent 8515055. August, 20, 2013 27 p.
• Babin D.N., Markovic A., Mazurenko I.L., Parkhomenko D.V., Petyushko A.A. Soft attenuation of high-power signals
  US Patent application 20120224684. September 6, 2012
• Babin D.N., Markovic A., Mazurenko I.L., Parkhomenko D.V., Petyushko A.A. Music detection using spectral peak analysis
  US Patent application 20120158401. June 21, 2012
• Aliseychik P.A., Babin D.N., Markovic A., Mazurenko I.L., Parkhomenko D.V. Music detection based on pause analysis
  US Patent application 20120155655. June 21, 2012
• Babin D.N. On the classification of bases in Pk according to the decidability of the completeness problem for automata.
  Journal of Mathematical Sciences, Plenum Publishers (United States), vol. 168, issue 1, 2010.
• Бабин Д.Н. Классификация автоматных базисов Поста по разрешимости свойств полноты и А-полноты.
Изд-во ЦПИ при мех-мат ф-те МГУ, М., 2009. 112 с.
• Бабин Д.Н., Холоденко А.Б. Об автоматной аппроксимации естественных языков,
  Интеллектуальные системы, т. 12, 2008 г. Стр. 125-136
• Бабин Д.Н. О разрешимости проблемы полноты для автоматов,
  Интеллектуальные системы, N 10, 2007 с.639-657
• Бабин Д.Н. О классификации базисов в Pk по разрешимости задачи полноты конечных систем автоматов,
  Интеллектуальные системы, N 8, с.369-389
• Бабин Д.Н. О разрешимости проблемы полноты и А-полноты конечных систем автоматов с функциональной добавкой из Pk,
  Материалы 8 международного семинара "Дискретная математика и ее приложения", 2004, с. 251-254.
• Babin D.N. Finiteness of the set of automaton Post bases with solvable completeness problem,
  Discrete mathematics and applications, V8, 1998, p. 475 -482
• Бабин Д.Н., Мазуренко И.Л., Холоденко А.Б. О перспективах создания системы автоматического распознавания слитной устной русской речи.
  Интеллектуальные системы, том 8, выпуск 1-4, Москва, 2004 год Стр. 45-70
• Бабин Д.Н. Алгоритм полноты систем автоматных функций с полной булевой частью
  Интеллектуальные системы, Т.7, вып. 1-4, 2003 Стр. 199 – 222
• Бабин Д.Н. О значении булевой части автоматного базиса для разрешимости задачи полноты
  Материалы конференции "Нейрокомпьютеры и их применение". Москва, 2000 г.
• Бабин Д.Н., Дементиенко В.В., Мазуренко И.Л., Уранцев А.В., Холоденко А.Б. Опыт изготовления и использования системы защиты слуха операторов в условиях сильных акустических шумов
  Материалы четвертой международной научно-практической конференции "Пилотируемые полеты в космос", с.395.
• Бабин Д.Н., Мазуренко И.Л., Уранцев А.В., Холоденко А.Б. Способ идентификации факта речевой активности оператора
  Заявка на патент 99103468/ 28(003418) решение от 29.12.99
• Бабин Д.Н., Холоденко А.Б. Использование лексических анализаторов в распознавании образов
  Труды международного семинара Диалог-99, Таруса,1999.
• Алисейчик П.А., Бабин Д.Н., Мазуренко И.Л. Об автоматическом исправлении неправильного произношения иностранных слов
  Материалы 2-й международной конференции по дистанционному образованию в России "Открытое и дистанционное обучение – стратегия развития. Москва, 1996 г.
• Бабин Д.Н. Решение проблемы классификации автоматных базисов Поста по разрешимости свойств полноты
  Тезисы докладов 12-й международной конференции, Нижний Новгород с. 267
• Бабин Д.Н. Конечность множества автоматных базисов Поста с разрешимой проблемой полноты.
  Дискретная математика, том 10.
• Бабин Д.Н. Алгоритмическая разрешимость свойств полноты и А-полноты конечных систем автоматных функций с линейной истинностной частью
  Интеллектуальные системы, том 3, вып.1-2, Москва, 1998 г. стр. 51-69
• Babin D.N. Decidebility of problem of completeness, for special automamta systems
  Discrete Matematics and Applications, V.6, N1 (1997), PP, VSP, Utrecht, the Netherlands, Tokyo, Japan.
• Бабин Д.Н. О разрешимости проблемы полноты для специальных систем автоматных функций
  Дискретная математика, N4, вып. 8, стр.79-91. Наука. Москва. 1996 г. 0.3 п.л.
• Babin D.N. Undecidebility of problem of completeness
  Discrete Matematics and Applications, V.5, N1 (1995), pp.31-43, VSP, Utrecht, the Netherlands, Tokyo, Japan 0.2 п.л.
• Бабин Д.Н. Неразрешимость проблемы полноты и А-полноты некоторых систем автоматных функций.
  Дискретная математика, 1995, том 7, выпуск 2, стр. 52-65, Наука, Москва. 0.3 п.л.
• Бабин Д.Н., Дудецкий В.Н. и др. Распознавание изолированных слов ограниченного словаря
  Свидетельство об официальной регистрации программы для ЭФВМ N940412
• Бабин Д.Н., Часовских А.А и др. Лекции и упражнения по основам информатики
  Учебное пособие МГРИ. Москва, 1994 г. 3
• Бабин Д.Н. О суперпозициях о.-д. функций ограниченного веса
  Логико-алгебраические конструкции. Тверь, 1992 г. 0.5 п.л.
• Бабин Д.Н. Неразрешимость полноты и А-полноты систем автоматных функций с истинностной частью типов F,S,P,O.
  Дискретная математика, N1, 1995 г. 0.8 п.л.
• Babin D.N. On completeness of the binary bounded determined functions with respect to superposition
  Discrete mathematics and applications, V1, N4, 1991 г. 0.7 п.л.
• Бабин Д.Н. Разрешимый случай задачи о полноте автоматных функций
  Дискретная математика, N 4. 1992 г. 0.7 п.л.
• Бабин Д.Н. О полноте и выразимости о.-д. функций по дискретной математике
  Материалы 2 международной конференции по дискретной математике. Благоевград (НРБ). 1990 г.
• Бабин Д.Н. О суперпозициях в некоторых классах о.-д. функций
  Логико-алгебраические конструкции. Тверь, 1992 г. 0.3 п.л.
• Бабин Д.Н. О суперпозициях ограниченно-детерминированных функций
  Математические заметки, т.47, вып.3. 1990 г. 0.4 п.л.
• Бабин Д.Н. О полноте двуместных о.-д. функций относительно суперпозиции
  Дискретная математика, N4, 1989 г. 0.4 п.л.
• Babin D.N. Verbal operation on automaton
  Springer Verlag, 1987 0.2 п.л.
• Бабин Д.Н., В.В.Горбунов, В.М.Девишвили. Сенсомоторное тестирование
  Материалы семинара по дискретной математике МГУ, 1989 г. 0.2 п.л.
• А.М.Черноризов, Бабин Д.Н., Е.Н.Соколов. Динамическая модель взаимодействия колбочек с яркостными горизонтальными клетками
  Нейрофизиология, т.21, N4. Киев, 1989 г. 0.3 п.л.
• Бабин Д.Н. Выразимость автоматов при использовании вербальных операций
  Материалы семинара по дискретной математике. Изд. МГУ, 1986 г. 0.3 п.л.
• Бабин Д.Н. Вербальные подавтоматы
  Seminar berichte Humbolt Univ., 1983 г. 0.3 п.л.
• Бабин Д.Н. Вербальные подавтоматы изадача полноты
  Вестник МГУ, 1985, N3 0.2 п.л.

Список научных публикаций учеников Бабина Д.Н.

• Д.В. Пархоменко. Метод распознавания множества слов через синтез детерминированного автомата. Интеллектуальные системы, 2011, Т. 15, вып. 1-4. Стр. 189-204.
• А.А. Летуновский. О задаче выразимости автоматов относительно суперпозиции для систем с фиксированной добавкой. Интеллектуальные системы, 2011, Т. 15, вып. 1-4. Стр. 401-412.
• М.А. Кибкало. Об автоматной сложности классов Поста булевых функций. Интеллектуальные системы, 2011, Т. 15, вып. 1-4. Стр. 379-400.
• И.Е. Иванов. Некоторые классы функций, вычислимые автоматами. Интеллектуальные системы, 2011, Т. 15, вып. 1-4. Стр. 361-378.
• Letunovskiy A.A., Lyalin I.V., Markovic A., Mazurenko I.L., Nikitin A.A. High-performance tone detection using a digital signal processor (DSP) having multiple arithmetic logic units (ALUs). PCT Patent application. Pub. No.: WO/2010/138014, International Application No.: PCT/RU2009/000268, Publication Date: 02.12.2010, International Filing Date: 28.05.2009. 39 p.
• М.А. Кибкало. О сложности представления коллекции языков в конечных автоматах. Интеллектуальные системы, 2009, Т. 13, вып. 1-4. Стр. 347-360.
• А.А. Летуновский. О выразимости константных автоматов суперпозициями. Интеллектуальные системы, 2009, Т. 13, вып. 1-4. Стр. 397-406.
• И.Ю. Самоненко. Об отношении границ на конечных автоматах. Интеллектуальные системы, N 11, 2007 Стр. 329-340
• А.А. Летуновский. Разрешимый случай задачи выразимости для автоматных функций относительно суперпозиции. Интеллектуальные системы, N 11, 2007 Стр. 769-772
• И.Ю. Самоненко. Об r-предсказуемости автоматных сетей. Интеллектуальные системы, N 11, 2007 Стр. 787-792
• Холоденко А.Б. Об автоматной аппроксимации реальных языков
  Диссертация на соискание учёной степени кандидата физико-математических наук по специальности 01.01.09, -М.: 2008. 99 стр.
• Холоденко А.Б. Об автоматной аппроксимации реальных языков
  Автореферат диссертации на соискание учёной степени кандидата физико-математических наук по специальности 01.01.09, -М.: 2008. 16 стр.
• Холоденко А.Б. О свойствах марковских регулярных языков
  Интеллектуальные системы. Т.11, вып. 1-4, 2007 Стр. 721-730.
• Холоденко А.Б. О марковских регулярных языках.
  Материалы IX Международного семинара «Дискретная математика и её приложения», 18-23 июня 2007 года –М., Изд-во механико-математического факультета МГУ, 2007. с.358-361.
• Холоденко А.Б. О языковых моделях для систем распознавания русской речи.
  Интеллектуальные системы в производстве: Период. науч. – практ. журн. – 2003. – №1 – Ижевск: Изд-во ИжГТУ, 2003. с. 146-155.
• Холоденко А.Б. Языковые модели в системах распознавания русской речи.
  Материалы XIII Международной конференции "ПРОБЛЕМЫ ТЕОРЕТИЧЕСКОЙ КИБЕРНЕТИКИ". Часть I,II – М.: Изд-во центра прикладных исследований при механико-математическом факультете МГУ, 2002. с. 184
• Холоденко А.Б. О построении статистических языковых моделей для систем распознавания русской речи.
  Интеллектуальные системы. Т.6, вып. 1-4, 2002. с.381-394.
• Kholodenko A.B. To the creating of the language models for Russian.
  V International Congress on mathematical modeling. September 30 – October 6, 2002, Dubna, Moscow Region. Book of abstracts, V. 2, -M.:”Janus-K”, 2002. p. 97.
• Холоденко А.Б. Исправление ошибок в формальных языках.
  Нейрокомпьютеры и их применение: Сборник докладов. IV Всероссийская конференция, Москва. 16-18 февраля 2000 г. -М.: Издательское предприятие редакции журнала "Радиотехника", 2000, Стр. 627-630
• Холоденко А.Б. Использование лексических и синтаксических анализаторов в задачах распознавания для естественных языков.
  Интеллектуальные системы. Т.4, вып. 1-2, 1999. Стр. 185-193
• Холоденко А.Б. Лексический анализатор в распознавании последовательных образов.
  Информационные технологии в инновационных проектах: Материалы докладов. Международная конференция, 20-22 апреля 1999 г. -Ижевск: ИжГТУ, 1999, С. 43-44.

Наверх