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

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

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 Importado

Envío: 25 a 32 días háb.

$ 134.57$ 74.02

-45%

Costos de importación incluídos en el precio ✅

Libro Nuevo

Quedan 10 unidades

$ 74.02

Llega entre el 24 Ago y el 04 Sep a Quito, Pichincha. Seleccionar ubicación

Agregar a lista de deseos

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.