Um método para localização facial Invariante a rotação

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

Pensamento teórico e formação docente: apropriação de saberes da tradição lúdica na perspectiva da teoria da formação das ações mentais por etapas de P. Ya. Galperin

The study investigated the possibility of organizing a didactics unit for formation of hability of identifying and explaining the popular traditional games in the process of licensed formation in physical education. Had basic premised, the thesis formulated by Piorte Yakovleviche Galperin that the fundamental condition that mode determines the student s way of thinking and the theoretical structures thought. Is given by the method of organization activity that form the basis of guiding skills assimilates from this assumption the study defended the thesis that the contents of popular traditional games can be organizeds according the systemic functional-structural focus. As a method to plan a didactics unit that contributes to development of theoretical thought and the professional development of graduates in physical education. In this sense the general goal was studied and develop a training proposal of ability to identify and explain the popular traditional games for physical education teachers oriented to contribute to the development of theoretical thought. In the construction process of the thesis in a first moment was determined the invariant conceptual of popular traditional games from the method of analysis of activity, after was organized the content of popular traditional games according to the structural-functional systems revealing the essential properties elements and levels of relationship.These procedures provided to the construction elements of the concept popular traditional games, and was the basis for planning a didactical unit to the formation of ability to study. These strategies enable to build a set of prepositions to argue, as a result of the increases in the knowledge of the professional formation in physical education. The study was introduced the fallowing contributions; formulated a teaching proposal to develop the ability to identify popular traditional games, as a cultural and historical contribution and the development of an individual, in initial formation of physical education teacher, attuned to the demands of training and use of knowledge that requires this level of education, defined and organized the knowledge of popular traditional games , this enables a teaching able to raise the cognitive abilities and the theoretical concept of personality of graduated in physical education

PENSAMENTO TEÓRICO E FORMAÇÃO DOCENTE: apropriação de saberes da tradição lúdica na perspectiva da teoria da formação das ações mentais por etapas de P. Ya. Galperin

The study investigated the possibility of organizing a didactics unit for formation of hability of identifying and explaining the popular traditional games in the process of licensed formation in physical education. Had basic premised, the thesis formulated by Piorte Yakovleviche Galperin that the fundamental condition that mode determines the student s way of thinking and the theoretical structures thought. Is given by the method of organization activity that form the basis of guiding skills assimilates from this assumption the study defended the thesis that the contents of popular traditional games can be organizeds according the systemic functional-structural focus. As a method to plan a didactics unit that contributes to development of theoretical thought and the professional development of graduates in physical education. In this sense the general goal was studied and develop a training proposal of ability to identify and explain the popular traditional games for physical education teachers oriented to contribute to the development of theoretical thought. In the construction process of the thesis in a first moment was determined the invariant conceptual of popular traditional games from the method of analysis of activity, after was organized the content of popular traditional games according to the structural-functional systems revealing the essential properties elements and levels of relationship.These procedures provided to the construction elements of the concept popular traditional games, and was the basis for planning a didactical unit to the formation of ability to study. These strategies enable to build a set of prepositions to argue, as a result of the increases in the knowledge of the professional formation in physical education. The study was introduced the fallowing contributions; formulated a teaching proposal to develop the ability to identify popular traditional games, as a cultural and historical contribution and the development of an individual, in initial formation of physical education teacher, attuned to the demands of training and use of knowledge that requires this level of education, defined and organized the knowledge of popular traditional games , this enables a teaching able to raise the cognitive abilities and the theoretical concept of personality of graduated in physical education

Formação da habilidade de interpretar gráficos cartesianos em licenciandos em química segundo a teoria de P. Ya. Galperin

It has been remarkable among the Science Teaching debates the necessity that students do not learn only theories, laws and concepts, but also develop skills which allows them to act towards a critical citizenship. Therefore, some of the skills for the natural sciences learning must be taught consciously, intentionally and in a planned way, as component of a basic competence. Studies of the last twenty years have shown that students and teachers have plenty of difficulties about skills development and, among several, the skill of interpreting Cartesian graphics, essential for the comprehension of Natural Science. In that sense, the development of that type of professional knowledge during the initial education of future Chemistry teachers has become strategic, not only because they need to know how to use it, but also because they need to know how to teach it. This research has as its general objective the organization, development and study of a process of formation of the skill of interpreting Cartesian graphics as part of the teachers professional knowledge. It has been accomplished through a formative experience with six undergraduate students of the Teaching Degree Course of Chemistry of Universidade Federal do Rio Grande do Norte (UFRN Federal University of Rio Grande do Norte), in Brazil. In order to develop that skill, we have used as reference P. Ya. Galperin s Theory of the Stepwise Formation of Mental Actions and Concepts and its following qualitative indicators: action form, degree of generalization, degree of consciousness, degree of independence and degree of solidness. The research, in a qualitative approach, has prioritized as instruments of data collecting the registering of the activities of the undergraduate students, the observation, the questionnaire and the diagnosis tests. At the first moment, a teaching framework has been planned for the development of the skill of interpreting Cartesian graphics based on the presupposed conceptions and steps of Galperin s Theory. At the second moment, the referred framework has been applied and the process of the skill formation has been studied. The results have shown the possibility of develop the skill conscious about the invariant operation system, with a high degree of generalization and internalized the operational invariant in the mental plane. The students have attested the contributions at that type of formative experience. The research reveals the importance of going deeper about the teaching comprehension of the individualities tied to the process of internalization, according to Galperin s Theory, when the update of abilities as part of the teaching professional knowledge is the issue

Modelagem linear e identificação do modelo dinâmico de um robô móvel com acionamento diferencial

This work presents a modelling and identification method for a wheeled mobile robot, including the actuator dynamics. Instead of the classic modelling approach, where the robot position coordinates (x,y) are utilized as state variables (resulting in a non linear model), the proposed discrete model is based on the travelled distance increment Delta_l. Thus, the resulting model is linear and time invariant and it can be identified through classical methods such as Recursive Least Mean Squares. This approach has a problem: Delta_l can not be directly measured. In this paper, this problem is solved using an estimate of Delta_l based on a second order polynomial approximation. Experimental data were colected and the proposed method was used to identify the model of a real robot

Elétrons fortemente correlacionados na vizinhança de uma transição de fase quântica

The aim of this work is to derive theWard Identity for the low energy effective theory of a fermionic system in the presence of a hyperbolic Fermi surface coupled with a U(1) gauge field in 2+1 dimensions. These identities are important because they establish requirements for the theory to be gauge invariant. We will see that the identity associated Ward Identity (WI) of the model is not preserved at 1-loop order. This feature signalizes the presence of a quantum anomaly. In other words, a classical symmetry is broken dynamically by quantum fluctuations. Furthermore, we are considering that the system is close to a Quantum Phase Transitions and in vicinity of a Quantum Critical Point the fermionic excitations near the Fermi surface, decay through a Landau damping mechanism. All this ingredients need to be take explicitly to account and this leads us to calculate the vertex corrections as well as self energies effects, which in this way lead to one particle propagators which have a non-trivial frequency dependence

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

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

Setor informal da economia e a dinâmica dos territórios nas praias da cidade do Natal/RN

La recherche sur secteur non-formel de l économie et la dynamique des territoires dans les plages de la ville de Natal/RN, a le but de la compréhension des espaces de ces territoires ainsi que leurs caractéristiques; le rapport des acteurs sociaux et l existence de politiques dirigées direct ou indirectement vers ce secteur de l économie et ses territoires. Pour celà, on donne emphase au scénario économique moulé par le système de production et reproduction dans la mondialisation, ce qui, parmis d autres actions aq l inetrférence sur le marché du travail, lequel subit constamment des transformations importantes cherchant à suivre les changements en niveau global, en devenant, pour ainsi dire, un marché chaque fois plus exigeant et, conséquemment, sélectif. Moyennant la réalité économique et politique vécue, il augmente le nombre de chômeurs dans le pays suscitant, à tort et à travers, la croissance du secteur non-formel de l économie avec ses inombrables travailleurs qui occupent les plus différents segments parmi lesquels les travaux autonomes, ici représentés par les camelots, les propriétaires de baraques, les propriétaires de kiosques ; etc. Pour atteindre ce but, on a cherché les reférenciels théorico-scientifiques ayant pour base la connaissance empirique à travers les inombrables cas d études matérialisés au moyen de donnés primaires et sécondaires. Finalement, on est sûr de ce que les travailleurs du secteur non-formel complèmentent la chaîne repoductive, ils créent et recréent des territoires avec des contenus variés qui sont indispensables pour la croissance et le développement social