Шаблон:Current Seminars — различия между версиями
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
м (→Доклады на спецсеминарах) |
||
| Строка 20: | Строка 20: | ||
|- | |- | ||
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar|2 декабря 2016 г. |
| − | | Доклад по статье | + | | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup> |
| − | | | + | | Уваров И.В. }} |
|- | |- | ||
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar|2 декабря 2016 г. |
| − | | Доклад по статье | + | | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" <sup>[[Media:Uvarov_02_12_2016.pdf|Аннотация доклада]]</sup> |
| − | | | + | | Уваров И.В. }} |
|- | |- | ||
|colspan="3"|'''[[Сложность решения дискретных задач]]''' | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | ||
Версия 12:43, 2 декабря 2016
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Дискретный анализ | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теория управляющих систем и математические модели СБИС | ||
| 2 декабря 2016 г. | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада | Уваров И.В. |
| Некоторые вопросы теории управляющих систем | ||
| 2 декабря 2016 г. | Доклад по статье Cong J., Chang W., Ding Y. "Cut Ranking and Pruning: Enabling A General and Efficient FPGA Mapping Solution" Аннотация доклада | Уваров И.В. |
| Сложность решения дискретных задач | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теоретические проблемы программирования | ||
| 25 ноября 2016 года | Проверка допустимости конфигураций модульных вычислительных систем реального времени
В докладе будет рассмотрена задача проверки допустимости конфигураций модульных вычислительных систем реального времени (МВС РВ), возникающая при проектировании таких систем. Для решения данной задачи необходимо выполнять построение временных диаграмм функционирования МВС РВ, для чего требуется моделировать функционирование компонентов системы. В качества математического аппарата для описания моделей систем предлагается использовать сети временных автоматов с остановкой таймеров. В докладе будет представлена обобщенная формальная модель МВС РВ, метод построения на её основе моделей конкретных систем, а также подход к доказательству корректности и точности построенных моделей (детерминированность получаемых временных диаграмм, проверка выполнения требований точности и корректности из стандартов на МВС).
|
Глонина А. (Лаборатория Вычислительных комплексов ВМК МГУ)
|
