Vladimir Shpakow

Broschiertes Buch

Logiko-dinamicheskaq specifikaciq i realizaciq gibridnyh processow

na komp'ütere

Beschreibung

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.

Autor

Shpakow Vladimir, k.t.n., starshij nauchnyj sotrudnik Sankt-Peterburgskogo instituta informatiki i awtomatizacii RAN. Nauchnye interesy swqzany so specifikaciej i komp'üternoj realizaciej strukturirowannyh naborow wzaimodejstwuüschih diskretno-neprerywnyh processow.

Produktdetails

• Verlag: Palmarium Academic Publishing
• Seitenzahl: 192
• Erscheinungstermin: 1. April 2020
• Russisch
• Abmessung: 220mm x 150mm x 12mm
• Gewicht: 304g
• ISBN-13: 9786202393195
• ISBN-10: 620239319X
• Artikelnr.: 59453503