A geometric interpretation for transmission real losses minimization through the optimal power flow and its influence on voltage collapse

This work presents an approach for geometric solution of an optimal power flow (OPF) problem for a two bus system (a slack and a PV busses). Additionally, the geometric relationship between the losses minimization and the increase of the reactive margin and, therefore, the maximum loading point, is shown. The algebraic equations for the calculation of the Lagrange multipliers and for the minimum losses value are obtained. These equations are used to validate the results obtained using an OPF program. (C) 2002 Elsevier B.V. B.V. All rights reserved.

Systèmes de numération et automates

Let beta be an hyperbolic algebraic integer of modulus greater than 1. Lot A be a finite set of Q[beta] and D-beta = {(a(i), b(i))(igreater than or equal to0) is an element of (A x A)(N) \ Sigma(i=0)(infinity) a(i)beta(-i)}. We give a necessary and sufficient condition for D-beta to be sofic. As a consequence, we obtain a result due to Thurston (see Corollary 1). We also treat the case where the set of digits A is given by the greedy algorithm and study the connection with the beta-shift. (C) 2002 Academie des sciences/Editions scientifiques et medicales Elsevier SAS.

The Interval Constructor on classes of ML-algebras

Monoidal logic, ML for short, which formalized the fuzzy logics of continuous t-norms and their residua, has arisen great interest, since it has been applied to fuzzy mathematics, artificial intelligence, and other areas. It is clear that fuzzy logics basically try to represent imperfect or fuzzy information aiming to model the natural human reasoning. On the other hand, in order to deal with imprecision in the computational representation of real numbers, the use of intervals have been proposed, as it can guarantee that the results of numerical computation are in a bounded interval, controlling, in this way, the numerical errors produced by successive roundings. There are several ways to connect both areas; the most usual one is to consider interval membership degrees. The algebraic counterpart of ML is ML-algebra, an interesting structure due to the fact that by adding some properties it is possible to reach different classes of residuated lattices. We propose to apply an interval constructor to ML-algebras and some of their subclasses, to verify some properties within these algebras, in addition to the analysis of the algebraic aspects of them

A Linguagem de Especificação algébrica CASL e o Tipo de Dados Intervalos

Na computação científica é necessário que os dados sejam o mais precisos e exatos possível, porém a imprecisão dos dados de entrada desse tipo de computação pode estar associada às medidas obtidas por equipamentos que fornecem dados truncados ou arredondados, fazendo com que os cálculos com esses dados produzam resultados imprecisos. Os erros mais comuns durante a computação científica são: erros de truncamentos, que surgem em dados infinitos e que muitas vezes são truncados", ou interrompidos; erros de arredondamento que são responsáveis pela imprecisão de cálculos em seqüências finitas de operações aritméticas. Diante desse tipo de problema Moore, na década de 60, introduziu a matemática intervalar, onde foi definido um tipo de dado que permitiu trabalhar dados contínuos,possibilitando, inclusive prever o tamanho máximo do erro. A matemática intervalar é uma saída para essa questão, já que permite um controle e análise de erros de maneira automática. Porém, as propriedades algébricas dos intervalos não são as mesmas dos números reais, apesar dos números reais serem vistos como intervalos degenerados, e as propriedades algébricas dos intervalos degenerados serem exatamente as dos números reais. Partindo disso, e pensando nas técnicas de especificação algébrica, precisa-se de uma linguagem capaz de implementar uma noção auxiliar de equivalência introduzida por Santiago [6] que ``simule" as propriedades algébricas dos números reais nos intervalos. A linguagem de especificação CASL, Common Algebraic Specification Language, [1] é uma linguagem de especificação algébrica para a descrição de requisitos funcionais e projetos modulares de software, que vem sendo desenvolvida pelo CoFI, The Common Framework Initiative [2] a partir do ano de 1996. O desenvolvimento de CASL se encontra em andamento e representa um esforço conjunto de grandes expoentes da área de especificações algébricas no sentido de criar um padrão para a área. A dissertação proposta apresenta uma especificação em CASL do tipo intervalo, munido da aritmética de Moore, afim de que ele venha a estender os sistemas que manipulem dados contínuos, sendo possível não só o controle e a análise dos erros de aproximação, como também a verificação algébrica de propriedades do tipo de sistema aqui mencionado. A especificação de intervalos apresentada aqui foi feita apartir das especificações dos números racionais proposta por Mossakowaski em 2001 [3] e introduz a noção de igualdade local proposta por Santiago [6, 5, 4]

Em direção a uma representação para equações algébricas :uma lógica equacional local

The intervalar arithmetic well-known as arithmetic of Moore, doesn't possess the same properties of the real numbers, and for this reason, it is confronted with a problem of operative nature, when we want to solve intervalar equations as extension of real equations by the usual equality and of the intervalar arithmetic, for this not to possess the inverse addictive, as well as, the property of the distributivity of the multiplication for the sum doesn t be valid for any triplet of intervals. The lack of those properties disables the use of equacional logic, so much for the resolution of an intervalar equation using the same, as for a representation of a real equation, and still, for the algebraic verification of properties of a computational system, whose data are real numbers represented by intervals. However, with the notion of order of information and of approach on intervals, introduced by Acióly[6] in 1991, the idea of an intervalar equation appears to represent a real equation satisfactorily, since the terms of the intervalar equation carry the information about the solution of the real equation. In 1999, Santiago proposed the notion of simple equality and, later on, local equality for intervals [8] and [33]. Based on that idea, this dissertation extends Santiago's local groups for local algebras, following the idea of Σ-algebras according to (Hennessy[31], 1988) and (Santiago[7], 1995). One of the contributions of this dissertation, is the theorem 5.1.3.2 that it guarantees that, when deducing a local Σ-equation E t t in the proposed system SDedLoc(E), the interpretations of t and t' will be locally the same in any local Σ-algebra that satisfies the group of fixed equations local E, whenever t and t have meaning in A. This assures to a kind of safety between the local equacional logic and the local algebras

Especificação do tipo intervalar parametrizado em CASL

The interval datatype applications in several areas is important to construct a interval type reusable, i.e., a interval constructor can be applied to any datatype and get intervals this datatype. Since the interval is, of certain form, a set of elements limited for two bounds, left and right, with a order notions, then it s reasonable that interval constructor enclose datatypes with partial order. On the order hand, what we want is work with interval of any datatype like this we work with this datatype then. it s important to guarantee the properties of the datatype when maps to interval of this datatype. Thus, the interval constructor get a theory to parametrized interval type, i.e., a interval with generics parameters (for example rational, real, complex). Sometimes, the interval application in some algebras doesn t guarantee the mainutenance of their properties, for example, when we use interval of real, that satisfies the field properties, it doesn t guarantee the distributivity propertie. A form to surpass this problem Santiago introduced the local equality theory that weakened the notion of strong equality, and thus, allowing some properties are local keeped, what can be discard before. The interval arithmetic generalization aim to apply the interval constructor on ordered algebras weakened for local equality with the purpose of the keep their properties. How the intervals are important in applications with continuous data, it s interesting specify that theory using a specification language that supply a system development using intervals of form disciplined, trustworth and safe. Currently, the algebraic specification language, based in math models, have been use to that intention often. We choose CASL (Common Algebraic Specification Language) among others languages because CASL has several characteristics excellent to parametrized interval type, such as, provide parcialiy and parametrization

AVALIAÇÃO DE DUAS METODOLOGIAS DE EXPANSÃO AO FORNO do POLVILHO AZEDO

Duas metodologias de expansão ao forno foram comparadas em 52 amostras de polvilho azedo de três Estados: Santa Catarina, Paraná e Minas Gerais. Os resultados obtidos permitiram visualizar uma proposta de classificação em nível nacional da expansão ao forno do polvilho azedo. No método instrumental foi usado o Farinógrafo Brabender para estabelecer uma massa de consistência padrão de 60UF e no método prático, a consistência semelhante da massa foi determinada de forma empírica. Com a metodologia instrumental obteve-se biscoitos com expansão superior à metodologia prática, mas maior coeficiente de variação, o que pode ser devido a maior sensibilidade do método. Ambas as metodologias poderão ter aplicação, dependendo da finalidade. A metodologia instrumental, pelo custo do equipamento, é mais adequada para laboratórios, desde que se utilize maior número de repetições, para reduzir o coeficiente de variação. Ambas as metodologias ensaiadas permitiram classificar as amostras com o mesmo perfil de desempenho. As amostras provenientes do Estado do Paraná apresentaram as maiores expansões ao forno quando comparados com os outros Estados. Pela metodologia prática a expansão média das amostras do Estado do Paraná foi de 14,1mL/g. As amostras do Estado de Minas Gerais apresentaram as menores expansões ao forno, em média de 13,3mL/g. Foi proposta neste artigo uma classificação para avaliar a qualidade do polvilho azedo, complementando a legislação brasileira que não estabelece este índice para o produto. Quanto à propriedade de expansão ao forno, as amostras avaliadas podem ser divididas em 3 tipos A, B e C. No tipo A (10%) amostras de polvilhos azedo são classificadas como qualidade extra, no tipo B (80%) os polvilhos são de média qualidade e o tipo C (10%) de qualidade inferior. Os resultados obtidos pela metodologia prática permitiram estabelecer como tipo A o polvilho azedo que apresenta um índice de expansão ao forno superior a 16,0mL/g, o tipo B o polvilho com índice de expansão entre 12,0mL/g a 16,0mL/g e o tipo C o polvilho com índice de expansão menor que 12,0mL/g.

Detecção de áreas degradadas na sub-bacia hidrográfica do rio taperoá/pb, utilizando parâmetros físicos dos sensores modis/terra e tm/landsat

This study includes the results of the analysis of areas susceptible to degradation by remote sensing in semi-arid region, which is a matter of concern and affects the whole population and the catalyst of this process occurs by the deforestation of the savanna and improper practices by the use of soil. The objective of this research is to use biophysical parameters of the MODIS / Terra and images TM/Landsat-5 to determine areas susceptible to degradation in semi-arid Paraiba. The study area is located in the central interior of Paraíba, in the sub-basin of the River Taperoá, with average annual rainfall below 400 mm and average annual temperature of 28 ° C. To draw up the map of vegetation were used TM/Landsat-5 images, specifically, the composition 5R4G3B colored, commonly used for mapping land use. This map was produced by unsupervised classification by maximum likelihood. The legend corresponds to the following targets: savanna vegetation sparse and dense, riparian vegetation and exposed soil. The biophysical parameters used in the MODIS were emissivity, albedo and vegetation index for NDVI (NDVI). The GIS computer programs used were Modis Reprojections Tools and System Information Processing Georeferenced (SPRING), which was set up and worked the bank of information from sensors MODIS and TM and ArcGIS software for making maps more customizable. Initially, we evaluated the behavior of the vegetation emissivity by adapting equation Bastiaanssen on NDVI for spatialize emissivity and observe changes during the year 2006. The albedo was used to view your percentage of increase in the periods December 2003 and 2004. The image sensor of Landsat TM were used for the month of December 2005, according to the availability of images and in periods of low emissivity. For these applications were made in language programs for GIS Algebraic Space (LEGAL), which is a routine programming SPRING, which allows you to perform various types of algebras of spatial data and maps. For the detection of areas susceptible to environmental degradation took into account the behavior of the emissivity of the savanna that showed seasonal coinciding with the rainy season, reaching a maximum emissivity in the months April to July and in the remaining months of a low emissivity . With the images of the albedo of December 2003 and 2004, it was verified the percentage increase, which allowed the generation of two distinct classes: areas with increased variation percentage of 1 to 11.6% and the percentage change in areas with less than 1 % albedo. It was then possible to generate the map of susceptibility to environmental degradation, with the intersection of the class of exposed soil with varying percentage of the albedo, resulting in classes susceptibility to environmental degradation

Comparison Between the Polymerase Chain Reaction-Based Screening and the Southern Blot Methods for Identification of Fragile X Syndrome

The fragile X syndrome (FXS), the most common cause of hereditary mental retardation, is caused by expansions of CGG repeats in the FMR1 gene. The gold-standard method to diagnose FXS is the Southern blot (SB). Because SB is laborious and costly, some adaptations in the polymerase chain reaction (PCR) method have been utilized for FXS screening. A previous PCR-based screening method for FXS identification utilizing small amounts of DNA was reported as simple and efficient. The aim of this study was to reproduce the mentioned PCR-based screening method for identification of expanded alleles of the FMR1 gene in Brazilian individuals and to investigate the efficiency of this method in comparison with SB. Utilizing the enzyme Expand Long Template PCR System, 78 individuals were investigated by that PCR-based screening method for FXS identification. Conclusive results were obtained for 75 samples. Considering all the allelic forms of FXS (normal [NL], premutation [PM], and full-mutation [FM]), the comparison of the PCR-based screening method with SB demonstrated 100% of accuracy, sensitivity, and specificity. However, when the PM and the FM were analyzed separately from each other, but together with the NL allele, the accuracy, sensitivity, and specificity decreased (to 42.9%-97.4%). We concluded that the PCR-based screening method was reproducible and capable of identifying all different FXS alleles, but because the differentiation between the PM and the FM alleles was not accurate, SB is still the gold-standard method for the molecular diagnosis of FXS.

Vas Deferens Surface Epithelium of Agouti paca: Fine Structural Features

The surface epithelium of the vas deferens of Agouti paca, a wild and large South American rodent, was basically formed by principal and basal cells being only the principal cells related to endocytosis processes and also secretion taking base on their cytoplasmic ultrastructural features. Principal cell of vas deferens epithelium were characterized mainly by presence of vesicles with several shapes, sizes and internalized content at their apical cytoplasm occurring smaller pits and pale small vesicles seen next to the apical brush border of microvillus. Moreover, coated vesicles, smooth surface vesicles and great vesicles; multivesicular bodies, endosomes and lysosomes were seen. Presence of an apocrine secretory apparatus was also viewed, showing apical cytoplasmic expansions protruding into the vas deferens luminal compartment. The basal flattened cells, without luminal surface contact, occurred next to the basement membrane of the ductus, and did no exhibit special ultrastructural features.

Características regionais sobre a ultra-estrutura das células principais do epitélio do ducto epididimal de Agouti paca

The principal (P) cells of epididymidis surface epithelium of Agouti paca were related to processes of adsorptive endocvtosis and phase-fluid endocvtosis, as well as protein secretion apparently also occur. These findings had been proposed on the base the cytoplasmic ultrastructural features of P cells in which were seen an expressive number of vesicles with several shapes, sizes and internalized content occurring also smaller pits and pale small vesicles located next to the apical brush border of microvilli. Moreover, occurred coated vesicles, smooth surface vesicles and great vesicles; multivesicular bodies, endosomes and lysosomes mainly viewed on supranuclear and apical positions. Presence of an appocrine secretory pathway was characterized in P cells through the occurrence of apical cytoplasmic expansions, protruding into the ducts epididymidis lumina) compartment.

Florística e fitossociologia em parcelas permanentes da Mata Atlântica do sudeste do Brasil ao longo de um gradiente altitudinal

This paper summarizes floristic and phytossociology data of 11, out of 14 plots of 1 ha, allocated along an altitudinal gradient in the Serra do Mar, Silo Paulo, Brazil. The study was conducted at Serra do Mar State Park and the plots start at the sea level (10 m - plot of Restinga Forest that occurs at Praia da Fazenda, Picinguaba, municipality of Ubatuba) up to 1100 m above sea level (the Montane Ombrophilous Dense occurs alongside the Itamambuca Trail, municipality of Silo Luis do Paraitinga). The Restinga Forest occurs in Pleistocenic Coastal Plain where the soil is classified as a sandy Quartzipsamment (Quartzenic Neosol), while along the slopes of the Serra do Mar, the Ombrophylus Dense Forest grows on the top of a pre-Cambrian crystalline basement with granitic rocks, where the soil is a sandy-loam Dystrophic Inceptisol (Cambisol/Latosol). In all 14 plots soils are acidic (pH 3 - 4), chemically poor, with high dilution of nutrients and high saturation of aluminum. In the Restinga and at the foot of the slope the climate is Tropical/Subtropical Humid (Af/Cfa), with no dry season, an average annual rainfall over 2,200 mm and an average annual temperature of 22 degrees C. Towards the top of the Serra do Mar there is a gradual cooling along the slope, but there is no reduction in rainfall, so at 1,100 m above sea level the climate is classified as Humid Subtropical (Cfa/Cfb), with no dry season and an average annual temperature of 17 degrees C. It is important to remark that, almost daily, from 400 m above sea level up to the top of slopes the mountains are covered by a dense fog. In the 14 plots 21,733 individuals with DBH >= 4.8 cm, including trees, palms and ferns, were marked, measured and sampled. The average number of individuals sampled in each plot was 1264 ind.ha(-1)(+/- 218 SE 95%). Within the parameters considered trees prevailed (71% in the Montane ODF to 90% in the Restinga Forest), followed by palms (10% in the RF and 25% in the Montane Ombrophilous Dense Forest/ODF) and ferns (0% % in the RF and 4% in the Montane ODF). Regarding these proportions the Exploited Lowlands ODF differs from the others with only 1.8% of palm trees and striking 10% of ferns. The forest canopy is irregular with heights ranging from 7 to 9 m, rarely emergent trees reach 18 m, and due to this irregularity of the canopy the amount of light that gets through sets conditions for the development of hundreds of epiphytic species. Aside from Montana ODF, where the number of dead trees was more than 5% of individuals sampled, in the other phytophysiognomies this value was below 2.5%. In the 11 plots where the floristic study was conducted we found 562 species in 195 genera and 68 families. Only seven species - Euterpe edulis Mart. (Arecaceae), Calyptranthes lucida Mart. ex DC. and Marlierea tomentosa Cambess (both Myrtaceae), Guapira opposita (Veil.) Reitz (Nyctaginaceae), Cupania oblongifolia Mart. (Sapindaceae), Cecropia glaziovii Snethl. and Coussapoa microcarpa (Schott) Rizzini (both Urticaceae) - occurred from Restinga to Montane ODF, while 12 other species did not occur only in the Restinga Forest. Families with the greatest number of species are Myrtaceae (133 spp), Fabaceae (47 spp), Rubiaceae (49) and Lauraceae (49) throughout the gradient and Monimiaceae (21) specifically in portions Montane ODF. Only in the F plot, where logging has occurred between 1950 and 1985, the abundance of palm trees has been replaced by Cyatheaceae. The study shows a peak of diversity and richness, Shannon-Weiner index (H') ranging from 3.96 to 4.48 nats.ind(-1), in the intermediate altitudes (300 to 400 m) along the slope. Several explanations for this result are raised here, including the fact that these elevations are within the limits expansions and retractions of the different phytophysiognomies of the Atlantic ODF due to climate fluctuations during the Pleistocene. The results presented in this paper demonstrate the extraordinary richness of tree species of the Atlantic Rainforest from the northeastern coast of the State of São Paulo, reinforcing the importance of its conservation throughout the altitudinal gradient. The richness of this forest justifies a long term commitment to study its dynamics and functioning through permanent plots, and monitor the impacts of climate change in this vegetation.

Landau and Kolmogoroff type polynomial inequalities

Let 0algebraic polynomials of degree not exceeding n).For the particular case j=1 and m=2, we provide a complete characterisation of the positive constants A and B, for which the corresponding Landau type polynomial inequalities parallel to f'parallel to less than or equal toA parallel to f parallel to + B parallel to f parallel to/ A theta(k) + B mu(k)hold. In each case we determine the corresponding extremal polynomials for which equalities are attained.

Almost strict total positivity and a class of Hurwitz polynomials

We establish sufficient conditions for a matrix to be almost totally positive, thus extending a result of Craven and Csordas who proved that the corresponding conditions guarantee that a matrix is strictly totally positive. Then we apply our main result in order to obtain a new criteria for a real algebraic polynomial to be a Hurwitz one. The properties of the corresponding extremal Hurwitz polynomials are discussed. (C) 2004 Elsevier B.V. All rights reserved.

Schur-SzegA composition of entire functions

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)