Программа ориентирована на подготовку высококвалифицированных специалистов широкого профиля в области математики, математического моделирования и современных информационных и компьютерных технологий для работы в научных учреждениях и высших учебных



бет6/7
Дата09.07.2016
өлшемі0.81 Mb.
#186479
түріПрограмма
1   2   3   4   5   6   7

Введение в теорию графов


  1. Определение графа. Основные понятия и элементарные свойства.

  2. Маршруты, цепи и циклы. Связность.

  3. Эйлеровы графы.

  4. Гамильтоновы графы.

  5. Деревья. Свойства деревьев.

  6. Ориентированные графы. Основные понятия.

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

Паросочетания


  1. Паросочетания и факторы в двудольных графах.

  2. Паросочетания и факторы в произвольных графах.

  3. Покрытия путями.

Связность


  1. Структура 2 и 3-связных графов.

  2. Теорема Менгера.

  3. Не пересекающиеся по рёбрам остовные деревья.

  4. Пути мажду заданными парами вершин.

Планарные графы


  1. Топологические графы.

  2. Плоские и планарные графы.

  3. Теорема Куратовского.

Раскраски графов


  1. Раскрашивание графов. Хроматическое число. Теорема Брукса.

  2. Раскрашивание планарных графов и карт.

  3. Рёберная раскраска.

  4. Предписанная раскраска.

  5. Совершенные графы.

Потоки


  1. Потоки в сетях. Теорема Форда-Фалкерсона.

  2. k-потоки для малых k.


ЛИТЕРАТУРА


  1. Дистель Р. Теория графов. Новосибирск: Изд. Иститута математики, 2002.

  2. Емеличев В.А., Мельников О.И., Сарванов В.И., Тышкевич Р.И. Лекции по теории графов. М.:Наука, 1990.

  3. Зыков А.А. Основы теории графов. М.:Наука, 1987.

  4. Оре О. Теория графов. М.:Наука, 1980.

  5. Свами М., Тхуласираман К. Графы, сети и алгоритмы. М.: Мир, 1984.

  6. Татт У. Теория графов. М.:Мир, 1988.

  7. Уилсон Р. Введение в теорию графов. М.:Мир, 1977.

  8. Харари Ф. Теория графов. М.:УРСС, 2003.


Дисциплина: Математические модели в экономике

Общее количество часов (трудоемкость) 140 часов

в том числе лекций 70 часов

Цели и задачи курса

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

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

СОДЕРЖАНИЕ КУРСА



  1. Особенности экономико-математического моделирования

Экономико-математические методы (ЭММ) История становления.

Роль этапа моделирования в рамках системного анализа.

Классификация ЭММ.

Этапы экономико-математического моделирования.

Связь математического моделирования с развитием экономической теории.


  1. Линейные модели

Основная задача производственного планирования

III. Модели транспортного типа

Транспортные модели (замкнутая и открытая Т-задачи, задачи с запретами, с ограниченными пропускными способностями).

Задача о максимальном потоке (матричная и сетевая постановки).

Транспортная задача на сети.

Трипланарная Т-задача.

Триаксиальная Т-задача.

Четырехиндексные Т-задачи.

Несимметричные Т-задачи.

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

Распределительные модели линейного программирования.

IV. Параметрические модели

Модели параметрического линейного программирования.

Исследование параметрических моделей с помощью симплекс-метода.

V. Целочисленные модели

Основные классы моделей целочисленного ЛП. Задачи с неделимостями.

Комбинаторные экстремальные модели.

Транспортная задача с фиксированными доплатами.

Целочисленные постановки на объединении множеств.

Вариантная модель размещения производства.

Целочисленные распределительные модели.

Модели рационального раскроя.

Особенности численного анализа моделей ЦЛП.

Методы отсечений в ЦЛП

Метод ветвей и границ в ЦЛП.

VI. Стохастические модели

Стохастическая модель “производство-рынок”.

Жесткая постановка задачи стохастического ЛП.

Модель ЛП с вероятностными ограничениями.

Двухэтапная модель стохастического ЛП.

Методы решения задач стохастического ЛП.

VII. Балансовые модели

Межотраслевой баланс.

Модели межотраслевого баланса.

VIII. Производственные функции

Производственные функции

IX Модели управления запасами

Введение в теорию "Управление запасами". Основные понятия. Структуризация издержек

Простейшие детерминированные модели оптимального размера партии:

Формула Вильсона.

Модели с дискретным спросом.

Модели с учетом и потерей дефицитных требований.

Учет дополнительных ограничений.

Стохастические модели

Сравнение моделей с непрерывной информацией ((Q, r) - моделей) и моделей с периодической проверкой ((R, t) - моделей).

Вероятностное описание процесса формирования спроса.

Введение в дискретные марковские процессы.

Точное описание (Q, r) - модели.

Динамические модели управления запасами.

Управление запасами в пределах одного периода.


ЛИТЕРАТУРА
Вильямс Н.Н. Параметрическое программирование в экономике. М.: Статистика, 1976.

Гольштейн Е.Г., Юдин Д.Б. Задачи линейного программирования транспортного типа. М.: Наука, 1969.

Ермольев Ю.М. Методы стохастического программирования. М.: Наука, 1976.

Замков О.О., Черемных Ю.А., Толстопятенко А.В. Математические методы в экономике. М.: Изд-во «Дело и Сервис», 1999.

Корбут А.А., Финкельштейн Ю.Ю. Дискретное программирование. М.: Наука, 1969.

Никитенков В.Л. Задачи линейного программирования и методы их решения. Уч.пособие. Сыктывкар: 1998.

Лопатников Л.И. Экономико-математический словарь. М.: Изд-во «ABF», 1996.

Лотов А.В. Введение в экономико-математического моделирование. М.: Наука, 1984.

Раскин Л.П., Кириченко И.О. Многоиндексные задачи линейного программирования. М.: Радио и связь, 1982.

Экономико-математические методы и прикладные модели / Федосеев В.В., Гармаш А.Н., Дайитбеков Д.М. и др. М.: ЮНИТИ, 2001.

Хедли Дж., Уайтин Т. Анализ систем управления запасами. – М.: Наука. 1969
Дисциплина: Дополнительные главы дифференциальных уравнений

Общее количество часов (трудоемкость) 100 часов

в том числе аудиторных 50 часов
СОДЕРЖАНИЕ КУРСА

Теорема существования решения дифференциального уравнения с измеримой правой частью. Условия Каратеодори. Теорема о единственности решения. Теорема о продолжимости решения. Условие Уинтнера. Теорема существования и единственности

решения для линейных систем с интегрируемыми коэффициентами.

Линейные системы с периодическими коэффициентами. Теоремы Флоке. Эквивалентные системы. Теорема о приводимости. Матрица монодромии, мультипликаторы, характеристические показатели, показатели Ляпунова.

Теоремы об устойчивости. Зоны устойчивости для уравнений второго порядка с периодическими коэффициентами. Уравнения Хилла и Матье. Параметрический резонанс.

Орбитальная устойчивость. Устойчивость периодических решений автономной системы. Теорема Андронова-Витта и её аналог для асимптотической орбитальной устойчивости. Критерий Пуанкаре орбитальной устойчивости.

Понятие предельного цикла. Автоколебания. Методика исследования предельных циклов на примере уравнения Ван-Дер-Поля: метод сечений Пуанкаре, метод стационарных приближений, метод малого параметра.

Бифуркации в широком смысле и бифуркации рождения цикла. Теорема Хопфа. Примеры мягкой и жесткой бифуркаций. Опасные и безопасные границы зон устойчивости.

Метод малого параметра – регулярные возмущения. Использование малого параметра в теории квазилинейных колебаний. Теория сингулярных возмущений. Одномерный случай. Теорема Тихонова. Метод усреднения Боголюбова.

Диссипативные системы и их аттракторы. Система Лоренца как пример странного аттрактора. Количественные показатели аттракторов. Дробная размерность. Гипотеза Каплана-Иорке. Универсальность Фейгенбаума.

Дифференциальные уравнения с запаздыванием, примеры моделей и классификация.

Другие обобщения дифференциальных уравнений.



ЛИТЕРАТУРА


  1. Арнольд. Обыкновенные дифференциальные уравнения.

  2. Барбашин Е.А. Введение в теорию устойчивости.

  3. Варга Д. Оптимальное управление дифференциальными и функциональными уравнениями.

  4. Далецкий, Крейн. Устойчивость дифференциальных уравнений в банаховых пространствах.

  5. Демидович Б.П. Лекции по теории устойчивости.

  6. Иоффе, Тихомиров В.М. Теория экстремальных задач.

  7. Коддинктон, Левинсон. Теория обыкновенных дифференциальных уравнений.

  8. Ланда П.С. Автоколебания систем с конечным числом степеней свободы.

  9. Лоскутов, Михайлов. Введение в синергетику.

  10. Понтрягин Л.С. Обыкновенные дифференциальные уравнения.

  11. Тихонов, Свешников. Васильева. Дифференциальные уравнения.

  12. Филиппов А.Ф. Дифференциальные уравнения с разрывной правой частью.

  13. Хайрер Э., Нерсетт С., Ваннер Г. Решение обыкновенных дифференциальных уравнений. М. Мир. 1990.

  14. Хессард, Казаринов, Вен. Теория и приложения бифуркации рождения циклов.

  15. Хейл Д. Теория функционально-дифференциальных уравнений.

  16. Хартман. Теория обыкновенных дифференциальных уравнений.

  17. Шустер Дж. Детерминированный хаос. М. Мир. 1988.

  18. Эльсгольц. Дифференциальные уравнения.

  19. Эрроусмит, Плейс. Качественная теория дифференциальных уравнений с приложениями.


Дисциплины специализации:

Дисциплина: Комбинаторные вычисления

Общее количество часов (трудоемкость) 100 часов

в том числе лекций 50 часов

Цель и задачи курса

Цель курса – изложить классические основы комбинаторного перечисления.

Задачи: ввести элементарные комбинаторные функции, методы обращения и теорию производящих функций; особое внимание уделяется «двоичным» структурам и связанным с ними числами Каталана.

СОДЕРЖАНИЕ КУРСА



  1. Предварительные сведения.

    1. Множества, отображения, отношения.

    2. Конечные множества.

    3. Слова.

    4. Графы и орграфы.

    5. Многочлены.

  2. Простейшие комбинаторные функции

    1. Степени и факториалы

    2. Подмножества и биномиальные числа.

    3. Мультимножества и разложение чисел.

    4. Числа Фибоначчи.

    5. Мультиномиальные числа и помеченные деревья.

  3. Числа Каталана, Рюньона и другие.

    1. Пути в плоской решетке.

    2. Стандартные многоугольники.

    3. Слова Дика и Мотцкина.

    4. Бинарные деревья и упорядоченные деревья.

    5. Префиксные коды и обобщения чисел Каталана.

    6. Положительно определенные матрицы.

  4. Методы обращения.

    1. Инверсные соотношения

    2. Числа Стирлинга.

    3. Схема решета.

    4. Остовные деревья графов.

  5. Производящие функции.

    1. Формальные степенные ряды.

    2. Алгебраические уравнения.

    3. Разбиения чисел.

    4. Дифференциальные уравнения.

    5. Формула Лагранжа-Бюрмана.

    6. Многочлены Гаусса и их обобщения.

ЛИТЕРАТУРА





  1. Айгнер М. Комбинаторная теория. М.: Мир, 1982.

  2. Гульден Я., Джексон Д. Перечислительная комбинаторика. М.: Наука, 1990.

3. Стенли Р. Перечислительная комбинаторика. М.: Наука,
Дисциплина: Вариационные методы механики упругих тел

Общее количество часов (трудоемкость) 50 часов

в том числе лекций 34 часов

СОДЕРЖАНИЕ КУРСА



I. Элементы прикладного функционального анализа

Интеграл Лебега и его свойства. Квадратично суммируемые функции. Пространство .

Обобщенная производная и ее свойства. Пространство Соболева Гильбертово пространство Теоремы вложения.

Ортогональные ряды. Линейные функционалы. Теорема Ф.Рисса о представлении линейного функционала.

Линейные операторы и их свойства. Положительность и положительная определенность операторов. Вполне непрерывные операторы.

Теорема М.Рисса о необходимом и достаточном условии предкомпактности множества в Пример.

Теорема о плотности линеала финитных функций в пространстве

Нелинейные функционалы в гильбертовом пространстве. Производные Гато и Фреше. Примеры.



II. Вариационные методы решения операторных уравнений

Положительная определенность операторов краевых задач Дирихле и Ньютона для уравнения Пуассона. Неравенства Фридрихса.

Положительная определенность краевой задачи Неймана для уравнения Пуассона. Неравенство Пуанкаре.

Теорема о минимуме энергетического функционала. Пример.

Энергетическое пространство положительно определенного оператора и теорема о его вложении в исходное пространство. Обобщенное решение операторного уравнения.

Теорема о необходимом и достаточном условии сепарабельности энергетического пространства.

Теорема о расширении по Фридрихсу положительно определенного оператора. Метод Ритца.

Метод Галеркина.

Метод конечных элементов для двухточечной задачи.

Метод наискорейшего спуска. Пример.

Метод обобщенной реакции решения контактных задач со свободной границей. Пример.

О сходимости метода обобщенной реакции.



III. Вариационные методы в проблеме собственных значений

Энергетические теоремы в проблеме собственных значений. Теорема существования дискретного спектра.

Метод Ритца в проблеме собственных значений.

Модифицированный метод О.Келлога построения дискретного спектра.

Двусторонние оценки собственных значений: методы А.Вайнштейна и Г.Фикера.

Локальный метод В.Н.Тарасова вычисления собственных значений положительно однородного оператора.

Метод вычисления минимального собственного значения положительно однородного оператора в конечномерном пространстве.
ПЛАН ИНДИВИДУАЛЬНЫХ ЗАНЯТИЙ

по дисциплине специализации

«Вариационные методы механики упругих тел»


занятия


Темы

учебная литература

1

2

3

1.

Формально самосопряженные краевые задачи. Симметричность операторов краевых задач для нормально нагруженных балок, мембран и пластин.

[1.1] c.79-82


2.

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

[1.1] c.82-86

3.

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

[1.1] c. 94-96

4.

Положительная определенность оператора задачи Дирихле для бигармонического уравнения.

[1.1] c.101-103


5.

Ортонормированные полиномы Хорви и их свойства.

[1.2]

[2.4]


6.

Применение метода Ритца к задаче об изгибе жестко защемленной квадратной пластины с использованием полиномов Хорви.

[1.2]


7.

В-сплайны и их свойства.

[1.2]

8.

Применение метода Ритца к задаче об изгибе жестко защемленной квадратной пластины с использованием В-сплайнов.

[1.2]

9.

Метод обобщенной реакции в задаче о контактном взаимодействии балок. Сравнение с аналитическим решением (см. лекцию 17).

[1.2]


10.

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

[1.2]


11.

Контактная задача для круглой пластины и жесткого основания (теория пластин Кáрмана-Нагди)

[1.1] с. 218-223


12.

Применение метода Ритца с использованием полиномов Хорви для вычисления собственных частот колебаний жестко защемленной квадратной пластины.

[1.2]


13.

Применение метода промежуточных задач А.Вайнштейна для оценки снизу собственных частот колебаний жестко защемленной квадратной пластины.

[1.2]

[2.2] с.204-211




14.

Модифицированный метод Келлога в проблеме собственных значений жестко защемленной круглой пластины (осесимметричный случай).

[1.1] с.196-202


15.

16.


17.

Применение модифицированного метода Келлога для вычисления собственных частот и форм колебаний жестко защемленной круглой пластины (общий случай).

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

Устойчивость стержня на границе двух упругих сред (применение метода поиска минимального собственного значения положительно однородного оператора).


[1.1] с.196-202

[1.1] с. 234-238

[1.2]



ЛИТЕРАТУРА


  1. Основной список

[1.1] Михайловский Е.И. Лекции по вариационным методом механики упругих тел/Гриф НМС по математике и механике УМО университетов РФ «Учебное пособие» для математических направлений и специальностей. Сыктывкар: Изд-во Сыктывкарск. ун-та, 2002. 256 с.

[1.2] Михайловский Е.И., Холмогоров Д.В. Электронное учебное пособие «Вариационные методы механики упругих тел». Код по ЕСПД .02069547.00033-019901



  1. Дополнительный список

[2.1] Михлин С.Г. Вариационные методы в математической физике. М.: Наука, 1970. 512 с.

[2.2] Гулд С. Вариационные методы в задачах о собственных значениях. М.: Мир, 1970. 328 с.

[2.3] Тарасов В.Н., Холмогоров Д.В. Некоторые задачи и методы конструктивно-нелинейной механики упругих систем/Под ред. проф. Е.И. Михайловского. Сыктывкар: Изд-во Сыктывкарск. ун-та, 2001. 189 с.

[2.4] Хорви Дж. Краевая задача для прямоугольной полосы//Период.сб. переводов иностр. статей «Механика». 1959. Т.5. Вып. 57. С.55-74.

[2.5] Корнейчук Н.П. Сплайны в теории приближения. М.: Наука, 1984. 352 с.


  1. Список для углубленного изучения

[3.1] Тарасов В.Н., Холмогоров Д.В. Некоторые задачи и методы конструктивно-нелинейной механики упругих систем/Под ред. проф. Е.И. Михайловского. Сыктывкар: Изд-во Сыктывкарск. ун-та, 2001. 189 с.

[3.2] Холмогоров Д.В. Устойчивость и закритическое поведение стержневых элементов конструкций с односторонними связями. Диссерт. На соискание уч. ст. канд. физ.-мат. наук (научн. рук. проф. Е.И.Михайловский). 1996. 159 с.

[3.3] Флетчер К. Численные методы на основе метода Галеркина. М.: Мир, 1988. 352 с.

[3.4] Стренг Г., Фикс Дж. Теория метода конечных элементов. М. Мир, 1977. 349 с.

[3.5] Главачек И., Гаслингер Я., Нечас И., Ловишек Я. Решение вариационных неравенств в механике. М.: Мир, 1986. 270 с.

Дисциплина: Дополнительные главы машинной графики

и вычислитель ной геометрии

Общее количество часов (трудоемкость) 100 часов

в том числе лекций 50 часов

СОДЕРЖАНИЕ КУРСА


1. Основные примитивы машинной графики.

2. Международные стандарты описания цвета. Переходы между ними.

3. Графический режим 0х13. Присваивание атрибута пикселю и считывание атрибута. Переопределение палитры.

4. Алгоритм справедливой дележки.

5. Алгоритм Брезенхейма линейной интерполяции на решетке и построение отрезка.

6. Нахождение пересечения двух отрезков.

7. Алгоритмы построения окружности и эллипса.

8. Алгоритмы построения круга.

9. Алгоритм построения дуги окружности.

10. Алгоритмы построения параболы и кубической параболы.

11. Алгоритм построения коника (отрезка кривой второго порядка).

12. Масштабирование прямоугольной области пикселей.

13. Алгоритм заливки произвольной области.

14. Алгоритм заливки области, ограниченной ломанной без самопересечений.

15. Алгоритм заливки по образцу.

16. Алгоритм бинарного отсечения отрезка для прямоугольника.

17. Алгоритм отсечения Кируса-Бека для выпуклых областей, ограниченных ломаной.

18. Алгоритм разбиения невыпуклой области на выпуклые фрагменты.

19. Каркасные и “граневые” методы представления трехмерных объектов.

20. Алгоритмы нанесения текстуры на 3D поверхности.

21. Алгоритм удаления невидимых линий с помощью Z-буфера.

22. Алгоритм плавающего горизонта для удаления невидимых линий.

23. Алгоритм обратной трассировки лучей (rendering).

24. Окраска поверхностей по Гуро.

25. Окраска поверхностей по Фонгу.

26. Моделирование полупрозрачных объектов.

27. Тени и полутени в машинной графике.

28. Графический формат BMP.

28. Алгоритм LZW (упаковка данных и распаковка кодов).

29. Графический формат GIF.

30. Косинусное преобразование и графический формат JPEG.

31. Формат метафайлов Windows WMF.

32. Графические режимы с большой глубиной цвета.

ЛИТЕРАТУРА

1. Роджерс Дж. Алгоритмические основы машинной графики. М.: Мир, 1985, 486с.

2. Порев В. Компьютерная графика. СПб.: BHV, 2002, 432с.

3. Рейнбоу В. Компьютерная графика. Энциклопедия. Питер, 2003, 768с.

4. Соколенко П. Программирование SVGA-графики для IBM. СПб.: BHV, 2001, 432с.

5. Джамбруно М. Трехмерная графика и анимация. Вильямс, 2003, 640с.



Дисциплина: Системы аналитических вычислений

Общее количество часов (трудоемкость) 100 часов

в том числе лекций 36 часов

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

СОДЕРЖАНИЕ КУРСА



  1. Введение. Обзор популярных систем аналитических вычислений. Сравнительные характеристики. Требования к аппаратуре. (2 часа)

  2. Основы компьютерной алгебры. Простые операции с числами. Полиномы и рациональные функции. Матричные вычисления. Ряды Тейлора. Упрощение формул. Интегрирование. (2 часа)

  3. Графический интерфейс Maple. Рабочие листы. Палитры, электронные таблицы, контекстные меню. (2 часа)

  4. Работа с меню. Команды меню File. Команды меню Edit. Команды менюView. Меню Insert, Format, Options и Window. (2 часа)

  5. Справочная система. (2 часа)

  6. Объекты, переменные и выражения. Числа, константы, строки, переменные, неизвестные и выражения. (2 часа)

  7. Преобразование выражений. Упрощение выражений. Раскрытие скобок в выражении. Разложение полинома на множители. Сокращение алгебраической дроби. Приведение подобных членов. Ограничения на неизвестные. (2 часа)

  8. Структура выражений и их вычисление. Последовательность выражений. Списки и множества. Массивы и таблицы. Внутренняя структура выражений. Подстановка и преобразование типов. Уровни вычислений. (2 часа)

  9. Решение уравнений и неравенств. Системы уравнений. Системы неравенств. (2 часа)

  10. Дифференцирование и интегрирование. (2 часа)

  11. Решение обыкновенных дифференциальных уравнений. (2 часа)

  12. Решение уравнений в частных производных. (2 часа)

  13. Структура Maple. Основные пакеты, пакеты, разработанные пользователями. (2 часа)

  14. Графика в Maple. Двумерная графика. Графические структуры. Пространственная графика. Анимация. (2 часа)

  15. Язык программирования Maple. Основные элементы. Выражения и типы. Операторы. (2 часа)

  16. Создание и использование процедур. Определение процедуры. Передача параметров. Локальные и глобальные переменные. Опции и строка описания. Возвращаемые значения. (2 часа)

  17. Работа с файлами. Типы файлов Maple и фалы пользователя. Создание и удаление файлов, чтение и запись, буферизация. (2 часа)

  18. Экспорт вычислений в виде фрагментов на языке С. Вызов внешних процедур. Процедуры, написанные на языке C. (2 часа)


ЛИТЕРАТУРА


  1. Давенпорт Дж., Сирэ И., Турнье Э. Компьютерная алгебра: пре. С франц. – М.: Мир, 1991.

  2. B.W. Char, K.O. Geddes, G.H. Gonnet, B.L. Leong, M.B. Monagan, S.M. Watt . First Leaves: A Tutoral Introduction to Maple V. Springer-Verlag New York, 1992

  3. Матросов Ф.В. Maple 6. Решение задач высшей математики и механики. – СПб.: ВХВ-Петербург, 2001.



Дисциплина: Дополнительные главы практического программирования

Общее количество часов (трудоемкость) 50 часов



в том числе лекций 34 часов
СОДЕРЖАНИЕ КУРСА

Введение


Простая С++-программа. Подготовка программы к исполнению компьютером. Технологическая среда исполнения программы. Библиотеки. Понятия модуля и функции. Стековый фрейм функции. Структура С++-программы. Области действия объектов программы. Организация памяти, двоичные коды и понятие типа. Авторские типы. Алфавит С++.

Обзор С++


Процедурное программирование. Понятие переменной. Арифметика. Оценка состояний: если, то, иначе; до тех пор, пока не; все время пока. Циклические вычисления. Указатели и ссылки. Массивы. Модульное программирование. Раздельная компиляция, Обработка исключений. Абстракция данных. Модули определения типов. Конкретные и абстрактные типы. Виртуальные функции. Объектно-ориентированное программирование. Иерархия классов.

Грамматические конструкции


Типы и объявления: фундаментальные, символьные, целые. Типы с плавающей точкой. Имена, область видимости, инициализация. Объекты г-value и 1-value. Указатели и ссылки, массивы и структуры. Эквивалентность типов. Выражения и инструкции. Калькуляция. Обзор операторов, приоритеты. Инкремент, декремент. Свободная память. Явное преобразование типов. Функции. Объявление и описание. Передача аргументов. Возвращение. Перегруженные имена функции. Аргументы по умолчанию. Пространства имен и исключения. Разбиение на модули и интерфейсы. Исходные файлы и программы.

Классы


Классы. Типы, определяемые пользователем. Объекты. Конструирование и уничтожение. Локальные переменные. Свободная память. Объекты в качестве членов. Массивы. Локальная статическая память, Временные объекты. Перегрузка операторов. Производные классы. Абстрактные классы,. Проектирование иерархий классов. шаблоны. Простой шаблон строк. шаблоны функций. Специализация. Члены-шаблоны. Организация исходного кода. Обработка исключений.. Иерархии классов. Стандартные библиотеки контейнеры. Строки.

Потоки


Вывод данных встроенных и авторских типов. Ввод. Связывание потоков. Форматирование. Файловые и строковые потоки. Буферизация.

Разработка и проектирование программных изделий


Цикл разработки. Этапы проектирования: выявление классов, определение операций, определение взаимозависимостей, определение интерфейсов, реорганизация иерархии классов. Тестирование. Классы. Иерархии классов и внутрииерархические зависимости. Отношения включения. Включение и наследование. Отношение использования. Программируемые отношения. Отношения внутри класса. Инварианты, предусловия и постусловия, Инкапсуляция. Компоненты. Роли классов.

ЛИТЕРАТУРА


  1. Бен-Ари М. Языки программирования: Практический сравнительный анализ. – М., 2000.

  2. Марченко А. Л. С++: Бархатный путь. – М., 2000.

  3. Мейерс С. Эффективное использование С++.– М., 2000.

  4. Страуструп Б. Язык программирования С++.– М., 1999.

  5. Телло Э. Объектно-ориентированное программирование в среде Windows. – М., 1993.

  6. Элджер Д. С++. – М., 2000.


Дисциплина: Представление кривых и поверхностей на ЭВМ

Общее количество часов (трудоемкость) 100 часов

в том числе лекций 50 часов
СОДЕРЖАНИЕ КУРСА
1. Основы теории кривых

1. Определение элементарной кривой, простейшие элементарные кривые, параметр кри-


вой, параметризация кривой. Обыкновенные и особые точки кривой. Гладкие кривые.
2. Длина дуги кривой – естественный параметр. Касательный вектор и единичный каса-
тельный вектор кривой. Параметры особых точек. Пример простейшей регулярной па-
раметризации.
3. Нормальная плоскость кривой и её уравнение. Соприкасающаяся плоскость кривой и
её уравнение. Главная нормаль и бинормаль в точке кривой. Спрямляющая плоскость.
4. Кривизна и кручение кривой, вектор кривизны и центр кривизны. Выражение вектора
кривизны через первую и вторую производные по параметру. Динамическое соотно-
шение. Выражение вектора кривизны через двойное векторное произведение.

Кручение кривой и его выражение через смешанное произведение.



2. Практические вопросы работы с кривыми

1. Вычисление точек кубической кривой с помощью схемы Горнера и с помощью конеч-


ных разностей.
2. Сшивка сегментов кривой при условии непрерывности касательной и непрерывности
кривизны.
3. Преобразование параметра кривой, нормализованный сегмент кривой.
4. Разбиение кривой на сегменты, выделение части кривой.
5. Параметрические кубические кривые : подробное рассмотрение.
6. Длина и “площадь” параметрической кривой.
7. Пересечение кривой с плоскостью и пересечение двух кривых.

3. Основы теории поверхностей

1. Понятие элементарной поверхности, уравнение элементарной поверхности в явном ви-


де. Параметрическое задание элементарной поверхности. Параметризация поверхности,
координатные функции, уравнения параметризованной поверхности. Регулярная пара-
метризация, гладкие поверхности.
2. Координатные кривые поверхности P(u,w). Касательный вектор в заданной точке повер-
хности в направлении u – и w – кривой. Условие регулярности поверхности в точке в
терминах касательных векторов. Касательный вектор в направлении произвольной кри-
вой на поверхности. Касательная плоскость к поверхности в заданной точке.
3. Первая фундаментальная матрица поверхности. Единичный касательный вектор к кри-
вой на поверхности. Длина сегмента кривой на поверхности, площадь сегмента поверх-
ности.Условия существования единичного касательного вектора к кривой на поверх -
ности.
4. Вторая фундаментальная матрица поверхности. Нормальная кривизна поверхности в
заданном направлении, главные направления нормальной кривизны и главные кривиз-
ны. Гауссова и средняя кривизна поверхности.

4. Практические вопросы работы с поверхностями

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


Схема построения бикубической поверхности.
2. Выделение сегмента поверхности, ограниченного координатными кривыми, и его нор-
мализация.
3. Сшивка сегментов поверхности при условии непрерывности касательной плоскости
вдоль кривой сшивки.
4. Вырождение сегмента поверхности. Вычисление нормального вектора к поверхности
в точке вырождения.

5. Интерполяционные параметрические кривые

1. Интерполяция Лагранжа : базисные полиномы Лагранжа, параметрические кривые Ла-


гранжа, интерполяционная кривая в форме Ньютона.
2. Интерполяция Эрмита : базисные полиномы Эрмита, кривые Фергюсона, примеры кри-
вых Фергюсона.
3. Базисные полиномы Эрмита степени 5. Кривые Эрмита степени 5.
4. Выделение сегмента кривой Фергюсона, увеличение степени кривой Фергюсона.

6. Поверхности Фергюсона

1. Построение клетки поверхности Фергюсона.


2. Генерирование поверхности Фергюсона на решётке точек.

7. Поверхности Кунса

1. Определение клетки Кунса образца 1964 года. Процедура построения клетки Кунса.


2 Сшивка клеток Кунса при различных условиях на весовые функции. Билинейная повер-
хность Кунса.
3. Клетка Кунса образца 1967 года.
4. Векторы кручения и вид поверхности на примере бикубической поверхности Кунса.
Методы определения векторов кручения.
5. Выделение сегмента поверхности Кунса.
6. Сшивка бикубических клеток Кунса при условии непрерывности касательной вдоль ко-
ординатных кривых.
7. Упраление формой бикубической поверхности Кунса.

8. Параметрические сплайн – кривые

1. Понятие полиномиального сплайна порядка m+1 ( степени m ). Представление сплайн-


функций с помощью усечённых степенных функций.
2. Определение натурального сплайна степени 2k-1. Соотношения для коэффициентов на-
турального сплайна. Понятие C – сплайна.
3. Теорема о существовании и единственности интерполяционного натурального сплайна.
Свойство минимальной кривизны натурального сплайна.
4. Сглаживающие сплайны : общее представление.
5. Параметрические кубические сплайн – кривые. Условия непрерывности кривизны при
сшивке сегментов кубических кривых : точные ( с использованием длин дуг ) и прибли-
жённые ( с использованием соответствующей аппроксимации ). Представление i – го
сегмента сплайн – кривой.
6. Граничные условия для сплайн – кривой. Нахождение единичных касательных векторов
из решения соответствующей трёхдиагональной системы уравнений.
7. Кубические сплайн – кривые, использующие дуги окружностей.

9. Сплайн – поверхности

1. Генерирование сплайн – поверхностей : нахождение касательных векторов в направле -


ниях координатных кривых в углах клетки, вычисление векторов кручения в углах клет-
ки.
2. Матричное уравнение клетки сплайн – поверхности.

10. Кривые и поверхности Безье

1. Кубические поверхности Безье : представления в координатной и матричной формах.


Базисные полиномы Бернштейна степени 3. Точки ( векторы ) Безье, многоугольник
Безье кривой. Касательные векторы и векторы кривизны кривой Безье в начальной и
конечной точках кривой. Управление формой кубической кривой Безье.
2. Приближённое представление дуги окружности с помощью сегмента кубической кри-
вой Безье. Точность представления.
3. Графический метод вычисления точек кубической кривой Безье ( линейный алгоритм ).
4. Подразбиение кривой Безье.
5. Полиномы Бернштейна степени n полином Бернштейна функции f(x) и их свойства.
6. Кривая Безье степени n и её различные представления : в виде суммы степеней t, в опе-
раторном виде и с помощью степенного базиса.
7. Рекуррентное соотношение между базисными полиномами Бернштейна. Выражение
для производных кривой Безье. Формулы для первой и второй производных в началь -
ной и конечной точках кривой.
8. Определение точки кривой Безье степени n с помощью линейных операций ( линейный
алгоритм ).
9. Параметрическое уравнение клетки Безье и её представление в матричной форме. Сеть
Безье, точки Безье.
10. Связь между бикубическими клетками Безье и Кунса. Геометрический смысл точек
Безье, определяющих заданную клетку.

11. Равномерные кубические B – сплайн- кривые и бикубические B – сплайн –
поверхности

1. Вывод формулы равномерной кубической B – сплайн – кривой.


2. Выражение сегментов кривых Фергюсона и Безье через сегмент равномерной B – сплайн
- кривой.
3. Графическое определение точек Безье сегмента равномерной B – сплайн – кривой.
4. Свойства равномерных B – сплайн – кривых.
5. Определение точки равномерной B – сплайн – кривой с помощью конечных разностей.
6. Обратное преобразование кривой.
7. Изменение вершины характеристическогомногоугольника.
8. Параметрическое представление клетки равномерной бикубической B – сплайн – пове-
рхности.


ЛИТЕРАТУРА
1. Берс Л. Математический анализ. Т.2.- М.: Высшая школа, 1975, с.244-284.

2. Дубровин Б.А., Новиков С.П., Фоменко А.Т. Современная геометрия.- М.: Наука, 1979.

3. Иванов В.П., Батраков А.С. Трехмерная компьютерная графика. – М.: Радио и связь, 1995.

4. Математика и САПР. Т.1,2. – М.: Мир, 1988.

5. Погорелов А.В. Дифференциальная геометрия. – М.: Наука, 1974.

6. Bohm W., Farin G., Kahmann J. A survey of curve and surface methods in CAGD. Computer Aided Geometrie Design 1 (1984), с.1-60.




Дисциплина: Сеточные методы решения краевых задач

Общее количество часов (трудоемкость) 100 часов



в том числе лекций 50 часов
СОДЕРЖАНИЕ КУРСА


  1. Введение. Операторные уравнения в задачах теории упругости и теории оболочек.

  2. Классификация итерационных схем. Двухслойные и многослойные ИС. Неявность. Стационарность. Спектральный радиус оператора в ОУ. Спектральная область гарантированной сходимости ИС.

  3. Большегрузные цилиндрические аппараты давления (автоклавы). Конструкции и типы. Режимы работы.

  4. Большегрузные цилиндрические аппараты давления (автоклавы). Схема и принципы проектирования.

  5. Виды декомпозиции. Уровни и аспекты проектирования.

  6. Проектные процедуры, Задачи анализа и синтеза.

  7. Уточнение внешних нагрузок. Задачи анализа при расчете реакций опор автоклава.

  8. Уточнение внешних нагрузок. Задачи оптимизации, связанные с расчетом реакций подавтоклавных опор.

  9. Двумерные 2π-периодические В-сплайны.

  10. Метод сплайн-коллокации для анализа НДС в корпусе автоклава.

  11. Структура матрицы линейной задачи и степень разреженности.

  12. Упаковка и распаковка строк атомарного блока.

  13. Реализация метода Гаусса для СЛАУ с регулярной разреженной структурой.

  14. Расчет параметров НДС.

  15. Delphi-реализация линейной задачи.

  16. Использование визуализатора 3D-Viz.



ЛИТЕРАТУРА

  1. Михайловский Е.И. Прямые, обратные и оптимальные задачи для оболочек с подкрепленным краем. Л.: Изд-во Ленингр.ун-та, 1986, 220 с. (3)

  2. Новожилов В.В., Черных К.Ф., Михайловский Е.И. Линейная теория тонких оболочек. Л.: Политехника, 1991, 656 с. (1)

  3. Прочностной анализ и оптимизация элементов конструкций автоклавов строительной индустрии, ч.III Отчет по НИР. Рук. Михайловский Е.И., Никитенков В.Л. - N ГР 81071508, инв. N 0283.0033758, Сыктывкар, 1984, 280 с. (1)

  4. Люстерник Л.А., Соболев В.И. Краткий курс функционального анализа. М.: Высшая школа, 1982, 271 с. (16)

  5. Самарский Л.А., Николаев Е.С. Методы решения сеточных уравнений. М.: Наука, 1978,588 с.

  6. Самарский Л.А. Теория разностных схем. М.: Наука, 1983, 616 с. (1)

  7. Ортега Дж., Рейнболдт В. Итерационные методы решения нелинейных систем уравнений со многими неизвестными. М.: Мир, 1975, 558 с. (1)

  8. Воеводин В.В., Кузнецов Ю.А. Матрицы и вычисления. М.: Наука, 1984, 318 с. (1)

  9. Крупник Н.Я. Банаховы алгебры с символом и сингулярные интегральные операторы. Кишинев: Штиница, 1984, 138 с. (1)

  10. Хейгемон Л., Янг Д. Прикладные итерационные методы. М.: Мир, 1986, 446 с. (3)

  11. Никитенков В.Л., Холопов А. А. Оптимальные области сходимости линейных многослойных итерационных процедур. В сб. "Вопросы функционального анализа". Сыктывкар: Изд-во СГУ, 1991. С. 134-142.

  12. Трауб Дж.Ф. Итерационные методы решения уравнений. М.: Мир, 1985, 263 с. (2)

  13. Хромов Г.В. Методы решения операторных уравнений 1 рода. Саратов: Изд-во Сарат.ун-та, 1983, 55 с. (1)

  14. Вайнико Г.М., Веретенников А.Ю. Итерационные процедуры в некорректных задачах. М.: Наука, 1986, 181 с. (2)

  15. РД-26-01-87-86.Автоклавы.Метод расчета на прочность.СССР. Издание официальное. Л.: ЛенНИИхиммаш,1986. 247 с. (Исп.: Михайловский Е.И., Никитенков В.Л., Фрейтаг В.А., Воронов И.Д., Гонтаровский П.П., Доценко В.Д. и др.).




  1. Научно-исследовательская работа в магистратуре

В соответствии с Государственным образовательным стандартом высшего профессионального образования по направлению 010300 «Математика. Компьютерные науки» (см. выше) научно-исследовательская работа студента-магистранта (НИРМ.00) включает научно-исследовательскую работу в семестрах (НИРМ.01), научно-исследовательскую практику (НИРМ.02), научно-педагогическую практику (НИРМ.03) и подготовку магистерской диссертации (НИРМ.04).

Научно-исследовательская работа магистранта осуществляется под руководством научного руководителя. Научными руководителями магистрантов назначаются лица из профессорско-преподавательского состава математического факультета, имеющие ученую степень или ученое звание. В случае выполнения исследований на стыке научных направлений допускается назначение, помимо руководителя, научных консультантов. В порядке исключения допускается назначение научными руководителями ведущих специалистов Отдела математики Коми научного центра УрО РАН.

Научно-исследовательская работа в течение учебных семестров является важнейшим компонентом подготовки магистра. Она включает в себя следующие формы работы магистранта: выполнение курсовых работ, участие в научно-исследовательских проектах и научных семинарах, подготовка научных публикаций, выступления на научных и научно-практических конференциях и др. Цель этой формы НИРМ – подготовить студента-магистранта к самостоятельной научно-исследовательской работе, основным результатом которой является подготовка и защита магистерской диссертации, и к выполнению научных исследований в составе творческого коллектива.

Научно-исследовательская практика – вид учебной работы, представляющий собой самостоятельную работу магистранта под контролем научного руководителя. Цель этой формы НИРМ – расширение и закрепление теоретических и практических знаний, полученных в процессе обучения, приобретение и совершенствование навыков по избранному профилю подготовки, по работе с научной информацией и литературой, подготовка к будущей профессиональной деятельности.

В период научно-исследовательской практики решаются следующие задачи подготовки высококвалифицированного специалиста:

- формирование и развитие профессиональных знаний избранного профиля подготовки, закрепление теоретических знаний, полученных в период обучения по общим дисциплинам направления и специальным дисциплинам магистерской программы;

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

- сбор необходимого материала для подготовки выпускной квалификационной работы – магистерской диссертации.

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

Цель научно-педагогической практики – формирование у магистрантов навыков преподавания в учреждениях высшего профессионального образования.

В период научно-педагогической практики решаются следующие задачи:

- овладение основами педагогического мастерства, первичными умениями и навыками ведения преподавательской и учебно-воспитательной работы в высшей школе;

- развитие профессиональных навыков преподавания в высшей школе;

- ознакомление с современными технологиями организации учебного процесса и приобретение первичных навыков использования их в учебном процессе.

Местом прохождения научно-педагогической практики является Сыктывкарский государственный университет или (по согласованию) другие учреждения высшего профессионального образования г.Сыктывкара.

Руководство научно-педагогической практикой осуществляет научный руководитель магистранта.

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

По итогам прохождения практик магистрант представляет научному руководителю отчет о работе в период прохождения практики. Отчеты магистрантов о работе в период прохождения практик утверждаются научными руководителями магистрантов, согласуются с заведующими соответствующих кафедр и хранятся на кафедрах в течение 5 лет.


  1. Итоговая государственная аттестация магистрантов

Заключительным этапом обучения в магистратуре математического факультета является итоговая государственная аттестация, состоящая в защите выпускной квалификационной работы магистранта – магистерской диссертации.

Магистерская диссертация представляет собой квалификационную работу, которая является законченным самостоятельным научным исследованием, выполненным на базе полученных теоретических знаний и приобретенных навыков выполнения научно-исследовательских работ, приобретенных магистрантом за весь период обучения в магистратуре. Рекомендуется по основным результатам магистерской диссертации подготовить публикации в научных журналах и (или) доклады на научных конференциях с публикацией тезисов докладов.

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

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

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

Диссертация должна показать умение магистранта логично и аргументировано излагать материал.

Объем диссертации, как правило, не должен превышать 150 страниц. В него могут не входить список литературы, а также иллюстрирующие рисунки, таблицы, тексты программ, приводимые в приложениях к диссертации.

Оформление магистерской диссертации должно соответствовать требованиям, предъявляемым к работам, направляемым в печать.

Основные требования к оформлению:

- текст диссертации должен быть напечатан через 1,5-2 интервала на одной стороне стандартного листа белой односортной бумаги формата А4;

- размер шрифта – 13 или 14 пунктов;

- текст и другие отпечатанные элементы диссертации по насыщению должны быть черными, контуры букв и знаков – четкими, без ореолов и расплывшейся краски, загрязняющей буквы;

- насыщенность букв и знаков должна быть ровной в пределах строки, страницы и всей диссертации;

- абзацы в тексте должны начинаться отступом шириной 15-17 мм;

- страницы диссертации должны иметь последовательную нумерацию в нижнем левом углу и поля: левое – 40 мм, верхнее и нижнее – 30 мм, правое – 25 мм.
Образец оформления титульного листа:


Сыктывкарский государственный университет

Математический факультет

Кафедра математического моделирования и кибернетики
Иванова Наталья Петровна
Особенности использования языка GPSS

для моделирования и исследования эффективности

систем массового обслуживания
Магистерская диссертация
010300 «Математика. Компьютерные науки»

010300.68 Математическое и компьютерное моделирование


Научный руководитель –

д.ф.-м.н., профессор Е.И.Петров


Сыктывкар 2007

Выпускникам магистратуры, полностью выполнившим учебный план по профессиональной образовательной программе подготовки магистра, реализуемой на математическом факультете, присваивается квалификационная академическая степень магистра математики и выдается диплом магистра установленного образца.




  1. Условия приема в магистратуру

Прием в магистратуру осуществляется в соответствии с Правилами приема в Сыктывкарский государственный университет.

Лица, поступающие в магистратуру математического факультета, сдают один вступительный экзамен – по математике (в устной форме). Программа вступительного экзамена совпадает с соответствующей данному направлению программой выпускного квалификационного экзамена для бакалавров (приведена ниже).

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

Прием на бюджетное обучение сверх установленной цифры приема не допускается.

В случае полного возмещения затрат на обучение допускается прием сверх установленной цифры приема на основании индивидуального договора.

Зачисление в магистратуру производится на основании решения Центральной приемной комиссии Сыктывкарского государственного университета и оформляется приказом ректора с указанием направления подготовки и названия магистерской программы.

Лица, поступающие в магистратуру, предоставляют в Центральную приемную комиссию Сыктывкарского государственного университета следующие документы:



  • Личное заявление на имя ректора с указанием направления магистратуры и, в случае необходимости, профиля (специализации), а также формы обучения.

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

  • 6 фотографий размером 3х4.

  • Документ, удостоверяющий личность и гражданство (предъявляется лично).

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

Иногородним магистрантам предоставляется общежитие.




    1. Программа вступительного экзамена по математике на 2008 год.



Алгебра и геометрия

  1. Основная теорема алгебры многочленов (без док-ва). Теорема Безу. Разложение многочлена на неприводимые над и над .

  2. Понятие линейного пространства, базиса, размерности.

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

  4. Уравнения прямой и плоскости в пространстве. Взаимное расположение прямой и плоскости.

  5. Канонические уравнения и свойства эллипса, гиперболы, параболы.


Математический анализ

  1. Непрерывность функции. Теоремы Вейерштрасса для непрерывной функции на отрезке.

  2. Локальные экстремумы функции одной переменной. Теоремы Ферма, Ролля, Лагранжа, Коши для функции, дифференцируемой на отрезке.

  3. Формула Тейлора для функции одного переменного. Различные формы записи остаточного члена.

  4. Интеграл с переменным верхним пределом. Формула Ньютона-Лейбница. Следствие (о существовании первообразной для непрерывной функции).

  5. Числовые ряды. Абсолютная и условная сходимость. Признаки абсолютной сходимости числовых рядов: Даламбера, Коши, интегральный. Признак Лейбница.

  6. Степенные ряды. Радиус и интервал сходимости. Абсолютная и равномерная сходимость степенных рядов.


Дискретная математика

  1. Логические операции. Таблицы истинности. Построение совершенной дизъюнктной нормальной формы по таблице истинности.

  2. Определение предиката. Кванторы. Отрицание кванторов. Перестановка местами кванторов. Примеры.

  3. Производящая функция для чисел сочетаний (бином Ньютона).

  4. Ацикличность. Дерево. Отличительные признаки дерева.


Дифференциальные уравнения и методы оптимизации

  1. Существование и единственность решения нормальной системы дифференциальных уравнений (теорема Пикара).

  2. Структура общего решения линейного дифференциального уравнения n-ного порядка. Фундаментальная система решений линейного дифференциального уравнения n-ного порядка с постоянными коэффициентами.

  3. Понятие устойчивости по Ляпунову. Точка покоя автономной системы. Типы точек покоя линейной автономной системы с постоянными коэффициентами на плоскости.

  4. Постановка задачи линейного программирования. Прямая и двойственная задачи. Первая теорема двойственности.

  5. Вторая теорема двойственности. Условия дополняющей нежесткости.

  6. Задача нелинейного программирования. Теорема Куна-Таккера. Метод множителей Лагранжа.

  7. Применение метода Фурье для уравнения теплопроводности и волнового уравнения.

  8. Типы уравнений с частными производными второго порядка. Теорема о приведении уравнений с двумя переменными к каноническому виду.


Теория вероятностей

  1. Понятие вероятностного пространства. Условная вероятность, формула полной вероятности, формула Байеса.

  2. Независимые события. Теоремы умножения. Формула Бернулли для вероятности числа успехов.

  3. Функция и плотность распределения случайной величины. Свойства и примеры функций распределения. Математическое ожидание и дисперсия случайной величины.

  4. Неравенство Чебышева. Закон больших чисел. Теорема Чебышева (без док-ва).


Численные методы

  1. Простейшие симметричные формулы численного дифференцирования для первой и второй производных.

  2. Сеточный метод для решения задачи Штурма-Лиувилля. Решение трехдиагональной системы методом прогонки.


Компьютерные науки

  1. Машинное представление данных. Прямой и обратный дополнительный код представления целых чисел.

  2. Архитектура компьютера. Принципы фон Неймана. Построение параллельных вычислений.

  3. Формальное определение алгоритма. Машина Тьюринга.

  4. Операционные системы. Понятие об операционной системе, компоненты операционной системы.

  5. Файловая система. Файлы последовательного и прямого доступа.

  6. Структурированные типы данных на примере списков. Стек, очередь, дек.

  7. Реляционная модель данных. Основные понятия реляционных баз данных, тип данных, домен, атрибут, кортеж, первичный ключ, отношение и схема отношений. Основные операции реляционной алгебры.

  8. Проектирование реляционных баз данных. Принципы нормализации. Приведение схемы отношения ко второй и третьей нормальной форме.

  9. Алгоритмы последовательного и двоичного поиска в массиве. Поиск в двоичном дереве.

  10. Простейшие алгоритмы сортировки. Методы оценки сложности алгоритмов (на примере алгоритмов сортировки).

  11. Динамическое программирование (на примере задачи отыскания кратчайших путей в ориентированном графе).

  12. Жадные алгоритмы (на примере задачи построения остова минимального веса).

  13. Потоки в сетях. Теорема Форда-Фалкерсона и помечивающий алгоритм Форда-Фалкерсона.

  14. Классы задач P и NP . Полиномиальные преобразования и NP-полные задачи.

  15. Сложение двоичных чисел с предвычислением переносов.

  16. Параллелизация для линейной рекурсии первого порядка.

  17. Протоколы IP, TCP и UDP.

  18. Маршрутизация в локальных сетях.

  19. Маршрутизация в глобальных сетях

  20. Основные понятия объектно-ориентированного программирования.

  21. Табличный алгоритм Бауэра-Зочельзона для разбора арифметических выражений



Задания, включенные в программу государственного квалификационного экзамена
Раздел «Аналитическая геометрия»

  1. Найдите точку пересечения прямой и плоскости

    1. ; y+2y+3z–14=0

    2. ; x+3y–5z+9=0

    3. ; 4x+2y–z–11=0

  2. Определить тип кривой и построить эту кривую в системе координат OXY

    1. 25 x2 + 169 y2 = 4225

    2. 576 x2 – 49 y2 = 28224

    3. x2 = –8x – 12y – 4


Раздел «Алгебра и геометрия»

  1. Разложить многочлен на неприводимые над R и C.

[Ответ: ]

  1. Даны векторы

При какихуказанные векторы образуют базис пространства ?

[Ответ: при ]



  1. Линейный оператор в задан матрицей . Диагонализировать его (найти ортонормированный базис из собственных векторов).

[Ответ: ]
Раздел «Дискретная математика»

  1. Получить известную формулу для суммы первых членов геометрической прогрессии, составив и решив рекуррентное уравнение для последовательности

  2. Для графа G найти циклический ранг и какой-нибудь остов, эйлерову цепь, плоский граф, изоморфный графу G, где:

а) G – куб;

в) G – октаэдр.




Раздел “Математический анализ”

  1. Вычислите пределы: а) ; б) ; в) ; г) ; д) .

  2. Найти суммы рядов: а) ; б) .

  3. Найти интегралы: а) ; б) ; в) ; г) ; д) .

  4. Вычислить площади фигур, ограниченных линиями: а) ; б) .

  5. Вычислить криволинейный интеграл , если , и а) - отрезок прямой; б) - дуга параболы ; в) - ломаная , где .

  6. Вычислить криволинейный интеграл , где .

  7. Исследовать на экстремум: ; .

  8. Исследовать на условный экстремум: а) , ; . б) , .

  9. Найдите интервал и радиус сходимости, исследуйте на абсолютную или условную сходимость на границах интервала: а) ; б) ; г) .

  10. Вычислить: а) ; б) .

  11. Восстановить аналитическую функцию по ее действительной части , если .

  12. Функцию разложить в ряды Лорана в кольцах аналитичности.

  13. С помощью теоремы Коши о вычетах вычислить: а) ; б) .

  14. Разложить в тригонометрический ряд Фурье функции: а) на ; б) на .

Раздел “Дифференциальные уравнения”



  1. Построить последовательные приближения (нулевое, первое и второе) к решениям уравнений:

а)

Ответ:

б)

Ответ:



  1. Указать какой-нибудь отрезок, на котором существует решение с данными начальными условиями:

а)

Ответ: – 0,5 ≤ х ≤ 0,5

б) х(0) = 1, y(0) = 2

Ответ: – 0,1 ≤ х ≤ 0,1



  1. Найти решение уравнения:

а)

Ответ:

б)

Ответ: y = C1cos x + C2sin x + (2x2) ex

в)

Ответ:



  1. Найти точки покоя системы и исследовать их на устойчивость:

а) б)

Ответ: (0; 0) – неустойчивое, Ответ: (1; 2) и (2; 1),

(1; 2) – устойчивое оба неустойчивые
в) г)

Ответ: (2; 0) – неустойчивые, Ответ: (3; 2) – неустойчивое,

((2k+1)π; 0) – устойчивые (0: -1) – устойчивое.




Достарыңызбен бөлісу:
1   2   3   4   5   6   7




©dereksiz.org 2024
әкімшілігінің қараңыз

    Басты бет