Научный руководитель профессор, д.ф.-м.н. С.А. Ложкин.
Цель магистерской программы «Дискретные управляющие системы и их приложения» - подготовка специалистов в области автоматизации проектирования современных сверхбольших интегральных схем (СБИС). Студенты получают как опыт решения прикладных задач, связанных с автоматизацией проектирования СБИС, так и фундаментальную математическую подготовку, изучая работы различных научных школ в области дискретной математики, теории синтеза и сложности управляющих систем, сложности алгоритмов и математического моделирования. Приобретенные знания и навыки позволяют студентам заниматься научными исследованиями и работать в компаниях, связанных с разработкой комплексов программ автоматизации проектирования СБИС.
Дисциплина | 1 семестр |
2 семестр |
3 семестр |
4 семестр |
||||
ч/н | ч/н | ч/н | ч/н | |||||
Иностранный язык | 4 | зач | 4 | экз | ||||
Правоведение | 4 | экз | Русский язык, деловое общение | 2 | экз | |||
Суперкомпьютерное моделирование и технологии | 4 | экз | ||||||
История и методология прикладной математики | 2 | зач | ||||||
Современная философия и методология науки | 2 | экз | ||||||
Межфакультетские курсы по выбору | 2 | зач | 2 | зач | ||||
Математические модели и методы логического синтеза сверхбольших интегральных схем | 3 | экз | ||||||
Элементы теории синтеза, надежности и контроля дискретных управляющих систем | 3 | экз | ||||||
Проектирование больших систем на С++ | 2 | экз | ||||||
Языки описания схем | 2 | зач | ||||||
Математические модели и методы физического синтеза сверхбольший интегральных схем | 3 | экз | ||||||
Математические модели и методы проектирования архитектуры сверхбольший интегральных схем | 3 | зач | ||||||
Математические методы верификации схем и программ | 3 | экз | ||||||
Функциональные системы | 2 | зач | ||||||
Практикум по пакетам СБИС | 2 | зач | ||||||
Математические модели последовательных вычислений | 2 | зач | Дисциплина магистерской программы на английском языке | 2 | зач | |||
Дисциплина по выбору из списка | 2 | экз | 2 | экз | 2 | зач | ||
Спецсеминар "Теория управляющих систем и математические модели сверхбольших интегральных схем" | 2 | зач | 2 | зач | 2 | зач | 2 | зач |
Научно-исследовательская работа | оценка | |||||||
Курсовая работа | оценка | |||||||
часов | 19 | 23 | 17 | 8 | ||||
Защита магистерской диссертации | оценка | |||||||
Государственный экзамен по направлению | оценка | |||||||
зачетов | 4 | 4 | 5 | 4 | ||||
экзаменов | 4 | 4 | 3 | 2 |
Список дисциплин по выбору студента для магистерской программы "Дискретные управляющие системы и их приложения":
Вложения графов, теория клеточных и планарных схем
Математические модели аналоговых схем
Моделирование библиотечных элементов
Математические модели задач физического проектирования, схемотехнического и временного анализа
Решение булевых уравнений и проблемы выполнимости