Шаблон:Current Seminars
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| 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)
|
