Prova por resolução

O vídeo mostra um conceito da lógica proposicional que é a prova por resolução. A vantagem dessa aplicação é a simplicidade, pois emprega apenas uma regra de inferência. Para verificar se o argumento é válido, por exemplo, são necessário três passos: converter cada premissa para FNC e negar a conclusão, separar as cláusulas, e construir a árvore de derivação ou refutação.

A avaliação da resolução de problemas

Esta investigação teve como objetivo, compreender como é que a avaliação da resolução de problemas contribui para melhorar a aprendizagem da resolução de problemas. A dificuldade na resolução de problemas é de facto um fenómeno mundial com uma extensão considerável em termos cronológicos. Tendo-se escrito muito acerca deste assunto, a verdade é que continua a colocar muitos pontos de interrogação, no que concerne aos métodos e estratégias para ultrapassar este problema. Combinar a avaliação com a resolução de problemas nem sempre é fácil. A resolução de problemas é muito importante para que se cinja a uma visão simplista, temos que perceber que esta se reveste de uma oportunidade para alargar e diversificar os instrumentos de avaliação. Para além disso, permite que os alunos com dificuldades se envolvam ativamente com os seus colegas, numa busca cooperativa pela solução do problema, beneficiando assim ambas as partes. No sentido de verificar o acima referido, os alunos foram colocados em grupos e foi-lhes proposto uma ficha de trabalho de problemas. Os problemas propostos foram os mais diversificados possíveis, no sentido de apelar aos vários tipos de raciocínio e estratégias. Para este estudo foi escolhida uma turma do 5º ano com alunos com bons resultados em matemática e outros com dificuldades. No que concerne à metodologia de investigação, optou-se pela qualitativa e descritiva, com uma pequena nuance quantitativa para consubstanciar o estudo.

Prwncwyj: drama social e resolução de conflito entre os Apãniekra Jê-Timbira.

This work considers a ethnography boarding on the Apãniekra Jê-Timbira group of Central Brazil - leaving of a proposal of agreement of the group in perspectives of historical situations, analyzing its social organization from situational approaches. Taking the ethnography as main tool of production of data, the focus of the research takes dimension, when in the course of the ethnography situation, they come out, from certain events, social dramas that if ramify in crises, conflicts, faccionalismo. I analyze the mechanisms elaborated for the group to neutralize these dramas , such as the constitution of a tribal court , composites for native mediators and external mediators, dynamics ritual processes and politicians.

Análise dos remanescentes de mata atlântica do Estado do Rio Grande do Norte : uma perspectiva em alta resolução

The habitat loss and fragmentation are considered the main threats to the biodiversity. These threats operate at the landscape level, which drives the need to manage entire landscapes, not just its components. Although systematic monitoring of the Atlantic Forest biome has been ongoing since the late eighties, current data on forest fragmentation for the sub-region of Pernambuco are practically nonexistent. This study aimed to map out, with high spatial resolution, the remnants of Atlantic forest in Rio Grande do Norte, and conduct a landscape level analysis. The results show that the landscape is highly fragmented, where about 13.6% to 17% of biome remains. Most of the fragments is less than 10 ha, while a few fragments have area larger than 100 ha. Although the high degree of fragmentation, the average distance between fragments found was small (128 m), this estimate is lower than has been observed for the biome (1440m). There is evidence that abrupt changes in the quantification of landscape structure can occur when one observes the fragmentation at high spatial resolution. The results presented here can be used in management actions, in order to make the scenario more conducive to maintaining biodiversity.

Multi-resolução com fóvea móvel para redução e abstração de dados em tempo real

We propose a new approach to reduction and abstraction of visual information for robotics vision applications. Basically, we propose to use a multi-resolution representation in combination with a moving fovea for reducing the amount of information from an image. We introduce the mathematical formalization of the moving fovea approach and mapping functions that help to use this model. Two indexes (resolution and cost) are proposed that can be useful to choose the proposed model variables. With this new theoretical approach, it is possible to apply several filters, to calculate disparity and to obtain motion analysis in real time (less than 33ms to process an image pair at a notebook AMD Turion Dual Core 2GHz). As the main result, most of time, the moving fovea allows the robot not to perform physical motion of its robotics devices to keep a possible region of interest visible in both images. We validate the proposed model with experimental results

A estratégia didática de resolução de problemas na formação de professores de química

In this work it is presented a research developed in the initial training of teachers of the chemistry graduation course at the Universidade Federal do Rio Grande do Norte (UFRN). The intervention was realized in two classes in the context of a discipline in the curricular structure with nineteen undergraduate students of chemistry. The study utilizes characteristics of the qualitative approach and uses observation, questionnaires, interviews and examination papers. The experiment involved a sequence of activities fundamented on the Problem Solving (PS) teaching strategy to approach chemical concepts. The proposal was planned and organized according to the theoretical presupposition of the work developed by the authors of the Science Education in PS, of teaching experience and from the initial hypotheses of the research. The goal was that the future teachers could experience the strategy and advance to the new meanings. The themes addressed in the activities were the difference between exercises and problems, exercises turning into problems, the steps of problem solving and some implications of the teaching strategy for the work of the teacher. The results showed evidence that through a process of collective reflection, and from the difficulties experienced in the strategy practice, the undergraduates are introduced to new perspectives of reflection and action of teaching practice, and understanding some benefits of innovative proposals for the teaching of chemistry. It also showed that, although this theme is approached, in some moments of the graduation, the future teachers don‟t know when or how to realize activities in this perspective. From the aspects that rose in research we highlighted the difficulties in the problem solving steps, the use of the strategy in school and the knowledge and skills of the teacher for planning activities in Problem Solving

Uma sequencia didática para o ensino da resolução da equação do 2. grau : adequação para o uso com professores

The present study aims to check whether the use of activities mediated by the History of Mathematics can contribute to improve the understanding of resolution the 2nd degree equation for teachers and undergraduates that reproduce methods of solving such equations, uncritically, without domain of the justifications for their actions. For this, we adapted a didactic sequence with activities that aims to cause a rediscovery of resolutive formula of 2nd degree equation through the method known as cut and paste. Finally, we presented the activity module containing the didactic sequence used during the study, as suggestion for use in the classroom, by the math teacher

Resolução espacial da Grade Ionosférica e do Give

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

Mapeamento do biovolume de plantas aquáticas submersas a partir de dados hidroacústicos e imagem multiespectral de alta resolução

As plantas aquáticas têm papel fundamental no equilíbrio dos ecossistemas, porém seu crescimento desequilibrado pode obstruir canais, represas e reservatórios e afetar múltiplos usos da água. em relação a plantas aquáticas submersas, a utilização de medidas de controle torna-se mais complexa, em face da dificuldade em mapear e quantificar volumetricamente as áreas colonizadas. Nessas situações, considera-se que o uso de dados hidroacústicos possibilite o mapeamento e a mensuração dessas áreas, auxiliando na elaboração de propostas de manejo sustentáveis desse tipo de vegetação aquática. Assim, o presente trabalho utilizou dados acústicos e a técnica de krigagem para realizar a inferência espacial do biovolume de plantas aquáticas submersas. Os dados foram obtidos em três levantamentos ecobatimétricos realizados em uma área de estudos localizada no rio Paraná, caracterizada por condições favoráveis para proliferação de vegetação aquática submersa e dificuldade de navegação. Para delimitar as áreas caracterizadas pela presença de plantas aquáticas submersas, utilizou-se uma imagem multiespectral de alta resolução espacial World View-2. O mapeamento do biovolume das plantas aquáticas submersas nas áreas de ocorrência do fenômeno foi realizado a partir da inferência do biovolume por krigagem e do fatiamento dos valores inferidos em intervalos de 15%. A partir do mapa gerado, foi possível identificar os locais de maior concentração de macrófitas submersas, com predominância de valores de biovolume entre 15-30% e 30-45%, confirmando a viabilidade da utilização da krigagem na inferência espacial do biovolume, a partir de medidas ecobatimétricas georreferenciadas e com o suporte de imagem de alta resolução espacial.

Integração de imagem aérea de alta resolução e dados de varredura a laser na classificação de cenas urbanas para detectar regiões de via

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

Morfologia matemática aplicada à detecção de sombras e nuvens em imagens de alta resolução

The spatial resolution improvement of orbital sensors has broadened considerably the applicability of their images in solving urban areas problems. But as the spatial resolution improves, the shadows become even a more serious problem especially when detailed information (under the shadows) is required. Besides those shadows caused by buildings and houses, clouds projected shadows are likely to occur. In this case there is information occlusion by the cloud in association with low illumination and contrast areas caused by the cloud shadow on the ground. Thus, it's important to use efficient methods to detect shadows and clouds areas in digital images taking in count that these areas care for especial processing. This paper proposes the application of Mathematical Morphology (MM) in shadow and clouds detection. Two parts of a panchromatic QuickBird image of Cuiab-MT urban area were used. The proposed method takes advantage of the fact that shadows (low intensity - dark areas) and clouds (high intensity - bright areas) represent the bottom and top, respectively, of the image as it is thought to be a topographic surface. This characteristic allowed MM area opening and closing operations to be applied to reduce or eliminate the bottom and top of the topographic surface.

Predição de sombras de edifícios sobre vias urbanas com base em modelos digitais de elevações e dados de imagens aéreas de alta resolução

This research presents a methodology for prediction of building shadows cast on urban roads existing on high-resolution aerial imagery. Shadow elements can be used in the modeling of contextual information, whose use has become more and more common in image analysis complex processes. The proposed methodology consists in three sequential steps. First, the building roof contours are manually extracted from an intensity image generated by the transformation of a digital elevation model (DEM) obtained from airborne laser scanning data. In similarly, the roadside contours are extracted, now from the radiometric information of the laser scanning data. Second, the roof contour polygons are projected onto the adjacent roads by using the parallel projection straight lines, whose directions are computed from the solar ephemeris, which depends on the aerial image acquisition time. Finally, parts of shadow polygons that are free from building perspective obstructions are determined, given rise to new shadow polygons. The results obtained in the experimental evaluation of the methodology showed that the method works properly, since it allowed the prediction of shadow in high-resolution imagery with high accuracy and reliability.