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

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

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

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

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

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

Коротко о конференции 2023 года



Программа конференции

Программа формируется.

Среда, 11 декабря 2024 года

9:00 - 10:00

Регистрация, приветственный кофе. Начало работы выставки технологий ИСП РАН и компаний-партнёров

10:00 - 12:00

Пленарная сессия с участием руководителей РАН, ведущих компаний, вузов, а также государственных министерств и ведомств. Зал «Молекула»

12:00 - 13:00

Обед-фуршет

16:00 - 16:30

Кофе-брейк

13:15 - 19:00

Секция «Разработка безопасного ПО: качество, доверие, сообщество»

Ведущий секции: Дмитрий Пономарев (ИСП РАН, НТЦ «Фобос-НТ»).

13:15-13:55. Итоги и анонсы 2024 – взгляд регулятора
Выступление представителя ФСТЭК России

13:55-14:40. Три года Центру исследований безопасности системного ПО
Ведущий – Алексей Хорошилов

14:45-15:05. Блиц-сессия «Стратегия Win-Win»
Ведущий – Дмитрий Пономарев

15:10-16:30. Круглый стол «Сообщества РБПО. Взгляд ФинТех»
Ведущий – Вартан Падарян

16:40-18:05. Круглый стол «Безопасность, качество, электроэнергетика. Взгляд отрасли»
Ведущий – Вартан Падарян

18:15-19:00. Круглый стол «Сертификация РБПО. Первые итоги»
Ведущий – Иван Шарков

13:00 - 19:00

Воркшоп «Системы доверенного искусственного интеллекта», посвящённый работе Исследовательского центра доверенного искусственного интеллекта ИСП РАН. Зал «Атом»

16:30 - 19:00

Круглый стол «Цифровое будущее государственного сектора: суверенитет, экономика, технологии» (совместно с РАНХиГС). Лекторий «Физика»


Лекторий «Кинетика», 13:00-18:30
Секция «Системы управления базами данных»

13:00 - 14:00

Андрей Фомичев1

1 Яндекс

Эволюция архитектуры СУБД на примере YDB

14:00 - 15:00

Константин Осипов1

1 Picodata

Blue/green deploy для хранимых процедур в кластерной СУБД на примере Picodata

15:00 - 16:00

Сергей Зинченко1

1 openGauss

Оптимизация подсказками: ускоряем запросы, не изменяя планировщик

16:00 - 16:30

Кофе-брейк

16:30 - 17:30

Николай Карлов1

1 VK, tarantool.io

Columnar In-Memory в Tarantool: зачем нужно строить еще одну колоночную СУБД, да еще и в памяти?

17:30 - 18:30

Владимир Озеров1, Александр Блажков2

1 CedrusData

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


Зал «Архангельск», 13:00-17:30
Секция «Решение задач механики сплошных сред с использованием СПО»

13:00 - 13:10

Начало работы секции. Проверка презентаций.

13:10 - 13:40

Айрат Камалутдинов1, Артем Нуриев1, Дарья Романова2, Андрей Епихин3

1 Казанский федеральный университет, 2 МГУ им. Ломоносова, 3 ИСП РАН

Калибровка RANS моделей турбулентности с помощью алгоритмов машинного обучения

13:40 - 14:00

Андрей Епихин1, Дарья Романова1, Степан Елистратов1

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

Модифицированная k-ε модель турбулентности для расчета несжимаемых струйных течений

14:00 - 14:20

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

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

Нейросетевая RANS модель турбулентности, уточнённая в слое смешения

14:20 - 14:30

Ульяна Гордеева1

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

Применение регрессионного моделирования для проектирования турбомолекулярного вакуумного насоса

14:30 - 14:40

Перерыв

14:40 - 15:00

Ксения Королёва1, Игорь Потапов1

1 ВЦ ДВО РАН

Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega

15:00 - 15:20

Иван Бут1, Андрей Епихин1, Татьяна Елизарова2, Мария Кирюшина2

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

Разработка решателя на базе регуляризованных уравнений с технологией AMR и возможностью вычислений на GPU

15:20 - 15:40

Андрей Попов1

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

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

15:40 - 16:00

Валерия Пузикова1

1 YADRO

Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей

16:00 - 16:30

Кофе-брейк

16:30 - 16:50

Алексей Сурнин1, Алена Чернова1

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

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

16:50 - 17:10

Мария Королева1, Ильнур Лебедев2, Алена Чернова3, Ольга Мищенкова3

1 Удмуртский федеральный исследовательский центр УроРАН, 2 ООО НПО «Гидросистемы», 3 ЗАО «ИННЦ»

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

17:10 - 17:20

Артем Маслов1

1 МФТИ

Разработка библиотеки OpenFOAM для моделирования звукового удара в дальнем поле

17:20 - 17:30

Светлана Фортова1, Алексей Ермаков2

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

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


Лекторий «Оптика», 13:00-18:15
Секция «Лингвистические системы анализа»

13:00 - 13:15

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

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

Статус васюганского хантыйского как говора или диалекта по вычислениям на платформе «ЛингвоДок»

13:15 - 13:30

Наталья Кошелюк1

1 ИСП РАН

Комбинированная дистанция между языками: новый инструмент платформы «ЛингвоДок»

13:30 - 13:45

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

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

Графические и фонетические особенности рукописи словаря Йоганна Эберхарда Фишера (1725)

13:45 - 14:00

Ольга Баженова1

1 ИСП РАН

Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы «ЛингвоДок»

14:00 - 14:15

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

1 ИСП РАН, 2 Институт языкознания РАН

Возможности уточнения классификации самодийских языков с помощью программ «ЛингвоДока»

14:15 - 14:30

Сергей Ковылин1

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

Распределение показателей двойственного числа существительных в селькупском языке (корпусно-ориентированный подход)

14:30 - 14:45

Перерыв

14:45 - 15:00

Римма Муратова1

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

Названия национальной одежды как лексические этномаркеры традиционной культуры тюркских и финно-угорских народов Урало-Поволжья

15:00 - 15:15

Чойган Ондар1

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

Интонационное оформление высказывания в тувинском языке

15:15 - 15:30

Таргын Шончалай1

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

Сочетаемость глаголов в разных аспектуальных формах с наречиями на платформе «ЛингвоДок» (на материале тувинского языка)

15:30 - 15:45

Эвелина Тимофеева1

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

Платформа «ЛингвоДока» как инструмент лингвистического и социолингвистического изучения английского языка аборигенов Австралии

15:45 - 16:00

Айрат Гатиатуллин2, Николай Прокопьев2, Булат Хакимов1,2

1 Казанский федеральный университет, 2 Институт прикладной семиотики АН Республики Татарстан

О развитии портала «Тюркская морфема»

16:00 - 16:30

Кофе-брейк

16:30 - 16:45

Оксана Гончарова1

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

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

16:45 - 17:00

Елена Бручес1, Дари Батурова1, Иван Бондаренко1,2

1 «Сибирские нейросети», 2 Новосибирский государственный университет

BERTScore для русского языка

17:00 - 17:15

Ксения Найденова2, Елена Булыкина1, Татьяна Мартирова2

1 Санкт-Петербургский политехнический университет, 2 Медицинская академия

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

17:15 - 17:30

Брайс Дональд Абодо Элунду1,2, Ванг Куан-Ю1,2

1 AI Talent Hub, 2 ИТМО

Улучшенная классификация текстов с помощью DistilBERT с адаптацией к низким рангам: сравнительное исследование

17:30 - 17:45

Юрий Титов1, Никита Кильмишкин1, Дмитрий Кубраков1, Полина Иванова1

1 РЭУ им. Плеханова

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

17:45 - 18:00

Павел Тихонов1,2, Анастасия Янина3, Валентин Малых4

1 AIRI, 2 Сколтех, 3 МФТИ, 4 ИТМО

SumHiS: экстрактивная суммаризация с использованием скрытой структуры

18:00 - 18:15

Артем Менисов1, Александр Ломако1

1 Военно-космическая академия им. Можайского

Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения


Лекторий «Физика», 13:00-16:00
Круглый стол «Цифровая медицина»

Модератор: Филипп Копылов, д.м.н., Директор Института персонализированной кардиологии Сеченовского Университета.

13:00 - 13:15

Антон Матвиенко1

1 ФГБУ "ВНИИИМТ" Росздравнадзора

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

13:15 - 13:30

Денис Панюшин1

1 ИСП РАН

Платформа для анализа биомедицинских данных

13:30 - 13:45

Олег Пензин1

1 ФГБУ «НМХЦ им. Н.И. Пирогова» Минздрава России

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

13:45 - 14:00

Владимир Макаров1

1 Новгородский государственный университет имени Ярослава Мудрого

Аннотирование скан-изображений микропрепаратов

14:00 - 14:15

Анна Плюхова1

1 НИИГБ им. М.М. Краснова

Опыт создания наборов данных в офтальмологии

14:15 - 14:30

Анастасия Першина-Милютина1

1 ФГБУ «НМИЦ эндокринологии» Минздрава России

Опыт работы команды разработки в медицинской организации

14:30 - 14:45

Дарья Гогниева1

1 Сеченовский университет

RetinAIcheck. Выявление гипертонической ретинопатии с помощью цифровых фотографий глазного дна с применением сверточной нейросети

14:45 - 15:00

Андрей Демчинский1

1 АНО "Лаборатория "Сенсор-Тех"

Нейроимплант для восстановления зрения слепым

15:00 - 15:15

Юлия Беграмбекова1, Алина Плисюк1, Яна Орлова1

1 МНОЦ МГУ им. Ломоносова

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

15:15 - 15:30

Ильсеяр Алимова1, Искандер Закирьяновa1, Эдуард Фартушный2, Иван Свиридов3, Александр Нестеров3, Валентин Малых4

1 Казанский федеральный университет, 2 Сеченовский университет, 3 Sber AI, 4 ИТМО

AI'M Finder: датасет русскоязычных электронных карточек пациентов с выделенными симптомами

15:30 - 15:45

Андрей Спирин1, Александр Козачок1, Елена Козачок 2, Олег Самоваров1

1 ИСП РАН, 2 ООО «Бьюти Клиник»

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

15:45 - 16:00

Егор Гугучкин1, Евгений Карпулевич1

1 ИСП РАН

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

Четверг, 12 декабря 2024

9:00 - 10:00

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

13:00 - 14:00

Обед-фуршет

16:00 - 16:30

Кофе-брейк

10:00 - 13:00

Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы» с участием представителей МФТИ, МГУ им. Ломоносова, МГТУ им. Баумана, НовГУ, СГУ и других ведущих вузов. Лекторий «Оптика»

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

  • Интересы и проблемы участников высшего образования: абитуриентов, студентов, преподавателей и администрации, представителей базовых кафедр и организаций, предоставляющих возможность прохождения практики;
  • сильные/слабые стороны и проблемы преподавания предметов системного программирования;
  • особенности нового направления «Кибербезопасность» по сравнению с классическим системным программированием и его позиционирование по отношению к близкой области ИБ;
  • обсуждение уровня высшего образования, на котором стоит начинать подготовку специалистов по новому направлению.
10:00 - 19:00

Секция «Российский open source: разработка библиотек в сфере ИИ» (совместно с Фондом содействия инновациям). Лекторий «Кинетика»


Зал «Молекула», 10:00-17:50
Секция «Технологии анализа, моделирования и трансформации программ»

10:00 - 10:20

Иван Кулагин1, Рубен Бучацкий1, Михаил Пантилимонов1, Андрей Вязовцев1,2, Михаил Романов1,3, Дмитрий Мельник1,3

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

Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR

10:20 - 10:40

Сергей Родзевич2, Кирилл Батузов1, Дмитрий Колтунов1, Андрей Черемнов1, Илья Шляпин1

1 ИСП РАН, 2 Техкомпания Хуавей

Эффективная эмуляция MMU для случая кросс-архитектурной динамической двоичной трансляции

10:40 - 11:00

Андрей Стоян1

1 НИУ ВШЭ

Обзор современных систем эффектов

11:00 - 11:20

Ксения Зайцева1, Валерия Пузикова1

1 YADRO

Об оптимизации библиотеки линейной алгебры Eigen под открытую архитектуру RISC-V

11:20 - 11:40

Дмитрий Ильичев1,2, Михаил Соловьев1,2

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

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

11:40 - 12:00

Перерыв

12:00 - 12:20

Александр Проценко1

1 ИСП РАН

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

12:20 - 12:40

Кирилл Чибисов1, Рубен Бучацкий1, Андрей Тимонин1,2, Владислав Лазарь1,2, Дмитрий Журихин1,3, Андрей Белеванцев1,3

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

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

12:40 - 13:00

Никита Малышев1,2, Алексей Бородин1, Андрей Белеванцев1,2

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

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

13:00 - 14:00

Обед-фуршет

14:00 - 14:20

Андрей Ситников1, Андрей Петухов1

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

Извлечение шаблонов HTTP-запросов из мобильных приложений методом статического анализа

14:20 - 14:40

Дарья Парыгина1,2, Тимофей Межуев1,2, Даниил Куц 1

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

LibAFL-DiFuzz: продвинутая архитектура для направленного фаззинга

14:40 - 15:00

Григорий Райкин1, Максим Пелевин2, Владимир Ицыксон1

1 Университет ИТМО, 2 СПбГЭТУ «ЛЭТИ»

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

15:00 - 15:20

Сергей Муравьёв1

1 ООО НТП «Криптософт»

Уязвимости GCC и LLVM к атакам на конвейер оптимизации

15:20 - 15:40

Петр Девянин1, Алексей Старостин1, Денис Панов1, Семен Усачев1

1 ООО «РусБИТех-Астра»

Проектирование и развитие механизма мандатного контроля целостности в ОС Astra Linux

15:40 - 16:00

Борис Позин2, Полина Бородушкина1, Дмитрий Коротков1, Михаил Федоров1, Айнур Муратов1

1 НИУ ВШЭ, 2 ЗАО «ЕС-Лизинг»

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

16:00 - 16:30

Кофе-брейк

16:30 - 16:50

Алексей Романов1, Александр Баташев2

1 МГУ им. Ломоносова, 2 Нижегородский государственный университет

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

16:50 - 17:10

Александр Петренко1, Виктор Кулямин2

1 ИСП РАН

Конструирование программных систем, нацеленное на обеспечение безопасности

17:10 - 17:30

Дмитрий Кондратьев2, Сергей Старолетов1, Ирина Шошмина1, Анастасия Красненкова3, Кирилл Зиборов4, Николай Шилов5

1 Санкт-Петербургский политехнический университет, 2 Институт систем информатики им. Ершова СО РАН, 3 ООО «РусБИТех-Астра», 4 МГУ им. Ломоносова, 5 Университет Иннополис

Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы

17:30 - 17:50

Ранд Дееб1

1 Университет ИТМО

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


Зал «Атом», 10:00-19:00
Секция «Управление данными и информационные системы»

10:00 - 10:20

Ирина Алексеевская1, Константин Архипенко1

1 ИСП РАН

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

10:20 - 10:40

Анна Глазкова1,2, Ольга Захарова1,2

1 Тюменский карбоновый полигон, 2 Тюменский государственный университет

Оценка LLM-запросов для аугментации текстов экологической тематики для задачи multi-label классификации

10:40 - 11:00

Андрей Четвергов1, Ринат Шарафетдинов1, Марина Полукошко1, Вадим Ахметов1, Наталья Оружейникова1, Егор Аничков1, Сергей Боловцов1, Павел Голосов1, Ирина Алексеевская2

1 РАНХиГС, 2 ИСП РАН

SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа

11:00 - 11:20

Данил Шайхелисламов1,2,3, Михаил Дробышевский1,2, Андрей Белеванцев2,4

1 МФТИ, 2 ИСП РАН, 3 НИУ ВШЭ, 4 МГУ им. Ломоносова

Генерация безопасного кода с LLM: эмпирический опыт

11:20 - 11:40

Алидар Асваров1, Андрей Грабовой2

1 Дагестанский государственный университет, 2 МФТИ

Система нейросетевого машинного перевода для лезгинского, русского и азербайджанского языков

11:40 - 12:00

Дмитрий Пойманов1, Леонид Местецкий1, Андрей Грабовой1

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

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

12:00 - 12:20

Дмитрий Морозов1,2, Ксения Лагутина3, Григорий Дрожащих4,5, Тимур Гарипов1, Анна Глазкова5

1 Новосибирский государственный университет, 2 Национальный корпус русского языка, 3 Ярославский государственный университет, 4 ИТМО, 5 Тюменский государственный университет

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

12:20 - 12:40

Егор Аничков1, Виктор Попов1, Вадим Ахметов1, Наталья Оружейникова1, Марина Полукошко1, Сергей Боловцов1

1 РАНХиГС

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

12:40 - 13:00

Александр Гущин1,2,3, Анастасия Анциферова2,3, Дмитрий Ватолин1,2,3

1 МГУ им. Ломоносова, 2 ИЦДИИ ИСП РАН, 3 Институт искусственного интеллекта МГУ им. Ломоносова

Анализ и разработка методов очищения для защит метрик качества изображений

13:00 - 14:00

Обед-фуршет

14:00 - 14:20

Иван Молодецких1,2, Михаил Ерофеев2, Андрей Москаленко2, Дмитрий Ватолин1,2

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

Нейросетевой метод для стабильного во времени матирования видеопоследовательностей с людьми

14:20 - 14:40

Георгий Сазонов1,2, Серафим Боярский3, Илья Макаров3,4, Кирилл Лукьянов1,4,5

1 ИСП РАН, 2 МГУ им. Ломоносова, 3 Институт искусственного интеллекта AIRI, 4 ИЦДИИ ИСП РАН, 5 МФТИ

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

14:40 - 15:00

Владислав Мешков1, Никита Киселев1, Андрей Грабовой1

1 МФТИ

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

15:00 - 15:20

Мохаммад Шахид2, Фараз Хасан3, Фейсал Ахмад4, Мохаммад Саджид5, Махфуз Алам1, Мария Лапина6

1 Колледж технологий и менеджмента им. Баджаджа, Индия, 2 Алигархский мусульманский университет, Индия, 3 GITAM, Индия, 4 Техника, Workday Inc, США, 5 Алигархский мусульманский университет, Индия, 6 Северо-Кавказский федеральный университет

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

15:20 - 15:40

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

1 ИСП РАН

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

15:40 - 16:00

Федор Балабанов1,2, Кирилл Лукьянов1,3

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

Усовершенствованный поиск архитектур в графовом autoML: расширение и динамическая приоритизация пространства поиска для повышения эффективности

16:00 - 16:30

Кофе-брейк

16:30 - 16:50

Иван Степанов1, Максим Попов1, Александр Гетьман1, Мария Иконникова1

1 ИСП РАН

Обзор методов контроля перегрузки с использованием машинного обучения

16:50 - 17:10

Владислав Луценко1, Михаил Кравцов2

1 Северо-Кавказский федеральный университет, 2 Региональный центр «Сириус 26»

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

17:10 - 17:30

Ангелина Воронина1, Ольга Шабалина1, Марина Желтухина2

1 Волгоградский государственный технический университет, 2 Пятигорский государственный университет

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

17:30 - 17:50

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

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

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

17:50 - 18:10

Мария Лапина1, Массимо Мечелла2, Марина Токмакова1, Виталия Мовзалевская1, Михаил Бабенко1, Мохаммад Саджид3

1 Северо-Кавказский федеральный университет, 2 Римский университет Сапиенца, Италия, 3 Алигархский мусульманский университет, Индия

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


Зал «Архангельск», 10:00-18:00
Секция «Решение задач механики сплошных сред с использованием СПО»

10:00 - 10:10

Начало работы секции. Проверка презентаций

10:10 - 10:40

Андрей Павлевич1

1 АО «УЗГА»

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

10:40 - 11:00

Елена Байметова1, Мария Королева2

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

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

11:00 - 11:20

Артем Сухов1, Александр Петров2

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

Упрощенный метод расчёта силовых характеристик профилей в широком диапазоне углов атаки

11:20 - 11:40

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

1 ИСП РАН

Математическое моделирование почвенных процессов в модельных задачах с использованием открытого ПО

11:40 - 11:50

Игорь Потапов1, Юлия Силакова1

1 ВЦ ДВО РАН

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

11:50 - 12:00

Перерыв

12:00 - 12:20

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

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

Гидродинамическое исследование капиллярных мостиков в СПО OpenFOAM в окрестности границы их статической устойчивости

12:20 - 12:40

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

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

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

12:40 - 13:00

Софья Ярикова1, Виктория Корчагова1

1 ИСП РАН

Численное исследование влияния условий применения ветрозащитного экрана на эффективность пылеподавления

13:00 - 14:00

Обед-фуршет

14:00 - 14:20

Игорь Потапов1, Александр Петров2

1 ВЦ ДВО РАН, 2 ИПМ РАН им. Ишлинского

О размыве дна, вызванном взвешенной турбулентной струей

14:20 - 14:40

Степан Елистратов1,2, Иван Бут2, Ильяс Сибгатуллин2,1

1 ИО РАН, 2 ИСП РАН

Об автомодельности течений с волновым аттрактором

14:40 - 15:00

Наиль Гумеров1, Дамир Исмагилов1, Артем Нуриев1

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

Исследование пропульсивного волнообразного движения тела в жидкости в OpenFOAM

15:00 - 15:20

Софья Паршина1, Анастасия Варфоломеева1, Лев Пятко1

1 НИУ ВШЭ

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

15:20 - 15:40

Алена Чернова2, Айгуль Шигапова1

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

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

15:40 - 16:00

Анатолий Зорин2, Мария Королева3, Ольга Мищенкова1, Алена Чернова1

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

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

16:00 - 16:30

Кофе-брейк

16:30 - 16:40

Данил Колоколов1, Мария Королева2, Ольга Мищенкова3, Алена Чернова3

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

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

16:40 - 17:00

Габриела Морар1, Александр Карпов1, Артем Шаклеин1

1 Удмуртский федеральный исследовательский центр УрО РАН

Численное исследование турбулентного диффузионного пламени на поверхности ПММА на основе открытого пакета FDS

17:00 - 17:20

Екатерина Митрюкова1, Мария Королева2, Михаил Корепанов2

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

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

17:20 - 17:40

Евгений Михайлов1,2, Игорь Тепляков3, Дмитрий Виноградов3

1 (МГУ им.Ломоносова, 2 Физический институт им. Лебедева РАН, 3 Объединенный институт высоких температур РАН

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

17:40 - 18:00

Обсуждение


Лекторий «Физика», 10:00-16:00
Секция «САПР микроэлектронной аппаратуры»

10:00 - 11:40

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

Модератор: Александр Камкин

10:00 - 10:50

Никита Гревцев1

1 НИЦ «Курчатовский институт» – НИИСИ

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

10:50 - 11:40

Ян Чуркин1, Рубен Бучацкий1, Константин Китаев1,2, Алексей Волохов1, Егор Долгодворов2, Александр Камкин1, Артём Коцыняк1

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

Система статического анализа для языка описания аппаратуры SystemVerilog

12:00 - 13:00

Высокоуровневое проектирование и верификация

Модератор: Сергей Смолов

12:00 - 12:20

Александр Американов1, Лариса Евтушенко1, Владимир Зунин1, Владимир Винарский1

1 МИЭМ НИУ ВШЭ

САПР для удаленного высокоуровневого моделирования СтнК

12:20 - 12:40

Михаил Литвинов1,2, Максим Вершков1,2, Александр Камкин1,2

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

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

12:40 - 13:00

Алексей Манеркин1

1 НИЦ «Курчатовский институт» – НИИСИ

Применение методов машинного обучения в функциональной верификации на модульном уровне

13:00 - 14:00

Обед-фуршет

14:00 - 15:20

Машинное обучение в САПР

Модератор: Михаил Лебедев

14:00 - 14:20

Алексей Жигулин1, Михаил Рогожинский1, Роман Соловьев1, Дмитрий Тельпухов1, Николай Левченко2

1 ООО «Альфачип», 2 ИППМ РАН

Применение методов машинного обучения к анализу целостности сигналов

14:20 - 14:40

Денис Щепетов1, Александр Тимошенко2, Владимир Гаранжа1, Игорь Капорин1, Дмитрий Каргин3

1 ФИЦ ИУ РАН, 2 НИУ МИЭТ, 3 Московский Политех

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

14:40 - 15:00

Игорь Гайдук1, Арина Можжухина2

1 НПК ТЦ, НИУ МИЭТ

Использование глубокого обучения с подкреплением в задаче размещения элементов БИС на БМК

15:00 - 15:20

Марат Сайбодалов1, Максим Дашиев1, Яков Карандашев1, Никита Желудков1, Елизавета Кочева1

1 НИЦ «Курчатовский институт» – НИИСИ

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

15:20 - 16:00

Инструменты САПР с открытым исходным кодом

Модератор: Михаил Чупилко

15:20 - 15:40

Вадим Кузнецов1, Дмитрий Андреев1, Григорий Гришин1

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

Применение инструментов FOSS для моделирования схем при проектировании аналоговых ИС

15:40 - 16:00

Вадим Кузнецов1, Дмитрий Андреев1, Семён Ломахин1

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

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

16:00 - 16:30

Кофе-брейк

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

Руководящий и программный комитет

  • Аветисян А.И., д.ф.-м.н., академик РАН, директор ИСП РАН.
  • Белеванцев А.А., д.ф.-м.н., руководитель направления анализа и оптимизации программ ИСП РАН.
  • Гайсарян С.С., к.ф.-м.н., заведующий отделом компиляторных технологий ИСП РАН.
  • Гарбук С.В., к.т.н., и.о. директора ВИНИТИ РАН.
  • Петренко А.К., д.ф.-м.н., заведующий отделом технологий программирования ИСП РАН.
  • Прохоров С.П., к.ф.-м.н., председатель российского отделения IEEE Computer Society.
  • Самоваров О.И., к.т.н., ученый секретарь ИСП РАН.
  • Турдаков Д.Ю., к.ф.-м.н., заведующий отделом информационных систем ИСП РАН.

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

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

Программный комитет секции «Управление данными и информационные системы»

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

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

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

Программный комитет секции «Лингвистические системы анализа»

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

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

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

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

Регистрация

Публикации


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

Инструкция по использованию EasyChair

Рецензируемые секции: «Управление данными и информационные системы», «Технологии анализа, моделирования и трансформации программ», «Решение задач механики сплошных сред с использованием СПО», «САПР микроэлектронной аппаратуры», «Лингвистические системы анализа».


Важные даты

  • Срок подачи статей: до 23:59 7 ноября 2024 г.
  • Уведомление о включении в программу: до 23:59 18 ноября 2024 г.
  • Регистрация участников: до 23:59 8 декабря 2024 г.
  • Готовые к публикации статьи: до 23:59 25 декабря 2024 г.

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

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

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

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

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

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

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

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

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


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

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

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

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

По всем вопросам просьба обращаться по e-mail scsec@ispras.ru.

Выставка 2023


Коротко о конференции 2023 года

В выставке технологий в рамках Открытой конференции ИСП РАН 2023 года приняли участие такие компании, как «Лаборатория Касперского», «Базальт СПО», ГК Astra Linux, Yadro, CodeScoring, PostgresPro и другие, а также вузы: МГТУ им. Н.Э. Баумана и МЭИ.

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


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

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

E-mail

По вопросам участия в выставке технологий обращайтесь по e-mail joinconf@ispras.ru. По общим вопросам — scsec@ispras.ru.

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

Москва, Раменский бульвар, д. 1. Кластер «Ломоносов». Для прохода на конференцию необходимо предъявить паспорт..

Детали

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