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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
м (Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 10: Строка 10:
 
|-
 
|-
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 
|colspan="3"|'''[[Дискретные функции и сложность алгоритмов]]'''
 +
{{announce Seminar | 12 марта 2021
 +
| "О пороговых булевых функциях"
 +
| Алексеев В.Б. (профессор кафедры МК)}}
 +
 
{{announce Seminar | 2 октября 2020
 
{{announce Seminar | 2 октября 2020
 
| "Условное тестирование схем Кардо" (Вороненко А.А.)
 
| "Условное тестирование схем Кардо" (Вороненко А.А.)

Версия 12:40, 10 марта 2021

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

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

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

Попков К.А. (Институт прикладной математики им. М.В. Келдыша РАН)
Дискретные функции и сложность алгоритмов
12 марта 2021 "О пороговых булевых функциях" Алексеев В.Б. (профессор кафедры МК)
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 "A hierarchy of temporal logics with past" (F. Laroussinie, Ph. Schnoebelen) Нина Куцак (студент группы 618мк_дус)
19 ноября 2020 "Deterministic 1-counter automata" (M. Paterson, L. Valiant) Нурлан Рахимжанов (студент группы 418)
26 ноября 2020 "2-Way Finite Automata" (Serena Rietbergen) Диана Оспанова (студент группы 418)
3 декабря 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мк_дус)
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)