Деятельность в области ИТ

Институт динамики систем и теории управления имени В.М. Матросова Сибирского отделения Российской академии наук

ИНН 3812011682   ОГРН 1023801757000

Наши реквизиты

Наша деятельность в области информационных технологий 

• Создание, сопровождение и развитие алгоритмического и программного (системного и прикладного) обеспечения, а также сетевых сервисов в различных предметных областях, в том числе информационно-аналитических систем, геоинформационных систем, систем обработки и анализа данных, экспертных систем, сайтов, порталов, web-сервисов.
• Обработка данных: извлечение данных из слабоструктурированных источников, очистка, нормализация, формирование тематических баз данных, баз знаний, обработка данных дистанционного зондирования Земли (ДДЗЗ), построение 3D-моделей рельефа по ДДЗЗ (подводного рельефа - по батиметрии).
• Выполнение высокопроизводительных расчетов на многопроцессорных ЭВМ и вычислительных кластерах и системах, в том числе коллективного пользования.
• Создание, сопровождение и развитие средств вычислительной техники и телекоммуникаций, сетей ЭВМ и хранения данных.
• Техническое обслуживание, администрирование и информационно-консультационное сопровождение информационно-коммуникационных и вычислительных систем, в том числе коллективного пользования.
• Консультирование по:
  • аппаратным средствам вычислительной техники;
  • созданию информационно-телекоммуникационных инфраструктур и сетевых программно-аппаратных систем;
  • технологиям и средствам разработки алгоритмического и программного обеспечения;
  • технологиям и средствам организации высокопроизводительных вычислений.

Наши услуги

• Разработка программного обеспечения (десктоп и веб-приложения) для различных предметных областей.
• Обработка, хранение, анализ и визуализация данных.
• Предоставление высокопроизводительных вычислительных ресурсов для выполнения расчетов (вычислений).
• Предоставление инфраструктуры для хранения данных и виртуализации.

Для получения услуг напишите или позвоните нам - e-mail: idstu@icc.ru, тел: (3952)-42-71-00 

Наши ресурсы

В институте функционируют два центра коллективного пользования (ЦКП), ресурсы которых мы предоставляем:

• ЦКП «Иркутский суперкомпьютерный центр СО РАН» (ИСКЦ). Основная вычислительная установка ЦКП - вычислительный кластер «Академик В.М. Матросов»» (входит в ТОП-50) на базе центральных процессоров Intel/AMD и графических процессоров (GPU) NVidia “Ampere” суммарной пиковой производительностью 171 Тфлопс.

Перечень услуг ЦКП ИСКЦ.

• ЦКП «Интегрированная информационно-вычислительная сеть организаций Иркутского регионального научно-образовательного комплекса»(ИИВС ИРНОК). В состав ЦКП входят:
  • Система хранения данных общим (сырым) объёмом хранения 992 ТБ;
  • Система виртуализации (суммарно: 128 вычислительных ядер, 960 ГБ оперативной памяти);
  • Кластер, включающий 14 машин с GPU NVidia RTX 3090;
  • Сеть передачи данных пропускной способностью 10 Гбит/с.

Перечень услуг ЦКП ИИВС ИРНОК.

Какие технологии мы используем в разработке ПО

Мы учитываем разнообразные требования в области разработки программного обеспечения и работаем с различными языками программирования, платформами, библиотеками, инструментальными средствами и технологиями, постоянно расширяя их список.

Наши разработки

• Муниципальная информационная система обеспечения градостроительной деятельности в г. Иркутске (МИСОГД) 
• Муниципальная геоинформационная система г. Иркутска (МГИС).
• Геоинформационная система "Адресный план г. Иркутска".
• АИС организационного управления деятельностью Думы г. Иркутска.
• Градостроительный кадастр Ангарского муниципального образования – технический проект интегрированной АИС ведения градостроительной деятельности, с интеграцией существующих информационных систем и разноформатных тематических и графических данных – заказчик Администрация г. Ангарска
• АИС "Выявление и учёт беспризорных и безнадзорных детей (АИС ВУББД)".
• АИС "Управление многоквартирными домами" Администрация г. Иркутска.
• Подсистема «Отдел опеки и попечительства» автоматизированной системы поддержки управления административным округом – АИС «Опека».
• Подсистема "Отдел жилищного хозяйства" автоматизированной информационной системы управления административным округом (АИС АО).
• Прикладная информационная системы "Формализация знаний в области сельского хозяйства"
• База данных по сельскому хозяйству для информационной системы "Каскад"
• Система извлечения информации из документов и наполнения статистической информацией по сельскому хозяйству БД "Каскад" ГУСХ Иркутской области
• АИС "Учет и контроль использования лекарственных средств и изделий медицинского назначения" (Администрация г. Иркутска). 
• АИС "Социально-гигиенический мониторинг" ТУ Роспотребнадзора по Иркутской области.
• Комплексирование разноформатной информации по электротехническому, тепломеханическому оборудованию, по зданиям и сооружениям ОАО Иркутскэнерго.
• Подсистема "Отдел коммунального хозяйства" автоматизированной информационной системы управления административным округом (АИС АО)
• Геоинформационная система "Инвестиционная карта города Иркутска (ГИС Инвестор)"
• Автоматизированная система контроля и учёта предоставления компенсации процентных ставок по кредитам и займам, полученным гражданами для строительства жилья.
• Информационная система "Популяционный раковый регистр" (ИС ПРР)
• Сайт Цифровой мониторинг Байкальской природной территории - сайт проекта Фундаментальные основы, методы и технологии цифрового мониторинга и прогнозирования экологической обстановки Байкальской природной территории.
• Геопортал ИДСТУ СО РАН
• Сайт ежегодного Международного семинара по информационным, вычислительным и управляющим системам для распределенных сред - ICCS-DE
• Программный комплекс для создания АРМ с картографической привязкой с использованием метаописаний структуры баз данных (ГеоАРМ)
• MDAttr - Программная система для интегрированного OLAP анализа данных
• Конвертер картографической информации из формата DXF в формат SXF (DXF2SXF)
• ISAPI расширение IIS для Интернет публикации векторных карт в формате SMD (ISAPI SMD)
• MRGLib – динамическая библиотека для работы с растрами большого объема, представленными в формате MRG (MultiResolution Grid)
• TrigLib - динамическая библиотека для построения триангуляций и триангуляций с ограничениями
• PanCmp – программа для сравнения электронных карт, представленных в формате ГИС “Панорама”
• Программа автоматической генерации адресного плана города по данным дежурного цифрового топографического плана (Topo2AP)
• Конвертер информации исполнительных съемок в формате ГИС Credo для включения в цифровой топографический план
• Программная система нечеткого поиска объектов на растровых изображениях
• Язык описания бинарных форматов FlexT
• DCU32INT – программа для исследования объектных модулей Delphi (файлов *.DCU)
• DCUIL2PAS - декомпилятор объектных модулей Delphi, скомпилированных по платформу .NET (файлов *.DCUIL)
• Программное средство извлечения статистических таблиц из неформатированного текста (СтатИмп)
• Программное инструментальное средство для сегментации и анализа таблиц из электронных документов (Tabanalyzer)
• Программная система импорта данных из слабо структурированных таблиц Microsoft Excel в СУБД (Excel2DB)
• Программная система извлечения таблиц из электронных документов (Tabextractor)
• Программное инструментальное средство обнаружения таблиц в документах (Tablocator)
• Программное инструментальное средство извлечения текста и разграфки из метафайлов EMF (EMFExtractor)
• CELLS Spreadsheet Unstructured Tabular Data Transformation (SUTDT)
• CELLS Untagged PDF Table Extraction (UPDTE)
• Инструментальный комплекс организации масштабируемых распределенных вычислений на основе пакетов прикладных программ ORLANDO TOOLS
• Инструментальный комплекс DISCOMP для поддержки разработки и применения распределенных пакетов прикладных программ (РППП), ориентированных на работу в гетерогенной распределенной вычислительной среде (РВС)
• Система децентрализованного управления распределенными вычислениями в Grid
• Программа поиска простых путей заданной длины в ориентированном мультиграфе (OMG-searcher)
• Система управления заданиями для вычислительного кластера
• Генератор имитационной модели
• Транслятор языка первопорядковых логических формул в формате TPTP в язык позитивно-образовательных формул TPTP2PCF
• Web-сервис импорта данных из реляционных таблиц в CSV формате
• Инструментальный комплекс для автоматизации имитационного моделирования систем массового обслуживания
• Среда выполнения сервисов и их сценариев
• Web-ориентированный редактор моделей трансформаций
• RVML editor
• Сплайн-коллокационный метод численного решения квазилинейных дифференциально-алгебраических систем уравнений в частных производных
• Пакет прикладных программ для решения SAT-задач в распределенных вычислительных средах (D-SAT)
• Параллельный решатель задач булевой выполнимости HPCSAT
• Программный комплекс для поддержки проектирования математических моделей медико-эколого-экономических систем «МЭЭМ 1.0.»
• Интеллектные средства экспертной поддержки этапов организации мультиагентной среды
• Библиотека алгоритмов для эффективного извлечения и применения проблемно-ориентированных знаний агентами
• Графический редактор для формирования символьного описания электрических цепей
• Графический редактор для символьного описания механических систем
• Параллельный решатель проверки истинности квантифицированных булевых формул Hpcqsat
• Web-ориентированный редактор метамоделей
• Программный модуль имитации работы грузовых терминалов
• Программный модуль управления запасами горюче-смазочных материалов
• Программная система для исследования моделей управления запасами с учетом запаздывания
• Программа для решения трудных экземпляров проблемы булевой выполнимости с применением метода опорных векторов
• Программа для поиска эффективных декомпозиций трудных экземпляров проблемы булевой выполнимости
• Polyphon: программная система фонетического кодирования слов на русском языке
• Мультиагентная система управления композицией сервисов HPCMSMC
• Масштабируемое приложение для решения задач складской логистики
• Имитационная модель гетерогенной распределенной вычислительной среды
• Программа мониторинга очередей заданий в гетерогенной распределенной вычислительной среде
• КУПОЛ-М: кратные упаковки и покрытия, оптимизация, логистика
• Knowledge Base Development System
• Параллельный решатель проверки истинности 2QBF формул Hpc2qall
• Программа для генерации графов атак с применением алгоритмов решения задачи булевой выполнимости
• Программа для оценивания эффективности декомпозиций трудных экземпляров задачи булевой выполнимости с применением произвольных решателей и возможностью варьирования их параметров
• Программа извлечения метаданных из файлов формата TAIGA-IACT
• Программа чтения бинарного формата данных TAIGA-IACT: IACT Reader
• ТУШОЛ (Трехмерные Упаковки Шаров, Оптимизация, Логистика)
• Система автоматического доказательства теорем в исчислении позитивно-образованных формул pcfbucket
• Система моделирования работы сложных транспортных структур на основе теории массового обслуживания
• Средства управления git-репозиториями в пакетах прикладных программ
• Веб-ориентированная программная система поддержки исследований в инфраструктурной микро и мезо логистике на основе онтологического представления знаний
• Программная система для создания спецификаций агентных имитационных моделей на основе модельно-управляемого подхода
• Параллельный решатель проблемы булевой выполнимости, использующий метод Монте-Карло для поиска эффективных декомпозиций
• Сервис создания и редактирования спецификаций моделей цифровых двойников инфраструктурных объектов
• Сервис подготовки и запуска имитационных моделей функционирования инфраструктурных объектов в распределенной вычислительной среде
• Средства организации расчетных баз данных, предназначенных для сбора, хранения и обработки многовариантных экспериментальных данных
• Knowledge Graph Augmentation System
• Программное обеспечение программно-аппаратного комплекса TEMAR (Testbed Environment for Multiple Autonomous Robots)
• Моделирующий комплекс "Situational awareness system for distributed robotic groups"
• Многопоточный решатель проблемы MaxSAT
• Программа расчета спектральных индексов и построения композитного отображения для космоснимков Sentinel-2
• Программа для обработки спутниковых данных о загрязнении атмосферного воздуха
• iDSS.Desktop
• Средства обработки и анализа природно-климатических данных экологического мониторинга
• OntoGen
• State Transition Diagram Editor
• Веб-ориентированная программная система поддержки исследований водных объектов
• Микросервис-ориентированный параллельный решатель проверки выполнимости булевых ограничений MSCSAT
• Средство автоматизации конфигурирования информационно- вычислительных ресурсов среды имитационного моделирования