Онлайн трансляция

День первый

Пленарная сессия. Мастер-класс Natch и другие мероприятия. Начало в 9:30.

День второй

Секция «Технологии анализа, моделирования и трансформации программ». Начало в 10:00.

День первый

Секция «Лингвистические системы анализа». Начало в 11:30.

День второй

Секция «САПР микроэлектронной аппаратуры». Начало в 9:30.

День первый

Секция «Управление данными и информационные системы». Начало в 11:30.

День второй

Воркшоп «Системы доверенного искусственного интеллекта». Начало в 10:00.

День первый

Секция «Решение задач механики сплошных сред с использованием СПО». Начало в 11:30.

День второй

Секция «Решение задач механики сплошных сред с использованием СПО». Начало в 10:00.



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

Конференция проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук (ИСП РАН) при поддержке ряда российских и зарубежных партнеров.

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

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

Для удобства гостей и участников конференция разделена на несколько тематических секций (см. ниже). Кроме того, в рамках мероприятия состоится круглый стол «Цифровая медицина», а также пройдёт ряд встреч по вопросам анализа программ с ограниченным числом участников.



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

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

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

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

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

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

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

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

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

САПР микроэлектронной аппаратуры

Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:

  • Открытые маршруты проектирования СБИС.
  • Высокоуровневый синтез и проектирование на системном уровне.
  • Проектирование на уровне регистровых передач.
  • Логический синтез (логическая оптимизация и технологическое отображение).
  • Физический синтез (размещение и трассировка).
  • Проектирование аналоговых и СВЧ-схем.
  • Имитационная и формальная верификация.
  • Автоматизация разработки гетерогенных компьютерных систем.

Лингвистические системы анализа

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

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

Программа

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

Четверг, 1 декабря 2022 года

8:30 - 09:30

Регистрация, кофе/чай

09:30 - 10:30

Открытие конференции, пленарная сессия (Синий зал)

К участию приглашены: руководство РАН, члены Правительства РФ, а также представители отраслевых НИИ, научно-образовательных организаций и бизнес-партнёров ИСП РАН.

10:30 - 11:30

Выставка технологий (Фойе). Кофе/чай

14:00 - 15:00

Обед-фуршет (Зимний сад)


Красный зал. Секция «Лингвистические системы анализа»

11:30 - 11:50

Виктория Воробьева1,2, Ирина Новицкая2

1 ИСП РАН, 2 Томский государственный университет

Анализ моделей валентности глаголов движения в ваховском хантыйском с помощью Lingvodoc

11:50 - 12:10

Андрей Грабовой1,2, Кирилл Гращенков3,1,2, Ильдар Хабутдинов1,2

1 МФТИ, 2 «Антиплагиат», 3 Институт океанологии им. П.П. Ширшова РАН

Мультиязычная суммаризация научных текстов

12:10 - 12:30

Ольга Донина1

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

Использование методов Data Mining для сравнения вариантов английского языка

12:30 - 12:50

Рамиля Каримова1

1 Институт истории, языка и литературы УФИЦ РАН

Фольклорные материалы А.Г. Бессонова как языковедческое наследие XIX века для исследования на платформе Lingvodoc

12:50 - 13:10

Мария Левина1

1 Мордовский государственный университет им. Н.П. Огарёва

Электронная письменность мордовских языков: современное состояние и перспективы развития

13:10 - 13:30

Юлия Норманская1

1 ИСП РАН

Важность первых книг на уральских и алтайских языках

13:30 - 13:50

Фануза Нуриева1, Гульшат Галиуллина1, Айрат Юсупов1

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

Перспективы исследования татарского языка на основе платформы Lingvodoc

13:50 - 14:10

Марианна Самсонова1

1 Северо-Восточный федеральный университет им. М.К. Аммосова

Создание словарей топонимов на платформе Lingvodoc: основные принципы номинации в якутских гидронимах

14:10 - 15:00

Обед-фуршет (Зимний сад)

15:00 - 15:20

Ильдар Хабутдинов 1,2, Артем Чащин2, Андрей Грабовой1,2, Олег Бахтеев3,1,2, Александр Кильдяков2, Юрий Чехович3,2

1 МФТИ, 2 «Антиплагиат», 3 ВЦ им. А.А. Дородницына ФИЦ ИУ РАН

RuGECToR: нейросетевая модель на основе правил для исправления грамматических ошибок на русском языке

15:20 - 15:40

Идалия Федотова1,2

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

Возможности платформы Lingvodoc для исследования генетической и ареальной полисемии: обско-угорская базисная лексика

15:40 - 18:00

Доклады по итогам мастер-класса по изучению Lingvodoc. Участвуют представители СВФУ, Калмыцкого научного центра РАН, Обско-угорского института прикладных исследований и разработок, Института истории, языка и литературы УФИЦ РАН.


Бежевый зал. Секция «Управление данными и информационные системы»

11:30 - 11:50

Максим Горюнов1, Александр Гетьман2, Дмитрий Рыболовлев1, Андрей Мацкевич1

1 Академия ФСО, 2 ИСП РАН

Сравнение системы обнаружения вторжений на основе машинного обучения с сигнатурными средствами защиты информации

11:50 - 12:10

Виктор Щербаков1, Владимир Майоров1

1 ИСП РАН

Обучение BERT на частично размеченных данных для задачи извлечения именованных сущностей

12:10 - 12:30

Алексей Якушев1, Юрий Маркин1, Дмитрий Обыденков1, Александр Фролов1, Стас Фомин1, Манук Акопян1, Александр Козачок2, Артур Гайнов3

1 ИСП РАН, 2 Академия ФСО, 2 Министерство обороны РФ

Docmarking: маркирование изображений документов на экране в режиме реального времени

12:30 - 12:50

Александра Борисова1, Олег Борисенко1

1 ИСП РАН

Исследование методов построения облачных платформенных сервисов и реализаций стандарта TOSCA

12:50 - 13:00

Перерыв

13:00 - 13:20

Тимур Исмагилов1, Анатолий Мукосей1, Александр Пирюгин1, Александр Семенов1

1 АО «НИЦЭВТ»

Прототипная реализация поддержки распределенных технологий глубокого обучения для сети Ангара при помощи коммуникационной библиотеки OpenMPI через UCX

13:20 - 13:40

Максим Варламов1, Денис Галанин1, Павел Бедрин1, Сергей Дуда1, Владимир Лазарев1, Александр Яцков1

1 ИСП РАН

Набор данных для извлечения информации из новостных веб-страниц

13:40 - 14:00

Александр Варнавский1

1 НИУ ВШЭ

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

14:00 - 15:00

Обед-фуршет (Зимний сад)

15:00 - 15:20

Андрей Михайлов1,2

1 Институт динамики систем и теории управления им. В.М. Матросова СО РАН, 2 ИСП РАН

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

15:20 - 15:40

Ксения Петрушина1, Олег Бахтеев1, Андрей Грабовой1, Вадим Стрижов1

1 МФТИ

Антидистилляция: перенос знаний от простой модели к более сложной

15:40 - 16:00

Кирилл Лукьянов1, Михаил Дробышевский1, Данил Шайхелисламов1, Денис Турдаков1

1 ИСП РАН

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


Синий зал. Разработка доверенного ПО: встречи, презентации, мастер-класс

11:15 - 14:00

Встреча сообщества разработчиков доверенного ПО (вход по спискам). Основные темы:

  • Деятельность и перспективы центров компетенций по исследованию безопасности ядра Linux, критических компонентов и др. с учетом требований к сертификационным испытаниям.
  • Привлечение образовательных учреждений к деятельности центров компетенций, обмен методиками и практиками безопасной разработки.
  • Отчетные презентации программных продуктов ИСП РАН: Natch, Svace, ИСП Crusher и Sydr.

14:00 - 14:30

Обед-фуршет (Зимний сад)

14:30 - 16:00

Мастер-класс Natch (инструмент определения поверхности атаки)

16:00 - 16:30

Перерыв

16:30 - 18:00

Встреча участников центра по анализу критических компонентов, итерация работ по анализу .NET6 и nodejs


Зелёный зал. Круглый стол «Цифровая медицина». Начало в 11:30. Секция «Решение задач механики сплошных сред с использованием СПО». Начало в 15:00.

11:30 - 14:00

Круглый стол «Цифровая медицина»

Модератор:

Ю.Э. Терегулов. Заведующий отделением Республиканской Клинической Больницы Министерства здравоохранения Республики Татарстан, врач функциональной диагностики, д.м.н.

Участники:

Т.М. Газашвили. Руководитель центра инструментальной диагностики ГБУЗ ГКБ №67 им Л.А. Ворохобова Департамента здравооохранения г. Москвы.
Д.В. Дроздов. И.о. руководителя лаборатории ЭКГ отдела новых методов ФГБУ «НМИЦК им. академика Е.И.Чазова».
В.П. Ефимова. Врач функциональной диагностики высшей квалификационной категории, заведующая отделением функциональной диагностики ГКБ им. В.В. Виноградова, к.м.н.
В.А. Макаров. Руководитель лаборатории медицинской информатики Новгородского государственного университета имени Ярослава Мудрого, к.т.н.
А.Ф. Сафарова. Профессор кафедры внутренних болезней с курсом кардиологии и функциональной диагностики МИ ФГАОУ ВО «Российский университет дружбы народов», врач высшей категории, главный специалист по функциональной диагностике ЮЗАО, д.м.н.
М.И. Секачева. Директор Института персонализированной онкологии Сеченовского университета, профессор.
А.В. Скальный. Директор Центра биоэлементологии и экологии человека Сеченовского университета.
Р.И. Туишев. Директор ГАУ РТ «Диспетчерский центр Министерства здравоохранения Республики Татарстан».
Л.М. Червяков. Директор НЦМУ «ЦБиПЗ» ИКТИ РАН, д.т.н, профессор.
Д.В. Шутов. Руководитель проекта ГБУЗ «НПКЦ ДиТ ДЗМ».
А.Ю. Юровский. Президент ООО «АТЕС МЕДИКА СОФТ».

14:00 - 15:00

Обед-фуршет (Зимний сад)

15:00

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

15:00 - 15:20

Софья Орлова1, Андрей Епихин1, Иван Бут1, Александр Кухарский1, Алексей Морозов2

1 ИСП РАН, 2 МФТИ

Разработка трехмерных средств моделирования обледенения в различных условиях

15:20 - 15:40

Константин Кошелев1, Андрей Осипов1, Сергей Стрижак1

1 ИСП РАН

Особенности построения сетки для моделирования процесса обледенения треугольного крыла сложной формы

15:40 - 16:00

Илья Марчевский1,2, Евгения Рятина1, Александра Колганова1,2

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

Решение граничного интегрального уравнения в вихревых методах с использованием гибридного алгоритма Барнса-Хата/мультиполей

16:00 - 16:20

Павел Тимош1, Игорь Потапов1

1 Вычислительный центр ДВО РАН

О решении одной задачи мелкой воды методом центральных разностей и коррекцией FCT

16:20 - 16:40

Перерыв

16:40 - 17:00

Александр Иванов1

1 Институт прикладной математики им. М.В. Келдыша РАН

Разработка нового решателя OpenFOAM для моделирования мелкой воды с использованием фреймворка QGDSolver

17:00 - 17:20

Мария Кирюшина1, Татьяна Елизарова2

1 Институт прикладной математики им. М.В. Келдыша РАН, 2 ИСП РАН

Сравнение эффективности решателей OpenFOAM и индивидуального исследовательского кода на примере решения тестовой задачи

17:20 - 17:40

Александр Шемахин1, Виктор Желтухин1

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

Математическое моделирование потока ВЧ-плазмы пониженного давления с использованием библиотек пакета OpenFOAM

17:40 - 18:00

Степан Елистратов1, Артем Третьяков1, Ильяс Сибгатуллин1

1 ИСП РАН

Анализ когерентных структур волновых режимов стратифицированной жидкости с помощью комплексного метода главных компонент

Пятница, 2 декабря 2022

9:00 - 10:00

Регистрация. Кофе/чай (Зимний сад)

13:00 - 14:00

Обед-фуршет (Зимний сад)


Красный зал. Секция «САПР микроэлектронной аппаратуры»

09:30 - 11:30

Пленарная сессия.


Андрей Скоробогатов, Сергей Аряшев (НИИСИ РАН) Средства проектирования СБИС и СФ-блоков на основе отечественных САПР и САПР с открытым кодом VLSI and IP-blocks design tools based on domestic CAD and open-source CAD

Никита Малышев (ЭРЕМЕКС) Отечественная САПР проектирования микроэлектроники Delta Design Simtera. История, текущая ситуация и перспективы

Роман Соловьев (ИППМ РАН) Машинное обучение в открытых САПР для задач микроэлектроники

Алексей Бочаров (МФТИ) Дизайн-центр микроэлектроники ИИ МФТИ

Елена Иванова (Минпромторг) Вопросы создания отечественных САПР, компетенции и финансирование

11:30 - 12:00

Перерыв


Тема: «Открытые маршруты проектирования и верификации»
12:00 - 12:30

Георгий Лукьянченко1, Александр Монахов1, Михаил Уманский1, Сергей Елизаров1

1 ООО «Мальт систем»

Разработка СнК с ПЛИС в открытых инструментах

12:30 - 13:00

Михаил Уманский1, Георгий Лукьянченко1, Александр Монахов1, Елена Черных1

1 ООО «Мальт систем»

Возможности использования открытых инструментов для автоматизации адаптации PDK к маршруту OpenLane

13:00 - 14:00

Обед-фуршет (Зимний сад)

14:00 - 14:30

Федор Путря1, Антон Гаращенко1, Дарья Лашина1, Святослав Никитин1, Булат Цыренжапов1, Артём Николаев1, Евгений Прокопьев1

1 АО НПЦ «Элвис»

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


Тема: «Автоматизация проектирования на разных уровнях»
14:30 - 15:00

Сергей Смолов1,2, Александр Камкин1,2, Михаил Лебедев1,2, Михаил Чупилко1,2, Георги Гайдаджиев3,2

1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова, 3 Гронингенский университет

Сравнение инструментов высокоуровневого синтеза и конструирования цифровой аппаратуры

15:00 - 15:30

М. Лебедев1,2

1 ИСП РАН, 2 РЭУ им. Г.В. Плеханова

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

15:30 - 16:00

Перерыв

16:00 - 16:30

Михаил Шеблаев1, Родион Ерохин1

1 МГУ им. М.В. Ломоносова

Арифметические операции в коде Грея для передачи данных между доменами синхронизации

16:30 - 17:00

Арина Можжухина1

1 Научно-производственный комплекс «Технологический центр»

Применение искусственного интеллекта в разработке САПР на этапе физического проектирования


Бежевый зал. Воркшоп «Системы доверенного искусственного интеллекта»

10:00 - 10:10

Приветствие

10:10 - 10:30

Денис Турдаков1

1 ИСП РАН

Исследовательский центр доверенного искусственного интеллекта: направления работы и первые результаты

10:30 - 10:50

Константин Архипенко1

1 ИСП РАН

Концепция платформы для обеспечения доверия к интеллектуальным системам

10:50 - 11:10

Александр Бухановский1

1 ИТМО

Технологии композитного AutoML: доверие через интерпретируемость

11:10 - 11:30

Андрей Коваленко1, Андрей Перминов1

1 ИСП РАН

Представление многомерного перцептрона с кусочно-линейной функцией активации в виде объясняющего двоичного дерева: подход к построению области доверия ИНС

11:30 - 11:50

Перерыв

11:50 - 12:05

Андрей Федотов1

1 ИСП РАН

Разработка доверенных версий фреймворков машинного обучения

12:05 - 12:25

Наталья Лукашевич1

1 ИСП РАН

Онтологии в задачах доверенного искусственного интеллекта

12:25 - 12:45

Сергей Лаврушкин1, Дмитрий Ватолин1

1 ИСП РАН

Анализ уязвимости современных методов оценки качества видео к атакам

12:45 - 13:05

Дмитрий Ватолин1

1 ИСП РАН

Создание датасетов новых нейросетевых артефактов для улучшения устойчивости измерения качества

13:00 - 14:00

Обед-фуршет (Зимний сад)

14:00 - 14:20

Дмитрий Пасечнюк1, Александр Гасников1

1 ИСП РАН

Демпфированный метод Ньютона, достигающий глобальной скорости сходимости порядка O(1/k^2) и локальной квадратичной сходимости

14:20 - 14:40

Михаил Паутов1, Иван Оселедец1

1 Сколтех

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

14:40 - 14:55

Александр Гетьман1

1 ИСП РАН

Методы обеспечения доверия к системам обнаружения вторжений на базе ИИ

14:55 - 15:15

Михаил Кривоносов1, Михаил Иванченко1

1 ИСП РАН

Объяснимый ИИ для оценки когнитивного возраста

15:15 - 15:50

Перерыв

15:50 - 16:10

Дмитрий Евсеев1, Михаил Бурцев1

1 МФТИ

Генерация развернутых ответов на вопросы по тексту и графу знаний

16:10 - 16:30

Анастасия Панфилова1

1 ИП РАН

Применение методов объяснимого искусственного интеллекта к моделям диагностики психологических свойств личности по профилю в социальной сети ВКонтакте

16:30 - 16:50

Михаил Хачай1

1 ИСП РАН

Обобщённая задача коммивояжера с ограничениями предшествования: полиэдральный теория, MILP-модели и branch-and-cut алгоритмы

16:50 - 17:10

Абдурахмон Садиев1, Александр Гасников1

1 ИСП РАН

Ускорение коммуникаций локальных градиентных методов с помощью ускоренного прямо-двойственного алгоритма с неточным прокс оператором

17:10 - 17:30

Игорь Юсипов1, Алёна Калякулина1

1 ННГУ

Методы объяснимого искусственного интеллекта для анализа эпигенетических, когнитивных и иммунологических данных

17:30 - 17:50

Валентин Малых1, Сергей Кузнецов1

1 ИСП РАН

DetIE: Извлечение информации на нескольких языках, основанное на детектировании объектов


Синий зал. Секция «Технологии анализа, моделирования и трансформации программ»

10:00 - 10:30

Илья Афанасьев1, Илья Палачев1

1 Исследовательский Центр Samsung

UDLC: гетерогенный компилятор, основанный на MLIR

10:30 - 10:55

Владимир Фролов1, Вадим Санжаров2, Владимир Галактионов1

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

Kernel_slicer: высокоуровневый подход к разработке поверх API

10:55 - 11:20

Сергей Миронов1, Инна Батраева1, Павел Дунаев1

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

Библиотека для разработки компиляторов

11:20 - 11:40

Перерыв

11:40 - 12:05

Артемий Галустов1, Алексей Бородин1, Андрей Белеванцев1

1 ИСП РАН

Девиртуализация для статического анализа с низкоуровневым промежуточным представлением

12:05 - 12:30

Никита Шимчик1, Валерий Игнатьев1, Андрей Белеванцев1

1 ИСП РАН

Irbis: статический анализ помеченных данных для поиска уязвимостей в программах на C/C++

12:30 - 12:55

Алексей Бородин1, Варвара Дворцова1, Александр Волков1

1 ИСП РАН

Межпроцедурный статический анализ языка Go с поддержкой замыканий

13:00 - 14:00

Обед-фуршет (Зимний сад)

14:00 - 14:25

Владислав Степанов1, Павел Довгалюк1, Мария Климушенкова1, Наталья Фурсова1, Иван Васильев1, Аркадий Иванов1, Алексей Иванов1, Максим Бакулин1, Данила Егоров1

1 ИСП РАН

Natch: Определение поверхности атаки с помощью отслеживания помеченных данных и интроспекции виртуальных машин

14:25 - 14:50

Алексей Вишняков1, Даниил Куц1, Влада Логунова1, Дарья Парыгина1, Илай Кобрин1, Георгий Савидов1, Андрей Федотов1

1 ИСП РАН

Sydr-Fuzz: непрерывный гибридный фаззинг и динамический анализ для безопасного цикла разработки ПО

14:50 - 15:15

Людовикос Нерсисян1, Севак Саргсян1, Дживан Хакобян1, Карен Саргсян1

1 Российско-Армянский университет

Повышение эффективности фаззинга за счет извлеченных констант

15:15 - 15:30

Перерыв

15:30 - 16:00

Андрей Височан1

1 Исследовательский Центр Samsung

Генерация профилей оптимизации для приложений Андроид с использованием машинного обучения

16:00 - 16:25

Данила Михальцов1, Константин Сорокин1

1 ИСП РАН

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

16:25 - 16:50

Петр Борисов1, Юрий Косолапов 1

1 ФГАНУ НИИ «Спецвузавтоматика», 2 Южный федеральный университет

Способ оценки похожести программ методами машинного обучения

16:50 - 17:10

Перерыв

17:10 - 17:35

Иван Шарков1

1 ИСП РАН

Метод восстановления протокольных автоматов по бинарному коду

17:35 - 18:00

Чан Ти Тхиен1, Дмитрий Пономарев2, Андрей Кузнецов2

1 ИСП РАН, 2 «ФОБОС-НТ»

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


Зелёный зал. Секция «Решение задач механики сплошных сред с использованием СПО»

10:00 - 10:20

Алена Чернова1, Борис Бендерский1

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

Турбулентные течения газа в каналах различных форм поперечного сечения с массоподводом

10:20 - 10:40

Александр Смирновский1, Андрей Махнов1,2, Елизавета Колесник1, Елена Бабич1, Даниил Осадчий1

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

Применимость нескольких открытых программных кодов для решения задач динамики сжимаемого газа

10:40 - 11:00

Артем Нуриев1, Ольга Зайцева 1

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

Численное моделирование пропульсивного движения машущего крыла круглого сечения

11:00 - 11:40

Перерыв, стендовая сессия (фойе)

11:40 - 12:00

Сергей Стрижак1

1 ИСП РАН

Физически-обоснованная нейронная сеть для моделирования течения Коважного

12:00 - 12:20

Елена Амосова1,2, Кирилл Кузнецов2, Виталий Лемешев2

1 ИПМ ДВО РАН, 2 ДВФУ

Математическое моделирование гидродинамических процессов в прибрежных акваториях Японского моря

12:20 - 12:40

Андрей Епихин1, Игорь Потапов2, Александр Петров3, Андрей Бритов1

1 ИСП РАН, 2 ВЦ ДО РАН, 3 ИПМех РАН

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

12:40 - 13:00

Дарья Романова1, Маргарита Эглит2

1 ИСП РАН, 2 МГУ им. М.В. Ломоносова

Захват донного материала в трехмерном моделировании течений на склонах гор в открытом решателе avalancheFoam

13:00 - 14:00

Обед-фуршет (Зимний сад), стендовая сессия (фойе)

14:00 - 14:20

Менгфей Вон1, Квин Ху1, Квин Жэнь 1,2, Андрей Епихин3, Бинчен Лянь1,2

1 Китайский Университет океана, 2 Лаборатория инженерии океана провинции Шандонг, 3 ИСП РАН

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

14:20 - 14:40

Хинью Вон1, Квин Жэнь1, Инфан Квин1, Тяньюань Вон1, Жишень Квин1, Андрей Епихин2

1 Китайский Университет океана, 2 ИСП РАН

Анализ спутного следа за подводной лодкой DARPA с учетом работы семилопастного гребного винта винта

14:40 - 15:00

Александр Петров1, Артем Сухов1, Ильяс Сибгатуллин1, Андрей Бритов1

1 ИПМех РАН, 2 ИСП РАН

Аналитические и численные методы вычисления аэродинамических коэффициентов профиля Жуковского

15:00 - 15:20

Андрей Бритов1, Андрей Епихин1, Александр Петров1, Артем Сухов1

1 ИСП РАН, 2 ИПМех РАН

Численное моделирование гидродинамики гребного винта с использованием платформы OpenFOAM

15:20 - 15:40

Айрат Камалутдинов1, Артем Нуриев1

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

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

15:40 - 16:20

Перерыв, стендовая сессия (фойе)

16:20 - 16:40

Ульяна Гордеева1, Феликс Шарипов1

1 МГТУ им. Н.Э. Баумана, 2 Федеральный университет Параны, Бразилия

Математическое моделирование процесса течения газа в проточной части турбомолекулярного вакуумного насоса с использованием модели взаимодействия газа с поверхностью Черчиньяни-Лампис

16:40 - 17:00

Елена Байметова1, Михаил Хвалько1, Алексей Армянин1

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

Моделирование сопряженного теплообмена в микроканалах в среде OpenFOAM

17:00 - 17:20

Дискуссия


Доклады стендовой сессии

Сергей Мартыненко1, Павел Токталиев1, Сергей Дорофеенко1, Александр Молоканов1, Павел Семенёв2

1 Институт проблем химической физики РАН, 2 МГТУ им. Н.Э. Баумана

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

Сергей Григорьев1, Мария Королева2, Ольга Мищенкова1

1 ИжГТУ им. М.Т. Калашникова, 2 Удмуртский федеральный исследовательский центр УрО РАН

Особенности численного моделирования работы воздушно-тепловой завесы в openFOAM

Екатерина Митрюкова1

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

Параметрические исследования течений в микросоплах

Дарья Романова1

1 ИСП РАН

Турбулентная модель на основе нейронной сети с тензорным базисом

Ирина Коробова1,2

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

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

Мария Королева1

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

Метод определения коэффициента диффузии динамической сетки

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

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

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Гарбук С.В., к.т.н., директор по научным проектам НИУ ВШЭ.
  • Каляев И.А., д.т.н., академик РАН, научный руководитель направления НИИ многопроцессорных вычислительных систем ЮФУ.
  • Лютиков В.С., заместитель директора ФСТЭК России.
  • Федосов Е.А., д.т.н., академик РАН, научный руководитель ФГУП «ГосНИИАС».
  • Аржанцев И.В., д.ф-м.н., декан Факультета компьютерных наук ВШЭ.
  • Погосян М.А., академик РАН, д.т.н., ректор Московского авиационного института (МАИ).
  • Райгородский А.М., д.ф.-м.н., директор Физтех-школы прикладной математики и информатики МФТИ.
  • Рубанов В.В., к.ф.м.-н., главный технический директор (CTO) по разработке программного обеспечения Huawei R&D Russia.

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

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Волков Д.В., «Открытые системы», ИПМ им. М.В. Келдыша РАН.
  • Прохоров С.П., к.ф.-м.н., председатель российского отделения IEEE Computer Society.

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

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

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
  • Волконский В.Ю., к.т.н., АО МЦСТ.
  • Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
  • Девянин П.Н., научный руководитель ГК «Astra Linux».
  • Дроздов А.Ю., д.т.н., РЭПИ ФРТК МФТИ.
  • Козачок А.В., д.т.н., сотрудник Академии ФСО России, заведующий Лабораторией системного программирования в Орле.
  • Макаров В.А., к.т.н., ИТиС НовГУ, заведующий Лабораторией системного программирования в Великом Новгороде.
  • Мельник Д.М., ИСП РАН.
  • Падарян В.А., к.ф.-м.н., руководитель направления обратной инженерии бинарного кода ИСП РАН.
  • Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
  • Курмангалеев Ш.Ф., к.ф.-м.н., ИСП РАН.

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

  • Турдаков Д.Ю., к.ф.-м.н., заведующий отделом информационных систем ИСП РАН.
  • Лукашевич Н.В., д.т.н., НИВЦ МГУ.
  • Усталов Д.А., к.ф.-м.н., Толока, Сербия.
  • Кузнецов С.Д., д.ф.-м.н., ИСП РАН.
  • Астраханцев Н.А., к.ф.-м.н., Microsoft.
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Соченков И.В., к.ф.-м.-н., ФИЦ ИУ РАН.
  • Гукасян Ц.Г., к.ф.-м.н., РАУ, Армения.
  • Дробышевский М.Д., к.ф.-м.н., ИСП РАН.

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

  • Марчевский И.К., к.ф.-м.н., МГТУ им. Н.Э. Баумана.
  • Нуриев А.Н., к.ф.-м.н., Институт математики и механики им. Н. И. Лобачевского.
  • Сибгатуллин И.Н., к.ф.-м.н., ИСП РАН; ИО РАН.
  • Чашечкин Ю.Д., д.ф.-м.н., ИПМех РАН.
  • Щеглов Г.А., д.т.н., МГТУ им. Н.Э.Баумана.
  • Стрижак С.В., к.т.н., ИСП РАН.
  • Якобовский М.В., член-корр. РАН, д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
  • Елизарова Т.Г., д.ф.-м.н., ИПМ им. М.В. Келдыша РАН.
  • Терехов К.М., к.ф.-м.н., ИВМ РАН.
  • Епихин А.С., к.т.н., ИСП РАН.

IV. САПР микроэлектронной аппаратуры.

  • Камкин А.С., к.ф.-м.н., в.н.с. ИСП РАН.
  • Аряшев С.И., к.т.н., заместитель директора НИИСИ РАН.
  • Гаврилов С.В., д.т.н., директор ИППМ РАН.
  • Петров К.А., к.т.н., заместитель заведующего отделением НИИСИ РАН.
  • Романов А.Ю., к.т.н., доцент МИЭМ НИУ ВШЭ.
  • Соловьев Р.А., д.т.н., член-корр. РАН, г.н.с. ИППМ РАН.
  • Тельпухов Д.В., д.т.н., заместитель директора ИППМ РАН.
  • Чупилко М.М., к.ф.-м.н., с.н.с. ИСП РАН

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

Регистрация


Регистрация на конференцию завершена.

Допуск на встречу разработчиков доверенного ПО будет осуществляться в соответствии с заранее сформированным списком по предъявлению удостоверяющего личность документа.

Публикации


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


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

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

Оформление статей должно быть выполнено в одном из двух форматов (на выбор авторов):

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

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

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

  • «Proceedings of Ivannikov ISPRAS Open Conference»;
  • «Труды ИСП РАН» (ISSN PRINT: 2220-6426, ISSN ONLINE: 2079-8156), который индексируется в РИНЦ, Google Scholar и др., включен в Russian Science Citation Index (RSCI) на платформе Web of Science, а также входит в перечень ВАК.

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

Заочное участие в конференции не допускается.


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

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

Тезисы необходимо представить на русском языке. Требуемый объем – 3 страницы, оформление – в соответствии с требованиями сборника «Труды ИСП РАН».

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

В случае возникновения дополнительных вопросов, пожалуйста, напишите письмо на адрес электронной почты scsec@ispras.ru.


Важные даты

  • Срок подачи статей: до 7 ноября 2022 г. (23:59, GMT+3).
  • Уведомление о включении в программу: до 20 ноября 2022 г.
  • Готовые к публикации статьи: до 8 декабря 2022 г. (для сборника IEEE), до 11 декабря 2022 г. (для "Трудов ИСП РАН")
  • Регистрация участников: до 24 ноября 2022 г. (23:59, GMT+3)


Конференция проводится при финансовой поддержке Министерства науки и высшего образования РФ, соглашение № 075-15-2022-294 от 15 апреля 2022 г.

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


2021, 2020, 2019, 2018, 2017, 2016, 2015 (1, 2), 2014, 2013, 2012, 2011, 2010

Контакты и другая информация

E-mail и телефон

По всем вопросам, связанным с участием, можно обращаться по e-mail scsec@ispras.ru или по телефону +7(495) 912-44-25.

Адрес места проведения

Москва, Ленинский проспект, дом 32А (подъезд 1, этаж 3, Синий, Зеленый, Бежевый и Красный залы).

Детали

Конференция проводится с 9:00 до 18:00. Для гостей и участников предусмотрены кофе-брейки и обед.