Logiko-dinamicheskaq specifikaciq i realizaciq gibridnyh processow

Tendenciq razwitiq sredstw komp'üternogo modelirowaniq zaklüchaetsq w isklüchenii raboty programmistow pri sozdanii i modifikacii modelej. Ispol'zowanie programmistow predpolagaet obmen znaniqmi mezhdu nimi i specialistami w predmetnyh i problemnyh oblastqh. Takoj obmen dostatochno trudoemkij. Zadacha sostoit w tom, chtoby obespechit' specialistow instrumentami, pozwolqüschimi sozdawat' ispolnqemye specifikacii processow. Kniga poswqschena opisaniü i äxperimental'nomu izucheniü logiko-dinamicheskogo perehodnogo podhoda k specifikacii i komp'üternoj realizacii processow. Specifikaciq qwlqetsq osnowoj prawil transformacii, opredelqüschih sootnoshenie posledowatel'nosti mezhdu tekuschim sostoqniem processa i ego sostoqniem po proshestwii opredelennogo perioda wremeni. V primerah pokazany wozmozhnosti podhoda k realizacii processow, zadannyh fiziko-matematicheskimi modelqmi sistem, i strukturnye shemy älementarnyh processow. Kniga mozhet byt' interesna issledowatelqm dinamicheskih sistem, prepodawatelqm i studentam.