СМИ об итогах конференции

Представители IEEE Computer Society приняли участие в мероприятии в честь 70-летия ИТ в России (англ.)

На конференции Института системного программирования обсудили перспективы развития ИТ в России

ИСП РАН подписал соглашение о сотрудничестве с тайваньским исследовательским институтом ITRI

ИСП РАН поможет АО «НПО РусБИТех» повысить безопасность Astra Linux

В РАН сообщили, что зарплаты ученых-программистов превысили 200 тыс. рублей



О конференции

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

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

На Открытой конференции ИСП РАН им. В.П. Иванникова представляются доклады как по фундаментальным и прикладным исследованиям, так и по аспектам, связанным с внедрением новых технологий.

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

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

Технологии анализа, моделирования и трансформации программ

Секция посвящена методам оптимизации в компиляторе и генерации кода, статическому и динамическому анализу программ и др. Вопросы, рассматриваемые в рамках данной секции охватывают, но не ограничиваются следующими темами:

  • Обратная инженерия бинарного (исполняемого) кода.
  • Выполнение программ в контролируемом окружении.
  • Поиск ошибок и уязвимостей в исполняемом коде.
  • Анализ сетевого трафика.
  • Оптимизации в компиляторе и генерация кода.
  • Статический и динамический анализ программ.
  • Методы и инструменты анализа и тестирования программ.
  • Запутывание программ (обфускация).

Узнать больше

Управление данными и информационные системы

Секция предназначена для исследователей, специализирующихся в вопросах управления и анализа данных. Для участия приглашаются исследователи, разрабатывающие методы и системы хранения и анализа больших объемов текстовых, графовых, мультимедийных, научных и других типов данных. Вопросы, рассматриваемые в рамках данной секции охватывают, но не ограничиваются следующими темами:

  • Интеллектуальный анализ данных и извлечение знаний.
  • Математическая теория и методы машинного обучения и искусственного интеллекта.
  • Математические модели процессов и явлений реального мира.
  • Компьютерная лингвистика, Анализ и понимание текстов на естественном языке.
  • Анализ социальных сетей, хранение и анализ больших графов.
  • Обработка сигналов и анализ изображений.
  • Анализ контента, созданного пользователями Интернета.
  • Информационный поиск, рекомендательные системы.
  • Онтологии и базы знаний.
  • Информационные системы и технологии.
  • Масштабируемые алгоритмы анализа данных.
  • Прикладные задачи анализа данных.
  • Очистка данных, интеграция разнородных данных, дедупликация данных.
  • Инфраструктура для хранения и обработки больших объемов данных.
  • Ключевые технологии создания частных и гибридных облаков.
  • Высокопроизводительные вычисления и другие сервисы в облаках.
  • Экосистема хранения и обработки больших массивов данных.
  • Расспределенные базы данных и технологии Data/Web Mining.
  • Программные платформы интернет вещей.
  • Динамическая балансировка нагрузки в эластичных облаках.
  • Планирование потока задач в облачных центрах обработки данных.
  • Энергосберегающие облачные инфраструктуры.

Узнать больше

Технологии распределенных реестров и блокчейнов

Данная секция посвящена технологиям блокчейнов и распределенных реестров. В рамках данной секции будут рассматриваться следующие вопросы:

  • Транзакции и валидация транзакций.
  • Консенсус.
  • Исполнение кода в реестре / блокчейне (smart contracts/chain code).
  • Масштабируемость и производительность: хранение и конструирование блоков.
  • Сетевые протоколы для распределенных реестров и блокчейнов.
  • Безопасность и надежность. Новые угрозы, связанные с распределенными реестрами и блокчейнами.
  • Доверие в недоверенных окружениях.

Узнать больше

Решение задач механики сплошных сред с использованием СПО

Секция предназначена для обмена практическим опытом по развитию свободного программного обеспечения решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.), а также решения конкретных задач с его использованием и сравнения полученных результатов с коммерческими аналогами. Вопросы, рассматриваемые в рамках данной секции охватывают, но не ограничиваются следующими темами:

  • Моделирование турбулентных течений.
  • Решение сопряженных задачи теплообмена.
  • Прикладные задачи гидродинамики, газодинамики, аэродинамики.
  • Разработка собственных решателей и библиотек.
  • Научная визуализация и обработка численных результатов.
  • Вопросы обучения на базе открытых пакетов.

Узнать больше

687

участников

69

докладчиков

4

секции

14

стран

Программа

Скачать программу конференции

Четверг, 22 ноября

8:30 - 9:30

Регистрация. Приветственный кофе (Зеленый зал — фойе)

9:30 - 11:30

Члены правительства, руководство РАН, РФФИ, отраслевых НИИ и профильных ВУЗов, а также представители институтов развития, ведущих российских и зарубежных IT-компаний, руководство IEEE (Институт инженеров электротехники и электроники) и IEEE Computer Society

Пленарная сессия «История непрерывных инноваций» (Синий зал). Посвящена 70-летию ИТ в России.

Валерий Козлов, вице-президент РАН
Арутюн Аветисян, директор ИСП РАН
Хиронори Касахара, президент IEEE Computer Society (2018)
Фанг Чжу Чень, глава европейского и московского представительств ITRI
Владимир Васильев, ректор Университета ИТМО
Андрей Духвалов, руководитель управления перспективных технологий «Лаборатории Касперского»
Хиронори Касахара (президент IEEE Computer Society (2018)) вручает Валерию Козлову (вице-президент РАН) и Арутюну Аветисяну (директор ИСП РАН) памятную табличку в честь 70-летия ИТ в России.
Арутюн Аветисян, Фанг Чжу Чень
Подписание соглашения о сотрудничестве между ИСП РАН и институтом ITRI (Тайвань)
Хиронори Касахара, Арутюн Аветисян, Фанг Чжу Чень
Сергей Прохоров, Арутюн Аветисян, Хиронори Касахара
Памятная табличка в честь 70-летия ИТ в России.
Подписание соглашения между ИСП РАН и АО НПО РусБИТех
Арутюн Аветисян, директор ИСП РАН и Юрий Соснин, директор по развитию АО «НПО РусБИТех»
11:30 - 12:30

Выставка технологий. Кофе, чай (Зеленый зал — фойе)

Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Выставка технологий на Открытой конференции ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.

Скачать сборник технологий (PDF)

13:30 - 14:30

Обед

14:30

Начало конференции

Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.
Открытая конференция ИСП РАН им. В.П. Иванникова, Москва, 22-23 ноября 2018 г.

Управление данными и информационные системы (Бежевый зал)

14:30 - 14:50

Ц. Гукасян1, Г. Давтян1, К. Аветисян1, И. Андрианов2

1 Лаборатория системного программирования в Российско-Армянском университете, 2 ИСП РАН

"pioNER: Наборы данных и базовые методы для распознавания именованных сущностей в армянском языке"

Подробнее
Download PDF
14:50 - 15:10

Н. Лазарев1, О. Борисенко2

1 ВМК МГУ, 1 ИСП РАН

"Реализация обработки JSON-данных в In-memory Data Grid в качестве сквозного слоя кэширования к РСУБД"


Download PDF
15:10 - 15:30

О. Борисенко 1, Д. Бадалян 1

1 ИСП РАН

"Тестирование производительности SQL-операций в распределенных In-Memory СУБД"


Download PDF
15:30 - 15:50

И. Алимова1, Е. Тутубалина1

1 Казанский федеральный университет

"Сравнительный анализ нейронных сетей в задаче классификации побочных эффектов на уровне сущностей в англоязычных текстах"

Подробнее
Download PDF
15:50 - 16:10

Кофе, чай

16:10 - 16:30

А. Черных1, Р. Каноса1, Х. М. Кортес-Мендоса1, Р. Ривера-Родригес1, Х. Лозано Ризк1, Ж. Ду2, А. Аветисян3, Э. Консепсьон-Моралес4

1 Исследовательский центр CICESE, 2 Университет Цинхуа, 3 ИСП РАН, 4 Университет Метрополитен UMET

"Оптимизация энергопотребления и качества предоставления сервисов в контейнерных облачных средах"

Подробнее
Download PDF
16:30 - 16:50

В. Малых1, Т. Хахулин 1

1 Московский физико-технический институт

"Устойчивость к шуму в задаче извлечения аспектов"

Подробнее
Download PDF
16:50 - 17:10

В. Малых1, В. Лялин1

1 Московский физико-технический институт

"Распознавание именованных сущностей в зашумленных доменах"


Download PDF
17:10 - 17:30

К. Пивоварова1, И. Болодурина1, Д. Парфенов1

1 Оренбургский государственный университет

"Разработка и исследование моделей временных данных со смешанными частотами на примере анализа урожайности зерновых"

Подробнее
Download PDF
17:30 - 17:50

С. Хабаши1, Ш. Салама1, А. Х. Юсеф1, Х. Фахми1

1 Университет Айн-Шамс

"Адаптивный диверсифицирующий гиперэвристический подход к решению задач составления расписаний"

Подробнее

Решение задач механики сплошных сред с использованием СПО (Зеленый зал)

14:30 - 15:10

Профессор Л. Маас1

1 Институт морских и атмосферных исследований Утрехта, Королевский институт морских исследований Нидерландов, Нидерланды

"Волновые аттракторы"


Download PDF
15:10 - 15:30

М. Банхольцер1, К. Траксингер1, М. Пфицнер1

1 Университет Бундесвера, Мюнхен, Германия

"Численное исследование эффектов разделения фаз в условиях высокого давления, подобных условиям в двигателе"

Подробнее
15:30 - 15:50

С. Стрижак1, А. Крючкова1, К. Кошелев1

1 ИСП РАН

"Расчет параметров течения в модельном ветропарке с учетом данных ветромониторинга"


Download PDF
15:50 - 16:10

Кофе, чай

16:10 - 16:30

М. Левин1

1 ИСП РАН

"Численное моделирование двухфазных течений через существенно гетерогенную пористую среду схемой квазихарактеристик высокого порядка"


Download PDF
16:30 - 16:50

И. Куликов1, И. Черных1, Д. Караваев1, В. Протасов1, А. Серенко1, В. Пригарин1, И. Ульянычев1, А. Тутуков2

1 ИВМиМГ СО РАН, 2 Институт астрономии РАН

"Использование генератора адаптивных вложенных сеток HydroBox3D для численного моделирования процесса образования сверхновой типа Ia: слияния углеродно-кислородных белых карликов, коллапса и нецентрального взрыва"

Подробнее
Download PDF
16:50 - 17:10

К. Терехов1, И. Коншин1, Ю. Василевский1

1 ИВМ РАН

"Платформа INMOST для распределенного математического моделирования"

Подробнее
Download PDF
17:10 - 17:30

М. Зайцев1, В. Головизнин1, С. Карабасов2

1 ИБРАЭ РАН, 2 Лондонский университет королевы Марии

"Применение метода КАБАРЕ для ячеек polyhedral в среде СПО OpenFoam"

Подробнее
Download PDF
17:30 - 17:50

А. Кувшинников1, А. Бондарев1

1 ИПМ им. М.В. Келдыша

"Сравнительная оценка точности решателя QGDFoam при решении задачи обтекания конуса невязким потоком"

Подробнее
Download PDF

Технологии анализа, моделирования и трансформации программ (Синий зал)

14:30 - 14:50

В. Иванишин1, Е. Кудряшов1, А. Монаков1, Д. Мельник1

1 ИСП РАН

"Сокращение размера динамических библиотек в формате ELF после компоновки"

Подробнее
Download PDF
14:50 - 15:10

И. Дудина1, Н. Малышев1

1 ИСП РАН

"Об одном подходе к анализу строк в языке Си для поиска переполнения буфера"

Подробнее
Download PDF
15:10 - 15:30

В. Чепцов1, А. Хорошилов1

1 ИСП РАН

"Динамический анализ ARINC-653 совместимой операционной системы реального времени с помощью системы LLVM"

Подробнее
Download PDF
15:30 - 15:50

Г. Волков1, М. Мандрыкин2, Д. Ефремов1

1 НИУ ВШЭ, 2 ИСП РАН

"Функции-леммы в среде Frama-C: использование С программ как доказательств"

Подробнее
Download PDF
15:50 - 16:10

Кофе, чай

16:10 - 16:30

Е.М. Лаврищева1

1 ИСП РАН

"Информатика и ЭВМ-70. Анализ и аспекты развития"

Подробнее
Download PDF
16:30 - 16:50

А.В. Козачок1

1 Академия ФСО России

"Спецификация модели управления доступом на языке темпоральной логики действий Лэмпорта"


Download PDF
16:50 – 17:10

Н. Шилов1, И. Ануреев2, Е. Бодин2, Д. Кондратьев2, А. Промский2

1 Университет Иннополиса, 2 ИСИ СО РАН

"О платформенно-независимой спецификации и верификации стандартных математических функций"


Download PDF

22 ноября 11:30-13:30, Выставка технологий (Зеленый зал — фойе)

Скачать сборник технологий (PDF)

1. SVACE

Svace — необходимый инструмент жизненного цикла разработки безопасного ПО, основной статический анализатор компании Samsung. Обнаруживает более 50 классов критических ошибок в исходном коде. Поддерживает языки C, C++, C# и Java. Зарегистрирован в Едином реестре российского ПО.

2. BINSIDE

BINSIDE - технология статического анализа бинарного кода.

3. Фаззер Anxiety

Фаззер Anxiety - технология обнаружения критических ошибок времени исполнения и уязвимостей в программах.

4. Binary code analysis platform

Платформа ИСП РАН для анализа программ на основе эмулятора QEMU.

5. ISP Obfuscator

Обфускатор — комплекс технологий по противодействию массовой эксплуатации уязвимостей, возникающих в результате ошибок или закладок. Если злоумышленник смог атаковать одно из устройств с одинаковым ПО, остальные останутся под защитой благодаря изменениям, внесённым в код.

6. Protosphere

Protosphere — система глубокого анализа сетевого трафика (DPI). Часть защиты от вторжений и утечек информации. Выявляет несоответствия между спецификацией протокола и конкретной реализацией. Позволяет быстро добавлять поддержку новых (в том числе, и закрытых) протоколов благодаря универсальности внутреннего представления.

7. Klever

Klever — система статической верификации с использованием передовых инструментов для тщательной проверки безопасности, надёжности и производительности программных систем, разработанных на языке GNU Си. В частности, применяется для верификации ОС реального времени.

8. MicroTESK

MicroTESK — реконфигурируемая и расширяемая среда генерации тестовых программ для функциональной верификации микропроцессоров. Позволяет автоматически конструировать генераторы тестовых программ для целевых архитектур микропроцессоров на основе их формальных спецификаций. MicroTESK применим для широкого спектра архитектур (RISC, CISC, VLIW, DSP).

9. Retrascope

Retrascope — инструмент обратной инженериии функциональной верификации описаний цифровой аппаратуры. Предоставляет автоматизированные средства извлечения и анализа формальных моделей исходного кода. Поддерживает синтезируемые подмножества языков Verilog, VHDL.

10. AstraVer Toolset

AstraVer Toolset — система дедуктивной верификации ключевых компонентов. Позволяет разрабатывать и верифицировать модели политик безопасности, а также проводить доказательство корректности ключевых компонентов на языке С. Необходимый инструмент достижения целей семейств доверия ADV_SPM и ADV_FSP, определённых в ГОСТ Р ИСО/МЭК 15408-3-2013.

11. MASIW

MASIW — автоматизированное рабочее место архитектора и интегратора системы интегрированной модульной авионики.

12. Constructivity 4D

Constructivity — Технология предназначена для создания перспективных программных приложений компьютерной графики, научной визуализации, анимации, робототехники, геоинформатики, логистики, автоматизации проектирования, управления проектами.

13. Texterra

Texterra — масштабируемая платформа для извлечения семантики из текста. Базовый комплекс технологий для создания многофункциональных прикладных приложений. Анализирует тексты с помощью выделения концептов. Входит в Единый реестр российского ПО.

14. Talisman

Talisman — технология анализа больших данных о людях, сообществах, продуктах и организациях. Выявляет закономерности во взаимосвязях с помощью анализа больших графов из сотен миллионов узлов.

15. Lingvodoc

Lingvodoc — система для совместной многопользовательской документации исчезающих языков, создания многослойных словарей и научной работы с полученными звуковыми и текстовыми данными. Совместный проект с Институтом языкознания РАН и Томским государственным университетом. Разрабатывается с 2012 года. Сайт проекта lingvodoc.ispras.ru.

16. SciNoon

SciNoon — система для исследовательского поиска научных статей. Объединяет ряд уникальных функций для оптимизации процесса поиска и анализа полученных результатов. В частности, позволяет работать в команде и сохранять историю действий пользователей. Поддерживает работу с большими данными.

17. Комплекс решений для создания сервис-ориентированных ЦОД

Комплекс решений для создания сервис-ориентированных ЦОД предоставляет возможность хранения данных и совершения сложных ресурсоёмких вычислений с использованием, как контейнеров, так и виртуальных машин. В частности, предназначен для развёртывания облачных сред.

Пятница, 23 ноября

9:30 - 10:00

Регистрация. Приветственный кофе (Зеленый зал — фойе)


Blockchain Technology

10:00 - 10:40

Н. Пакулин1

1 Pax Datatech, Seoul, South Korea

"Сильные и слабые стороны блокчейн-технологий"


Download PDF
10:40 - 11:00

Е. Шишкин1

1 ИнфоТеКС

"Проверка функциональных свойств смарт-контрактов Ethereum методом символьной верификации модели"

11:00 - 11:20

А. Кормилицын1, Ч. Удокву1, К. Тангалимоджи1, А. Норта1

1 Таллиннский технический университет

"Обзор применения блокчейн-технологий смарт-контрактов в организациях"

Подробнее
Download PDF
11:20 - 11:40

Кофе, чай

11:40 - 12:00

А. Андрюхин1

1 ООО «КейСиДи»

"Фишинг-атаки и способы их предотвращения в блокчейн-проектах"

Подробнее
Download PDF
12:00 - 12:20

А. Демичев1, А. Крюков1, Н. Приходько2

1 МГУ имени М.В. Ломоносова, НИИ ядерной физики имени Д.В. Скобельцына, 2 НовГУ им. Ярослава Мудрого

"Подход к управлению метаданными происхождения и правами доступа к данным в распределенном хранилище с использованием блокчейн-платформы Hyperledger"

Подробнее
Download PDF
12:20 - 12:40

И. Евдокимов1

1 Dexpa LLC

"Распределённая инфраструктура b2b программ лояльности на основе протокола Tendermint"

Подробнее
12:40 - 13:00

M. Levin1

1 Pax Datatech

"Tail chain — a new generation blockchain for parallel transaction processing"


Download PDF

Open source software in continuum mechanics problems solving

10:00 - 10:40

Ю.В. Василевский, чл.-корр. РАН, проф., д.ф.-м.н.1,2,3

1 ИВМ РАН, 2 МФТИ, 3 Сеченовский университет

"Персонализированные математические модели кровотока"


Download PDF
10:40 - 11:00

О. Сороковикова1, Д. Дзама1, Д. Асфандияров1

1 ИБРАЭ РАН

"Специализированная робастная CFD RANS микромасштабная метеорологическая модель для моделирования атмосферных процессов и переноса примеси в условиях городской и промышленной застройки"

Подробнее
Download PDF
11:00 - 11:20

А. Епихин1, М. Крапошин2

1 МГТУ им. Н. Э. Баумана, 2 ИСП РАН

"Численное моделирование акустических возмущений, генерируемых истечением струи при малых числах Рейнольдса"


Download PDF
11:20 - 12:20

Кофе, чай. Стендовая сессия

12:20 - 12:40

К. Беляев1, Е. Морозов1, Н. Тучкова2, Г. Михайлов2

1 Институт океанологии им. Ширшова, 2 ФИЦ ИУ РАН

"Оценки переноса Антарктических донных вод по модели MPI-ESM с усвоением данных наблюдений"

Подробнее
Download PDF
12:40 - 13:00

А. Иванцов1, Т. Любимова1

1 Институт механики сплошных сред УрО РАН

"Численное моделирование динамики капли жидкости в пористой среде с использованием алгоритма адаптивных сеток"

Подробнее
Download PDF
13:00 - 14:00

Обед

14:00 - 14:20

М. Хоменко1, Ф. Мирзаде1

1 ИПЛИТ РАН — филиал ФНИЦ «Кристаллография и фотоника» РАН

"Верификация гидродинамической модели процесса лазерной наплавки на основе решателя OpenFOAM"

Подробнее
14:20 - 14:40

В. Жуков1, Н. Новикова1, О. Феодоритова1

1 ИПМ им. М.В. Келдыша РАН

"О численном моделировании течений в высокоскоростной камере сгорания на основе OPENFOAM"

Подробнее
14:40 - 15:00

К. Овчинников1

1 SСПбГМТУ

"Численное моделирование качки судна с шахтным устройством на встречном волнении"

Подробнее
Download PDF
15:00 - 15:20

В. Корчагова1,2, С. Сауткина2, И. Фуфаев3, И. Марчевский1,2, В. Лукин1,2,3

1 ИСП РАН, 2 МГТУ им. Баумана, 3 ИПМ им. М.В. Келдыша

"Об эффективной реализации разрывного метода Галеркина применительно к решению двумерных задач газовой динамики на неструктурированных сетках"

Подробнее
15:20 - 15:40

Ю. Шарова1, О. Ольховская1, Г. Багдасаров1, В. Гасилов1

1 ИПМ им. М.В. Келдыша

"Высокопроизводительные вычисления для недолговечной плазмы"

Подробнее
Download PDF
15:40 - 16:00

Кофе, чай

16:00 - 16:20

В. Судаков2, Ю. Нечаев1, В. Осипов2

1 Университет ИТМО, 2 ИПМ им. М.В. Келдыша РАН

"Динамическая модель NEURO-FUZZY контроля транспортных потоков"

Подробнее
16:20 - 16:40

В. Зенкин1

1 МГТУ им. Баумана

"Онтологический репозиторий для CFD-расчетов"

Подробнее
16:40 - 17:00

А. Чернова1,2, Т. Редер1, В. Тененев1, М. Королева1,3

1 ИжГТУ им. М. Т. Калашникова, 2 JSC "INNTS", 3 UdFRC UB RAS

"Многоуровневое моделирование предохранительного клапана прямого действия"

Подробнее
17:00 - 17:20

С. Рогозин1, Е. Ивашко2

1 Петрозаводский государственный университет, 2 Институт прикладных математических исследований КарНЦ РАН

"Оптимизация конструкции дровяной печи в жилом помещении с использованием технологии BOINC"

Подробнее
17:20 - 17:40

А. Нуриев1

1 Институт математики и механики им. Н.И. Лобачевского, Казанский федеральный университет

"Определение параметров влияния аэродинамических процессов на резонансные колебания стержней в воздухе путем эксперимента и численного моделирования"

Подробнее

Технологии анализа, моделирования и трансформации программ (Синий зал)

10:00 - 10:20

И. Васильев1

1 НовГУ

"ОС-независимая идентификация процессов и потоков в условиях полносистемного эмулятора для применения в выборочном инструментировании"


Download PDF
10:40 - 11:00

А. Вишняков1, А. Нурмухаметов1, Ш. Курмангалеев1, С. Гайсарян1

1 ИСП РАН

"Метод анализа атак повторного использования кода"

Подробнее
Download PDF
10:40 - 11:00

А. Михайлов1, А. Хмельнов1

1 ИДСТУ СО РАН

"Генерация кода для разбора спецификаций в декларативном формате языка FlexT"

Подробнее
Download PDF
10:40 - 11:00

В. Степанов1, П. Довгалюк1, Д. Полетаев1

1 НовГУ им. Ярослава Мудрого

"Трассировка операций с файловой системой ext3 в эмуляторе QEMU"

Подробнее
Download PDF
11:20 - 11:40

Кофе, чай

11:40 - 12:00

С. Саргсян1, Ш. Курмангалеев2, Д. Акопян1, М. Меграбян1, С. Асрян1

1 Российско-Армянский (Славянский) университет, 2 ИСП РАН

"Направленный фаззинг на основе динамической инструментации"

Подробнее
Download PDF
12:00 - 12:20

Д. Кононов1

1 ИСП РАН

"Подход к анализу исполняемого кода на основе восстановления программной архитектуры"

Подробнее
12:20 - 12:40

А. Самонов1, Г. Самонова1

1 ВКА им. А.Ф. Можайского

"Методика и средства разработки и верификации формальных FUML моделей требований и архитектуры сложных программно-технических систем"

Подробнее
Download PDF
12:40 - 13:00

А. Асланян1

1 ИСП РАН

"Платформа межпроцедурного статического анализа бинарного кода"

Подробнее
Download PDF
13:00 - 14:00

Обед

14:00 - 14:20

Ф. Ниськов1, А. Федотов1, Ш. Курмангалеев1

1 ИСП РАН

"Обработка аварийных завершений с целью выявления уникальных дефектов"

Подробнее
Download PDF
14:20 - 14:40

С. Ковалев1

1 Positive Technologies

"Получение содержимого создаваемых и изменяемых файлов в среде динамического анализа исполняемых файлов Drakvuf"

Подробнее
Download PDF
14:40 - 15:00

И. Захаров1, Е. Новиков1

1 ИСП РАН

"Композиционное моделирование окружения для верификации программ на GNU C"

Подробнее
Download PDF
15:40 - 16:00

Кофе, чай


11:20-13:20, Доклад session (The Green Hall – The Foyer)

Доклад 1

Т. Стенина1, Т. Елизарова2, М. Крапошин3, Д. Рязанов1

1 МГУ им. М.В. Ломоносова, 2 ИПМ им. М.В. Келдыша of the RAS, 3 ИСП РАН

"Численное моделирование сердечного дискового насоса с использованием возможностей открытой платформы OpenFoam"

Доклад 2

С. Сташевский1, В. Зенкин1

1 МГТУ им. Баумана

"Определение характеристик впускных каналов поршневых двигателей с помощью ПК OpenFOAM"

Доклад 3

А. Ряховский1, В. Антонов1, А. Шмидт2

1 СПбПУ, 2 ФТИ им. А. Ф. Иоффе

"CFD и DSMC моделирование МГД управления обтеканием спускаемых аппаратов"

Доклад 4

К. Кузьмина1, И. Марчевский1, Е. Рятина1

1 МГТУ им. Баумана

"О возможностях программного комплекса VM2D с открытым исходным кодом для моделирования двумерных течений вязкой несжимаемой жидкости вихревыми методами"

Доклад 5

В. Бондарчук1, А. Гладкова1, А. Попов2

1 МГТУ им. Баумана

"Моделирование течений вязкой несжимаемой жидкости методом конечных элементов с частицами PFEM-2 средствами свободного программного обеспечения"

Доклад 6

К. Ватутин1, М. Крапошин1, С. Дубинский2

1 ИСП РАН, 2 АО ВНИИЖТ

"Численное моделирование аэродинамики поезда при входе в тоннель"

Доклад 7

А. Осипов1, М. Крапошин2, С. Стрижак2, Я. Советников3

1 Московский физико-технический институт, 2 ИСП РАН, 3 МАИ

"Определение газодинамических параметров ударной волны, формирующейся при старте ракеты-носителя"

Доклад 8

В. Мельникова1, Г. Щеглов1, С. Стрижак2

1 МГТУ им. Баумана, 2 ИСП РАН

"Возможности открытого пакета Palabos для моделирования обтекания вращающихся тел"

Доклад 9

Д. Рязанов1, М. Крапошин1, Е. Рябинкин2

1 ИСП РАН, 2 НИЦ «Курчатовский институт»

"Высокопроизводительный решатель OpenFOAM для моделирования внутриволновых аттракторов в статифицированных потоках с использований регуляризированных уравнений гидродинамики"

Подробнее
Доклад 10

Е. Зорина1, А. Гиззатуллина1

1 ИжГТУ им. М. Т. Калашникова

"Расчет гидродинамического сопротивления эллиптического тела с килем"

Доклад 11

М. Королева1, А. Гизатуллина1, Е. Зорина1, О. Мищенкова1

1 ИжГТУ им. М. Т. Калашникова

"Моделирование сверхзвукового обтекания управляемого снаряда"

Доклад 12

К.М. Терехов1, И.Н. Коньшин1, Ю.В. Василевский1

1 ИВМ РАН

"Платформа INMOST для распределенного математического моделирования"

Программный комитет

Руководящий комитет

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Гарбук С.В., к.т.н., ФПИ.
  • Гергель В.П., д.т.н., профессор, ННГУ.
  • Дэвид Алан Грир, 2013 IEEE Computer Society President, Университет Джорджа Вашингтона.
  • Жижченко А.Б., д.ф.-м.н., профессор, академик РАН, МСЦ РАН.
  • Каляев И.А., д.т.н., академик РАН, НИИ МВС ЮФУ.
  • Хиронори Касахара, IEEE CS President Elect 2017, President 2018, Университет Васэда.
  • Лютиков В.С., ФСТЭК России.
  • Костас Стасопулос, IEEE Director Region 8, Electricity Authority of Cyprus.
  • Федосов Е.А., академик РАН, ФГУП "ГосНИИАС".
  • Деннис Цикридис, президент Греческого фонда исследований и инноваций (ELIDEK).

Организационный комитет

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Белоусов Игорь, д.ф.-м.н., SAP.
  • Волков Д.В., "Открытые системы", с.н.с. ИПМ им. М.В.Келдыша РАН.
  • Иванов Сергей, Hewlett Packard Enterprise.
  • Конягин Д.Б., NVIDIA.
  • Лучинин Н.Ю., Dell.
  • Пакулин Н.В., к.ф.-м.н., ИСП РАН.
  • Прохоров С.П., к.ф.-м.н., профессор, МФТИ.
  • Самоваров О.И., к.т.н., ИСП РАН.

Программные комитеты секций

Технологии анализа, моделирования и трансформации программ

  • Аветисян А.И., д.ф.-м.н., профессор РАН, член-корр. РАН, ИСП РАН.
  • Белеванцев А.А., д.ф.-м.н., ИСП РАН.
  • Волконский В.Ю., к.т.н., АО МЦСТ.
  • Гайсарян С.С., к.ф.-м.н., ИСП РАН.
  • Девянин П.Н., доцент, д.т.н., УМС УМО ИБ.
  • Дроздов А.Ю., д.т.н., РЭПИ ФРТК МФТИ.
  • Канатов А.В., Samsung.
  • Ковернинский И.В., ФГУП "ГосНИИАС".
  • Кузнецов С.Д., д.т.н., профессор, ИСП РАН.
  • Макаров В.А., к.т.н., ИТИС, НовГУ.
  • Останевич С.Ю., Intel.
  • Петренко А.К., д.ф.-м.н., профессор, ИСП РАН.
  • Проскурин В.Г., доцент, к.т.н., УМО ИБ.

Управление данными и информационные системы

  • Турдаков Д.Ю., к.ф.-м.н., ИСП РАН.
  • Лукашевич Н.В., д.т.н., НИВЦ МГУ.
  • Усталов Д.А., к.ф.-м.н., Университет Мангейма, Германия.
  • Кузнецов С.Д., д.ф.-м.н., профессор, ИСП РАН.
  • Коршунов А.В., к.ф.-м.н., Quantum.uk.
  • Астраханцев Н.А., к.ф.-м.н., Microsoft Corp.
  • Лизоркин Д.А., к.ф.-м.н., Google LLC.
  • Добров Б.В., к.ф.-м.н., НИВЦ МГУ.
  • Тутубалина Е.В., к.ф.-м.н., КФУ.
  • Андрей Черных, д.ф.-м.н., профессор, CICESE, Энсенада, Баха Калифорния, Мексика.
  • Самоваров О.И., к.ф.-м.н., ИСП РАН.
  • Фильченков А.А., к.ф.-м.н., ИТМО.
  • Кузюрин Н.Н., д.ф.-м.н., профессор, ИСП РАН.
  • Велихов В.Е., к.ф.-м.н, НИЦ «Курчатовский институт».

Решение задач механики сплошных сред с использованием СПО

  • Корнев Н.В., Prof. Dr-Ing. habil., профессор, Universitat Rostock.
  • Крапошин М.В., к.ф.-м.н., ИСП РАН.
  • Марчевский И.К., к.ф.-м.н., доцент, МГТУ им. Н.Э. Баумана.
  • Нуриев А., к.ф.-м.н., Институт математики и механики им. Н.И. Лобачевского, Казанский федеральный университет.
  • Сибгатуллин И.Н., к.ф.-м.н., доцент, механико-математический факультет МГУ имени М.В. Ломоносова.
  • Стрижак С.В., к.т.н., Hewlett Packard Enterprise, ИСП РАН.
  • Ткаченко И.В., д.т.н., СПбМТУ.
  • Чашечкин Ю.Д., д.ф.-м.н., профессор, ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Якобовский М.В., член-корр. РАН, д.ф.-м.н., профессор, ИПМ им. М.В. Келдыша РАН.
  • Елизарова Т.Г., д.ф.-м.н., профессор, ИПМ им. М.В. Келдыша РАН.
  • Dr. Henrik Rusche, WIKKI Gesellschaft fur numerische Kontinuumsmechanik mbH.
  • Prof J.M. Redondo, Universitat Politècnica de Catalunya, PELNoT, LAB-ERCOFTAC.
  • Banholzer M., Universität der Bundeswehr München.

Рецензенты

Благодарим за содействие всех, кто принял участие в рецензировании публикаций.

Сотрудники ИСП РАН

Олег Самоваров, Александр Петренко, Александр Герасимов, Алексей Хорошилов, Андрей Белеванцев, Денис Турдаков, Шамиль Курмангалеев, Дмитрий Мельник, Николай Кузюрин, Матвей Крапошин, Сергей Стрижак, Сергей Кузнецов, Вартан Падарян, Иван Андрианов, Константин Архипенко, Максим Бакулин, Кирилл Батузов, Олег Борисенко, Рубен Бучацкий, Максим Варламов, Александр Гетьман, Андрей Гомзин, Ксения Долгорукова, Михаил Дробышевский, Михаил Ермаков, Роман Жуйков, Владислав Иванишин, Виктория Корчагова, Леонид Круглов, Арина Крючкова, Виктор Кулямин, Алексей Лагута, Владимир Майоров, Михаил Мандрыкин, Иван Машонский, Александр Монаков, Ярослав Недумов, Сергей Панасенко, Даниил Рязанов, Кирилл Скорняков, Елена Смирнова, Михаил Соловьев, Евгений Шарыгин, Игорь Богомолов, Валерий Игнатьев, Евгений Карпулевич, Максим Мишечкин, Роман Пастухов, Максим Рындин, Вячеслав Строев, Андрей Сысоев, Андрей Тапехин, Юлия Трофимович, Александр Яцков, Вадим Каушан, Андрей Епихин, Андрей Рыжов, Николай Пакулин, Михаил Левин, Константин Кошелев.

Представители других научно-образовательных организаций

  • Андрей Кулешов (ИМП РАН)
  • Татьяна Елизарова (ИМП РАН)
  • Дмитрий Исаев (НИУ ВШЭ)
  • Василий Крамаренко (МФТИ, ИВМ РАН)
  • Наталья Димитриева (Институт гидромеханики НАНУ)
  • Георгий Щеглов (МГТУ им. Баумана)
  • Илья Марчевский (МГТУ им. Баумана)
  • Артем Нуриев (Институт математики и механики им. Н.И. Лобачевского, Казанский федеральный университет)
  • Елена Тутубалина (Казанский федеральный университет)
  • Борис Добров (НИВЦ МГУ им. М.В. Ломоносова)
  • Илиас Сибгатуллин (МГУ им. М.В. Ломоносова)
  • Дмитрий Манушин (МГУ им. М.В. Ломоносова)
  • Владимир Макаров (НовГУ им. Ярослава Мудрого)
  • Виктория Саламатова (Сеченовский университет)
  • Андрей Фильченков (Университет ИТМО)
  • Михаил Ермаков (Институт проблем механики им. А.Ю. Ишлинского РАН)
  • Антон Коршунов (Quantum.uk)
  • Никита Астраханцев (Microsoft Corp.)
  • Наталья Лукашевич (НИВЦ МГУ им. М.В. Ломоносова)
  • Кирилл Терехов (Stanford University)
  • Дмитрий Усталов (University of Mannheim)
  • Андрей Черных (The Center for Scientific Research and Higher Education at Ensenada, Mexico)
  • Ahmad Al-Zoubi (Institute of Thermal Engineering, Technische Universität Bergakademie Freiberg)
  • Jörn Beilke (Ingenieurbüro Dr. Beilke)
  • Matthias Banholzer (Universität der Bundeswehr München)
  • Christoph Traxinger (Bundeswehr University Munich)

Организаторы и партнеры

Регистрация

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

Публикации


Приглашаем Вас представить результаты своей работы на одной из секций Открытой конференции ИСП РАН им. В.П. Иванникова, подготовив и прислав на рецензирование статью.

Все представленные статьи проходят тщательное независимое двойное слепое рецензирование.

Авторы статей, получивших положительные отзывы рецензентов, смогут выступить на конференции с докладом, а сами статьи будут рекомендованы для публикации в сборнике "Proceedings of Ivannikov ISPRAS Open Conference" (статьи сборника размещаются в электронной библиотеке IEEE Xplore и индексируются в международных индексах научного цитирования Web of Science и Scopus) или в специальном выпуске сборника "Труды ИСП РАН" (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156). Издание включено в Перечень ВАК, индексируется в Российском индексе научного цитирования (РИНЦ), КиберЛенинке).

Окончательное решение об издании в котором будет размещена публикация принимает Программный комитет.

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

Тезисы публиковаться не будут.

Правила подачи материалов

Мы принимаем на рецензирование оригинальные, ранее не представленные на других конференциях статьи на английском и русском языках по соответствующим тематикам секций Открытой конференции ИСП РАН им. В.П. Иванникова.

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

2. По остальным требованиям оформление статьи должно быть выполнено в одном из 2-х форматов (на выбор авторов).

Статьи на английском языке оформляются в соответствии с шаблоном IEEE для трудов конференций или в соответствии с требованиями сборника трудов ИСП РАН и должны быть объемом 3-7 страниц.

Статьи на русском языке оформляются в соответствии с требованиями, предъявляемыми к оформлению материалов для сборника трудов ИСП РАН и должны быть объемом 8-20 страниц.

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

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

4. Тезисы представляются на русском языке в соответствии с требованиями сборника трудов ИСП РАН и должны быть объемом 3 страницы.

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

Тезисы публиковаться не будут.

5. Статьи и тезисы подаются через интернет-систему EasyChair по ссылке. Срок подачи: 19 сентября 2018 г. 5 сентября 2018 г.

Прошедшие конференции


2017, 2016, 2015 (1, 2), 2014, 2013, 2012, 2011, 2010

Приветственные письма и телеграммы


В адрес Открытой конференции ИСП РАН им. В.П. Иванникова, посвященной 70-летию ИТ в России, поступили приветственные письма и телеграммы от:

Место проведения

Расположение

Традиционно, Открытая конференция ИСП РАН им. В.П. Иванникова пройдет в Москве в главном здании Российской академии наук по адресу: Москва, Ленинский проспект, дом 32 А (Подъезд 1, Этаж 3, "Синий", "Зеленый" и "Бежевый" залы).

Транcпорт

Добраться до места проведения можно на городском транспорте, включая Московский метрополитен и МЦК.

Отели

Подходящие отели и рестораны находятся в шаговой доступности. Здесь вы найдете наши рекомендации.