СППМ

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

(Различия между версиями)
Перейти к: навигация, поиск
Строка 10: Строка 10:
!Название курса
!Название курса
|-
|-
-
| 1. || 16, 23 марта, 16:20 || П-14 || [[СППМ/ММРБЗ|Математические методы решения биометрических задач]]
+
| 1. || 16, 23 марта, 16:20 || П-14 || [[СППМ/ММРБЗ|Математические методы решения биометрических задач]]
|-
|-
| 2. || 16, 23, 30 марта, 14:35 || П-14 || [[СППМ/ЧУМ|Некоторые проблемы теории ЧУМ]]
| 2. || 16, 23, 30 марта, 14:35 || П-14 || [[СППМ/ЧУМ|Некоторые проблемы теории ЧУМ]]
Строка 16: Строка 16:
| 3. || 10, 17, 24 марта, 16:20 || П-14 || Динамические системы и модели биологии
| 3. || 10, 17, 24 марта, 16:20 || П-14 || Динамические системы и модели биологии
|-
|-
-
| 4. || 6 апреля, 12:50, 14:35 || П-14 || Математическое моделирование в научных исследованиях
+
| 4. || 6 апреля, 12:50, 14:35 || П-14 || Математическое моделирование в научных исследованиях
|-
|-
-
| 5. || 13, 20 апреля, 16:20 || П-14 || Математическое моделирование в гуманитарных науках
+
| 5. || 13, 20 апреля, 16:20 || П-14 || Математическое моделирование в гуманитарных науках
|-
|-
| 6. || 14 апреля, 16:20, 18:00 || П-14 || Современные проблемы теории игр и исследования операций
| 6. || 14 апреля, 16:20, 18:00 || П-14 || Современные проблемы теории игр и исследования операций
|-
|-
-
| 7. || 21, 28 марта, 12:15 || П-8а || Систематизация терминологии
+
| 7. || 21, 28 марта, 12:15 || П-8а || [[СППМ/Терминология|Систематизация терминологии]]
|-
|-
| 8. || 21 апреля, 16:20, 18:00 || П-14 || Прикладная алгебраическая динамика
| 8. || 21 апреля, 16:20, 18:00 || П-14 || Прикладная алгебраическая динамика
Строка 33: Строка 33:
{|
{|
!rowspan="2" style="background-color:#D0D0D0"|пн
!rowspan="2" style="background-color:#D0D0D0"|пн
-
!colspan="3" style="background-color:#E0E0E0"|март
+
!colspan="3" style="background-color:#D0D0D0"|март
-
!colspan="4" style="background-color:#E0E0E0"|апрель
+
!colspan="4" style="background-color:#D0D0D0"|апрель
|-
|-
-
!style="background-color:#F0F0F0; width:3em"|16
+
!style="background-color:#E0E0E0; width:3em"|16
!style="background-color:#F0F0F0; width:3em"|23
!style="background-color:#F0F0F0; width:3em"|23
!style="background-color:#F0F0F0; width:3em"|30
!style="background-color:#F0F0F0; width:3em"|30
Строка 45: Строка 45:
|-
|-
!3 пара (12:50—14:25)
!3 пара (12:50—14:25)
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 72: Строка 72:
|-
|-
!6 пара (18:00—19:35)
!6 пара (18:00—19:35)
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 81: Строка 81:
|-
|-
!rowspan="2" style="background-color:#D0D0D0"|вт
!rowspan="2" style="background-color:#D0D0D0"|вт
-
!colspan="3" style="background-color:#E0E0E0"|март
+
!colspan="3" style="background-color:#D0D0D0"|март
-
!colspan="4" style="background-color:#E0E0E0"|апрель
+
!colspan="4" style="background-color:#D0D0D0"|апрель
|-
|-
-
!style="background-color:#F0F0F0"|10
+
!style="background-color:#E0E0E0"|10
-
!style="background-color:#F0F0F0"|17
+
!style="background-color:#E0E0E0"|17
!style="background-color:#F0F0F0"|24
!style="background-color:#F0F0F0"|24
!style="background-color:#F0F0F0"|1
!style="background-color:#F0F0F0"|1
Строка 93: Строка 93:
|-
|-
!3 пара (12:50—14:25)
!3 пара (12:50—14:25)
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 102: Строка 102:
|-
|-
!4 пара (14:35—16:10)
!4 пара (14:35—16:10)
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 120: Строка 120:
|-
|-
!6 пара (18:00—19:35)
!6 пара (18:00—19:35)
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 129: Строка 129:
|-
|-
!rowspan="2" style="background-color:#D0D0D0"|сб
!rowspan="2" style="background-color:#D0D0D0"|сб
-
!colspan="3" style="background-color:#E0E0E0"|март
+
!colspan="3" style="background-color:#D0D0D0"|март
-
!colspan="4" style="background-color:#E0E0E0"|апрель
+
!colspan="4" style="background-color:#D0D0D0"|апрель
|-
|-
-
!style="background-color:#F0F0F0"|14
+
!style="background-color:#E0E0E0"|14
-
!style="background-color:#F0F0F0"|21
+
!style="background-color:#E0E0E0"|21
!style="background-color:#F0F0F0"|28
!style="background-color:#F0F0F0"|28
!style="background-color:#F0F0F0"|4
!style="background-color:#F0F0F0"|4
Строка 141: Строка 141:
|-
|-
!3 пара (12:15—13:50)
!3 пара (12:15—13:50)
-
|
+
|style="background-color:#F0F0F0"|
-
|style="background-color:#D0FFD0"|7
+
|style="background-color:#D0FFD0"|[[СППМ/Терминология, 01 лекция (от 21 марта)|7]]
-
|style="background-color:#D0FFD0"|7
+
|style="background-color:#D0FFD0"|[[СППМ/Терминология, 02 лекция (от 28 марта)|7]]
|
|
|
|
Строка 150: Строка 150:
|-
|-
!4 пара (14:35—16:10)
!4 пара (14:35—16:10)
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 159: Строка 159:
|-
|-
!5 пара (16:20—17:55)
!5 пара (16:20—17:55)
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 168: Строка 168:
|-
|-
!6 пара (18:00—19:35)
!6 пара (18:00—19:35)
-
|
+
|style="background-color:#F0F0F0"|
-
|
+
|style="background-color:#F0F0F0"|
|
|
|
|
Строка 216: Строка 216:
** ''Лекция 1. Модели организации государственных инспекций и борьбы с коррупцией.'' Рассматривается ряд задач оптимальной организации бюджетопополняющих и правоохранительных инспекций: выбор проверяемых для первичного и повторного аудита, зарплаты и премии инспекторов на различных уровнях, общее число уровней и иерархии. В каждом случае поределяется оптимальная стратегия организации инспекции в зависимости от параметров.
** ''Лекция 1. Модели организации государственных инспекций и борьбы с коррупцией.'' Рассматривается ряд задач оптимальной организации бюджетопополняющих и правоохранительных инспекций: выбор проверяемых для первичного и повторного аудита, зарплаты и премии инспекторов на различных уровнях, общее число уровней и иерархии. В каждом случае поределяется оптимальная стратегия организации инспекции в зависимости от параметров.
** ''Лекция 2. Эволюционная теория игр и экономика.'' Рассматриваются основные понятия и наиболее важные приложения эволюционной теории игр в области моделирования экономического поведения. Обсуждаются модели формирования целевых функций, или эволюции предпочтений, а также модели распространения кооперации и альтруизма. Выясняются особенности эволюции социального поведения в сравнении с поведением в биологических популяциях. В этом контексте обсуждаются современные демографические проблемы и взаимодействие крупных корпораций с национальными государствами.
** ''Лекция 2. Эволюционная теория игр и экономика.'' Рассматриваются основные понятия и наиболее важные приложения эволюционной теории игр в области моделирования экономического поведения. Обсуждаются модели формирования целевых функций, или эволюции предпочтений, а также модели распространения кооперации и альтруизма. Выясняются особенности эволюции социального поведения в сравнении с поведением в биологических популяциях. В этом контексте обсуждаются современные демографические проблемы и взаимодействие крупных корпораций с национальными государствами.
 +
 +
=== Систематизация терминологии ===
 +
{{:СППМ/Терминология}}
 +
 +
{{Курс СППМ}}
 +
{{Лекции}}

Версия 17:36, 21 марта 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 Математические проблемах криптологии (защиты информации)

Расписание:

пн март апрель
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 5 5
6 пара (18:00—19:35)
вт март апрель
10 17 24 1 7 14 21
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
сб март апрель
14 21 28 4 11 18 25
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
Получено с http://esyr.name/wiki/%D0%A1%D0%9F%D0%9F%D0%9C
Личные инструменты
Разделы