1. Littérature générale
  2. Essais littéraires

EAN13
9786139566570
Éditeur
Univ Européenne
Date de publication
1 juin 2020
Collection
OMN.UNIV.EUROP.
Nombre de pages
188
Dimensions
22,9 x 15,2 x 1,1 cm
Poids
285 g
Langue
fre

Spécification Logico-Dynamique Et Mise En Oeuvre Informatique, De Processus Hybrides

Vladimir Shpakov

Univ Européenne

Prix public : 71,90 €

La tendance du développement des outils de simulation informatique est d'exclure le travail des programmeurs lors de la création et de la modification des modèles. Le recours à des programmeurs implique l'échange de connaissances entre eux et des spécialistes dans des domaines et des problèmes particuliers. Cet échange est assez laborieux. La tâche consiste à fournir aux spécialistes des outils qui leur permettent de créer des spécifications de processus exécutables. Le livre est consacré à la description et à l'étude expérimentale de l'approche transitive logico-dynamique de la spécification et de l'implémentation informatique des processus. La spécification est la base des règles de transformation qui déterminent le rapport de la séquence entre l'état actuel du processus et son état après une certaine période de temps. Les exemples montrent les capacités de l'approche à mettre en oeuvre les processus spécifiés par les modèles physiques et mathématiques des systèmes, et les schémas structurels des processus élémentaires. Le livre peut intéresser les chercheurs de systèmes dynamiques, les enseignants et les étudiants.
Trouver ou

Offres