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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Доклады на спецсеминарах)
м (→‎Доклады на спецсеминарах)
 
(не показаны 128 промежуточные версии 6 участников)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
−
{{announce Seminar|  
+
<!--
−
|
+
{{announce Seminar | 6 ноября 2020
−
| }}
+
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
 +
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским
 +
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
 +
| '''Попков К.А.''' (Институт прикладной математики им. М.В. Келдыша РАН)}}
 +
-->
  
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
−
{{announce Seminar|30 сентября 2016 года
+
{{announce Seminar|  
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
  
 
|-
 
|-
−
|colspan="3"|'''[[Дискретный анализ]]'''
+
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''  
−
{{announce Seminar| 30 сентября 2016 г.
+
{{announce Seminar|  
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
  
−
|-
 
−
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]'''
 
−
{{announce Seminar|18 ноября 2016 г.
 
−
| Доклад "О характеризации глубины функций в терминах коммуникационной сложности и о глубине мультиплексорной функции"
 
−
| Довгалюк Е.Л.}}
 
−
 
−
|-
 
−
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 
−
{{announce Seminar|18 ноября 2016 г.
 
−
| Доклад по статье Гринчука М.И. "Омонотонной сложности пороговых функций" <sup>[[Media:rom.docx|Аннотация доклада]]</sup>
 
−
| Ложкин С.А.}}
 
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
−
{{announce Seminar| 30 сентября 2016 г.
+
{{announce Seminar|  
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
−
 
+
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
−
{{announce Seminar|17 ноября 2016 года
+
{{announce Seminar|  
−
| Задача обеспечения отказоустойчивости распределенных вычислительных систем. Реферат статьи "The Byzantine Generals Problem", L. Lamport, R. Shostak, M. Pease. ACM Transactions on Programming Languages and Systems. 1982, 4 (3), p. 382–401.
+
|  
−
 
+
| }}
−
Reliable computer systems must handle malfunctioning components that give conflicting information
+
−
to different parts of the system. This situation can be expressed abstractly in terms of a group of
+
−
generals of the Byzantine army camped with their troops around an enemy city. Communicating only
+
−
by messenger, the generals must agree upon a common battle plan. However, one or more of them
+
−
may be traitors who will try to confuse the others. The problem is to find an algorithm to ensure that
+
−
the loyal generals will reach agreement. It is shown that, using only oral messages, this problem is
+
−
solvable if and only if more than two-thirds of the generals are loyal; so a single traitor can confound
+
−
two loyal generals. With unforgeable written messages, the problem is solvable for any number of
+
−
generals and possible traitors. Applications of the solutions to reliable computer systems are then
+
−
discussed.
+
−
 
+
−
| Словеснов Н.}}
+
−
 
+
−
+
−
<!--
+
−
|-
+
−
|colspan="3"|'''[[Просеминар для 2-го курса]]'''
+
−
{{announce Seminar||| }}
+
−
-->
+
 
|}
 
|}

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

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
Теоретические проблемы программирования
Источник — «https://mk.cs.msu.ru/index.php?title=Шаблон:Current_Seminars&oldid=9113»