A função do verbo no texto proverbial: o verbo como instanciador lexical, modal, temporal e aspectual

Universidade da Madeira - Centro de Ciência e Tecnologia da Madeira - Fundo Social Europeu e Propragama Operacional Plurifundos da Região Autónoma da Madeira

Estudo comparativo das propriedades mecânicas em compósitos da fibra modal e poliester

In the present work, three composites with distinct reinforcements (polyester, modal e polyester + modal), all if a unsaturated orthophthalic polyester resin as matrix were used, in order to conduct a comparative study by mechanical tests and water absorption. The fibre mats were prepared in a mat preparatory by immersion developed in the Textile Engineering Laboratory. The composites were manufactured using a closed mould process by compression using an unsaturated orthophthalic polyester resin as matrix and 1% MEK (methyl ethyl ketone peroxide) as an initiator. In each composite twelve samples with the dimensions of 150x25x3 mm were cut randomly for the mechanical analysis (tension x extension, three points bending and water absorption and Scanning Electron Micsroscopy). The mechanical tests were carried out in the Laboratório de Metais e Ensaios Mecânicos UFRN . All the analyses were carried out according to the ASTM norms. The resultant samples from the mechanical analysis were subjected for the Scanning Electron Microscopy analysis. Based on the results obtained, it was observed that the reinforced composite with two fibres (modal + polyester) presented better results in comparison to the other two composites both in the tension/extension as well on the three point bending tests. In the water absorption test, it was possible to observe an equilibrium in the water absorption by the modal and polyester composite, due to the union of the two fibres. In the SEM images, the regions of rupture in the composites as well as the adsorption between the fiber and the matrix could be observed

Sistemas de lógica modal em dedução natural

Formalization of logical systems in natural deduction brings many metatheoretical advantages, which Normalization proof is always highlighted. Modal logic systems, until very recently, were not routinely formalized in natural deduction, though some formulations and Normalization proofs are known. This work is a presentation of some important known systems of modal logic in natural deduction, and some Normalization procedures for them, but it is also and mainly a presentation of a hierarchy of modal logic systems in natural deduction, from K until S5, together with an outline of a Normalization proof for the system K, which is a model for Normalization in other systems

Relating pseudospin and spin symmetries through charge conjugation and chiral transformations: the case of the relativistic harmonic oscillator

We solve the generalized relativistic harmonic oscillator in 1+1 dimensions, i.e., including a linear pseudoscalar potential and quadratic scalar and vector potentials which have equal or opposite signs. We consider positive and negative quadratic potentials and discuss in detail their bound-state solutions for fermions and antifermions. The main features of these bound states are the same as the ones of the generalized three-dimensional relativistic harmonic oscillator bound states. The solutions found for zero pseudoscalar potential are related to the spin and pseudospin symmetry of the Dirac equation in 3+1 dimensions. We show how the charge conjugation and gamma(5) chiral transformations relate the several spectra obtained and find that for massless particles the spin and pseudospin symmetry-related problems have the same spectrum but different spinor solutions. Finally, we establish a relation of the solutions found with single-particle states of nuclei described by relativistic mean-field theories with scalar, vector, and isoscalar tensor interactions and discuss the conditions in which one may have both nucleon and antinucleon bound states.

Modal transformation applied to double three-phase transmission lines

Double three-phase transmission lines are analyzed in this paper using a modal transformation model. The main attribute of this model is the use of a single real transformation matrix based on line geometrical characteristics and the Clarke matrix. Because of this, for any line point, the electrical values can be accessed for phase domain or mode domain using the considered transformation matrix and without convolution methods. For non-transposed symmetrical lines the errors between the model results and the exact modes are insignificant values. The eigenvector and eigenvalue analyses for transposed lines search the similarities among the three analyzed transposition types and the possible simplifications for a non-transposed case.

Modal transformation analyses for double three-phase transmission lines

Eigenvector and eigenvalue analyses are carried out for double three-phase transmission lines, studying the application of a constant and real phase-mode transformation matrix and the errors of this application to mode line models. Employing some line transposition types, exact results are obtained with a single real transformation matrix based on Clarke's matrix and line geometrical characteristics. It is shown that the proposed technique leads to insignificant errors when a nontransposed case is considered. For both cases, transposed and nontransposed, the access to the electrical values (voltage and current, for example) is provided through a simple matrix multiplication without convolution methods. Using this facility, an interesting model for transmission line analysis is obtained even though the nontransposed case errors are not eliminated. The main advantages of the model are related to the transformation matrix: single, real, frequency independent, and identical for voltage and current.

Decomposição modal de linhas de transmissão a partir do uso de duas matrizes de transformação

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

Alternative Model of Three-Phase Transmission Line Theory-Based Modal Decomposition

In this paper is shown the development of a transmission line, based on discrete circuit elements that provide responses directly in the time domain and phase. This model is valid for ideally transposed rows represent the phases of each of the small line segments are separated in their modes of propagation and the voltage and current are calculated at the modal field. However, the conversion phase-mode-phase is inserted in the state equations which describe the currents and voltages along the line of which there is no need to know the user of the model representation of the theory in the field lines modal.

Alternative proposal for Modal Representation of a Non-transposed Three-Phase Transmission Line with a Vertical Symmetry Plane

The objective of this paper is to show an alternative representation in time domain of a non-transposed three-phase transmission line decomposed in its exact modes by using two transformation matrices. The first matrix is Clarke's matrix that is real, frequency independent, easily represented in computational transient programs (EMTP) and separates the line into quasi-modes a, b and zero. After that, Quasi-modes a and zero are decomposed into their exact modes by using a modal transformation matrix whose elements can be synthesized in time domain through standard curve-fitting techniques. The main advantage of this alternative representation is to reduce the processing time because a frequency dependent modal transformation matrix of a three-phase line has nine elements to be represented in time domain while a modal transformation matrix of a two-phase line has only four elements. This paper shows modal decomposition process and eigenvectors of a non-transposed three-phase line with a vertical symmetry plane whose nominal voltage is 440 kV and line length is 500 km.

Optimal and robust modal control of a flexible structure using an active dynamic vibration absorber

This paper is concerned with feedback vibration control of a lightly damped flexible structure that has a large number of well-separated modes. A single active electrical dynamic absorber is used to reduce a particular single vibration mode selectively or multiple modes simultaneously. The absorber is realized electrically by feeding back the structural acceleration at one position to a collocated piezoceramic patch actuator via a controller consisting of one or several second order lowpass filters. A simple analytical method is presented to design a modal control filter that is optimal in that it maximally flattens the mobility frequency response of the target mode, as well as robust in that it works within a prescribed maximum control spillover of 2 dB at all frequencies. Experiments are conducted with a free-free beam to demonstrate its ability to control any single mode optimally and robustly. It is also shown that an active absorber with multiple such filters can effectively control multiple modes simultaneously.

Evidence of distinct phase transformations in lithium phosphate glass Li2O-P2O5

The purpose of this work is to study the Li2O-P2O5 glass using the differential scanning calorimetry (DSC) and x-ray diffraction (XRD) techniques to understand the crystallization process in this glass matrix. To study the glass by DSC, screened samples with different particle sizes to resolve the crystallization peaks were used. Both crystallization peaks were attributed to Li6P6O18 and LiPO3 phases. This evidence was corroborated by XRD analysis on glasses annealed at different temperatures in order to crystallize these phases.

On rich modal logics

I thank to my advisor, João Marcos, for the intellectual support and patience that devoted me along graduate years. With his friendship, his ability to see problems of the better point of view and his love in to make Logic, he became a great inspiration for me. I thank to my committee members: Claudia Nalon, Elaine Pimentel and Benjamin Bedregal. These make a rigorous lecture of my work and give me valuable suggestions to make it better. I am grateful to the Post-Graduate Program in Systems and Computation that accepted me as student and provided to me the propitious environment to develop my research. I thank also to the CAPES for a 21 months fellowship. Thanks to my research group, LoLITA (Logic, Language, Information, Theory and Applications). In this group I have the opportunity to make some friends. Someone of them I knew in my early classes, they are: Sanderson, Haniel and Carol Blasio. Others I knew during the course, among them I’d like to cite: Patrick, Claudio, Flaulles and Ronildo. I thank to Severino Linhares and Maria Linhares who gently hosted me at your home in my first months in Natal. This couple jointly with my colleagues of student flat Fernado, Donátila and Aline are my nuclear family in Natal. I thank my fiancée Luclécia for her precious a ective support and to understand my absence at home during my master. I thank also my parents Manoel and Zenilda, my siblings Alexandre, Paulo and Paula.Without their confidence and encouragement I wouldn’t achieve success in this journey. If you want the hits, be prepared for the misses Carl Yastrzemski

Modal analysis of anisotropic diffused-channel waveguide by a scalar finite element method

A procedure to model optical diffused-channel waveguides is presented in this work. The dielectric waveguides present anisotropic refractive indexes which are calculated from the proton concentration. The proton concentration inside the channel is calculated by the anisotropic 2D-linear diffusion equation and converted to the refractive indexes using mathematical relations obtained from experimental data, the arbitrary refractive index profile is modeled by a. nodal expansion in the base functions. The TE and TM-like propagation properties (effective index) and the electromagnetic fields for well-annealed proton-exchanged (APE) LiNbO3 waveguides are computed by the finite element method.

Type-II Backlund transformations via gauge transformations

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

Permutability of Backlund transformations for N=2 supersymmetric sine-Gordon

The permutability of two Backlund transformations is employed to construct a nonlinear superposition formula and to generate a class of solutions for the N=2 super sine-Gordon model. We present explicitly the one and two soliton solutions.