Verificação formal do FDIR em Smart Grid [Portuguese]

By Syed Atif Naseem and Riaz Uddin

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.

• Format: Paperback
• Language: Portuguese
• ISBN: 6205786699
• ISBN13: 9786205786697
• Release Date: March 2023
• Publisher: Edicoes Nosso Conhecimento
• Length: 136 Pages
• Weight: 0.46 lbs.
• Dimensions: 0.3" x 6.0" x 9.0"