Шаблон:Current Seminars — различия между версиями
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 52: | Строка 52: | ||
'''Algorithms for Monitoring Real-time Properties''' | '''Algorithms for Monitoring Real-time Properties''' | ||
| − | + | (David Basin, Felix Klaedtke, Eugen Zalinescu) | |
Исследуются задачи представления и анализа алгоритмов мониторинга для различных темпоральных логик, различающихся трактовкой модели течения времени. Рассматриваемые временные модели имеют либо непрерывные (интервальные), либо дискретные (точечные) области определения времени (time domains). Анализ выявляет сходства и различия между такими логиками, выделяет ключевые концепции алгоритмов и затрагивает вопросы сложности для этих алгоритмов. В частности, выделяется класс формул, на которых эти модели совпадают. Также показывается, что существуют полиномиальные алгоритмы для решения таких задач. | Исследуются задачи представления и анализа алгоритмов мониторинга для различных темпоральных логик, различающихся трактовкой модели течения времени. Рассматриваемые временные модели имеют либо непрерывные (интервальные), либо дискретные (точечные) области определения времени (time domains). Анализ выявляет сходства и различия между такими логиками, выделяет ключевые концепции алгоритмов и затрагивает вопросы сложности для этих алгоритмов. В частности, выделяется класс формул, на которых эти модели совпадают. Также показывается, что существуют полиномиальные алгоритмы для решения таких задач. | ||
Версия 14:34, 11 октября 2018
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 12 октября | Нижняя оценка энергопотребления для одного класса объёмных схем | Ефимов А.А. |
| 28 сентября | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».Аннотация доклада | Мальцев А.Н. |
| 21 сентября | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада | Хзмалян Д.Э.
|
| Сложность решения дискретных задач | ||
| 5 октября 2018 г. | Организационное заседание | |
| 12 октября 2018 г. | Расшифровка слабо положительных дизъюнкций.
В докладе рассматривается задача расшифровки функций алгебры логики, зависящих от n переменных, которые можно представить в виде элементарной дизъюнкции с ровно одной переменной с отрицанием. При расшифровке можно задавать вопросы о значении расшифровываемой функции на произвольном наборе значений ее переменных и получать правильные ответы. Функция считается расшифрованной, если восстановлены ее значения на всех возможных наборах значений ее переменных. Находятся верхняя и нижняя оценки наименьшего числа вопросов, которые требуется задать, чтобы расшифровать любую функцию от n переменных из рассматриваемого множества. |
Жорина Александра (618/1 гр.)
|
| Теоретические проблемы программирования | ||
| 12 октября 2018 г.
|
Доклад по статье
Algorithms for Monitoring Real-time Properties (David Basin, Felix Klaedtke, Eugen Zalinescu) Исследуются задачи представления и анализа алгоритмов мониторинга для различных темпоральных логик, различающихся трактовкой модели течения времени. Рассматриваемые временные модели имеют либо непрерывные (интервальные), либо дискретные (точечные) области определения времени (time domains). Анализ выявляет сходства и различия между такими логиками, выделяет ключевые концепции алгоритмов и затрагивает вопросы сложности для этих алгоритмов. В частности, выделяется класс формул, на которых эти модели совпадают. Также показывается, что существуют полиномиальные алгоритмы для решения таких задач. |
Е.М. Винарский (МК ВМК МГУ)
|
