Открытое заседание Ученого совета ФКН

Повестка открытого заседания:

1. Научный доклад "Методы машинного обучения в функциональной геномике".
Докладчик - заведующий Международной лабораторией биоинформатики Попцова Мария Сергеевна.

Аннотация:

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

В докладе я расскажу о методах глубинного обучения, разрабатываемых в международной лаборатории биоинформатики для предсказания вторичных структур ДНК. Были разработаны модели на основе сверточных (CNN), рекуррентных (RNN),  генеративно-состязательных (GAN) сетей, а также методы переноса обучения с доменной адаптацией для задач предсказания квадруплексов и Z-ДНК. Также будут представлены разрабатываемые в лаборатории подходы из области объяснительного искусственного интеллекта (XAI) для определения значимых паттернов ассоциации эпигенетического кода и кода вторичных структур ДНК.

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

Аннотация:

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

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

Дата проведения: 30 сентября 2021 года
Время проведения: 18:00-19:00