XML-indukciq w sistemah porozhdeniq i rekonstrukcii textow/programm - Pekunow, Vladimir
32,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Rabota poswqschena probleme porozhdeniq reshaüschej programmy po estestwenno-qzykowoj postanowke zadachi. Predlozheny raspoznaüschie ob#ektno-sobytijnye modeli (OSM), pozwolqüschie izwlekat' iz textowoj postanowki znaniq, i transformirowat' ih, porozhdaq wyhodnye modeli, po kotorym generiruetsq programma. Dokazan rqd utwerzhdenij ob äkwiwalentnosti predel'nyh raspoznaüschih OSM nekotorym widam rasshirennyh mashin T'üringa (RMT). Predlozhen nowyj wid takih mashin ¿ kompozicionnye RMT, obladaüschie sposobnostqmi wypolnqt' perebornuü unifikaciü shablonow. Razobrana problema primeneniq sloq…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Rabota poswqschena probleme porozhdeniq reshaüschej programmy po estestwenno-qzykowoj postanowke zadachi. Predlozheny raspoznaüschie ob#ektno-sobytijnye modeli (OSM), pozwolqüschie izwlekat' iz textowoj postanowki znaniq, i transformirowat' ih, porozhdaq wyhodnye modeli, po kotorym generiruetsq programma. Dokazan rqd utwerzhdenij ob äkwiwalentnosti predel'nyh raspoznaüschih OSM nekotorym widam rasshirennyh mashin T'üringa (RMT). Predlozhen nowyj wid takih mashin ¿ kompozicionnye RMT, obladaüschie sposobnostqmi wypolnqt' perebornuü unifikaciü shablonow. Razobrana problema primeneniq sloq grammaticheskogo razbora whodnyh textow, postroen (na baze obychnogo/konstruiruüschego XPath) T'üring-polnyj algoritmicheskij mikroqzyk dlq wzaimodejstwiq s takim sloem. Dlq obrabotki izwlechennyh znanij ispol'zuütsq skripty obratnogo i/ili prqmogo logicheskogo wywoda. Predlozhena nowaq parallel'naq mashina prqmogo smyslowogo wywoda na baze sistemy slabyh XPath-podobnyh ogranichenij, uprawlqemaq markowskoj model'ü, matrica perehodow kotoroj sinteziruetsq nejronnoj set'ü na osnowe analiza precedentow. Predlozhennyj podhod aprobirowan w zadachah porozhdeniq programm po textowoj postanowke i werifikacii porozhdaüschih skriptow.
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.