Lower-semicontinuity and optimization of convex functionals

The result that we treat in this article allows to the utilization of classic tools of convex analysis in the study of optimality conditions in the optimal control convex process for a Volterra-Stietjes linear integral equation in the Banach space G([a, b],X) of the regulated functions in [a, b], that is, the functions f : [a, 6] → X that have only descontinuity of first kind, in Dushnik (or interior) sense, and with an equality linear restriction. In this work we introduce a convex functional Lβf(x) of Nemytskii type, and we present conditions for its lower-semicontinuity. As consequence, Weierstrass Theorem garantees (under compacity conditions) the existence of solution to the problem min{Lβf(x)}. © 2009 Academic Publications.

Estimação de frequência usando sensores de erro com atrasos adaptativos

This paper proposes a solution to improve the performance of the first order Early Error Sensing (EES) Adaptive Time Delay Tanlock Loops (ATDTL) presented in (Al-Zaabi, Al-Qutayri e Al-Araji, 2005), regarding to frequency estimation and tracking time. The EES-ATDTL are phaselocked-loops (PLL) used to hardware implementations, due to their simple structure. Fixed-points theorems are used to determine conditions for rapid convergence of the estimation process and a estimative of the frecuency input is obtained with a Gaussian filter that improves the gain adaptation. The mathematical models are the presented by (Al-Araji, Al-Qutayri e Al-Zaabi, 2006). Simulations have been performed to evaluate the theoretical results.

Molecular phylogenetic relationships and phenotypic diversity in miniaturized toadlets, genus Brachycephalus (Amphibia: Anura: Brachycephalidae)

Toadlets of the genus Brachycephalus are endemic to the Atlantic rainforests of southeastern and southern Brazil. The 14 species currently described have snout-vent lengths less than 18. mm and are thought to have evolved through miniaturization: an evolutionary process leading to an extremely small adult body size. Here, we present the first comprehensive phylogenetic analysis for Brachycephalus, using a multilocus approach based on two nuclear (Rag-1 and Tyr) and three mitochondrial (Cyt b, 12S, and 16S rRNA) gene regions. Phylogenetic relationships were inferred using a partitioned Bayesian analysis of concatenated sequences and the hierarchical Bayesian method (BEST) that estimates species trees based on the multispecies coalescent model. Individual gene trees showed conflict and also varied in resolution. With the exception of the mitochondrial gene tree, no gene tree was completely resolved. The concatenated gene tree was completely resolved and is identical in topology and degree of statistical support to the individual mtDNA gene tree. On the other hand, the BEST species tree showed reduced significant node support relative to the concatenate tree and recovered a basal trichotomy, although some bipartitions were significantly supported at the tips of the species tree. Comparison of the log likelihoods for the concatenated and BEST trees suggests that the method implemented in BEST explains the multilocus data for Brachycephalus better than the Bayesian analysis of concatenated data. Landmark-based geometric morphometrics revealed marked variation in cranial shape between the species of Brachycephalus. In addition, a statistically significant association was demonstrated between variation in cranial shape and genetic distances estimated from the mtDNA and nuclear loci. Notably, B. ephippium and B. garbeana that are predicted to be sister-species in the individual and concatenated gene trees and the BEST species tree share an evolutionary novelty, the hyperossified dorsal plate. © 2011 Elsevier Inc.

A comparison of performance indexes in DC-DC converters under different stabilizing state-dependent switching laws

This paper deals with the problem of establishing stabilizing state-dependent switching laws in DC-DC converters operating at continuous conduction mode (CCM) and comparing their performance indexes. Firstly, the nature of the problem is defined, that is, the study of switched affine systems, which may not share a common equilibrium point. The concept of stability is, therefore, broadened. Then, the central theorem is proposed, from which a family of switching laws can be derived, namely the minimum law and the hold state law. Some of these are proved to stabilize the basic DC-DC converters and then, their performances are compared to another law, from a previous work, by simulation, where a great reduction in overshoot is obtained. © 2011 IEEE.

Quenching in a non-ideal mechanical system and the Averaging Method

In this paper, for the first time, a quenching result in a non-ideal system is rigorously obtained. In order to do this a new mechanical hypothesis is assumed, it means that the moment of inertia of the rotating parts of the energy source is big. From this is possible to use the Averaging Method. © 2012 American Institute of Physics.

Random regression models using Legendre polynomials or linear splines for test-day milk yield of dairy Gyr (Bos indicus) cattle

Studies investigating the use of random regression models for genetic evaluation of milk production in Zebu cattle are scarce. In this study, 59,744 test-day milk yield records from 7,810 first lactations of purebred dairy Gyr (Bos indicus) and crossbred (dairy Gyr × Holstein) cows were used to compare random regression models in which additive genetic and permanent environmental effects were modeled using orthogonal Legendre polynomials or linear spline functions. Residual variances were modeled considering 1, 5, or 10 classes of days in milk. Five classes fitted the changes in residual variances over the lactation adequately and were used for model comparison. The model that fitted linear spline functions with 6 knots provided the lowest sum of residual variances across lactation. On the other hand, according to the deviance information criterion (DIC) and Bayesian information criterion (BIC), a model using third-order and fourth-order Legendre polynomials for additive genetic and permanent environmental effects, respectively, provided the best fit. However, the high rank correlation (0.998) between this model and that applying third-order Legendre polynomials for additive genetic and permanent environmental effects, indicates that, in practice, the same bulls would be selected by both models. The last model, which is less parameterized, is a parsimonious option for fitting dairy Gyr breed test-day milk yield records. © 2013 American Dairy Science Association.

Analysis of genetic correlations of hip height with selection indices and mature weight in Nelore cattle

Body size is directly related to the productive and reproductive performance of beef cattle raised under free-range conditions. In an attempt to better plan selection criteria, avoiding extremes in body size, this study estimated the heritabilities and genetic correlations of yearling hip height (YH) and mature hip height (MH) with selection indices obtained at weaning (WI) and yearling (YI) and mature weight (MW). Data from 102,373 Nelore animals born between 1984 and 2010, which belong to 263 farms that participate in genetic evaluation programmes of beef cattle conducted in Brazil and Paraguay, were used. The (co)variance components and genetic parameters were estimated by Bayesian inference in multi-trait analysis using an animal model. The mean heritabilities for YH, MH and MW were 0. 56 ± 0. 06, 0. 47 ± 0. 02 and 0. 42 ± 0. 02, respectively. The genetic correlation of YH with WI (0. 13 ± 0. 01) and YI (0. 11 ± 0. 01) was practically zero, whereas a higher correlation was observed with MW (0. 22 ± 0. 03). Positive genetic correlations of medium magnitude were estimated between MH and WI and YI (0. 23 ± 0. 01 and 0. 43 ± 0. 02, respectively). On the other hand, a high genetic correlation (0. 68 ± 0. 03) was observed between the indicator traits of mature body size (MH and MW). Considering the top 20 % of sire (896 sires) in terms of breeding values for the yearling index, the rank sire correlations between breeding values for MH and MW was 0. 62. In general, the results indicate that selection based on WI and YI should not lead to important changes in YH. However, an undesired correlated response in mature cow height is expected, particularly when selection is performed using YI. Therefore, changes in the body structure of Nelore females can be obtained when MH and MW is used as a selection criterion for cows. © 2012 Institute of Plant Genetics, Polish Academy of Sciences, Poznan.

Stability of nonlinear system using takagi-sugeno fuzzy models and hyper-rectangle of LMIs

This paper presents a theorem based on the hyper-rectangle defined by the closed set of the time derivatives of the membership functions of Takagi-Sugeno fuzzy systems. This result is also based on Linear Matrix Inequalities and allows the reduction of the conservatism of the stability analysis in the sense of Lyapunov. The theorem generalizes previous results available in the literature. © 2013 Brazilian Society for Automatics - SBA.

Stable singularities of co-rank one quasi homogeneous map germs from (ℂn+1, 0) to (ℂn, 0), n = 2, 3

In this article, we investigate the geometry of quasi homogeneous corank one finitely determined map germs from (ℂn+1, 0) to (ℂn, 0) with n = 2, 3. We give a complete description, in terms of the weights and degrees, of the invariants that are associated to all stable singularities which appear in the discriminant of such map germs. The first class of invariants which we study are the isolated singularities, called 0-stable singularities because they are the 0-dimensional singularities. First, we give a formula to compute the number of An points which appear in any stable deformation of a quasi homogeneous co-rank one map germ from (ℂn+1, 0) to (ℂn, 0) with n = 2, 3. To get such a formula, we apply the Hilbert's syzygy theorem to determine the graded free resolution given by the syzygy modules of the associated iterated Jacobian ideal. Then we show how to obtain the other 0-stable singularities, these isolated singularities are formed by multiple points and here we use the relation among them and the Fitting ideals of the discriminant. For n = 2, there exists only the germ of double points set and for n = 3 there are the triple points, named points A1,1,1 and the normal crossing between a germ of a cuspidal edge and a germ of a plane, named A2,1. For n = 3, there appear also the one-dimensional singularities, which are of two types: germs of cuspidal edges or germs of double points curves. For these singularities, we show how to compute the polar multiplicities and also the local Euler obstruction at the origin in terms of the weights and degrees. © 2013 Pushpa Publishing House.

Simultaneous linearization of a class of pairs of involutions with normally hyperbolic composition

In this paper we obtain a result on simultaneous linearization for a class of pairs of involutions whose composition is normally hyperbolic. This extends the corresponding result when the composition of the involutions is a hyperbolic germ of diffeomorphism. Inside the class of pairs with normally hyperbolic composition, we obtain a characterization theorem for the composition to be hyperbolic. In addition, related to the class of interest, we present the classification of pairs of linear involutions via linear conjugacy. © 2012 Elsevier Masson SAS.

Comparative cytogenetic analysis of some species of the Dendropsophus microcephalus group (Anura, Hylidae) in the light of phylogenetic inferences

Background: Dendropsophus is a monophyletic anuran genus with a diploid number of 30 chromosomes as an important synapomorphy. However, the internal phylogenetic relationships of this genus are poorly understood. Interestingly, an intriguing interspecific variation in the telocentric chromosome number has been useful in species identification. To address certain uncertainties related to one of the species groups of Dendropsophus, the D. microcephalus group, we carried out a cytogenetic analysis combined with phylogenetic inferences based on mitochondrial sequences, which aimed to aid in the analysis of chromosomal characters. Populations of Dendropsophus nanus, Dendropsophus walfordi, Dendropsophus sanborni, Dendropsophus jimi and Dendropsophus elianeae, ranging from the extreme south to the north of Brazil, were cytogenetically compared. A mitochondrial region of the ribosomal 12S gene from these populations, as well as from 30 other species of Dendropsophus, was used for the phylogenetic inferences. Phylogenetic relationships were inferred using maximum parsimony and Bayesian analyses.Results: The species D. nanus and D. walfordi exhibited identical karyotypes (2n = 30; FN = 52), with four pairs of telocentric chromosomes and a NOR located on metacentric chromosome pair 13. In all of the phylogenetic hypotheses, the paraphyly of D. nanus and D. walfordi was inferred. D. sanborni from Botucatu-SP and Torres-RS showed the same karyotype as D. jimi, with 5 pairs of telocentric chromosomes (2n = 30; FN = 50) and a terminal NOR in the long arm of the telocentric chromosome pair 12. Despite their karyotypic similarity, these species were not found to compose a monophyletic group. Finally, the phylogenetic and cytogenetic analyses did not cluster the specimens of D. elianeae according to their geographical occurrence or recognized morphotypes.Conclusions: We suggest that a taxonomic revision of the taxa D. nanus and D. walfordi is quite necessary. We also observe that the number of telocentric chromosomes is useful to distinguish among valid species in some cases, although it is unchanged in species that are not necessarily closely related phylogenetically. Therefore, inferences based on this chromosomal character must be made with caution; a proper evolutionary analysis of the karyotypic variation in Dendropsophus depends on further characterization of the telocentric chromosomes found in this group. © 2013 Medeiros et al.; licensee BioMed Central Ltd.

Zeros of a family of hypergeometric para-orthogonal polynomials on the unit circle

Para-orthogonal polynomials derived from orthogonal polynomials on the unit circle are known to have all their zeros on the unit circle. In this note we study the zeros of a family of hypergeometric para-orthogonal polynomials. As tools to study these polynomials, we obtain new results which can be considered as extensions of certain classical results associated with three term recurrence relations and differential equations satisfied by orthogonal polynomials on the real line. One of these results which might be considered as an extension of the classical Sturm comparison theorem, enables us to obtain monotonicity with respect to the parameters for the zeros of these para-orthogonal polynomials. Finally, a monotonicity of the zeros of Meixner-Pollaczek polynomials is proved. © 2013 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.

Microsatellite marker-based assessment of the biodiversity of native bioethanol yeast strains

Although many Brazilian sugar mills initiate the fermentation process by inoculating selected commercial Saccharomyces cerevisiae strains, the unsterile conditions of the industrial sugar cane ethanol fermentation process permit the constant entry of native yeast strains. Certain of those native strains are better adapted and tend to predominate over the initial strain, which may cause problems during fermentation. In the industrial fermentation process, yeast cells are often exposed to stressful environmental conditions, including prolonged cell recycling, ethanol toxicity and osmotic, oxidative or temperature stress. Little is known about these S. cerevisiae strains, although recent studies have demonstrated that heterogeneous genome architecture is exhibited by some selected well-adapted Brazilian indigenous yeast strains that display high performance in bioethanol fermentation. In this study, 11 microsatellite markers were used to assess the genetic diversity and population structure of the native autochthonous S. cerevisiae strains in various Brazilian sugar mills. The resulting multilocus data were used to build a similarity-based phenetic tree and to perform a Bayesian population structure analysis. The tree revealed the presence of great genetic diversity among the strains, which were arranged according to the place of origin and the collection year. The population structure analysis revealed genotypic differences among populations; in certain populations, these genotypic differences are combined to yield notably genotypically diverse individuals. The high yeast diversity observed among native S. cerevisiae strains provides new insights on the use of autochthonous high-fitness strains with industrial characteristics as starter cultures at bioethanol plants. © 2013 John Wiley & Sons, Ltd.

Non-Markovian expansion in quantum Brownian motion

We consider the non-Markovian Langevin evolution of a dissipative dynamical system in quantum mechanics in the path integral formalism. After discussing the role of the frequency cutoff for the interaction of the system with the heat bath and the kernel and noise correlator that follow from the most common choices, we derive an analytic expansion for the exact non-Markovian dissipation kernel and the corresponding colored noise in the general case that is consistent with the fluctuation-dissipation theorem and incorporates systematically non-local corrections. We illustrate the modifications to results obtained using the traditional (Markovian) Langevin approach in the case of the exponential kernel and analyze the case of the non-Markovian Brownian motion. We present detailed results for the free and the quadratic cases, which can be compared to exact solutions to test the convergence of the method, and discuss potentials of a general nonlinear form. © 2013 Elsevier B.V. All rights reserved.

Teorema de Riemann-Roch e aplicações

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