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.




Программное обеспечение вычислительных сетей

Магистерская программа "Дискретные управляющие системы и их приложения"

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

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

Учебный план

Дисциплина 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  зач
Научно-исследовательская работа               оценка
Курсовая работа       оценка        
часов 22   20   17   8  
зачетов   4   2   5   4
экзаменов   5   5   3   2
Защита магистерской диссертации               оценка
Государственный экзамен по направлению               оценка

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