Шаблон:Current Seminars
Доклады на спецсеминарах
| Дискретная математика и математическая кибернетика | ||
| Дискретные функции и сложность алгоритмов | ||
| 30 сентября 2016 года | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Дискретный анализ | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теория управляющих систем и математические модели СБИС | ||
| 25 ноября 2016 г. | Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" Аннотация доклада | Ян-Мартин Юрьевич |
| Некоторые вопросы теории управляющих систем | ||
| 25 ноября 2016 г. | Доклад по статье Попкова К.А. "О тестах замыкания для контактных схем" Аннотация доклада | Ян-Мартин Юрьевич |
| Сложность решения дискретных задач | ||
| 30 сентября 2016 г. | Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. | Нургалиев М. |
| Теоретические проблемы программирования | ||
| 25 ноября 2016 года | Проверка допустимости конфигураций модульных вычислительных систем реального времени
В докладе будет рассмотрена задача проверки допустимости конфигураций модульных вычислительных систем реального времени (МВС РВ), возникающая при проектировании таких систем. Для решения данной задачи необходимо выполнять построение временных диаграмм функционирования МВС РВ, для чего требуется моделировать функционирование компонентов системы. В качества математического аппарата для описания моделей систем предлагается использовать сети временных автоматов с остановкой таймеров. В докладе будет представлена обобщенная формальная модель МВС РВ, метод построения на её основе моделей конкретных систем, а также подход к доказательству корректности и точности построенных моделей (детерминированность получаемых временных диаграмм, проверка выполнения требований точности и корректности из стандартов на МВС).
|
Глонина А. (Лаборатория Вычислительных комплексов ВМК МГУ)
|
