Dannaq kniga poswqschena issledowaniü i razrabotke sredstw formalizowannogo opisaniq preobrazowaniq zadannogo ishodnogo klassa algoritmow, orientirowannyh na sintez funkcional'nyh - modulej VS. Dano formal'noe ponqtiq soderzhatel'nyh i bazisnyh marshrutow (BM) na shemah algoritmow.Priweden analiz wnutrennego qzyka komand VS, orientirowannogo na komplex algoritmow reshaemyh zadach. Dano ponqtiq sistemy bazisnyh marshrutow (SBM) na sheme algoritmow i dokazano edinstwennost' ee postroeniq.V monografii issleduetsq principy, i razrabatywaütsq modul'nye metody proektirowaniq (makro sinteza) konstrukcii wychislitel'nyh sistem w edinstwe programmno-matematicheskim obespecheniem, kotorye suschestwenno uchitywaüt specifiku algoritmow zadach i pozwolqüt poluchit' logicheskuü strukturu wychislitel'noj sistemy, qzyk komand, model' uprawleniq informacionnymi i wychislitel'nymi resursami sistemy, prisposoblennymi k zadannomu komplexu algoritmow zadach. Predlozheny i issledowany nowye modeli VS. Opisana modeliruüschaq programma raboty odnoprocessornogo wychislitel'nogo komplexa.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.