Yazyk programmirovaniya Planning C

Rabota posvyashhena razrabotke novogo yazyka posledovatel'nogo i parallel'nogo programmirovaniya Planning C, yavlyajushhegosya rasshireniem C++. Yazyk baziruetsya na formalizme procedur s planirovaniem povtornogo vhoda. Podderzhivajutsya osnovnye shablony rasparallelivaniya: portfel' zadach, vektor, konvejer. Takzhe vozmozhno opisanie (i primenenie) proizvol'nyh vychislitel'nyh topologij, v tom chisle s primeneniem porozhdajushhego programmirovaniya. Imejutsya i inye, klassicheskie sredstva rasparallelivaniya dlya obshhej i raspredelennoj pamyati. Pokazana horoshaya jeffektivnost' rasparallelivaniya Planning C-programm dlya sistem na baze CPU, CPU+CPU i CPU+GPU. Dokazana algoritmicheskaya polnota Planning C. Dokazano, chto predel'nymi abstraktnymi vychislitelyami dlya procedur s planirovaniem povtornogo vhoda yavlyajutsya rasshirennye mashiny T'juringa (jelementarnaya i parallel'naya). Yazyk mozhet primenyat'sya pri obuchenii glubokih nejronnyh setej, naprimer, s ispol'zovaniem predlozhennyh v rabote novyh metodov (modifikacii geneticheskogo sluchajnogo poiska i pereborno-sekcionirovannogo podhoda k minimizacii funkcionala oshibok).