Институт системного программирования им. В.П. Иванникова РАН


Леонид Евгеньевич Карпов

Доктор технических наук

Леонид Евгеньевич Карпов ORCID: http://orcid.org/0000-0001-6400-8325
Scopus Author ID: 7005689842
Researcher ID: F-3147-2016
SPIN-код: 2942-0767

Должности

Ведущий научный сотрудник ИСП РАН;
Доцент кафедры системного программирования на факультете ВМК.

Контакты

E-mail: mak@ispras.ru
Адрес: 109004, Москва, А.Солженицына, 25.

Область научных интересов

  • Системы реального времени;
  • Системы программирования.

Краткая биография

Окончил специальную московскую школу №14 с преподаванием ряда предметов на английском языке (1969), кафедру ЭВМ (зав. кафедрой академик С. А. Лебедев) факультета радиотехники и кибернетики Московского Физико-Технического института в 1975 г. В 1983 году закончил заочную аспирантуру при Вычислительном центре АН СССР. Кандидат технических наук (1987), тема кандидатской диссертации связана с разработкой языков программирования и трансляторов для специализированных управляющих ЭВМ, научный руководитель доктор физ.-мат. наук Д. Б. Подшивалов. Старший научный сотрудник (1992). Доктор технических наук (1998), тема докторской диссертации – «Принципы построения систем программирования управляющих вычислительных машин». Являлся членом экспертного совета ВАК РФ по управлению, вычислительной технике и информатике. В настоящее время возглавляет редакции ВИНИТИ по автоматизации проектирования в вычислительной технике, а также по базам данных и информационным технологиям. Член экспертных советов РФФИ по информационным технологиям и информационным системам, а также по международным проектам. Является членом диссертационных советов ИСП РАН и ВЦ РАН. Член программного комитета Российской конференции с международным участием «Технические и программные средства систем управления, контроля и измерения» (УКИ), Председатель секции «Проблемы управления на железнодорожном транспорте». Работал с 1974 г. в ИТМ и ВТ им. С. А. Лебедева АН СССР в должностях инженера (1974-2003 г.), старшего инженера, ведущего конструктора, начальника отдела, начальника отделения, старшего научного сотрудника. С 1979 по 1982 год работал в НИИ «Дельта» в должности старшего инженера, затем старшего научного сотрудника. С 1994 по 1999 год работал в управлении информатики и информатизации Московского банка Сбербанка РФ в должности начальника отдела, заместителя главного конструктора, заместителя начальника управления. С 1989 года по совместительству работал доцентом филиала кафедры АСВК при ИТМ и ВТ АН СССР. В настоящее время – доцент кафедры системного программирования ВМК МГУ. С 2004 года работает в Институте системного программирования РАН в должности ведущего научного сотрудника. Награжден медалью «В память 850-летия МОСКВЫ».

Специалист в области разработки систем реального времени и систем программирования. Участвовал в работе, а затем возглавлял разработку базовых систем программирования для нескольких отечественных ЭВМ, разработанных в ИТМ и ВТ АН СССР и используемых до настоящего времени в специализированных системах реального времени. Автор более 100 научных работ, имеет 3 действующих патента РФ.

Проекты, поддержанные Российским Фондом Фундаментальных Исследований

  • Проект 06-01-00503-а. Разработка технологии добычи данных (data mining) в приложении к построению систем поддержки принятия решений;
  • Проект 06-07-89098-a. Разработка системы адаптивного управления многомерным процессом на основе методов вывода по прецедентам;
  • Проект 09-07-00191-a. Вывод по прецедентам в системе управления плохо формализуемыми объектами при многопараметрических воздействиях;
  • Проект 12-07-00214-a. Система управления неформализуемыми нестационарными объектами на основе вывода по прецедентам;
  • Проект 15-07-02355-a. Вывод по прецедентам в системе управления плохо формализуемыми объектами, подверженными спонтанным изменениям;
  • Проект 16-01-00352-a. Теория и методы разработки вариабельных программных систем.

Патенты

  • Дистанционно-управляемый полигонный тренажер для стрельбы (варианты). Патент РФ на изобретение № 2199078 от 20.02.2003 г. (бюллетень № 5) по заявлению № 2001132472/02 от 30.11.2001 г.
  • Способ оценки состояния сенсорно-моторной и осязательной функции опорно-удерживающего аппарата зуба и устройство для его осуществления. Патент РФ на изобретение № 2190983 от 20.10.2002 г. (бюллетень № 29) по заявлению № 2001128490/14 от 23.10.2001 г.
  • Тренажер для командного пункта с радиолокационной станцией. Патент РФ на изобретение № 2164040 от 10.03.2001 г. (бюллетень № 7) по заявлению № 2000113874/09 от 01.06.2000 г.

Преподавательская деятельность

На факультете вычислительной математики и кибернетики МГУ читает курсы:
  • Системы программирования (2-й курс);
  • Архитектура распределенных систем программного обеспечения (4-й курс бакалавриата, магистратура);
  • Математическое и программное обеспечение современных вычислительных систем (аспирантура).

Диссертации, защищенные под руководством Л.Е. Карпова

Александра Васильевна Редькина (Сибирский Федеральный университет). Диссертация на тему "Программные средства построения систем поддержки обучения решению задач".

Научные конференции

  • Международная научно-практическая конференция Центрального федерального округа РФ совместно с 23-й конференцией Московского общества гемафереза "Актуальные вопросы нефрологии, диализа, хирургической гемокоррекции и гемафереза". Москва-Тверь, Россия, 2015;
  • Научный сервис в сети Интернет, Новороссийск, Россия, 2015;
  • 17-я Всероссийская конференция с международным участием "Математические методы распознавания образов", Светлогорск, Россия, 2015;
  • Ежегодная научно-практическая конференция Центрального федерального округа РФ совместно с 22-й конференцией Московского общества гемафереза "Актуальные вопросы нефрологии, диализа, хирургической гемокоррекции и гемафереза". Москва-Углич, Россия, 2014;
  • Третья Международная конференция "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы" (SORUCOM 2014), Казань, Россия, 2014;
  • Ежегодная научно-практическая конференция Центрального федерального округа РФ совместно с 21-й конференцией Московского общества гемафереза "Актуальные вопросы нефрологии, диализа, хирургической гемокоррекции и гемафереза". Москва-Тверь, Россия, 2013;
  • V Троицкая конференция "Медицинская физика и инновации в медицине (ТКМФ-5)", Троицк, Россия, 2012
  • IV Всероссийская конференция "Винеровские чтения", Иркутск, 2011;
  • Вторая Международная конференция "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР" (SORUCOM 2011), Великий Новгород, Россия, 2011;
  • Ежегодная научно-практическая конференция Центрального федерального округа РФ "Актуальные вопросы заместительной почечной терапии, гемафереза и трансплантационной координации". Москва, Россия, 2010;
  • Международная конференция по информационным технологиям в биомедицинской информатике (ITBAM 2010), Бильбао, Испания, 2010;
  • 12-я Международная конференция по программированию и информационным технологиям (CSIT'2010), Уфа-Москва-Санкт-Петербург, Россия, 2010;
  • Третий Евразийский конгресс по медицинской физике и инженерии "Медицинская физика - 2010, Москва, 2010;
  • Научно-практическая конференция Центрального федерального округа РФ "Актуальные вопросы гемафереза, хирургической детоксикации и диализа". Москва, Россия, 2009;
  • Техническая конференция "Корпоративные базы данных - 2008", Москва, 2008;
  • Всероссийская научная конференция "Научный сервис в сети Интернет: решение больших задач", Новороссийск, Россия, 2008;
  • 13-я Всероссийская конференция "Математические методы распознавания образов", Зеленогорск, 2007;
  • Первая Международная конференция "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР" (SORUCOM 2006), Петрозаводск, Россия, 2006.
  • Диссертации

    Л. Е. Карпов. Принципы построения систем программирования для управляющих вычислительных машин. Диссертация на соискание ученой степени доктора технических наук по специальности 05.13.15, 1998 г.
    Л. Е. Карпов. Принципы построения языков программирования и трансляторов с них для управляющих вычислительных машин. Диссертация на соискание ученой степени кандидата технических наук по специальности 05.13.13, 1987 г.

    Публикации по истории отечественной вычислительной техники

    • Т. А. Бурцева, Л. Е. Карпов, В. Б. Карпова. «Всеволод Бурцев и суперЭВМ». Открытые системы. СУБД, № 9, 2007, стр. 70-73, ISSN 1028-7493.
    • Л. Е. Карпов, В. Б. Карпова. «Первая БЭСМ: начало пути». Открытые системы. СУБД, № 10, 2007, стр. 74-79, ISSN 1028-7493.
    • Л. Е. Карпов, В. Б. Карпова. «Статья С. А. Лебедева "ЭВМ посредством ЭВМ"». Открытые системы. СУБД, № 4, 2008, стр. 74-79, ISSN 1028-7493.
    • Л. Е. Карпов, В. Б. Карпова. «Вычислительные средства для систем противоракетной и противосамолётной обороны страны. Роль С. А. Лебедева и В. С. Бурцева». SORUCOM-2011. Труды второй Международной конференции "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР". Великий Новгород, 2011, 366 стр. International Federation for Information Processing (IFIP), Новгородский государственный университет, стр. 124-130, ISBN 978-5-98769-086-8
    • Л. Е. Карпов, В. Б. Карпова. «Три первые директора ИТМ и ВТ АН СССР». SORUCOM-2011. Труды второй Международной конференции "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР". Великий Новгород, 2011, 366 стр. International Federation for Information Processing (IFIP), Новгородский государственный университет, стр. 131-133, ISBN 978-5-98769-086-8
    • Leonid E. Karpov, Vera B. Karpova. «History of the Creation of BESM: The First Computer of S.A. Lebedev Institute of Precise Mechanics and Computer Engineering». IFIP Advances in Information and Communication Technology 357. Perspectives on Soviet and Russian Computing. First IFIP WG 9.7 Conference, SoRuCom 2006, Petrozavodsk, Russia, July 3-7, 2006. Revised Selected Papers. Eds. John Impagliazzo, Eduard Proydakov. IFIP, Springer, 2011, pp. 6-19. ISSN 1868-4238, ISSN 1868-422X (eBook), ISBN 978-3-642-22815-5, ISBN 978-3-642-22816-2 (eBook), DOI 10.1007/978-3-642-22816-2
    • Л. Е. Карпов, В. Б. Карпова. «СуперЭВМ – от задач к машине». Открытые системы. СУБД. № 4, 2010 г., стр. 54-58. ISSN 1028-7493
    • Л. Е. Карпов, В. Б. Карпова. «Выступление. В. С. Бурцева "К истории создания советской вычислительной техники"». Открытые системы. СУБД. № 1, 2012 г., стр. 56-59. ISSN 1028-7493
    • Л. Е. Карпов, В. Б. Карпова, А. Н. Томилин, В. И. Штейнберг «Серия БЭСМ – вычислительных машин Института точной механики и вычислительной техники им. С. А. Лебедева Академии наук СССР». В сборнике «История отечественной электронной вычислительной техники», ЗАО «Издательский дом "Столичная энциклопедия"», ISBN 978-5-903989-24-9, 2014 г., 576 стр., илл., стр. 21-27
    • Л. Е. Карпов, В. Б. Карпова. «В. А. Мельников – архитектор отечественных вычислительных машин и систем». SORUCOM-2014. Труды третьей Международной конференции "Развитие вычислительной техники и ее программного обеспечения в России и странах бывшего СССР: история и перспективы". Казань, 2014, 412 стр., IEEE Computing Society, Казанский национальный исследовательский университет, стр. 138-142, ISBN 978-5-905884-15-3
    • Karpov Leonid, Karpova Vera. «V.A. Melnikov – The Architect of Soviet Computers and Computer Systems». Third International Conference on Computer Technology in Russia and in the Former Soviet Union (SoRuCom), 2014, pp. 8-11. IEEE. DOI: 10.1109/SoRuCom.2014.9
    • Учебники и учебные пособия

    • Л. Е. Карпов. "Архитектура распределенных систем программного обеспечения", Учебное пособие, М.: МАКС Пресс, МГУ, ВМ и К, 2007, ISBN 978-5-84907-304-0, ISBN 978-5-317-02113-9.
    • И. А. Волкова, И. Г. Головин, Л. Е. Карпов. «Системы программирования». Учебное пособие. - М.: Издательский отдел факультета ВМК МГУ имени М. В, Ломоносова, МАКС Пресс, 2009 - 132 с., ISBN 978-5-89407-400-9 ISBN 978-5-317-03066-7
    • И. А. Волкова, А. В. Иванов, Л. Е. Карпов. «Основы объектно-ориентированного программирования. Язык программирования С++». Учебное пособие для студентов 2 курса. – М.: Издательский отдел факультета ВМК МГУ (лицензия ИД № 05899 от 24.09.2001), МАКС Пресс, 2011 – 112 с., ISBN 978-5-89407-439-9, ISBN 978-5-317-03512-9
    • И. А. Волкова, А. А. Вылиток, Л. Е. Карпов. «Сборник задач и упражнений по языку Си++». Учебное пособие для студентов II курса. – М.: Издательский отдел факультета ВМК МГУ им. М.В.Ломоносова (лицензия ИД № 05899 от 24.09.2001); МАКС Пресс, 2013 – 64 с. ISBN 978-5-317-04595-1.
    • Публикации по основной научной деятельности

    • Л. Е. Карпов, В. Н. Юдин. «Методы добычи данных при построении локальной метрики в системах вывода по прецедентам", Институт системного программирования РАН, препринт № 18, Москва, 2006.
    • Л. Е. Карпов, В. Н. Юдин. «Адаптивное управление по прецедентам, основанное на классификации состояний управляемых объектов». Труды Института системного программирования, т.13, Москва, ИСП РАН, 2007 г., стр. 37-57. ISBN 978-0-543-57630-9, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)
    • В. Н. Юдин, Л. Е. Карпов, А. В. Ватазин. «Процесс лечения как адаптивное управление человеческим организмом в программной системе "Спутник врача"». Альманах клинической медицины, т. XVII в двух частях, ч. I, 400 стр., МОНИКИ, Москва, 2008, стр. 262-265, ISBN 978-4-98511-032-6 (т. XVII, ч. I), ISBN 5-9900012-1-5.
    • В. Н. Юдин, Л. Е. Карпов, А. В. Ватазин. «Методы интеллектуального анализа данных и вывода по прецедентам в программной системе поддержки врачебных решений». Альманах клинической медицины, т. XVII в двух частях, ч. I, 400 стр., МОНИКИ, Москва, 2008, стр. 266-269, ISBN 978-4-98511-032-6 (т. XVII, ч. I), ISBN 5-9900012-1-5.
    • Л. Е. Карпов, А. Н. Томилин, В. Н. Юдин. «Репликация и валидация данных в распределенной системе поддержки врачебных решений». Труды Всероссийской научной конференции "Научный сервис в сети Интернет: решение больших задач". - Изд. МГУ, 2008. стр. 387-392, ISBN 978-5-211-05616-9.
    • В. Н. Юдин, Л. Е. Карпов, А. В. Ватазин. «Виртуальная интеграция и консолидация знаний в распределенной системе поддержки врачебных решений». Альманах клинической медицины, № 20, МОНИКИ, Москва, 2009, стр. 83-86.
    • L. E. Karpov, V. N. Yudin. «The Case-Based Software System for Physician's Decision Support». Sami Khari, Lenka Lhotska, Nadia Pisanti (eds.), "Information Technology in Bio- and Medical Informatics, ITBAM 2010", Proceedings of the First International Conference, Bilbao, Spain. Lecture Notes in Computer Science Sublibrary: SL 3, Springer Verlag, Berlin, Heidelberg, 2010, pp. 78-85. ISSN 0302-9743.
    • В. Н. Юдин, Л. Е. Карпов. «Обмен данными в распределенной системе поддержки решений». Труды Института системного программирования, т.19, 216 стр., Москва, ИСП РАН, 2010 г., стр. 71-80. ISBN 978-0-543-57630-9, ISBN 978-5-4221-0085-9, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)
    • В. Н. Юдин, Л. Е. Карпов. «Многопараметрическое управление на основе прецедентов». Труды Института системного программирования, т.19, 216 стр., Москва, ИСП РАН, 2010 г., стр. 81-93. ISBN 978-0-543-57630-9, ISBN 978-5-4221-0085-9, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)
    • Л. Е. Карпов, А. В. Редькина. «Программные средства поддержки обучения на основе сервис-ориентированной архитектуры». Винеровские чтения. Труды IV Всероссийской конференции (часть III, 189 стр.). Национальный исследовательский Иркутский государственный технический университет, Институт систем энергетики им. Л. А. Мелентьева СО РАН, Институт динамики систем и теории управления СО РАН, Иркутск, 2011, стр. 74-80, ISBN 9078-5-8038-566-3
    • А. В. Редькина, Л. Е. Карпов, И. В. Минкин. «Многокомпонентные инструментальные системы поддержки процесса обучения». Программные продукты и системы. Научно-практическое издание. № 3 (95), 2011. Научно-исследовательский институт «Центрпрограммсистем». Тверь, 2011, стр. 104-107, ISSN 0236-235X
    • В. Н. Юдин, Л. Е. Карпов, А. В. Ватазин, Ю. Г. Сметанин. «Программная система поддержки врачебных решений с гибридной архитектурой на основе правил и прецедентов». V Троицкая конференция "Медицинская физика и инновации в медицине (ТКМФ-5)", Сборник материалов, том 2, стр. 425-427. 2012, РАН, Троицкий Научный Центр, ISBN 978-5-89513-272-2
    • Л. Е. Карпов, А. В. Редькина, А.В. Редькин, Д. А. Аношин. «Методы и инструменты реализации предметно-ориентированных компонентов обучающих систем». Программные продукты и системы. № 4, 2012, Научно-исследовательский институт «Центрпрограммсистем». Тверь, 2012, стр. 188-192, ISSN 0236-235Х
    • В. Н. Юдин, Л. Е. Карпов. «Роль предыстории при оценке сложного объекта в управлении по прецедентам». Труды Института системного программирования, т.24, Москва, ИСП РАН, 2013 г., стр. 437-445. ISBN 978-0-543-57630-9, ISBN 978-5-4221-0085-9, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)
    • Л. Е. Карпов, В. Н. Юдин. «Гибридный подход к построению систем поддержки решений». Труды Института системного программирования, т.24, Москва, ИСП РАН, 2013 г., стр. 447-456. ISBN 978-0-543-57630-9, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print)
    • Л. Е. Карпов, В. Н. Юдин. «Снижение неоднозначности в оценке состояния объекта при управлении по прецедентам». Труды Института системного программирования, т.26, Москва, ИСП РАН, 2014 г., выпуск 2, стр. 231-244. ISBN 978-0-543-57630-9, ISSN 2220-6426 (Online), ISSN 2079-8156 (Print), DOI: 10.15514/ISPRAS-2014-26(2)-10
    • В. Н. Юдин, Л. Е. Карпов, А. В. Ватазин, А. Б. Зулькарнаев. «Два подхода к программной поддержке врачебных решений». Альманах клинической медицины, № 30, 2014, Москва. ISSN 2072-0505, стр. 88-90
    • Л. Е. Карпов, Е. М. Лаврищева, А. Н. Томилин. «Сервисные средства интернет для решения бизнес-задач». Труды Института системного программирования РАН Том 27. Выпуск 1. 2015 г., стр. 125-150. ISSN 2220-6426 (Online), ISSN 2079-8156 (Print). DOI: 10.15514/ISPRAS-2015-27(1)-7
    • Л. Е. Карпов, Е. М. Лаврищева, А. Н. Томилин. «Системная поддержка решения бизнес-задач в глобальной информационной сети». Труды XVII Всероссийской научной конференции "Научный сервис в сети Интернет" (21-26 сентября 2015 г., г. Новоросийск). - М.: ИПМ им. Келдыша, 2015. - 336 с., стр. 193-218, ISBN 978-5-98354-015-6.