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 dość pracochłonna. Zadanie polega na dostarczeniu specjalistom narzędzi pozwalających na tworzenie wykonywalnych specyfikacji procesów. Książka jest poś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ą możliwoś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 może być interesująca dla badaczy systemów dynamicznych, nauczycieli i studentów.