Logisch-dynamische specificatie en computerimplementatie

De ontwikkeling van computersimulatietools is erop gericht het werk van programmeurs uit te sluiten bij het maken en aanpassen van modellen. Het gebruik van programmeurs houdt in dat er kennis wordt uitgewisseld tussen hen en specialisten op het gebied van onderwerpen en problemen. Deze uitwisseling is vrij moeizaam. De taak is om specialisten te voorzien van tools die hen in staat stellen om uitvoerbare processpecificaties te maken. Het boek is gewijd aan de beschrijving en experimentele studie van de logisch-dynamische transitieve benadering van de specificatie en de computerimplementatie van processen. De specificatie is de basis van de transformatieregels die de verhouding bepalen tussen de huidige toestand van het proces en de toestand na een bepaalde periode. De voorbeelden tonen de mogelijkheden van de aanpak voor de implementatie van de processen die door fysieke en wiskundige modellen van systemen en structurele schema's van elementaire processen worden gespecificeerd. Het boek kan interessant zijn voor onderzoekers van dynamische systemen, docenten en studenten.

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.