Заседание No. 45, О взаимосвязи между локальностью в системах и прямоточными вычислениями

Докладчик: Николай Николаевич Непейвода (ИПС им. А.К. Айламазяна РАН)
Дата: 9 сентября 2016
Время: 13:00
Место: зал ученого совета ИПС
Аннотация:
1. Ставится задача разбиения вычислений на части, выполняемые элементами с ограниченной областью применимости (например, аналоговыми устройствами с ограниченным диапазоном изменения моделируемой функции) в условиях, когда в различных подобластях значения функции не могут быть смоделированы одним и тем же устройством.
2. Формулируется понятие прямоточных вычислений: нет промежуточной памяти и каждый вычислительный поток проходит через заранее ограниченное константой количество вычислительных элементов.
3. Даётся понятие расслоения области определения для локальных систем (значения аргумента в подобласти влияют на значения результата лишь в окрестности подобласти) и вычислений с ограниченным диапазоном и переполнения подобласти. Доказывается, что  при дополнительных условиях на преобразование данных (например, наличие масштабирования) вычисления могут быть организованы как прямоточные.
4. Рассматривается частный случай локальных систем: однонаправленные, когда значения аргумента могут быть частично упорядочены таким образом, что результаты зависят от предыдущих. Например, системы во времени. Показываются способы декомпозиции таких систем для прямоточных вычислений.
5. Дается схема прямоточных вычислений для числовых систем с перекрытием и аналоговых систем, расслоённых по диапазону изменения величин.