Languages

ПРИКЛАДНАЯ МАТЕМАТИКА И ИНФОРМАТИКА

  • : Function split() is deprecated in /VHST/oit/master.cmc.msu.ru/modules/filter/filter.module on line 1190.
  • : Function split() is deprecated in /VHST/oit/master.cmc.msu.ru/modules/filter/filter.module on line 1190.




Магистерская программа «Математические модели и методы в проектировании СБИС».

Магистерская программа «Математические модели и методы в проектировании СБИС»

Научный руководитель: доктор физ.-мат. наук профессор Ложкин Сергей Андреевич
Сайт программы.

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

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

Для получения практических навыков используются последние достижения и разработки ряда фирм (Intel, Cadence и др.) и институтов РАН (ИППМ, ИТМиВТ, ВЦ РАН и др.).

Учебный план

Дисциплина 1
семестр
2
семестр
3
семестр
4
семестр
ч/н   ч/н   ч/н   ч/н  
Иностранный язык 4 зач 4 экз        
Современная философия и методология науки 2 экз 2 экз        
История и методология прикладной математики и информатики         2 зач    
Непрерывные математические модели 2 экз            
Дискретные и вероятностные
модели
    2 экз        
Оптимизация и численные методы         2 экз    
Архитектура и программное обеспечение высокопроизводительных вычислительных систем 2  экз            
Современные операционные системы     2 экз        
Сетевые технологии         2 экз    
Сложность комбинаторных алгоритмов 3 экз.            
Элементы теории синтеза и сложности дискретных управляющих систем 3 экз.            
Математические модели и методы синтеза СБИС 3 зач. 2 экз.        
Математические модели EDA     2 экз.        
Вычислительная линейная алгебра задач большой размерности             2 зач.
Решение булевых уравнений и проблемы выполнимости         2 экз.    
Теория надежности и контроля схем. Методы построения тестов         2 экз.    
Дополнительные вопросы теории графов и комбинаторики 2 экз.            
Языки описания схем. Проблемы верификации     2 зач.        
Практические занятия и лабораторные работы по пакетам проектирования СБИС         2 зач. 2 зач.
Производственная практика         2 зач.    
Дисциплина по выбору студента 2 экз. 2 экз. 2 экз. 2 экз.
Научно-исследовательская работа                
Спецсеминар 2 зач. 2 зач. 2 зач. 2 зач.
Курсовая работа       оц.        
Итоговая государственная аттестация                
Защита магистерской диссертации               оц.
Государственный экзамен по направлению               оц.
аудиторных часов в неделю 25   21   16   8  
зачётов   4   2   3   3
экзаменов   6   7   5   1