TEMA Tend. Mat. Apl. Comput., 9, No. 3 (2008), 491-502.

c Uma Publica c ao da Sociedade Brasileira de Matem atica Aplicada e Computacional.

Incerteza de Dados em Fluxo de Pot encia: uma Abordagem com a Matem atica Intervalar do C-XSC
R.R. DE VARGAS1 , C.M. DE FARIAS2 , L.V. BARBOZA3 , G.P. DIMURO4 , Programa de P os-Gradua ca o em Inform atica, Universidade Cat olica de Pelotas, 96010-000 Pelotas, RS, Brazil.

Resumo. O artigo apresenta um estudo da Matem atica Intervalar aplicada ao problema das incertezas no uxo de pot encia em redes de energia el etrica com a utiliza c ao da biblioteca C-XSC. O problema se baseia na an alise das inu encias de erros de medi c ao e erros gerados na computa c ao num erica. A Matem atica Intervalar e uma t ecnica ecaz no controle dos diversos erros computacionais presentes em c alculos cient cos. Com o aux lio da biblioteca C-XSC foi desenvolvido um software capaz de tratar o problema do uxo de pot encia de forma intervalar. Na valida c ao da metodologia proposta, s ao apresentados resultados para um sistema teste do IEEE e um sistema real representando a regi ao Sul e Sudeste do Brasil. Realizouse tamb em um comparativo de resultados obtidos com IntLab, para o ambiente MatLab. Palavras-chave C-XSC, Fluxo de Carga, Matem atica Intervalar.

1.

Introdu c ao

Para a resolu ca o de problemas f sicos em ambientes computacionais, diversas fontes de erro podem contribuir para a obten ca o de um resultado n ao muito exato. Erros de truncamento e arredondamento s ao muito comuns em opera co es de ponto utuante e precisam ser controlados com o intuito de obter a m axima exatid ao do ponto de vista computacional. Al em disso, a inexatid ao na coleta dos dados possui um papel relevante, pois, em sua grande maioria, os dados s ao adquiridos por meio de medi co es ou estimativas. A Matem atica Intervalar introduzida por [8] e altamente ecaz no controle dos diversos tipos de erros de opera co es computacionais, pois controla de maneira autom atica todos os arredondamentos gerados pelo sistema de ponto utuante e propicia que o resultado nal seja de m axima exatid ao do ponto de vista computacional. Atualmente, as linguagens XSC v em sendo amplamente aplicadas na elabora ca o de algoritmos auto-validados e com controle interno dos erros computacionais.
Universidade Federal do Rio G. do Norte/PPgSC, bolsista CAPES. Universidade Federal de Santa Catarina/PPGEE, bolsista CNPq. 3 luciano@ucpel.tche.br; Centro Federal de Educa ca o Tecnol ogica de Pelotas/RS. 4 liz@ucpel.tche.br; Universidade Cat olica de Pelotas/PPGInf.
2 charles@ucpel.tche.br; 1 rogerio@ppgsc.ufrn.br;

492

Vargas et al.

As linguagens XSC s ao extens oes de programa ca o que trazem consigo os conceitos da Matem atica Intervalar e possuem caracter sticas desej aveis quando aplicadas em m etodos num ericos, nos quais a exatid ao da resposta e extremamente importante. Arredondamentos direcionados, m axima exatid ao nos tipos de dados, aloca ca o din amica de mem oria facilitada e diversos tipos de dados inexistentes na maioria das linguagens de programa ca o tradicionais s ao algumas das inova co es propostas por essas linguagens. Atualmente, existem extens oes das linguagens XSC para diversos ambientes de programa ca o. Neste trabalho, foi utilizada a biblioteca C-XSC que propicia aos programadores em C produzirem m etodos num ericos aplicando os conceitos da Matem atica Intervalar. Com isso, o problema do uxo de pot encia em linhas de transmiss ao pode ser resolvido de forma intervalar, utilizando uma metodologia alternativa para a resolu ca o das equa co es n ao-lineares resultantes da modelagem matem atica de sistemas de pot encia, denominado m etodo de Krawczyk, o qual foi previamente aplicado e discutido em [1]. A utiliza ca o da Matem atica Intervalar possibilita que sejam considerados no resultado nal os diversos erros na obten ca o dos dados, oriundos, por exemplo, dos erros relativos de cada instrumento de medi ca o. Al em disso, e poss vel tamb em fazer an alises em sistemas de pot encias tendo como par ametros de entrada diversas estimativas de pot encia, na sua grande maioria imprecisas.

2.

Matem atica Intervalar

A Matem atica Intervalar considera um conjunto de m etodos para manipula ca o de intervalos num ericos que aproximam dados incertos. Na Computa ca o Cient ca, os intervalos podem ser aplicados para representar valores desconhecidos e, tamb em para representar valores cont nuos. Servem para controlar o erro de arredondamento e para representar dados inexatos, aproxima co es e erros de truncamento de procedimentos [9]. Estes m etodos baseiam-se na deni ca o da Aritm etica Intervalar e do produto escalar otimo [6]. Uma revis ao sobre a Matem atica Intervalar e Fun co es Intervalares pode ser encontrada em [7].

2.1.

Opera c oes b asicas

Sejam, X, Y IR dois intervalos reais, com X = [x1 ; x2 ] e Y = [y1 ; y2 ]. As opera co es intervalares de adi ca o, subtra ca o, multiplica ca o e divis ao s ao denidas na Tabela 1. Resultados intervalares carregam consigo a seguran ca de sua qualidade e o grau de sua incerteza, pois o di ametro do intervalo solu ca o e um indicativo da inu encia dos erros dos dados de entrada e dos erros de arredondamento e truncamento no erro do resultado nal obtido [3].

3.

Fluxo de Pot encia

O c alculo do uxo de pot encia em uma rede de energia el etrica consiste essencialmente na determina ca o do estado desta rede (tens oes complexas em todas as barras) e da distribui ca o dos uxos de pot encias ativa e reativa nos circuitos. A modelagem

Incerteza em Fluxo de Pot encia: A Matem atica Intervalar do C-XSC

493

Tabela 1: Principais opera co es aritm eticas com intervalos Descri c ao Adi ca o Subtra ca o Multiplica ca o Divis ao Opera co es X + Y = [(x1 + y1 ) ; (x2 + y2 )] X Y = [(x1 y2 ) ; (x2 y1 )] X Y = [min{x1 y1 , x1 y2 , x2 y1 , x2 y2 }; max{x1 y1 , x1 y2 , x2 y1 , x2 y2 }]
X Y

min

x1 x1 x2 x2 y1 , y2 , y1 , y2

; max

x1 x1 x2 x2 y1 , y2 , y1 , y2

com 0 / [y1 ; y2 ]

do sistema e est atica, signicando que a rede e representada por um conjunto de equa co es alg ebricas. Esse tipo de representa ca o e usado em situa co es nas quais as varia co es com o tempo s ao sucientemente lentas para que se possam ignorar os efeitos transit orios. O c alculo do uxo de carga e, em geral, realizado utilizando-se m etodos computacionais desenvolvidos especicamente para a resolu ca o de sistemas de equa co es alg ebricas n ao-lineares que constituem o modelo est atico da rede. Os componentes de um sistema de energia el etrica podem ser classicados em dois grupos: os que est ao ligados entre uma barra e a terra, por exemplo, geradores, cargas, reatores e capacitores; os que est ao ligados entre duas barras quaisquer da rede (circuitos), por exemplo, linhas de transmiss ao e transformadores. Os geradores e cargas s ao considerados a parte externa do sistema e s ao modelados atrav es de inje co es de pot encias nas barras. Os demais componentes formam a parte interna do sistema. As equa co es do uxo de carga (balan cos de pot encias) s ao obtidas impondo-se a conserva ca o das pot encias ativa e reativa em cada barra da rede, ou seja, a pot encia l quida injetada tem que ser igual ` a soma das pot encias que uem pelos componentes internos que t em esta barra como um de seus terminais. As equa co es est aticas do uxo de pot encia podem ser expressas, de forma gen erica, pela equa ca o 3.1. f (x) S = 0, (3.1) onde f (x) (equa ca o 3.2), em coordenadas polares, s ao as express oes matem aticas do uxo de pot encia e S e o vetor com as inje co es de pot encias especicadas (equa ca o 3.3). Vk (Gik cosik + Bik senik ) Vi k i (3.2) f (x) = Vk (Gik senik Bik cosik ) Vi
k i

Vi e Vk representam as magnitudes de tens ao nas barras i e k , respectivamente; i refere-se ao conjunto de barras que est ao conectadas ` a barra i. Gik e Bik s ao elementos da matriz admit ancia de barras; ik = i k e a abertura angular da

494

Vargas et al.

linha i k , com i e k sendo os angulos de fase das tens oes complexas nas barras i e k , respectivamente. PGi Pdi S= (3.3) QGk Qdk com i = 1, ..., nb e i = f ol e k = 1, ..., npq , onde nb e o n umero de barras do sistema el etrico, npq e o n umero de barras P Q, f ol correspondente ` a barra de folga e PGi e Pdi e QGk e Qdk correspondem, respectivamente, ` a gera ca o e ` a demanda de pot encias ativa e reativa. As equa co es est aticas para a resolu ca o do problema do uxo de carga, neste estudo, s ao modeladas em coordenadas retangulares, pois, neste formato, evita-se a utiliza ca o das fun co es seno e cosseno. Neste sistema de coordenadas, o vetor f (x), equa ca o 3.2, e escrito como mostrado nas equa co es 3.4 e 3.5.
n

[ei (ek Gik fk Bik ) + fi (fk Gik ek Bik )]

k=1 n 2 = (e2 i + fi )Gii +

(3.4)

[ei (ek Gik fk Bik ) +

k=1 k =i

fi (fk Gik + ek Bik )]

n

[fi (ek Gik fk Bik ei (fk Gik ek Bik )]

k=1 n 2 = (e2 i + fi )Bii +

(3.5)

[fi (ek Gik fk Bik )

k=1 k =i

ei (fk Gik + ek Bik )] Os res duos de pot encia ativa, equa ca o 3.6, para as barras P V e P Q s ao
n

Pi

2 (e2 i + fi )Gii
k=1

[ei (ek Gik fk Bik ) +

k=1

(3.6)

fi (fk Gik ek Bik )] PGi + Pdi e os res duos de pot encia reativa, equa ca o 3.7, para as barras P Q s ao
n

Qi

2 = (e2 i + fi )Bii
k=1

[fi (ek Gik fk Bik )

k=1

(3.7)

ei (fk Gik + ek Bik )] QGi + Qdi Considerando ainda que a barra i seja uma barra P V , ent ao os valores de ei e fi devem satisfazer a rela ca o
esp 2 2 e2 ) , i + fi = (Vi

Incerteza em Fluxo de Pot encia: A Matem atica Intervalar do C-XSC

495

onde Viesp e a magnitude de tens ao especicada na barra i e, portanto, os res duos dos quadrados das magnitudes das tens oes nas barras P V s ao
esp 2 2 |Viesp |2 = e2 | . i + fi |Vi

(3.8)

O conjunto de equa co es alg ebricas n ao-lineares, equa co es 3.6, 3.7 e 3.8, formam um sistema que representa o comportamento est atico do uxo de pot encia em redes de energia el etrica.

4.

Fluxo de Pot encia Intervalar

Para a resolu ca o do sistema de equa co es f (x) = 0 que representa o uxo de pot encia intervalar foi utilizado o m etodo de Krawczyk, onde o sistema n ao-linear e resolvido somente por produto de matrizes. A vantagem deste operador e que nenhum sistema de equa co es lineares necessita ser resolvido para determinar a atualiza ca o da pr oxima itera ca o [1]. O operador de Krawczyk e denido por: K : Rn IRn IRn [5]. K (x, X ) = x Cf (x) (I CJ (X ))(x X )), onde C e uma matriz de pr e-condicionamento, a inversa do ponto m edio da matriz Jacobiana J (X ), I e a matriz identidade e x X . Um estudo sobre o operador de Krawczyk pode ser encontrado em [13]. A converg encia do m etodo de Krawczyk e obtida realizando diversas intersec co es intervalares. Inicialmente, e denido um intervalo de grande di ametro, o qual necessariamente deve conter o intervalo-solu ca o do problema. Assim, as atualiza co es nas vari aveis intervalares podem ser realizadas como X k+1 = X k K (xk , X k ) com k = 0, 1, ... (4.1)

realizada uma an E alise no sistema de equa co es n ao-lineares intervalares buscando vericar qual a maior dist ancia entre o nmo e o supremo de cada intervalo. Este valor e comparado com um valor de toler ancia pr e-especicado pelo usu ario, permitindo determinar a converg encia ou n ao do m etodo. A Figura 1 mostra o diagrama do processo computacional, partindo dos c alculos pontuais e nalizando no processo intervalar, com a obten ca o das magnitudes de tens ao e angulos de fase intervalares. O processo intervalar s o e executado com a converg encia do processo pontual. Assim, se o sistema n ao possuir converg encia no m etodo pontual (Newton-Raphson), o processo intervalar n ao ser a executado. Isso signica que o sistema de equa co es n ao-lineares em an alise n ao possui solu ca o e, portanto, e imposs vel obter um ponto de opera ca o fact vel para a rede el etrica. As etapas desenvolvidas na metodologia pontual s ao (1) montar a matriz admit ancia nodal; (2) inicializar as tens oes complexas; (3) inicializar o contador de itera co es; (4) calcular os desbalan cos de pot encias ativa e reativa; (5) testar a converg encia; (6) testar o n umero de itera co es; (7) incrementar o contador de itera co es;

496

Vargas et al.

Figura 1: Diagrama de Resolu ca o do Problema (8) montar a matriz Jacobiana; (9) resolver o sistema linear; (10) atualizar as vari aveis pontuais; (11) retornar ao passo 4. Por outro lado, a inicializa ca o do processo intervalar e realizada com base no perl de tens oes pontual determinado anteriormente. Estes valores s ao utilizados como pontos m edios para as magnitudes de tens ao e angulos de fase intervalares. As etapas do processo intervalar s ao (1) inicializar as tens oes complexas; (2) inicializar o contador de itera co es; (3) calcular os desbalan cos de pot encias ativa e reativa; (4) testar a converg encia; (5) testar o n umero de itera co es; (6) incrementar o contador de itera co es; (7) aplicar o m etodo de Krawczyk; (8) atualizar as vari aveis intervalares; (9) retornar ao passo 4. Havendo converg encia do processo de solu ca o intervalar, o perl de tens oes intervalares do sistema e determinado.

5.

Resultados

A implementa ca o do algoritmo foi realizada no ambiente C++ (compilador g++ 4.0), para o sistema operacional Linux (Ubuntu 6.06) e utilizando a biblioteca CXSC (vers ao 2.0). Para testar o desempenho e a conabilidade da metodologia proposta, foram analisados os resultados para diversos sistemas el etricos com diferente n umero de barras. Neste trabalho, ser ao apresentados e discutidos resultados para dois sistemas teste: um do IEEE contendo 6 barras e outro equivalente da regi ao Sul-Sudeste do Brasil com 352 barras. Em trabalhos anteriores, as an alises foram realizadas no ambiente Matlab usando o toolbox IntLab [1, 2]. A documenta ca o para a biblioteca IntLab pode ser encontrada em [10]. A tabela 2 apresenta as principais caracter sticas dos sistemas simulados. Tabela 2: Principais caracter sticas para os sistemas testados Sistema IEEE-6 SSB-352 Barras 6 352 Circuitos 7 476 Geradores 2 29

As colunas 2, 3 e 4 apresentam, respectivamente, o n umero total de barras, de circuitos e de geradores que existe em cada sistema.

Incerteza em Fluxo de Pot encia: A Matem atica Intervalar do C-XSC

497

5.1.

Sistema IEEE-6 barras

Este sistema teste est a mostrado na Figura 2. Ele e composto por 6 barras e 7 circuitos, sendo que, destes, 5 s ao linhas de transmiss ao (circuitos 1 4, 1 6, 2 3, 2 5 e 4 6) e dois transformadores (circuitos 3 4 e 5 6). Al em disso, observa-se duas barras de gera ca o (barras 1 e 2) e tr es barra de gera ca o (barras 3, 5 e 6). H a, ainda, a exist encia de uma barra de inje ca o nula (barra 3), a qual n ao possui nem gera ca o nem demanda.

Figura 2: Diagrama Unilar da Rede El etrica Neste sistema de seis barras, as demandas totais de pot encias ativa e reativa est ao expressas com o valor pontual de 135 MW e 36 MVAr, respectivamente. A tabela 3 refere-se aos resultados obtidos para o uxo de pot encia pontual. Estes valores foram utilizados para a inicializa ca o do perl de tens oes intervalares. Tabela 3: Sistema de 6 barras pontual Barra 1 2 3 4 5 6 Magnitude(pu) 1, 1000 1, 1000 0, 9051 1, 0089 0, 9384 0, 9880
Angulo( ) 0 3, 1890 11, 7277 8, 8368 11, 5112 11, 0893

As tabelas 4 e 5 apresentam, respectivamente, os resultados obtidos pelo MatLab e pelo C++ . Esses resultados correspondem ` as magnitudes e angulos de fase das tens oes complexas em todas as barras da rede el etrica. A Tabela 4 foi obtida com a implementa ca o da metodologia proposta no ambiente de programa ca o do Matlab, utilizando a biblioteca intervalar IntLab. Por outro lado, os resultados da Tabela 5 foram obtidos a partir da implementa ca o da abordagem em linguagem C++ com o uso da biblioteca intervalar C-XSC.

498

Vargas et al.

Tabela 4: MatLab: Sistema de 6 barras Barra 1 2 3 4 5 6 Magnitude(pu) [1, 0999; 1, 1001] [1, 0988; 1, 1012] [0, 8930; 0, 9174] [0, 9983; 1, 0195] [0, 9226; 0, 9542] [0, 9749; 1, 0011] [0, 0000; [3, 1954; [12, 0675; [9, 0777; [11, 8858; [11, 4116;
Angulo( ) 0, 0000] 3, 1826] 11, 3934] 8, 5992] 11, 1450] 10, 7724]

Tabela 5: C++: Sistema de 6 barras Barra 1 2 3 4 5 6 Magnitude(pu) [1, 0999; 1, 1000] [1, 0996; 1, 1003] [0, 9024; 0, 9077] [1, 0066; 1, 0112] [0, 9351; 0, 9416] [0, 9849; 0, 9909] [0, 0000; [3, 1898; [11, 7543; [8, 8535; [11, 5415; [11, 1163;
Angulo( ) 0, 0000] 3, 1880] 11, 7014] 8, 8203] 11, 4811] 11, 0625]

Analisando a tabela 4, para a barra dois, a magnitude de tens ao no MatLab est a compreendida entre [1, 0988; 1, 1012] e no C++, este valor, na tabela 5, e [1, 0996; 1, 1003]. Observe que o di ametro da magnitude de tens ao do intervalo obtido no C++ e menor do que o obtido no MatLab. Al em disso, se a compara ca o for realizada em termos do angulo de fase da tens ao complexa na barra dois, o di ametro do intervalo obtido no C-XSC tamb em e menor do que o do MatLab ([3, 1954; 3, 1826] no MatLab, [3, 1898; 3, 1880]) no C++). Para a barra cinco, a magnitude de tens ao no MatLab est a compreendida entre [0, 9226; 0, 9542] e no C++ entre [0, 9351; 0, 9416]. O intervalo do angulo de fase da tens ao complexa nesta barra no MatLab est a entre [11, 8858; 11, 1450] e no C++, entre [11, 5415; 11, 4811]. Note que o intervalo da magnitude de tens ao no C++ e menor do que no MatLab e que o intervalo do angulo de fase da tens ao complexa no MatLab e maior do que no C++. Por m, analisando a barra 6, tem-se os intervalos [0, 9749; 1, 0011] e [0, 9849; 0, 9909], para o valor da magnitude de tens ao, respectivamente, no MatLab e no C++. Para os intervalos do angulo de fase da tens ao complexa, obteve-se no MatLab [11, 4116; 10, 7724] e no C++, [11, 1163; 11, 0625]. Assim, as mesmas conclus oes anteriores s ao obtidas novamente.

5.2.

Regi ao Sul e Sudeste 352 barras

O sistema de pot encia de 352 barras e um equivalente real da regi ao Sul-Sudeste do Brasil e as demandas totais de pot encias ativa e reativa s ao, respectivamente,

Incerteza em Fluxo de Pot encia: A Matem atica Intervalar do C-XSC

499

4.404,90 MW e 1.558,70 MVAr. Para a gera ca o dos resultados intervalares, foi considerada uma varia ca o em torno do ponto m edio das demandas de pot encias ativa e reativa, em cada barra de carga, de 1%. Esse valor percentual e devido a ` considera ca o de erros de leitura nas pot encias ativas e reativas nas barras de carga. A tabela 6 apresenta os resultados correspondentes aos limites m nimos e m aximos das magnitudes de tens ao e angulos de fase nas barras 6, 340, 938 e 1069. Como a simula ca o est a sendo realizada em um sistema real, optou-se por utilizar o n umero real da barra no sistema interligado. Essas quatro barras selecionadas s ao as mais problem aticas, pois apresentam as menores magnitudes de tens ao. Tabela 6: C++: Sistema de 352 barras Barra 6 340 938 1069 Magnitude(pu) [0, 9194; 0, 9498] [0, 8935; 0, 9227] [0, 9186; 0, 9308] [0, 9873; 1, 0017] [44, 7835; [40, 3153; [23, 0928; [20.0055;
Angulo( ) 43.2754] 39.4332] 22.8096] 19.7954]

Da tabela 6, observa-se que a barra 6 possui o maior di ametro para a magnitude de tens ao e tamb em que a barra 938 apresenta o menor di ametro para a magnitude de tens ao. Utilizando um uxo de pot encia pontual, o valor da magnitude da tens ao na barra 340 e de 0, 9081 pu e 39, 8402 para o angulo de fase. Observe que os valores pontuais pertencem aos intervalos obtidos com a biblioteca intervalar C-XSC. Da tabela 6, pode-se vericar que a magnitude de tens ao e o angulo de fase da barra 1069 valem, respectivamente, [0, 9873; 1, 0017] e [20, 0055; 19, 7954]. O uxo de pot encia pontual apresenta como resultado 0, 9944 pu e 20, 1105 para a magnitude de tens ao e para o angulo de fase, respectivamente. Novamente, constata-se que os valores pontuais est ao compreendidos dentro dos intervalos gerados pelo algoritmo proposto, o que valida os resultados utilizando a biblioteca C-XSC. A tabela 7 apresenta os pontos m edios da magnitude de tens ao e angulo de fase das tens oes intervalares para as barras 6, 340, 938 e 1069 e tamb em o erro destes valores em rela ca o ao ponto m edio do intervalo. Por exemplo, a estimativa de erro da magnitude de tens ao na barra 340 e de 1, 60% e para o angulo de fase nesta mesma barra e de 1, 11%.

6.

Conclus oes

O uso da biblioteca C-XSC e uma boa alternativa para a aplica ca o da Matem atica Intervalar ao tratamento das incertezas do uxo de pot encia em redes de energia el etrica, pois permite conhecer a inu encia da inexatid ao de dados e de erros num ericos sobre o perl de tens oes do sistema el etrico.

500

Vargas et al.

Tabela 7: Inu encia dos erros Barra 6 340 938 1069 Magnitude(pu) Ponto M edio Erro % 0, 9346 1, 62 0, 9001 1, 60 0, 9237 0, 65 0, 9945 0, 72
Angulo( ) Ponto M edio Erro % 44, 0294 1, 71 40, 3153 1, 11 23, 0928 0, 66 20, 0055 0, 53

A biblioteca intervalar C-XSC e de f acil opera ca o e diversas solu co es j a est ao previamente codicadas. Com o aux lio da biblioteca, atrav es de seus operadores predenidos, foi poss vel implementar os algoritmos de Newton-Raphson e de Krawczyk utilizando aloca ca o din amica de mem oria. Os resultados obtidos mostram que e poss vel aplicar a Matem atica Intervalar ao problema do uxo de pot encia com a utiliza ca o da biblioteca C-XSC a sistemas el etricos reais de grande porte para produzir resultados mais realistas. Em contraste com o C e C++, todos os operadores aritm eticos predenidos em C-XSC desenvolvem um resultado de pelo menos 1 ulp de precis ao. Para os programadores que utilizam a linguagem de programa ca o C, n ao h a a necessidade de aprender as caracter sticas da linguagem de programa ca o C++ (que e o ambiente de programa ca o do C-XSC). Na maioria dos casos, o conhecimento da linguagem C e suciente para utilizar o C-XSC. No C-XSC, o programador pode desenvolver os seus sistemas usando programa ca o orientada a objeto, que e caracter stica do C++. Pode-se combinar qualquer linha de c odigo do C-XSC com linhas de c odigo do C++. Os programas utilizando o C-XSC sempre fornecem os mesmos resultados num ericos compat veis em computadores com diferentes compiladores C++. Uma compara ca o quantitativa dos algoritmos propostos implementados no software MatLab com IntLab e na linguagem de programa ca o C++ com a biblioteca C-XSC foi realizada. Observou-se que o di ametro dos intervalos, tanto na magnitude de tens ao como no angulo de fase da tens ao, e menor no C++ do que os resultados obtidos no MatLab. Simula co es com sistemas el etricos reais n ao foram poss veis com o uso do software computacional MatLab. Por ser uma linguagem interpretada, torna-se muito lenta para solu ca o de problemas de grande dimens ao. Entretanto, combinando a biblioteca C-XSC com a linguagem C++, e poss vel resolver um uxo de pot encia em sistemas reais de grande porte. Em rela ca o aos di ametros menores para as magnitudes e angulos de fase das tens oes complexas nas barras da rede el etrica obtidos com o uso da biblioteca CXSC, se comparados com a biblioteca Intlab no Matlab, cumpre esclarecer o que segue. Primeiro que, implementando o algoritmo com o C-XSC de forma correta, se tem a garantia de encontrar o resultado correto contido no intervalo resultante devido ao uso de intervalos, arredondamentos direcionados e aritm etica de alta exatid ao. O intervalo no C-XSC e de melhor qualidade do que no IntLab pois o

Incerteza em Fluxo de Pot encia: A Matem atica Intervalar do C-XSC

501

IntLab optou em seu desenvolvimento por ter um melhor desempenho em termos de velocidade com uma respectiva perda de exatid ao (em compara ca o com o C-XSC) com o uso de fun co es da BLAS. Por outro lado, para se obter um intervalo de menor di ametro, por em ainda correto, isto n ao est a relacionado ao uso da bibloteca C-XSC ou da Intlab. Este fato est a diretamente relacionado ao algoritmo utilizado para a modelagem matem atica do problema e do algoritmo num erico utilizado para resolver as equa co es alg ebricas n ao-lineares resultantes dessa modelagem. Isto passaria pela utiliza ca o de controles adicionais de erro que s ao gerados durante a execu ca o do programa. Normalmente, quando se implementa algoritmos intervalares e comum se ter, embutido nesses, t ecnicas para o controle de erro. Entretanto, existem algumas t ecnicas que poderiam ser utilizadas para melhorar o resultado gerado (gerando um intervalo com di ametro menor). Poderia, por exemplo, ser citada a t ecnica error free transformations [4], que atualmente se encontra em estudo pelo grupo do Prof. Rump na Universidade de Tecnologia de Hamburgo, Alemanha [11, 12]. Ela e utilizada para o controle de erro, pricipalmente, na fun ca o somat orio. Com ela, pode-se estimar o errodo errode uma forma mais precisa, de modo a incluir essa informa ca o no intervalo resultante, gerando um intervalo resposta com menor di ametro.
Abstract. This paper presents Interval Mathematics applied to the uncertainty problems in electric power systems using the C-XSC library. The proposed approach is based on the analysis of the inuence of the both measurement errors and numerical computation errors on the results obtained. Interval Mathematics is an eective technique on the control of several kinds of computational errors presented in scientic calculations. A software using the C-XSC library was developed in order to deal with the power ow problem in an interval manner. In order to assess the performance of the proposed approach, numerical results for both a hypothetical electric system from IEEE and a real equivalent power system from Brazilian South-Southeast region are presented and discussed. A comparative study between results obtained by our methodology and another software using the Intlab libray in Matlab environment are also presented.

Refer encias
[1] L.V. Barboza, G.P. Dimuro, R.H.S. Reiser, Towards interval analysis of the load uncertainty in power eletric systems, in Proc. 8th Probabilistic Methods Apllied to Power System Conference, pp. 12-16, Ames, USA, 2004. [2] L.V. Barboza, G.P. Dimuro, R.H.S. Reiser, Interval mathematics applied to the load ow analysis, in Proc. 17th IMACS Word Congress Scientic Computation, Applied Mathematics and Simulations, pp. 1-5, Paris, France, 2005. [3] G.P. Dimuro, Dom nios Intervalares da Matem atica Computacional, Disserta ca o de Mestrado, Universidade Federal do Rio Grande do Sul, Porto Alegre, 1991.

502

Vargas et al.

[4] S. Graillat, V.M. Morain, Error-free transformations in real and complex oating point arithmetic, in Proc. 2007 International Symposium on Nonlinear Theory and its Applications, pp. 341-344, Vancouver, Canada, 2007. [5] R. Krawczyk, Newton-algorithmen zur bestimmung von nullstellen mit fehlerschranken, Computing, 4 (1969), 187-201. [6] U. Kulisch, Advanced Arithmetic for the Digital Computer: Design of Arithmetic Units, Springer, 2003. [7] F.W. Macedo, An alise de Erros, Vila Real, Departamento de Matem atica, Universidade de Tr as-os-Montes e Alto Doro, Portugal, 1992. Publica ca o t ecnica, 63p. Dispon vel em http://home.utad.pt/ wmacedo/publicacoes/Publicacoes.html (20/11/2008) [8] R. Moore, Interval Analysis, Philadelphia, 1966. [9] R.E. Oliveira, A.T. Diverio, M.D. Claudio, Fundamentos da Matem atica Intervalar, Porto Alegre, Instituto de Inform atica da UFRGS, Brasil: Editora Sagra Luzzato, 2001. [10] S.M. Rump, INTLAB - INTerval LABoratory, Dordrecht, Institute for Reliable Computing, Alemanha: Kluwer Academic Publishers, 1999. 77 - 104p. Dispon vel em http://www.ti3.tu-harburg.de/rump/intlab/ (20/11/2008) [11] S.M. Rump, T. Ogita, S. Oishi, Accurate oating-point summation Part I: faithful rounding, SIAM Journal on Scientic Computing, 31, No. 1 (2008), 189-224. [12] S.M. Rump, T. Ogita, S. Oishi, Accurate oating-Point summation Part II: sign, K-fold faithful and rounding to nearest, SIAM Journal on Scientic Computation, to appear. [13] S.P. Shary, Krawczyk Operator Revised, Novosibirsk, Institute of Computational Technologies, R ussia, 2004. Workshop on Interval Mathematics and Interval Constraint Programming, 307 - 313p. Dispon vel em http://old.ict.nsc.ru/interval/shary/Papers/IMRO-04.pdf (20/11/2008)