Sistema de numeração posicional e a lógica da divisão de inteiros

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior

A integração do tutorial interativo TryLogic via IMS Learning Tools Interoperability: construindo uma infraestrutura para o ensino de Lógica através de estratégias de demonstração e refutação

Logic courses represent a pedagogical challenge and the recorded number of cases of failures and of discontinuity in them is often high. Amont other difficulties, students face a cognitive overload to understand logical concepts in a relevant way. On that track, computational tools for learning are resources that help both in alleviating the cognitive overload scenarios and in allowing for the practical experimenting with theoretical concepts. The present study proposes an interactive tutorial, namely the TryLogic, aimed at teaching to solve logical conjectures either by proofs or refutations. The tool was developed from the architecture of the tool TryOcaml, through support of the communication of the web interface ProofWeb in accessing the proof assistant Coq. The goals of TryLogic are: (1) presenting a set of lessons for applying heuristic strategies in solving problems set in Propositional Logic; (2) stepwise organizing the exposition of concepts related to Natural Deduction and to Propositional Semantics in sequential steps; (3) providing interactive tasks to the students. The present study also aims at: presenting our implementation of a formal system for refutation; describing the integration of our infrastructure with the Virtual Learning Environment Moodle through the IMS Learning Tools Interoperability specification; presenting the Conjecture Generator that works for the tasks involving proving and refuting; and, finally to evaluate the learning experience of Logic students through the application of the conjecture solving task associated to the use of the TryLogic

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.

Sprawl e o modal de transporte motorizado: impactos na cidade de Londrina, PR

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

An alternative modal representation of a symmetrical nontransposed three-phase transmission line

The objective of this letter is to propose an alternative modal representation of a nontransposed three-phase transmission line with a vertical symmetry plane by using two transformation matrices. Initially, Clarke's matrix is used to separate the line into components a, 0, and zero. Because a and zero components are not exact modes, they can be considered as being a two-phase line that will be decomposed in its exact modes by using a 2 x 2 modal transformation matrix. This letter will describe the characteristics of the two-phase line before mentioned. This modal representation is applied to decouple a nontransposed three-phase transmission line with a vertical symmetry plane whose nominal voltage is 440 kV.

Modal representation of three-phase lines applying two transformation matrices: Evaluation of its eigenvectors

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 alpha, beta 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 nontransposed three-phase line with a vertical symmetry plane whose nominal voltage is 440 kV and line length is 500 km.

Lógica fuzzy na avaliação da fertilidade do solo e produtividade do café conilon

The objective of this study was to analyze, using the geoestatistic and a system of classification fuzzy, the fertility of an experimental area with base in chemical attributes of the soil and its relationship with the productivity of the conilon coffee. The study was accomplished in the experimental farm of the INCAPER - ES. The soil samples were collected in the depth of 0 - 0.2 m, being analyzed the attributes: matches, potassium, calcium and magnesium, aluminum, sum of bases, cation exchange capacity (pH 7), and saturation percentage. The data were submitted to a descriptive, exploratory, and geostatistical analysis. A system of fuzzy classification was applied using the attributes described to infer about the fertility of the soil and its relationship with the productivity of the culture. The fertility possibility presented positive spatial relationship with the productivity of the culture, with higher values of this where the possibility of fertile soil is superior.

Time Domain Analyses for Three-phase Lines with Corrected Modal Transformation Matrix

The results presented in this paper are based on a research about the application of approximated transformation matrices for electromagnetic transient analyses and simulations in transmission lines. Initially, it has developed the application of a single real transformation matrix for a double three-phase transmission lines, because the symmetry of the distribution of the phase conductors and the ground wires. After this, the same type of transformation matrix has applied for symmetrical single three-phase transmission lines. Analyzing asymmetrical single three-phase lines, it has used three different line configurations. For these transmission line types, the errors between the eigenvalues and the approximated results, called quasi modes, have been considered negligible. on the other hand, the quasi mode eigenvalue matrix for each case was not a diagonal one. and the relative values of the off-diagonal elements of the approximated quasi mode matrix are not negligible, mainly for the low frequencies. Based on this problem, a correction procedure has been applied for minimizing the mentioned relative values. For the correction procedure application, symmetrical and asymmetrical single three-phase transmission line samples have been used. Checking the correction procedure results, analyses and simulations have been carried out in mode and time domain. In this paper, the last results of mentioned research are presented and they related to the time domain simulations.

Modal Analysis of a Beam with a Tip Rotor by Using a Fundamental Response

The shape modes of a damped-free beam model with a tip rotor are determined by using a dynamical basis that is generated by a fundamental spatial free response. This is a non-classical distributed model for the displacements in the transverse directions of the beam which turns out to be coupled through boundary conditions due to rotation. Numerical calculations are performed by using the Ritz-Rayleigh method with several approximating basis.

Modal representation of three-phase lines applying two transformation matrices: Evaluation of its eigenvectors

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 α, β 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. ©2006 IEEE.

An alternative procedure to decrease the dimension of the frequency dependent modal transformation matrices: Application in three-phase transmission lines 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 α, β and zero. After that, Quasi-modes α 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. © 2006 IEEE.

An efficient modal control strategy for the active vibration control of a truss structure

In this paper an efficient modal control strategy is described for the active vibration control of a truss structure. In this approach, a feedback force is applied to each mode to be controlled according to a weighting factor that is determined by assessing how much each mode is excited by the primary source. The strategy is effective provided that the primary source is at a fixed position on the structure, and that the source is stationary in the statistical sense. To test the effectiveness of the control strategy it is compared with an alternative, established approach namely, Independent Modal Space Control (IMSC). Numerical simulations show that with the new strategy it is possible to significantly reduce the control effort required, with a minimal reduction in control performance. © 2007 - IOS Press and the authors. All rights reserved.

Modal transformation obtained from Clarke's matrix - Asymmetrical three-phase case

Some constant matrices can be used as phase-mode transformation matrices for transposed three-phase transmission lines. Clarke's matrix is one of these options. Its application as a phase-mode transformation matrix for untransposed three-phase transmission lines has been analyzed through error and frequency scan comparisons. Based on an actual untransposed asymmetrical three-phase transmission line example, a correction procedure is applied searching for better results from the Clarke's matrix applicaton as a phase-mode transformation matrix. The error analyses are carried out using Clarke's matrix and the new transformation matrices obtained from the correction procedure. Applying Clarke's matrix, the relative errors of the eigenvalue matrix elements can be considered negligible and the relative values of the off-diagonal elements are significant. If the the corrected transformation matrices are used, the relative values of the off-diagonal elements are decreased. Based on the results of these analyses, the homopolar mode is more sensitive to the frequency influence than the two other modes related to three-phase lines. © 2007 IEEE.

Aplicación de la lógica económica al financiamiento de la enseñanza: la experiencia de Chile con el subsidio por estudiante

Incluye Bibliografía

Representation of transmission lines in modal domain using analytical transformation matrices

The phases of a transmission line are tightly coupled due to mutual impedances and admittances of the line. One way to accomplish the calculations of currents and voltages in multi-phase lines consists in representing them in modal domain, where its n coupled phases are represented by their n propagation modes. The separation line in their modes of propagation is through the use of a modal transformation matrix whose columns are eigenvectors associated with the parameters of the line. Usually, this matrix is achieved through numerical methods which does not allow the achievement of an analytical model for line developed directly in the phases domain. This work will show the modal transformation matrix of a hypothetical two-phase obtained with numerical and analytical procedures. It will be shown currents and voltage s at terminals of the line taking into account the use of modal transformation matrices obtained by using numerical and analytical procedures. © 2011 IEEE.