A representação social de disciplinas didático-pedagógicas no contexto da formação inicial docente: um entremear de saberes

We seek, through this study, to analyze about social representation that the students of licentiate degree course of the Federal Institute of Education, Science and Technology of Rio Grande do Norte - IFRN - have about didactic-pedagogical subjects. We utilize the Social Representations Theory (MOSCOVICI, 2009; 2012; JODELET, 2001) as a theoretical and methodological contribution and as aim, we identify this social representation and understand how it is influenced by the formation of these undergraduates. So we developed the research under the seven undergraduate classroom courses offered by IFRN, namely: Biology, Spanish, Physics, Geography, Computer Science, Mathematics and Chemistry, covering units located both in the capital and in the countryside. While methodological approach we used the Procedure of Multiple Classification (PMC) - (ROAZZI, 1995), whose realization requires a set of words achieved through of Free Technique of Words Association - FTWA - (ABRIC, 1998). For this realization we have a total of one hundred twenty (120) participants, with thirty (30) in FTWA and other stage in the realization of free classification and directed that correspond to the MPR. Achieved the empirical data, we use the analysis of content (BARDIN, 2011; FRANCO, 2007) and multidimensional (ROAZZI, 1995) for the course of his interpretation. Finally, we identify the social representation of didactic and pedagogical subjects centered around the idea that it is through these subjects that can achieve the profile of "good professional" as one who gathers knowledge and attributes required for the full development of teaching involving capabilities it and characteristics that mark the sense of professionalism. Furthermore, we found that the anchoring social representation on the understanding that these disciplines "teach the teacher to be" in the image and its objectification of the "good teacher", ie, one that reaches through the training process and experiences, qualities that make it unique and able to carry full professional. Still see that the actions of the teacher trainer affects the way students perceive, assume and engage in the study of teaching and pedagogical subjects and it reflects significantly the social representation then created

Reactive Control for Transmission Overload Relief Based on Sensitivity Analysis and Cooperative Game Theory

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

An existence theorem for an analytic first order PDE in the framework of Colombeau's theory

We study the existence of a holomorphic generalized solution u of the PDE[GRAPHICS]where f is a given holomorphic generalized function and (alpha (1),...alpha (m)) is an element of C-m\{0}.

Contribuições para verificação automática de applets javacard

The widespread growth in the use of smart cards (by banks, transport services, and cell phones, etc) has brought an important fact that must be addressed: the need of tools that can be used to verify such cards, so to guarantee the correctness of their software. As the vast majority of cards that are being developed nowadays use the JavaCard technology as they software layer, the use of the Java Modeling Language (JML) to specify their programs appear as a natural solution. JML is a formal language tailored to Java. It has been inspired by methodologies from Larch and Eiffel, and has been widely adopted as the de facto language when dealing with specification of any Java related program. Various tools that make use of JML have already been developed, covering a wide range of functionalities, such as run time and static checking. But the tools existent so far for static checking are not fully automated, and, those that are, do not offer an adequate level of soundness and completeness. Our objective is to contribute to a series of techniques, that can be used to accomplish a fully automated and confident verification of JavaCard applets. In this work we present the first steps to this. With the use of a software platform comprised by Krakatoa, Why and haRVey, we developed a set of techniques to reduce the size of the theory necessary to verify the specifications. Such techniques have yielded very good results, with gains of almost 100% in all tested cases, and has proved as a valuable technique to be used, not only in this, but in most real world problems related to automatic verification

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.

Scalar field theory at finite temperature in D=2+1

We discuss the phi(6) theory defined in D=2+1-dimensional space-time and assume that the system is in equilibrium with a thermal bath at temperature beta(-1). We use the 1/N expansion and the method of the composite operator (Cornwall, Jackiw, and Tomboulis) for summing a large set of Feynman graphs. We demonstrate explicitly the Coleman-Mermin-Wagner theorem at finite temperature.

Scalar field theory at finite temperature in D=2+1

We discuss the phi(6) theory defined in D = 2 + 1-dimensional space-time and assume that the system is in equilibrium with a thermal bath at temperature beta(-1). We use the 1/N expansion and the method of composite operator (CJT) for summing a large set of Feynman graphs. We demonstrate explicitly the Coleman-Mermin-Wagner theorem at finite temperature.

Generating Erler-Schnabl-type solution for the tachyon vacuum in cubic superstring field theory

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

Análise de risco aplicada ao manejo precaucionário das pescarias artesanais na região do reservatório da UHE-Tucuruí (Pará, Brasil)

As pescarias no reservatório da UHE-Tucuruí no rio Tocantins, Pará, envolvem cerca de 6.000 pescadores e movimentam cerca de R$ 4,2 milhões/ano. A atividade se concentra em três espécies principais: tucunaré Cichla monoculus (capturado com anzol), pescada Plagioscion squamosissimus (capturado com rede e/ou anzol) e mapará Hypophthalmus marginatus (capturado com rede). Com o objetivo de caracterizar os pescadores e as pescarias do reservatório, criar cenários de aumento do esforço pesqueiro e prever os momentos de conflito pela escassez de recursos, foram levantadas informações da literatura e realizadas duas campanhas de coleta de dados nos anos de 1999 e 2000, envolvendo entrevistas com líderes comunitários e pescadores. As seguintes variáveis foram consideradas: desembarque por espécie-alvo (de acordo com os registros fornecidos pelas colônias de pescadores), artes de pesca, estratégias dos pescadores, conflitos e formas de apropriação do espaço e rendimentos da atividade. Estas variáveis foram inseridas em um modelo dinâmico, simulado no software Vensim PLE para um período de 10 anos a partir de 1999. Os resultados indicam que a pesca de anzol é a estratégia mais rentável, e que possíveis momentos de conflito devido à escassez de recursos podem acontecer em curto prazo (2005). A metodologia utilizada para as simulações e análises de risco também se revelou adequada à realidade local e ao conjunto de dados disponíveis.

Linear analysis of building floor structures by a BEM formulation based on Reissner's theory

In this work, the plate bending formulation of the boundary element method (BEM) based on the Reissner's hypothesis is extended to the analysis of zoned plates in order to model a building floor structure. In the proposed formulation each sub-region defines a beam or a slab and depending on the way the sub-regions are represented, one can have two different types of analysis. In the simple bending problem all sub-regions are defined by their middle surface. on the other hand, for the coupled stretching-bending problem all sub-regions are referred to a chosen reference surface, therefore eccentricity effects are taken into account. Equilibrium and compatibility conditions are automatically imposed by the integral equations, which treat this composed structure as a single body. The bending and stretching values defined on the interfaces are approximated along the beam width, reducing therefore the number of degrees of freedom. Then, in the proposed model the set of equations is written in terms of the problem values on the beam axis and on the external boundary without beams. Finally some numerical examples are presented to show the accuracy of the proposed model.

Podolsky's electromagnetic theory on the null-plane

We have analyzed the null-plane canonical structure of Podolsky's electromagnetic theory. As a theory that contains higher order derivatives in the Lagrangian function, it was necessary to redefine the canonical momenta related to the field variables. We were able to find a set of first and second-class constraints, and also to derive the field equations of the system. Copyright © owned by the author(s) under the terms of the Creative Commons Attribution-NonCommercial-ShareAlike Licence.

Theory and practice of industrial policy: evidence from the Latin American experience

Includes bibliography

Application of Conservative Power Theory to load and line characterization and revenue metering

This paper proposes a set of performance factors for load characterization and revenue metering. They are based on the Conservative Power Theory, and each of them relates to a specific load non-ideality (unbalance, reactivity, distortion). The performance factors are capable to characterize the load under different operating conditions, considering also the effect of non-negligible line impedances and supply voltage deterioration. © 2012 IEEE.

A dinâmica do uso da terra e sua interferência na morfohidrografia da Bacia do Arroio Santa Bárbara - Pelotas (RS)

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

Impacto de uma intervenção dirigida à capacitação de agentes comunitários da saúde em aleitamento materno

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