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 w 1977 g. w g.Zapolqrnyj. Zakonchil Iwanowskij gosudarstwennyj änergeticheskij uniwersitet. Doktor tehnicheskih nauk (zaschita sostoqlas' w 2010 godu). Specialist w oblasti teorii parallel'nyh processow, optimizacii i awtomatizacii rasparalleliwaniq, matematicheskogo modelirowaniq. Awtor bolee 75 nauchnyh rabot.