Product-line specification and verification with feature-oriented contracts

Magdeburg, Univ., Fak. für Informatik, Diss., 2015

Line-fitting method of model order reduction for elastic multibody systems

Magdeburg, Univ., Fak. für Maschinenbau, Diss., 2015

Relative growth of Uca burgersi (Crustacea, Ocypodidae) from two mangroves in the southeastern Brazilian coast

The relative growth of the fiddler crab Uca burgersi Holthuis, 1967 was analyzed in two populations from different mangroves (Ubatumirim and Cavalo rivers) in the southeastern Brazilian coast, monthly sampled from May, 2001 to April, 2002. The population from a high productivity level mangrove reaches the sexual maturity in larger sizes than the population from a less productive site. This results can be attributed to the greater amount of nutrients found in the Cavalo than in Ubatumirim mangrove.

Relative growth and morphological sexual maturity of Chasmagnathus granulatus (Crustacea, Varunidae) from a mangrove area in southeastern Brazilian coast

The relative growth and morphological sexual maturity of Chasmagnathus granulatus Dana, 1851 are presented for the first time to a mangrove population. The crabs were obtained during low tide periods, in the mangrove of Jabaquara Beach, Paraty, Rio de Janeiro, Brazil. All crabs in intermolt stage were sexed and had their body parts measured as follows: body height (BH), carapace length (CL) and width (CW), major cheliped propodus height (PH) and length (PL) for each sex, gonopod length (GL) and abdomen width (AW) for males and females, respectively. The relative growth was described using the allometric equation y=ax b and the size at onset sexual maturity was achieved using the software Mature I. The size of specimens ranged from 4.1 mm to 39.5 mm CW. The growth pattern was different between sexes in the cheliped relationships; the relationships BH vs. CW evidenced positive allometry for juveniles; PL vs. CW and PH vs. CW positive allometry for most crabs except juvenile females; AW vs. CW and GL vs. CW evidenced positive allometry for juveniles and isometry for adults. The relationships that best indicated the change from the juvenile to the adult phase were PH vs. CW for males and AW vs. CW for females. The size in which 50% of males from this population are mature is at 19.7 mm of CW (F=144.14; p<0.05) and for females it is at 19.2 mm of CW (F=166.54; p<0.05). The sizes obtained in this mangrove population are larger than those from previous studies, that could be attributed to a species plasticity concerning the habitat structure.

Species richness, relative abundance, and habitat of reproduction of terrestrial frogs in the Triângulo Mineiro region, Cerrado biome, southeastern Brazil

Based on field observations and pitfall sampling, we determined the species richness, relative abundance, and reproductive habitat of terrestrial frogs in three municipalities in the Triângulo Mineiro region, south Cerrado biome, in southeastern Brazil. We found thirty-two species of terrestrial frogs, belonging to the families Brachycephalidae, Bufonidae, Cycloramphidae, Dendrobatidae, Leiuperidae, Leptodactylidae and Microhylidae. Most of the species were found in open areas and reproduced in human-generated environments, such as artificial lakes (10 species) and ponds (14 species). Dominance was high, with Physalaemus cuvieri Fitzinger, 1826 (Leiuperidae) representing 48% of sampled frogs. A larger number of individuals was captured in the wet season, when most of the species were reproducing. Compared to other areas of Cerrado biome, the Triângulo Mineiro sites presented a larger number of species, which may be attributed to the larger sampled area and greater sampling effort, lower altitude and presence of human generated habitats. The richness of terrestrial frogs was also larger than that in some forested localities in southeastern Brazil, indicating that the number of species cannot be explained only by precipitation and type of vegetation cover. The greater abundance of individuals during the wet season may be related to a greater movement of adults to breeding sites and to juvenile recruitment/dispersion. The heterogeneity of environments in the Cerrado biome, including its several isolated highlands, contributes to its high (local and regional) diversity of frogs.

Seasonal status, relative abundance, and behavior of the birds of Concepción, Departamento Santa Cruz, Bolivia / Susan E. Davis.

n.s. no.71(1993)

Space-time variation of the relative abundance of Limnoperna fortunei in deep zones of São Gonçalo Channel, Rio Grande do Sul, Brazil

This work describes the spatial-temporal variation of the relative abundance and size of Limnoperna fortunei (Dunker, 1857) collected in São Gonçalo Channel through bottom trawl with a 0.5 cm mesh, at depths between 3 and 6 m. The estimative of mean relative abundance (CPUE) ranged from 2,425.3 individuals per drag (ind./drag) in the spring to 21,715.0 ind./drag in the fall, with an average of 9,515.3 ind./drag throughout the year. The estimated mean density of L. fortunei for the deep region of São Gonçalo Channel ranged from 1.2 to 10.3 ind./m², and it was recorded a maximum density of 84.9 ind./m² in the fall of 2008. The method of sampling using bottom trawl enabled the capture of L. fortunei under the soft muddy bottom of the channel, in different sizes ranging from 0.4 to 3.2 cm. This shows that the structure of the L. fortunei adult population under the bottom of the São Gonçalo Channel is composed mostly of small individuals (<1.4 cm), which represent up to 74% of the population collected.

Relative growth and sexual maturity of the freshwater shrimp Palaemon pandaliformis (Crustacea, Palaemonidae) in northeastern of Brazil (Canavieiras, Bahia)

This study comprises the description of relative growth and sexual maturity of a population of Palaemon pandaliformis Stimpson, 1871 in Salsa River (Northeastern Brazil). Samples were collected monthly between September 2009 and August 2010. Females were larger, heavier, and showed a greater allometric coefficient (b) than male specimens. Only carapace length vs. pleura length in females presented a significant difference in the relative growth pattern, indicating a puberty moult. This relationship is strictly correlated to reproduction and its success rate in female shrimps. Estimated carapace length in 50% of mature females (CL50) was 4.53 mm. It was not possible to compare obtained CL50 results due to a lack of studies on this species. Comparison was based on the size of the smallest captured ovigerous female (3.81 CL mm), which is within the scope of recorded size for estuaries located in higher latitudes. This study reveals the lack of research on this genre in freshwater environments on a national and global scale.

The relative growth and sexual maturity of the freshwater crab Dilocarcinus pagei (Brachyura, Trichodactylidae) in the northwestern region of the state of São Paulo

The aim of the present study was to determine the size at sexual maturity in the freshwater crab Dilocarcinus pagei Stimpson, 1861, from a population located in Mendonça, state of São Paulo, Brazil. The crabs were sampled monthly (July 2005 to June 2007), at Barra Mansa reservoir. The specimens were captured manually or in sieves passed through the aquatic vegetation. The crabs were captured and separated by sex based on morphology of the pleon and on the number of pleopods. The following dimensions were measured: carapace width (CW); carapace length (CL); propodus length (PL); and abdomen width (AW). The morphological analysis of the gonads was used to identify and categorize individuals according to their stage of development. The morphological maturity was estimated based on the analysis of relative growth based on the allometric equation y = ax b. The gonadal maturity was based on the morphology of the gonads by the method CW50 which indicates the size at which 50% of the individuals in the population showed gonads morphologically mature to reproduction. The biometric relationships that best demonstrated the different patterns of growth for the juvenile and adult stages were CW vs. PL for males and CW vs. AW for females (p<0.001). Based on these relationships, the estimated value to morphological sexual maturity was 21.5 mm (CW) in males and 19.7 mm (CW) in females. The determination of the size at sexual maturity and the adjustment of the data based on the logistic curve (CW50) resulted in a size of 38.2 mm for males and 39.4 mm for females (CW). Based on the data obtained for sexual maturity for D. pagei, we can estimate a minimum size for capture of 40 mm (CW). This minimum size allows at least half of the population to reproduce and retains the juveniles and a portion of the adults in the population.

A Characterization of single-peaked preferences

We identify in this paper two conditions that characterize the domain of single-peaked preferences on the line in the following sense: a preference profile satisfies these two properties if and only if there exists a linear order $L$ over the set of alternatives such that these preferences are single-peaked with respect L. The first property states that for any subset of alternatives the set of alternatives considered as the worst by all agents cannot contains more than 2 elements. The second property states that two agents cannot disagree on the relative ranking of two alternatives with respect to a third alternative but agree on the (relative) ranking of a fourth one. Classification-JEL: D71, C78

Price competition under cost uncertainty: A laboratory analysis

We study the relation between the number of firms and price-cost margins under price competition with uncertainty about competitors' costs. We present results of an experiment in which two, three and four identical firms repeatedly interact in this environment. In line with the theoretical prediction, market prices decrease with the number of firms, but on average stay above marginal costs. Pricing is less aggressive in duopolies than in triopolies and tetrapolies. However, independently from the number of firms, pricing is more aggressive than in the theoretical equilibrium. Both the absolute and the relative surpluses increase with the number of firms. Total surplus is close to the equilibrium level, since enhanced consumer surplus through lower prices is counteracted by occasional displacements of the most efficient firm in production.

Asymmetric demand information in uniform and discriminatory call auctions: an experimental analysis motivated by electricity markets

We study the outcomes of experimental multi-unit uniform and discriminatory auctions with demand uncertainty. Our study is motivated by the ongoing debate about market design in the electricity industry. Our main aim is to compare the effect of asymmetric demand-information between sellers on the performance of the two auction institutions. In our baseline conditions all sellers have the same information, whereas in our treatment conditions some sellers have better information than others. In both information conditions we find that average transaction prices and price volatility are not significantly different under the two auction institutions. However, when there is asymmetric information among sellers the discriminatory auction is significantly less efficient. These results are not in line with the typical arguments made in favor of discriminatory pricing in electricity industries; namely, lower consumer prices and less price volatility. Moreover, our results provide some indication that discriminatory auctions reduce technical efficiency relative to uniform auctions.

Reduction, Linearization and stability of relative equilibria for mechanical systems on riemannian manifolds

Consider a Riemannian manifold equipped with an infinitesimal isometry. For this setup, a unified treatment is provided, solely in the language of Riemannian geometry, of techniques in reduction, linearization, and stability of relative equilibria. In particular, for mechanical control systems, an explicit characterization is given for the manner in which reduction by an infinitesimal isometry, and linearization along a controlled trajectory "commute." As part of the development, relationships are derived between the Jacobi equation of geodesic variation and concepts from reduction theory, such as the curvature of the mechanical connection and the effective potential. As an application of our techniques, fiber and base stability of relative equilibria are studied. The paper also serves as a tutorial of Riemannian geometric methods applicable in the intersection of mechanics and control theory.

The Rise of democracy in Europe and the fight against mass poverty in Latin America: the implications for marxist thought of some recent mainstream papers

Recently a number of mainstream papers have treated the rise of democracy in 19th century Europe and its instability in Latin America in an eminently Marxist fashion. This paper sets out their implications for Marxist thought. With respect to Europe, Marx's emphasis on political action backed by the threat of violence is vindicated but his justification for socialism is not. With respect to Latin America, the unequal distribution of wealth is the cause of political instability that is, in turn, the root cause of mass poverty. In addition it is possible to explain some of the paradoxical characteristics of neo-liberalism and to make a weak argument for socialism in spite of its rejection in Europe.