Шаблон:Current Seminars — различия между версиями
(→Доклады на спецсеминарах) |
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
||
| Строка 19: | Строка 19: | ||
|- | |- | ||
| − | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | + | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' и '''[[Некоторые вопросы теории управляющих систем]]''' |
{{announce Seminar|17 марта 2017 г. ауд. 507 | {{announce Seminar|17 марта 2017 г. ауд. 507 | ||
| − | | Доклад | + | | Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» |
| − | | align="center" | | + | | align="center" | Жуков В.В.}} |
| + | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
|- | |- | ||
Версия 22:55, 2 апреля 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС и Некоторые вопросы теории управляющих систем | ||
| 17 марта 2017 г. ауд. 507 | Доклад «Асимптотически наилучший метод синтеза рекурсивных схем из функциональных элементов ограниченной глубины» | Жуков В.В.
|
| Сложность решения дискретных задач | ||
| Теоретические проблемы программирования | ||
| 7 апреля 2017 г. | Проверка эквивалентности программ с неинтерпретируемыми функциями и целочисленной арифметикой.
Доклад по статье N.P. Lopes, J. Monteiro "Automatic equivalence checking of programs with uninterpreted functions and integer arithmetic" Доказательство эквивалентности программ имеет несколько важных приложений, в таких отраслях, как алгоритмы распознавания, регрессионное тестирование, тестирование сделанных компилятором оптимизаций и проверка утечек потоков информации. Несмотря на то что данная тема обладает важными приложениями, наука в проверки программ на эквивалентность не достигла серьёзных успехов за последние десятилетие в виду сложности этой задачи. В рассматриваемой статье предложен первая полуразрешающая процедура для автоматической проверки частичной эквивалентности двух программ, использующих неинтерпретируемые функции и работающих над целочисленной арифметикой (UF + IA). Предлагаемый алгоритм применим, в частности, к программам с вложенными циклами. Вначале проводится преобразование неинтерпретируемых функций (UF) в целочисленные полиномы, которые позволяют точно суммировать циклы с вхождениями UF, использующих рекурсию. Затем алгоритм проверки на эквивалентность переходит к свободным от циклов программам, оперирующих только целыми числами. |
Е.М. Винарский, В.В. Подымов
|
