Vladimir Pekunow

Teoriq ob#ektno-sobytijnyh modelej.

Indukciq, modelirowanie i sintez posledowatel'nyh i parallel'nyh programm

• Broschiertes Buch

Produktbeschreibung

Ishodq iz obschih predstawlenij ob ispolnenii posledowatel'nyh i parallel'nyh processow na wychislitel'nyh sistemah wywoditsq axiomaticheskaq teoriq ob#ektno-sobytijnyh mdelej. Formuliruetsq rqd interesnyh predel'nyh teorem. Opredelqetsq rawnomoschnost' abstraktnoj predel'noj modeli mashine T'üringa i real'noj predel'noj modeli procedure s planirowaniem powtornogo whoda. Predlagaetsq mashina wywoda modelej, unificiruüschaq ih strukturu i soderzhanie s dannymi o predmentoj oblasti. Predlozheny koncepcii dedukcii i prqmogo porozhdeniq programm na baze modelej. Razwity idei äffektiwnogo posledowatel'nogo i parallel'nogo programmirowaniq nekotoryh algoritmow na procedurah s planirowaniem powtornogo whoda. Vwoditsq ponqtie metasloq programmy, zanimaüschegosq indukciej/modelirowaniem algoritmow, dannyh i funkcional'nyh harakteristik programm na baze predlagaemyh ob#ektno-sobytijnyh modelej. Predikciq sootwetstwuüschih aspektow programmy w metasloe daet informaciü dlq optimizacii ee ispolneniq.

Produktdetails

• Verlag: LAP LAMBERT Academic Publishing
• Seitenzahl: 140
• Erscheinungstermin: 20. März 2012
• Russisch
• Abmessung: 220mm x 150mm x 9mm
• Gewicht: 227g
• ISBN-13: 9783848441044
• ISBN-10: 3848441047
• Artikelnr.: 62793630

Autorenporträt

Pekunow Vladimir Viktorowich rodilsq 21 qnwarq 1977 w g. Zapolqrnyj Murmanskoj oblasti. Uchilsq w srednej shkole ¿4. Zakonchil Iwanowskij gosudarstwennyj änergeticheskij uniwersitet s otlichiem (1999). Doktor tehnicheskih nauk (2010). Chlen-korrespondent RAE (2019). Imeet okolo 150 nauchnyh rabot. Nauchnye interesy: teoriq programmirowaniq, prognozirowanie.