Онлайн трансляция
День первый (11 декабря)
10:00 – 12:00 Пленарная сессия с участием руководителей РАН, ведущих компаний, вузов, а также государственных министерств и ведомств
13:15 – 19:00 Секция «Разработка безопасного ПО: качество, доверие, сообщество»
10:00 – 12:00 Opening session with key speakers from leaders of RAS, top companies, government departments and ministries
День второй (12 декабря)
10:00 – 18:10 Секция «Технологии анализа, моделирования и трансформации программ»
День первый (11 декабря)
13:00 – 19:00 Воркшоп «Системы доверенного искусственного интеллекта», посвящённый работе Исследовательского центра доверенного искусственного интеллекта ИСП РАН
День второй (12 декабря)
10:00-19:00 Секция «Управление данными и информационные системы»
День первый (11 декабря)
13:00-16:00 Круглый стол «Цифровая медицина»
16:30-19:00 Круглый стол «Цифровое будущее государственного сектора: суверенитет, экономика, технологии» (совместно с РАНХиГС)
День второй (12 декабря)
10:00-16:00 Секция «САПР микроэлектронной аппаратуры»
День первый (11 декабря)
13:00-18:30 Секция «Системы управления базами данных»
День второй (12 декабря)
10:00 – 19:00 Секция «Российский open source: разработка библиотек в сфере ИИ» (совместно с Фондом содействия инновациям)
День первый (11 декабря)
13:00-17:30 Секция «Решение задач механики сплошных сред с использованием СПО»
День второй (12 декабря)
10:00-18:00 Секция «Решение задач механики сплошных сред с использованием СПО»
День первый (11 декабря)
13:00-18:15 Секция «Лингвистические системы анализа»
День второй (12 декабря)
10:00 - 13:00 Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы» с участием представителей МФТИ, МГУ им. Ломоносова, МГТУ им. Баумана, НовГУ, СГУ и других ведущих вузов
О конференции
Как она прошла в 2024
Открытая конференция ИСП РАН проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук при поддержке ряда российских и зарубежных партнёров. В 2024 г. конференция посвящена 30-летию ИСП РАН, который был основан крупным советским и российским учёным В.П. Иванниковым 25 января 1994 года.
Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.
Участники: эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих ИТ-компаний и государственных ведомств. Участие бесплатное как для слушателей, так и для докладчиков.
В рамках конференции проводится выставка технологий ИСП РАН, внедрённых в различные отрасли промышленности. К участию приглашаются также партнёрские организации.
Конференция проводится при финансовой поддержке Министерства науки и высшего образования РФ, соглашение № 075-15-2022-294 от 15 апреля 2022 г.
Программа конференции
Среда, 11 декабря 2024 года
Регистрация, приветственный кофе. Начало работы выставки технологий ИСП РАН и компаний-партнёров
Пленарная сессия с участием руководителей РАН, ведущих компаний, вузов, а также государственных министерств и ведомств. Зал «Молекула»
Обед-фуршет
Кофе-брейк
Секция «Разработка безопасного ПО: качество, доверие, сообщество»
Ведущий секции: Дмитрий Пономарев (ИСП РАН, НТЦ «Фобос-НТ»).
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
Воркшоп «Системы доверенного искусственного интеллекта», посвящённый работе Исследовательского центра доверенного искусственного интеллекта ИСП РАН
Петр Ганелин1
1 НТЦ ЦК
Требования к системам ИИ и организация аудита
Каримов Эльвир1
1 AIRI
Сертификация моделей распознавания говорящего по аддитивным возмущениям
Ерлыгин Леонид1
1 Сколтех
Оценка неопределенности с учетом галереи в задаче распознавания лиц
Георгий Бычков1,2,3, Александр Гасников1,2,3
1 МГУ, 2 Иннополис, 3 ИСП РАН
Ускоренный стохастический градиентный спуск нулевого порядка в условиях повышенной гладкости и перепараметризации
Сергей Николенко1,2,3
1 ПОМИ РАН, 2 ВШЭ, 3 ИСП РАН
Распознавание текста, порождённого языковыми моделями
Андрей Коваленко1
1 Академия криптографии
Способы обеспечения доверия к системам ИИ
Сергей Кузнецов1,2
1 ВШЭ, ИСП РАН
Интерпретируемое обучение на основе интервальных классификаторов
Михаил Иванченко1
1 ННГУ
Интерпретируемые решения искусственного интеллекта в превентивной медицине
Михаил Кривоносов1,2
1 ННГУ, 2 ИСП РАН
Фреймворк для объяснения результатов моделей машинного обучения для оценки биовозраста с помощью LLM
Кофе-брейк
Денис Турдаков1, Константин Архипенко1, Кирилл Лукьянов1
1 ИСП РАН
Доверенный ИИ: инсайты и вызовы
Дмитрий Киранов1, Максим Рындин1
1 ИСП РАН
Платформа для разработки доверенного ИИ
Александр Гущин1,2
1 МГУ, 2 ИСП РАН
Анализ эффективности методов защит от состязательных атак на модели оценки качества изображений
Михаил Паутов1,2
1 AIRI, 2 ИСП РАН
Доказательства в доверенном ИИ: новые результаты и проблемы
Вероника Ганеева1,2, Елена Тутубалина1,2
1 AIRI, 2 ИСП РАН
Языковые модели и их понимание химии в задаче генерации описания молекулы
Михаил Тихомиров1,2, Даниил Чернышев1,2
1 НИВЦ МГУ, 2 ИСП РАН
Ruadapt: адаптация больших языковых моделей на русский язык
Екатерина Шумицкая1,2
1 МГУ, 2ИСП РАН
Медианное сглаживание для доказуемой безэталонной оценки качества изображений и видео
Лекторий «Физика», 16:30-19:00
Круглый стол «Цифровое будущее государственного сектора: суверенитет, экономика, технологии» (совместно с РАНХиГС)
Лекторий «Кинетика», 13:00-18:30
Секция «Системы управления базами данных»
Андрей Фомичев1
1 Яндекс
Эволюция архитектуры СУБД на примере YDB
Константин Осипов1
1 Picodata
Blue/green deploy для хранимых процедур в кластерной СУБД на примере Picodata
Сергей Зинченко1
1 openGauss
Оптимизация подсказками: ускоряем запросы, не изменяя планировщик
Кофе-брейк
Николай Карлов1
1 VK, tarantool.io
Columnar In-Memory в Tarantool: зачем нужно строить еще одну колоночную СУБД, да еще и в памяти?
Владимир Озеров1, Александр Блажков2
1 CedrusData
Переписывание запросов на основе материализованных представлений в аналитической системе CedrusData
Зал «Архангельск», 13:00-17:30
Секция «Решение задач механики сплошных сред с использованием СПО»
Начало работы секции. Проверка презентаций.
Айрат Камалутдинов1, Артем Нуриев1, Дарья Романова2, Андрей Епихин3
1 Казанский федеральный университет, 2 МГУ им. Ломоносова, 3 ИСП РАН
Калибровка RANS моделей турбулентности с помощью алгоритмов машинного обучения
Андрей Епихин1, Дарья Романова1, Степан Елистратов1
1 ИСП РАН, 2 МГУ им. Ломоносова
Модифицированная k-ε модель турбулентности для расчета несжимаемых струйных течений
Дарья Романова1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Нейросетевая RANS модель турбулентности, уточнённая в слое смешения
Ульяна Гордеева1
1 МГТУ им. Баумана
Применение регрессионного моделирования для проектирования турбомолекулярного вакуумного насоса
Перерыв
Ксения Королёва1, Игорь Потапов1
1 ВЦ ДВО РАН
Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega
Иван Бут1, Андрей Епихин1, Татьяна Елизарова2, Мария Кирюшина2
1 ИСП РАН, 2 Институт прикладной математики им. Келдыша РАН
Разработка решателя на базе регуляризованных уравнений с технологией AMR и возможностью вычислений на GPU
Андрей Попов1
1 МГТУ им. Баумана
GPU-библиотека для решения двумерных задач вычислительной гидродинамики с помощью метода конечных элементов с частицами
Валерия Пузикова1
1 YADRO
Модификация метода погруженных границ LS-STAG для моделирования течений неньютоновских вязких жидкостей
Кофе-брейк
Алексей Сурнин1, Алена Чернова1
1 ИжГТУ им. Калашникова
Исследование рабочих процессов в маслоохладителе с копьеобразной формой оребрения
Мария Королева1, Ильнур Лебедев2, Алена Чернова3, Ольга Мищенкова3
1 Удмуртский федеральный исследовательский центр УроРАН, 2 ООО НПО «Гидросистемы», 3 ЗАО «ИННЦ»
Исследование парафиновых отложений методами численного моделирования гидродинамики двухкомпонентной жидкости
Артем Маслов1
1 МФТИ
Разработка библиотеки OpenFOAM для моделирования звукового удара в дальнем поле
Светлана Фортова1, Алексей Ермаков2
1 ИАП РАН, 2 МФТИ
Применение программного пакета OPENFOAM для численного моделирования квази-двумерных турбулентных течений
Лекторий «Оптика», 13:00-18:15
Секция «Лингвистические системы анализа»
Виктория Воробьева1,2, Ирина Новицкая2
1 ИСП РАН, 2 Томский государственный университет
Статус васюганского хантыйского как говора или диалекта по вычислениям на платформе «ЛингвоДок»
Наталья Кошелюк1
1 ИСП РАН
Комбинированная дистанция между языками: новый инструмент платформы «ЛингвоДок»
Фануза Нуриева1, Гульшат Галиуллина1, Айрат Юсупов1
1 Казанский федеральный университет
Графические и фонетические особенности рукописи словаря Йоганна Эберхарда Фишера (1725)
Ольга Баженова1
1 ИСП РАН
Место коми-язьвинского в классификации языков коми на основании фонетических, лексических и морфологических особенностей с помощью программ платформы «ЛингвоДок»
Юлия Норманская1,2
1 ИСП РАН, 2 Институт языкознания РАН
Возможности уточнения классификации самодийских языков с помощью программ «ЛингвоДока»
Сергей Ковылин1
1 ИСП РАН, 2 Томский университет
Распределение показателей двойственного числа существительных в селькупском языке (корпусно-ориентированный подход)
Перерыв
Римма Муратова1
1 Институт истории, языка и литературы Уфимского ФИЦ РАН
Названия национальной одежды как лексические этномаркеры традиционной культуры тюркских и финно-угорских народов Урало-Поволжья
Чойган Ондар1
1 Тувинский институт гуманитарных и прикладных социально-экономических исследований
Интонационное оформление высказывания в тувинском языке
Таргын Шончалай1
1 Тувинский государственный университет
Сочетаемость глаголов в разных аспектуальных формах с наречиями на платформе «ЛингвоДок» (на материале тувинского языка)
Эвелина Тимофеева1
1 Российский университет дружбы народов
Экспериментальные компьютерные методы исследования английского языка аборигенов Австралии
Айрат Гатиатуллин2, Николай Прокопьев2, Булат Хакимов1,2
1 Казанский федеральный университет, 2 Институт прикладной семиотики АН Республики Татарстан
О развитии портала «Тюркская морфема»
Кофе-брейк
Оксана Гончарова1
1 Пятигорский государственный университет
Глубокое обучение в задаче разработки системы автоматической транскрипции
Елена Бручес1, Дари Батурова1, Иван Бондаренко1,2
1 «Сибирские нейросети», 2 Новосибирский государственный университет
BERTScore для русского языка
Ксения Найденова2, Елена Булыкина1, Татьяна Мартирова2
1 Санкт-Петербургский политехнический университет, 2 Медицинская академия
Разработка системы оценки результатов тестирования когнитивной функции при введении эллипсисов в текстах планиметрических задач
Брайс Дональд Абодо Элунду1,2, Ванг Куан-Ю1,2
1 AI Talent Hub, 2 ИТМО
Улучшенная классификация текстов с помощью DistilBERT с адаптацией к низким рангам: сравнительное исследование
Юрий Титов1, Никита Кильмишкин1, Дмитрий Кубраков1, Полина Иванова1
1 РЭУ им. Плеханова
Поиск именованных сущностей в инструкциях по медицинскому применению лекарственных средств с применением глубокого обучения и методов обработки естественного языка
Павел Тихонов1,2, Анастасия Янина3, Валентин Малых4
1 AIRI, 2 Сколтех, 3 МФТИ, 4 ИТМО
SumHiS: экстрактивная суммаризация с использованием скрытой структуры
Артем Менисов1, Александр Ломако1
1 Военно-космическая академия им. Можайского
Моделирование сценариев деструктивного воздействия на целостность моделей машинного обучения
Лекторий «Физика», 13:00-16:00
Круглый стол «Цифровая медицина»
Модератор: Филипп Копылов, д.м.н., Директор Института персонализированной кардиологии Сеченовского Университета.
Антон Матвиенко1
1 ФГБУ "ВНИИИМТ" Росздравнадзора
Обзор зарегистрированных медицинских изделий с применением искусственного интеллекта
Денис Панюшин1
1 ИСП РАН
Платформа для анализа биомедицинских данных
Олег Пензин1
1 ФГБУ «НМХЦ им. Н.И. Пирогова» Минздрава России
Концепция применения больших языковых моделей при использовании кейс-метода в медицинском образовании
Владимир Макаров1
1 Новгородский государственный университет имени Ярослава Мудрого
Аннотирование скан-изображений микропрепаратов
Анна Плюхова1
1 НИИГБ им. М.М. Краснова
Опыт создания наборов данных в офтальмологии
Анастасия Першина-Милютина1
1 ФГБУ «НМИЦ эндокринологии» Минздрава России
Опыт работы команды разработки в медицинской организации
Дарья Гогниева1
1 Сеченовский университет
RetinAIcheck. Выявление гипертонической ретинопатии с помощью цифровых фотографий глазного дна с применением сверточной нейросети
Андрей Демчинский1
1 АНО "Лаборатория "Сенсор-Тех"
Нейроимплант для восстановления зрения слепым
Юлия Беграмбекова1, Алина Плисюк1, Яна Орлова1
1 МНОЦ МГУ им. Ломоносова
Методы искусственного интеллекта в поиске новых мишеней для вмешательств при возраст-ассоциированных заболеваниях
Ильсеяр Алимова1, Искандер Закирьяновa1, Эдуард Фартушный2, Иван Свиридов3, Александр Нестеров3, Валентин Малых4
1 Казанский федеральный университет, 2 Сеченовский университет, 3 Sber AI, 4 ИТМО
AI'M Finder: датасет русскоязычных электронных карточек пациентов с выделенными симптомами
Андрей Спирин1, Александр Козачок1, Елена Козачок 2, Олег Самоваров1
1 ИСП РАН, 2 ООО «Бьюти Клиник»
Применение моделей машинного обучения для многоклассовой классификации дерматоскопических снимков новообразований кожи
Егор Гугучкин1, Евгений Карпулевич1
1 ИСП РАН
Улучшение алгоритмов выравнивания коротких прочтений и идентификации генетических вариантов в данных полногеномного секвенирования человека
Четверг, 12 декабря 2024
Регистрация, приветственный кофе. Продолжение работы выставки технологий ИСП РАН и компаний-партнёров
Обед-фуршет
Кофе-брейк
Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы» с участием представителей МФТИ, МГУ им. Ломоносова, МГТУ им. Баумана, НовГУ, СГУ и других ведущих вузов. Лекторий «Оптика»
Круглый стол посвящён вопросам образования в области системного программирования и кибербезопасности, актуальности существующих образовательных стандартов и их реализации на практике на всех этапах высшего образования начиная с бакалавриата и заканчивая аспирантурой, а также общим проблемам набора абитуриентов и преподавания предметов из указанных областей. Основные темы, предлагаемые к обсуждению в рамках круглого стола:
Секция «Российский open source: разработка библиотек в сфере ИИ» (совместно с Фондом содействия инновациям). Лекторий «Кинетика»
Зал «Молекула», 10:00-18:10
Секция «Технологии анализа, моделирования и трансформации программ»
Иван Кулагин1, Рубен Бучацкий1, Михаил Пантилимонов1, Андрей Вязовцев1,2, Михаил Романов1,3, Дмитрий Мельник1,3
1 ИСП РАН, 2 МФТИ, 3 МГУ им. Ломоносова
Подход к построению компиляторов нейронных сетей с использованием инфраструктуры MLIR
Сергей Родзевич2, Кирилл Батузов1, Дмитрий Колтунов1, Андрей Черемнов1, Илья Шляпин1
1 ИСП РАН, 2 Техкомпания Хуавей
Эффективная эмуляция MMU для случая кросс-архитектурной динамической двоичной трансляции
Андрей Стоян1
1 НИУ ВШЭ
Обзор современных систем эффектов
Ксения Зайцева1, Валерия Пузикова1
1 YADRO
Об оптимизации библиотеки линейной алгебры Eigen под открытую архитектуру RISC-V
Дмитрий Ильичев1,2, Михаил Соловьев1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Возвращаясь к восстановлению потока управления по бинарному коду: подход, основанный на абстрактной интерпретации
Перерыв
Александр Проценко1
1 ИСП РАН
Применение формальных спецификаций системы команд для функционального тестирования языковых виртуальных машин
Кирилл Чибисов1, Рубен Бучацкий1, Андрей Тимонин1,2, Владислав Лазарь1,2, Дмитрий Журихин1,3, Андрей Белеванцев1,3
1 ИСП РАН, 2 МФТИ, 3 МГУ им. Ломоносова
TSAR: инструмент для оценки статических анализаторов
Никита Малышев1,2, Алексей Бородин1, Андрей Белеванцев1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Многоаспектный подход к поиску утечки ресурсов на основе статического анализа
Обед-фуршет
Андрей Ситников1, Андрей Петухов1
1 МГУ им. Ломоносова
Извлечение шаблонов HTTP-запросов из мобильных приложений методом статического анализа
Дарья Парыгина1,2, Тимофей Межуев1,2, Даниил Куц 1
1 ИСП РАН, 2 МГУ им. Ломоносова
LibAFL-DiFuzz: продвинутая архитектура для направленного фаззинга
Григорий Райкин1, Максим Пелевин2, Владимир Ицыксон1
1 Университет ИТМО, 2 СПбГЭТУ «ЛЭТИ»
Алгоритм выбора семантических мутаций в фаззинге по принципу серого ящика
Сергей Муравьёв1
1 ООО НТП «Криптософт»
Уязвимости GCC и LLVM к атакам на конвейер оптимизации
Петр Девянин1, Алексей Старостин1, Денис Панов1, Семен Усачев1
1 ООО «РусБИТех-Астра»
Проектирование и развитие механизма мандатного контроля целостности в ОС Astra Linux
Борис Позин2, Полина Бородушкина1, Дмитрий Коротков1, Михаил Федоров1, Айнур Муратов1
1 НИУ ВШЭ, 2 ЗАО «ЕС-Лизинг»
Методика поиска уязвимостей в ПО, написанном на нескольких языках программирования
Кофе-брейк
Алексей Романов1, Александр Баташев2
1 МГУ им. Ломоносова, 2 Нижегородский государственный университет
Инструмент для автоматизированного поиска регрессий в оптимизирующих компиляторах
Александр Петренко1, Виктор Кулямин1, Екатерина Рудина2
1 ИСП РАН, 2Лаборатория Касперского
Конструирование программных систем, нацеленное на обеспечение безопасности
Дмитрий Кондратьев2, Сергей Старолетов1, Ирина Шошмина1, Анастасия Красненкова3, Кирилл Зиборов4, Николай Шилов5
1 Санкт-Петербургский политехнический университет, 2 Институт систем информатики им. Ершова СО РАН, 3 ООО «РусБИТех-Астра», 4 МГУ им. Ломоносова, 5 Университет Иннополис
Соревнования по формальной верификации VeHa-2024: накопленный в течение двух лет опыт и перспективы
Ранд Дееб1
1 Университет ИТМО
Прогнозирование технологий веб-стеков с помощью машинного обучения: за пределами традиционных отпечатков
Сергей Качалов1,2, Антон Завьялов1,2, Дарья Рыжик1,2, Николай Кузьмин1
1 РТУ МИРЭА, 2 АО «Концерн «Вега»
Способы интеграции средств отладки и тестирования в код сложных программных систем
Зал «Атом», 10:00-19:00
Секция «Управление данными и информационные системы»
Ирина Алексеевская1, Константин Архипенко1
1 ИСП РАН
Атака больших языковых моделей в сценарии черного ящика перефразированием
Анна Глазкова1,2, Ольга Захарова1,2
1 Тюменский карбоновый полигон, 2 Тюменский государственный университет
Оценка LLM-запросов для аугментации текстов экологической тематики для задачи multi-label классификации
Андрей Четвергов1, Ринат Шарафетдинов1, Марина Полукошко1, Вадим Ахметов1, Наталья Оружейникова1, Егор Аничков1, Сергей Боловцов1, Павел Голосов1, Ирина Алексеевская2
1 РАНХиГС, 2 ИСП РАН
SLAVA: бенчмарк социально-политического ландшафта и ценностного анализа
Данил Шайхелисламов1,2,3, Михаил Дробышевский1,2, Андрей Белеванцев2,4
1 МФТИ, 2 ИСП РАН, 3 НИУ ВШЭ, 4 МГУ им. Ломоносова
Генерация безопасного кода с LLM: эмпирический опыт
Алидар Асваров1, Андрей Грабовой2
1 Дагестанский государственный университет, 2 МФТИ
Система нейросетевого машинного перевода для лезгинского, русского и азербайджанского языков
Дмитрий Пойманов1, Леонид Местецкий1, Андрей Грабовой1
1 МГУ им. Ломоносова
Распознавание происхождения текстов, созданных искусственным интеллектом, с помощью больших языковых моделей
Дмитрий Морозов1,2, Ксения Лагутина3, Григорий Дрожащих4,5, Тимур Гарипов1, Анна Глазкова5
1 Новосибирский государственный университет, 2 Национальный корпус русского языка, 3 Ярославский государственный университет, 4 ИТМО, 5 Тюменский государственный университет
Исследование лингвистических характеристик в задаче кросс-доменной оценки сложности русскоязычных текстов
Егор Аничков1, Виктор Попов1, Вадим Ахметов1, Наталья Оружейникова1, Марина Полукошко1, Сергей Боловцов1
1 РАНХиГС
Оценка доверенности генеративных моделей для задач обработки русского языка
Александр Гущин1,2,3, Анастасия Анциферова2,3
1 МГУ им. Ломоносова, 2 ИЦДИИ ИСП РАН, 3 Институт искусственного интеллекта МГУ им. Ломоносова
Анализ и разработка методов очищения для защит метрик качества изображений
Обед-фуршет
Иван Молодецких1,2, Михаил Ерофеев2, Андрей Москаленко2, Дмитрий Ватолин1,2
1 МГУ им. Ломоносова, 2 ИСП РАН
Нейросетевой метод для стабильного во времени матирования видеопоследовательностей с людьми
Георгий Сазонов1,2, Серафим Боярский3, Илья Макаров3,4, Кирилл Лукьянов1,4,5
1 ИСП РАН, 2 МГУ им. Ломоносова, 3 Институт искусственного интеллекта AIRI, 4 ИЦДИИ ИСП РАН, 5 МФТИ
Так ли безопасна интерпретируемость ИИ: взаимосвязь интерпретируемости и защищенности моделей машинного обучения
Владислав Мешков1, Никита Киселев1, Андрей Грабовой1
1 МФТИ
Анализ сходимости поверхности функции потерь сверхточных нейросетевых моделей на основе гессиана
Мохаммад Шахид2, Фараз Хасан3, Фейсал Ахмад4, Мохаммад Саджид5, Махфуз Алам1, Мария Лапина6
1 Колледж технологий и менеджмента им. Баджаджа, Индия, 2 Алигархский мусульманский университет, Индия, 3 GITAM, Индия, 4 Техника, Workday Inc, США, 5 Алигархский мусульманский университет, Индия, 6 Северо-Кавказский федеральный университет
Искусственная оптимизация группы горилл для балансировки нагрузки рабочих задач в облачной среде
Сергей Дубовицкий1, Павел Бедрин1, Александр Яцков1, Максим Варламов1
1 ИСП РАН
Автоматическое построение правил извлечения информации для новостных веб-сайтов
Федор Балабанов1,2, Кирилл Лукьянов1,3
1 ИСП РАН, 2 МГУ им. Ломоносова, 3 ИЦДИИ ИСП РАН
Усовершенствованный поиск архитектур в графовом autoML: расширение и динамическая приоритизация пространства поиска для повышения эффективности
Кофе-брейк
Иван Степанов1, Максим Попов1, Александр Гетьман1, Мария Иконникова1
1 ИСП РАН
Обзор методов контроля перегрузки с использованием машинного обучения
Владислав Луценко1, Михаил Кравцов2
1 Северо-Кавказский федеральный университет, 2 Региональный центр «Сириус 26»
Исследование специальных наборов модулей системы остаточных классов
Ангелина Воронина1, Ольга Шабалина1, Марина Желтухина2
1 Волгоградский государственный технический университет, 2 Пятигорский государственный университет
Анализ и интерпретация разнородных данных в задаче оценки функционального состояния человека
Александр Гетьман1, Максим Горюнов2, Андрей Мацкевич2, Дмитрий Рыболовлев1, Анастасия Никольская1
1 ИСП РАН, 2 Академия ФСО России
Состязательные атаки с ограничениями против систем обнаружения вторжений, основанных на применении методов машинного обучения
Мария Лапина1, Массимо Мечелла2, Марина Токмакова1, Виталия Мовзалевская1, Михаил Бабенко1, Мохаммад Саджид3
1 Северо-Кавказский федеральный университет, 2 Римский университет Сапиенца, Италия, 3 Алигархский мусульманский университет, Индия
Применение алгоритмов машинного обучения для предотвращения атак с использованием общедоступных интерфейсов веб-сайтов потребителей
Зал «Архангельск», 10:00-18:00
Секция «Решение задач механики сплошных сред с использованием СПО»
Начало работы секции. Проверка презентаций
Андрей Павлевич1
1 АО «УЗГА»
Опыт отраслевого применения программного обеспечения с открытым исходным кодом при аэродинамическом проектировании и проверочном моделировании обтекания летательных аппаратов
Елена Байметова1, Мария Королева2
1 ИжГТУ им. Калашникова, 2 Удмуртский федеральный исследовательский центр УроРАН
Построение гидравлической модели теплообменного аппарата
Артем Сухов1, Александр Петров2
1 ИСП РАН, 2 ИПМех РАН
Упрощенный метод расчёта силовых характеристик профилей в широком диапазоне углов атаки
Константин Кошелев1, Андрей Кулинский1, Сергей Стрижак1
1 ИСП РАН
Математическое моделирование почвенных процессов в модельных задачах с использованием открытого ПО
Игорь Потапов1, Юлия Силакова1
1 ВЦ ДВО РАН
Математическая модель для моделирования движения гидродинамического потока через переливную запруду протоки Пемзенская
Перерыв
Артем Нуриев1, Ольга Зайцева2
1 Казанский федеральный университет
Гидродинамическое исследование капиллярных мостиков в СПО OpenFOAM в окрестности границы их статической устойчивости
Виктория Корчагова1, Андрей Епихин1,2, Софья Ярикова1, Иван Бут1, Степан Елистратов1
1 ИСП РАН, 2 МГТУ им. Баумана
Моделирование взаимодействия облаков угольной пыли с каплями воды
Софья Ярикова1, Виктория Корчагова1
1 ИСП РАН
Численное исследование влияния условий применения ветрозащитного экрана на эффективность пылеподавления
Обед-фуршет
Игорь Потапов1, Александр Петров2
1 ВЦ ДВО РАН, 2 ИПМ РАН им. Ишлинского
О размыве дна, вызванном взвешенной турбулентной струей
Степан Елистратов1,2, Иван Бут2, Ильяс Сибгатуллин2,1
1 ИО РАН, 2 ИСП РАН
Об автомодельности течений с волновым аттрактором
Наиль Гумеров1, Дамир Исмагилов1, Артем Нуриев1
1 Казанский федеральный университет
Исследование пропульсивного волнообразного движения тела в жидкости в OpenFOAM
Софья Паршина1, Анастасия Варфоломеева1, Лев Пятко1
1 НИУ ВШЭ
Компьютерное моделирование и оптимизация конструкции микрофлюидного чипа
Алена Чернова2, Айгуль Шигапова1
1 ИжГТУ им. Калашникова
Параметрическое исследование эффективности исполнения единичной секции маслоохладителя
Анатолий Зорин2, Мария Королева3, Ольга Мищенкова1, Алена Чернова1
1 ИжГТУ им. Калашникова, 2 ЗАО «Ижевский нефтяной научный центр», 3 Удмуртский федеральный исследовательский центр УрО РАН
Учет свойств реальных сред при численном моделировании гидравлических испытаний насосно-компрессорных труб
Кофе-брейк
Данил Колоколов1, Мария Королева2, Ольга Мищенкова3, Алена Чернова3
1 ООО «НПО «Гидросистемы», 2 Удмуртский федеральный исследовательский центр УрО РАН, 3 ИжГТУ им. Калашникова
Формирование подхода к численной оценке эффективности горелочных устройств
Габриела Морар1, Александр Карпов1, Артем Шаклеин1
1 Удмуртский федеральный исследовательский центр УрО РАН
Численное исследование турбулентного диффузионного пламени на поверхности ПММА на основе открытого пакета FDS
Екатерина Митрюкова1, Мария Королева2, Михаил Корепанов2
1 ИжГТУ им. Калашникова, 2 Удмуртский федеральный исследовательский центр УрО РАН
Взаимодействие встречных недорасширенных струй из микросопел
Евгений Михайлов1,2, Игорь Тепляков3, Дмитрий Виноградов3
1 (МГУ им.Ломоносова, 2 Физический институт им. Лебедева РАН, 3 Объединенный институт высоких температур РАН
Исследование распространения примеси в среде в одной прикладной осесимметричной задаче
Обсуждение
Лекторий «Физика», 10:00-16:00
Секция «САПР микроэлектронной аппаратуры»
Пленарная сессия
Модератор: Александр Камкин
Никита Гревцев1
1 НИЦ «Курчатовский институт» – НИИСИ
Функциональная верификация микропроцессоров на системном уровне с использованием методов машинного обучения
Ян Чуркин1, Рубен Бучацкий1, Константин Китаев1,2, Алексей Волохов1, Егор Долгодворов2, Александр Камкин1, Артём Коцыняк1
1 ИСП РАН, 2 МФТИ
Система статического анализа для языка описания аппаратуры SystemVerilog
Высокоуровневое проектирование и верификация
Модератор: Сергей Смолов
Александр Американов1, Лариса Евтушенко1, Владимир Зунин1, Владимир Винарский1
1 МИЭМ НИУ ВШЭ
САПР для удаленного высокоуровневого моделирования СтнК
Михаил Литвинов1,2, Максим Вершков1,2, Александр Камкин1,2
1 ИСП РАН, 2 РЭУ им. Плеханова
Автоматизация проектирования потоковых вычислителей, реализующих алгоритмы блочного шифрования
Алексей Манеркин1
1 НИЦ «Курчатовский институт» – НИИСИ
Применение методов машинного обучения в функциональной верификации на модульном уровне
Обед-фуршет
Машинное обучение в САПР
Модератор:Никита Черток
Алексей Жигулин1, Михаил Рогожинский1, Роман Соловьев1, Дмитрий Тельпухов1, Николай Левченко2, Александр Стемпковский1, Леонид Переверзев1
1 ООО «Альфачип», 2 ИППМ РАН
Применение методов машинного обучения к анализу целостности сигналов
Денис Щепетов1, Александр Тимошенко2, Владимир Гаранжа1, Игорь Капорин1, Дмитрий Каргин3
1 ФИЦ ИУ РАН, 2 НИУ МИЭТ, 3 Московский Политех
Методы схемотехнического и топологического синтеза аналоговых интегральных схем по спецификации с использованием методов машинного обучения и дифференцируемого программирования
Игорь Гайдук1, Арина Можжухина2
1 НПК ТЦ, НИУ МИЭТ
Использование глубокого обучения с подкреплением в задаче размещения элементов БИС на БМК
Марат Сайбодалов1, Максим Дашиев1, Яков Карандашев1, Никита Желудков1, Елизавета Кочева1
1 НИЦ «Курчатовский институт» – НИИСИ
Применение нейросетей для оценки разводимости при проектировании СБИС с учетом начальных параметров топологии
Инструменты САПР с открытым исходным кодом
Модератор: Михаил Чупилко
Вадим Кузнецов1, Дмитрий Андреев1, Григорий Гришин1
1 МГТУ им. Баумана
Применение инструментов FOSS для моделирования схем при проектировании аналоговых ИС
Вадим Кузнецов1, Дмитрий Андреев1, Семён Ломахин1
1 МГТУ им. Баумана
Макромоделирование устройств защиты от электростатического разряда с использованием инструментов с открытым исходным кодом
Кофе-брейк
Технологии анализа, моделирования и трансформации программ
Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:
- Обратная инженерия бинарного (исполняемого) кода.
- Выполнение программ в контролируемом окружении.
- Поиск ошибок и уязвимостей в исполняемом коде.
- Анализ сетевого трафика.
- Оптимизации в компиляторе и генерация кода.
- Статический и динамический анализ программ.
- Методы и инструменты анализа и тестирования программ.
- Запутывание программ (обфускация).
Управление данными и информационные системы
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. В частности, рассматриваются следующие темы:
- Интеллектуальный анализ данных и извлечение знаний.
- Математическая теория и методы машинного обучения и искусственного интеллекта.
- Математические модели процессов и явлений реального мира.
- Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
- Анализ социальных сетей, хранение и анализ больших графов.
- Обработка сигналов и анализ изображений.
- Анализ контента, созданного пользователями Интернета.
- Информационный поиск, рекомендательные системы.
- Онтологии и базы знаний.
- Информационные системы и технологии.
- Масштабируемые алгоритмы анализа данных.
- Прикладные задачи анализа данных.
- Очистка данных, интеграция разнородных данных, дедупликация данных.
- Инфраструктура для хранения и обработки больших объемов данных.
- Ключевые технологии создания частных и гибридных облаков.
- Высокопроизводительные вычисления и другие облачные сервисы.
- Экосистема хранения и обработки больших массивов данных.
- Распределенные базы данных и технологии Data/Web Mining.
- Программные платформы интернета вещей.
- Динамическая балансировка нагрузки в эластичных облаках.
- Планирование потока задач в облачных центрах обработки данных.
- Оркестрация с использованием стандарта OASIS TOSCA.
Решение задач механики сплошных сред с использованием СПО
Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:
- Моделирование турбулентных течений.
- Решение сопряженных задачи теплообмена.
- Прикладные задачи гидродинамики, газодинамики, аэродинамики.
- Разработка собственных решателей и библиотек.
- Научная визуализация и обработка численных результатов.
- Вопросы обучения на базе открытых пакетов.
САПР микроэлектронной аппаратуры
Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:
- Открытые маршруты проектирования СБИС.
- Высокоуровневый синтез и проектирование на системном уровне.
- Проектирование на уровне регистровых передач.
- Логический синтез (логическая оптимизация и технологическое отображение).
- Физический синтез (размещение и трассировка).
- Проектирование аналоговых и СВЧ-схем.
- Имитационная и формальная верификация.
- Автоматизация разработки гетерогенных компьютерных систем.
Лингвистические системы анализа
Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства. Основные темы:
- Анализ правильности транскрипции с точки зрения анализа аудиозаписей речи в экспериментально-фонетических программах.
- Выявление морфологических особенностей, правил семантики употребления морфем с помощью специальных программ.
- Анализ семантики слов в разных языках с точки зрения генетической и ареальной близости.
- Обсчет генетической близости диалектов и языков по фонетическим изменениям.
- Создание корпусов текстов и обработка их с помощью программ анализа сочетаемости слов.
Воркшоп «Системы доверенного искусственного интеллекта»
Круглый стол «Цифровая медицина»
Блок «Разработка безопасного ПО»
Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы»
С участием представителей МФТИ, МГУ им. Ломоносова, МГТУ им. Баумана, НовГУ, СГУ и других ведущих вузов.
Круглый стол посвящён вопросам образования в области системного программирования и кибербезопасности, актуальности существующих образовательных стандартов и их реализации на практике на всех этапах высшего образования начиная с бакалавриата и заканчивая аспирантурой, а также общим проблемам набора абитуриентов и преподавания предметов из указанных областей. Основные темы, предлагаемые к обсуждению в рамках круглого стола:
- Интересы и проблемы участников высшего образования: абитуриентов, студентов, преподавателей и администрации, представителей базовых кафедр и организаций, предоставляющих возможность прохождения практики;
- сильные/слабые стороны и проблемы преподавания предметов системного программирования;
- особенности нового направления «Кибербезопасность» по сравнению с классическим системным программированием и его позиционирование по отношению к близкой области ИБ;
- обсуждение уровня высшего образования, на котором стоит начинать подготовку специалистов по новому направлению.
