Specyfikacja logiczno-dynamiczna i komputerowa implementacja

Trendem rozwojowym narz-dzi symulacji komputerowej jest wykluczanie pracy programistów przy tworzeniu i modyfikacji modeli. Wykorzystanie programistów polega na wymianie wiedzy mi-dzy nimi a specjalistami w dziedzinach tematycznych i problemowych. Wymiana ta jest dö- pracoch-onna. Zadanie polega na dostarczeniu specjalistom narz-dzi pozwalaj-cych na tworzenie wykonywalnych specyfikacji procesów. Ksi--ka jest pöwi-cona opisowi i eksperymentalnemu badaniu logiczno-dynamicznego, przechodniego podej-cia do specyfikacji i komputerowej realizacji procesów. Specyfikacja jest podstaw- zasad transformacji, które okre-laj- stosunek sekwencji pomi-dzy aktualnym stanem procesu a jego stanem po pewnym okresie czasu. Przyk-ady pokazuj- möliwöci podej-cia do implementacji procesów okre-lonych przez modele fizyczne i matematyczne uk-adów oraz schematy strukturalne procesów elementarnych. Ksi--ka möe by- interesuj-ca dla badaczy systemów dynamicznych, nauczycieli i studentów.

Shpakov Vladimir, Ph.D., senior onderzoeker van het St. Petersburg Instituut voor Informatica en Automatisering van de Russische Academie van Wetenschappen. Wetenschappelijke belangen hebben betrekking op de specificatie en de computerimplementatie van gestructureerde sets van op elkaar inwerkende discrete-continue processen.