Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
ИСТИНА ИНХС РАН
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
открыть новую версию профиля
Корухова Людмила Сергеевна
пользователь
ответственный
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
, доцент, с 1 октября 1977
кандидат физико-математических наук с 1978 года
доцент по кафедре системного программирования с 13 декабря 1990 г.
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
, ответственный по системе
Соавторы:
Любимский Э.З.
,
Малышко В.В.
,
Вакин В.В.
,
Белеванцев А.А.
,
Гайсарян С.С.
,
Иванников В.П.
,
Манжелей С.Г.
,
Островский В.В.
,
Пильщиков В.Н.
,
Кузьменкова Е.А.
,
Соловская Л.Б.
,
LYUBIMSKIJ E.Z.
,
Аксенова Е.Л.
показать полностью...
,
Борисенко О.Д.
,
Бухштаб Ю.А.
,
Евтеева Н.Н.
,
Корягин Д.А.
,
Костомаров Д.П.
,
Максимов Л.В.
,
Махнычев В.С.
,
Озерова Т.А.
,
Падарян В.А.
,
Поспелов А.Н.
,
Шалаева Н.С.
,
Шура-Бура М.Р.
27 статей
,
11 книг
,
6 докладов на конференциях
,
5 тезисов докладов
,
6 НИР
,
29 научных отчётов
,
4 награды
,
4 членства в научных обществах
,
11 членств в редколлегиях сборников
,
4 членства в программных комитетах
,
1 диссертация
,
122 дипломные работы
,
21 курсовая работа
,
24 учебных курса
Количество цитирований статей в журналах по данным
РИНЦ:
IstinaResearcherID (IRID): 1438521
ResearcherID:
AAJ-7145-2021
Scopus Author ID:
6507260449
ORCID:
0000-0002-4472-9069
Деятельность
Статьи в журналах
2019
К 100-ЛЕТИЮ СО ДНЯ РОЖДЕНИЯ ПАТРИАРХА ОТЕЧЕСТВЕННОГО ПРОГРАММИРОВАНИЯ МИХАИЛА РОМАНОВИЧА ШУРА-БУРА (1918–2008)
Корухова Л.С.
в журнале
Программирование
, № 3, с. 3-5
DOI
2009
Проблема представления знаний в программных системах планирования целенаправленной деятельности. Научнай отчет по проекту №08-01-00627-а
Корухова Л.С.
в журнале
Электронная публикация в системе Internet,электр.адрес: http://grant.rfbr.ru/forms/2008/report_print.asp
2009
Эдуард Зиновьевич Любимский. Ученый, коллега учитель
Корухова Л.С.
,
Корягин Д.А.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 1-102
2002
Программные средства реализации ассоциативного планирования
Корухова Л.С.
,
Любимский Э.З.
,
Малышко В.В.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 10, с. 1-29
2000
One Inference Engine for Expert Systems with Incomplete Information
Vakin V.V.
,
Korukhova L.S.
,
Lubimsky E.Z.
в журнале
KIAM Preprint
, № 14, с. 1-26
2000
Об одном механизме вывода для экспертных систем с неполной информацией
Вакин В.В.
,
Корухова Л.С.
,
Любимский Э.З.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 14, с. 1-26
2000
Реализация стратегий планирования на основе управляющих стереотипов
Корухова ЛС
,
Любимский ЭЗ
,
Малышко ВВ
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 13, с. 1-27
1999
Сравнительный анализ экспертных систем диагностики
Вакин В.В.
,
Корухова Л.С.
,
Любимский Э.З.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 77, с. 1-21
1998
Программные средства поддержки немонотонного планирования
Корухова Л.С.
,
Любимский Э.З.
,
Максимов Л.В.
,
Малышко В.В.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 75, с. 1-17
1997
Ассоциативные методы планирования решений сложных задач
Корухова ЛС
,
Любимский ЭЗ
,
Вакин В.В.
,
Малышко В.В.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 81, с. 1-26
1995
Альтернативное немонотонное планирование на основе графа
Корухова Л.С.
,
Любимский Э.З.
,
Соловская Л.Б.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 108, с. 1-14
1994
О процедурности и непроцедурности в задачах планирования целенаправленной деятельности
Корухова Людмили Сергеевна
,
Любимский Эдуард Зиновьевич
в журнале
Известия Академии наук СССР. Техническая кибернетика
, № 5, с. 72-78
1994
Программирование на основе стереотипов
Корухова Л.С.
,
Любимский Э.З.
,
Островский В.В.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 18, с. 1-21
1979
PLANNING SYSTEM BASED ON NATURAL PRINCIPLES
Korukhova L.S.
в журнале
Moscow University Computational Mathematics and Cybernetics
, издательство
Allerton Press Inc.
(United States)
, № 3, с. 20 c.
1978
Новые возможности планирования при свободном взаимодействии процедурных и дедуктивных элементов. Депонир. рукопись №483-78
Корухова Л.С.
в журнале
Аннотированный библиографический указатель "Депонированные научные работы" ВИНИТИ РАН
, издательство
ВИНИТИ
(М.)
1978
Система планирования действий, основанная на некоторых естественных принципах-ПЛАР
Корухова Л.С.
,
Любимский Э.З.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 1-58
1978
Система планирования, основанная на естественных принципах
Корухова Л.С.
в журнале
Вестник Московского университета. Серия 15: Вычислительная математика и кибернетика
, издательство
Изд-во Моск. ун-та
(М.)
, № 3, с. 56-65
1977
Диалоговая процедурно-дедуктивная система СВЯЗКА
Корухова Л.С.
,
Любимский Э.З.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 1-45
1977
Диалоговый процедурно-ориентированный язык ПРОЦ и его реализация
Корухова Л.С.
,
Любимский Э.З.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, с. 1-35
1977
Сопоставление ситуаций в условиях альтернативного немонотонного планирования
Корухова Л.С.
,
Любимский Э.З.
,
Манжелей С.Г.
в журнале
Препринты ИПМ им. М.В. Келдыша
, издательство
ИПМ им. М.В. Келдыша РАН
(Москва)
, № 77, с. 1-18
1974
PROCEDURE AND NON-PROCEDURE IN THE PLANNING PROBLEMS OF GOAL-DIRECTED ACTIVITY
KORUKHOVA L.S.
,
LYUBIMSKIJ E.Z.
в журнале
Известия Российской академии наук. Теория и системы управления
, № 6, с. 72-78
Статьи в сборниках
2010
Алгоритмы и алгоритмические языки
Корухова Л.С.
,
Пильщиков В.Н.
в сборнике
Программы обязательных учебных курсов факультета ВМК МГУ: 3 поток
, место издания
МАКС Пресс Москва МГУ
, с. 60-67
2003
Ассоциативные и дедуктивные методы в планировании многошаговых многовариантных задач
Корухова Л.С.
,
Малышко В.В.
в сборнике
Программные системы и инструменты. Тематический сборник
, серия
Программные системы и инструменты
, место издания
Ф-т ВМиК МГУ Москва
, том 4, с. 108-121
редактор
Корухова Людмила Сергеевна
1996
Альтернативное немонотонное планирование при свободном взаимодействии процедурных и дедуктивных элементов
Корухова Л.С.
,
Любимский Э.З.
,
Манжелей С.Г.
,
Соловская Л.Б.
в сборнике
Вопросы кибернетики. Приложения системного программирования
, серия
Вопросы кибернетики
, место издания
Научный совет по комплексной проблеме «Кибернетика» РАН, Москва
, том 2, с. -19с
редактор
Иванников Виктор Петрович
1982
Система представления геометрических знаний
Болдырев А.С.,
Корухова Л.С.
,
Поспелов А.Н.
в сборнике
Некоторые вопросы прикладной математики и программного обеспечения
, место издания
М.: Изд-во Моск. ун-та
, с. 4 с.
1981
Об использовании идеологии фреймов для представления данных в системах документального поиска
Бухштаб Ю.А.
,
Корухова Л.С.
,
Евтеева Н.Н.
,
Любимский Э.З.
,
Шалаева Н.С.
в сборнике
Программирование и технические средства СКП ЭВМ МГУ
, место издания
М.: Изд-во Моск. ун-та
, с. -7с.
1981
Организация работы с базой данных в планирующей системе
Корухова Л.С.
в сборнике
Программирование и технические средства СКП ЭВМ МГУ
, место издания
М.: Изд-во Моск. ун-та
, с. -4с.
Книги
2019
Элементы теории алгоритмов
Белеванцев А.А.
,
Гайсарян С.С.
,
Корухова Л.С.
,
Кузьменкова Е.А.
место издания
Издательский отдел факультета ВМиК МГУ М
, 36 с.
2012
Задачи экзаменов по вводному курсу программирования (учебно-методическое пособие)
Белеванцев А.А.
,
Гайсарян С.С.
,
Иванников В.П.
,
Корухова Л.С.
,
Падарян В.А.
место издания
М.: Издательский отдел факультета ВМК МГУ
, ISBN 978-5-89407-497-9, 85 с.
2012
Семинары по курсу "Алгоритмы и алгоритмические языки": учебно-методическое пособие для студентов 1 курса
Белеванцев А.А.
,
Гайсарян С.С.
,
Корухова Л.С.
,
Кузьменкова Е.А.
,
Махнычев В.С.
место издания
Изд-во Моск. ун-та М
, ISBN 978-5-89407-500-6, 140 с.
2010
Введение в алгоритмы
Корухова Л.С.
, Шура-Бура М.Р.
место издания
М.: Издательский отдел факультета ВМК МГУ
, ISBN 978-5-89407-399-6, 978-5-317-03122-0, 32 с.
2007
Курс “Алгоритмы и алгоритмические языки” (методическое пособие)
Иванников В.П.
,
Корухова Л.С.
,
Пильщиков В.Н.
место издания
М.: Издательский отдел факультета ВМК МГУ
, 48 с.
2002
Письменный экзамен по курсу “Алгоритмы и алгоритмические языки”(методическое пособие)
Иванников В.П.
,
Корухова Л.С.
,
Пильщиков В.Н.
место издания
М.: Издательский отдел факультета ВМК МГУ
, 47 с.
2001
Программирование и численные методы
Костомаров Д.П.
,
Корухова Л.С.
,
Манжелей С.Г.
место издания
Изд-во Моск. ун-та М
, ISBN 5-211-04059-7, 224 с.
1997
Введение в алгоритмы. Учебное пособие для студентов 1 курса
Корухова Л.С.
,
Шура-Бура М.Р.
место издания
М.: Издат. отдел факультета ВМК МГУ
, 28 с.
1988
Информационный поиск. Методическое пособие по спецпрактикуму на ЭВМ
Корухова Л.С.
,
Островский В.В.
место издания
М.: Изд-во Моск. ун-та
, ISBN 5-211-00275-1, 27 с.
1987
Методы хеширования и работа с таблицами
Корухова Л.С.
,
Островский В.В.
место издания
М.: Изд-во Моск. ун-та
, 18 с.
1985
Системы планирования и языки искусственного интеллекта
Корухова Л.С.
место издания
М.: Изд-во Моск. ун-та
, 44 с.
Доклады на конференциях
2022
Модель управления жизненным циклом сервисов в облачной среде
(Устный)
Авторы:
Корухова Л.С.
,
Аксенова Е.Л.
,
Бирюков А.М.
Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
2022
Повышение качества нейросетевой генерации комментариев к коммитам
(Устный)
Авторы:
Корухова Л.С.
,
Раснюк А.Г.
Ломоносовские чтения - 2022, Секция вычислительная математика и кибернетика, 14-22 апреля 2022
, Москва, МГУ имени М.В.Ломоносова, факультет ВМК, Россия, 14-22 апреля 2022
2021
Автоматизация развертывания системы планирования задач Slurm в облачной среде
(Устный)
Авторы:
Аксенова Е.Л.
,
Корухова Л.С.
,
Озерова Т.А.
Ломоносовские чтения 2021. Секция вычислительная математика и кибернетика, 20-29 апреля 2021
, Москва, Россия, 20-29 апреля 2021
2020
Система развертывания распределенных сервисов в облачной среде
(Устный)
Авторы:
Аксенова Е.Л.
,
Борисенко О.Д.
,
Корухова Л.С.
Ломоносовские чтения 2020. Секция вычислительной математики и кибернетики
, Факультет вычислительной математики и кибернетики МГУ имени М.В.Ломоносова, Россия, 21 октября - 2 ноября 2020
2020
Е. А. Жоголев в Московском университете
(Устный)
Автор:
Корухова Л.С.
Заседание семинара, посвященное 90-летию со Дня Рождения Евгения Андреевича Жоголева
, факультет ВМК МГУ имени М.В.Ломоносова, Россия, 19 февраля 2020
2017
Проверка UML-моделей с помощью генерации текстовых спецификаций
(Устный)
Авторы:
Корухова Л.С.
,
Ершов М.С.
,
Малышко В.В.
Ломоносовские чтения - 2017
, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
Тезисы докладов
2022
Модель управления жизненным циклом сервисов в облачной среде
Бирюков А.М., Аксенова Е.Л.,
Корухова Л.С.
в сборнике
Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
, серия
СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ
, издательство
ООО "МАКС Пресс"
(Москва)
, том 2022, тезисы, с. 95-97
2022
Повышение качества нейросетевой генерации комментариев к коммитам
Корухова Л.С.
, Раснюк А.Г.
в сборнике
Ломоносовские чтения-2022: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
, серия
СЕКЦИЯ ВЫЧИСЛИТЕЛЬНОЙ МАТЕМАТИКИ И КИБЕРНЕТИКИ
, издательство
ООО "МАКС Пресс"
(Москва)
, том 2022, тезисы, с. 99-101
2021
АВТОМАТИЗАЦИЯ РАЗВЕРТЫВАНИЯ СИСТЕМЫ ПЛАНИРОВАНИЯ ЗАДАЧ -SLURM В ОБЛАЧНОЙ СРЕДЕ
Озерова Т.А.
,
Аксенова Е.Л.
,
Корухова Л.С.
в сборнике
Ломоносовские чтения-2021: научная конференция, факультет ВМК МГУ имени М.В.Ломоносова. Тезисы докладов
, серия
Секция Вычислительной математики и кибернетики
, издательство
Изд-во Моск. ун-та
(М.)
, том 2021, тезисы, с. 117-118
2020
Система развертывания распределенных сервисов в облачной среде
Аксенова Е.Л.,
Борисенко О.Д.
,
Корухова Л.С.
в сборнике
Ломоносовские чтения-2020. Секция «Вычислительной математики и кибернетики»
, серия
Секция Вычислительной математики и кибернетики
, издательство
Изд-во Моск. ун-та
(М.)
, тезисы, с. 27-28
2017
Проверка UML-моделей с помощью генерации текстовых спецификаций
Корухова Л.С.
,
Малышко В.В.
, Ершов М.С.
в сборнике
Ломоносовские чтения: Научная конференция, Москва, факультет ВМК МГУ имени М.В.Ломоносова, 17-26 апреля 2017 г. Тезисы докладов
, место издания
МАКС Пресс Москва
, тезисы, с. 34-35
НИРы
1 января 2021 - 31 декабря 2025
Исследование методов построения систем анализа и проектирования программного обеспечения
Кафедра системного программирования
Руководитель:
Аветисян А.И.
Ответственный исполнитель:
Корухова Л.С.
Участники НИР:
Архипенко К.В.
,
Батузов К.А.
,
Бахтин В.А.
,
Белеванцев А.А.
,
Богатенкова А.О.
,
Гомзин А.Г.
,
Дудина И.А.
,
Иванишин В.А.
,
Игнатьев В.Н.
,
Корныхин Е.В.
,
Кузнецов С.Д.
,
Кузьменкова Е.А.
,
Кулямин В.В.
,
Майоров В.Д.
,
Малышко В.В.
,
Манушин Д.В.
,
Падарян В.А.
,
Перминов А.И.
,
Петренко А.К.
,
Петров О.М.
,
Соловьев М.А.
,
Турдаков Д.Ю.
,
Хорошилов А.В.
1 января 2016 - 31 декабря 2020
Развитие теории и методов анализа и проектирования программ
Кафедра системного программирования
Руководители:
Аветисян А.И.
,
Иванников В.П.
,
Корухова Л.С.
Ответственный исполнитель:
Корухова Л.С.
Участники НИР:
Аветисян А.И.
,
Архипенко К.В.
,
Батузов К.А.
,
Белеванцев А.А.
,
Вишняков А.В.
,
Гайсарян С.С.
,
Гомзин А.Г.
,
Дроздова Е.А.
,
Дудина И.А.
,
Жаботинский Е.А.
,
Колганов А.С.
,
Корныхин Е.В.
,
Крюков В.А.
,
Кузьменкова Е.А.
,
Кулямин В.В.
,
Маллачиев К.А.
,
Малышко В.В.
,
Манушин Д.В.
,
Мордань В.О.
,
Ниськов Ф.В.
,
Падарян В.А.
,
Соловьев М.А.
,
Турдаков Д.Ю.
,
Хорошилов А.В.
,
Шарыгин Е.Ю.
,
Яцков А.К.
,
Яшин С.В.
1 января 2014 - 31 декабря 2016
Моделеориентированный подход в инженерии программных систем искусственного интеллекта
Кафедра системного программирования
Руководитель:
Корухова Л.С.
Участники НИР:
Гомзин А.Г.
,
Корныхин Е.В.
,
Корухова Ю.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
,
Фастовец Н.Н.
1 января 2011 - 31 декабря 2015
Теоретические основы и методы анализа и проектирования программ
Кафедра системного программирования
Руководитель:
Иванников В.П.
Ответственный исполнитель:
Корухова Л.С.
Участники НИР:
Аветисян А.И.
,
Алексиянц А.В.
,
Андрианов И.А.
,
Батузов К.А.
,
Бахтин В.А.
,
Белеванцев А.А.
,
Буздалов Д.В.
,
Вартанов С.П.
,
Гайсарян С.С.
,
Гомзин А.Г.
,
Горемыкин О.В.
,
Дудина И.А.
,
Иванишин В.А.
,
Камкин А.С.
,
Карпов Л.Е.
,
Клеменков П.А.
,
Корныхин Е.В.
,
Кошелев В.К.
,
Крюков В.А.
,
Кузнецов К.А.
,
Кузнецов С.Д.
,
Кузьменкова Е.А.
,
Кулямин В.В.
,
Маллачиев К.А.
,
Малышко В.В.
,
Мандрыкин М.У.
,
Меркулов А.П.
,
Морозов С.В.
,
Падарян В.А.
,
Петренко А.К.
,
Посконин А.В.
,
Притула М.Н.
,
Серебряков В.А.
,
Соловьев М.А.
,
Тарлапан О.А.
,
Теймуразов К.Б.
,
Турдаков Д.Ю.
,
Федоренко Д.Г.
,
Хорошилов А.В.
,
Шарыгин Е.Ю.
,
Шуберт А.В.
1 января 2011 - 31 декабря 2013
Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта
Кафедра системного программирования
Руководитель:
Корухова Л.С.
Участники НИР:
Кузьменкова Е.А.
,
Малышко В.В.
1 января 2008 - 31 декабря 2010
Проблема представления знаний в программных системах планирования целенаправленной деятельности
Кафедра системного программирования
Руководитель:
Корухова Л.С.
Участники НИР:
Корухова Ю.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
Отчеты
2021
Исследование методов построения систем анализа и проектирования программного обеспечения. Этап 1
Авторы:
Корухова Л.С.
,
Дудина И.А.
,
Кулямин В.В.
#121042600045-5, 14 с.
2020
Развитие теории и методов анализа и проектирования программ
Авторы:
Аветисян А.И.
,
Корухова Л.С.
#АААА-А16-116021510037-3, 14 с.
2019
Развитие теории и методов анализа и проетированиея программ. Отчет по этапу №4
Авторы:
Аветисян А.И.
,
Корухова Л.С.
#АААА-А16-116021510037-3, 10 с.
2018
Развитие теории и методов анализа и проектирования программ
Авторы:
Аветисян А.И.
,
Корухова Л.С.
,
Гомзин А.Г.
,
Корныхин Е.В.
#этап 3, 11 с.
2017
Развитие теории и методов анализа и проектирования программ. Этап 2
Автор:
Корухова Л.С.
#АААА-А16-116021510037-3, 10 с.
2016
Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Итоговый отчет по проекту, этап 3(2016г.)
Автор:
Корухова Л.С.
#14-01-00214 а, 45 с.
2015
Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 2(2015г.)
Автор:
Корухова Л.С.
#14-01-00214 а, 43 с.
2015
Теоретические основы и методы анализа и проектирования программ. Итоговый отчет
Авторы:
Иванников В.П.
,
Корухова Л.С.
#01201154974, 14 с.
2014
Моделеориентированный подход в инженерии программных систем искусственного интеллекта. Промежуточный отчет по проекту, этап 1(2014г.)
Авторы:
Корухова Л.С.
,
Кузьменкова Е.А.
,
Корухова Ю.С.
,
Малышко В.В.
,
Корныхин Е.В.
,
Фастовец Н.Н.
#14-01-00214 а, 43 с.
2014
Теоретические основы и методы анализа и проектирования программ. Этап 4
Автор:
Корухова Л.С.
#01201154974
2013
Исследование и разработка методов инженерии знаний в программных системах искусственного интеллекта
Автор:
Корухова Л.С.
#11-01-00638, 23 с.
2010
Проблема представления знаний в программных системах планирования целенаправленной деятельности
Автор:
Корухова Л.С.
#08-01-00627-а
2010
Исследование современных методов анализа и проектирования программного обеспечения
Авторы:
Иванников В.П.
,
Корухова Л.С.
,
Кузьменкова Е.А.
,
Чернов А.В.
,
Малышко В.В.
#0120.0601687
2007
Методы построения программных систем планирования целенаправленной деятельности
Автор:
Корухова Л.С.
#05-01-00948-а
2005
Процедурные и непроцедурные методы построения моделей планирования целенаправленной деятельности. Итоговый научный отчет по проекту №02-01-00281-а
Автор:
Корухова Л.С.
#02-01-00281-а, 14 с.
2005
Теоретические основы и методы построения систем автоматизации программирования
Авторы:
Иванников В.П.
,
Корухова Л.С.
,
Кузьменкова Е.А.
,
Малышко В.В.
#01.2.00 107164
2004
Процедурные и непроцедурные методы построения моделей планирования целенаправленной деятельности
Автор:
Корухова Л.С.
#02-01-00281-а
2001
Ассоциативные и индуктивные методы в планировании решений многошаговых многовариантных задач
Автор:
Корухова Л.С.
#99-01-00306
2001
Автоматизация процессов прямой и обратной инженерии на основе использования формальных спецификаций (пользовательская версия прототипа)
Автор:
Корухова Л.С.
#203-5(00)-П-Д01
2000
Автоматизация процессов прямой и обратной инженерии на основе использования формальных спецификаций
Авторы:
Корухова Л.С.
,
Кузьменкова Е.А.
#203-5(00)-П
2000
Разработка спецификаций и прототипная реализация инструментальных средств поддержки и сопровождения наследуемого программного обеспечения
Автор:
Корухова Л.С.
#0199.0 003318 , 33 с.
2000
Развитие теории и методов построения систем автоматизации программирования
Авторы:
Иванников В.П.
,
Корухова Л.С.
,
Кузьменкова Е.А.
,
Веденеев Е.П.
#01960003309
1998
РАЗРАБОТКА МЕТОДОВ ИНДУКТИВНОГО НЕМОНОТОННОГО ПЛАНИРОВАНИЯ НА ОСНОВЕ КОНЦЕПЦИИ СТЕРЕОТИПА
Автор:
Корухова Л.С.
#96-01-01007
1998
Разработка методов индуктивного немонотонного планирования на основе концепции стереотипа
Автор:
Корухова Л.С.
#96-01-01007
1998
РАЗРАБОТКА МЕТОДОВ ИНДУКТИВНОГО НЕМОНОТОННОГО ПЛАНИРОВАНИЯ НА ОСНОВЕ КОНЦЕПЦИИ СТЕРЕОТИПА
Автор:
Корухова Л.С.
#96-01-01007, 18 с.
1998
Разработка и реализация инструментальных программных средств планирования решений сложных задач
Автор:
Корухова Л.С.
#037.01.188.24
1996
ИССЛЕДОВАНИЕ И РАЗРАБОТКА АРХИТЕКТУРЫХ ПРИНЦИПОВ ОРГАНИЗАЦИИ ИНТЕГРИРОВАННЫХ РАСПРЕДЕЛЕННЫХ НЕОДНОРОДНЫХ ОБЪЕКТНЫХ СИСТЕМ
Авторы:
ИВАННИКОВ В.П.
,
КОРУХОВА Л.С.
, и др.
#96-01-01278
1995
Проблемно-ориентированные методы планирования поиска решений в экспертных системах
Автор:
Корухова Л.С.
#93-01-00613
1916
Развитие теории и методов анализа и проектирования программ. Этап 1
Автор:
Корухова Л.С.
#АААА-А16-116021510037-3, 10 с.
Награды и премии
2016
Премия по Программе развития МГУ
Лауреат:
Корухова Людмила Сергеевна
МГУ им. М.В. Ломоносова, Россия
2004
Юбилейный нагрудный знак "250 лет МГУ им. М.В. Ломоносова"
Лауреат:
Корухова Людмила Сергеевна
МГУ имени М.В.Ломоносова, Россия
2003
Почетное звание "Заслуженный преподаватель Московского университета"
Лауреат:
Корухова Людмила Сергеевна
МГУ имени М.В.Ломоносова, Россия
1997
Медаль «В память 850-летия Москвы» - государственная награда Российской Федерации
Лауреат:
Корухова Людмила Сергеевна
Российская Федерация, Россия
Членство в научных обществах
с 2019
Associaton for Computing Machinery (ACM)
США
с 2019
IEEE (Institute of Electrical and Electronics Engineers)
США
с 2004
Associaton for Computing Machinery
США
с 2003
IEEE Computer Society
США
Участие в редколлегии сборников
2017
Программные системы и инструменты, Тематический сборник № 17
член редколлегии:
Корухова Л.С.
том 17
издательство
ООО "МАКС Пресс"
(Москва)
2016
Программные системы и инструменты, Тематический сборник № 16
член редколлегии:
Корухова Л.С.
серия
Программные системы и инструменты
, том 16
место издания
МАКС Пресс Москва
2015
Программные системы и инструменты: тематический сборник
члены редколлегии:
Корухова Л.С.
,
Мальковский М.Г.
том 16
место издания
МАКС Пресс Москва, Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова
2014
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Корухова Л.С.
,
Терехин А.Н.
серия
Программные системы и инструменты
, том 15
место издания
Издательский отдел факультета ВМиК МГУ Москва, МГУ
2013
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Королев Л.Н.
,
Корухова Л.С.
,
Терехин А.Н.
серия
Программные системы и инструменты
, том 14
место издания
МАКС Пресс, Москва
2012
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Костенко В.А.
,
Королев Л.Н.
,
Корухова Л.С.
,
Королев Л.Н.
серия
Программные системы и инструменты
, том 13
место издания
Макс-ПРЕСС Москва
2011
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Королев Л.Н.
,
Корухова Л.С.
,
Костенко В.А.
,
Мальковский М.Г.
серия
Программные системы и инструменты
, том 12
место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
2010
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Корухова Л.С.
,
Костенко В.А.
,
Королев Л.Н.
серия
Программные системы и инструменты
, том 11
место издания
Изд. отделения ф-та ВМК МГУ Москва
2009
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Корухова Л.С.
,
Костенко В.А.
,
Королев Л.Н.
серия
Программные системы и инструменты
, том 10
место издания
Издательский отдел факультета ВМК МГУ имени М.В. Ломоносова; МАКС Пресс Москва
2008
Программные системы и инструменты. Тематический сборник
члены редколлегии:
Корухова Л.С.
,
Костенко В.А.
,
Королев Л.Н.
серия
Программные системы и инструменты
, том 9
место издания
МАКС Пресс Москва
2003
Программные системы и инструменты. Тематический сборник
член редколлегии:
Корухова Л.С.
серия
Программные системы и инструменты
, том 4
место издания
Ф-т ВМиК МГУ Москва
Участие в программных комитетах конференций
19 февраля 2020
Заседание семинара, посвященное 90-летию со Дня Рождения Евгения Андреевича Жоголева
Заместитель председателя программного комитета
факультет ВМК МГУ имени М.В.Ломоносова, Россия
19 февраля 2020
Заседание семинара, посвященное 90-летию со Дня Рождения Евгения Андреевича Жоголева
Председатель организационного комитета
факультет ВМК МГУ имени М.В.Ломоносова, Россия
9 ноября 2018
Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура
Заместитель председателя программного комитета
Москва, Россия
9 ноября 2018
Заседание семинара, посвященное 100-летию со Дня Рождения Михаила Романовича Шура-Бура
Председатель организационного комитета
Москва, Россия
Диссертация
1978
Исследование взаимодействия процедурных и дедуктивных элементов в программировании
Кандидатская диссертация по специальности 01.01.10 (физ.-мат. науки)
Автор:
Корухова Л.С.
, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
Научный руководитель:
Любимский Э.З.
Защищена в совете
Д 501.001.44
при МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
Руководство дипломными работами
2023
Хранение и обработка модели представления экземпляров узлов стандарта OASIS TOSCA
Научный руководитель:
Корухова Л.С.
Автор: Тулин Дмитрий Ильич (Бакалавр)
2023
Хранение данных как сервис платформенного уровня облачной среды
Научный руководитель:
Корухова Л.С.
Автор: Цирунов Леонид Александрович (Бакалавр)
2023
Распознавание рукописного текста на русском языке
Научный руководитель:
Корухова Л.С.
Автор: Богатенкова Анастасия Олеговна (Магистр)
2023
Методы нагрузочного тестирования среды разработки моделей машинного обучения
Научный руководитель:
Корухова Л.С.
Автор: Ковтун Данила Петрович (Бакалавр)
2022
Нейросетевые модели генерации комментариев к коммитам на основе абстрактных синтаксических деревьев
Научный руководитель:
Корухова Л.С.
Автор: Раснюк Алекксандр Геннадьевич (Магистр)
2022
Нейросетевые методы классификации целей цитирования
Научный руководитель:
Корухова Л.С.
Автор: Мотриченко Дмитрий Олегович (Бакалавр)
2022
Исследование методов и разработка системы автоматического масштабирования сервисов в облачной среде
Научный руководитель:
Корухова Л.С.
Автор: Бирюков Андрей Матвеевич (Бакалавр)
2022
Исследование и разработка системы предоставления высокопроизводительных кластеров в облачной среде по запросу с поддержкой видеоускорителей
Научный руководитель:
Корухова Л.С.
Автор: Озерова Татьяна Александровна (Бакалавр)
2021
Предсказание резистентности микобактерии tuberclosis к антибиотикам с помощью линейных смешанных моделей
Научный руководитель:
Корухова Л.С.
Автор: Гугучкин Егор Павлович (Бакалавр)
2021
Построение расширенного иерархического тезауруса ключевых слов научно-предметной области
Научный руководитель:
Корухова Л.С.
Автор: Мисра Никита Аншуманович (Магистр)
2021
Маркирование выводимых на печать текстовых документов посредством изменения визуального представления слов
Научный руководитель:
Корухова Л.С.
Автор: Мамаев Павел Вячеславович (Бакалавр)
2020
Контекстно-зависимая рекомендация статей на основе истории поиска
Научный руководитель:
Корухова Л.С.
Автор: Самохина Анна Романовна (Бакалавр)
2020
Контекстно-зависимая рекомендация статей на основе истории поиска
Научный руководитель:
Корухова Л.С.
Автор: Самохиа А.Р. (Бакалавр)
2020
Исследование и разработка системы развертывания распределенных сервисов по запросу в облачных средах
Научный руководитель:
Корухова Л.С.
Автор: Аксенова Елена Леонидовна (Магистр)
2020
Исследование и разработка системы развертывания распределенных сервисов по запросу в облачных средах
Научный руководитель:
Корухова Л.С.
Автор: Аксенова Е.Л. (Магистр)
2019
Практический метод сокращения размера динамических библиотек в формате ELF
Научный руководитель:
Корухова Л.С.
Автор: Шалаев Михаил Михайлович (Специалист)
2019
Методы глубокого активного обучения алгоритмов обработки текстов
Научный руководитель:
Корухова Л.С.
Автор: Раснюк Александр Геннадьевич (Бакалавр)
2019
Методы выявления именных групп
Научные руководители:
Корухова Л.С.
,
Гомзин А.Г.
Автор: Иконникова Мария Кирилловна (Магистр)
2018
Исследование и разработка отказоустойчивого распределенного облачного сервиса идентификации
Научные руководители:
Корухова Л.С.
,
Борисенко О.Д.
Автор: Аксенова Елена Леонидовна (Бакалавр)
2018
Исследование и разработка методов тестирования корректности работы, отказоустойчивости и масштабирования распределенных систем в задаче банковских транзакций в облачной среде
Научные руководители:
Корухова Л.С.
,
Борисенко О.Д.
Автор: Тапехин Андрей Николаевич (Магистр)
2016
Программные средства для работы с медицинскими данными в области трансплантации гемопоэтических стволовых клеток
Научный руководитель:
Корухова Л.С.
Автор: Пастух Денис Дмитриевич (Специалист)
2010
Разработка элементов управления данными для мобильных томографов
Научные руководители:
Корухова Л.С.
,
Ермаков А.В.
Автор: Юганов Евгений Васильевич (Специалист)
2009
Система решения задач, основанная на графе планирования
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Коротаевский А.А. (Специалист)
2009
Рефакторинг базы знаний решателя геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Байзакаев Т.Т. (Специалист)
2008
Сопоставитель ситуаций в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Костенко Е.И. (Специалист)
2008
Система объяснений решателя геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Паракецов В.В. (Специалист)
2008
Планирование решений геометрических задач с использованием дополнительных построений
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Крапухина А.Д. (Специалист)
2008
Методы представления знаний в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Титов А.О. (Специалист)
2007
Сопоставитель стереотипов в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Голубов Ф.И. (Специалист)
2007
Планирование на основе графа в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Аброскин А.А. (Специалист)
2007
Методы представления знаний в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Недумов Я.Р. (Специалист)
2006
Реализация методов планирования в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Булавин Д.А. (Специалист)
2006
Программные средства поддержки базы знаний решателя геометрических задач на основе онтологий
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Капустин Ю.Н. (Специалист)
2006
Метод планирования на основе «ленивого» сопоставления в решателе геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Носов П.А. (Специалист)
2005
Метод построения систем анализа обстановки
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Арделян Н.В. (Специалист)
2005
База знаний решателя геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Абашкина О.А. (Специалист)
2004
Разработка редактора базы знаний решателя геометрических задач
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Капустин А.Н. (Специалист)
2003
Система объяснения на основе XML представления знаний
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Стырин Е.М. (Специалист)
2003
Программные средства поддержки контекстов и планирование на основе графа
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Коченова О.Т. (Специалист)
2003
Планирование на основе стереотипов в модельной задаче перемещений робота
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Ташкинов Д.А. (Специалист)
2002
Разработка информационно-поисковой системы в рамках рекомендаций RDF
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Горященко А.С. (Специалист)
2002
Построение систем планирования на основе генетических алгоритмов
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Большакова Е.А. (Специалист)
2002
Планирование на основе ограничений
Научный руководитель:
Корухова Л.С.
Автор: Старкина А.В. (Специалист)
2002
Использование языка XML для представления знаний
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Алехин С.Д. (Специалист)
2001
Программные средства продукционных систем на базе RETE алгоритма
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Борисов П.А. (Специалист)
2001
Программные средства искусственных нейронных сетей
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Воропаев Р.С. (Специалист)
2001
Планирование на основе нескольких стратегий
Научные руководители:
Малышко В.В.
,
Корухова Л.С.
Автор: Марков С.И. (Специалист)
2001
Алгоритмы анализа формулировок задач на естественном языке
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Смирнов Н.А. (Специалист)
2000
Редактор базы знаний решателя геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Блохин А.А. (Специалист)
2000
Исследование проблемы накопления знаний в системах искусственного интеллекта
Научный руководитель:
Корухова Л.С.
Автор: Матвеев М.А. (Специалист)
1999
Разработка функциональных стереотипов для решателя геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Воробьев А.В. (Специалист)
1998
Система объяснения в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Максимов Л.В. (Специалист)
1998
Реализация алгоритма сопоставления с образцом в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Назаров С.В. (Специалист)
1998
Разработка элементов базы знаний решателя геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Беляков А.А. (Специалист)
1998
Инструментальные средства моделирования трехмерных сцен
Научный руководитель:
Корухова Л.С.
Автор: Златов А.В. (Специалист)
1997
Система визуализации и объяснения решений геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Туйкин М.О. (Специалист)
1997
Разработка интерфейса для решателя геометрических задач в среде Windows
Научный руководитель:
Корухова Л.С.
Автор: Зиновьев В.В. (Специалист)
1997
Разработка библиотеки функциональных стереотипов для решателя геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Гузанова С.В. (Специалист)
1997
Методы программирования настраиваемых драйверов
Научный руководитель:
Корухова Л.С.
Автор: Русаков А.М. (Специалист)
1997
Исследование применимости эволюционных алгоритмов к решению сложных задач
Научный руководитель:
Корухова Л.С.
Автор: Белоусова Н.Ю. (Специалист)
1997
Исследование методов обработки картографической информации
Научный руководитель:
Корухова Л.С.
Автор: Балтрушевич А.Ю. (Специалист)
1997
Защита информации на основе интеграции программных систем
Научный руководитель:
Корухова Л.С.
Автор: Запольский Г.А. (Специалист)
1996
Реализация дедуктивных и индуктивных методов в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Вакин В.В. (Специалист)
1996
Разработка интерфейса решателя геометрических задач в среде Windows
Научный руководитель:
Корухова Л.С.
Автор: Малышко В.В. (Специалист)
1996
Программная поддержка работы с бухгалтерскими документами
Научный руководитель:
Корухова Л.С.
Автор: Наумов В.А. (Специалист)
1996
Применение методики метакомпиляторов при решении задач
Научный руководитель:
Корухова Л.С.
Автор: Станевичюте Э.А. (Специалист)
1996
Исследование проблемы компиляции языка описания интерфейсов
Научный руководитель:
Корухова Л.С.
Автор: Суркова Н.В. (Специалист)
1996
Защита от несанкционированного копирования
Научный руководитель:
Корухова Л.С.
Автор: Самсонов Н.М. (Специалист)
1995
Реализация информационно-поисковой системы в среде ИРИС
Научный руководитель:
Корухова Л.С.
Автор: Семенов А.В. (Специалист)
1995
Реализация интерфейса в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Абасов Э.Г. (Специалист)
1995
Реализация базы знаний решателягеометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Дробышевский М.Ю. (Специалист)
1995
Разработка специализированного программного обеспечения
Научный руководитель:
Корухова Л.С.
Автор: Лазарко С.В. (Специалист)
1995
Исследование применимости генетических алгоритмов при решении сложных задач
Научный руководитель:
Корухова Л.С.
Автор: Абрамова М.В. (Специалист)
1995
Визуализация процесса решения в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Сулицкий А.Ю. (Специалист)
1994
Сопоставитель ситуаций в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Манжелей С.Г. (Специалист)
1994
Организация контекста и работа с графом планирования
Научный руководитель:
Корухова Л.С.
Автор: Соловскоя Л.Б. (Специалист)
1994
Агоритм поддержки работы с графом планирования решения
Научный руководитель:
Корухова Л.С.
Автор: Чипашвили Н.Ш. (Специалист)
1993
Реализация иерархической структуры фреймов на языке Си++
Научный руководитель:
Корухова Л.С.
Автор: Сычев И.В. (Специалист)
1993
Построение базы знаний экспертной системы по фармакологии
Научный руководитель:
Корухова Л.С.
Автор: Соломка С.В. (Специалист)
1993
Инструментальные средства формирования базы знаний в экспертной системе
Научный руководитель:
Корухова Л.С.
Автор: Неледов В.В. (Специалист)
1992
Поддержка графа построения решения в геометрическом решателе задач
Научный руководитель:
Корухова Л.С.
Автор: Папков В.Е. (Специалист)
1992
Инструментальные средства формирования базы задачи в геометрическом решателе
Научный руководитель:
Корухова Л.С.
Автор: Благодар М.М. (Специалист)
1990
Представление знаний в решателе геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Чернецкая И.В. (Специалист)
1990
Исследование фреймового подхода для представления знаний
Научный руководитель:
Корухова Л.С.
Автор: Чукаловская Е.Б. (Специалист)
1990
Исследование методов планирования решений сложных задач
Научный руководитель:
Корухова Л.С.
Автор: Юдина И.В. (Специалист)
1988
Средства графического вывода в системе МЭКС
Научный руководитель:
Корухова Л.С.
Автор: Львова Т.А. (Специалист)
1988
Разработка и реализация некоторых сервисных функций для системы РАПС
Научный руководитель:
Корухова Л.С.
Автор: Хандарова Н.В. (Специалист)
1988
Разработка и реализация внешних форм печати документов
Научный руководитель:
Корухова Л.С.
Автор: Володина Л.Н. (Специалист)
1988
Исследование способов организации словарей
Научный руководитель:
Корухова Л.С.
Автор: Агазарян З.А. (Специалист)
1987
Разработка элементов модельной информационной системы
Научный руководитель:
Корухова Л.С.
Автор: Керимова Л.Э. (Специалист)
1987
Разработка и реализация структур для представления знаний на основе Rete-сети
Научный руководитель:
Корухова Л.С.
Автор: Акчурин А.Р. (Специалист)
1987
Разработка и реализация алгоритмов дедуктивного вывода в системе продукций
Научный руководитель:
Корухова Л.С.
Автор: Нефедов П.В. (Специалист)
1987
Исследование возможностей моделирования тезауруса средствами процедурно-дедуктивной системы
Научный руководитель:
Корухова Л.С.
Автор: Гаджиев Р.Д. (Специалист)
1987
Вопросно-ответная система
Научный руководитель:
Корухова Л.С.
Автор: Семеняка С.В. (Специалист)
1985
Статистический анализ документов информационного фонда
Научный руководитель:
Корухова Л.С.
Автор: Селявина Т.Н. (Специалист)
1985
Реализация инструментальных средств для работы с фреймами
Научный руководитель:
Корухова Л.С.
Автор: Тюрина М.В. (Специалист)
1985
Разработка структур для представления знаний в системе автоматической рубрикации
Научный руководитель:
Корухова Л.С.
Автор: Князева И.В. (Специалист)
1985
Разработка описаний рубрик и правил их определения в системе автоматической рубрикации
Научный руководитель:
Корухова Л.С.
Автор: Красавина О.С. (Специалист)
1985
Анализ документов в системе автоматической рубрикации
Научный руководитель:
Корухова Л.С.
Автор: Гиря Н.В. (Специалист)
1984
Расширение процедурно-дедуктивной системы СВЯЗКА, сбор дополнительной информации
Научный руководитель:
Корухова Л.С.
Автор: Токарева Е.В. (Специалист)
1984
Разработка методов автоматической рубрикации документов в модельной информационно-поисковой системе
Научный руководитель:
Корухова Л.С.
Автор: Длин И.Н. (Специалист)
1984
Разработка методов автоматической рубрикации в модельной системе
Научный руководитель:
Корухова Л.С.
Автор: Семененок А.С. (Специалист)
1984
Разработка алгоритма автоматической рубрикации документов и запросов
Научный руководитель:
Корухова Л.С.
Автор: Добрецов Н.А. (Специалист)
1984
Исследование и разработка эффективных методов организации словарей-тезаурусов
Научный руководитель:
Корухова Л.С.
Автор: Ренард А.Э. (Специалист)
1983
Разработка структуры представления основных элементов модельной информационной системы
Научный руководитель:
Корухова Л.С.
Автор: Гришина Л.М. (Специалист)
1983
Разработка словаря-тезауруса модельной информационной системы
Научный руководитель:
Корухова Л.С.
Автор: Лаздинь А.Я. (Специалист)
1983
Разработка принципов автоматической рубрикации документов в модельной информационной системе
Научный руководитель:
Корухова Л.С.
Автор: Слепенков М.И. (Специалист)
1983
Исследование способов повышения эффективности процедурно-дедуктивной системы СВЯЗКА
Научный руководитель:
Корухова Л.С.
Автор: Васильев С.Л. (Специалист)
1982
Разработка экспертов, оценивающих сложность решения геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Наумова И.О. (Специалист)
1982
Разработка входного языка модельной информационной системы
Научный руководитель:
Корухова Л.С.
Автор: Губин И.М. (Специалист)
1982
Методы обработки арифметических выражений и упрощающих тождеств в решателе алгебраических задач
Научный руководитель:
Корухова Л.С.
Автор: Суходольская Т.Б. (Специалист)
1981
Разработка экспертов для описания геометрических конфигураций
Научный руководитель:
Корухова Л.С.
Автор: Константинова И.А. (Специалист)
1981
Разработка системы представления геометрических знаний
Научный руководитель:
Корухова Л.С.
Автор: Поспелов А.Н. (Специалист)
1981
Разработка программы-анализатора (генератора) геометрических описаний
Научный руководитель:
Корухова Л.С.
Автор: Кожин В.И. (Специалист)
1981
Разработка и реализация представления понятий стереометрии в системе СВЯЗКА
Научный руководитель:
Корухова Л.С.
Автор: Широков А.Г. (Специалист)
1980
Разработка и реализация системы представления геометрических хнаний
Научный руководитель:
Корухова Л.С.
Автор: Самохин Ю.Н. (Специалист)
1979
Реализация оператора запроса и планирующей программы
Научный руководитель:
Корухова Л.С.
Автор: Логинов Е.В. (Специалист)
1979
Реализация алгоритмов планирования перемещений модельного робота и работы с базой данных
Научный руководитель:
Корухова Л.С.
Автор: Терентьев Ю.А. (Специалист)
1979
Разработка и реализация некоторых алгоритмов планирования и операторов работы с объектами
Научный руководитель:
Корухова Л.С.
Автор: Болдырев А.С. (Специалист)
1979
Организация работы с базой данных во время планирования
Научный руководитель:
Корухова Л.С.
Автор: Райков Л.Л. (Специалист)
1979
Операторы языка СВЯЗКА, связанные с временными характеристиками
Научный руководитель:
Корухова Л.С.
Автор: Богданов Е.Д. (Специалист)
1979
Операторы работы с объектами языка СВЯЗКА и реализация алгоритмов перемещения предметов модельным роботом
Научный руководитель:
Корухова Л.С.
Автор: Болдырева Е.В. (Специалист)
Руководство курсовыми работами
2023
Централизованное управление бинарными артефактами и исходными кодами для задач облачной оркестрации в условиях изоляции от сети Интернет
Научный руководитель:
Корухова Л.С.
Автор: Бирюков Андрей Матвеевич (Магистр)
2023
Мониторинг системы предоставления виртуальных рабочих столов Fanlight
Научный руководитель:
Корухова Л.С.
Автор: Милиенков Антон Алексеевич (Бакалавр)
2023
Исследование модели сопровождения и обновлений для распределенных СУБД на примере Greenplum
Научный руководитель:
Корухова Л.С.
Автор: Болотин Константин Павлович (Бакалавр)
2023
Автоматизированные методы анализа использования терминов в научных текстах
Научный руководитель:
Корухова Л.С.
Автор: Борина Ирина Андреевна (Бакалавр)
2022
Реализация поддержки развертывания платформы бессерверных вычислений в системе оркестрации Michman
Научный руководитель:
Корухова Л.С.
Автор: Цирунов Леонид Александрович (Бакалавр)
2022
Проверка корректности текстового слоя документов формата pdf
Научный руководитель:
Корухова Л.С.
Автор: Бухатов Бекзат Болатбекулы (Бакалавр)
2022
Методы и подходы к тестированию в системах непрерывной интеграции
Научный руководитель:
Корухова Л.С.
Автор: Бабин Ярослав Вячеславович (Бакалавр)
2022
Методы и подходы к тестированию в системах непрерывной интеграции
Научный руководитель:
Корухова Л.С.
Автор: Бабин Ярослав Вячеславович (Бакалавр)
2022
Исследование методов представления виртуальной инфраструктуры в графовом виде и разработка сервиса учета взаимосвязей в облачной среде
Научный руководитель:
Корухова Л.С.
Автор: Тулин Дмитрий Ильич (Бакалавр)
2022
Автоматическое обнаружение аномалий с помощью Prometheus в кластере Openstack
Научный руководитель:
Корухова Л.С.
Автор: Ковтун Данила Петрович (Бакалавр)
2021
Модель управления жизненным циклом сервисов в облачной среде
Научные руководители:
Корухова Л.С.
,
Аксенова Е.Л.
Автор: Бирюков Андрей Матвеевич (Бакалавр)
2021
Мешок трюков для классификации намерений цитирования при помощи SciBert
Научные руководители:
Корухова Л.С.
,
Недумов Я.Р.
Автор: Мотриченко Дмитрий Олегович (Бакалавр)
2021
Автоматизация развертывания Slurm в облачной среде
Научные руководители:
Корухова Л.С.
,
Аксенова Е.Л.
Автор: Озерова Татьяна Александровна (Бакалавр)
2020
Улучшение нейросетевых алгоритмов генерации комментариев к коммитам
Научный руководитель:
Корухова Л.С.
Автор: Раснюк Александр Геннадьевич (Магистр)
2020
Сравнение существующих алгоритмов импутации генотипа в целях повышения эффективности последующего применения алгоритма предсказания наследуемых признаков
Научный руководитель:
Корухова Л.С.
Автор: Гугучкин Егор Павлович (Бакалавр)
2020
Методы атак на системы автоматического поиска людей по фотографии
Научный руководитель:
Корухова Л.С.
Автор: Мамаев Павел Вячеславович (Бакалавр)
2012
Планирование действий в антогонистической игре
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Елисеев В.Ю. (Специалист)
2012
Планирование действий в антагонистической игре
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Маврина С.О. (Специалист)
2009
Разработка модельной интеллектуальной системы с Web-интерфейсом. Рендзю
Научные руководители:
Корухова Л.С.
,
Малышко В.В.
Автор: Савенко О.В. (Специалист)
1992
Отладчик RETE-сети для решателя геометрических задач
Научный руководитель:
Корухова Л.С.
Автор: Борисов П.А. (Специалист)
1991
Спецэффекты в языке PostScript
Научный руководитель:
Корухова Л.С.
Автор: Гершун А.М. (Специалист)
Авторство учебных курсов
2018
Архитектура ЭВМ и язык ассемблера. Программа ФИИТ
Авторы:
Кузьменкова Е.А.
,
Корухова Л.С.
2015
Практикум
Автор:
Корухова Л.С.
2011
Практикум по курсу "Архитектура ЭВМ и язык ассемблера"
Авторы:
Корухова Л.С.
,
Падарян В.А.
2011
Архитектура ЭВМ и язык ассемблера (семинары)
Авторы:
Корухова Л.С.
,
Падарян В.А.
,
Кузьменкова Е.А.
,
Соловьев М.А.
,
Иванников В.П.
2010
Практикум по курсу "Алгоритмы и алгоритмические языки"
Автор:
Корухова Л.С.
2010
Практикум на ЭВМ. Программа ФИИТ
Автор:
Корухова Л.С.
2010
Практикум на ЭВМ. Программа ФИИТ
Автор:
Корухова Л.С.
2010
Алгоритмы и алгоритмические языки (семинары)
Авторы:
Корухова Л.С.
,
Белеванцев А.А.
,
Кузьменкова Е.А.
,
Соловьев М.А.
2002
Алгоритмы и алгоритмические языки
Автор:
Корухова Л.С.
2001
АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
Авторы:
Пильщиков В.Н.
,
Корухова Л.С.
,
Соловьев С.Ю.
,
Корухова Ю.С.
1992
Архитектура ЭВМ и язык Ассемблера
Авторы:
Корухова Л.С.
,
Шура-Бура М.Р.
1992
Алгоритмы и алгоритмические языки
Авторы:
Корухова Л.С.
,
Шура-Бура М.Р.
1987
Планирование целенаправленной деятельности
Авторы:
Корухова Л.С.
,
Любимский Э.З.
1987
Вычислительные машины и прошраммирование (2 семестр)
Авторы:
Корухова Л.С.
,
Шура-Бура М.Р.
1987
Вычислительные машины и программирование (3 семестр)
Авторы:
Корухова Л.С.
,
Шура-Бура М.Р.
1986
Вычислительные машины и программирование (1 семестр)
Авторы:
Корухова Л.С.
,
Шура-Бура М.Р.
1980
Планирование целенаправленной деятельности (спецсеминар для студентов 5 курса)
Авторы:
Корухова Л.С.
,
Любимский Э.З.
,
Малышко В.В.
1979
Планирование целенаправленной деятельности (спецсеминар для студентов 4 курса)
Авторы:
Корухова Л.С.
,
Любимский Э.З.
,
Малышко В.В.
1978
Системы планирования и языки искусственного интеллекта
Автор:
Корухова Л.С.
1978
Планирование целенаправленной деятельности (спецсеминар для студентов 3 курса)
Авторы:
Корухова Л.С.
,
Любимский Э.З.
,
Малышко В.В.
Преподавание учебных курсов
с 8 февраля 2018
Архитектура ЭВМ и язык ассемблера. Программа ФИИТ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 36 часов
с 5 сентября 2017
'Управление данными и информационные системы для 3 курса"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 72 часов
с 5 сентября 2017
'Управление данными и информационные системы для 4 курса"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 72 часов
с 10 сентября 2016
Управление данными и информационные системы для старших курсов
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 72 часов
с 7 февраля 2011
Архитектура ЭВМ и язык ассемблера (семинары)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 64 часов
с 7 февраля 2011
Практикум по курсу "Архитектура ЭВМ и язык ассемблера"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары
с 1 сентября 2010
Практикум по курсу "Алгоритмы и алгоритмические языки"
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 64 часов
с 1 сентября 2010
Практикум на ЭВМ. Программа ФИИТ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 108 часов
с 1 сентября 2010
Алгоритмы и алгоритмические языки (семинары)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
обязательная, базовой части, семинары, 72 часов
с 5 сентября 2001
АЛГОРИТМЫ И АЛГОРИТМИЧЕСКИЕ ЯЗЫКИ
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 256 часов
с 3 сентября 1986
Архитектура ЭВМ и язык ассемблера
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, базовой части, семинары, 220 часов
с 10 сентября 1980
Планирование целенаправленной деятельности (спецсеминар для студентов 5 курса)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, по выбору (спецкурс), семинары, 128 часов
с 12 сентября 1979
Планирование целенаправленной деятельности (спецсеминар для студентов 4 курса)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, по выбору (спецкурс), семинары, 144 часов
с 20 сентября 1978
Планирование целенаправленной деятельности (спецсеминар для студентов 3 курса)
МГУ имени М.В. Ломоносова
,
Факультет вычислительной математики и кибернетики
,
Кафедра системного программирования
обязательная, по выбору (спецкурс), семинары, 144 часов