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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 52: Строка 52:
 
'''Algorithms for Monitoring Real-time Properties'''
 
'''Algorithms for Monitoring Real-time Properties'''
  
(David Basin, Felix Klaedtke, Eugen Zalinescu)   
+
(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). Анализ выявляет сходства и различия между такими логиками, выделяет ключевые концепции алгоритмов и затрагивает вопросы сложности для этих алгоритмов. В частности, выделяется класс формул, на которых эти модели совпадают. Также показывается, что существуют полиномиальные алгоритмы для решения таких задач.

Е.М. Винарский (МК ВМК МГУ)