Yazyk programmirowaniq Planning C

Rabota poswqschena razrabotke nowogo qzyka posledowatel'nogo i parallel'nogo programmirowaniq Planning C, qwlqüschegosq rasshireniem C++. Yazyk baziruetsq na formalizme procedur s planirowaniem powtornogo whoda. Podderzhiwaütsq osnownye shablony rasparalleliwaniq: portfel' zadach, wektor, konwejer. Takzhe wozmozhno opisanie (i primenenie) proizwol'nyh wychislitel'nyh topologij, w tom chisle s primeneniem porozhdaüschego programmirowaniq. Imeütsq i inye, klassicheskie sredstwa rasparalleliwaniq dlq obschej i raspredelennoj pamqti. Pokazana horoshaq äffektiwnost' rasparalleliwaniq Planning C-programm dlq sistem na baze CPU, CPU+CPU i CPU+GPU. Dokazana algoritmicheskaq polnota Planning C. Dokazano, chto predel'nymi abstraktnymi wychislitelqmi dlq procedur s planirowaniem powtornogo whoda qwlqütsq rasshirennye mashiny T'üringa (älementarnaq i parallel'naq). Yazyk mozhet primenqt'sq pri obuchenii glubokih nejronnyh setej, naprimer, s ispol'zowaniem predlozhennyh w rabote nowyh metodow (modifikacii geneticheskogo sluchajnogo poiska i pereborno-sekcionirowannogo podhoda k minimizacii funkcionala oshibok).