Este trabalho objetiva apresentar aplica??es das teorias matem?ticas (defini??es, teoremas e propriedades) como ferramenta para enriquecer o ensino-aprendizagem no ambiente escolar. Como sugest?o temos aqui a apresenta??o e desenvolvimento da teoria sobre fun??es convexas e seus principais resultados (otimiza??o convexa). Procuramos enfatizar t?picos como o corpo dos complexos, onde apresentamos a forma polar atrav?s da f?rmula de Euler, t?picos de ?lgebra linear e an?lise real, conjuntos convexos e um breve hist?rico de seu estudo, fun??es convexas com enfase ? ideia de subdiferencial, como principal pr?-requisito para o estudo de otimiza??o. Resolvemos como aplica??o desta teoria o prolema de Steiner para tr?s pontos do plano, que tem uso principalmente em tecnologias de comunica??o dentre outros.

This paper aims to present applications of mathematical theories (definitions, theorems and properties) as a tool to enrich teaching-learning in the school environment. As a suggestion we have here the presentation and development of the theory about convex functions and their main results (convex optimization). We seek to emphasize topics such as the body of complexes, where we present the polar form through Euler?s formula; topics of linear algeba and real analysis; convex sets and a brief history of their study; convex functions with emphasis on the sub-differential idea, as the main requirement for the optimization study. As an application of this theory, we solved Steiner?s problem for three points of the plane, which is mainly used in communication technologies among others.

A qualidade desde o surgimento da globaliza??o tornou-se uma das palavras-chave mais difundidas junto ? sociedade. No setor p?blico sua concep??o est? associada ? rapidez, confiabilidade, precis?o e seguran?a, contudo, a percep??o que os indiv?duos t?m sobre a presta??o de servi?os p?blicos no Brasil, n?o condiz com estes adjetivos de qualidade. A literatura aponta diversas ferramentas capazes de avaliar e melhorar a qualidade em servi?os, entretanto predominam-se mecanismos subjetivos, que se resumem a mensurar a satisfa??o do cliente. ? certo que, a qualidade tem foco no cliente, mas na atual Era da Qualidade assume-se que ela ? gerada no processo produtivo. Considerando esta lacuna, surgiu o questionamento: de que forma pode-se otimizar processos do setor de servi?o, mantendo o foco na melhoria da qualidade, em especial os processos executados no setor p?blico de ensino? Para responder tal pergunta, adaptou-se um modelo de an?lise e melhoria de processos, atrav?s da concatena??o das fases do M?todo de An?lise e Solu??o de Problemas (MASP) com as etapas de Planejamento Experimental. Aplicou-se o modelo proposto na Coordena??o de Integra??o Empresa-Escola (CIE-E) do IFAM Campus Manaus Centro, avaliando 397 registros de est?gios finalizados no ano de 2012, onde o tempo de dura??o do processo foi apontado como o vil?o. Deste modo, desenvolveu-se uma pesquisa experimental caracterizada como explorat?ria e descritiva, de natureza aplicada e abordagem qualitativa e quantitativa. Fez-se uso das Ferramentas da Qualidade para a coleta e disposi??o dos dados, como tamb?m de Testes N?o Param?tricos para a an?lise dos dados. Ao fim, respaldado em crit?rios de qualidade e estat?stico, identificou-se que a combina??o carga hor?ria alta e n?o experi?ncia trabalhista constitu?a a combina??o ideal dos fatores control?veis que interferiam nos registros de est?gio estudados, resultando no menor tempo do processo, ou seja, determinou-se a regi?o ?tima. Assim, com esse estudo, pode-se avaliar o procedimento de implanta??o de t?cnicas estat?sticas no setor de servi?o para a otimiza??o e melhoria de seus processos.

The quality since the advent of globalization has become one of the keywords most widespread in society. In the public sector is associated to the rapidity, reliability, precision and security, however, the general perception that the individuals have on the provision of public services in Brazil is not consistent with these adjectives quality. The literature suggests several tools to evaluate and improve the quality in services, but is subjective mechanisms predominate, which are summed to measure customer satisfaction. Admittedly, the quality has focused on the customer, but in the current Era of Quality is assumed that it is generated in the production process. Considering this gap, the question arose: how to optimize processes of the service sector, while focusing on quality improvement, especially processes executed in the public sector of education? To answer this question, it was adapted a model of analysis…

Neste trabalho propomos a utiliza??o de redes neurais convolucionais para segmenta??o de ?reas desmatadas na regi?o do sul da Amaz?nia Legal em imagens de sat?lite Landsat-8. Para realiza??o deste trabalho foi constru?do um banco de imagens mosaico, composto por amostras de ?reas desmatadas e ?reas de floresta extra?das das imagens de sat?lite Landsat- 8, identificando as ?reas desmatadas atrav?s da utiliza??o dos dados de desmatamento do projeto PRODES do INPE. As arquiteturas de redes convolucionais utilizadas foram as propostas no trabalho de Serr?o et al. (2020) e de Miyagawa et al. (2018). O treinamento das redes foi realizado com 32 ?pocas utilizando m?todos de otimiza??o SGDM, RMSProp e ADAM e os m?todos de regulariza??o L2 e Dropout. Combinando as tr?s arquiteturas com esses m?todos, totalizaram 36 simula??es. Para avaliar o desempenho das arquiteturas para segmenta??o das ?reas desmatadas, permitindo uma compara??o entre os modelos, foi escolhida a m?trica acur?cia. Ap?s a avalia??o do desempenho dos modelos no conjunto de valida??o, seis deles foram selecionados para serem avaliados com o conjunto de teste. O modelo que apresentou o melhor resultado, uma acur?cia de 99.97%, foi o que utilizou a seguinte combina??o: CNN2 + RMSProp + Dropout. O resultado deste trabalho foi comparado com os resultados dos trabalhos de Ortega et al. (2019), Adarme et al. (2020) e De Bem et al. (2020) tendo obtido resultados superiores ?queles obtidos por esses autores. Os resultados mostraram que as redes neurais convolucionais s?o capazes de realizar com alto desempenho a tarefa de segmenta??o de ?reas desmatadas

In this work, we propose the evaluation of convolutional neural networks architectures to segment deforested areas in the southern region of the Brazilian Legal Amazon, using Landsat-8 satellite images. In order to carry out this work, a mosaic image data set was elaborated, consisting of samples of deforested areas and forest areas extracted from the Landsat-8 satellite images. The deforested areas were identified through the use of deforestation data from the PRODES project at INPE. The architectures of convolutional networks used in our research were those proposed in the work of Serr?o et al. (2020) and Miyagawa et al. (2018). The training of the networks was carried out over 32 epochs using SGDM, RMSProp and ADAM optimization methods and the L2 and Dropout regularization methods. The combining of the three architectures with these methods, resulting in 36 simulations. To measure the performance of the architectures for segmented deforested region, allowing a comparison between the models, the accuracy metric was chosen. After evaluating the performance of the models in the validation set, six of them were selected to be evaluated with the test set. The model that presented the best result, with an accuracy of 99.97%, was the one that used the following combination: CNN2 + RMSProp + Dropout. The results of this work were compared with the results of the work of Ortega et al.…

Neste trabalho, disserta-se sobre Problemas de Otimiza??o Aplicados ? Geometria. Apresentase inicialmente um pouco da hist?ria de alguns problemas cl?ssicos de otimiza??o em Geometria Euclidiana Plana, como, o Problema Isoperim?trico, o Problema de Heron e o Problema de Steiner. A partir da?, usou-se esse conhecimento para construir defini??es, teoremas e proposi??es a respeito da Otimiza??o em Geometria o que proporcionou grandiosas ferramentas para a resolu??o de problemas que podem ser aplicados no Ensino M?dio ou em Olimp?adas de Matem?tica.

In this work, lectures on Optimization Problems Applied Geometry. It presents initially a little history of some classic optimization problems in Euclidean Geometry Plana, as the Isoperim?trico Problem, the Heron Problem an the Steiner Problem. From there, he used that knowledge to build definitions, theorems and propositions regarding the Optimization of Geometry which provided grandiose tools for problem solving that can be applied in high school or in Mathematics Olympics.

CAPES - Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior