На кафедре ведутся научные исследования по таким направлениям как теоретическая информатика, теория программирования, искусственный интеллект, нечеткие системы, параллельное программирование, биоинформатика.
Регулярно публикуются научные статьи в центральных журналах по теоретической информатике и программированию. В последние годы защищены кандидатские диссертации сотрудниками кафедры А.Е.Поляковым и Н.А.Каплиевой. В 2010г. С.Д.Махортов защитил докторскую диссертацию на мехмате МГУ им. М.В.Ломоносова. В 2012г. защитил кандидатскую диссертацию М.М.Безрядин. В конце 2013г. - начале 2014г. выпускники аспирантуры МО ЭВМ Д.В.Баранов и С.Ю.Болотова защитили кандидатские диссертации в МГУ им. М.В. Ломоносова.
Сотрудники кафедры входят в состав открытого при факультете совета по защите кандидатских и докторских диссертаций (С.Д.Махортов, И.Ф.Астахова).
На кафедре функционируют
магистратура и аспирантура.
Вот некоторые публикации с участием аспирантов и студентов МО ЭВМ:
Bolotova S.Yu., Trofimenko E.V., Leschinskaya M.V. Implementing and analyzing the multi-threaded LP-inference // Journal of Physics: Conference Series. – 2018. – V. 973. – No. 1. – P. 12065/1 - 12065/13.
Махортов С.Д., Клейменов И.В. Мобильное приложение для определения спектра частот и выделения нот в акустическом сигнале // Программная инженерия. – 2018. – № 3. – С. 132–139.
Болотова С.Ю., Зонов А.В., Тютин А.П. Навигация внутри помещений в мобильных приложениях // Программная инженерия. – 2018, № 1. – С. 29–34.
Шмарин А.Н. Стохастический поиск прообразов на основе кластеризации знаний в нечетком LP-выводе / А.Н. Шмарин // Нейрокомпьютеры. Разработка, применение. – 2017, № 7. – С. 21–31.
Шмарин А.Н. Кластеризация множества слоев в задаче нечеткого LP-вывода / А.Н. Шмарин // Программная инженерия. – 2017, № 4. – С. 177–185.
Иванов И.Ю. Применение контрапозиционного правила вывода при решении продукционно-логических уравнений на булевой решетке / И.Ю. Иванов // Программная инженерия. – 2017, № 3. – С. 140–144.
Шмарин А.Н. Система нечеткого LP-вывода // XV национальная конференция по искусственному интеллекту с международным участием КИИ-2016: Труды конференции. Т. 3. – Смоленск : Универсум, 2016. – С. 53–60.
Шмарин А.Н. О реализации приближения числа слоев без циклов в задаче нечеткого LP-вывода // Программная инженерия. – 2016, № 7. – С. 330–336.
Иванов И.Ю. Расширенная модель LP-вывода на булевой решетке // Программная инженерия. – 2016, № 6. – С. 252–257.
Шмарин А.Н. О приближенных оценках количества слоев без циклов в задаче нечеткого LP-вывода / А.Н. Шмарин, С.Д. Махортов // Нейрокомпьютеры. Разработка, применение. – 2015, № 12. – С. 44–51.
Махортов С.Д. LP-структуры на булевых решетках и их приложения в задачах управления знаниями / С.Д. Махортов, И.Ю. Иванов // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2015). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2015. – Т.2. – С. 44–51.
Иванов И.Ю. О приближенном решении продукционно-логического уравнения на булевой решетке // Нейрокомпьютеры. Разработка, применение. – 2014, № 10. – С. 53–63.
Махортов С.Д. О приближённых решениях продукционно-логического уравнения в LP-структуре нулевого порядка / С.Д. Махортов, И.Ю. Иванов // Международная конференция «Мальцевские чтения» (Mal’tsev Meeting, November 10–13, 2014): Тезисы докладов. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2014. – С. 31.
Махортов С. Д. О решениях продукционно-логического уравнения на булевой решетке / С.Д. Махортов, И.Ю. Иванов // XIV национальная конференция по искусственному интеллекту с международным участием КИИ-2014: Труды конференции. Т. 1. – Казань. : Изд-во РИЦ «Школа», 2014. – С. 59–67.
Bolotova S. Yu., Makhortov S.D. The Algorithms of the Multi-Threaded Relevant LP-inference // Bulletin of Peoples’ Friendship University of Russia. – No 2, 2014. – P. 216–219.
Болотова С.Ю. Реализация многопоточности в релевантном LP-выводе // Программная инженерия. – 2014, № 1. – С. 12–18.
Махортов С.Д., Шмарин А.Н. Нечеткий LP-вывод и его программная реализация // Программная инженерия. – 2013, № 12. – С. 34–38.
Махортов С.Д., Шурлин М.Д. LP-структуры представления знаний в объектно-ориентированных системах // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2013). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. – Т.2. – С. 39–44.
Болотова С.Ю. Использование параллельных вычислений в методе релевантного обратного вывода // Материалы Всероссийской конференции с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2013). – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2013. – Т.1. – С. 50–59.
Махортов С.Д., Шмарин А.Н. Оптимизация метода LP-вывода // Нейрокомпьютеры. Разработка, применение. – 2013, № 9. – С. 59–63.
Болотова С.Ю. Применение многопоточности в релевантном LP-выводе // Нейрокомпьютеры. Разработка, применение. – 2013, № 9. – С. 53–57.
Makhortov, S.D. and Shurlin, M.D., LP-structures analysis: Substantiation of refactoring in object-oriented programming, Automation and Remote Control, 2013, vol. 74, no. 7, pp. 1211–1217.
Баранов Д.В. Компьютерная реализация устранения избыточных правил в условных системах переписывания // Программная инженерия. – 2013, № 6. – С. 27–32.
Шурлин М.Д. Редукция LP-структур для автоматизации рефакторинга в объектно-ориентированных системах // Программная инженерия. – 2013, № 1. – С. 42–48.
Махортов С.Д., Шурлин М.Д. Алгебраическая система на решетке типов для верификации и рефакторинга // XIII национальная конференция по искусственному интеллекту с международным участием КИИ-2012: Труды конференции. Т. 1. – Белгород. : Изд-во БГТУ, 2012. – С. 51–58.
Махортов С.Д., Шурлин М.Д. Алгебраические модели иерархий типов для проектирования и рефакторинга // Онтология проектирования. – 2012. – № 1(3). – С. 73–79.
Иванов И.Ю. Логические уравнения на булевых решетках / И.Ю. Иванов, С.Д. Махортов // Международная конференция «Мальцевские чтения» (Mal’tsev Meeting, November 12–16, 2012): Тезисы докладов. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2012. – С. 28.
Болотова С.Ю. Алгебраическая модель релевантного обратного вывода на основе решения уравнений // Математическое моделирование. – 2012. – № 12, т. 24. – С. 3–8.
Баранов Д.В. Логические уравнения в эквациональных LP-структурах // Информационные технологии. – 2012. – № 8. – C. 35–42.
Болотова С.Ю. О релевантном обратном выводе в системах знаний продукционного типа / С.Ю. Болотова, С.Д. Махортов // Третья Всероссийская конференция с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2011). : Материалы конференции. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2011. – Т.1. – С. 73–77.
Баранов Д.В. Эквациональные LP-структуры представления знаний и связанные с ними логические уравнения // Третья Всероссийская конференция с международным участием «Знания – Онтологии – Теории» (ЗОНТ-2011). : Материалы конференции. – Новосибирск: Институт математики им. С.Л. Соболева СО РАН, 2011. – Т.1. – С. 24–29.
Колганов А.В. Эффективная реализация R-дерева для индексации часто меняющихся геопространственных данных // Программная инженерия. – 2011, № 4. – С. 41–47.
Болотова С.Ю. Алгоритмы релевантного обратного вывода, основанные на решении продукционно-логических уравнений / С.Ю. Болотова, С.Д. Махортов // Искусственный интеллект и принятие решений. – 2011. – № 2. – С. 40–50.
Баранов Д.В. Исследование и оптимизация условных систем переписывания на основе продукционно-логической модели / Д.В. Баранов, С.Д. Махортов // XII национальная конференция по искусственному интеллекту с международным участием КИИ-2010: Труды конференции. Т. 1. – М. : Физматлит, 2010. – С. 29–37.
