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


Публикации

Диссертации

  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.