A simple method for choosing the parameters of a two degree-of-freedom tuned vibration absorber

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

Beta: uma ferramenta para geração de testes de unidade a partir de especificações B

Formal methods and software testing are tools to obtain and control software quality. When used together, they provide mechanisms for software specification, verification and error detection. Even though formal methods allow software to be mathematically verified, they are not enough to assure that a system is free of faults, thus, software testing techniques are necessary to complement the process of verification and validation of a system. Model Based Testing techniques allow tests to be generated from other software artifacts such as specifications and abstract models. Using formal specifications as basis for test creation, we can generate better quality tests, because these specifications are usually precise and free of ambiguity. Fernanda Souza (2009) proposed a method to define test cases from B Method specifications. This method used information from the machine s invariant and the operation s precondition to define positive and negative test cases for an operation, using equivalent class partitioning and boundary value analysis based techniques. However, the method proposed in 2009 was not automated and had conceptual deficiencies like, for instance, it did not fit in a well defined coverage criteria classification. We started our work with a case study that applied the method in an example of B specification from the industry. Based in this case study we ve obtained subsidies to improve it. In our work we evolved the proposed method, rewriting it and adding characteristics to make it compatible with a test classification used by the community. We also improved the method to support specifications structured in different components, to use information from the operation s behavior on the test case generation process and to use new coverage criterias. Besides, we have implemented a tool to automate the method and we have submitted it to more complex case studies

Controlador adaptativo backstepping a estrutura variavel com Observadores de estado

This research aims at developing a variable structure adaptive backstepping controller (VS-ABC) by using state observers for SISO (Single Input Single Output), linear and time invariant systems with relative degree one. Therefore, the lters were replaced by a Luenberger Adaptive Observer and the control algorithm uses switching laws. The presented simulations compare the controller performance, considering when the state variables are estimated by an observer, with the case that the variables are available for measurement. Even with numerous performance advantages, adaptive backstepping controllers still have very complex algorithms, especially when the system state variables are not measured, since the use of lters on the plant input and output is not something trivial. As an attempt to make the controller design more intuitive, an adaptive observer as an alternative to commonly used K lters can be used. Furthermore, since the states variables are considered known, the controller has a reduction on the dependence of the unknown plant parameters on the design. Also, switching laws could be used in the controller instead of the traditional integral adaptive laws because they improve the system transient performance and increase the robustness against external disturbances in the plant input

Controle adaptativo por modelo de referencia e estrutura variável discreto no tempo

With the technology progess, embedded systems using adaptive techniques are being used frequently. One of these techniques is the Variable Structure Model- Reference Adaptive Control (VS-MRAC). The implementation of this technique in embedded systems, requires consideration of a sampling period which if not taken into consideration, can adversely affect system performance and even takes the system to instability. This work proposes a stability analysis of a discrete-time VS-MRAC accomplished for SISO linear time-invariant plants with relative degree one. The aim is to analyse the in uence of the sampling period in the system performance and the relation of this period with the chattering and system instability

Contribuição ao estudo de redes complexas: modelo de afinidade com métrica

Currently the interest in large-scale systems with a high degree of complexity has been much discussed in the scientific community in various areas of knowledge. As an example, the Internet, protein interaction, collaboration of film actors, among others. To better understand the behavior of interconnected systems, several models in the area of complex networks have been proposed. Barabási and Albert proposed a model in which the connection between the constituents of the system could dynamically and which favors older sites, reproducing a characteristic behavior in some real systems: connectivity distribution of scale invariant. However, this model neglects two factors, among others, observed in real systems: homophily and metrics. Given the importance of these two terms in the global behavior of networks, we propose in this dissertation study a dynamic model of preferential binding to three essential factors that are responsible for competition for links: (i) connectivity (the more connected sites are privileged in the choice of links) (ii) homophily (similar connections between sites are more attractive), (iii) metric (the link is favored by the proximity of the sites). Within this proposal, we analyze the behavior of the distribution of connectivity and dynamic evolution of the network are affected by the metric by A parameter that controls the importance of distance in the preferential binding) and homophily by (characteristic intrinsic site). We realized that the increased importance as the distance in the preferred connection, the connections between sites and become local connectivity distribution is characterized by a typical range. In parallel, we adjust the curves of connectivity distribution, for different values of A, the equation P(k) = P0e

Adaptação transcultural Portugal-Brasil do Inventário de Burnout de Maslach para estudantes

OBJETIVO: Realizar a adaptação transcultural da versão em português do Inventário de Burnout de Maslach para estudantes e investigar sua confiabilidade, validade e invariância transcultural. MÉTODOS: A validação de face envolveu participação de equipe multidisciplinar. Foi realizada validação de conteúdo. A versão em português foi preenchida em 2009, pela internet, por 958 estudantes universitários brasileiros e 556 portugueses da zona urbana. Realizou-se análise fatorial confirmatória utilizando-se como índices de ajustamento o χ²/df, o comparative fit index (CFI), goodness of fit index (GFI) e o root mean square error of approximation (RMSEA). Para verificação da estabilidade da solução fatorial conforme a versão original em inglês, realizou-se validação cruzada em 2/3 da amostra total e replicada no 1/3 restante. A validade convergente foi estimada pela variância extraída média e confiabilidade composta. Avaliou-se a validade discriminante e a consistência interna foi estimada pelo coeficiente alfa de Cronbach. A validade concorrente foi estimada por análise correlacional da versão em português e dos escores médios do Inventário de Burnout de Copenhague; a divergente foi comparada à Escala de Depressão de Beck. Foi avaliada a invariância do modelo entre a amostra brasileira e a portuguesa. RESULTADOS: O modelo trifatorial de Exaustão, Descrença e Eficácia apresentou ajustamento adequado (χ²/df = 8,498; CFI = 0,916; GFI = 0,902; RMSEA = 0,086). A estrutura fatorial foi estável (λ: χ²dif = 11,383, p = 0,50; Cov: χ²dif = 6,479, p = 0,372; Resíduos: χ²dif = 21,514, p = 0,121). Observou-se adequada validade convergente (VEM = 0,45;0,64, CC = 0,82;0,88), discriminante (ρ² = 0,06;0,33) e consistência interna (α = 0,83;0,88). A validade concorrente da versão em português com o Inventário de Copenhague foi adequada (r = 0,21;0,74). A avaliação da validade divergente do instrumento foi prejudicada pela aproximação do conceito teórico das dimensões Exaustão e Descrença da versão em português com a Escala de Beck. Não se observou invariância do instrumento entre as amostras brasileiras e portuguesas (λ:χ²dif = 84,768, p < 0,001; Cov: χ²dif = 129,206, p < 0,001; Resíduos: χ²dif = 518,760, p < 0,001). CONCLUSÕES: A versão em português do Inventário de Burnout de Maslach para estudantes apresentou adequada confiabilidade e validade, mas sua estrutura fatorial não foi invariante entre os países, apontando ausência de estabilidade transcultural.

Active-site properties of Phrixotrix railroad worm green and red bioluminescence-eliciting luciferases

The luciferases of the railroad worm Phrixotrix (Coleoptera: Phengodidae) are the only beetle luciferases that naturally produce true red bioluminescence. Previously, we cloned the green- (PxGR) and red-emitting (PxRE) luciferases of railroad worms Phrixotrix viviani and P. hirtus[OLE1]. These luciferases were expressed and purified, and their active-site properties were determined. The red-emitting PxRE luciferase displays flash-like kinetics, whereas PxGR luciferase displays slow-type kinetics. The substrate affinities and catalytic efficiency of PxRE luciferase are also higher than those of PxGR luciferase. Fluorescence studies with 8-anilino-1-naphthalene sulfonic acid and 6-p-toluidino-2-naphthalene sulfonic acid showed that the PxRE luciferase luciferin-binding site is more polar than that of PxGR luciferase, and it is sensitive to guanidine. Alutagenesis and modelling studies suggest that several invariant residues in the putative luciferin-binding site of PxRE luciferase cannot interact with excited oxyluciferin. These results suggest that one portion of the luciferin-binding site of the red-emitting luciferase is tighter than that of PxGR luciferase, whereas the other portion could be more open and polar.

Classification and characterization of places for mapping of environment using hierarchical neural network and omnivision

Mobile robots need autonomy to fulfill their tasks. Such autonomy is related whith their capacity to explorer and to recognize their navigation environments. In this context, the present work considers techniques for the classification and extraction of features from images, using artificial neural networks. This images are used in the mapping and localization system of LACE (Automation and Evolutive Computing Laboratory) mobile robot. In this direction, the robot uses a sensorial system composed by ultrasound sensors and a catadioptric vision system equipped with a camera and a conical mirror. The mapping system is composed of three modules; two of them will be presented in this paper: the classifier and the characterizer modules. Results of these modules simulations are presented in this paper.

Dynamics at infinity and other global dynamical aspects of Shimizu-Morioka equations

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Ergodic properties of triangle partitions

Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq)

Solitons with isospin

We study the symmetries of the soliton spectrum of a pair of T-dual integrable models, invariant under global SL(2)(q) circle times U(1) transformations. They represent an integrable perturbation of the reduced Gepner parafermions, based on certain gauged SL(3)-WZW model. Their (semiclassical) topological soliton solutions, carrying isospin and belonging to the root of unity representations of q-deformed SU(2)(q)-algebra are obtained. We derive the semiclassical particle spectrum of these models, which is further used to prove their T-duality properties. (c) 2005 Elsevier B.V All rights reserved.

Infrared degrees of freedom of Yang-Mills theory in the Schrodinger representation

We set up a new calculational framework for the Yang-Mills vacuum transition amplitude in the Schrodinger representation. After integrating out hard-mode contributions perturbatively and performing a gauge-invariant gradient expansion of the ensuing soft-mode action, a manageable saddle-point expansion for the vacuum overlap can be formulated. In combination with the squeezed approximation to the vacuum wave functional this allows for an essentially analytical treatment of physical amplitudes. Moreover, it leads to the identification of dominant and gauge-invariant classes of gauge field orbits which play the role of gluonic infrared (IR) degrees of freedom. The latter emerge as a diverse set of saddle-point solutions and are represented by unitary matrix fields. We discuss their scale stability, the associated virial theorem and other general properties including topological quantum numbers and action bounds. We then find important saddle-point solutions (most of them solitons) explicitly and examine their physical impact. While some are related to tunneling solutions of the classical Yang-Mills equation, i.e. to instantons and merons, others appear to play unprecedented roles. A remarkable new class of IR degrees of freedom consists of Faddeev-Niemi type link and knot solutions, potentially related to glueballs.

Covariant multiloop superstring amplitudes

In this article, the multiloop amplitude prescription using the super-Poincare invariant pure spinor formalism for the superstring is reviewed. Unlike the RNS prescription, there is no sum over spin structures and surface terms coming from the boundary of moduli space can be ignored. Massless N-point multiloop amplitudes vanish for N < 4, which implies (with two mild assumptions) the perturbative finiteness of superstring theory. Also, R-4 terms receive no multiloop contributions in agreement with the Type IIB S-duality conjecture of Green and Gutperle. (c) 2005 Published by Elsevier SAS on behalf of Academie des sciences.

Observing an invisible Higgs boson

Given its weak coupling to bottom quarks and tau leptons, the Higgs boson may predominantly decay into invisible particles like gravitinos, neutralinos, or gravitons. We consider the manifestation of such an invisibly decaying Higgs boson in weak boson fusion at the CERN LHC. Distinctive kinematic distributions of the two quark jets of the signal as compared to Zjj and Wjj backgrounds allow to restrict the Higgs branching ratio to 'invisible' final states to some 13% with 10 fb(-1) of data, provided events with two energetic forward jets of high dijet invariant mass and with substantial missing transverse momentum can be triggered efficiently. It is also possible to discover these particles with masses up to 480 GeV in weak boson fusion, at the 5 sigma level, provided their invisible branching ratio is close to 100%. (C) 2000 Elsevier B.V. B.V. All rights reserved.

One loop conformal invariance of the superstring in an AdS(5) x S-5 background

It is proven that the pure spinor superstring in an AdS(5) x S-5 background remains conformally invariant at one loop level in the sigma model perturbation theory.