26 ноября 2009г. (четверг), 16-00, ИППИ РАН, ауд. 307
Докладчик: А.Е. Ромащенко (лаб. 1)
"Математические модели надёжных вычислений"
В докладе будет дан краткий обзор методов построения надёжных схем для
хранения и переработки информации из ненадёжных (спорадически
ошибающихся) базовых элементов. Мы рассмотрим максимально "нелокальную"
модель вычислений - надёжные булевы схемы из ненадёжных функциональных
элементов (по работам Дж.фон Неймана, Р.Л.Добрушина и С.И.Ортюкова,
А.В.Кузнецова, Н.Пиппенгера, А.Гал, Д.Спилмана), а также максимально
"локальную" модель - самокорректирующиеся вычисления на клеточных
автоматах (по работам А.Л.Тоома, П.Гача, Дж.Рейфа). Мы обсудим
несколько красивых математических идей (из теории вероятностей, теории
графов, математической логики), использующихся при построении и анализе
схем самокорректирующихся вычислений.
Страница семинара
20.11.2009 | Петров Леонид Александрович |