Кафедра ИУ3
11 марта 2014, 14:00

Алгебраические вычисления на базе конечных групп и план задельных исследований по их программной и аппаратной реализации

Докладчик: Непейвода Н. Н.

Организация: Институт программных систем РАН, МГТУ им. Н. Э. Баумана

Аннотация
Сейчас развитие суперкомпьютеров подошло к трём барьерам: скорость света (предел Эйнштейна), тепловыделение (предел Ландауэра), сложность программ (предел Чейтина). Первый пока кажется непреодолимым. Два других можно попытаться преодолеть, но это требует принципиально другой организации программ и аппаратуры. Показано, что вычисления, безотносительно к конкретным языкам программирования и элементной базе, описываются алгебраической структурой программных алгебр и приводятся основные теоретические результаты. Приводятся примеры, как на языке алгебр описываются некоторые системы управления и программирования. Описываются на языке алгебр системы обратимых вычислений и частично обратимых вычислений. Предлагается программа совместных c МГТУ им. Н. Э. Баумана широких задельных исследований по созданию программного обеспечения, подбору элементной базы и построению интерконнекта для алгебраических вычислений.
215
5