Apresentamos um caso clínico de doença renovascular, provavelmente relacionada com displasia fibromuscular, num lactente do sexo masculino de 12 meses de idade com hipertensão arterial grave associada a lesões de orgãos-alvo, destacando a abordagem radiológica. A avaliação inicial incluiu ecografia renal, que mostrou rins de tamanho normal, com ecogenicidade cortical normal à direita e aumento focal da ecogenicidade na vertente posterior do rim esquerdo, simulando uma massa. Na avaliação por ressonância magnética foi excluída lesão de natureza tumoral, o que foi confirmado por biópsia renal ecoguiada. Foi efetuada ecografia Doppler que sugeriu a presença de estenose da artéria renal direita e diminuição do fluxo para a vertente posterior do rim esquerdo. Efetuou-se angiografia com intenção diagnóstica e terapêutica em que foram detetadas estenoses da artéria renal direita, sendo efetuada dilatação transluminal por balão; a artéria renal esquerda bifurcava precocemente e o ramo que irrigava a vertente posterior do rim apresentava estenose que também foi dilatada com sucesso. Após a intervenção, foi obtido controlo tensional com medicamentos anti hipertensores, o que não tinha sido possível antes do procedimento angiográfico. Os autores realçam os vários métodos de imagem utilizados para diagnosticar com precisão a doença renovascular e a utilidade do tratamento por radiologia de intervenção para esta doença em crianças muito jovens.

We report a clinical case of renovascular disease, probably linked to fibromuscular dysplasia, in a 12 months old boy with severe arterial hypertension with target-organ damage, highlighting the radiological approach. Initial investigation included renal ultrasound that showed normal sized kidneys, with normal cortical echogenicity on the right and focally increased echogenicity of the posterior aspect of the left kidney, forming a mass-like lesion. Magnetic resonance imaging excluded renal tumor, which was confirmed by ultrasound guided biopsy. A doppler ultrasonography was also performed suggesting a right renal artery stenosis and decreased flow to the posterior aspect of the left kidney. Angiography with diagnostic and therapeutic intention was performed: right renal artery stenosis was detected and transluminal ballon dilation was performed; the left renal artery bifurcated precociously and the branch that irrigated the posterior part of the kidney had a stenosis which was also successfully dilated. After the intervention good blood pressure control with antihypertensive drugs was achieved, which was not possible before the angiographic procedure. The authors underline various methods of imaging used to accurately diagnose renovascular disease and the usefulness of interventional radiology treatment for this disease in very young children.

Data abstraction is a powerful technique to overcome state explosion in model checking. For CSP Z (a formal integration of the well-known specification languages CSP and Z), current approaches can mechanically abstract infinite domains (types) as long as they are not used in communications. This work presents a compositional and systematic approach to data abstract CSP Z specifications even when communications are based on infinite domains. Therefore, we deal with a larger class of specifications than the previous techniques. Our approach requires that the domains (used in communications) being abstracted do not affect the behaviour of the system (data independence). This criteria is used to achieve an internal partitioning of the specification in such a way that complementary techniques for abstracting data types can be applied to the components of the partition. Afterwards, the partial results can be compositionally combined to abstract the entire specification. We propose an algorithm that implements the partitioning and show the application of the entire approach to a real case study.

Esse trabalho formaliza um modelo de grafos CPM/PERT para viabilizar a representação de planos de recomposição de sistemas elétricos e expõe uma metodologia para derivação automática do mesmo a partir da lista de atividades de um procedimento de recomposição. Essa técnica de montagem automática foi aplicada com sucesso a uma instrução operativa de recomposição pós-blecautes do sistema interligado nacional (SIN), referente a uma porção da rede elétrica do sul do Brasil, que compreende as usinas hidrelétricas de Capivara e Taquaruçu, o corredor de transmissão associado a essas usinas e as subestações de Assis e Londrina.

This work proposes a computational model based on PERT/CPM graphs to represent power system restoration plans. This model can be automatically derived using the precedence list represented by the restoration actions. This method was successfully applied to a restoration plan developed for a South-Brazilian power network, generating satisfactory results.

Este trabalho trata da modelagem da carga no processo de recomposição do sistema de energia elétrica após a ocorrência de blecautes. Em especial, é analisado o comportamento de cargas residenciais termostáticas, que são as principais responsáveis pelo aumento da demanda pós-perturbação, e cujo conhecimento é essencial na recomposição do sistema. A modelagem é construída a partir de técnicas de programação orientada a objetos que valoriza a modelagem física dos equipamentos elétricos residenciais através da implementação de um número reduzido de classes correspondentes aos equipamentos termostáticos. A agregação das cargas é também realizada usando a mesma filosofia, a partir da definição hierárquica dos componentes de uma subestação de distribuição típica, como alimentadores e residênciais.

This work is about load modeling in power system restoration after blackouts. The behaviour of residential thermostatically controlled loads is analyzed, since they are the main responsible for the growth of demand after reenergization. Load modeling is implemented using Oriented Object Programming (OOP). OOP techniques take advantage of physical modeling of residential thermostatically controlled equipment and use a reduced number of classes to represent them. Load aggregation is also implemented using "residence" and "feeder" classes in an hierarquical structure.