📖 Язык программирования Planning C. Инструментальные средства. Новые подходы к обучению нейронных сетей.

Работа посвящена разработке нового языка последовательного и параллельного программирования Planning C, являющегося расширением C++. Язык базируется на формализме процедур с планированием повторного входа. Поддерживаются основные шаблоны распараллеливания: портфель задач, вектор, конвейер. Также возможно описание (и применение) произвольных вычислительных топологий, в том числе с применением порождающего программирования. Имеются и иные, классические средства распараллеливания для общей и распределенной памяти. Показана хорошая эффективность распараллеливания Planning C-программ для систем на базе CPU, CPU+CPU и CPU+GPU. Доказана алгоритмическая полнота Planning C. Доказано, что предельными абстрактными вычислителями для процедур с планированием повторного входа являются расширенные машины Тьюринга (элементарная и параллельная). Язык может применяться при обучении глубоких нейронных сетей, например, с использованием предложенных в работе новых методов (модификации генетического случайного поиска и переборно-секционированного подхода к минимизации функционала ошибок).