Документ взят из кэша поисковой машины. Адрес оригинального документа : http://lvk.cs.msu.su/courses/
Дата изменения: Unknown
Дата индексирования: Sat Apr 9 22:26:02 2016
Кодировка: UTF-8
Учебные курсы | Лаборатория Вычислительных Комплексов

Учебные курсы

Лекционные курсы на факультете ВМК

Основные курсы ВМК:

"Введение в сети ЭВМ" (Смелянский Р.Л.)

Магистерская программа "Распределенные системы и сети":

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

Курсы кафедры АСВК

"Алгоритмы оптимизации, основанные на методе проб и ошибок" (Костенко В.А.)
"Имитационное моделирование в исследовании и разработке информационных систем" (Бахмуров А.Г.)
"Надежность программного обеспечения" (Волканов Д.Ю.)

Спецкурсы

"Встроенные информационно-управляющие системы реального времени" (ВИУС РВ) - (Балашов В.В., Волканов Д.Ю., Костенко В.А.)
"Управление проектами исследования и разработки (Волканов Д.Ю.,Качалин А.И.)

Практикум на факультете ВМК

Практикум по программированию - 1 курс (Волканов Д.Ю., Капитонова А.П.)
Практикум по программированию - 3 курс, 6 семестр (Антоненко В.А., Чемерицкий Е.В.)
Практикум по программированию - 4 курс, 7 семестр (Волканов Д.Ю.)

Ранее читавшиеся курсы

МФК "Интернет нового поколения"
"Верификация программ на моделях"
"Архитектура современных ЭВМ"
"Проектирование корпоративных сетей"
"Управление рисками в области информационной безопасности на предприятиях"
"Технический аудит защищенности информационных систем на предприятиях"
"Основы ИТ менеджмента"
"Введение в информационную безопасность"
"Практические аспекты сетевой безопасности"


Курс ?Информационная безопасность компьютерных систем?

Лекторы: профессор Грушо Александр Александрович, с.н.с. Пилюгин Павел Львович, с.н.с. Петухов Андрей Николаевич.
Занятия проходят по средам в П8а в 9.00

Курс предназначен для магистров 1го курса программ ?Распределенные системы и компьютерные сети?, ?Суперкомпьютерные системы и приложения?, ?Квантовая информатика? и ?Компиляторные технологии?. Также по желанию, данный курс могут прослушать как спецкурс студенты других магистерских программ и 4го курса бакалавриата.

Программа курса

Назад к списку курсов

Курс "Дополнительные главы компьютерных сетей"

Лектор: чл.-корр.РАН, д.ф.-м.н., проф. Смелянский Р.Л.
Этот курс читается в 9 семестре магистерской программы факультета ВМК.



Лекция 1. OTN - оптические сети передачи данных
Дополнительные материалы к лекции 1
Лекция 2. Технологии SDN/OpenFlow
Лекция 3. SDN/OpenFlow Контроллеры и приложения
Лекция 4.Системы моделирования компьютерных сетей
Лекция 5. SDN/NFV: Виртуализация сетевых функций (NFV)
Лекция 6. Системы моделирования компьютерных сетей ?2
Лекция 7. Формальные методы в компьютерных сетях
Лекция 8. Внутреннее устройство коммутаторов- механизмы обеспечения качества сервиса
Лекция 9. Введение в Сетевое Исчисление
Лекция 10. Модели распределения сетевых ресурсов
Лекция 11. Сетевые хранилища данных
Вспомогательный материал, Статья для CNEWS
Вспомогательный материал, Открытые Системы ПКС


Итоговая таблица на 5.01.16 (в печатном виде на доске ЛВК)
Экзаменационные вопросы

Задание "Качество сервиса и сетевое исчисление"
Срок сдачи: 25 декабря 2015 года. Каждый день опоздания будет штрафоваться 0,05 баллами.
Описание задания
Распределение вариантов по студентам
Шаблон для оформления результатов

Экзаменационная оценка складывается из четырех составляющих:
ответ на экзамене - до 2 баллов
за написанный по выданной теме реферат - до 0,6 балла
за рецензию за реферат сокурсника - до 0,4 балла
за выполнение упражнений (всего 5) - до 0,4 балла за каждое


Подготовка и сдача рефератов выполняется с 11 сентября по 15 ноября 2015 г. включительно.
Литература и темы для рефератов по курсу, требования к содержанию, оформлению и рецензированию
Образец титульного листа реферата

Куда отсылать рефераты: Система для подачи рефератов
23 ноября 2015 г. рефераты будут розданы на перекрестное рецензирование.
Рецензии будут приниматься до 14 декабря включительно.
За просрочку сдачи реферата, рецензии, упражнений на 1 день с оценки снимается 10%, т.е. 0,06 балла для реферата. После 10 дней просрочки оценка становится нулевой, что не отменяет необходимости сдачи реферата.

Результаты проверки задания 1
Суммарная оценка за задание равна 5 баллам + 2 балла дается за выполнении бонусной части задания.
Опоздавшие со сдачей отмечены в последней колонке (с указанием количества дней).

Задание
Варианты для каждого студента для всех групп ниже.
Срок выполнения задания 23 декабря до 10 часов утра. Опоздание - штраф по 0.05 балла в день. Сдача заранее поощряется.

521 группа
1. Багров Никита Юрьевич 1:{1;1,2,3;1}
2. Вартапетов Самвел Андреевич 2:{2;2,4;1}
3. Василенко Анатолий Эдуардович 3:{1;3;1}
4. Вашуров Илья Михайлович 4:{2;2;1}
5. Гуськов Дмитрий Алексеевич 1:{2;2,3,4;2}
6. Запутляев Иван Андреевич 2:{1;1,3;2}
7. Кочетков Павел Александрович 3:{2;3;2}
8. Линь Данил 4:{1;3;2}
9. Новоселов Алексей Дмитриевич 1:{1;1,4,6;3}
10. Савков Борис Вячеславович 2:{2;1,4;3}
11. Слюсарь Даниил Романович 3:{2;2;3}
12. Степанов Евгений Павлович 4:{2;2;3}
13. Сычева Евгения Алексеевна 1:{2;3,4,5;4}
14. Хахалин Анатолий Алексеевич 2:{1;2,3;4}
15. Чистяков Александр Сергеевич 3:{1;1;4}
16. Шемякин Роман Олегович 4:{1;1;4}
17. Шерварлы Валерия Григориевна 1:{2;2,4,6;4}
18. Шостик Александра Валерьевна 2:{1;2,3;4}
19. Яндимиркин Дмитрий Евгеньевич 3:{2;3;4}

523 группа
1. Афанасьев Илья Викторович 1:{2;2,5,6;1}
2. Волков Никита Игоревич 2:{1;1,4;1}
3. Горемыкин Александр Олегович 3:{2;2;1}
4. Даугель-Дауге Артем Александрович 4:{1;3;1}
5. Желтков Артем Александрович 1:{1;1,3,4;2}
6. Казаков Илья Васильевич 2:{2;2,4;2}
7. Новиков Александр Игоревич 3:{1;1;2}
8. Потапов Юрий Юрьевич 4:{2;2;2}
9. Скрипник Артур Михайлович 3:{2;2;3}
10.Хоткин Кирилл Алексеевич 4:{1;1;3}

527 группа
1. Баранов Максим 1:{2;3,4,5;3}
2. Белов Никита 2:{2;3,4;1}
3. Богомолов Данила 3:{1;1;1}
4. Круглов Леонид 4:{2;3;1}
5. Куликов Сергей 1:{1;5,6;4}
6. Левицкая Наталья 2:{2;2,4;2}
7. Мошкин Георгий 3:{2;2;2}
8. Скворцов Леонид 4:{1;1;2}
9. Фокина Наталья 1:{1;1,5;1}
10. Холопкин Степан 2:{1;1,3;3}
11. Шимчик Никита 3:{1;3;3}
12. Шохин Кирилл 4:{2;1;4}

528 группа
1. Владислав Шишватов 1:{1;2,3,4;2}
2. Дмитрий Зинченко 2:{1;2,3;3}
3. Иван Машонский 3:{1;1;4}
4. Павел Пархоменко 4:{1;3;3}
5. Александр Хромов 1:{2;2,3,5;3}
6. Александр Ульянов 2:{2;1,2;4}
7. Шер Арсений 4:{2;2;4}
Назад к списку курсов

МФК "Интернет нового поколения"

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


Необходимым условием сдачи зачета является посещение не менее 4 лекций.
Допускается 2 попытки сдачи.

Слайды лекций:

Лекция 1 - Обзор курса
Лекция 2 - Принцип коммутации пакетов
Лекция 3 - Принцип уровневости
Лекция 4 - Принцип инкапсуляции
Лекция 5 - Принцип имен и адресов
Лекция 6 - Интернет: 4х уровневая модель
Лекция 7 - Интернет: IP сервис
Лекция 8 - Транспортный уровень в Интернет-модели
Лекция 9 - Облачные вычисления

Назад к списку курсов

"Введение в сети ЭВМ"

Лектор: чл.-корр.РАН, д.ф.-м.н., проф. Смелянский Р.Л.
В курсе изложены основы работы современных компьютерных сетей.
Этот курс является обязательным для 3го потока 3го курса в 6м семестре.


Первая неделя 11.02.2016.
Примеры сетевых приложений
Интернет: Модель и принципы построения
Модель и основные принципы Интернета


Вторая неделя 18.02.2016.
Интернет:IP сервис
Поток байтов vs поток пакетов
Принцип коммутации пакетов
Принцип: имена и адреса
Адресация в интернет
Интернет:фрагментация
Интернет: обнаружение ошибок передачи


Третья неделя 25.02.2016
Интернет: модель TCP/UDP сервисов и транспортных потоков
Интернет:Управление потоком (Stop and Wait)
Интернет: Управление потоком (Sliding Window)
Интернет:ICMP сервисов
Принцип Е2Е


Четвертая неделя (семинар)
Рing-traceroute
Wireshark
Sw
Ifconfig и IP адреса
Utils


Пятая неделя 10.03.2016
Коммутация пакетов: сквозная задержка (e2e delay)
Комутация пакетов:Очереди и их свойства
Коммутация пакетов: как работает пакетный коммутатор
Коммутация пакетов: оценка и управление задержкой


Седьмая неделя 24.03.2016
Перегрузка
Где и как управлять перегрузкой-основные подходы
Перегрузка - TCP Tahoe
Управление перегрузкой TCP Reno


Восьмая неделя 31.03.2016
Основы маршрутизации в Интеренет
BGP



Результаты контрольной работы ?1

Результаты контрольной работы ?2
Вопросы к экзамену
Результаты работы в семестре

Назад к списку курсов

"Алгоритмы оптимизации, основанные на методе проб и ошибок"

Лектор: к.т.н., вед.н.с. Костенко В.А.
В настоящее время читается для 3го курса кафедры АСВК в 6м семестре.
Аннотация Лекционные материалы

Назад к списку курсов

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

Лектор: к.ф.-м.н., с.н.с. Бахмуров А.Г.
Курс читается в осеннем семестре и является обязательным для 3го курса кафедры АСВК в 5м семестре

Лекция 1 (03.09.2015)
Лекция 2 (03.09.2015)
Файл к заданию 1 (само задание см. в лекции 2, сдается до 01.10.2015)
Лекция 3 (10.09.2015)
Файл к лекции 3
Лекция 4 (24.09.2015) - предв. версия
Лекция 5 (24.09.2015) - предв. версия
Лекция 6 (01.10.2015) - предв. версия
Лекция 7 (08.10.2015) - предв. версия
Лекция 8 (15.10.2015)
Лекция 9 (22.10.2015)
Лекция 10 (29.10.2015) - предв. версия
Лекция 11 (12.11.2015)

Вопросы к экзамену 2015 г.
В билете один вопрос. В ходе ответа, естественно, возможны уточняющие вопросы. После ответа задаются один-три небольших дополнительных вопроса по другим темам из списка. При подготовке допустимо пользоваться материалами лекций и литературой к курсу, при ответе - нет.
При досрочной сдаче выполнение заданий 1 и 2 обязательно до экзамена. При сдаче в экзаменационную сессию отсутствие задания 2 == оценка из 4 баллов.

Программа курса и список литературы (возможны
уточнения)

Варианты задания 2 (просьба выбрать до 17.10.2015 или предложить свое), иначе будет назначено по жребию
Материалы 2014 года
Дополнительная информация

Назад к списку курсов

"Надежность программного обеспечения"

Лектор: асс. Волканов Д.Ю.
Курс читается в осеннем семестре и является обязательным для 4го курса кафедры АСВК в 7м семестре.
Цель курса - познакомить слушателей с практическими аспектами такой области как надежность программного обеспечения, получить представление о том, как разрабатывать надежное программное обеспечение (ПО).
В программу курса входит изучение следующих разделов:
  • верификация ПО
  • статический анализ ПО
  • эффективные подходы к тестированию ПО
  • средства анализа надежности ПО
  • обработка данных об отказах для принятия решений.

Экзаменационные вопросы и примеры задач (21.01.2016)
Задание 1 (18.09.2015)
Задание 2 (06.10.2015)
Задание 3 (27.10.2015)
Задание 4 (23.11.2015)
Задание 5 (02.12.2015)
Задание 6 (02.12.2015)
Программное средство RelOpt для задания 5

Лекция 1 (08.09.2015)
Лекция 2 (15.09.2015)
Лекция 3 (22.09.2015)
Лекция 4 (29.09.2015)
Лекция 5 (06.10.2015)
Лекция 6 (13.10.2015)
Лекция 7 (20.10.2015)
Лекция 8 (27.10.2015)
Лекция 9 (03.11.2015)
Лекция 10 (10.11.2015)
Лекция 11 (01.12.2015)


Назад к списку курсов

"История прикладной математики"

Лектор: доц. Власов В.К.,асс. Волканов Д.Ю.
Лекция 9 (06.11.2014)

Назад к списку курсов

"Встроенные информационно-управляющие системы реального времени" (ВИУС РВ)

Спецкурс для студентов 2-4 курсов
Лекторы: вед.н.с. Костенко В.А, н.с. Балашов В.В., асс. Волканов Д.Ю.

В весеннем семестре 2014-2015 учебного года спецкурс будет проводиться по понедельникам, с 16.20, ауд. 612, первая лекция состоится 02 марта

Презентации к лекциям:
Лекция 1 - Введение в ИУС РВ (02.03.2015)
Лекция 2 - Магистральные и локальные каналы (16.03.2015)
Лекция 3 - Коммутируемые сети в ИУС РВ (23.03.2015)
Лекция 4 - Архитектура процессоров для ИУС РВ (30.03.2015)
Лекция 5 - ОС РВ, использующие статико-динамическую модельвычислений (06.04.2015)
Лекция 6 - Архитектура вычислительных блоков ИУС РВ (13.04.2015)
Лекция 7 - Операционные Системы Реального Времени (20.04.2015)
Лекция 8 - Технология и инструментальные средства поддержки жизненного цикла ПО встроенных ИУС РВ (27.04.2015)
Лекция 9 - Алгоритмы планирования вычислений в ИУС РВ (18.05.2015)

Вопросы по курсу 2015 года
Некоторые статьи сотрудников ЛВК по ИУС РВ (раздел будет дополняться)

Назад к списку курсов

"Программно-конфигурируемые сети"

Математический спецкурс для студентов факультета ВМК
Курс читает: Шалимов Александр Владиславович, к.ф.-м.н.

Курс предполагает углубленное изучение основ программно-конфигурируемых сетей и подходов к практической реализации новых технологий в современных сетях передачи данных.
Программно-конфигурируемые сети одна из самых востребованных на данный момент технологий в области компьютерных сетей. Технология предназначена для повышения гибкости и скорости управления сетями, ускорения ввода новых сервисов на рынок. Технология уже применяется в известных компания, таких как Google, Microsoft, Amazon, VmWare, AT&T и др.
В рамках дополнительного задания студентам предлагается реализовать приложение для ПКС контроллера, используя один из рассматриваемых протоколов управления.
Ключевые слова: ПКС, Программно-конфигурируемые сети, SDN, Software Defined Networking, Контроллер, OpenFlow, OFDPA, NetConf, OFDPA, POF, P4, WiFi, CapWap, Software Defined Radio.

Назад к списку курсов

Лекционные курсы в магистратуре факультета ВМиК

"Проектирование корпоративных сетей"

Курс читает м.н.с.Петухов А.А.
В курсе рассматривается композитная модель сети предприятия и типовые
требования к сети. Подробно освещается методика проектирования сети предприятия,
состоящая из таких этапов, как проектирование внутренней сети и периметра
предприятия, проектирование сетевых сервисов (управление сетью, управление
качеством услуг, обеспечение высокой готовности, обеспечение информационной
безопасности и сервис групповой рассылки) и проектирование сетевых решений
(беспроводной доступ к сети и IP телефония).

Назад к списку курсов

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

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

Назад к списку курсов

"Технический аудит защищенности информационных систем на предприятиях"

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

Назад к списку курсов

"Основы ИТ менеджмента"
Курс читает к.ф.-м.н. Козлов Д.Д.
В курсе рассматриваются вопросы выстраивания экономически эффективной
ИТ-инфраструктуры предприятия на основе сервисно-ориентированной модели ITSM.
В рамках курса изучается библиотека IT Infrastructure Library и рассматриваются
процессы управления информационно-коммуникационной инфраструктурой, предоставления
и поддержки услуг.

Назад к списку курсов

Практикум на факультете ВМиК

Практикум по программированию
Практикум по программированию на Паскаль и Ассемблер. Волканов Д.Ю., Капитонова А.П.

Назад к списку курсов

Ранее читавшиеся курсы

"Верификация программ на моделях"

Курс читает к.ф.-м.н. Савенков К.О.
В курсе излагается один из наиболее распространенных подходов к формальной проверке правильности программ ? верификация программ на моделях (model checking). Слушателям даются навыки моделирования и абстракции программ, формального рассуждения о свойствах программ. Излагается математическая модель описания программы (графы программ), поведения программы (размеченные системы переходов), функционирования программы (операционная семантика), описания требований к программе (свойства линейного времени). В курсе речь идет как о последовательных программах, так и о параллельных. Практикум по курсу выполняется при помощи инструментальной системы SPIN.

Назад к списку курсов

"Архитектура современных ЭВМ"

Лектор: асс. Волканов Д.Ю.
Курс читается в осеннем семестре и является обязательным для групп 307, 501, 502, 507 и 509 групп
В курсе рассматриваются современные архитектуры вычислительных систем (Core I7, ARM) на всех уровнях от уровня вентилей до уровня языка верхнего уровня. Материалы 2014 года.

Список вопросов
Список рефератов


Лекция 1 (04.09.2014)
Лекция 2 (11.09.2014)
Лекция 3 (18.09.2014)
Лекция 4 (25.09.2014)
Лекция 5 (09.10.2014)
Лекция 6 (16.10.2014)
Лекция 7 (23.10.2014)
Лекция 8 (30.10.2014)
Лекция 9 (06.11.2014)
Лекция 10 (13.11.2014)
Лекция 11 (20.11.2014)
Лекция 12 (27.11.2014)

Назад к списку курсов

"Введение в информационную безопасность"

Курс читают: с.н.с., к.ф.-м.н. Гамаюнов Д. Ю., м.н.с. Андрей Петухов, Владимир Иванов (Яндекс)
Курс знакомит слушателей с практическими аспектами такой мультидисциплинарной области как информационная
безопасность, дает представление о том, как разрабатывать защищенное программного обеспечение, защищать
уже существующие вычислительные системы или исследовать их защищенность.
В программу вводного курса входит изучение следующих разделов: основные задачи защиты информации и
методы их решения, программные уязвимости и их эксплуатация, основы криптографии и криптоанализа, формальные
модели безопасности и их реализации в современных операционных системах.

Назад к списку курсов

"Практические аспекты сетевой безопасности"

Курс читают: с.н.с., к.ф.-м.н. Гамаюнов Д. Ю., м.н.с. Андрей Петухов, Владимир Иванов (Яндекс)
Курс предназначен для студентов, желающих получить знания и навыки, связанные с практикой информационной безопасности.
В курсе рассмотрены основные проблемы защиты информации в современных компьютерных сетях и способы их решения, методы
решения практических задач, связанных с информационной безопасностью. Основной акцент практической составляющей сделан на
ОС семейства Linux и стеке протоколов TCP/IP. В программу курса входит изучение следующих разделов: ?компьютер это сеть? -
особенности защиты информации в сетях, контроль доступа в сетях, безопасность веб-приложений, примеры прикладных задач, связанных с сетевой безопасностью.

Назад к списку курсов

Password: