О конференции
Открытая конференция ИСП РАН проводится ежегодно по инициативе Института системного программирования им. В.П. Иванникова Российской академии наук при поддержке ряда российских и зарубежных партнёров. В 2024 г. конференция посвящена 30-летию ИСП РАН, который был основан крупным советским и российским учёным В.П. Иванниковым 25 января 1994 года.
Цели и задачи мероприятия: обмен результатами фундаментальных исследований в области системного программирования и практическим опытом их внедрения, а также поддержка и развитие экосистемы инноваций, созданной в ИСП РАН для разработки информационных технологий и их использования в сферах образования, науки и промышленности.
Участники: эксперты отечественных и зарубежных научных и образовательных организаций, представители ведущих ИТ-компаний и государственных ведомств. Участие бесплатное как для слушателей, так и для докладчиков.
В рамках конференции проводится выставка технологий ИСП РАН, внедрённых в различные отрасли промышленности. К участию приглашаются также партнёрские организации.
Конференция проводится при финансовой поддержке Министерства науки и высшего образования РФ, соглашение № 075-15-2022-294 от 15 апреля 2022 г.
Коротко о конференции 2023 года
Программа конференции
Программа формируется.
Среда, 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-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, Андрей Епихин3
1 Казанский федеральный университет, 2 МГУ им. Ломоносова, 3 ИСП РАН
Калибровка RANS моделей турбулентности с помощью алгоритмов машинного обучения
Андрей Епихин1, Дарья Романова1,2, Степан Елистратов1
1 ИСП РАН, 2 МГУ им. Ломоносова
Модифицированная k-ε модель турбулентности для расчета несжимаемых струйных течений
Дарья Романова1,2
1 ИСП РАН, 2 МГУ им. Ломоносова
Нейросетевая RANS модель турбулентности, уточнённая в слое смешения
Ульяна Гордеева1
1 МГТУ им. Баумана
Применение регрессионного моделирования для проектирования турбомолекулярного вакуумного насоса
Перерыв
Ксения Королёва1, Игорь Потапов2
1 ВЦ ДВО РАН
Математическое моделирование турбулентного потока жидкости с помощью квазигидродинамических уравнений и модели турбулентности k-omega
Иван Бут1, Андрей Епихин1, Татьяна Елизарова2, Мария Кирюшинаsup>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 Российский университет дружбы народов
Платформа Lingvodoc как инструмент лингвистического и социолингвистического изучения английского языка аборигенов Австралии
Булат Хакимов1,2, Айрат Гатиатуллин2, Николай Прокопьев2
1 Казанский федеральный университет, 2 Институт прикладной семиотики АН Республики Татарстан
О развитии портала «Тюркская морфема»
Кофе-брейк
Оксана Гончарова1
1 Пятигорский государственный университет
Глубокое обучение в задаче разработки системы автоматической транскрипции
Дари Батурова1, Елена Бручес1, Иван Бондаренко1,2
1 «Сибирские нейросети», 2 Новосибирский государственный университет
BERTScore для русского языка
Елена Булыкина1, Ксения Найденова2, Татьяна Мартирова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
1 Научный медицинский исследовательский центр кардиологии им. ак. Е.И.Чазова
Возможности глубокого машинного обучения для выявления подозрения на сердечную недостаточность путем обработки ЭКГ покоя
Четверг, 12 декабря 2024
Регистрация, приветственный кофе. Продолжение работы выставки технологий ИСП РАН и компаний-партнёров
Обед-фуршет
Кофе-брейк
Круглый стол «Cистемное программирование в высшем образовании: состояние и перспективы» с участием представителей МФТИ, МГУ им. Ломоносова, МГТУ им. Баумана, НовГУ, СГУ и других ведущих вузов. Лекторий «Оптика»
Секция «Российский open source: разработка библиотек в сфере ИИ» (совместно с Фондом содействия инновациям). Лекторий «Кинетика»
Зал «Молекула», 10:00-17:50
Секция «Технологии анализа, моделирования и трансформации программ»
Зал «Атом», 10:00-19:00
Секция «Управление данными и информационные системы»
Зал «Архангельск», 10:00-18:00
Секция «Решение задач механики сплошных сред с использованием СПО»
Лекторий «Физика», 10:00-16:00
Секция «САПР микроэлектронной аппаратуры»
Технологии анализа, моделирования и трансформации программ
Секция посвящена методам оптимизации в компиляторе, генерации кода, статическому и динамическому анализу программ и др. В частности, рассматриваются следующие темы:
- Обратная инженерия бинарного (исполняемого) кода.
- Выполнение программ в контролируемом окружении.
- Поиск ошибок и уязвимостей в исполняемом коде.
- Анализ сетевого трафика.
- Оптимизации в компиляторе и генерация кода.
- Статический и динамический анализ программ.
- Методы и инструменты анализа и тестирования программ.
- Запутывание программ (обфускация).
Управление данными и информационные системы
Секция посвящена вопросам разработки современных методов и систем хранения и анализа больших данных – текстовых, графовых, мультимедийных, научных и др. В частности, рассматриваются следующие темы:
- Интеллектуальный анализ данных и извлечение знаний.
- Математическая теория и методы машинного обучения и искусственного интеллекта.
- Математические модели процессов и явлений реального мира.
- Компьютерная лингвистика, анализ и понимание текстов на естественном языке.
- Анализ социальных сетей, хранение и анализ больших графов.
- Обработка сигналов и анализ изображений.
- Анализ контента, созданного пользователями Интернета.
- Информационный поиск, рекомендательные системы.
- Онтологии и базы знаний.
- Информационные системы и технологии.
- Масштабируемые алгоритмы анализа данных.
- Прикладные задачи анализа данных.
- Очистка данных, интеграция разнородных данных, дедупликация данных.
- Инфраструктура для хранения и обработки больших объемов данных.
- Ключевые технологии создания частных и гибридных облаков.
- Высокопроизводительные вычисления и другие облачные сервисы.
- Экосистема хранения и обработки больших массивов данных.
- Распределенные базы данных и технологии Data/Web Mining.
- Программные платформы интернета вещей.
- Динамическая балансировка нагрузки в эластичных облаках.
- Планирование потока задач в облачных центрах обработки данных.
- Оркестрация с использованием стандарта OASIS TOSCA.
Решение задач механики сплошных сред с использованием СПО
Секция предназначена для обмена опытом по созданию свободного ПО для решения задач механики сплошных сред (OpenFOAM, Salome, ParaView, DAKOTA и др.) и сравнения полученных разработок с коммерческими аналогами. В частности, рассматриваются следующие темы:
- Моделирование турбулентных течений.
- Решение сопряженных задачи теплообмена.
- Прикладные задачи гидродинамики, газодинамики, аэродинамики.
- Разработка собственных решателей и библиотек.
- Научная визуализация и обработка численных результатов.
- Вопросы обучения на базе открытых пакетов.
САПР микроэлектронной аппаратуры
Секция посвящена вопросам разработки САПР микроэлектронной аппаратуры, а также вопросам использования открытых (open source) решений в реальных проектах. Среди рассматриваемых тем:
- Открытые маршруты проектирования СБИС.
- Высокоуровневый синтез и проектирование на системном уровне.
- Проектирование на уровне регистровых передач.
- Логический синтез (логическая оптимизация и технологическое отображение).
- Физический синтез (размещение и трассировка).
- Проектирование аналоговых и СВЧ-схем.
- Имитационная и формальная верификация.
- Автоматизация разработки гетерогенных компьютерных систем.
Лингвистические системы анализа
Секция посвящена методам компьютерного анализа языкового материала с точки зрения фонетических, морфологических, семантических и синтаксических особенностей, а также возможностям сравнения языков и диалектных данных с точки зрения генетического и ареального сходства. Основные темы:
- Анализ правильности транскрипции с точки зрения анализа аудиозаписей речи в экспериментально-фонетических программах.
- Выявление морфологических особенностей, правил семантики употребления морфем с помощью специальных программ.
- Анализ семантики слов в разных языках с точки зрения генетической и ареальной близости.
- Обсчет генетической близости диалектов и языков по фонетическим изменениям.
- Создание корпусов текстов и обработка их с помощью программ анализа сочетаемости слов.
