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


Виталий Адольфович Семенов

доктор физико-математических наук, профессор

Семенов Виталий Адольфович, доктор физико-математических наук, профессор ORCID: orcid.org/0000-0002-8766-8454
Scopus Author ID: 55419364200
Researcher ID: H-3484-2016

Должности

Заведующий отделом "Системная интеграция и прикладные программные комплексы" ИСП РАН
Ведущий научный сотрудник ИСП РАН.

Контакты

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


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

  • Программные модели и системы;
  • программная инженерия;
  • информационные системы;
  • распределенные и параллельные вычисления;
  • компьютерная графика и визуализация.

Основные научные результаты

  • разработаны математические методы и программные средства моделирования больших электронных схем в составе системы автоматизации проектирования «Электроника СС БИС»;
  • разработана методология эволюционной разработки математического и прикладного программного обеспечения, основанная на оригинальной онтологии вычислительной математики и конструктивных принципах объектно-ориентированного программирования;
  • разработана технология коллективной программной инженерии, использующая оптимистическую репликацию и семантическую реконсиляцию UML моделей. Технология внедрена в популярные программные CASE продукты компаний Telelogic AB и IBM;
  • разработана технология управления большими пространственно-временными данными. В составе продуктов Synchro Software Ltd технология применяется в 230 индустриальных компаниях 36 стран, в том числе в проектных организациях госкорпорации «Росатом»;
  • в рамках научного проекта «Интеллектуальные сервисы разработки энергосберегающих сооружений» европейской рамочной программы FP7 создана технологическая платформа для развертывания и интеграции инструментов проектирования в области архитектуры и строительства.

Проекты

  • Объектно-ориентированное программирование в ограничениях: перспективы, проблемы, приложения. Проект Президиума РАН. 2014 г. Рег. номер 01201281674. Инв. № 214082050011.
  • Исследование и разработка методов доступа к многомерным данным для визуального моделирования больших динамических сцен. Проект РФФИ 13-07-00294. 2013 –2015 г. Рег. номер – 01201355217.
  • Инструментальная система для построения систем планирования движения в сложном трехмерном окружении. Проект РФФИ 16-07-00606 . 2016-2018 г.

Конференции

Регулярное участие и работа в научных комитетах

European Conference on Product and Process Modelling (ECPPM 2016, 2014, 2012, 2010, ...)

Участие в конференциях

  • International Conference on Construction Applications of Virtual Reality (CONVR)
  • ISPE International Conference on Concurrent Engineering (CE)
  • International Conference on Computing in Civil and Building Engineering (ICCCBE)
  • International Conference on Computer Graphics and Vision (GraphiCon)
  • Байкальская Всероссийская конференция «Информационные и Математические Технологии в Науке и Управлении» (IMT)
  • Международная конференция Информационные технологии в науке, образовании и управлении (IT+S&E)
  • Преподавательская деятельность

    Читает курс лекций по визуализации для студентов ФУПМ МФТИ, осуществляет руководство магистерскими и кандидатскими работами. Семенов В.А. — член редколлегии журнала «Труды ИСП РАН», член диссертационных советов ИСП РАН и МФТИ, член ACM и IEEE, член европейской ассоциации по моделированию процессов и продуктов, член научных комитетов международных конференций.

    Публикации

    2015

    1. V.A. Semenov, K.A. Kazakov, V.A. Zolotov. Effective spatial reasoning in complex 4D modeling environments. eWork and eBusiness in Architecture, Engineering and Construction, eds. A.Mahdavi, B. Martens, R. Scherer, CRC Press, Taylor & Francis Group, London, UK, 2015, pp. 181-186.
    2. V.A. Semenov, V.I. Gonahchan, S.V Morozov & O.A. Tarlapan. Ontology model for intelligent catalogues of building elements. eWork and eBusiness in Architecture, Engineering and Construction, eds. A.Mahdavi, B. Martens, R. Scherer, CRC Press, Taylor & Francis Group,London, UK, 2015, pp. 527-534.
    3. Золотов В.А., Петрищев К.С., Семенов В.А. Исследование методов пространственного индексирования динамических сцен на основе регулярных октодеревьев. Труды XXV международной конференции GraphiCon 2015, Протвино, Московская область, 2015, стр. 115-122.
    4. С.В. Морозов, Д.В. Ильин, В.А. Семенов, О.А. Тарлапан Библиотека ограничений для спецификации индустриальных моделей данных. Труды Института системного программирования РАН Том 27. Выпуск 4. 2015 г. Стр. 69-110.
    5. Морозов С.В., Ильин Д.В., Семенов В.А., Тарлапан О.А. Перспективный метод верификации масштабных моделей данных. Информационные технологии в науке, образовании и управлении: труды международной конференции IT+S&E'15 (весенняя сессия) / Под ред. Е.Л. Глориозова - М.: ООО "Институт новых информационных технологий", 2015, с. 438-444.
    6. Аничкин А.С., Семенов В.А. Объектно-ориентированный каркас для разработки приложений теории расписания. Информационные технологии в науке, образовании и управлении: труды международной конференции IT+S&E'15 (весенняя сессия) / Под ред. Е.Л. Глориозова - М.: ООО "Институт новых информационных технологий", 2015, с. 460-464.
    7. Ильин Д.В., Морозов С.В., Семенов В.А. Управление целостностью семантически сложных данных в транзакционных информационных системах. Информационные и математические технологии в науке и управлении: Труды XX Байкальской Всероссийской конференции, в 3 т.т. / Под ред. Л.В. Массель, т. 2 - Иркутск: ИСЭМ СО РАН, 2015, с. 63-71.
    8. Аничкин А.С., Казаков К.А., Семенов В.А. Календарно-сетевое планирование индустриальных проектов с учетом перегруженности рабочих зон. Информационные и математические технологии в науке и управлении: Труды XX Байкальской Всероссийской конференции, в 3 т.т. / Под ред. Л.В. Массель, т. 1 - Иркутск: ИСЭМ СО РАН, 2015, с. 7-14.

    2014

    1. Казаков К.А., Семенов В.А. Глобальное планирование движения в сложных динамических сценах. Труды XIX Байкальской Всероссийской конференции «Информационные и Математические Технологии в Науке и Управлении» в 3 т. Том 2. Издательство: ИСЭМ СО РАН, 2014. Стр. 40-46.
    2. Петрищев К.С., Золотов В.А., Семенов В.А. Поиск ближайших соседей в сложных трехмерных сценах. Труды XIX Байкальской Всероссийской конференции «Информационные и Математические Технологии в Науке и Управлении» в 3 т. Том 3. Издательство: ИСЭМ СО РАН, 2014. Стр. 56-62.
    3. В.А. Семенов, А.С. Аничкин, С.В. Морозов, О.А. Тарлапан, В.А. Золотов. Комплексный метод составления расписаний для сложных индустриальных программ с учетом пространственно-временных ограничений. Труды Института системного программирования РАН Том 26. Выпуск 1. 2014 г. Стр. 457-482.
    4. Золотов. В.А., Семенов В.А. Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов. Труды Института системного программирования РАН Том 26. Выпуск 2. 2014 г. Стр. 175-196.
    5. В.А. Семенов, С.В. Морозов, Д.В. Ильин. Комбинированный метод верификации масштабных моделей данных. Труды Института системного программирования РАН Том 26. Выпуск 2. 2014 г. Стр. 197-230.
    6. А.С. Аничкин, В.А. Семенов. Современные модели и методы теории расписаний. Труды Института системного программирования РАН Том 26. Выпуск 3. 2014 г. Стр. 5-50.

    2013

    1. В.А. Золотов, В.А. Семенов. Современные методы поиска и индексации многомерных данных в приложениях моделирования больших динамических сцен. Труды Института системного программирования РАН Том 24. 2013 г. Стр. 381-416.
    2. Золотов В.А., Семенов В.А. Исследование и развитие метода декомпозиции для анализа больших пространственных данных. Труды Института системного программирования РАН Том 25. 2013 г. Стр. 131-166.

    2012

    1. Ильин Д.В., Морозов С.В., Семенов В.А. Верификация объектно-ориентированных моделей данных. Информационные и математические технологии в науке и управлении. Труды XVII Байкальской Всероссийской конференции, в 3 т. Том: 2. Издательство: ИСЭМ СО РАН, 2012. Стр. 123-130.

    2011

    1. Ильин Д.В., Морозов С.В., Семенов В.А. О проблеме кардинальности в объектно-ориентированных моделях.Информационные и математические технологии в науке и управлении. Труды XVI Байкальской Всероссийской конференции, в 3 т. Том: 3. Издательство: ИСЭМ СО РАН, 2011. Стр. 158-163.

    2010

    1. В.А. Семенов, К.В. Драгалов, Д.В. Ильин, С.В. Морозов, О.В. Сидяка О комплементарных принципах объектно-ориентированного программирования в ограничениях. Журнал «Программирование». Том: 36. Номер: 5. Издательство: МАИК «Наука/Интерпериодика», 2010. Стр. 24-37.
    2. В.А. Семенов, Д.В. Ильин, О.В. Сидяка, О.А Тарлапан Системная интеграция на основе международного информационного стандарта STEP. Всероссийская конференция «Свободное программное обеспечение – 2010» (СПО-2010). Тезисы докладов. Издательство: РАСПО, 2010. Страницы 31.
    3. В.А. Семенов, О.В. Сидяка. Теоретические и экспериментальные оценки сложности методов локального распространения в задачах программирования в ограничениях. Труды Института системного программирования РАН Том 19. 2010 г. Стр. 117-138.
    4. В.А. Семенов, Д.В. Ильин, С.В. Морозов, О.В. Сидяка. Объектно-ориентированное программирование в ограничениях: новый подход на основе декларативных языков моделирования данных. Труды Института системного программирования РАН Том 19. 2010 г. Стр. 95-116.

    2009

    1. Семенов В. А., Морозов С. В., Энкович И. В. Коллективная инженерия на основе визуальных моделей. Международная научная конференция, посвященная 80-летию со дня рождения академика В.А. Мельникова, Сборник докладов. Издательство: Некоммерческая Организация Научный Фонд «Первая Исследовательская Лаборатория имени академика В.А. Мельникова», 2009. Стр. 114-117.
    2. Семенов В. А., Аничкин А. С., Казаков К. А., Тарлапан О. А. О некоторых актуальных задачах визуального моделирования проектных планов. Приложение к журналу «Открытое образование». Материалы XXXVI международной конференции и дискуссионного научного клуба «Информационные технологии в науке, социологии, экономике и бизнесе» IT+SE’09. Издательство: Издательство МЭСИ, 2009. Стр. 64-65.
    3. Семенов В. А., Аничкин А. С., Казаков К. А., Тарлапан О. А. Пространственно-временное моделирование и планирование индустриальных проектов. Международная научная конференция, посвященная 80-летию со дня рождения академика В.А. Мельникова, Сборник докладов. Издательство: Некоммерческая Организация Научный Фонд «Первая Исследовательская Лаборатория имени академика В.А. Мельникова», 2009. Стр. 111-113.
    4. Энкович И.В., Морозов С.В., Семенов В.А., Тарлапан О.А. Сопоставление данных на основе семантически согласованной метрики. Методы и средства обработки информации: Труды третьей Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2009. Стр. 426-431.

    2008

    1. Семенов В.А., Тарлапан О.А., Энкович И.В. Формальный подход к семантической реконсиляции. Информационные и математические технологии в науке и управлении. Труды XIII Байкальской Всероссийской конференции, в 2т. Том: 2. Издательство: ИСЭМ СО РАН, 2008. Стр. 90-97.
    2. Семенов В.А., Морозов С.В., Семенова А.В. Применение метода семантической реконсиляции к задачам коллективного управления проектами. Информационные и математические технологии в науке и управлении. Труды XIII Байкальской Всероссийской конференции, в 2 т. Том: 2. Издательство: ИСЭМ СО РАН, 2008. Стр. 97-103.
    3. В.А. Семенов, С.В. Морозов, О.А. Тарлапан, И.В. Энкович. Нечеткое сравнение коллекций: семантический и алгоритмический аспекты. Труды Института системного программирования РАН Том 15. 2008 г. Стр. 181-209.

    2007

    1. В.А. Семенов, С.Г. Ерошкин, А.А. Караулов, И.В. Энкович. Семантическая реконсиляция прикладных данных на основе моделей. Труды Института системного программирования РАН Том 13. Часть 2. 2007 г. Стр. 141-164.

    2006

    1. Семенов В.А., Морозов С.В., Тарлапан О.А., Шарыкин А.С. Парадигма ограничений в языках объектно-ориентированного моделирования. Материалы XXXIII международной конференции, IV международной конференции молодых ученых "Информационные технологии в науке, образовании, телекоммуникации и бизнесе" IT+S&E'06, майская сессия, Украина, Крым, Ялта-Гурзуф, 20-30 мая 2006 г. Издательство: Издательство Запорожского национального университета, 2006. Стр. 427-428.
    2. Семенов В.А., Ерошкин С.Г., Караулов А.А. Семантический подход к оптимистической репликации прикладных информационных моделей на основе UML. Материалы XXXIII международной конференции, IV международной конференции молодых ученых "Информационные технологии в науке, образовании, телекоммуникации и бизнесе" IT+S&E'06, майская сессия, Украина, Крым, Ялта-Гурзуф, 20-30 мая 2006 г. Издательство: Издательство Запорожского национального университета, 2006. Стр.425-426.

    2005

    1. Семенов В.А. Открытая система для математического моделирования и научной визуализации. Учебно-методическое пособие. Издательство: Издательский сектор оперативной полиграфии МФТИ, 2005. Страницы 36 с.
    2. В.А. Семенов Программа по курсу «Научная визуализация». Издательство: Издательский сектор оперативной полиграфии МФТИ, 2005. Страницы 8 с.
    3. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Семантическая верификация прикладных объектно-ориентированных данных: реализация и анализ. Методы и средства обработки информации: Труды второй Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2005. Стр. 435-441.

    2004

    1. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Информационная инфраструктура и программная платформа для поддержки междисциплинарных проектов в науке и промышленности. Приложение №1 к журналу «Успехи современного естествознания» №5, 2004 г. Материалы XXXI международной конференции и дискуссионного научного клуба “Информационные технологии в науке, образовании, телекоммуникации и бизнесе” IT+SE’2004. Издательство: РАЕ, 2004. Стр. 309-312.
    2. Семенов В.А., Бажан А.А., Морозов С.В., Порох С.А., Тарлапан О.А. Комплексные информационные решения на основе платформы OpenSTEP для междисциплинарной интеграции в области архитектуры и строительства. Сборник научных трудов международного российско-германского симпозиума “Применение информационных технологий в строительстве и учебном процессе” Москва, Санкт-Петербург, 12-18 сентября 2004 г. Издательство: МГСУ, 2004. Стр. 161-166.
    3. В.А. Семенов, С.В. Морозов, С.А. Порох, О.А. Тарлапан Междисциплинарная интеграция на основе информационных стандартов и моделей. Информационные технологии в образовании, технике и медицине: Материалы международной конференции в 3-х т.т. Том: 1. Издательство: ВолгГТУ, 2004. Стр. 263-268.
    4. В.А. Семенов, С.В. Морозов, О.А. Тарлапан. Инкрементальная верификация объектно-ориентированных данных на основе спецификации ограничений. Труды Института системного программирования РАН Том 8. Часть 2. 2004 г. Стр. 21-52.
    5. В.А. Семенов, С.В. Морозов, С.А. Порох. Стратегии объектно-реляционного отображения: систематизация и анализ на основе паттернов. Труды Института системного программирования РАН Том 8. Часть 2. 2004 г. Стр. 53-92.
    6. В.А. Семенов, Е.В. Алексеева, С.В. Морозов, О.А. Тарлапан. Композиционный подход к построению программных приложений визуализации. Труды Института системного программирования РАН Том 5. 2004 г. Стр. 175-214.

    2003

    1. Семенов В.А., Бажан А.А., Морозов С.В., Тарлапан О.А. Модельно-ориентированный подход к построению прикладных интегрированных систем следующего поколения. Альтернативы применения. Методы и средства обработки информации: Труды первой Всероссийской научной конференции. Издательство: Издательский отдел факультета ВМиК МГУ им. М.В. Ломоносова, 2003. Стр. 492-497.

    2002

    1. Семенов В.А., Морозов С.В., Тарлапан О.А., Николаенко М.Н. CASE технология для построения корпоративных систем в промышленности на основе стандартов STEP. Сборник докладов IV международной научно-практической конференции "Компьютерные технологии сопровождения и поддержки наукоемкой продукции на всех этапах жизненного цикла", г. Королев, 28-29 ноября 2002 г. Издательство: НИЦ CALS-технологий «Прикладная логистика», 2002. Стр. 96-99.

    2001

    1. Крылов П.Б., Морозов С.В., Семенов В.А., Тарлапан О.А. Построение развитых геоинформационных комплексов на основе EXPRESS-технологии. IT+SE'2001, Труды конференции "Информационные технологии в науке, образовании, телекоммуникации, бизнесе" (осенняя сессия), Украина, Крым, Ялта-Гурзуф, 20-30 сентября 2001 г. Издательство: Лаборатория издательских технологий и компьютерной графики Запорожского государственного университета, 2001. Стр. 177-179.
    2. Бажан А.А., Морозов С.В., Семенов В.А. Проблемы визуального моделирования бизнес-информации. IT+SE'2001, Труды конференции "Информационные технологии в науке, образовании, телекоммуникации, бизнесе" (осенняя сессия), Украина, Крым, Ялта-Гурзуф, 20-30 сентября 2001 г. Издательство: Лаборатория издательских технологий и компьютерной графики Запорожского государственного университета, 2001. Стр. 42-44.

    2000

    1. В.А. Семенов, П.Б. Крылов, С.В. Морозов, О.А. Тарлапан Объектно-ориентированная архитектура для приложений математического моделирования и научной визуализации. Журнал «Программирование». Том: 26. Номер: 2. Издательство: МАИК «Наука/Интерпериодика», 2000. Стр. 29-40.
    2. В.А. Семенов, П.Б. Крылов, С.В. Морозов, М.Г. Роминов, О.А. Тарлапан. Объектно-ориентированная методология разработки интегрированных приложений моделирования и визуализации. Труды Института системного программирования РАН Том 1. 2000 г. Стр. 122-137.

    1999

    1. В.А. Семенов, С.В. Морозов, О.А. Тарлапан Система OpenModeler&Visualizer и ее приложения в вычислительной механике.Тезисы докладов Десятой юбилейной международной конференции по вычислительной механике и современным прикладным программным средствам, Переславль-Залесский, 7-12 июня 1999 г. Издательство: МГИУ, 1999. Стр. 308-309.

    1978-1997

    1. Семенов В.А., Тарлапан О.А. Методика разработки библиотеки шаблонов BLAS для разреженных матриц. Вопросы кибернетики. Приложения системного программирования. Том: 3. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1997. Стр. 227-239.
    2. В.А. Семенов Об объектно-ориентированном подходе к разработке численного математического обеспечения Вопросы кибернетики. Приложения системного программирования. Том: 1. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1995. Стр. 140-163.
    3. В.А. Семенов, Е.Ю. Ширяева Объектная классификация задач и методов нелинейной безусловной оптимизации. Вопросы кибернетики. Приложения системного программирования. Том: 2. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1996. Стр. 86-119.
    4. В.А. Семенов, С.В. Морозов, О.А. Тарлапан, Е.Ю. Ширяева Объектно-ориентированная инструментальная среда для разработки систем численного моделирования. Вопросы кибернетики. Приложения системного программирования. Том: 3. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1997. Стр. 205-226.
    5. Морозов С.В., Семенов В.А., Тарлапан О.А., Ширяева Е.Ю. Объектно-ориентированная инструментальная среда для разработки вычислительных приложений. XXIII международная конференция и дискуссионный научный клуб “Новые информационные технологии в науке, образовании и бизнесе”, Украина, Крым, Ялта-Гурзуф, 15-24 мая 1996 года. Труды конференции.
    6. В.А. Семенов, С.В. Морозов Объектно-ориентированное программирование квадратурных методов. Вопросы кибернетики. Приложения системного программирования. Том: 2. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1996. Стр. 120-146.
    7. С.В. Морозов, В.А. Семенов Объектно-ориентированное программирование задач численного анализа. Вопросы кибернетики. Приложения системного программирования. Том: 1. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1995. Стр. 189-211.
    8. В.А. Семенов, О.А. Тарлапан Объектно-ориентированный подход к программированию прямых методов линейной алгебры. Вопросы кибернетики. Приложения системного программирования. Том: 2. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1996. Стр. 147-170.
    9. В.А. Семенов Объектная систематизация и парадигмы вычислительной математики. Журнал «Программирование». Том: 23. Номер: 4. Издательство: МАИК «Наука/Интерпериодика», 1997. Стр. 14-25.
    10. В.А. Семенов, О.А. Тарлапан Технологии реализации разреженных матричных классов. Вопросы кибернетики. Приложения системного программирования. Том: 1. Издательство: Научный совет по комплексной проблеме «Кибернетика» РАН, 1995. Стр.164-188