Vladimir Mihajlovich Shpakov

Komp'üternaq realizaciq processow

Logiko-dinamicheskaq specifikaciq

• Broschiertes Buch

Produktbeschreibung

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.

Produktdetails

• Verlag: Palmarium Academic Publishing
• Seitenzahl: 252
• Erscheinungstermin: 25. Februar 2016
• Russisch
• Abmessung: 220mm x 150mm x 16mm
• Gewicht: 393g
• ISBN-13: 9783659604454
• ISBN-10: 3659604453
• Artikelnr.: 44656851

Autorenporträt

Shpakow Vladimir Mihajlowich, kandidat tehnicheskih nauk, starshij nauchnyj sotrudnik Sankt-Peterburgskogo instituta informatiki i awtomatizacii RAN. Nauchnye interesy swqzany so specifikaciej i komp'üternoj realizaciej strukturirowannyh sowokupnostej wzaimodejstwuüschih diskretno-neprerywnyh processow.