Москва, Россия
30.11 - 01.12.2017

Vinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.xVinaora Nivo Slider 3.x

Организатор

ИСП РАН


При поддержке

IEEE

IEEE Computer Society

Российская академия наук

ФАНО

ФПИ

ФСТЭК России


Контакты

Тел: +7(495) 912-07-54

E-mail: isprasopen@ispras.ru

Мастер-классы

В рамках конференции ИСП РАН совместно с компаниями NVIDIA и Samsung проведут мастер-классы по следующим тематикам:

  1. Лабораторные работы по глубокому обучению от NVIDIA;
  2. Микрокомпьютер Samsung Artik для задач Интернета вещей;
  3. Моделирование процессов взаимодействия тел с потоком среды: аэроупругость, гидроупругость, FSI;
  4. Теория и практика моделирования вязких сжимаемых течений средствами квазигазодинамических уравнений;
  5. Научно-практический семинар по теме "Моделирование и верификация политик безопасности управления доступом в операционных системах".

Условия участия:

  • Участие в любом мастер-классе бесплатно;
  • Для участия необходимо зарегистрироваться;
  • На основе заявок организаторы формируют группу слушателей численностью 15 человек;
  • Критерии отбора заявок определяют организаторы;
  • Заявки на участие принимаются до 27 октября;
  • Уведомление о включении в группу - до 30 октября.

Для выполнения практических заданий вам потребуется ноутбук с wi-fi модулем и web-браузером.

1. Лабораторные работы по глубокому обучению от NVIDIA.

Преподаватель: сертифицированный инструктор NVIDIA.
Дата: 29 ноября, 2017 года
Время: 10:00-17:30
Место: ИСП РАН, г. Москва, ул. А.Солженицына, Аудитория 110 (схема проезда).

Институт глубокого обучения NVIDIA (DLI) приглашает на практические занятия для разработчиков, специалистов по обработке данных и ученых в рамках Открытой конференции ИСП РАН. На лабораторных под руководством инструктора вы узнаете о самых современных техниках тренировки и интеграции алгоритмов машинного обучения.

Программа мастер класса включает рассмотрение следующих тем: Настройка доступа, вводная лекция, Лабораторная "Введение в глубокое обучение", Лабораторная "Классификация изображений с NVIDIA DIGITS"

Регистрация

2. Микрокомпьютер Samsung Artik для задач Интернета вещей.

Преподаватель: сертифицированный инструктор Samsung.
Дата: 29 ноября, 2017 года
Время: 10:00-17:30
Место: ИСП РАН, г. Москва, ул. А.Солженицына, Аудитория 111 (схема проезда).

Слушатели мастер-класса будут иметь возможность познакомиться с социально-образовательной программой для вузов «IoT Академия Samsung». С использованием авторских наборов для быстрого прототипирования слушатели смогут на практике узнать:

  • Как устроена простая сеть IoT? Соберем и запустим свою сеть с использованием модулей беспроводной связи LoRa;
  • Как собрать данные с конечных устройств? Познакомимся с ОС Tizen, установим и запустим MQTT-сервер на микрокомпьютере Samsung ARTIK;
  • Обучение через кейсы в программе «IoT Академия Samsung». Кейс «Умная теплица»: разработаем прототип устройства и приложение;
  • Как же без облака? Познакомимся с облачным сервисом Samsung Artik Cloud.
Учебная группа сформирована
Малахов Дмитрий Валерьевич
ИОФ РАН/РНИМУ/МТУ
Кузнецов Евгений Алексеевич
ОИЯИ
Макаров Сергей Львович
ДПИ ФКН НИУ ВШЭ
Фадеев Сергей Михайлович
НИИ СОКБ
Пряхина Дарья Игоревна
ОИЯИ
Скворцов Григорий Дмитриевич
НИУ ВШЭ
Королев Сергей Владимирович
НИУ ВШЭ
Ковалев Евгений Евгеньевич
МПГУ
Семенов РУслан Эдуардович
МПГУ
Царегородцев Александр Леонидович
Югорский НИИ ИТ

3. Моделирование процессов взаимодействия тел с потоком среды: аэроупругость, гидроупругость, FSI

Преподаватель: д.т.н., доц., Щеглов Г.А.
Дата: 30 ноября, 2017 года
Время: 10:00-17:30
Место: ИСП РАН, г. Москва, ул. А.Солженицына, Аудитория 110 (схема проезда).

Мастер класс состоит из теоретической части (продолжительность 1.5 часа) и практических занятий (продолжительность 4.5 часа).

Лекция посвящена вопросам моделирования взаимодействия элементов конструкций с потоком несжимаемой среды. В лекции излагаются общие постановки задач аэроупругости и гидроупругости, а также постановка задач fluid structure interaction (FSI), не имеющих до сих пор эквивалентного русского термина. Рассматриваются различные подходы к численному моделированию задач FSI с использованием сеточных и бессеточных методов вычислительной гидродинамики.

Лекция завершается описанием модельных задач для самостоятельного решения средствами пакета OpenFOAM версии Ext и бессеточным методом вихревых элементов:

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

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

Преподаватель: д.ф.-м.н., проф., Елизарова Т.Г.
Дата: 30 ноября, 2017 года
Время: 10:00-17:30
Место: ИСП РАН, г. Москва, ул. А.Солженицына, Аудитория 111 (схема проезда).

Мастер класс состоит из теоретической части (продолжительность 1.5 часа) и практических занятий (продолжительность 4.5 часа).

Лекция посвящена вопросам моделирования сжимаемых течений вязких газообразных сред в широком диапазоне чисел Маха (0.1 — 50) в квазигазодинамическом (КГД) приближении. В лекции излагаются общие принципы получения системы КГД уравнений, приводится её общий вид, обсуждаются границы применимости, физическая интерпретация и связь с другими моделями сплошных сред – уравнениями Навье-Стокса, Эйлера. Рассматриваются преимущества КГД подхода по сравнению с более распространёнными уравнениями Н-С. Приводятся примеры аппроксимации КГД уравнений для простейших случаев и результаты расчётов некоторых типовых задач распада разрыва.

Лекция завершается описанием модельных задач для самостоятельного решения средствами пакета OpenFOAM:

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

5. Научно-практический семинар по теме

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

Дата: 30 ноября, 2017 года

Время: 14:00-16:00

Место: Президиум РАН, г. Москва, Ленинский проспект 32 "А", 3-й этаж, Бежевый зал

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

Процесс верификации формальной модели управления доступом был разработан ИСП РАН по инициативе компании АО "НПО РусБИТех" в рамках научно-исследовательской работы, стартовавшей в 2013 году. В этом году АО "НПО РусБИТех" успешно использовала результаты 4-летней НИР для прохождения сертификационных испытаний ОС Astra Linux на соответствие новым требованиям безопасности информации к операционным системам, утвержденным ФСТЭК России в 2016 году.

Программа семинара:

  • Цели и задачи научных исследований
    (А.К.Петренко, П.Н.Девянин, А.Л.Оружейников)
  • Описание процесса моделирования и верификации управления доступом операционной системы
    (А.В.Хорошилов)
  • Базовый уровень МРОСЛ ДП-модели в математической нотации
    (П.Н.Девянин)
  • Event-B спецификация базового уровня МРОСЛ ДП-модели и Спецификация системных вызовов ОС
    (В.В.Кулямин и И.В.Щепетков)
  • Модуль безопасности LSM, его спецификация и верификация
    (В.В.Кулямин и Д.В.Ефремов)
  • Мониторинг функционирования системы защиты информации операционной системы
    (Д.В.Ефремов)
  • Вопросы и обсуждение
  • Заключение