Просеминар для 2-го курса — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Руководители)
(не показаны 32 промежуточных версий 4 участников)
Строка 1: Строка 1:
Просеминар для студентов 2-го курса
+
[[Категория:Архив спецсеминаров кафедры математической кибернетики]]
  
Проходит по пятницам с 16:20 до 17:55 в ауд. 507
+
'''Информация о просеминаре, проводившемся в <span style="font-size:200%">2015-2016</span> учебном году'''
  
== Тематика семинара ==
+
Просеминар предназначен для знакомства студентов 2 курса с основными направлениями и наиболее интересными результатами проводимых на кафедре и в лаборатории исследований в области дискретной математики, теории графов, сложности алгоритмов, теории синтеза, надёжности и контроля дискретных управляющих систем, а также с применением этих результатов при решении некоторых задач проектирования СБИС и программирования.
Целью семинара является познакомить студентов 2-го курса с основными направлениями исследований, проводимых сотрудниками кафедры математической кибернетики.  
+
  
==Руководители==
+
Просеминар начинает свою работу с 14 марта и проводится в форме независимых лекций-семинаров, на которые приглашаются все заинтересованные студенты 1 и 2 курсов. Предварительных знаний не требуется.
[[Алексеев_Валерий_Борисович|Алексеев Валерий Борисович]],  
+
[[Ложкин_Сергей_Андреевич|Ложкин Сергей Андреевич]],
+
[[Сапоженко_Александр_Антонович|Сапоженко Александр Антонович]],
+
[[Марченков_Сергей_Серафимович|Марченков Сергей Серафимович]]
+
[[Захаров_Владимир_Анатольевич|Захаров Владимир Анатольевич]],
+
[[Вороненко_Андрей_Анатольевич|Вороненко Андрей Анатольевич]],
+
[[Романов_Дмитрий_Сергеевич|Романов Дмитрий Сергеевич]],
+
[[Селезнева_Светлана_Николаевна|Селезнева Светлана Николаевна]],
+
[[Нагорный_Александр_Степанович|Нагорный Александр Степанович]],
+
[[Шуплецов_Михаил_Сергеевич|Шуплецов Михаил Сергеевич]]
+
  
 +
Занятия проходят по понедельникам с 16:20 до 17:55, в ауд. 504. На первом семинаре 14 марта с общей информацией о научной тематике кафедры и лаборатории, а также с интересными примерами решаемых задач выступят зав. кафедрой профессор [[Алексеев Валерий Борисович|В.Б.Алексеев]] и зав. лабораторией профессор [[Ложкин Сергей Андреевич|С.А.Ложкин]].
 +
== Научно-образовательные направления кафедры ==
 +
*[[Media:mk-dsa.pdf|Дискретные структуры и алгоритмы]]
 +
*[[Media:Discrete_Control_Systems_and_Applications.pdf|Дискретные управляющие системы и их приложения]]
 +
 +
== Программа просеминара ==
 +
=== Представление функций суперпозициями ===
 +
*Докладчик: [[Марченков Сергей Серафимович|Марченков С.С.]]
 +
*Дата: 21 марта.
 +
=== Проблемы сложности булевых функций. Задачи синтеза, надежности и контроля дискретных управляющих систем. ===
 +
*Докладчики: [[Ложкин Сергей Андреевич|Ложкин С.А.]], [[Романов Дмитрий Сергеевич|Романов Д.С.]], [[Шуплецов Михаил Сергеевич|Шуплецов М.С.]]
 +
*Дата: 28 марта.
 +
*Аннотация: Решение основных проблем и задач теории дискретных управляющих систем, указанных в теме семинара, будет рассмотрено на примере счетчика четности, то есть суммы по модулю 2 заданного числа булевых переменных, при его реализации в классе контактных схем, являющихся моделью транзисторного уровня современных СБИС. Для счетчика четности будут построены: минимальная контактная схема и близкий к минимальному тест, диагностирующий обрыв одного из её контактов; минимальная схема, корректирующая обрыв одного контакта. На семинаре будет проведена демонстрация проектирования простой дискретной управляющей системы с использованием программируемых логических схем компании Altera.
 +
* [[Media:2016_Proseminar_FPGA.pdf|Презентация доклада]]
 +
 +
=== Сложность функций алгебры логики в классах полиномиальных форм ===
 +
*Докладчик: [[Селезнева Светлана Николаевна|Селезнева С.Н.]]
 +
*Дата: 4 апреля.
 +
*Аннотация: Полиномиальной нормальной формой (ПНФ) называется сумма по модулю два произведений переменных либо их отрицаний. Длина ПНФ - число ее слагаемых. В докладе будет рассказано красивое решение задачи оценки длины ПНФ для произвольной функции алгебры логики. В этом решении ПНФ строится по комбинаторному множеству на n-мерном кубе. Следует отметить, что ПНФ, как и ДНФ, применяются при проектировании интегральных схем.
 +
 +
=== Математические задачи автоматизации проектирования интегральных схем ===
 +
*Докладчики: Марченко А.М., Мелик-Адамян А.Ф.
 +
*Дата: 11 апреля.
 +
*Аннотация: Программно-аппаратная реализация и, в частности, проектирование современных СБИС представляет собой сложную комплексную задачу, успешное решение которой требует глубоких знаний в области теории дискретных управляющих систем, сложности вычислений, программирования и др., а также навыков их практического применения. Авторы доклада, которые сочетают преподавание на кафедре с работой в фирмах Mentor Graphics и Intel, расскажут о тематике научных исследований, проводимых в данном направлении, в том числе силами студентов и аспирантов.
 +
*[[Media:Proseminar_2016_Marchenko.pdf| Презентация доклада: Марченко А.М. Математические методы проектирования топологии СБИС]]
 +
 +
=== Некоторые комбинаторные задачи. Дискретные модели и задачи управления компьютерными сетями ===
 +
*Докладчики: [[Сапоженко Александр Антонович|Сапоженко А.А.]], [[Захаров Владимир Анатольевич|Захаров В.А.]], [[Подымов Владислав Васильевич|Подымов В.В.]]
 +
*Дата: 18 апреля.
 +
*Семинар состоит из двух независимых частей.
 +
*Аннотация первой части: Классическая задача комбинаторики, информатики и теории сложности - задача о покрытии - формулируется так: для заданного множества и семейства его подмножеств найти минимальное подсемейство, в объединении дающее все множество. На семинаре будут обсуждаться градиентный (жадный) алгоритм решения этой задачи, верхняя оценка сложности этого алгоритма и "трудные" для жадного алгоритма случаи.
 +
*Аннотация второй части: Из-за своей распределенной природы компьютерная сеть оказывается необычайно трудным для анализа объектом. Анализ "классических" компьютерных сетей осложняется еще и разнородностью и независимостью устройств в узлах сети. Это одна из причин нарастающей популярности программно-конфигурируемых сетей (ПКС) — сетей с централизованным управлением, единообразными устройствами в узлах и строгим разделением управления и передачи данных. На семинаре будут обсуждаться две задачи анализа ПКС. Первая — задача верификации: для математической модели сети строго проверить соблюдение требований, предъявляемых к поведению сети. Вторая — задача реконфигурации: предоставить безопасный способ изменения конфигурации сети, отвечающий изменяющимся требованиям.
 +
*[[Media:Prosem_2016_Podymov_Zakharov.pdf| Презентация второй части семинара.]]
 +
 +
=== Общая встреча с кафедрой математической кибернетики ===
 +
25 апреля в ауд. 504 пройдет общая встреча студентов 2-го курса с преподавателями кафедры математической кибернетики, начало в 16:20.
 +
 +
<!--
 
== Расписание докладов ==
 
== Расписание докладов ==
 +
 +
=== 2014-2015 учебный год ===
 +
 +
Просеминар продолжит работу в весеннем семестре 2014-2015 учебного года
  
 
=== Весенний семестр 2013-2014 учебного года ===
 
=== Весенний семестр 2013-2014 учебного года ===
Строка 25: Строка 56:
  
 
! Дата
 
! Дата
! Докладчик
+
! Докладчики
 
! Название доклада
 
! Название доклада
! Комментарии
 
 
|-
 
|-
|  
+
| 21 февраля 2014 г.
|  
+
| проф. [[Ложкин Сергей Андреевич | Ложкин С.А.]], доц. [[Романов Дмитрий Сергеевич | Романов Д.С.]]
|
+
| Проблемы сложности булевых функций, задачи синтеза, надежности и контроля схем
 +
|-
 +
| 28 февраля 2014 г.
 +
| асс. [[Шуплецов Михаил Сергеевич | Шуплецов М.С.]], асп. Коноводов В.А.
 +
| Прикладные задачи в области оптимизации логических схем
 +
|-
 +
| 14 марта 2014 г.
 +
| проф. Марченко А.М., к.т.н. Мелик-Адамян А.Ф.
 +
| Математические задачи автоматизации проектирования СБИС [[Медиа:proseminar14-03-2014.pdf | Аннотация доклада]]
 +
|-
 +
| 21 марта 2014 г.
 +
| проф. [[Сапоженко Александр Антонович | Сапоженко А.А.]]
 +
| О числе монотонных булевых функций. Обзор результатов по статьям В.Коробкова, Ж. Анселя, А.Коршунова, А.Сапоженко
 +
|-
 +
| 28 марта 2014 г.
 +
| доц. [[Селезнева Светлана Николаевна | Селезнева С.Н.]]
 +
| Полиномиальные представления булевых и k-значных функций и их применения
 +
|-
 +
| 4 апреля 2014 г.
 +
| проф. [[Захаров Владимир Анатольевич | Захаров В.А.]]
 +
| Модели дискретной математики для телекоммуникационных сетей нового поколения
 +
|-
 +
| 11 апреля 2014 г.
 +
| проф. [[Марченков Сергей Серафимович | Марченков С.С.]]
 +
| Операторы замыкания в многозначной логике
 
|}
 
|}
 
+
-->
 
+
 
+
[[Категория:Спецсеминары кафедры математической кибернетики]]
+

Версия 16:06, 20 декабря 2019


Информация о просеминаре, проводившемся в 2015-2016 учебном году

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

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

Занятия проходят по понедельникам с 16:20 до 17:55, в ауд. 504. На первом семинаре 14 марта с общей информацией о научной тематике кафедры и лаборатории, а также с интересными примерами решаемых задач выступят зав. кафедрой профессор В.Б.Алексеев и зав. лабораторией профессор С.А.Ложкин.

Научно-образовательные направления кафедры

Программа просеминара

Представление функций суперпозициями

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

  • Докладчики: Ложкин С.А., Романов Д.С., Шуплецов М.С.
  • Дата: 28 марта.
  • Аннотация: Решение основных проблем и задач теории дискретных управляющих систем, указанных в теме семинара, будет рассмотрено на примере счетчика четности, то есть суммы по модулю 2 заданного числа булевых переменных, при его реализации в классе контактных схем, являющихся моделью транзисторного уровня современных СБИС. Для счетчика четности будут построены: минимальная контактная схема и близкий к минимальному тест, диагностирующий обрыв одного из её контактов; минимальная схема, корректирующая обрыв одного контакта. На семинаре будет проведена демонстрация проектирования простой дискретной управляющей системы с использованием программируемых логических схем компании Altera.
  • Презентация доклада

Сложность функций алгебры логики в классах полиномиальных форм

  • Докладчик: Селезнева С.Н.
  • Дата: 4 апреля.
  • Аннотация: Полиномиальной нормальной формой (ПНФ) называется сумма по модулю два произведений переменных либо их отрицаний. Длина ПНФ - число ее слагаемых. В докладе будет рассказано красивое решение задачи оценки длины ПНФ для произвольной функции алгебры логики. В этом решении ПНФ строится по комбинаторному множеству на n-мерном кубе. Следует отметить, что ПНФ, как и ДНФ, применяются при проектировании интегральных схем.

Математические задачи автоматизации проектирования интегральных схем

  • Докладчики: Марченко А.М., Мелик-Адамян А.Ф.
  • Дата: 11 апреля.
  • Аннотация: Программно-аппаратная реализация и, в частности, проектирование современных СБИС представляет собой сложную комплексную задачу, успешное решение которой требует глубоких знаний в области теории дискретных управляющих систем, сложности вычислений, программирования и др., а также навыков их практического применения. Авторы доклада, которые сочетают преподавание на кафедре с работой в фирмах Mentor Graphics и Intel, расскажут о тематике научных исследований, проводимых в данном направлении, в том числе силами студентов и аспирантов.
  • Презентация доклада: Марченко А.М. Математические методы проектирования топологии СБИС

Некоторые комбинаторные задачи. Дискретные модели и задачи управления компьютерными сетями

  • Докладчики: Сапоженко А.А., Захаров В.А., Подымов В.В.
  • Дата: 18 апреля.
  • Семинар состоит из двух независимых частей.
  • Аннотация первой части: Классическая задача комбинаторики, информатики и теории сложности - задача о покрытии - формулируется так: для заданного множества и семейства его подмножеств найти минимальное подсемейство, в объединении дающее все множество. На семинаре будут обсуждаться градиентный (жадный) алгоритм решения этой задачи, верхняя оценка сложности этого алгоритма и "трудные" для жадного алгоритма случаи.
  • Аннотация второй части: Из-за своей распределенной природы компьютерная сеть оказывается необычайно трудным для анализа объектом. Анализ "классических" компьютерных сетей осложняется еще и разнородностью и независимостью устройств в узлах сети. Это одна из причин нарастающей популярности программно-конфигурируемых сетей (ПКС) — сетей с централизованным управлением, единообразными устройствами в узлах и строгим разделением управления и передачи данных. На семинаре будут обсуждаться две задачи анализа ПКС. Первая — задача верификации: для математической модели сети строго проверить соблюдение требований, предъявляемых к поведению сети. Вторая — задача реконфигурации: предоставить безопасный способ изменения конфигурации сети, отвечающий изменяющимся требованиям.
  • Презентация второй части семинара.

Общая встреча с кафедрой математической кибернетики

25 апреля в ауд. 504 пройдет общая встреча студентов 2-го курса с преподавателями кафедры математической кибернетики, начало в 16:20.