Uravneniya Dinamiki Funktsionirovaniya Srv, Predstavlennoy Na Yazyke Sml

Predlozheny resheniya po probleme formalizatsii protsessa evolyutsionnogo proektirovaniya raspredelennykh sistem real'nogo vremeni (SRV). Model' SRV razrabatyvaetsya v vide modul'noy struktury i vizual'no predstavlyaetsya v forme grafa potoka dannykh (GPD). Ustanovleno, chto v protsesse proektirovaniya izmeneniyam v osnovnom podverzheny parametry strukturnoy sostavlyayushchey semantiki modeli. Postroenie GPD i otobrazhenie na nyem usloviy dinamiki funktsionirovaniya SRV vypolnyaetsya na spetsial'no razrabotannom yazyke strukturnogo modelirovaniya (SML). Analiz, optimizatsiya i evolyutsiya modeli osushchestvlyaetsya v interaktivnom rezhime na strukturnom urovne predstavleniya GPD s pomoshch'yu metodov i programmnykh sredstv tekhnologii strukturnogo modelirovaniya (SML-tekhnologii). Evolyutsionnyy poisk v SML-tekhnologii vypolnyaetsya s pomoshch'yu rekurrentnykh uravneniy, opisyvayushchikh v matrichnoy forme dinamiku raboty modeli. Po uravneniyam dinamiki dlya raznykh znacheniy parametrov stroyatsya traektorii smeny sostoyaniy modeli. Predlozheno mnozhestvo otsenok kachestva traektoriy po soblyudeniyu usloviy real'nogo vremeni, na osnove kotorykh prinimayutsya resheniya po izmeneniyu znacheniy parametrov i polucheniyu priemlemogo varianta modeli SRV.