Докладчик: Николай Николаевич Непейвода (ИПС им. А.К. Айламазяна РАН)

Дата: 14th September 2017

Время: 14:00

Место: зал ученого совета ИПС

Презентация: Download

Annotation:

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

План доклада.
1. Напоминание: концепция локальных вычислений и её связь с робастностью. Проблемы при возникновении переполнений.
2. Строгое определение алгебраической системы системы с переполнениями. Четырёхзначная логика и её применение для описания свойств систем Теорема корректности.
3. Управление по переполнениям. Организация вычислений и некоторые приёмы их оптимизации. Оценки числа действий.
4. Частный случай регулярных переполнений и обрабатывающая их схема.
5. Направления дальнейших исследований.