-
Francúzsky jazyk
Vérification formelle du FDIR dans les réseaux intelligents
Autor: Syed Atif Naseem
Pour détecter les défauts dans le réseau de distribution du Smart Grid et isoler les commutateurs de charge défectueux dans un délai limité, l'algorithme FDIR fonctionne sur le contrôleur DFA qui est installé sur le réseau de communication du Smart Grid... Viac o knihe
Na objednávku, dodanie 2-4 týždne
51.75 €
bežná cena: 57.50 €
O knihe
Pour détecter les défauts dans le réseau de distribution du Smart Grid et isoler les commutateurs de charge défectueux dans un délai limité, l'algorithme FDIR fonctionne sur le contrôleur DFA qui est installé sur le réseau de communication du Smart Grid afin de contrôler les dispositifs d'alimentation du réseau de distribution. Pour l'analyse de sa fiabilité, une vérification formelle est nécessaire afin d'étudier sa précision, sa stabilité et son efficacité lorsqu'un défaut se produit sur le réseau. Grâce à l'analyse probabiliste du réseau de distribution basé sur le FDIR via l'outil de vérification de modèle PRISM, nous pouvons estimer la probabilité de défaillance du réseau et prendre des mesures correctives et de maintenance afin que les composants défectueux puissent être remplacés à l'avance pour éviter la défaillance complète du système.
- Vydavateľstvo: Editions Notre Savoir
- Rok vydania: 2023
- Formát: Paperback
- Rozmer: 220 x 150 mm
- Jazyk: Francúzsky jazyk
- ISBN: 9786205786673
Anglický jazyk 
Nemecký jazyk 