Некоторые вопросы теории управляющих систем — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Расписание докладов)
 
(не показаны 47 промежуточные версии 3 участников)
Строка 1: Строка 1:
 +
[[Категория:Архив спецсеминаров кафедры математической кибернетики]]
 +
 
[[image:NekVoprSinteza.jpg|thumb|right]]
 
[[image:NekVoprSinteza.jpg|thumb|right]]
  
−
Спецсеминар для студентов 3 курса.
+
''Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.''
−
 
+
−
Проходит по пятницам в '''16:20''' в аудитории '''713'''.
+
−
 
+
−
__TOC__
+
  
−
<br style="clear:both;"/>
+
[[Media:pcst16-2.pdf|Участники семинара и таблица посещаемости]] (14.12.2016)
  
 
== Расписание докладов ==
 
== Расписание докладов ==
Строка 19: Строка 17:
 
! Докладчик
 
! Докладчик
 
|-
 
|-
−
| align="center" | 9 октября
+
| rowspan="2" align="center" | 20 октября
−
| Синтез и сложность универсальных схем контактного типа с разделёнными полюсами
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| Зиновьев В. С.  
+
 
|-
 
|-
−
| align="center" | 16 октября
+
| О динамической активности схем из функциональных элементов.
−
| Синтез и сложность дешифраторных схем контактного типа
+
| align="center" | Шуплецов М.С.
−
| Добровецкий Д. И.
+
 
|-
 
|-
−
| align = "center"|6 ноября
+
| rowspan="2" align="center" | 27 октября
−
| О минимальных контактно-вентильных двухполюсниках для монотонных симметрических функций. <sup>[[Media:lubichanno.docx|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
−
| Любич И.Г.
+
−
|-
+
−
| rowspan="2" align="center" | 13 ноября
+
−
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
 
|-
 
|-
−
| Доклад по статье Jason Cong, Chang Wu, Yuzheng Ding "Cut Ranking and Pruning: Enabling a General and Efficient FPGA Mapping Solution".
+
| Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". <sup>[[Media:Аннотация_доклада_27.docx|Аннотация доклада]]
−
| Мария Автайкина
+
| align="center" | Автайкина Мария
 
|-
 
|-
−
| rowspan="2" align="center" | 20 ноября
+
| rowspan="2" align="center" | 3 ноября
−
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 507)
 
|-
 
|-
−
| Обзор конференции International Conference on Computer-Aided Design 2015 (ICCAD 2015) и представление результатов команды факультета ВМК по решению задачи "Large-Scale Equivalence Checking and Function Correction" международного конкурса "CAD contest at ICCAD 2015".
+
| Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". <sup>[[Media:ipmp2214.pdf|Аннотация доклада]]
−
1. http://www.iccad.com (конференция)
+
| align="center" | В. К. Курбацкая
−
2. http://cad-contest.el.cycu.edu.tw/CAD-contest-at-ICCAD2015/ (соревнование)
+
−
3. http://cad-contest.el.cycu.edu.tw/problem_B/default.htm (задача соревнования)
+
−
| Шуплецов Михаил, Антюфеев Григорий, Зенин Евгений, Жуков Владимир.
+
 
|-
 
|-
−
| align = "center"|27 ноября
+
| rowspan="2" align="center" | 11 ноября
−
| Доклад по статье Нечипорука Э.И. "Об одной булевской матрице" <sup>[[Media:SemAnnot26112015.pdf|Аннотация доклада]]</sup>
+
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 508)
−
| Данилов Б.Р.
+
−
|-
+
−
| align = "center"|4 декабря
+
−
| Доклад по статье Ложкина С. А., Ли Да Мина "О некоторых оптимальных вложениях двоичных и троичных деревьев в плоские прямоугольные решетки" <sup>[[Media:visotskiy.docx|Аннотация доклада]]</sup>
+
−
| Высоцкий Л.И.
+
−
|-
+
−
| rowspan="2" align="center" | 11 декабря
+
−
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
+
 
|-
 
|-
−
| Доклад "Маршрут физического проектирования систем на кристалле"  
+
| Доклад "О глубине ступенчатых функций".
−
| Евгений Зенин
+
| align="center" | Д. С. Кинжикеев
 
|-
 
|-
−
| rowspan="2" align="center" | 19 февраля
 
−
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 
−
|-
 
−
| Доклад по статье Храпченко В.М. "Глубина и задержка схемы" <sup>[[Media:zinovev.docx|Аннотация доклада]]</sup>
 
−
| Зиновьев В.С.
 
−
|-
 
−
| rowspan="2" align="center" | 26 февраля
 
−
| colspan="2" align="center" | Совместно с семинаром [[Теория управляющих систем и математические модели СБИС]] (Ауд. 505)
 
−
|-
 
−
| Доклад "Задача поиска булевых соответствий (Boolean matching). Поиск булевых соответствий на основе решения задачи выполнимости и её обобщений (SAT-based methods)". <sup>[[Media:smirnoy.docx|Аннотация доклада]]</sup>
 
−
| Смирной Максим
 
 
|}
 
|}
  
Строка 94: Строка 64:
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Ложкин Сергей Андреевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
 
* проф. [[Захаров Владимир Анатольевич]]
−
 
−
== Участники ==
 
−
 
−
Студенты 3-го курса:
 
−
 
−
 
−
== Ссылки ==
 
−
* [https://docs.google.com/spreadsheet/pub?key=0AlLLBJxZ3oF1dFIyM1ROdWdBc1R4d0JLZzJnSGFHX2c&output=html Таблицы посещаемости (2013-2014 учебный год)]
 
−
 
−
[[Категория:Спецсеминары кафедры математической кибернетики]]
 

Текущая версия на 12:27, 18 февраля 2019

NekVoprSinteza.jpg

Спецсеминар для бакалавров 3 курса проходит по пятницам в 16:20 в аудитории 606.

Участники семинара и таблица посещаемости (14.12.2016)

Расписание докладов

Дата Тема доклада Докладчик
20 октября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
О динамической активности схем из функциональных элементов. Шуплецов М.С.
27 октября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье "Dynamic Programming Algorithms for Large-Scale Equivalence Checking and Functional Correction". Аннотация доклада Автайкина Мария
3 ноября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 507)
Доклад по статье К. А. Попкова "Нижние оценки длин единичных тестов для схем из функциональных элементов". Аннотация доклада В. К. Курбацкая
11 ноября Совместно с семинаром Теория управляющих систем и математические модели СБИС (Ауд. 508)
Доклад "О глубине ступенчатых функций". Д. С. Кинжикеев


   
     
темы семинаров предварительные, следите за возможными изменениями архив докладов за прошлые семестры

Руководители

Научные кураторы

Источник — «https://mk.cs.msu.ru/index.php?title=Некоторые_вопросы_теории_управляющих_систем&oldid=5884»