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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 38: Строка 38:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 17 марта 2017 г.
+
{{announce Seminar| 24 марта 2017 г.
| '''Простые алгоритмы анализа сетей Петри'''.
+
| '''Механизация минимизации детерминированных обобщенных автоматов Бюхи'''.
  
Продолжение доклада по статье A. Finkel, J. Leroux "Recent and Simple Algorithms For Petri Nets"
+
Доклад по статье S. Baarir, A. Duret-Lutz “Mechanizing the Minimization of Deterministic Generalized Büchi Automata”
  
В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее.
+
Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы.
| Е. Таратута }}
+
| З. Джусупекова, Г. Темербекова }}
  
  

Версия 13:55, 20 марта 2017

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
17 марта 2017 г. ауд. 507 Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада Трубицын Ю.А.
Некоторые вопросы теории управляющих систем
17 марта 2017 г. ауд. 582а Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада Козловский А.Н.
Сложность решения дискретных задач
Теоретические проблемы программирования
24 марта 2017 г. Механизация минимизации детерминированных обобщенных автоматов Бюхи.

Доклад по статье S. Baarir, A. Duret-Lutz “Mechanizing the Minimization of Deterministic Generalized Büchi Automata”

Рассматриваются методы получения и минимизации детерминированных автоматов Бюхи для разных классов свойств. Метод минимизации сводится к задаче выполнимости булевых формул. Представляются тесты, которые реализуют все эти методы.

З. Джусупекова, Г. Темербекова