Komp'üternaq realizaciq processow

Tendenciq razwitiq sredstw komp'üternogo modelirowaniq sostoit w tom, chtoby pri sozdanii i modifikacii modelej isklüchit' trud programmistow. Ispol'zowanie programmistow predpolagaet obmen znaniqmi mezhdu nimi i specialistami w predmetnyh (problemnyh) oblastqh. Jetot obmen okazywaetsq dostatochno trudoemkim. Zadacha sostoit w tom, chtoby predostawit' specialistam sredstwa, pozwolqüschie im sozdawat' ispolnqemye specifikacii processow. Kniga poswqschena opisaniü i äxperimental'nomu issledowaniü logiko-dinamicheskogo tranzitiwnogo podhoda k specifikacii i komp'üternoj realizacii processow. Specifikaciq predstawlqet soboj bazu transformacionnyh prawil, opredelqüschih otnoshenie sledowaniq mezhdu tekuschim sostoqniem processa i ego sostoqniem cherez opredelennyj promezhutok wremeni. Na primerah pokazany wozmozhnosti podhoda dlq realizacii processow, zadannyh fizicheskimi i matematicheskimi modelqmi sistem, strukturnymi shemami älementarnyh processow. Primery modelej dinamicheskih sistem wmeste s ispolnqemym fajlom sredy modelirowaniq razmescheny na sajte http://rilio.net/envisim.php. Kniga mozhet predstawlqt' interes dlq issledowatelej dinamicheskih sistem, prepodawatelej i studentow.