Made available in DSpace on 2014-06-11T19:24:52Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-11Bitstream added on 2014-06-13T18:21:25Z : No. of bitstreams: 1 lima_lf_me_rcla.pdf: 1045127 bytes, checksum: 5928a908fea3bb56d8b5b8acd46923c2 (MD5) / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Esta pesquisa tem por objetivo entender como um grupo de estudos, formado por professores e por pesquisadores, planeja e desenvolve atividades matemáticas para um ambiente informatizado. Para sua realização foi formado um grupo, em Cidade de Goiás – GO, composto por oito pessoas: um professor de matemática do ensino médio, seis licenciandas em matemática e o pesquisador. Os dados da pesquisa são oriundos de informações das reuniões do grupo, de roteiros de atividades elaborados pelo grupo e de entrevistas individuais com cada participante. Esses dados foram coletados por meio de gravações em vídeo tanto das reuniões do grupo quanto das entrevistas individuais, das anotações do pesquisador e da produção do grupo. O estudo de pesquisas sobre ensino de funções com o uso do computador contribuiu para que o grupo produzisse roteiros e organizasse um mini-curso apresentado em encontro científico de professores de matemática. Os roteiros foram organizados visando a orientar os alunos a compartilharem e discutirem suas idéias e conclusões durante o desenvolvimento das atividades propostas. Eles foram pensados para serem desenvolvidos com a utilização do software Winplot, por meio de uma abordagem investigativa, e tratam do estudo: do plano cartesiano; de par ordenado; de gráficos de funções do 1º e 2º graus. Este trabalho destaca que a dinâmica de grupos de estudos de professores de matemática pode ser uma forma eficiente para se discutir as dificuldades relacionadas ao trabalho docente e para a busca de alternativas pedagógicas para o ensino e para a aprendizagem dessa disciplina. / This research aims to understand how a study group of teachers and researchers plan and develop mathematics activities for computer lab classes. For this reason, a study group was formed in Cidade de Goiás, Goiás State, in Brazil. The group was made up of high school mathematics teacher, six under-graduated in mathematics and the researcher. The data were collected from group meetings, activities schedules build up by the group, and individual interviews applied to each participant. Data were registered through video recordings, researcher’s notes, and the group production. Research theory about the teaching of functions through computer supported the group in the production of plans and in the organization of a workshop presented in the Mathematics Teachers Scientific Seminar. Plans were aimed at helping students in sharing and discussing their ideas and conclusions during the suggested activities. Plans were conceived for using the Winplot software as part of an investigation approach, referring to Cartesian plan, order pairs, linear and quadratic functions. This research points out that a mathematics teacher study group may provide an efficient way of discussing difficulties related to teaching and a way of searching for pedagogical alternatives both for teaching and learning this school subject.

Made available in DSpace on 2014-06-11T19:32:19Z (GMT). No. of bitstreams: 0 Previous issue date: 2002-11-25Bitstream added on 2014-06-13T20:23:28Z : No. of bitstreams: 1 lourenco_rw_dr_rcla.pdf: 3630116 bytes, checksum: fb0129ce370013b74524f591efbb0d6d (MD5) / O aspecto fundamental do trabalho é mostrar a importância da integração de um Sistema de Informações Geográficas (SIG) com procedimentos geoestatísticos na análise e interpretação de dados distribuídos no tempo e no espaço. A idéia é aplicar uma análise integrada sobre o meio ambiente que melhor caracterize os aspectos físicos com ênfase na variação do índice de vegetação de diferença normalizada (IVDN) do ano 1989 para o ano 1997. O propósito é também realizar a caracterização morfométrica do relevo, principalmente com relação à sua declividade, mapear a concentração e distribuição espacial de metais pesados no solo, obtidos por amostragens georreferenciadas do horizonte Bw (camada do solo com profundidade de até 1m) na área de estudo. A metodologia envolve o uso e a integração de documentos cartográficos, tais como mapas topográficos, fotografias aéreas, imagens de satélite e levantamento de campo, cada qual direcionado a uma representação espacial, utilizando-se para sua manipulação de um Sistema de Informações Geográficas (SIG). A proposta é aplicada em uma área pertencente à Baixada Santista, que esta inserida na Carta Topográfica em 1:50.000 do IGG - SP - 1972 FOLHA DE SANTOS. Depois de obtidos os diversos mapas são elaborados estudos de regressão múltipla espacial, os quais demonstram correlações significativas entre as variáveis metais pesados e declividade na mudança dos índices de vegetação para os anos de 1989 e 1997. / The basic approach of the work is to show the importance of the integration of a Geographic Information System (GIS) with geostatístics procedures in the analysis and interpretation of data distributed in time and space. The idea is to apply an environment integrated analysis that better characterizes the geographic landscape with emphasis in the variation of the Normalized Difference Vegetation Index (NDVI) during the years of 1989 to 1997. The purpose is also understand the morphometric characterization of the relief, mainly regarding its slope, mapping concentration and space distribution of heavy metals in the ground, obtained by sampling of the Bw horizon (layer of the ground with depth until 1m), in the study area. The methodology involves the use and the integration of cartographic documents, such as topographical maps, air photographs, satellite images and field survey, each one directed to a space representation of the studied event and manipulated by a Geographic Information System. The proposal study is applied in an area pertaining to the Baixada Santista that is inserted in the 1:50,000 Topographical Chart of the Institute of Geophysics and Geology (IGG) SP. 1972 Folha de Santos. After obtained the diverse maps multiple regression analysis had been elaborated, which demonstrated the significant correlation between changeable heavy metals and slope controlling the vegetation indices change during the studied period of time.

Made available in DSpace on 2015-04-09T12:28:28Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-08-25Bitstream added on 2015-04-09T12:47:21Z : No. of bitstreams: 1 000809266.pdf: 3298801 bytes, checksum: 6555a8aa3a24d7993a894d44e610138e (MD5) / O presente trabalho tem por objetivo apresentar animações no GeoGebra para introduzir proposições da geometria euclidiana plana, como modelo para professores de matemática, assim como apresentar uma proposta de como utilizá-las como ferramenta para elaboração, por parte dos professores, de situações de aprendizagens a serem aplicadas aos alunos na sala de informática. Tais situações têm um caráter investigativo, de forma que os próprios alunos conjecturem proposições geométricas após executarem comandos resultantes das “animações”. Tais proposições foram selecionadas de modo a viabilizar a resolução de um problema, a qual está relacionada com a determinação do centro de uma circunferência. Os primeiros resultados junto a professores de escolas estaduais mostram que a alternativa de animações no GeoGebra para o ensino da geometria é promissor / The present work aims at presenting animations in GeoGebra to introduce propositions of plane Euclidean geometry as a model for math teachers, as well as submit a proposal for how to use them as a tool for development on the part of teachers, the learning situations students to be applied in the computer room. Such situations have an investigative nature, so that the students themselves conjecture geometrical propositions after executing commands resulting from the animations. These propositions have been selected in order to facilitate the resolution of a problem, which is related to determining the center of a circle. The first results with the state school teachers show that the alternative of animations in GeoGebra for teaching geometry is promising

Submitted by Algacilda Conceição (algacilda@sibi.ufrj.br) on 2018-03-20T14:41:56Z No. of bitstreams: 1 130289.pdf: 2950159 bytes, checksum: 87f4f1586740edcb38c74bc241927da7 (MD5) / Made available in DSpace on 2018-03-20T14:41:56Z (GMT). No. of bitstreams: 1 130289.pdf: 2950159 bytes, checksum: 87f4f1586740edcb38c74bc241927da7 (MD5) Previous issue date: 1972-09 / É apresentado o problema da sobrecarga dos centros de computação de Universidades, causado pela quantidade enorme de novos usuários que surgiram com o ensino do Fortran aos alunos. O Sistema "COPPE-FORTRAN", um compilador Fortran residente para o computador IBM-1130 é apresentado como solução. Este sistema é descrito em seus vários aspectos, como os objetivos, componentes, técnicas de implementação e os resultados obtidos. / The overload of the universities' computing centers, due to the large number of new users that appeared with the Fortran teaching, is presented. The "COPPE-FORTRAN" System, a residente load and go Fortran compiler for the IBM-1130 computer is introduced as a solution. Various aspects of this system, as its objectives, components, implementation techniques and results are discussed.

Made available in DSpace on 2014-06-11T19:29:40Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-01-23Bitstream added on 2014-06-13T18:39:29Z : No. of bitstreams: 1 defranco_bb_me_sjrp.pdf: 1647102 bytes, checksum: 56749c406744a8403e47abe2105b1b47 (MD5) / A crescente adoção de sistemas de e-Learning, tanto no meio acadêmico quanto no meio corporativo, vem gerando várias linhas de pesquisas e trabalhos em educação a distância. A criação de conteúdos tem recebido especial atenção, associada a padrões com metadados, que enfatizam a reutilização de objetos de aprendizagem (OAs) e a interoperabilidade entre os sistemas de e-Learning. A realidade da TV Digital Interativa no Brasil pode ser considerada como um meio alternativo eficaz e de baixo custo para levar informações às comunidades mais remotas, favorecendo a inclusão digital. A TV Digital oferece novos paradigmas de usabilidade. Nesta direção, este trabalho teve como principal objetivo investigar a viabilidade de implementação, no ambiente da TVDI, das funcionalidades dos ambientes virtuais colaborativos de aprendizagem já implementados para a Web. O sistema Moodle foi selecionado, por ser mundialmente utilizado, com arquitetura em conformidade com o modelo IEEE LTSA (Learning Technology System Architecture) e mecanismos de suporte ao padrão de OAs SCORM. Foram realizadas análises sobre os módulos do Moodle, convergindo o módulo de QUIZ para o ambiente da TVD aberta brasileira. Foram utilizados o emulador XletView e a API Java TV. / The growing adoption of e-Learning systems, both in academia and in corporative areas, is generating many lines of research and works in education. The creation of Learning contents with metadata standards has received special attention. They enhance the reutilizability of Learning Objects (LOs) and the interoperabilility between e-Learning systems. The reality of the Interactive Digital TV (IDTV) in Brazil can be considered as an effective alternative way and of low cost to take information to many remote communities, fostering digital inclusion. The Digital TV offers new paradigms of usability. In this direction, the main goal of this work was investigate the viability of converge the functionalities of Web collaborative virtual environments of learning for the environment of the IDTV. The Moodle system was selected, because it comes world-wide being used, with architecture in according to the model IEEE LTSA (Learning Technology System Architecture) and has mechanisms of support to the standard of LOs SCORM. Analyses on the modules of the Moodle were done. The QUIZ module was converged to the environment of the Brazilian open digital TV. The XletView emulator and the Java TV API were used.

Orientador: Rita de Cássia Pavani Lamas / Banca: José Antônio Salvador / Banca: Erminia de Lourdes Campello Fanti / Resumo: O presente trabalho tem por objetivo apresentar animações no GeoGebra para introduzir proposições da geometria euclidiana plana, como modelo para professores de matemática, assim como apresentar uma proposta de como utilizá-las como ferramenta para elaboração, por parte dos professores, de situações de aprendizagens a serem aplicadas aos alunos na sala de informática. Tais situações têm um caráter investigativo, de forma que os próprios alunos conjecturem proposições geométricas após executarem comandos resultantes das "animações". Tais proposições foram selecionadas de modo a viabilizar a resolução de um problema, a qual está relacionada com a determinação do centro de uma circunferência. Os primeiros resultados junto a professores de escolas estaduais mostram que a alternativa de animações no GeoGebra para o ensino da geometria é promissor / Abstract: The present work aims at presenting animations in GeoGebra to introduce propositions of plane Euclidean geometry as a model for math teachers, as well as submit a proposal for how to use them as a tool for development on the part of teachers, the learning situations students to be applied in the computer room. Such situations have an investigative nature, so that the students themselves conjecture geometrical propositions after executing commands resulting from the "animations". These propositions have been selected in order to facilitate the resolution of a problem, which is related to determining the center of a circle. The first results with the state school teachers show that the alternative of animations in GeoGebra for teaching geometry is promising / Mestre

CAPES / A geração de energia a partir de fontes alternativas é na atualidade tema de inúmeras pesquisas e desenvolvimento no meio científico e industrial. A energia eólica destaca-se nesse cenário como uma das mais proeminentes alternativas na geração de energia elétrica, por suas inúmeras vantagens. Em trabalhos de pesquisa, a reprodução computacional e em bancada do comportamento de uma turbina eólica, incluindo simulação de grandezas mecânicas e elétricas, que afetam diretamente a conversão de energia, são ferramentas muito apropriadas para o desenvolvimento e estudo de novas tecnologias quanto ao aproveitamento do potencial eólico de uma determinada região. Este trabalho aborda estudos referentes ao processo de conversão de energia em sistemas eólicos para geração de energia elétrica, com a finalidade de se desenvolver uma ferramenta para emulação de turbina eólica em bancada experimental, utilizando software LabVIEW®. O objetivo desta ferramenta é emular o torque mecânico desenvolvido no eixo de uma turbina eólica operando em geração distribuída, a partir de uma bancada experimental constituída por motor de indução trifásico e gerador síncrono a imã permanente, sob diferentes condições de velocidade de vento. Tal ferramenta possui o objetivo de ser flexível para demais arranjos laboratoriais, ou seja, capaz de ser empregada em outras estruturas de emulação de geração eólica em tempo real. Uma modelagem do sistema eólico é apresentada, desde a turbina ao gerador elétrico, após uma ferramenta de simulação em ambiente Matlab/Simulink® é desenvolvida com finalidade de pré-validar o experimento em bancada, então é realizada a implementação de projeto em bancada. / Power generation from alternative sources is at present the subject of numerous research and development in science and industry. Wind energy stands out in this scenario as one of the most prominent alternative in the generation of electricity, by its numerous advantages. In research works, computer reproduction and experimental behavior of a wind turbine are very suitable tools for the development and study of new technologies and the use of wind potential of a given region. These tools generally are desired to include simulation of mechanical and electrical parameters that directly affect the energy conversion. This work presents the energy conversion process in wind systems for power generation, in order to develop a tool for wind turbine emulation testing experimental, using LabVIEW® software. The purpose of this tool is to emulate the torque developed in an axis wind turbine. The physical setup consists of a three phase induction motor and a permanent magnet synchronous generator, which are evaluated under different wind speed conditions. This tool has the objective to be flexible to other laboratory arrangements, and can be used in other wind power generation structures in real time. A modeling of the wind power system is presented, from the turbine to the electrical generator. A simulation tool is developed using Matlab/Simulink® with the purpose to pre-validate the experiment setup. Finally, the design is implemented in a laboratory setup.

Os compiladores têm por função traduzir um programa em uma linguagem fonte para uma linguagem alvo, geralmente uma linguagem de máquina. Nessa tradução, encontrar a melhor correspondência entre as linguagens é um problema complexo, pelo tamanho do espaço de busca. Por tal complexidade, uma etapa de transformação de código é necessária, na qual algoritmos de transformação modificam o código tentando melhorá-lo sem alterar seu significado. O Problema de Seleção de Transformações (PST) consiste na busca das melhores transformações para um código de entrada, tal que o código final obtenha um bom desempenho. O estado-da-arte não possui estratégias que possibilitem soluções para o PST aplicáveis a usuários finais, pois o tempo de resposta é alto para tal aplicação. O objetivo deste trabalho é formular técnicas para encontrar efetivas sequências de transformações a serem aplicadas a um código de entrada, de forma a aumentar seu desempenho reduzindo o tempo de execução. Além disso, objetiva-se reduzir o tempo de resposta de forma que a solução para o PST se aproxime da utilização por usuários finais. Inicialmente, se explora a Variable Neighborhood Search (VNS) para solucionar o PST, compilando iterativamente cada código de entrada. A aplicação da VNS alcançou resultados até 15,72% melhores do que outra estratégia iterativa, conseguindo melhoria em todos os programas avaliados em relação ao melhor nível de transformação. Contudo, a compilação iterativa possui alto tempo de resposta. Assim, é necessário explorar técnicas de aprendizagem de máquina, que podem prover bons resultados baseadas em experiências anteriores do compilador. Dessa forma, esta dissertação explora diferentes caracterizações de programas para representar o conhecimento acumulado na aplicação de transformações, para então aplicar a um sistema de geração de código com Raciocínio Baseado em Casos (RBC), que escolhe determinada sequência para um programa de entrada. A representação do conhecimento é capaz de atingir 81% de proximidade do melhor resultado possível para os programas avaliados, enquanto o sistema RBC gera resultados 13,74% melhores do que o nível -O3, em um tempo de resposta 99% inferior ao de estratégias de compilação iterativa. A melhoria nas formas de recuperação de experiências anteriores conseguiu superar em 20,23% o desempenho obtido por outra estratégia comparada com um número de avaliações próximo. / Compilers aims to translate a source language program to a target language, usually a machine language. Find the best correspondence between programming languages is a complex problem, due to the size of search space. Because of this complexity, a code transformation step is needed, where transformation algorithms modify the code, trying to improve it without semantic alterations. Despite, the result of the application of these algorithms depends on code particularities. The Transformations Selection Problem (TSP) consists of the search for the best transformations to an input code, such that target code achieves a good performance. The state-of-art does not have strategies that allow the application of TSP solutions to final users, because the response time is very high to this. This work aims to formulate techniques to find effective transformations sequences to be applied to an input code, in a way to increase programs performance reducing its execution time. Furthermore, another objective is to reduce the compiler response time, to approximate a TSP solution to final users application. Initially, the metaheuristic Variable Neighborhood Search (VNS) is explored to solve TSP, compiling iteratively each input code. VNS achieved results up to 15.72% better than another iterative strategy, reaching improvement for all evaluated programs compared to the best compiler transformation level. However, the iterative compilation demands a high response time. Therefore, it is necessary to explore machine learning techniques, which can provide good results based on compiler previous experiences, with a cost of an initial training phase. Thus, this work explores different program characterizations to represent the cumulated knowledge on transformations application, to formulate a code generation system with Case-Based Reasoning (CBR), which chooses certain sequence to an input program. The knowledge representation is capable to reach 81% of proximity of the best possible result to evaluated programs, while the CBR system generates results 13.74% better than -O3 level, on a response time 99% lower than iterative compilation techniques. The improvement of previous experiences recovering method obtained performances over 20.23% compared to another strategy with a close evaluations number.

CAPES / A geração de energia a partir de fontes alternativas é na atualidade tema de inúmeras pesquisas e desenvolvimento no meio científico e industrial. A energia eólica destaca-se nesse cenário como uma das mais proeminentes alternativas na geração de energia elétrica, por suas inúmeras vantagens. Em trabalhos de pesquisa, a reprodução computacional e em bancada do comportamento de uma turbina eólica, incluindo simulação de grandezas mecânicas e elétricas, que afetam diretamente a conversão de energia, são ferramentas muito apropriadas para o desenvolvimento e estudo de novas tecnologias quanto ao aproveitamento do potencial eólico de uma determinada região. Este trabalho aborda estudos referentes ao processo de conversão de energia em sistemas eólicos para geração de energia elétrica, com a finalidade de se desenvolver uma ferramenta para emulação de turbina eólica em bancada experimental, utilizando software LabVIEW®. O objetivo desta ferramenta é emular o torque mecânico desenvolvido no eixo de uma turbina eólica operando em geração distribuída, a partir de uma bancada experimental constituída por motor de indução trifásico e gerador síncrono a imã permanente, sob diferentes condições de velocidade de vento. Tal ferramenta possui o objetivo de ser flexível para demais arranjos laboratoriais, ou seja, capaz de ser empregada em outras estruturas de emulação de geração eólica em tempo real. Uma modelagem do sistema eólico é apresentada, desde a turbina ao gerador elétrico, após uma ferramenta de simulação em ambiente Matlab/Simulink® é desenvolvida com finalidade de pré-validar o experimento em bancada, então é realizada a implementação de projeto em bancada. / Power generation from alternative sources is at present the subject of numerous research and development in science and industry. Wind energy stands out in this scenario as one of the most prominent alternative in the generation of electricity, by its numerous advantages. In research works, computer reproduction and experimental behavior of a wind turbine are very suitable tools for the development and study of new technologies and the use of wind potential of a given region. These tools generally are desired to include simulation of mechanical and electrical parameters that directly affect the energy conversion. This work presents the energy conversion process in wind systems for power generation, in order to develop a tool for wind turbine emulation testing experimental, using LabVIEW® software. The purpose of this tool is to emulate the torque developed in an axis wind turbine. The physical setup consists of a three phase induction motor and a permanent magnet synchronous generator, which are evaluated under different wind speed conditions. This tool has the objective to be flexible to other laboratory arrangements, and can be used in other wind power generation structures in real time. A modeling of the wind power system is presented, from the turbine to the electrical generator. A simulation tool is developed using Matlab/Simulink® with the purpose to pre-validate the experiment setup. Finally, the design is implemented in a laboratory setup.

Os compiladores têm por função traduzir um programa em uma linguagem fonte para uma linguagem alvo, geralmente uma linguagem de máquina. Nessa tradução, encontrar a melhor correspondência entre as linguagens é um problema complexo, pelo tamanho do espaço de busca. Por tal complexidade, uma etapa de transformação de código é necessária, na qual algoritmos de transformação modificam o código tentando melhorá-lo sem alterar seu significado. O Problema de Seleção de Transformações (PST) consiste na busca das melhores transformações para um código de entrada, tal que o código final obtenha um bom desempenho. O estado-da-arte não possui estratégias que possibilitem soluções para o PST aplicáveis a usuários finais, pois o tempo de resposta é alto para tal aplicação. O objetivo deste trabalho é formular técnicas para encontrar efetivas sequências de transformações a serem aplicadas a um código de entrada, de forma a aumentar seu desempenho reduzindo o tempo de execução. Além disso, objetiva-se reduzir o tempo de resposta de forma que a solução para o PST se aproxime da utilização por usuários finais. Inicialmente, se explora a Variable Neighborhood Search (VNS) para solucionar o PST, compilando iterativamente cada código de entrada. A aplicação da VNS alcançou resultados até 15,72% melhores do que outra estratégia iterativa, conseguindo melhoria em todos os programas avaliados em relação ao melhor nível de transformação. Contudo, a compilação iterativa possui alto tempo de resposta. Assim, é necessário explorar técnicas de aprendizagem de máquina, que podem prover bons resultados baseadas em experiências anteriores do compilador. Dessa forma, esta dissertação explora diferentes caracterizações de programas para representar o conhecimento acumulado na aplicação de transformações, para então aplicar a um sistema de geração de código com Raciocínio Baseado em Casos (RBC), que escolhe determinada sequência para um programa de entrada. A representação do conhecimento é capaz de atingir 81% de proximidade do melhor resultado possível para os programas avaliados, enquanto o sistema RBC gera resultados 13,74% melhores do que o nível -O3, em um tempo de resposta 99% inferior ao de estratégias de compilação iterativa. A melhoria nas formas de recuperação de experiências anteriores conseguiu superar em 20,23% o desempenho obtido por outra estratégia comparada com um número de avaliações próximo. / Compilers aims to translate a source language program to a target language, usually a machine language. Find the best correspondence between programming languages is a complex problem, due to the size of search space. Because of this complexity, a code transformation step is needed, where transformation algorithms modify the code, trying to improve it without semantic alterations. Despite, the result of the application of these algorithms depends on code particularities. The Transformations Selection Problem (TSP) consists of the search for the best transformations to an input code, such that target code achieves a good performance. The state-of-art does not have strategies that allow the application of TSP solutions to final users, because the response time is very high to this. This work aims to formulate techniques to find effective transformations sequences to be applied to an input code, in a way to increase programs performance reducing its execution time. Furthermore, another objective is to reduce the compiler response time, to approximate a TSP solution to final users application. Initially, the metaheuristic Variable Neighborhood Search (VNS) is explored to solve TSP, compiling iteratively each input code. VNS achieved results up to 15.72% better than another iterative strategy, reaching improvement for all evaluated programs compared to the best compiler transformation level. However, the iterative compilation demands a high response time. Therefore, it is necessary to explore machine learning techniques, which can provide good results based on compiler previous experiences, with a cost of an initial training phase. Thus, this work explores different program characterizations to represent the cumulated knowledge on transformations application, to formulate a code generation system with Case-Based Reasoning (CBR), which chooses certain sequence to an input program. The knowledge representation is capable to reach 81% of proximity of the best possible result to evaluated programs, while the CBR system generates results 13.74% better than -O3 level, on a response time 99% lower than iterative compilation techniques. The improvement of previous experiences recovering method obtained performances over 20.23% compared to another strategy with a close evaluations number.