Шаблон:Current Seminars — различия между версиями
(→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 42: | Строка 42: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 19 октября 2018 г. |
| − | | Доклад по статье | + | | |
| + | Доклад по статье | ||
| − | ''' | + | '''Minimization of Symbolic Automata''' |
| − | ( | + | (Loris D’Antoni, Margus Veanes) |
| − | + | Абстрактные символьные автоматы расширяют класс автоматов Рабина Скотта, используя на переходах выражения и формулы вместо символов алфавита. Рассматривается задача минимизации символьных автоматов. Формально определены и обоснованы основные свойства минимальности для символьных автоматов. На основе этих свойств классические алгоритмы минимизации (алгоритмы Хаффмана-Мура и Хопкрофта) адаптированы к символическим автоматам. | |
| − | | | + | | Д. Казбекова |
| }} | | }} | ||
Версия 13:02, 19 октября 2018
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 12 октября | Нижняя оценка энергопотребления для одного класса объёмных схем | Ефимов А.А. |
| 28 сентября | Доклад по статье Романова Д.С. и Романовой Е.Ю. «О синтезе тестопригодных схем, допускающих полные диагностические тесты длины 3 относительно инверсных неисправностей на выходах элементов».Аннотация доклада | Мальцев А.Н. |
| 21 сентября | Обзор по теме «Методы аппаратной реализации операции умножения разреженной матрицы на вектор для программируемых логических интегральных схем».Аннотация доклада | Хзмалян Д.Э.
|
| Сложность решения дискретных задач | ||
| 19 октября 2018 г. | Сложность систем функций над конечным полем нечетной характеристики в классе поляризованных полиномов.
В докладе рассматриваются представления функций над конечным полем поляризованными полиномами, т.е. такими полиномами, в которых каждая переменная может быть смещена на определенную величину. Доказывается, что можно найти систему, содержащую всего две функции, сложность которой в классе поляризованных полиномов равна максимально возможной. Доклад по статье: Селезнева С.Н., Гордеев М.М. Сложность систем функций над конечным полем в классе поляризованных полиномиальных форм. |
Шурыгин Дмитрий (418 гр.)
|
| Теоретические проблемы программирования | ||
| 19 октября 2018 г.
|
Доклад по статье Minimization of Symbolic Automata (Loris D’Antoni, Margus Veanes) Абстрактные символьные автоматы расширяют класс автоматов Рабина Скотта, используя на переходах выражения и формулы вместо символов алфавита. Рассматривается задача минимизации символьных автоматов. Формально определены и обоснованы основные свойства минимальности для символьных автоматов. На основе этих свойств классические алгоритмы минимизации (алгоритмы Хаффмана-Мура и Хопкрофта) адаптированы к символическим автоматам. |
Д. Казбекова
|
