Шаблон:Current Seminars — различия между версиями

Материал из Кафедра математической кибернетики
Перейти к: навигация, поиск
(Доклады на спецсеминарах)
(Доклады на спецсеминарах)
Строка 39: Строка 39:
 
|-
 
|-
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
 
|colspan="3"|'''[[Теоретические проблемы программирования]]'''
{{announce Seminar| 2 декабря 2016 г.
+
{{announce Seminar| 9 декабря 2016 г.
 
| '''Задача обеспечения отказоустойчивости распределенных вычислительных систем'''.
 
| '''Задача обеспечения отказоустойчивости распределенных вычислительных систем'''.
  
Продолжение доклада по статье "The Byzantine Generals Problem", L. Lamport, R. Shostak, M. Pease. ACM Transactions on Programming Languages and Systems. 1982, 4 (3), p. 382–401.  
+
Доклад по статье G.Klein, K.Elphinstone, G.Heiser et al. "seL4: Formal Verification of an OS Kernel"
 +
 
 +
Статья про опыт разработки микроядра операционной системы от формальной спецификации будущей программы до реализации на C с доказательством корректности спецификации.
 +
 
 +
| П. Булгаков }}
  
На этот раз рассматриваем модель взаимодействующих процессов, в которой участники располагают средствами контроля целостности отправляемых сообщений. Насколько быстрее им удастся прийти к консенсусу?
 
  
| Словеснов Н.С. }}
 
  
  

Версия 09:32, 7 декабря 2016

Доклады на спецсеминарах

Дискретная математика и математическая кибернетика
Дискретные функции и сложность алгоритмов
30 сентября 2016 года Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. Нургалиев М.
Дискретный анализ
30 сентября 2016 г. Доклад по статье: Мартынюк В. В. Исследование некоторых классов функций в многозначных логиках // Проблемы кибернетики. – М.: Наука, 1960. – Вып. 3. – С. 49–61. Нургалиев М.
Теория управляющих систем и математические модели СБИС
9 декабря 2016 г. Доклад по статье Романова Д.С. и Романовой Е.Ю. "Метод синтеза неизбыточных схем, допускающих короткие единичные диагностические тесты при константных неисправностях на выходах элементов". Аннотация доклада Шишков И.С.


Некоторые вопросы теории управляющих систем
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. Нургалиев М.
Теоретические проблемы программирования
9 декабря 2016 г. Задача обеспечения отказоустойчивости распределенных вычислительных систем.

Доклад по статье G.Klein, K.Elphinstone, G.Heiser et al. "seL4: Formal Verification of an OS Kernel"

Статья про опыт разработки микроядра операционной системы от формальной спецификации будущей программы до реализации на C с доказательством корректности спецификации.


П. Булгаков