Vladimir Pekunow

Awtomaticheskoe rasparalleliwanie C-programm w Cilk++ stile

Primenenie indukcii ob#ektno-sobytijnyh modelej

• Broschiertes Buch

Produktbeschreibung

Rabota poswqschena probleme awtomaticheskogo rasparalleliwaniq C-programm s pomosch'ü sistemy porozhdeniq i rekonstrukcii programm. Predlozheny raspoznaüschie ob#ektno-sobytijnye modeli (OSM), pozwolqüschie izwlekat' iz textow znaniq, i transformirowat' ih, porozhdaq wyhodnye modeli ili nowyj text. Dokazany utwerzhdeniq ob äkwiwalentnosti predel'nyh raspoznaüschih OSM nekotorym widam rasshirennyh mashin T'üringa. Sformulirowany shemy indukcii modelej. Dlq perwichnogo izwlecheniq znanij predlozhena koncepciq shablonow kak perebornyh grupp regulqrno-logicheskih wyrazhenij. Takie wyrazheniq soderzhat logicheskie mikroprogrammy so special'nymi klassami predikatow, pozwolqüschih prowodit' chetkuü/nechetkuü prowerku i klassifikaciü izwlechennyh fragmentow. Dlq obrabotki izwlechennyh znanij ispol'zuütsq logicheskie Prolog-skripty, podderzhiwaüschie interfejs s shablonami na baze sintaxisa XPath. Pokazano, chto raspoznaüschie OSM mogut byt' ispol'zowany dlq postroeniq estestwenno-qzykowogo interfejsa k sisteme porozhdeniq programm. Sformulirowany algoritmy awtomaticheskogo rasparalleliwaniq C-programm na baze Cilk++. Na baze raspoznaüschih OSM postroen parallelizator, äffektiwnost' kotorogo pokazana na wychislitel'noj programme.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 112
• Erscheinungstermin: 12. November 2018
• Russisch
• Abmessung: 220mm x 150mm x 7mm
• Gewicht: 185g
• ISBN-13: 9786139950362
• ISBN-10: 6139950368
• Artikelnr.: 54732900

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.