Three-phase three-level current-source converter for EVs fast battery charging systems

This paper presents a three-phase three-level fast battery charger for electric vehicles (EVs) based in a current-source converter (CSC). Compared with the traditional voltage-source converters used for fast battery chargers, the CSC can be seen as a natural buck-type converter, i.e., the output voltage can assume a wide range of values, which varies between zero and the maximum instantaneous value of the power grid phase-to-phase voltage. Moreover, using the CSC it is not necessary to use a dc-dc back-end converter in the battery side, and it is also possible to control the grid current in order to obtain a sinusoidal waveform, and in phase with the power grid voltage (unitary power factor). Along the paper is described in detail the proposed CSC for EVs fast battery charging systems: the circuit topology, the power control theory, the current control strategy and the grid synchronization algorithm. Several simulation results of the EV fast battery charger operating with a maximum power of 50 kW are presented.

Integration of geometric consistency contributory factors in three-leg junctions collision prediction models of Portuguese two-lane national highways

This paper aims at developing a collision prediction model for three-leg junctions located in national roads (NR) in Northern Portugal. The focus is to identify factors that contribute for collision type crashes in those locations, mainly factors related to road geometric consistency, since literature is scarce on those, and to research the impact of three modeling methods: generalized estimating equations, random-effects negative binomial models and random-parameters negative binomial models, on the factors of those models. The database used included data published between 2008 and 2010 of 177 three-leg junctions. It was split in three groups of contributing factors which were tested sequentially for each of the adopted models: at first only traffic, then, traffic and the geometric characteristics of the junctions within their area of influence; and, lastly, factors which show the difference between the geometric characteristics of the segments boarding the junctionsâ area of influence and the segment included in that area were added. The choice of the best modeling technique was supported by the result of a cross validation made to ascertain the best model for the three sets of researched contributing factors. The models fitted with random-parameters negative binomial models had the best performance in the process. In the best models obtained for every modeling technique, the characteristics of the road environment, including proxy measures for the geometric consistency, along with traffic volume, contribute significantly to the number of collisions. Both the variables concerning junctions and the various national highway segments in their area of influence, as well as variations from those characteristics concerning roadway segments which border the already mentioned area of influence have proven their relevance and, therefore, there is a rightful need to incorporate the effect of geometric consistency in the three-leg junctions safety studies.

Annoyance and welfare costs from the presence of renewable energy power plants: an application of the contingent valuation method

Sustainability is frequently defined by its three pillars: economically viable, socially equitable, and environmentally bearable. Consequently the evaluation of the sustainability of any decision, public or private, requires information on these three dimensions. This paper focuses on social sustainability. In the context of renewable energy sources, the examination of social sustainability requires the analysis of not only the efficiency but also the equity of its welfare impacts. The present paper proposes and applies a methodology to generate the information necessary to do a proper welfare analysis of the social sustainability of renewable energy production facilities. This information is key both for an equity and an efficiency analysis. The analysis focuses on the case of investments in renewable energy electricity production facilities, where the impacts on local residents’ welfare are often significantly different than the welfare effects on the general population. We apply the contingent valuation method to selected facilities across the different renewable energy power plants located in Portugal and conclude that local residents acknowledge differently the damage sustained by the type, location and operation of the plants. The results from these case studies attest to the need of acknowledging and quantifying the negative impacts on local communities when assessing the economic viability, social equity and environmental impact of renewable energy projects.

Firm innovation and co-location in Portugal

This paper investigates the geographical distribution and concentration of firms’ innovation persistence and innovation type (product and process) based on three waves of the Portuguese Community Innovation Survey data covering the period 1998–2006. The main findings are: 1) both innovation persistence and innovation type are asymmetrically distributed across Portuguese regions, 2) the degree of correlation between geographical location and innovative output varies with the innovation type, and 3) the correlation between geographical unit and innovation increases when the spatial unit of analysis is narrower. The results suggest that the firms’ choices of geographical location have a long-lasting effect, engendering no equal probabilities of being persistently innovative.

Colaboração em inovação: parceiros ou concorrentes?

Dissertação de mestrado em Economia Industrial e da Empresa

A survey of distributed data aggregation algorithms

Distributed data aggregation is an important task, allowing the de- centralized determination of meaningful global properties, that can then be used to direct the execution of other applications. The resulting val- ues result from the distributed computation of functions like count, sum and average. Some application examples can found to determine the network size, total storage capacity, average load, majorities and many others. In the last decade, many di erent approaches have been pro- posed, with di erent trade-o s in terms of accuracy, reliability, message and time complexity. Due to the considerable amount and variety of ag- gregation algorithms, it can be di cult and time consuming to determine which techniques will be more appropriate to use in speci c settings, jus- tifying the existence of a survey to aid in this task. This work reviews the state of the art on distributed data aggregation algorithms, providing three main contributions. First, it formally de nes the concept of aggrega- tion, characterizing the di erent types of aggregation functions. Second, it succinctly describes the main aggregation techniques, organizing them in a taxonomy. Finally, it provides some guidelines toward the selection and use of the most relevant techniques, summarizing their principal characteristics.

Recurrence of atrial septal defect in three generations

Beginning with a patient presenting with an atrial septal defect (ASD) of the secundum type, the genealogy was identified in four affected individuals who belonged to three successive generations of the same family. The defects were visually confirmed in all individuals and were found to be anatomically similar. No other congenital malformations were present in these individuals. The genealogy was identified in 1972, when ASD recurred in two generations, and it was concluded that the mechanism of transmission was autosomal recessive. The fifth individual, identified 21 years later, and having an anomaly identical to that of the others, was the child of a couple who had no consaguinity and whose mother was a member of the previously studied genealogy. Considering the absence of phenotype in the parents and the rarity of the ASD gene in the general population, the occurrence of the uniparental disomy for this family nucleus, and the same autosomal recessive mechanism of transmission by this affected individual is possible. This study reports the familial occurrence of ASD by genetic mechanisms of transmission, emphasizing the necessity for genetic-clinical studies in members of the familial nucleus in order to detect new carriers, who usually are asymptomatic, thereby allowing for early and adequate treatment of individuals who may be affected.

Verificación de Sistemas Basada en Teoría de Tipos. System verification in type theory

Este proyecto se enmarca en la utlización de métodos formales (más precisamente, en la utilización de teoría de tipos) para garantizar la ausencia de errores en programas. Por un lado se plantea el diseño de nuevos algoritmos de chequeo de tipos. Para ello, se proponen nuevos algoritmos basados en la idea de normalización por evaluación que sean extensibles a otros sistemas de tipos. En el futuro próximo extenderemos resultados que hemos conseguido recientemente [16,17] para obtener: una simplificación de los trabajos realizados para sistemas sin regla eta (acá se estudiarán dos sistemas: a la Martin Löf y a la PTS), la formulación de estos chequeadores para sistemas con variables, generalizar la noción de categoría con familia utilizada para dar semántica a teoría de tipos, obtener una formulación categórica de la noción de normalización por evaluación y finalmente, aplicar estos algoritmos a sistemas con reescrituras. Para los primeros resultados esperados mencionados, nos proponemos como método adaptar las pruebas de [16,17] a los nuevos sistemas. La importancia radica en que permitirán tornar más automatizables (y por ello, más fácilmente utilizables) los asistentes de demostración basados en teoría de tipos. Por otro lado, se utilizará la teoría de tipos para certificar compiladores, intentando llevar adelante la propuesta nunca explorada de [22] de utilizar un enfoque abstracto basado en categorías funtoriales. El método consistirá en certificar el lenguaje "Peal" [29] y luego agregar sucesivamente funcionalidad hasta obtener Forsythe [23]. En este período esperamos poder agregar varias extensiones. La importancia de este proyecto radica en que sólo un compilador certificado garantiza que un programa fuente correcto se compile a un programa objeto correcto. Es por ello, crucial para todo proceso de verificación que se base en verificar código fuente. Finalmente, se abordará la formalización de sistemas con session types. Los mismos han demostrado tener fallas en sus formulaciones [30], por lo que parece conveniente su formalización. Durante la marcha de este proyecto, esperamos tener alguna formalización que dé lugar a un algoritmo de chequeo de tipos y a demostrar las propiedades usuales de los sistemas. La contribución es arrojar un poco de luz sobre estas formulaciones cuyos errores revelan que el tema no ha adquirido aún suficiente madurez o comprensión por parte de la comunidad. This project is about using type theory to garantee program correctness. It follows three different directions: 1) Finding new type-checking algorithms based on normalization by evaluation. First, we would show that recent results like [16,17] extend to other type systems like: Martin-Löf´s type theory without eta rule, PTSs, type systems with variables (in addition to systems in [16,17] which are a la de Bruijn), systems with rewrite rules. This will be done by adjusting the proofs in [16,17] so that they apply to such systems as well. We will also try to obtain a more general definition of categories with families and normalization by evaluation, formulated in categorical terms. We expect this may turn proof-assistants more automatic and useful. 2) Exploring the proposal in [22] to compiler construction for Algol-like languages using functorial categories. According to [22] such approach is suitable for verifying compiler correctness, claim which was never explored. First, the language Peal [29] will be certified in type theory and we will gradually add funtionality to it until a correct compiler for the language Forsythe [23] is obtained. 3) Formilizing systems for session types. Several proposals have shown to be faulty [30]. This means that a formalization of it may contribute to the general understanding of session types.

Resistance Exercise Restores Endothelial Function and Reduces Blood Pressure in Type 1 Diabetic Rats

Background: Resistance exercise effects on cardiovascular parameters are not consistent. Objectives: The effects of resistance exercise on changes in blood glucose, blood pressure and vascular reactivity were evaluated in diabetic rats. Methods: Wistar rats were divided into three groups: control group (n = 8); sedentary diabetic (n = 8); and trained diabetic (n = 8). Resistance exercise was carried out in a squat device for rats and consisted of three sets of ten repetitions with an intensity of 50%, three times per week, for eight weeks. Changes in vascular reactivity were evaluated in superior mesenteric artery rings. Results: A significant reduction in the maximum response of acetylcholine-induced relaxation was observed in the sedentary diabetic group (78.1 ± 2%) and an increase in the trained diabetic group (95 ± 3%) without changing potency. In the presence of NG-nitro-L-arginine methyl ester, the acetylcholine-induced relaxation was significantly reduced in the control and trained diabetic groups, but not in the sedentary diabetic group. Furthermore, a significant increase (p < 0.05) in mean arterial blood pressure was observed in the sedentary diabetic group (104.9 ± 5 to 126.7 ± 5 mmHg) as compared to that in the control group. However, the trained diabetic group showed a significant decrease (p < 0.05) in the mean arterial blood pressure levels (126.7 ± 5 to 105.1 ± 4 mmHg) as compared to the sedentary diabetic group. Conclusions: Resistance exercise could restore endothelial function and prevent an increase in arterial blood pressure in type 1 diabetic rats.

Effects of PDE type 5 inhibitors on Left Ventricular Diastolic Dysfunction in Resistant Hypertension

Resistant hypertension (RHTN) is a multifactorial disease characterized by blood pressure (BP) levels above goal (140/90 mmHg) in spite of the concurrent use of three or more antihypertensive drugs of different classes. Moreover, it is well known that RHTN subjects have high prevalence of left ventricular diastolic dysfunction (LVDD), which leads to increased risk of heart failure progression. This review gathers data from studies evaluating the effects of phosphodiesterase-5 (PDE-5) inhibitors (administration of acute sildenafil and short-term tadalafil) on diastolic function, biochemical and hemodynamic parameters in patients with RHTN. Acute study with sildenafil treatment found that inhibition of PDE-5 improved hemodynamic parameters and diastolic relaxation. In addition, short-term study with the use of tadalafil demonstrated improvement of LVDD, cGMP and BNP-32 levels, regardless of BP reduction. No endothelial function changes were observed in the studies. The findings of acute and short-term studies revealed potential therapeutic effects of IPDE-5 drugs on LVDD in RHTN patients.

Species richness and community structure of arboreal spider assemblages in fragments of three vegetational types at Banhado Grande wet plain, Gravataí River, Rio Grande do Sul, Brazil

The taxonomic composition, observed and estimated species richness, and patterns of community structure of arboreal spider assemblages in eleven sites surrounding the "Banhado Grande" wet plain in the state of Rio Grande do Sul, Brazil, are presented. These sites represent three different vegetational types: hillside (four sites), riparian (five sites) and flooded forests (two sites). The spiders were captured by beating on foliage and "aerial litter". A sample was defined as the result of beating on twenty bushes, tree branches or "aerial litter" clusters, which roughly corresponds to one-hour search effort per sample. Fifty five samples (five per site) were obtained, resulting in an observed richness of 212 species present as adult or identifiable juveniles. The total richness for all samples was estimated to be between 250 (Bootstrap) to 354 species (Jackknife 2). Confidence intervals of both sample and individual-based rarefaction curves for each vegetation type clearly indicated that flooded forest is the poorest vegetation type with respect to spider species richness, with hillside and riparian forests having a similar number of species. The percentage complementarity between the eleven sites indicated that all sites contain a distinct set of species, irrespective of their vegetation types. Nevertheless, the spider assemblages in riparian and hillside forests are more similar with respect to each other than when compared to flooded forest. Both cluster and nonmetric multidimensional scaling analyses showed no strong correspondence between the spider arboreal fauna and the three vegetation types. Moreover, a Mantel test revealed no significant association between species composition and geographic distance among sites.

Global literature of fiddler crabs, genus Uca (Decapoda, Ocypodidae): trends and future directions

Crabs of the genus Uca Leach, 1814 are characterized by having strong sexual dimorphism and a global distribution. Currently, 97 species have been described and analyzed under several aspects, including population ecology, physiology and ethology. However, there is no general summary of the information from the various literatures. The aim of this study is to perform a scientometric analysis of fiddler crab studies. For this we searched papers available in the Thomson ISI database that contained the words "Uca" OR "fiddler* crab*" between the years 1991 and 2007. For each paper, we researched and recorded the following characteristics: publication year; journal of publication; the first author's nationality; the country where the study was conducted; study type; species studied; and the work area. Our results indicated that there was no increase in the number of articles through the years considered. The Journal of Experimental Marine Biology and Ecology published most of the articles on Uca, indicating the importance of this group as a model for testing ecological hypotheses using experimental approaches. Our results also showed that United States had the highest number of authors and published studies on Uca, following the overall trend in dominance on scientific research. Furthermore, using models with three variables (per capita income, number of species of Uca and extent of coastal countries) we observed that, according to the Akaike Information Criterion, the per capita income was the most important correlate for the number of articles per country (both the author's country and country of study). Additionally, our results show that the species U. pugilator (distributed on the East Coast of the North American continent) was the species most singularly referenced in the papers considered. Moreover, our results indicate that most studies on Uca use a descriptive and local scale. The majority of papers in our literature search reflect studies in population biology, followed by behavioral and physiological characteristics.

The influence of temperature and humidity on abundance and richness of Calliphoridae (Diptera)

The blowfly species are important components in necrophagous communities of the Neotropics. Besides being involved in the degradation of animal organic matter, they may serve as vectors for pathogens and parasites, and also cause primary and secondary myiasis. The occurrence pattern of these species is well defined, yet it is still not very clear which of these environmental factors determine the structure of the assemblies. This paper was developed to evaluate the influence of mean temperature and relative humidity variation in the abundance and richness of blowflies in the Brazilian southernmost state, Rio Grande do Sul, where temperature variation is well marked throughout the year. To evaluate this objective, WOT (Wind Oriented Trap) were installed with beef liver as bait in three environments for 10 consecutive days in each month between July 2003 and June 2004. A total of 13,860 flies were collected distributed among 16 species with a higher frequency of Lucilia eximia (Wiedemann, 1819) and Chrysomya albiceps (Wiedemann, 1819). The mean temperature and relative humidity influence the richness of blowflies, with greater richness and abundance in late spring and early summer, whereas abundance was only influenced by temperature. Each species responded differently with respect to these variables, where L. eximia is not influenced by any of the two abiotic factors, despite the high abundance presented. This paper presents the results of the sensitivity for the presence or absence of species of Calliphoridae and on the variation of the abundance of these species under regime temperature changes and relative humidity with implications for public health and animal management.

Catálogo sistemático dos pólens das plantas arbóreas do Brasil meridional: VIII - Leguminosae (Mimosoideae)

In order to finish the study of pollen grains of arboreal Leguminosae from south brazilian rain forests, this part of our Pollen Catalogue deals with the subfamily Mimosoideae. The grains of all examined species are grouped, from tetrads (like Mimosa taimbensis) to polyads with 32 grains (like Inga lentiscifolia). In relation to the morphology of these polyads, the pollen grains from the present species were distributed in five different groups. However, these groups are not in correspondence with the five Tribus in which these species are distributed, in opposition with our observations in Papilionatae and Caesalpinioideae. We were no able to found clear separations between the pollen grains of the subfamilies studies. The tricolporated type, a little prolate, occurs frequently in the three subfamilies, whereas the Mimosoideae are caracterized by polyads. However this last subfamily may present also isolated grains.

Fitness correlates with the extent of cheating in a bacterium.

There is growing awareness of the importance of cooperative behaviours in microbial communities. Empirical support for this insight comes from experiments using mutant strains, termed 'cheats', which exploit the cooperative behaviour of wild-type strains. However, little detailed work has gone into characterising the competitive dynamics of cooperative and cheating strains. We test three specific predictions about the fitness consequences of cheating to different extents by examining the production of the iron-scavenging siderophore molecule, pyoverdin, in the bacterium Pseudomonas aeruginosa. We create a collection of mutants that differ in the amount of pyoverdin that they produce (from 1% to 96% of the production of paired wild types) and demonstrate that these production levels correlate with both gene activity and the ability to bind iron. Across these mutants, we found that (1) when grown in a mixed culture with a cooperative wild-type strain, the relative fitness of a mutant is negatively correlated with the amount of pyoverdin that it produces; (2) the absolute and relative fitness of the wild-type strain in the mixed culture is positively correlated with the amount of pyoverdin that the mutant produces; and (3) when grown in a monoculture, the absolute fitness of the mutant is positively correlated with the amount of pyoverdin that it produces. Overall, we demonstrate that cooperative pyoverdin production is exploitable and illustrate how variation in a social behaviour determines fitness differently, depending on the social environment.