Name: Formale Verifizierung von FDIR im Smart Grid (en Alemán)
Price: 1334.94 MXN
Availability: InStock
Author: Naseem, Syed Atif ; Uddin, Riaz ; Naseem, Syed Wasif
ISBN: 9786205786659

Envío gratis

portada Formale Verifizierung von FDIR im Smart Grid (en Alemán)

Formato

Libro Físico

Autor

Editorial

Idioma

Alemán

N° páginas

140

Encuadernación

Tapa Blanda

Dimensiones

22.9 x 15.2 x 0.8 cm

Peso

0.21 kg.

ISBN13

9786205786659

Categorías

Ingeniería electrónica

Formale Verifizierung von FDIR im Smart Grid (en Alemán)

Syed Atif Naseem (Autor) · Riaz Uddin (Autor) · Syed Wasif Naseem (Autor) · Verlag Unser Wissen · Tapa Blanda

Libro Nuevo

$ 1,334.94

$ 2,224.91

Ahorras: $ 889.96

40% descuento

Envío normal

Origen: Estados Unidos (Costos de importación incluídos en el precio)

Se enviará desde nuestra bodega entre el Lunes 22 de Julio y el Martes 30 de Julio.

Lo recibirás en cualquier lugar de México entre 1 y 3 días hábiles luego del envío.

Reseña del libro "Formale Verifizierung von FDIR im Smart Grid (en Alemán)"

Zur Fehlererkennung im Verteilernetz von Smart Grid und zur Isolierung der fehlerhaften Lastschalter innerhalb eines bestimmten Zeitraums läuft der FDIR-Algorithmus auf DFA-Controllern, die im Kommunikationsnetz von Smart Grid installiert sind, um die Leistungsgeräte des Verteilernetzes zu steuern. Für seine Zuverlässigkeitsanalyse ist eine formale Überprüfung erforderlich, um seine Genauigkeit, Stabilität und Effizienz zu untersuchen, wenn ein Fehler im Netz auftritt. Durch die probabilistische Analyse des FDIR-basierten Verteilernetzes mit dem PRISM Model Checker Tool können wir die Ausfallwahrscheinlichkeit des Netzes abschätzen und Korrektur- und Wartungsma nahmen ergreifen, so dass fehlerhafte Komponenten im Voraus ausgetauscht werden können, um einen vollständigen Ausfall des Systems zu vermeiden.