• Taliansky jazyk

Verifica formale dell'FDIR nelle Smart Grid

Autor: Syed Atif Naseem

Per rilevare i guasti nella rete di distribuzione delle Smart Grid e isolare gli interruttori di carico difettosi entro un periodo limitato, l'algoritmo FDIR viene eseguito sul controllore DFA installato nella rete di comunicazione delle Smart Grid per controllare... Viac o knihe

Na objednávku, dodanie 2-4 týždne

51.75 €

bežná cena: 57.50 €

O knihe

Per rilevare i guasti nella rete di distribuzione delle Smart Grid e isolare gli interruttori di carico difettosi entro un periodo limitato, l'algoritmo FDIR viene eseguito sul controllore DFA installato nella rete di comunicazione delle Smart Grid per controllare i dispositivi di potenza della rete di distribuzione. Per l'analisi della sua affidabilità, è necessaria una verifica formale per studiare la sua accuratezza, stabilità ed efficienza quando si verifica un guasto sulla rete. Attraverso l'analisi probabilistica della rete di distribuzione basata su FDIR tramite lo strumento PRISM model checker, possiamo stimare la probabilità di guasto della rete e intraprendere un'azione correttiva e di manutenzione in modo che il componente difettoso possa essere sostituito in anticipo per evitare il guasto completo del sistema.

  • Vydavateľstvo: Edizioni Sapienza
  • Rok vydania: 2023
  • Formát: Paperback
  • Rozmer: 220 x 150 mm
  • Jazyk: Taliansky jazyk
  • ISBN: 9786205786680

Generuje redakčný systém BUXUS CMS spoločnosti ui42.