Verificação formal do FDIR em Smart Grid

Verificação formal do FDIR em Smart Grid

Versandkostenfrei!
Versandfertig in 6-10 Tagen
36,99 €
inkl. MwSt.
PAYBACK Punkte
18 °P sammeln!
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 ve...