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

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 47: Строка 47:
 
Доклад по статье  
 
Доклад по статье  
  
'''Minimization of Symbolic Automata'''
+
'''Минимизация символьных автоматов'''
  
 
(Loris D’Antoni, Margus Veanes)   
 
(Loris D’Antoni, Margus Veanes)   

Версия 13:04, 19 октября 2018

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

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


Сложность решения дискретных задач
19 октября 2018 г. Сложность систем функций над конечным полем нечетной характеристики в классе поляризованных полиномов.

В докладе рассматриваются представления функций над конечным полем поляризованными полиномами, т.е. такими полиномами, в которых каждая переменная может быть смещена на определенную величину. Доказывается, что можно найти систему, содержащую всего две функции, сложность которой в классе поляризованных полиномов равна максимально возможной. Доклад по статье: Селезнева С.Н., Гордеев М.М. Сложность систем функций над конечным полем в классе поляризованных полиномиальных форм.

Шурыгин Дмитрий (418 гр.)


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


Доклад по статье

Минимизация символьных автоматов

(Loris D’Antoni, Margus Veanes)

Абстрактные символьные автоматы расширяют класс автоматов Рабина Скотта, используя на переходах выражения и формулы вместо символов алфавита. Рассматривается задача минимизации символьных автоматов. Формально определены и обоснованы основные свойства минимальности для символьных автоматов. На основе этих свойств классические алгоритмы минимизации (алгоритмы Хаффмана-Мура и Хопкрофта) адаптированы к символическим автоматам.

Казбекова Диана (418 гр.)