|
ИСТИНА |
Войти в систему Регистрация |
ФНКЦ РР |
||
Задача восстановления журнала событий по темпоральной спецификациидипломная работа (Магистр)
- Научный руководитель: Подымов Владислав Васильевич
- Автор: Мушкин Илья Евгеньевич
- Тип: Магистр
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Год защиты: 2023
- Аннотация: Исследована задача построения некоторого представления всевозможных доопределений троичной конечной трассы событий, удовлетворяющих заданной формуле логики линейного времени на конечных трассах. Для варианта постановки задачи, предложенного в работе, разработан алгоритм с обоснованием корректности и оценкой сложности, показана высокая сложность задачи в целом и существенно более низкая сложность для некоторого фрагмента логики.
- Добавил в систему: Подымов Владислав Васильевич