Сроки проведения с 8 по 14 сентября 2013 года Место проведения - shikardos.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Отчет по итогам проведения месячника математики, физики и информатики... 1 42.23kb.
Сведения о повышении квалификации (тематика, сроки, место проведения... 1 97.85kb.
Информация об руководителях 1 205.33kb.
Уроками. № Оу тема форма проведения место проведения дата и время... 1 15.1kb.
Программа соревнований Дата проведения Место проведения Ответственный... 1 54.07kb.
Купон Приз 1 50.42kb.
Правила проведения Акции «Курс на стройность!» «20» сентября 2013... 1 148.11kb.
Учебный год Сроки проведения Олимпиады. Первый этап с 07 октября... 1 29.34kb.
Программа начала свое действие 10 сентября 2013 года Сроки реализации... 1 110.54kb.
Условия стимулирующей акции «1000-й покупатель» Даты проведения акции... 1 13.74kb.
Книга Культура 03 05 декабря 2013 года Место проведения: Санкт-Петербург... 1 18.35kb.
Российская летняя школа по информационному поиску (Russir) 1 59.79kb.
- 4 1234.94kb.
Сроки проведения с 8 по 14 сентября 2013 года Место проведения - страница №1/1

Название мероприятия

5ая Летняя школа МФТИ-университета Иннополис по высокопроизводительным вычислениям и их приложениям к задачам современной биологии и медицины


Сроки проведения

с 8 по 14 сентября 2013 года


Место проведения

Г. Казань, университет Иннополис.


Рабочий язык – русский. Часть лекций иностранными профессорами читается на английском языке.
Цели Школы

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

  2. Дать представление о базовых моделях математической биологии и методах решения уравнений этих моделей.

  3. Дать основные знания по распараллеливанию алгоритмов и программ решения уравнений базовых моделей с использованием комплексов различной архитектуры.

  4. Выработать у слушателей навыки работы с использованием коммуникационных сред (MPI) и программных моделей (CUDA).


Тематика лекций
Обзорные лекции по актуальным проблемам современной биологии и биотехнологии, приложениям к медицинским задачам. Современные математические модели (Паоло ди Нардо, 3 лекции)
Базовые модели математической биологии (д.ф.-м.н., профессор А.И. Лобанов) – 3 лекции
Лекция 1. Популяционные модели. Задача Колмогорова-Петровского-Пискунова о «диффузии гена» в популяции. Распространение импульсов в нервном волокне – базовая модель ФитцХью-Нагумо, модель Ходжкина-Хаксли. Связь математических моделей в частных производных с системами ОДУ. Задача А.Тьюринга о морфогенезе. Неустойчивость Тьюринга. Система «Брюсселятор»

Лекция 2. Колебательная неустойчивость. Бегущие волны в средах. Простейшие математические модели процесса свертывания крови. Свойства математической модели В.Зарницыной и Ф.Атауллаханова.

Лекция 3. Численные методы решения уравнений базовых моделей. Требования к численным методам. Конечно-разностные методы. Явные и неявные разностные схемы. Понятие о методах конечных элементов.
Введение в распараллеливание алгоритмов и программ (к.ф.-м.н., доцент В.Е. Карпов)
Предлагаемый теоретический курс рассчитан на 8 академических часов. В результате изучения курса слушатели будут знать:


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

  • основы архитектуры параллельных вычислительных комплексов;

  • основные технологические этапы разработки параллельных программ;

  • принципы асимптотического анализа алгоритмов;

  • методы декомпозиции последовательных алгоритмов и программ;

  • способы эквивалентных и неэквивалентных преобразований последовательных программ, позволяющих использовать их на параллельных вычислительных комплексах.

Содержание курса




  1. Проблемы эволюции вычислительных систем. Парадигмы последовательного и параллельного программирования

Три кризиса в развитии программного обеспечения.

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

Парадигма последовательного программирования. Этапы содержательной задачи, математической модели, алгоритма, программы, процессов. Модели последовательного программирования.

Парадигма параллельного программирования. Модели параллельного программирования. Этапы декомпозиции, назначения, оркестровки, отображения.




  1. Элементы асимптотического анализа алгоритмов

Основные принципы асимптотического анализа алгоритмов.

Терминология и обозначения. Асимптотические отношения. Сравнение последовательных алгоритмов. Оптимальность последовательного алгоритма.

Вычислительная модель RAM. Пример асимптотического анализа сложности последовательного алгоритма выбора элемента из множества.

Основная теорема асимптотического анализа и ее использование.

Вычислительные модели PRAM. Ускорение при распараллеливании. Стоимость параллельного алгоритма. Оптимальность алгоритма по стоимости.


  1. Декомпозиция алгоритмов на уровне операций

Форма записи алгоритмов. Понятие о графе алгоритма.

Строго параллельные формы графа, каноническая параллельная форма. Соотнесение строго параллельных форм с выполнением алгоритма на конкретных архитектурных решениях.

Ярусы параллельной формы, их ширина и высота.

Концепция неограниченного параллелизма.

Определение максимально возможного ускорения по ярусно-параллельной форме алгоритма.


  1. Укрупнение параллельных ярусов

Декомпозиция алгоритмов и программ на уровне операторов и блоков операторов.

Условия Бернстайна (Bernstein) и их нарушение.

Истинная или потоковая зависимость операторов, антизависимость, зависимость по выходным данным. Графы зависимостей. Зависимости по управлению и ресурсам.

Связь зависимостей операторов с возможностью одновременного выполнения.




  1. Параллельность циклов

Простые циклы: расстояние зависимости; зависимости, связанные и несвязанные с циклом.

Вложенные циклы. Вектора зависимости и направлений. Их использование для определения возможности распараллеливания циклов.

Эквивалентное преобразование программ, эквивалентные алгоритмы. Способы распараллеливания: loop distribution, code replication, loop alignment, приватизация переменных, индукция и редукция.
Математическое моделирование белок-белковых взаимодействий с использованием программной модели CUDA (к.ф.-м.н. А.А. Жмуров) (*возможна замена курса близким по содержанию другого автора, аннотация и программа будет выслана позднее)
Биологические системы и их свойства

Белки, белок -белковые комплексы и агрегаты, ДНК, РНК, комплексы ДНК и РНК с белками. Биологические функции белков, белок -белковых комплексов и агрегатов. Биологические свойства молекул ДНК и РНК.

2. Фундаментальные биологические процессы. Фолдинг белка, механическая и термическая денатурация белка, формирование и распад белок-белковых комплексов и агрегатов. Примеры.

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

4. Реализации численных методов молекулярного моделирования. Уравнения Ньютона и Ланжевена. Генераторы случайных чисел на центральном процессоре (ЦП) и графическом сопроцессоре (ГП). Численное интегрирование уравнений движения на ЦП и ГП.

Ковалентные взаимодействия: реализации расчёта сил на ЦП и на ГП.

Невалентные взаимодействия: задача N тел. Методы оптимизации алгоритмов на ГП.

Подход «паралеллизация по частицам», использование разделяемой памяти для ускорения вычислений.

Списки соседей (Верле). Потенциалы с переключением. Граничные условия.

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



  1. Реализация алгоритмов на ГП. Подход «паралеллизации по взаимодействующим тройкам частиц».

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

Типы файлов, используемых в молекулярной динамике. Файлы координат, топологии, бинарные файлы координат. Базы данных белковых структур (pdb.org), использование программы VMD




  1. Эксперимент, моделирование и теория. Эксперименты на единичных молекулах АСМ и их моделирование. Сложность в сопоставлении данных экспериментов с результатами моделирования. Упрощённые модели. Процесс Орнштейна-Уленбека. Расчёт температуры с использованием распределения Максвелла-Больцмана, расчёт давления, объёма системы. Модель цепи Рауса. Модели воды.



Программная модель CUDA (А.В. Шевченко) – 1 лекция

Тематика зачетного проекта
Предлагается референс-код, в котором реализован неявный метод повышенного порядка аппроксимации для решения задачи А.Тьюринга о морфогенезе. В референс-коде реализован нераспаралелливающийся метод матричной прогонки. Цель – отказ от алгоритма прогонки, замена его редукционным алгоритмом.

Зачетная задача достаточно трудная для решения, при нормальном отборе участников ее в срок делает 20-25% аудитории. Остальные имеют возможность прислать Организаторам свои решения по электронной почте в течение 3 недель после окончания Школы.



Состав участников (преподавателей)
Лекторы (Россия)– Лобанов А. И., д.ф.-м.н., профессор, Карпов В.Е., к.ф.-м.н., доцент, Жмуров А.А., к.ф.-м.н., Шевченко А.В. С обзорными лекциями приглашены Атауллаханов Ф.И., д.б.н., профессор (темы лекций –модели деления клеток, процессы свертывания крови), Алиев Р.Р., д.ф.-м.н., профессор (моделирование электрической активности сердца), подтверждение ожидается.

Паоло ди Нардо (Paolo di Nardo, Università degli Studi di Roma Tor Vergata) – специалист в области биологии стволовых клеток и искусственных органов. По базе данных Scopus индекс цитирования 814, индекс Хирша 13. Директор научно-исследовательского института в Риме, есть интерес к развитию сотрудничества с российскими учреждениями в области моделирования задач биологии (митоз, проблемы иммунного барьера, проблемы выращивания искусственных органов, стволовые клетки и т.д.)

Практика – Шевченко А.В., Цыбулин И.В. (МФТИ), Долуденко А.Н.(к.ф.-м.н., н.с. ОИВТ РАН)

Организационное сопровождение (связанное с пребыванием ди Нардо) с 8 по 11 сентября – Павлюкова Е.Р.


Требования к слушателям
Уровень образования – не ниже 4 года бакалавриата (4 курса для специалистов). Технические ВУЗы, университеты – факультеты механико-математический, физический, биологический, прикладной математики и т.п.

Владение языками программирования – С/C++ (обязательно)

Желательно знание ОС Unix на уровне пользователя

Должны быть прослушаны курсы дифференциальных уравнений, желательно – курсы вычислительной математики и уравнений математической физики.

Отбор проводится на основе заполненных анкет (образец прилагается) и мотивировочных писем (форма свободная).
Предварительное расписание Школы

8 сентября (воскресенье) – торжественное открытие.

Лекция 1 – П. ди Нардо

Обед


Либо – обзорные лекции (Алиев, Атауллаханов), либо – Лекция 2 (В.Е. Карпов), Практикум 1 (введение в Unix)

9 сентября (понедельник)

Лекции 2, 3, 4 – Ди Нардо, Карпов, Лобанов

обед


Практикумы 1,2(или 2,3)

10 сентября (вторник)

Лекции 4, 5, 6 – Ди Нардо, Карпов, Лобанов

обед


Практикумы 3,4(или 4,5)

11 сентября (среда)

Лекции 7, 8,9 – Карпов, Лобанов, Шевченко

обед


Практикумы 5,6(или 6,7)- работа над проектом

12 сентября (четверг)

Лекции 10,11,12 – Карпов, Жмуров, Жмуров

обед


Практикумы 7,8(или 8,9)- работа над проектом

13 сентября (пятница)

Лекции 13,14– Жмуров, Жмуров

обед


Практикумы 9-11(или 10-12)- работа над проектом

14 сентября (суббота)

Практикумы 12,13 (или 13,14)- работа над проектом, сдача проекта

обед


Торжественное закрытие