Меню
О кафедре
Новости
История

Сотрудники
Студенты
Наука
Олимпиады

Бакалавриат
Магистратура
Трудоустройство

Файлы
Фотоархив
Ссылки

Группа ВКонтакте

Наука


Наука

На кафедре ведутся научные исследования по таким направлениям как теоретическая информатика, теория программирования, искусственный интеллект, нечеткие системы, параллельное программирование, биоинформатика.

Регулярно публикуются научные статьи в центральных журналах по теоретической информатике и программированию. Организовано сотрудничество с рядом крупнейших научных центров и сообществ России, Европы, США. В частности, в последнее время развиваются совместные научные исследования в области биоинформатики с Albert Einstein College of Medicine (New York, USA).

В последние годы защищены кандидатские диссертации сотрудниками кафедры А.Е.Поляковым и Н.А.Каплиевой. В 2010г. С.Д.Махортов защитил докторскую диссертацию на мехмате МГУ им. М.В.Ломоносова. В 2012г. защитил кандидатскую диссертацию М.М.Безрядин. В конце 2013г. - начале 2014г. выпускники аспирантуры МО ЭВМ Д.В.Баранов и С.Ю.Болотова защитили кандидатские диссертации в МГУ им. М.В. Ломоносова.

Сотрудники кафедры входят в состав открытого при факультете совета по защите кандидатских и докторских диссертаций (С.Д.Махортов, И.Ф.Астахова).

На кафедре функционируют магистратура и аспирантура.

Вот некоторые публикации с участием аспирантов и студентов МО ЭВМ:

Шмарин А.Н. Кластеризация множества слоев в задаче нечеткого 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.



Дата публикации: 31.07.2008
Прочитано: 2230 раз

Поиск по сайту
Управление
Добавить файл
Добавить новость
Панель управления

Обратная связь
Где мы?
394006 Воронеж, Университетская пл., 1 Факультет ПММ,
кафедра МО ЭВМ
тел. (4732) 208-698
E-Mail: mo@amm.vsu.ru

Генерация: 0.015 сек. и 9 запросов к базе данных за 0.003 сек.
Powered by SLAED CMS © 2005-2007 SLAED. All rights reserved.