Made available in DSpace on 2014-06-11T19:26:02Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-08Bitstream added on 2014-06-13T20:47:02Z : No. of bitstreams: 1 eloy_me_me_rcla.pdf: 882764 bytes, checksum: 9f31bde8d9124e6cc72d21aaaea3a5c6 (MD5) / Nesta dissertação apresentamos o estudo do caso geral das cônicas e o Teorema de Classi cação das Cônicas via Geometria Analítica e Álgebra Linear. Também apresentamos uma proposta didática para as cônicas aos docentes do Ensino Médio / In this work we present the study of conics, in general case, and the Theorem Classi cation of Conics via Analytic Geometry and Linear Algebra. We also present a didactic proposal of conics to the high school teachers

Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-05-29Bitstream added on 2014-11-10T11:57:47Z : No. of bitstreams: 1 000789915_20151203.pdf: 238260 bytes, checksum: 01c4adf72b2af011fbef2f093bba1467 (MD5) Bitstreams deleted on 2015-12-07T09:44:35Z: 000789915_20151203.pdf,. Added 1 bitstream(s) on 2015-12-07T09:45:16Z : No. of bitstreams: 1 000789915.pdf: 971219 bytes, checksum: 2821d946a089738f0f2d290034310374 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho apresentamos um método para munir o conjunto intervalar generalizado M = I(R) ∪ I(R); sendo I(R) = f[a1; a2] : a1 a2 e a1; a2 2 Rg e I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; com algumas diferentes estruturas, como algébrica, topológica e métrica. Também equipamos M com relações de ordem. Na verdade, fizemos isso em um contexto mais geral, pois trabalhamos em Mn = M M M para n 2 N: Nós formulamos problemas de otimização intervalar e relacionamos esses problemas com clássicos problemas de otimização multiobjetivo. Além disso, apresentamos uma versão do Teorema minmax no contexto intervalar e também desenvolvemos conceitos do cálculo em espaços intervalar generalizado, os quais são usados para encontrar o conjunto dos estados atingíveis de um inclusão diferencial clássica sob algumas condições dadas / This work presents a method to endow the generalized interval set M = I(R) ∪ I(R); where I(R) = f[a1; a2] : a1 a2 and a1; a2 2 Rg and I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; with some different structures, such as algebraic, topological, and metric. We also equip M with order relations. Actually, we did this in a more general context because we worked in Mn = M M M for n 2 N: We formulated interval optimization problems and related them to classic multi-objective optimization problems. We presented a version of the mini-max Theorem in the interval context, and also developed concepts of calculus on the generalized interval space which are used to find the attainable state set of a classic differential inclusion under some given conditions

Dissertação (mestrado)—Universidade de Brasília, Instituto de Geociências, 2016. / Submitted by Camila Duarte (camiladias@bce.unb.br) on 2017-01-16T12:34:45Z No. of bitstreams: 1 2016_EmmanuelCarlosGuimarãesMoreira.pdf: 3814802 bytes, checksum: 1af3527b0beede21c5b65b253066933b (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-02-14T20:32:16Z (GMT) No. of bitstreams: 1 2016_EmmanuelCarlosGuimarãesMoreira.pdf: 3814802 bytes, checksum: 1af3527b0beede21c5b65b253066933b (MD5) / Made available in DSpace on 2017-02-14T20:32:16Z (GMT). No. of bitstreams: 1 2016_EmmanuelCarlosGuimarãesMoreira.pdf: 3814802 bytes, checksum: 1af3527b0beede21c5b65b253066933b (MD5) / A produção de petróleo e gás natural tem uma demanda crescente na região amazônica e conta com importantes infraestruturas de escoamento (oleoduto e gasoduto) interligados na Base de Operações da Petrobras no Amazonas. O crescimento da exploração de petróleo e gás natural no Estado do Amazonas aumenta o desmatamento da floresta sob agravantes circunstâncias, pois os Programas de Recuperação das Áreas Degradadas (PRAD) perdem sua eficácia, devido à falta de gestão, à remoção do horizonte superficial do solo, aos aterramentos e a alta compactação aplicada para suportar maquinários de extremo peso, vinculados, ainda, às condições climáticas, geomorfológicas e ao difícil acesso às clareiras remotas. Este estudo utilizou o Modelo Linear de Mistura Espectral – MLME, para a identificação das áreas de exploração mineral da Petrobras/BR e análise do desenvolvimento de recuperação das clareiras. Assim, foi realizado o processamento digital da imagem com a remoção dos ruídos (MNF), a identificação dos endmembers (PPI), a visualização das classes por meio do n-d visualizer e a classificação da imagem com os algoritmos SAM e SFF. Logo após foi realizada a identificação das classes, divididas em: vegetação, solo exposto, asfalto e água. Os resultados foram exportados para o software ArcGis 10.2, no qual houve a espacialização das áreas desmatadas para a verificação do aumento do número de clareiras e análise da eficácia dos PRADs. A qualidade dos dados foi verificada com a aplicação de uma Matriz de Confusão e do Índice Kappa. Os resultados do algoritmo SFF foram insatisfatórios, o que motivou a redução das categorias visando diminuir a mistura espectral para melhorar os resultados. O algoritmo SAM foi efetuado com um número inicial de 06 classes (vegetação, corte raso, solo exposto, asfalto, rio Urucu e rio Tefé), o qual foi reduzido para um total de 04 classes (vegetação, solo exposto, asfalto, corpos d’água). E, assim, demonstrou um resultado satisfatório no delineamento das feições, apontando o aumento do número de clareiras decorrentes de novas frentes de exploração (de 65 para 123) e, também, o resultado diminuto da revegetação alcançada pelos PRADs. Portanto, concluiu-se com este estudo que nos últimos 15 anos houve um aumento expressivo no número de clareiras; as condições físicas e as alterações provocadas pelo desmatamento impedem a recuperação das áreas degradas e a classificação das clareiras a partir do Spectral Angle Mapper (SAM) alcançou um bom delineamento das áreas de solo exposto, quantificando uma área degradada total de 224,55ha. / The oil and natural gas have a growing demand in the Amazon region and has significant infrastructure flow (Pipeline and Gas Pipeline) interconnected in Petrobras Operations Base – Geologist Pedro de Moura (BOGPM). The growth of oil and natural gas exploration in Amazonas state increase forest clearing under aggravating circumstances. The Degraded Areas Recovery Program (DARP) lose their effectiveness due to lack of management and also because of the high compaction process applied in the soil to support machinery extremely heavy, added to this the climate and geomorphological conditions, as well the difficult access to remote clearings. This study used the Linear Spectral Mixture Model - LSMM, to identify the areas of mineral exploration of Petrobras/BR and analysis of the clearings recovery development. It was carried out the digital processing of the image by removing noise (MNF), the identification of endmembers (PPI), the display of classes by n-d visualizer and a image classification with algorithms SAM and SFF. Soon after it was carried out the identification of classes, divided into: vegetation, bare soil, asphalt and water. The results were exported to ArcGis 10.2 software, in which there was a spatial distribution of deforested areas to check the increase number of clearings and the efficacy of analysis of DARP. The quality of data was verified with the application of a confusion matrix and Kappa Index. The results of SFF algorithm were unsatisfactory, which led to the reduction of categories in order to decrease the spectral mixture to improve results. The SAM algorithm was performed with an initial number of 06 classes (vegetation, clear-cut, exposed soil, asphalt, river Urucu and river Tefé, which was reduced to a total of 04 classes (vegetation, exposed soil, asphalt and bodies of water). Thus it was demonstrated a satisfactory result in the delineation of the features, pointing to the increased number of clearings from new exploration fronts (65 to 123) and also the tiny result of revegetation achieved by DARP. Therefore, this study concluded that over the past 15 years there has been a significant increase in the number of clearings; physical conditions and the alterations caused by deforestation hinder the recovery of degraded areas, and the classification of clearings from the Spectral Angle Mapper (SAM) achieved a good design of exposed soil areas, quantifying a degraded area total of 224,55ha.

Orientador: João Peres Vieira / Banca: Denise de Mattos / Banca: Wladimir Seixas / O PROFMAT - Programa de Mestrado Profissional em Matemática em Rede Nacional é coordenado pela Sociedade Brasileira de Matemática e realizado por uma rede de Instituições de Ensino Superior. / Resumo: Nesta dissertação apresentamos o estudo do caso geral das cônicas e o Teorema de Classi cação das Cônicas via Geometria Analítica e Álgebra Linear. Também apresentamos uma proposta didática para as cônicas aos docentes do Ensino Médio / Abstract: In this work we present the study of conics, in general case, and the Theorem Classi cation of Conics via Analytic Geometry and Linear Algebra. We also present a didactic proposal of conics to the high school teachers / Mestre

Orientador: Geraldo Nunes Silva / Coorientador: Weldon A Lodwick / Banca: Silvio Alexandre de Araujo / Banca: Valeriano Antunes de Oliveira / Banca: Lucelina Batista Santos / Banca: Yurilev Chalco-Cano / Resumo: Neste trabalho apresentamos um método para munir o conjunto intervalar generalizado M = I(R) ∪ I(R); sendo I(R) = f[a1; a2] : a1 a2 e a1; a2 2 Rg e I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; com algumas diferentes estruturas, como algébrica, topológica e métrica. Também equipamos M com relações de ordem. Na verdade, fizemos isso em um contexto mais geral, pois trabalhamos em Mn = M M M para n 2 N: Nós formulamos problemas de otimização intervalar e relacionamos esses problemas com clássicos problemas de otimização multiobjetivo. Além disso, apresentamos uma versão do Teorema minmax no contexto intervalar e também desenvolvemos conceitos do cálculo em espaços intervalar generalizado, os quais são usados para encontrar o conjunto dos estados atingíveis de um inclusão diferencial clássica sob algumas condições dadas / Abstract: This work presents a method to endow the generalized interval set M = I(R) ∪ I(R); where I(R) = f[a1; a2] : a1 a2 and a1; a2 2 Rg and I(R) = f[a1; a2] : [a2; a1] 2 I(R)g; with some different structures, such as algebraic, topological, and metric. We also equip M with order relations. Actually, we did this in a more general context because we worked in Mn = M M M for n 2 N: We formulated interval optimization problems and related them to classic multi-objective optimization problems. We presented a version of the mini-max Theorem in the interval context, and also developed concepts of calculus on the generalized interval space which are used to find the attainable state set of a classic differential inclusion under some given conditions / Doutor

Orientador: Romulo Campos Lins / Banca: Mônica Rabello de Castro / Banca: Jante Bolite Frant / Banca: Antonio Carlos Carrera de Souza / Banca: Antonio Vicente M. Garnica / Resumo: Neste trabalho investiga-se a dinâmica do processo de produção de significados para a Matemática a partir da perspectiva proposta pelo Modelo Teórico dos Campos Semânticos. Esta pesquisa caracteriza-se pelo desenvolvimento de uma abordagem qualitativa de investigação, cujo trabalho de campo foi desenvolvido em uma sala de aula da disciplina Álgebra Linear ministrada para alunos do curso de mestrado e de doutorado de um Programa de Pós-Graduação em Educação Matemática. A investigação se deu a partir da proposição, pelo professor, de um problema que deveria ser investigado pela turma. Durante, aproximadamente, dois meses, os alunos divididos em grupos investigaram e propuseram à turma encaminhamentos sobre a resolução do problema proposto. A análise da dinâmica do processo foi desenvolvida, considerando essa produção de significados dos alunos na procura da solução do problema, através do método de Leitura Positiva, formulado a partir do referencial teórico adotado. A investigação permitiu a identificação e caracterização de importantes aspectos da dinâmica do referido processo. / Abstract: In this thesis we study the dynamics of the processes of meaning production for mathematics, from the perspective of the Theoretical Model of Semantic Fields. The thesis is characterised by the development of a qualitative approach to the investigation, having the field work been done in a Linear Algebra course, for postgraduate students (master and PhD candidates in Mathematics Education). The study followed from a problem proposed by the professor, a proposition to be investigated by the students. For about two months the students worked in small groups and presented to the whole group their suggestions and findings towards solving the problem. The analysis of the dynamics of the processes was made with reference to the meanings produced by the students, using a non-deficit reading based on the theoretical support adopted. It was possible to identify and characterise some important aspects of that dynamics. / Doutor

Orientador: Romulo Campos Lins / Banca: Iole de Freitas Druck / Banca: Marcos Vieira Teixeira / Resumo: Esta pesquisa, baseada no Modelo Teórico dos Campos Semânticos (MTCS), trata da produção de significados para a noção de transformação linear em Álgebra Linear. Foi desenvolvida a partir das análises de: textos matemáticos - alguns considerados históricos e outros contemporâneos - e entrevistas com duas alunas de um curso de Matemática. Neste trabalho, identificamos possíveis significados que podem ser produzidos para a noção de transformação linear, o que pode auxiliar na prática de professores de Álgebra Linear. Além disso, poderá subsidiar discussões mais amplas sobre a formação inicial do professor de Matemática. / Abstract: This research, based on the Theoretical Model of Semantic Fields (TMSF), deals with the production of meanings for the notion of linear transformation in Linear Algebra. It has been developed from the analysis of: mathematics texts - some taken as historical and others as contemporary - and interviews with two undergraduate mathematics students. In this work, we have identified possible meanings that can be produced for the notion of linear transformation. That can help the practice of teachers of Linear Algebra and might also promote more general discussion about the pre-service education of mathematics teachers. / Mestre

Orientador: Amauri Lopes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica, Departamento de Comunicações / Made available in DSpace on 2018-07-20T04:49:50Z (GMT). No. of bitstreams: 1 Lemos_RodrigoPinto_M.pdf: 4789381 bytes, checksum: 77ad429b8da1357b123ef0b27aefbf47 (MD5) Previous issue date: 1995 / Resumo: Este trabalho estuda a aplicação de predição linear forward-backward para a detecção de freqüências em meio ruidoso. Aqui é detalhada a estrutura de subespaços de sinal e de ruído, associada aos dados, através da decomposição em valores singulares, buscando compreender a extensão da atuação ruidosa, de forma a reduzi-Ia à mínima possível. Estudamos comparativamente a resposta de amplitude e a derivada da resposta de fase do filtro de erro de predição como meios de estimar as freqüências do sinal. Mostramos que a derivada da fase fornece uma alternativa competitiva com as técnicas conhecidas. Analisamos ainda a solução da equação normal de predição linear pelos critérios de mínimos quadrados e de mínimos quadrados totais. Este último permitiu desenvolver um novo -método de detecção, utilizando a predição linear forward-backward'- Estabelecemos comparações e terminamos com a apresentação de resultados de simulações minuciosas que mostraram o excelente desempenho do novo método e trouxeram à luz detalhes ainda não explorados do desempenho do método FBLP Modificado, proposto por Tufts e Kumaresan / Mestrado / Eletronica e Comunicações / Mestre em Engenharia Elétrica

FERREIRA, Davi Morais. Integração de bibliotecas científicas de propósito especial em uma plataforma de componentes paralelos. 2010. 145 f. : Dissertação (mestrado) - Universidade Federal do Ceará, Centro de Ciências, Departamento de Computação, Fortaleza-CE, 2010. / Submitted by guaracy araujo (guaraa3355@gmail.com) on 2016-06-16T17:50:44Z No. of bitstreams: 1 2010_dis_dmf.pdf: 1977126 bytes, checksum: 8f6276f7e40d8f3dbdca5deb5a0a8447 (MD5) / Approved for entry into archive by guaracy araujo (guaraa3355@gmail.com) on 2016-06-16T17:51:57Z (GMT) No. of bitstreams: 1 2010_dis_dmf.pdf: 1977126 bytes, checksum: 8f6276f7e40d8f3dbdca5deb5a0a8447 (MD5) / Made available in DSpace on 2016-06-16T17:51:57Z (GMT). No. of bitstreams: 1 2010_dis_dmf.pdf: 1977126 bytes, checksum: 8f6276f7e40d8f3dbdca5deb5a0a8447 (MD5) Previous issue date: 2010 / The contribution of traditional scienti c libraries shows to be consolidated in the construction of high-performance applications. However, such an artifact of development possesses some limitations in integration, productivity in large-scale applications, and exibility for changes in the context of the problem. On the other hand, the development technology based on components recently proposed a viable alternative for the architecture of High-Performance Computing (HPC) applications, which has provided a means to overcome these challenges. Thus we see that the scienti c libraries and programming orientated at components are complementary techniques in the improvement of the development process of modern HPC applications. Accordingly, this work aims to propose a systematic method for the integration of scienti c libraries on a platform of parallel components, HPE (Hash Programming Environment), to o er additional advantageous aspects for the use of components and scienti c libraries to developers of parallel programs that implement high-performance applications. The purpose of this work goes beyond the construction of a simple encapsulation of the library in a component; it aims to provide the bene ts in integration, productivity in large-scale applications, and the exibility for changes in the context of a problem in the use of scienti c libraries. As a way to illustrate and validate the method, we have incorporated the libraries of linear systems solvers to HPE, electing three signi cant representatives: PETSc, Hypre, e SuperLU. / A contribuição das tradicionais bibliotecas cientí cas mostra-se consolidada na construção de aplicações de alto desempenho. No entanto, tal artefato de desenvolvimento possui algumas limitações de integração, de produtividade em aplicações de larga escala e de exibilidade para mudanças no contexto do problema. Por outro lado, a tecnologia de desenvolvimento baseada em componentes, recentemente proposta como alternativa viável para a arquitetura de aplicações de Computação de Alto Desempenho (CAD), tem fornecido meios para superar esses desa os. Vemos assim, que as bibliotecas cientí cas e a programação orientada a componentes são técnicas complementares na melhoria do processo de desenvolvimento de aplicações modernas de CAD. Dessa forma, este trabalho tem por objetivo propor um método sistemático para integração de bibliotecas cientí cas sobre a plataforma de componentes paralelos HPE (Hash Programming Environment ), buscando oferecer os aspectos vantajosos complementares do uso de componentes e de bibliotecas cientí cas aos desenvolvedores de programas paralelos que implementam aplicações de alto desempenho. A proposta deste trabalho vai além da construção de um simples encapsulamento da biblioteca em um componente, visa proporcionar ao uso das bibliotecas cientí cas os benefícios de integração, de produtividade em aplicações de larga escala e da exibilidade para mudanças no contexto do problema. Como forma de exempli car e validar o método, temos incorporado bibliotecas de resolução de sistemas lineares ao HPE, elegendo três representantes significativos: PETSc, Hypre e SuperLU.

Orientador: Eliana Xavier Linhares de Andrade / Banca: Roberto Andreani / Banca: Cleonice Fátima Bracciali / Resumo: O principal objetivo deste trabalho é apresentar, discutir as qualidades e desempenho e provar a convergência de um método iterativo para a solução numérica do problema de autovalores de uma matriz, que chamamos de Método Assemelhado ao de Francis (MAF). O método em questão distingue-se do QR de Francis pela maneira, mais simples e rápida, de se obter as matrizes ortogonais Qk, k = 1; 2. Apresentamos, também, uma comparação entre o MAF e os algoritmos QR de Francis e LR de Rutishauser. / Abstract: The main purpose of this work is to presente, to discuss the qualities and performance and to prove the convergence of an iterative method for the numerical solution of the eigenvalue problem, that we have called the Método Assemelhado ao de Francis (MAF)þþ. This method di ers from the QR method of Francis by providing a simpler and faster technique of getting the unitary matrices Qk; k = 1; 2; We present, also, a comparison analises between the MAF and the QR of Francis and LR of Rutishauser algorithms. / Mestre