Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
м (Доклады на спецсеминарах)
 
(не показаны 36 промежуточные версии 5 участников)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
{{announce Seminar|  
+
<!--
|
+
{{announce Seminar | 6 ноября 2020
| }}
+
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
 +
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским
 +
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
 +
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
 +
-->
  
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
{{announce Seminar|
+
{{announce Seminar|  
 
|  
 
|  
 
| }}
 
| }}
  
 
|-
 
|-
|colspan="3"|'''[[Дискретный анализ]]'''
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
 
{{announce Seminar|  
 
{{announce Seminar|  
 
|  
 
|  
| }}
+
| }}
 
+
|-
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
+
{{announce Seminar| 12 октября
+
| Нижняя оценка энергопотребления для одного класса объёмных схем
+
| align="center" | Ефимов А.А.|}}
+
{{announce Seminar| 28 сентября
+
| Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».<sup>[[Media:Mal'cev_AN_2018_09_28.docx|Аннотация доклада]]
+
| align="center" | Мальцев А.Н.
+
|}}
+
{{announce Seminar| 21 сентября
+
| Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».<sup>[[Media:Хзмалян_21_09_2018.pdf|Аннотация доклада]]
+
| align="center" | Хзмалян Д.Э.
+
|}}
+
  
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
{{announce Seminar| 5 октября 2018 г.
+
{{announce Seminar|  
| Организационное заседание
+
 
|  
 
|  
|}}
+
| }}
{{announce Seminar| 12 октября 2018 г.
+
| '''Расшифровка слабо положительных дизъюнкций'''.
+
В докладе рассматривается задача расшифровки функций алгебры логики, зависящих от n переменных, которые можно представить в виде элементарной дизъюнкции с ровно одной переменной с отрицанием. При расшифровке можно задавать вопросы о значении расшифровываемой функции на произвольном наборе значений ее переменных и получать правильные ответы. Функция считается расшифрованной, если восстановлены ее значения на всех возможных наборах значений ее переменных. Находятся верхняя и нижняя оценки наименьшего числа вопросов, которые требуется задать, чтобы расшифровать любую функцию от n переменных из рассматриваемого множества.
+
| Жорина Александра  (618/1 гр.)
+
|}}
+
 
   
 
   
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 12 октября 2018 г.
+
{{announce Seminar|  
 
+
|  
| Доклад по статье
+
| }}
 
+
'''Algorithms for Monitoring Real-time Properties'''
+
 
+
(David Basin, Felix Klaedtke, Eugen Zalinescu) 
+
 
+
Исследуются задачи представления и анализа алгоритмов мониторинга для различных темпоральных логик, различающихся трактовкой модели течения времени. Рассматриваемые временные модели имеют либо непрерывные (интервальные), либо дискретные (точечные) области определения времени (time domains). Анализ выявляет сходства и различия между такими логиками, выделяет ключевые концепции алгоритмов и затрагивает вопросы сложности для этих алгоритмов. В частности, выделяется класс формул, на которых эти модели совпадают. Также показывается, что существуют полиномиальные алгоритмы для решения таких задач.
+
| Е.М. Винарский (МК ВМК МГУ)
+
}}
+
 
+
 
+
<!--
+
|-
+
|colspan="3"|'''[[Просеминар для 2-го курса]]'''
+
{{announce Seminar||| }}
+
-->
+
 
|}
 
|}

Текущая версия на 23:04, 13 апреля 2022

Доклады на спецсеминарах

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