Verificação formal do FDIR em Smart Grid - Naseem, Syed Atif;Uddin, Riaz;Naseem, Syed Wasif
36,99 €
inkl. MwSt.
Versandkostenfrei*
Versandfertig in 6-10 Tagen
  • Broschiertes Buch

Para a detecção de falhas na rede de distribuição da Smart Grid e isolar os comutadores de carga defeituosos com no período limitado, o algoritmo FDIR funciona no controlador DFA que estão instalados na rede de comunicação da Smart Grid a fim de controlar os dispositivos de potência da rede de distribuição. Para a sua análise de fiabilidade, é necessária uma verificação formal a fim de investigar a sua precisão, estabilidade e eficiência quando ocorre uma falha na rede. Através da análise probabilística da rede de distribuição baseada em FDIR através da ferramenta de verificação do modelo…mehr

Andere Kunden interessierten sich auch für
Produktbeschreibung
Para a detecção de falhas na rede de distribuição da Smart Grid e isolar os comutadores de carga defeituosos com no período limitado, o algoritmo FDIR funciona no controlador DFA que estão instalados na rede de comunicação da Smart Grid a fim de controlar os dispositivos de potência da rede de distribuição. Para a sua análise de fiabilidade, é necessária uma verificação formal a fim de investigar a sua precisão, estabilidade e eficiência quando ocorre uma falha na rede. Através da análise probabilística da rede de distribuição baseada em FDIR através da ferramenta de verificação do modelo PRISM, podemos estimar a probabilidade de falha da rede e tomar uma acção correctiva e manutenção de modo a que, o componente defeituoso possa ser substituído antecipadamente para evitar a falha completa do sistema.
Autorenporträt
Syed Atif Naseem recebeu o seu B.E. em Engenharia Electrotécnica e Electrónica do Departamento de Engenharia Electrotécnica e Electrónica da Universidade de Engenharia e Tecnologia SIR SYED, Paquistão, em 2008, e concluiu o seu Mestrado em Engenharia Electrotécnica e Electrónica na Universidade de Economia de Izmir, Turquia.