МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ РОССИЙСКОЙ ФЕДЕРАЦИИ Саратовский государственный университет имени Н.Г. Чернышевского

реклама
МИНИСТЕРСТВО ОБРАЗОВАНИЯ И НАУКИ
РОССИЙСКОЙ ФЕДЕРАЦИИ
Саратовский государственный университет имени Н.Г. Чернышевского
Факультет компьютерных наук и информационных технологий
УТВЕРЖДАЮ
___________________________
"__" __________________20__ г.
Рабочая программа дисциплины
ТЕОРИЯ ПОСТРОЕНИЯ ОТКАЗОУСТОЙЧИВЫХ СИСТЕМ
Направление подготовки
230100 – Информатика и вычислительная техника
Профессионально-образовательная программа
Сети ЭВМ и телекоммуникации
Квалификация (степень) выпускника
Магистр
Форма обучения
Очная
Саратов,
2013
1. Цели освоения дисциплины
Целями освоения дисциплины «Теория построения отказоустойчивых
систем» являются: формирование у обучающихся компетенций, связанных с
пониманием теоретических основ построения отказоустойчивости систем.
2. Место дисциплины в структуре ООП магистратуры
Данная учебная дисциплина входит в раздел «М1.В.2 Общенаучный
цикл (вариативная часть)» ФГОС-3.
Для изучения дисциплины необходимы компетенции, сформированные
у обучающихся в результате изучения естественнонаучных дисциплин по
программе подготовки бакалавриата или специалитета: «Алгебра», «Дискретная математика», «Теория вероятностей и математическая статистика»,
«Теория информации», «Математическая логика и теория алгоритмов»,
«Прикладная универсальная алгебра».
Компетенции, знания, умения и готовности, сформированные у обучающихся в результате освоения данной дисциплины, могут быть полезны при
изучении следующих курсов: «Протоколы сетей передачи данных», «Сетевые архитектуры», «Методы и средства защиты информации в компьютерных сетях».
3. Компетенции обучающегося, формируемые в результате освоения дисциплины «Теория построения отказоустойчивых систем»
Данная дисциплина способствует формированию следующих компетенций:
 способен совершенствовать и развивать свой интеллектуальный и общекультурный уровень (ОК-1);
 применять перспективные методы исследования и решения профессиональных задач на основе знания мировых тенденций развития вычислительной техники и информационных технологий (ПК-1);
 формировать технические задания и участвовать в разработке аппаратных и/или программных средств вычислительной техники (ПК-4);
 выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации (ПК-5);
 применять современные технологии разработки программных комплексов с использованием CASE-средств, контролировать качество
разрабатываемых программных продуктов (ПК-6).
В результате освоения дисциплины обучающийся должен:
- знать:
 основные понятия теории отказоустойчивости и гарантоспособных систем;
 основные понятия теории графов;
 основные графовые модели отказоустойчивости;
- уметь:
 разрабатывать математические модели процессов и объектов, методы
их исследования, выполнять их сравнительный анализ;
 планировать, организовывать и проводить научные исследования;
 использовать типовые программные продукты, ориентированные на
решение научных, проектных и технологических задач;
корректно применять модели, основанные на графах, к исследованию
отказоустойчивости вычислительных систем;
- владеть:
 терминологией в области отказоустойчивости;
 терминологией теории графов;
 методами управления знаниями;
 методами научного поиска.
 навыками самостоятельной научно-исследовательской и научнопедагогической деятельности, методиками сбора, переработки и представления научно-технических материалов по результатам исследований к опубликованию в печати, а также в виде обзоров, рефератов, отчетов, докладов и лекций.
Раздел дисциплины
Семестр
Неделя семестра
Лекции
1
1
2
Основные понятия
отказоустойчивости
Основные понятия
теории графов
Графовые модели от-
3
1
4
1-2
5
8
6
2
7
8
6
1
3-4
20
2
6
12
1
5-8
22
4
6
12
2
3
Виды учебной работы, включая самостоятельную работу
студентов и трудоемкость (в часах)
Лабораторные
(Практические)
занятия
Самостоятельная
работа
№
п/п
Всего часов
4. Структура и содержание дисциплины НАИМЕНОВАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 4 зачетные единицы 144
часа.
Формы текущего
контроля успеваемости (по неделям семестра)
Формы промежуточной аттестации (по семестрам)
9
Контрольная ра-
казоустойчивости
4
5
Отказы элементов
1
Отказы связей
1
Промежуточная аттестация
ИТОГО
бота №1
на 4 неделе
9-12
13-16
29
29
4
4
10
10
15
15
144
16
32
60
Экзамен
36
Раздел «Основные понятия отказоустойчивости». Системы и вычислительные системы. Гарантоспособность и ее свойства. Понятие отказа, сбоя,
ошибки. Отказоустойчивость. Статическая и динамическая отказоустойчивость.
Раздел «Основные понятия теории графов». Определение графа. Виды
графов. Подграфы и части графа. Изоморфизм, автоморфизм, вложение. Реконструируемость графов.
На практических занятиях: вычисление основных инвариантов графов,
реконструкция графа по его колоде.
Раздел «Графовые модели отказоустойчивости». Различные модели
отказов. Вершинные и реберные расширения графов. Сложность задачи. Оптимальность. Минимальные, неприводимые, точные расширения. Основные
свойства.
На практических занятиях: построение вложения графа, проверка изоморфизма, построение группы автоморфизмов графа.
Раздел «Отказы элементов». Минимальные вершинные расширения
цепи, цикла, предполных графов, турниров.
На практических занятиях: построение минимальных и неприводимых
вершинных расширений графов.
Раздел «Отказы связей». Минимальные реберные расширения цепи,
цикла, предполных графов, турниров.
На практических занятиях: построение минимальных и неприводимых
реберных расширений графов.
5. Образовательные технологии
Образовательные технологии:
 лекционные занятия;
 семинарские занятия;
 самостоятельная внеаудиторная работа;
 дискуссии на заданную тему.
Лекционные занятия проводятся в традиционной форме. При проведении части лекционных занятий используется ПК и мультимедийный проектор. На лекционных занятиях проводятся экспресс-опросы по пройденному
материалу и дискуссии на тему, предложенную для самостоятельной проработки.
Часть лекций происходит в форме лекции-беседы, позволяющей привлечь внимание студентов к наиболее важным вопросам темы и определяющей темп изложения учебного материала с учетом особенностей студентов.
Методы обучения, применяемые при изучении дисциплины, способствуют закреплению и совершенствованию знаний, овладению умениями и
получению навыков в области современного материаловедения. Содержание
учебного материала диктует выбор методов обучения:
 информационно-развивающие – лекция, объяснение, демонстрация,
решение задач, самостоятельная работа с рекомендуемой литературой;
 проблемно-поисковые и исследовательские – самостоятельная проработка предлагаемых проблемных вопросов по дисциплине.
7. Учебно-методическое и информационное обеспечение дисциплины
а) основная литература:
1. Абросимов М.Б. Графовые модели отказоустойчивости. — Саратов:
Изд-во Саратовского гос. ун-та, 2012.
б) дополнительная литература:
1. Богомолов А.М., Салий В.Н. Алгебраические основы теории дискретных систем. – М.: Наука, 1997.
2. Кормен Т., Лейзерсон Ч., Ривест Р., Штайн К. Алгоритмы: построение
и анализ / под ред. И. В. Красикова. – 2-е изд. – М.: Вильямс, 2005.
в) программное обеспечение и Интернет-ресурсы
1. Абросимов М.Б., Долгов А.А. Практические задания по графам. – Саратов: Научная книга, 2009.
http://www.sgu.ru/files/nodes/11017/ М.Б., Долгов А.А. Практические задания по графам.pdf.
2. The House of Graphs: http://hog.grinvin.org/
3. Программа для изучения инвариантов графов Grinvin.
8. Материально-техническое обеспечение дисциплины НАИМЕНОВАНИЕ ДИСЦИПЛИНЫ
Для проведения лекционных занятий необходимы доска, проектор с
компьютером.
Для проведения семинарских занятий необходимы доска, компьютеры
с операционной системой Windows, программа Grinvin и средства программирования на языках C/C++, C# или Java.
Для проведения лабораторных занятий необходимы доска, компьютеры
с операционной системой Windows, программа Grinvin и средства программирования на языках C/C++, C# или Java.
Программа составлена в соответствии с требованиями ФГОС ВПО с
учетом рекомендаций и Примерной ООП ВПО по направлению 230100 «Информатика и вычислительная техника» и программе подготовки «Сети ЭВМ
и телекоммуникации».
Автор
ДОЛЖНОСТЬ, СТЕПЕНЬ, ЗВАНИЕ
___________ М. Б. Абросимов
Программа одобрена на заседании кафедры Теоретических основ компьютерной безопасности и криптографии от «___» _______________ 2013 года, протокол № ___.
Заведующий кафедрой
Теоретических основ компьютерной
безопасности и криптографии,
к. ф.-м. н.
___________ В. Н. Салий
Декан факультета КНиИТ,
к. ф.-м. н., доцент
___________ А. Г. Федорова
Скачать