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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 42: Строка 42:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 28 сентября 2018 г.
+
{{announce Seminar| 5 октября 2018 г.
  
| Собрание участников семинара.  
+
| '''Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной'''.  
  
Обсуждение и формирование программы работы спецсеминара.
+
Доклад посвящен задачам анализа и синтеза временных автоматов. Временной автомат используется для описания поведения системы, которая переходит из состояния в состояние под действием входных воздействий, производя при этом выходные сигналы. Временная переменная позволяет учесть временные аспекты в поведении системы посредством введения временных ограничений по подаче входных символов, а также описания входных и выходных таймаутов. Для конечных автоматов с одной временной переменной рассматриваются классические задачи анализа и синтеза, такие как минимизация и композиция временных автоматов. Показывается, что для построения единственной приведенной (минимальной) формы детерминированного полностью определенного временного автомата недостаточно приведенной формы по состояниям, необходимо также минимизировать временные аспекты, и предлагается метод минимизации временного автомата. Во второй части доклада отмечается, что в отличие от классических автоматов, «медленная» внешняя среда и отсутствие осцилляций не являются достаточными условиями для описания параллельной композиции детерминированным временным автоматом, и формулируются достаточные условия, при которых операция параллельной композиции является замкнутой в множестве детерминированных временных автоматов. В последней части доклада отмечается, что автором получен ряд интересных результатов по синтезу проверяющих тестов с гарантированной полнотой для временных автоматов.
  
 
 
 
 
| В.А. Захаров
+
| А.С. Твардовский (Томский гос. университет)
 
|  }}
 
|  }}
  

Версия 20:48, 29 сентября 2018

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

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
Дискретный анализ
Теория управляющих систем и математические модели СБИС
28 сентября Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».Аннотация доклада Мальцев А.Н.
21 сентября Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада Хзмалян Д.Э.


Сложность решения дискретных задач
20 апреля 2018 г. Представление выпускных работ студентов 418 группы. Презентации работ Мазуренко Анастасии, Саковича Марка, Соломатовой Марии. Мазуренко Анастасия (418 гр.), Сакович Марк (418 гр.), Соломатова Мария (418 гр.)
13 апреля 2018 г. Представление выпускных работ студентов 618/1 группы. Презентации работ Астаховой Анастасии, Вершинина Александра, Мельник Марины. Астахова Анастасия (618/1 гр.), Вершинин Александр (618/1 гр.), Мельник Марина (618/1 гр.)


Теоретические проблемы программирования
5 октября 2018 г.


Конечно автоматные методы анализа и синтеза дискретных систем с одной временной переменной.

Доклад посвящен задачам анализа и синтеза временных автоматов. Временной автомат используется для описания поведения системы, которая переходит из состояния в состояние под действием входных воздействий, производя при этом выходные сигналы. Временная переменная позволяет учесть временные аспекты в поведении системы посредством введения временных ограничений по подаче входных символов, а также описания входных и выходных таймаутов. Для конечных автоматов с одной временной переменной рассматриваются классические задачи анализа и синтеза, такие как минимизация и композиция временных автоматов. Показывается, что для построения единственной приведенной (минимальной) формы детерминированного полностью определенного временного автомата недостаточно приведенной формы по состояниям, необходимо также минимизировать временные аспекты, и предлагается метод минимизации временного автомата. Во второй части доклада отмечается, что в отличие от классических автоматов, «медленная» внешняя среда и отсутствие осцилляций не являются достаточными условиями для описания параллельной композиции детерминированным временным автоматом, и формулируются достаточные условия, при которых операция параллельной композиции является замкнутой в множестве детерминированных временных автоматов. В последней части доклада отмечается, что автором получен ряд интересных результатов по синтезу проверяющих тестов с гарантированной полнотой для временных автоматов.

 

А.С. Твардовский (Томский гос. университет)