Validação da sub-rede APC

São apresentados os resultados de validação e verificação aplicados na sub-rede APC do sistema CBF-T. Como teste de validação foi aplicada a simulação dinâmica da rede, e como testes de verificação foram aplicados a análise de invariantes de lugar e o gráfico de alcançabilidade e cobertura respectivamente, como são mostrados e abordados a seguir. a). Simulação dinâmica da Sub-rede APC. A Figura 4.27 mostra a simulação dinâmica do

fluxo de operações do modelo do algoritmo de previsão mensal dos estados futuros de consumo de energia, para as fases de cada UC.

Esse resultado obtido, representa o workflow de previsão para o consumo de energia em cada UC da rede de BT. O modelo validado, abrange todo o procedimento realizado a partir da informação de consumo de energia em cada UC. Desde o tratamento estatístico, as incidências nos estados de consumo de energia (Baixo, Médio e Alto) (neste caso ativadas no detalhe), bem como a formação das probabilidades de ocorrência da matriz de transição, até a formação da matriz dos estados futuros de consumo mês a mês, representada como resultado final dessa sub-rede. Notando-se também, que o procedimento é recursivo caso não se obtenha uma boa aproximação de previsão, podendo ser escolhidas novas probabilidades de transição, habilitado neste caso pelas extensões de “Controle de Previsão-a” que habilita o fluxo quando se obtém uma boa aproximação de previsão e “Controle de Previsão-b, caso contrário, que habilita a seleção de novas probabilidades de transição.

Observa-se que a propagação de hierarquia na sub-rede, é demarcada a partir dos lugares “Sub-rede APC” e “Inicio APC”, habilitada pela extensão de controle inibidor APC, através da transição “T45-APC”. O resultado final retorna ao nível hierárquico superior da “Sub-rede APC” (macro-lugar) por meio da transição “T53-APC.

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

b). Análise de invariantes da Sub-rede APC. Foi aplicado o teste de invariantes de lugar no modelo da sub-rede APC para verificar o workflow de automação melhorado, isto é, o fluxo formado pelo conjunto de lugares com o mesmo consumo constante de marcas, a fim de garantir eficientemente a realização dos eventos desta rede. Também, analogamente com a análise de invariantes de lugar, verificamos as propriedades de vivacidade e limitação na rede. Neste caso foram obtidas duas equações de invariantes de lugar, conforme se mostra a seguir.

A equação (4.8) mostra este primeiro invariante de lugar obtido da sub-rede APC, formada por um fluxo de “12” dos “14” lugares da rede.

Figura 4.27. Sub-rede APC: Workflow de previsão de consumo validado.

110 Desenvolvimento a Eventos Discretos de um Controlador de Balanceamento de Fases para Sistemas Legados de

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

M(ADC-out) + M(APC-in) + M(Subrede APC) + M(Inicio-APC) + M(Processo Estatístico) + M(Estados de Consumo) + M(Incidência de Consumo) + M(Matriz de Incidência) + M(Matriz de Transição) + M(Previsão de Consumo) + M(Matriz de Consumo Futuro) + M(APC-out) = 1 (4.8)

Neste caso específico, apenas as duas extensões de “Controle inibidor APC” e “Controle Inibidor de Previsão”, não formam parte deste invariante. Assim, a través deste invariante, valida-se o workflow referente ao procedimento de previsão dos futuros estados de consumo de energia mensal, nas UCs. Nota-se também neste caso também que o workflow resultante tem consumo constante de uma marca (M) para todos os lugares do fluxo totalizando o ciclo com uma marca, ou seja, igual a “1”, tornando-se também invariante e constante. Com isso, verifica-se, a limitação da rede a um conjunto de lugares invariantes que denota neste caso específico, o fluxo melhorado de realização do processo de previsão de consumo como descrito anteriormente, bem como a propagação de hierarquia para a sub-rede estratificada de previsão de consumo. Na Figura 4.28 é ilustrado o workflow deste primeiro invariante de lugar avaliado.

Figura 4.28. Invariantes de lugar na sub-rede APC: Workflows de automação validados.

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

O mesmo está indicado em vermelho e sua trajetória identifica a realização na sequência de cada lugar da equação (4.8).

Por outro lado, a equação (4.9) mostra o workflow deste segundo invariante de lugar obtido da sub-rede APC, formada por um fluxo de apenas “2” dos “14” lugares da rede.

M(Controle Previsão- a) + M(Controle Previsão-b) = 1

(4.9) Neste caso, este invariante, valida-se o workflow referente ao procedimento de

habilitação, no procedimento de seleção de novas probabilidades de transição no caso de não se obter uma boa aproximação de previsão de consumo. Caso contrário o controle inibe esta ação. A Figura 4.28 ilustra o fluxo deste segundo invariante de lugar avaliado. O mesmo está denotado em azul e, sua trajetória identifica a realização na sequência dos lugares da equação (4.9).

c). Gráfico de alcançabilidade e cobertura da sub-rede APC. A Figura 4.29 mostra o gráfico de estados alcançados a partir do estado inicial “S0” destacado num círculo

preto. A través do mesmo é possível verificar a trajetória “vermelha” dos estados alcançados e cobertos quando se obtém uma boa aproximação de previsão. Validando- se neste caso, a habilitação de controle sob a transição “T51-APC”, seguindo a trajetória do algoritmo a través da transição “T53-APC, ambas destacadas em vermelho.

Figura 4.29. Alcançabilidade de estados na sub-rede APC: Gráfico de alcançabilidade e cobertura de estados validado.

112 Desenvolvimento a Eventos Discretos de um Controlador de Balanceamento de Fases para Sistemas Legados de

Baixa Tensão e Microgrids

Capítulo IV Modelagem SED

Tese de Doutorado José Ruben Sicchar Vilchez

Caso contrário se tem a trajetória “azul” que mostra os estados alcançados e cobertos, para selecionar novas probabilidades de transição. Neste caso, validam-se a alcançabilidade e cobertura dos estados inerentes. Cujo controle de habilitação é representado pela transição “T50-APC”, que segue a trajetória do algoritmo de previsão de consumo, a través, da transição “T52-APC”, ambas destacadas em azul.

Também, foi possível verificar a alcançabilidade e cobertura da conservação de hierarquia do workflow destacado em verde entre as redes, a través da estratificação da sub-rede APC, como indicado entre “S2” e “S3” que representam os lugares da “Sub- rede APC” e do “Inicio APC”, destacados em círculos pretos, respectivamente.