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


Текущие проекты

Исследование и развитие методов декомпозиции для поиска и анализа больших пространственно-временных данных.

Начало проекта – 2014 год. Заказчик - ФАНО.

Целью проекта является исследование и развитие методов хранения, поиска и обработки информации, учитывающих как ее сложную организацию, так и согласованную пространственно-временную семантику. В рамках проекта предполагается разработать и исследовать метод декомпозиции, основанный на динамических октарных деревьях, получить теоретические и экспериментальные оценки его сложности и выработать рекомендации по его практическому использованию.

Перспективные методы верификации масштабных моделей данных.

Начало проекта – 2013 год. Заказчик - Грант РФФИ 13-07-00390.

Проект связан с созданием сложных программных систем на основе формальных статических моделей и адресован ключевым проблемам верификации масштабных моделей данных, применяемых в различных индустриальных областях и специфицируемых на популярных универсальных объектно-ориентированных языках (EXPRESS, UML/OCL и т.п.). В рамках проекта предполагается решить следующие задачи:

  • исследование проблемы верификации статических моделей объектно-ориентированных данных, применяемых в различных индустриальных областях;
  • разработка эффективных методов верификации подобных моделей;
  • апробация полученных методов в ходе разработки демонстрационного приложения для верификации индустриальных моделей данных.
  • Исследование технологии построения перспективных систем визуального моделирования и планирования проектов.

    Начало проекта – 2007 год. Заказчик - Synchro Software Ltd..

    В рамках проекта по заказу и совместно с компанией Synchro Software Ltd. (Великобритания) проводятся фундаментальные и прикладные исследования в области системной интеграции, программной инженерии, компьютерной графики и визуализации, управления большими данными для построения перспективных систем визуального моделирования и планирования проектов. Полученные результаты позволили развить мультидисциплинарную функциональность разрабатываемой системы, а также улучшить ее масштабируемость и производительность.

    Завершенные проекты

    Интеллектуальные сервисы для проектирования энергоэффективных сооружений.

    Начало проекта – 2012 год. Окончание проекта - 2014 год. Заказчик - Еврокомиссия Грант EU FP7-ICT-2011-7, соглашение номер 288819..

    Главной целью проекта является разработка информационной технологии и программной платформы для интеграции существующих инструментов проектирования энергоэффективных сооружений. Платформа использует облачные вычисления и реализует концепцию виртуальной лаборатории энергосбережения (Virtual Energy Lab), предусматривающую развитые сервисы для численного моделирования процессов теплообмена в зданиях и поиска оптимальных проектных решений. Существенно, что многофакторный стохастический анализ проводится с учетом физических свойств строительных конструкций и материалов, условий эксплуатации зданий, накопленных статистических метеорологических данных, стоимости электроэнергии и других экономических показателей.

    Консорциум участников: Технический университет Дрездена (Германия), Компания Granlund Oy (Финляндия), Университет Любляны (Словения), Компания SOFiSTiK Hellas AE (Греция), Инновационный центр Рейкьявик (Исландия), Национальная обсерватория Афин (Греция), Компания Leonhardt, Andra und Partner GmbH (Германия), Компания Trimo D.D. (Словения), Университет Кипра (Кипр) и Институт системного программирования РАН (Россия).

    Роль ИСП РАН в совместном проекте — разработка каталога продукции, основанного на онтологии предметной области, а также реализация веб-сервисов для ведения каталога и конфигурирования проектных решенийна основе типовых элементов конструкций.