Journal Européen des Systèmes Automatisés Vol.30 N° 4/1996

Langue : Français
Couverture de l'ouvrage Journal Européen des Systèmes Automatisés Vol.30 N° 4/1996

Thème de Journal Européen des Systèmes Automatisés Vol.30 N°...

51,00 €

En stock : expédition en 24h !

Ajouter au panierAjouter au panier
Date de parution :
Numéro de revue 166 p. · 16x24 cm · Broché
ISBN : 9782841079353 EAN : 9782841079353
Hermes Science
Application de la statistique et du krigeage à la surveillance de groupes hydroélectriques à hydro-Québec. On the use of statistics and kriging to the monitoring of hydro generating units at hydro-Quebec. Evitemeent réactif d'obstacles par un robot mobile : une approche par contraintes. Reactive obstacle avoidance for a mobile robot : a constraint-based approach. Une méthode formelle et un environnement pour la spécification et la validation du pilotage des systèmes de production. A formal method and environment for manufacturing systems commande part specification and validation. Modélisation et vérification des systèmes hybrides à l'aide du TTM/RTTL. Modeling and verifiction of hybrid systems using the TTM/RRTTL framework. Détection et traitement des interblocages en oreste. Deadlock detection and processing in oreste. Images 3D de biopsies de surfaces. 3D images on skin specimens. Evaluation numérique de la fiabilité des systèmes semi-markoviens. Numerical evaluation of reliability of semi-markov systems.