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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 2: Строка 2:
 
{|
 
{|
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
 
|colspan="3"|'''[[Дискретная математика и математическая кибернетика]]'''
{{announce Seminar|  
+
{{announce Seminar | 6 ноября 2020
|  
+
| '''О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов'''.
| }}
+
Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским
 +
и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.
 +
| Попкова К.А. (Институт прикладной математики им. М.В. Келдыша РАН)}}
  
 
|-
 
|-

Версия 20:48, 1 ноября 2020

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

Дискретная математика и математическая кибернетика
6 ноября 2020 О возможностях построения легкотестируемых контактных схем и схем из функциональных элементов.

Аннотация. Исследованы задачи реализации булевых функций контактными схемами и схемами из функциональных элементов, допускающими короткие проверяющие либо диагностические тесты относительно неисправностей заранее оговоренного вида, которые могут происходить в схемах. Указанные задачи были впервые предложены (применительно к контактным схемам) С.В. Яблонским и И.А. Чегис в середине 1950-х годов и изучались многими авторами. Рассмотрены следующие виды неисправностей: обрывы и/или замыкания контактов, константные (однотипные или произвольные) либо инверсные неисправности на входах и/или выходах функциональных элементов. Число допустимых неисправностей в схемах может быть ограничено сверху единицей или заданным натуральным числом либо никак не ограничено. Получен ряд верхних и/или нижних оценок длин минимальных тестов для схем, реализующих заданные, все или почти все булевы функции, при различных исходных условиях. Во многих случаях найдены точные значения этих длин и/или улучшены известные ранее результаты.

Попкова К.А. (Институт прикладной математики им. М.В. Келдыша РАН)
Дискретные функции и сложность алгоритмов
2 октября 2020 "Условное тестирование схем Кардо" (Вороненко А.А.) Пенкин В.А. (студент группы 418)
9 октября 2020 "Универсальные функции для классов линейных функций двух переменных" (Вороненко А.А., Окунева А.С.) Журавлева С.А. (студент группы 318)
16 октября 2020 "Универсальные функции для классов линейных функций трех переменных" (Вороненко А.А., Окунева А.С.) Фаерштейн И.С. (студент группы 518мк_дс)
23 октября 2020 "О сложности pаспознавания монотонности" (Вороненко А.А.) Китаев С.Н. (асп. 1 г.о.)
Теория управляющих систем и математические модели СБИС
Сложность решения дискретных задач
Теоретические проблемы программирования
8 октября 2020 "Modelling and Verification of Timed Interaction and Migration" (G. Ciobanu, M. Coutny) Евгений Винарский (студент группы 618мк_дус)
15 октября 2020 Проверка эквивалентности в одном классе многоленточных автоматов Шынар Жайлауова (асп.)
22 октября 2020 Принципы устройства протокола блокчейна Ethereum и языка описания смарт-контрактов Solidity Сергей Портнов (студент группы 418)
29 октября 2020 "Minimizing GFG Transition-Based Automata" (O. Kupferman, B. Abu Radi) Артур Хашаев (асп.)
12 ноября 2020 "TCTL-preserving translations from timed-arc Petri nets to networks of timed automata" (J. Byg, M. Jacobsen, L. Jacobsen, K.Y. Jørgensen, M.H. Møller, J. Srba) Георгий Попков (студент группы 518мк_дус)
19 ноября 2020 "Deterministic 1-counter automata" (M. Paterson, L. Valiant) Нурлан Рахимжанов (студент группы 418)
26 ноября 2020 "2-Way Finite Automata" (Serena Rietbergen) Диана Оспанова (студент группы 418)
3 декабря 2020 "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen) Нина Куцак (студент группы 618мк_дус)
10 декабря 2020 "The mu-calculus and model checking" (I. Walukievicz, J. Bradfield) Антон Гнатенко (ВШЭ)
17 декабря 2020 "Model Checking with Multi-Valued Logics" (G. Bruns, P. Godefroid) Илья Мушкин (студент группы 418)