Vladimir Pekunow

Teoriq rasshirennyh mashin T'üringa. Ob#ektno-tranzakcionnye äkwiwalenty

• Broschiertes Buch

Produktbeschreibung

Ishodq iz teorii ob#ektno-sobytijnyh modelej (OSM), formuliruütsq idei, swqzannye kak s bolee nizkourownewymi rasshirennymi mashinami T'üringa (RMT), tak i s bolee wysokourownewymi ob#ektno-tranzakcionnymi modelqmi (OTM). Jeti formalizmy pozwolqüt opisywat' kak neprerywnye processy, swojstwennye iskusstwennym nejronnym setqm, tak i diskretnye algoritmy. Pokazano, chto RMT reshaüt intellektual'nye podzadachi: rasparalleliwanie i sliqnie processow; kombinatornyj perebor, unifikaciü i porozhdenie simwol'nyh cepochek; reshenie SLAU i osnowannoe na nem modelirowanie na baze rqda formalizmow. Sformulirowany teoremy, utwerzhdaüschie äkwiwalentnost' predel'nyh widow OSM razlichnym widam RMT. Sformulirowan nowyj wid wysokourownewyh tranzakcionnyh wychislitel'nyh modelej (OTM), ne predpolagaüschih nalichiq qwnyh ciklicheskih swqzej. Sformulirowany predel'nye sluchai takih modelej, sformulirowany mehanizmy ih raboty. Dokazany teoremy o wychislimosti razreshimyh po T'üringu posledowatel'nyh i parallel'nyh algoritmow OTM. Pokazana realizuemost' RMT s pomosch'ü OTM. Dokazana funkcional'naq äkwiwalentnost' OSM i OTM. Dokazana äkwiwalentnost' modificirowannyh procedur s planirowaniem powtornogo whoda predel'nym OTM.

Produktdetails

• Verlag: LAP Lambert Academic Publishing
• Seitenzahl: 84
• Erscheinungstermin: 20. Mai 2021
• Russisch
• Abmessung: 220mm x 150mm x 6mm
• Gewicht: 143g
• ISBN-13: 9786203863253
• ISBN-10: 6203863254
• Artikelnr.: 62131264

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.