Komp'juternaya realizaciya processov

Tendenciya razvitiya sredstv komp'juternogo modelirovaniya sostoit v tom, chtoby pri sozdanii i modifikacii modelej iskljuchit' trud programmistov. Ispol'zovanie programmistov predpolagaet obmen znaniyami mezhdu nimi i specialistami v predmetnyh (problemnyh) oblastyah. Jetot obmen okazyvaetsya dostatochno trudoemkim. Zadacha sostoit v tom, chtoby predostavit' specialistam sredstva, pozvolyajushhie im sozdavat' ispolnyaemye specifikacii processov. Kniga posvyashhena opisaniju i jexperimental'nomu issledovaniju logiko-dinamicheskogo tranzitivnogo podhoda k specifikacii i komp'juternoj realizacii processov. Specifikaciya predstavlyaet soboj bazu transformacionnyh pravil, opredelyajushhih otnoshenie sledovaniya mezhdu tekushhim sostoyaniem processa i ego sostoyaniem cherez opredelennyj promezhutok vremeni. Na primerah pokazany vozmozhnosti podhoda dlya realizacii processov, zadannyh fizicheskimi i matematicheskimi modelyami sistem, strukturnymi shemami jelementarnyh processov. Primery modelej dinamicheskih sistem vmeste s ispolnyaemym fajlom sredy modelirovaniya razmeshheny na sajte Kniga mozhet predstavlyat' interes dlya issledovatelej dinamicheskih sistem, prepodavatelej i studentov.