Análise de Observabilidade e Processamento de Erros Grosseiros ...

5.2 Método branch and bound para identificação de erros conformativos 141
à medida com maior resíduo normalizado e o seu complementar considerando a medida como
correta (sucessor-c). A eliminação da medida considerada com erro é realizada através do cálculo
de pseudomedida que elimina o seu efeito (tornar a medida dormente).
Teste de factibilidade
Se considerarmos que m medidas estão sendo analisadas e que na realidade apenas algumas
delas irão conter erros, no lugar de realizar o teste de factibilidade no último nível (nível m),
pode-se realizá-lo em cada nível da árvore considerando as medidas com status indefinido como
medidas corretas (d i = 1). Se a configuração é aprovada no teste, isto é, se a condição de
observabilidade é respeitada, não é necessário prosseguir na árvore, pois todas as configurações
sem o status definido serão factíveis, quando consideradas como corretas (d = 1).
Corte na árvore - Tree pruning
O corte na árvore representa a remoção de nós de decisão que estão na Lista de Nós Abertos.
O corte é realizado quando uma solução candidata torna-se uma solução incumbente e então as
configurações pertencentes à LNA que não são capazes de gerar configurações melhores que a
incumbentes são eliminadas.
Atualização do limite (bound)
O limite é sempre atualizado se uma nova solução incumbente é encontrada.
Algoritmo Branch and Bound
1. Fase Inicial:
(a) Defina um teste de detecção (e.g., o teste J(̂x) ou o teste do vetor r n ).
(b) Defina o vetor de decisão inicial de custo zero d = (1, 1, . . . , 1) ′
medidas são consideradas corretas).
na LNA (todas
(c) Inicialize o custo da solução incumbente como m − n (número de graus de liberdade).
(d) Especifique nr (a penalidade por busca de mais informações).
2. Verifique LNA.