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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
м (Доклады на спецсеминарах)
 
(не показаны 9 промежуточные версии 3 участников)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 +
<!--
 +
{{announce Seminar | 6 ноября 2020
 +
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
 +
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским
 +
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
 +
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
 +
-->
 +
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
{{announce Seminar | 2 октября 2020
+
{{announce Seminar|  
| Доклад по статье "Вороненко А.А. Условное тестирование схем Кардо // Вестник Моск. ун-та. Сер. 15 Вычислительная математика и кибернетика, 2020, N 3, c. 57-60."
+
|  
| Пенкин В.А. (студент группы 418)}}
+
| }}
{{announce Seminar | 9 октября 2020
+
| Доклад по статье "Вороненко А.А., Окунева А.С. Универсальные функции для классов линейных функций двух переменных // Дискретная математика.-Т.32- 2020, N 1, c.3-7."
+
| Журавлева С.А. (студент группы 318)}}
+
{{announce Seminar | 16 октября 2020
+
| Доклад по статье "Вороненко А.А., Окунева А.С. Универсальные функции для классов линейных функций трех переменных // Прикладная математика и информатика, М.: Макс Пресс. 2020, N58, c.112-121."
+
| Фаерштейн И.С. (студент группы 518мк_дс)}}
+
{{announce Seminar | 23 октября 2020
+
| Доклад по статье "Вороненко А.А. О сложности pаспознавания монотонности // Математические вопpосы кибеpнетики. М.: Физматлит, 1999. Выпуск 8, с.301-303."
+
| Китаев С.Н. (асп. 1 г.о.)}}
+
  
 
|-
 
|-
Строка 32: Строка 31:
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
{{announce Seminar|  
 
{{announce Seminar|  
|
+
|  
 
| }}
 
| }}
 
 
<!--
 
|-
 
|colspan="3"|'''[[Просеминар для 2-го курса]]'''
 
{{announce Seminar||| }}
 
-->
 
 
|}
 
|}

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

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

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