Шаблон:Current Seminars — различия между версиями
Материал из Кафедра математической кибернетики
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
(→Доклады на спецсеминарах) |
||
| Строка 38: | Строка 38: | ||
|- | |- | ||
|colspan="3"|'''[[Теоретические проблемы программирования]]''' | |colspan="3"|'''[[Теоретические проблемы программирования]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar| 17 марта 2017 г. |
| '''Простые алгоритмы анализа сетей Петри'''. | | '''Простые алгоритмы анализа сетей Петри'''. | ||
| − | + | Продолжение доклада по статье A. Finkel, J. Leroux "Recent and Simple Algorithms For Petri Nets" | |
В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее. | В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее. | ||
Версия 23:37, 18 марта 2017
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| Дискретный анализ | ||
| Теория управляющих систем и математические модели СБИС | ||
| 17 марта 2017 г. ауд. 507 | Доклад по статьям, связанным с некоторыми модификациями теоремы В. М. Храпченко.Аннотация доклада | Трубицын Ю.А. |
| Некоторые вопросы теории управляющих систем | ||
| 17 марта 2017 г. ауд. 582а | Доклад по статье Евдокимова А.А. «О максимальной длине цепи в единичном n-мерном кубе».Аннотация доклада | Козловский А.Н. |
| Сложность решения дискретных задач | ||
| Теоретические проблемы программирования | ||
| 17 марта 2017 г. | Простые алгоритмы анализа сетей Петри.
Продолжение доклада по статье A. Finkel, J. Leroux "Recent and Simple Algorithms For Petri Nets" В статье рассказывается о сетях Петри, а также о проблемах достижимости, покрываемости и ограниченности для сетей Петри. Представлен новый, использующий инварианты, подход для разрешения этих проблем, который сравнительно проще алгоритмов, предложенных раннее. |
Е. Таратута
|
