Системная интеграция и прикладные программные комплексы


Публикации

Диссертации

  1. Тарлапан Олег Анатольевич Исследование и разработка объектно-ориентированного матричного обеспечения. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Издательство: ИСП РАН, 1998. Страницы: 28 с.
  2. Морозов Сергей Вячеславович Объектно-ориентированная инструментальная среда для создания приложений численного моделирования. Автореферат диссертации на соискание ученой степени кандидата физико-математических наук. Издательство: ИСП РАН, 1998. Страницы: 28 с.
  3. Семенов Виталий Адольфович Объектно-ориентированная методология эволюционной разработки математического обеспечения. Автореферат диссертации на соискание ученой степени доктора физико-математических наук. Издательство: ИСП РАН, 1998. Страницы: 36 с.

Другие публикации

2015

  1. С.В. Морозов, Д.В. Ильин, В.А. Семенов, О.А. Тарлапан Библиотека ограничений для спецификации индустриальных моделей данных. Труды Института системного программирования РАН Том 27, выпуск 4 2015 г. Стр. 69-110.

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 г. Стр. 159-174.
  5. Золотов. В.А., Семенов В.А. Перспективные схемы пространственно-временной индексации для визуального моделирования масштабных индустриальных проектов. Труды Института системного программирования РАН Том 26, выпуск 2 2014 г. Стр. 175-196.
  6. В.А. Семенов, С.В. Морозов, Д.В. Ильин. Комбинированный метод верификации масштабных моделей данных. Труды Института системного программирования РАН Том 26, выпуск 2 2014 г. Стр. 197-230.
  7. А.С. Аничкин, В.А. Семенов. Современные модели и методы теории расписаний. Труды Института системного программирования РАН Том 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.