СППМ

Материал из eSyr's wiki.

(Различия между версиями)
Перейти к: навигация, поиск
Строка 107: Строка 107:
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
|style="background-color:#F0F0F0"|
-
|style="background-color:#F0F0F0"|
+
|
|
|
|-
|-

Версия 13:51, 15 апреля 2009

Содержание

Современные проблемы прикладной математики

Сводный курс.

Расписание мини-курсов

Дата, время Место Название курса
1. 16, 23 марта, 16:20 П-14 Математические методы решения биометрических задач
2. 16, 23, 30 марта, 14:35 П-14 Некоторые проблемы теории ЧУМ
3. 10, 17, 24 марта, 16:20 П-14 Динамические системы и модели биологии
4. 6 апреля, 12:50, 14:35 П-14 Математическое моделирование в научных исследованиях
5. 13, 20 апреля, 16:20 П-14 Математическое моделирование в гуманитарных науках
6. 14 апреля, 16:20, 18:00 П-14 Современные проблемы теории игр и исследования операций
7. 21, 28 марта, 12:15 П-8а Систематизация терминологии
8. 21 апреля, 16:20, 18:00 П-14 Прикладная алгебраическая динамика
9. 13 апреля, 12:50, 14:35 П-14 Математические проблемах криптологии (защиты информации)
10. 30 марта, 8, 10 апреля; 16:20 П-5 Мини-курс кафедры вычислительных технологий и моделирования

Расписание:

пн март апрель
9 16 23 30 6 13 20 27
3 пара (12:50—14:25) 4 9
4 пара (14:35—16:10) 2 2 2 4 9
5 пара (16:20—17:55) 1 1 10 5 5
6 пара (18:00—19:35)
вт март апрель
10 17 24 31 7 14 21 28
3 пара (12:50—14:25)
4 пара (14:35—16:10)
5 пара (16:20—17:55) 3 3 3 6 8
6 пара (18:00—19:35) 6 8
ср март апрель
11 18 25 1 8 15 22 29
3 пара (12:50—14:25)
4 пара (14:35—16:10)
5 пара (16:20—17:55) 10
6 пара (18:00—19:35)
пт март апрель май
13 20 27 3 10 17 24 1
3 пара (12:50—14:25)
4 пара (14:35—16:10)
5 пара (16:20—17:55) 10
6 пара (18:00—19:35)
сб март апрель май
14 21 28 4 11 18 25 2
3 пара (12:15—13:50) 7 7
4 пара (14:35—16:10)
5 пара (16:20—17:55)
6 пара (18:00—19:35)

Математические методы решения биометрических задач

  • Объём: 4 часа
  • Кафедра: кафедра математической физики
  • Лектор: к. ф.-м. н., доцент А. С. Крылов
  • Программа курса:
    • Лекция 1. Линейные методы и регуляризующий метод нелинейного адаптивного повышения разрешения изображений. Метод суперразрешения получения изображения высокого разрешения по набору изображений низкого разрешения. Применения для повышения разрешения изображения лица на видео
    • Лекция 2. Задача распознавания человека по изображению радужной оболочки глаза. Этапы предобработки изображений глаз. параметризация на основе проекционного методы обращения преобразования Фурье. Проблемы реальной практической реализации метода
  • Материалы курса будут выложены на сайте лаборатории математических методов обработки изображений кафедры математической физики: http://imaging.cs.msu.su


Некоторые проблемы теории ЧУМ

  • Объём: 6 часов
  • Кафедра: методов математического прогнозирования
  • Лектор: к. ф.-м. н., доцент С. И. Гуров
  • Программа курса: излагается материал по частично упорядоченным (ч. у.) множествам, мало освещённый в отечественной математической литературе и, как правило, отсутствующий в традиционных курсах математических дисциплин (кроме очень узкоспециальных). Вводятся операции, которые могут производиться над ч. у. множествами и рассматриваются важные понятия полуидеала, размера и замыкания Дедекинда-Макнилла ч. у. множеств. Изучается практически важное понятие размерности, основанное на теоремах Шпильрайна-Дашника-Миллера и Оре. Представлены результаты по данной тематике, полученные в последнее время (как правило, зарубежными исследователями и не опубликованные на русском языке). Отмечаются нерешённые проблемы теории. Обсуждаются вопросы несводимости ч. у. множеств в связи с т. н. «проблемой В. Д. Ногина»


Динамические системы и модели биологии

  • Объём: 6 часов
  • Кафедра: системного анализа
  • Лектор: профессор Александр Сергеевич Братусь
  • Отчетность: посещения + реферат
  • Программа курса:
    1. Модели численности популяций (логистический рост, закон Гомперца, эффект Олли, гиперболический рост популяции населения Земли). Линейная скорость роста, как марковская цепь с непрерывным временем и дискретными состояниями. Дискретные модели. Теорема Шарковского. Модель взаимодействия загрязнения и окружающей среды. Модель вспышки численности
    2. Математические модели взаимодейстивя популяций. Модель «хищник-жертва». Модель конкуренции. Биологические осцилляторы. Модели распределения эпидемии и терапии.
    3. Модель предбиологической эволюции. Теория квазивидов М. Эйгена. Эволюция гиперциклов.

Математическое моделирование в научных исследованиях

  • Объём: 4 часа
  • Кафедра: автоматизации научных исследований
  • Лектор: зав. каф. АНИ, чл.-корр. РАН Д. П. Костомаров (Лекция 1), проф. А. М. Попов (Лекция 2)
  • Программа курса:
    • Лекция 1. Математическое моделирование в задачах управляемого синтеза. Будет представлена история развития идей в проблеме управляемого термоядерного синтеза. Показана роль разработки вычислительных моделей в теоретическом анализе и предсказании удержания и нагрева плазмы в установках управляемого термоядерного синтеза.
    • Лекция 2. «Вычислительные нанотехнологии». Лекция посвящена вычислительным аспектам, возникающим при создании устройств нано-размеров. Основной акцент ставится на описании многомасштабных моделей для описания систем частиц от квантового уровня до моделирования молекулярной динамики и сплошной среды. Приводятся основные методы, положенные в основу современных пакетов параллельных программ, реализованных в мире на суперкомпьютерах в мире для изучения и проектирования нано-систем.

Математическое моделирование в гуманитарных науках

  • Объём: 4 часа
  • Кафедра: вычислительных методов
  • Лектор: д. ф.-м. н., проф. А. П. Михайлов
  • Программа курса:
    • Лекция 1. Особенности математического моделирования процессов с участием «человеческого фактора». Простейшие модели социологии
    • Лекция 2. Некоторые сложные модели социологии и политологии — модель выбора позиции социальной общностью, модель системы «Власть—Общество»

Современные проблемы теории игр и исследования операций

  • Объём: 4 часа
  • Кафедра: исследования операций
  • Лектор: д. ф.-м. н., проф. А. А. Васин
  • Отчетность: реферат
  • Программа курса:
    • Лекция 1. Модели организации государственных инспекций и борьбы с коррупцией. Рассматривается ряд задач оптимальной организации бюджетопополняющих и правоохранительных инспекций: выбор проверяемых для первичного и повторного аудита, зарплаты и премии инспекторов на различных уровнях, общее число уровней и иерархии. В каждом случае поределяется оптимальная стратегия организации инспекции в зависимости от параметров.
    • Лекция 2. Эволюционная теория игр и экономика. Рассматриваются основные понятия и наиболее важные приложения эволюционной теории игр в области моделирования экономического поведения. Обсуждаются модели формирования целевых функций, или эволюции предпочтений, а также модели распространения кооперации и альтруизма. Выясняются особенности эволюции социального поведения в сравнении с поведением в биологических популяциях. В этом контексте обсуждаются современные демографические проблемы и взаимодействие крупных корпораций с национальными государствами.

Систематизация терминологии

  • Объём: 4 часа
  • Кафедра: кафедра алгоритмических языков
  • Лектор: д. ф.-м. н., профессор Словьёв Сергей Юрьевич (mailto:soloviev@jscc.ru)
  • Форма отчётности: [www.park.glossary.ru/reports.htm реферат]
  • Программа курса:
    • Лекция 1. Систематизация терминологии
      • Наука «Терминоведение»
      • Словари, глоссарии, энциклопедии
      • Служба тематических толковых словарей
      • Универсальное терминологическое пространство
      • Технология формирования технологического пространства
      • Свойства терминологического пространства
      • Интернет-проект универсальной системы терминологии
      • «Интеллектуальные» преобразования терминологических структур
    • Лекция 2. Системы поддержки творческой деятельности
      • Личные картотеки
      • Психологические механизмы ведения картотек
      • Архитектура систем поддержки творческой деятельности
      • Структуры данных для представления электронных картотек
      • Функциональное наполнение систем поддержки творческой деятельности



Современные проблемы прикладной математики
Математические методы решения биометрических задач 1 2
Некоторые проблемы теории ЧУМ 1 2 3
Систематизация терминологии 1 2


Лекции

10 семестр История развития вычислительных технологий в СССР, России | Современные проблемы прикладной математики
9 семестр Формальная спецификация и верификация программ | Теория игры и исследования операций | История и методология прикладной математики | Основы российского права | История религии | Параллельная обработка данных
8 семестр Верификация программ на моделях | Математические основы теории прогнозирования | Основы квантовой физики и квантовых вычислений | Методы оптимизации | Распределённые операционные системы
7 семестр Вычислительные Системы | Объектно-ориентированные Анализ и Проектирование | Искусственный Интеллект | Математическая Логика | Функциональный Анализ | Социология | Параллельная Обработка Данных
6 семестр Основы Кибернетики | Численные Методы | Конструирование Компиляторов | Компьютерные Сети
5 семестр Базы Данных | Языки Программирования | Экономические Науки
3 семестр Операционные системы

Спецкурсы
Осень 2013 Современная криптография | Дизайн и реализация ОС FreeBSD
Весна 2011 Практические аспекты сетевой безопасности | Сетевое администрирование в UNIX
Осень 2010 UNИX | Теория функционального программирования. Язык Haskell | Введение в информационную безопасность | Информационный поиск
Весна 2010 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем | Язык Ада
Осень 2009 UNИX | Введение в парадигмы программирования
Весна 2009 UNИX | Архитектура и программирование массивно-параллельных вычислительных систем
Осень 2008 UNИX | Структурные методы обработки изображений и сигналов
Весна 2008 UNИX | Вопросы организации вычислительных кластеров на основе UNIX-серверов | Философия математики
Осень 2007 UNИX
Весна 2007 UNИX | Практика мультипарадигмального программирования
Осень 2006 Введение в теорию построения оптимизирующих компиляторов

Отдельные лекции Bruce Eckel, The State of The Java Union | Richard Stallman: Free software: ethics and practice, Copyright vs Community in the Age of Computer Networks | Наану Александр, Vim | Erinn Clark, The Tor Project: Anonymity Online
Личные инструменты
Разделы