Шаблон:Current Seminars — различия между версиями
(→Доклады на спецсеминарах) |
RomanovDS (обсуждение | вклад) (→Доклады на спецсеминарах) |
||
| Строка 20: | Строка 20: | ||
|- | |- | ||
|colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | |colspan="3"|'''[[Теория управляющих систем и математические модели СБИС]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar|25 ноября 2016 г. |
| − | | Доклад "О | + | | Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup> |
| − | | | + | | Ян-Мартин Юрьевич }} |
|- | |- | ||
|colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | |colspan="3"|'''[[Некоторые вопросы теории управляющих систем]]''' | ||
| − | {{announce Seminar| | + | {{announce Seminar|25 ноября 2016 г. |
| − | | Доклад по статье | + | | Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" <sup>[[Media:zukov.pdf|Аннотация доклада]]</sup> |
| − | | | + | | Ян-Мартин Юрьевич }} |
|- | |- | ||
|colspan="3"|'''[[Сложность решения дискретных задач]]''' | |colspan="3"|'''[[Сложность решения дискретных задач]]''' | ||
Версия 18:17, 23 ноября 2016
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Дискретный анализ | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теория управляющих систем и математические модели СБИС | ||
| 25 ноября 2016 г. | Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" Аннотация доклада | Ян-Мартин Юрьевич |
| Некоторые вопросы теории управляющих систем | ||
| 25 ноября 2016 г. | Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" Аннотация доклада | Ян-Мартин Юрьевич |
| Сложность решения дискретных задач | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теоретические проблемы программирования | ||
| 25 ноября 2016 года | Проверка допустимости конфигураций модульных вычислительных систем реального времени
В докладе будет рассмотрена задача проверки допустимости конфигураций модульных вычислительных систем реального времени (МВС РВ), возникающая при проектировании таких систем. Для решения данной задачи необходимо выполнять построение временных диаграмм функционирования МВС РВ, для чего требуется моделировать функционирование компонентов системы. В качества математического аппарата для описания моделей систем предлагается использовать сети временных автоматов с остановкой таймеров. В докладе будет представлена обобщенная формальная модель МВС РВ, метод построения на её основе моделей конкретных систем, а также подход к доказательству корректности и точности построенных моделей (детерминированность получаемых временных диаграмм, проверка выполнения требований точности и корректности из стандартов на МВС).
|
Глонина А. (Лаборатория Вычислительных комплексов ВМК МГУ)
|
