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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(→‎Доклады на спецсеминарах)
м (→‎Доклады на спецсеминарах)
 
(не показаны 125 промежуточные версии 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|25 ноября 2016 г.
 
−
| Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
 
−
| Ян-Мартин Юрьевич }}
 
−
 
−
|-
 
−
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]'''
 
−
{{announce Seminar|25 ноября 2016 г.
 
−
| Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup>
 
−
| Ян-Мартин Юрьевич }}
 
 
|-
 
|-
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
 
|colspan="3"|'''[[Сложность решения дискретных задач]]'''
−
{{announce Seminar| 30 сентября 2016 г.
+
{{announce Seminar|  
−
| Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61.
+
|  
−
| Нургалиев М.}}
+
| }}
−
 
+
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
−
{{announce Seminar|25 ноября 2016 года
+
{{announce Seminar|  
−
| Проверка допустимости конфигураций модульных вычислительных систем реального времени
+
|  
−
 
+
| }}
−
В докладе будет рассмотрена задача проверки допустимости конфигураций модульных вычислительных систем реального времени (МВС РВ), возникающая при проектировании таких систем. Для решения данной задачи необходимо выполнять построение временных диаграмм функционирования МВС РВ, для чего требуется моделировать функционирование компонентов системы. В качества математического аппарата для описания моделей систем предлагается использовать сети временных автоматов с остановкой таймеров. В докладе будет представлена обобщенная формальная модель МВС РВ, метод построения на её основе моделей конкретных систем, а также подход к доказательству корректности и точности построенных моделей (детерминированность получаемых временных диаграмм, проверка выполнения требований точности и корректности из стандартов на МВС).
+
−
 
+
−
| Глонина А. (Лаборатория Вычислительных комплексов ВМК МГУ)}}
+
−
 
+
−
+
−
<!--
+
−
|-
+
−
|colspan="3"|'''[[Просеминар для 2-го курса]]'''
+
−
{{announce Seminar||| }}
+
−
-->
+
 
|}
 
|}

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

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

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