Submitted by Maria Cristina (library@lncc.br) on 2017-08-10T18:19:02Z No. of bitstreams: 1 dissertacao Natasha.pdf: 915040 bytes, checksum: 8e2b079465523b98d5e66edeb28a679c (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2017-08-10T18:19:15Z (GMT) No. of bitstreams: 1 dissertacao Natasha.pdf: 915040 bytes, checksum: 8e2b079465523b98d5e66edeb28a679c (MD5) / Made available in DSpace on 2017-08-10T18:19:25Z (GMT). No. of bitstreams: 1 dissertacao Natasha.pdf: 915040 bytes, checksum: 8e2b079465523b98d5e66edeb28a679c (MD5) Previous issue date: 2017-02-17 / Conselho Nacional de Desenvolvimento Científico e Tecnológico (CNPq) / Nowadays, besides the growing popularity of cryptography, there is a big interest from researchers in the development of strategies that study and analyze the current crypto- graphic methods. This is due to the fact that current methods are based on mathematical problems considered safe, however, researchs points to security flaws in the presence of a quantum computer. In this work we created and developed a method capable of translating symmetric cryp- tographic algorithms into Conjunctive Normal Form and then we analyze the obtained output. Initially, we studied the cryptographic algorithm model of interest and used the software CBMC, a bounded model checker software. This software returns a SAT system to be solved, i.e, we rewrite the problem as SAT. In addition, the system can be interpreted as a graph, so we reduce it by implementing a depth-first-search before solving it, to make the problem feasible for resolution. The method proposed is then submitted to a round of tests, aiming to validate the developed tool. / Atualmente, além da popularidade da criptografia estar crescendo consideravelmente, existe grande interesse em realizar pesquisas para o desenvolvimento de estratégias que estudem e analisem os métodos criptográficos utilizados atualmente. Isto se dá pelo fato dos métodos atuais serem baseados em problemas matemáticos considerados seguros, entretanto, pesquisas atuais apontam para falhas de segurança na presença de um computador quântico. Este trabalho consiste em traduzir os algoritmos criptográficos simétricos para o sistema SAT e analisar a saída obtida. Para isto, inicialmente estudamos o modelo do algoritmo criptográfico de interesse e inserimos ele em um software verificador de modelos (CBMC). Este software nos retorna um sistema SAT a ser resolvido, ou seja, reescrevemos o problema como SAT. Além disto, o sistema pode ser interpretado como um grafo, então reduzimos o mesmo através de uma busca em profundidade antes de resolvê-lo, para tornar o problema factível de resolução. A técnica proposta é submetida a um conjunto de testes, utilizando meios propostos pela literatura e alguns meios originais do trabalho, para validar a ferramenta desenvolvida.

Made available in DSpace on 2015-04-14T14:49:44Z (GMT). No. of bitstreams: 1 438252.pdf: 1960381 bytes, checksum: f2fbe64a6e6d4c7fc9e87728e86cb0b8 (MD5) Previous issue date: 2012-01-23 / The evolution in the deployment of semiconductor technology has enabled the development of System-on-Chip (SoCs) that integrate several processing elements (PEs) and memory modules in a single chip. SoCs that integrate several PEs are referred as Multiprocessor System-on-Chip (MPSoCs). As the number of PEs increases in an MPSoC, techniques that present low energy consumption, low latency and scalability become necessary. In NoC-based MPsoCs that adopt the Shared Memory model in the L2 cache, as the number of PEs increases, the number of accesses to memory modules also increases. This makes memory organization one of the most critical components of the system because it can present high energy consumption and high latency. Such factors may limit the use and scalability of MPSoC systems. Among the factors that contribute to increase latency and energy consumption in memory organizations are: the cache coherence protocol and the mapping of application's data. This work proposes the use of a cache memory organization that presents non-uniform access latency, where accesses to the L1 cache can target different L2 cache banks (NUCA non uniform cache access architecture), as a function of the address being accessed. Additionally, this work proposes the exploration of the physical services provided by the network-on-chip, such as multicast and priorities, to optimize the implementation of a directory-based cache coherence protocol. The obtained results show an average reduction of 39% in communication energy consumption and 17% reduction in latency for transactions of the cache coherence protocol when exploring NoC services. To improve placement of application's data, a data migration protocol is proposed. The goal of the protocol is to approximate L2 cache blocks to PEs that are mostly accessing it, moving blocks to a closer L2 cache bank, if available. By using a data migration protocol, an average reduction of 29% was obtained in the energy consumption of cache accesses. / O avan?o da tecnologia de semicondutores possibilitou o desenvolvimento de sistemas intra-chip (SoCs) que integram, em um mesmo chip, diversos elementos de processamento (PEs) e m?dulos de mem?ria. SoCs que possuem mais de um PE s?o denominados de sistemas intra-chip multiprocesados (MPSoCs). ? medida que o n?mero de PEs aumenta em um MPSoC, torna-se necess?rio o uso de t?cnicas que resultem em um baixo consumo de energia, baixa lat?ncia na comunica??o e escalabilidade. Em MPSoCs baseados em redes intra-chip, com blocos de mem?ria compartilhada (cache L2), o aumento no n?mero de PEs culmina no aumento da quantidade de acessos realizados a estes m?dulos. Isto torna a organiza??o de mem?ria um dos componentes mais cr?ticos destes sistemas, tendo em vista que a mesma pode apresentar um alto consumo de energia e alta lat?ncia de resposta. Fatores como estes podem limitar o uso e a escalabilidade destes sistemas. Dentre os fatores que afetam o consumo de energia e a lat?ncia da organiza??o de mem?ria de um MPSoC est?o: o protocolo de coer?ncia de cache e o mapeamento dos dados de aplica??es. Este trabalho prop?e a utiliza??o de uma organiza??o de mem?ria cache L1 que possui lat?ncia de acesso n?o uniforme, onde acessos realizados podem ser destinados a diferentes bancos de mem?ria cache L2 (NUCA non uniform cache access architecture). Al?m disso, o presente trabalho explora os servi?os f?sicos providos pela rede intra-chip, tais como multicast e prioridades, para otimizar a implementa??o de um protocolo de coer?ncia de cache baseado em diret?rio. Os resultados obtidos mostram uma redu??o m?dia de 39% no consumo de energia de comunica??o e 17% de lat?ncia em transa??es do protocolo de coer?ncia quando explorando servi?os f?sicos oferecidos pela rede intra-chip. Al?m disso, a fim de melhorar o posicionamento de dados de aplica??es, ? proposto um protocolo de migra??o de dados que posiciona os dados utilizados por uma regi?o de PEs em um banco de mem?ria cache L2 pr?ximo. Com a utiliza??o deste protocolo, ? poss?vel obter uma redu??o m?dia de 29% no consumo de energia nos acessos ? mem?ria cache L2.

Submitted by Samira Prince (prince@ufpa.br) on 2012-05-22T16:45:13Z No. of bitstreams: 2 Tese_FogFuncaoObjetivo.pdf: 2229502 bytes, checksum: 897f653b962c45447c243389095f4f85 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Approved for entry into archive by Samira Prince(prince@ufpa.br) on 2012-05-22T16:46:00Z (GMT) No. of bitstreams: 2 Tese_FogFuncaoObjetivo.pdf: 2229502 bytes, checksum: 897f653b962c45447c243389095f4f85 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Made available in DSpace on 2012-05-22T16:46:00Z (GMT). No. of bitstreams: 2 Tese_FogFuncaoObjetivo.pdf: 2229502 bytes, checksum: 897f653b962c45447c243389095f4f85 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Previous issue date: 2011 / FIDESA - Fundação Instituto para o Desenvolvimento da Amazônia / UNAMA - Universidade da Amazônia / Esta tese de doutorado propõe uma formulação matemática para simulação de roteamento e alocação de comprimentos de onda em redes ópticas, sem a inclusão de restrições que não são inerentes ao problema básico e com o objetivo de ser aplicável a qualquer tipo de rede óptica com tráfego de demanda estática. O estabelecimento de uma rota seguida da seleção de um comprimento de onda é um dos pontos chave para o bom funcionamento de uma rede óptica, pois influencia na forma como os recursos da rede serão gerenciados. Assim, o processo de roteamento e alocação de comprimentos de onda em redes ópticas, conhecido como RWA (Routing and Wavelength Assignment), necessita de soluções que busquem a sua otimização. Entretanto, a despeito dos inúmeros estudos com o objetivo de otimizar o processo RWA, observa-se que não há, a priori, nenhuma solução que possa levar a uma padronização do referido processo. Considerando que a padronização é desejável na consolidação do uso de qualquer tecnologia, a Tese descrita neste trabalho é uma Função de Objetivo Genérico (FOG) que trata do processo de roteamento e alocação de comprimentos de onda, visando estabelecer uma base a partir da qual seja possível desenvolver um padrão ou vários padrões para redes ópticas. A FOG foi testada, via simulação, no processo de alocação de comprimentos de onda do inglês, Wavelength Assignment e no processo RWA como um todo. Em ambos os casos, os testes foram realizados considerando redes opacas, trazendo resultados surpreendentes, considerando a simplicidade da solução para um problema não trivial. / This doctoral thesis proposes a mathematical formulation to simulate routing and wavelength assignment in optical networks, without the inclusion of constraints that are not inherent to the basic problem and in order to be applicable to any type of optical network with a static traffic demand. The establishment of a route followed by wavelength assignment is one of the keys to the smooth operation of an optical network, as this influences on how the resources of the network will be managed. Thus, the process of routing and wavelength assignment (RWA) in optical networks, needs a solution that seeks its optimization. However, despite numerous studies aiming to optimize RWA, it is observed that there is no solution, a priori, that could lead to a standardization of RWA process. Whereas consolidating standardization is desirable in the use of any technology, the thesis described in this work is a Generic Objective Function(GOF) that deals with the process of routing and wavelength assignment to establish a basis from which we can develop a standard or several standards for optical networks. The GOF was tested by simulation in the process of wavelength assignment (WA) and the RWA process as a whole. In both cases, tests were performed considering opaque networks, bringing surprising results, considering the simplicity of solution for a non-trivial problem.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2013-01-14T17:33:42Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_ClassificacaoDadosUtilizando.pdf: 1117784 bytes, checksum: 44e9b4e473a61cec39eaf31d03ae8dfb (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-01-14T18:15:00Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_ClassificacaoDadosUtilizando.pdf: 1117784 bytes, checksum: 44e9b4e473a61cec39eaf31d03ae8dfb (MD5) / Made available in DSpace on 2013-01-14T18:15:00Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_ClassificacaoDadosUtilizando.pdf: 1117784 bytes, checksum: 44e9b4e473a61cec39eaf31d03ae8dfb (MD5) Previous issue date: 2008 / Várias das técnicas tradicionais de Mineração de Dados têm sido aplicadas com êxito e outras esbarram em limitações, tanto no desempenho como na qualidade do conhecimento gerado. Pesquisas recentes têm demonstrado que as técnicas na área de IA, tais como Algoritmo Genético (AG) e Lógica Difusa (LD), podem ser utilizadas com sucesso. Nesta pesquisa o interesse é revisar algumas abordagens que utilizam AG em combinação com LD de forma híbrida para realizar busca em espaços grandes e complexos. Este trabalho apresenta o Algoritmo Genético (AG), utilizando Lógica Difusa, para a codificação, avaliação e reprodução dos cromossomos, buscando classificar dados através de regras extraídas de maneira automática com a evolução dos cromossomos. A Lógica Difusa é utilizada para deixar as regras mais claras e próximas da linguagem humana, utilizando representações lingüísticas para identificar dados contínuos. / Several of the traditional techniques of Data Mining have been applied successfully and others have some limitations. Both, in performance and the quality of knowledge generated. Recent research has shown that the techniques in the field of IA, such as GA and Fuzzy sets, can be used successfully. In this research we are interested in investigating the applicability of a hybrid combination of genetic algorithms and fuzzy sets to find rules in large and complex spaces. This paper presents a Genetic Algorithm (GA), using Fuzzy Logic, for coding, assessment and reproduction of chromosomes, looking for classifying data using extracted rules for the automatic way with the evolution of chromosomes. The Fuzzy Logic is used to make the rules clearer and closer to human language, using linguistic representations to identify continuous data.

Submitted by Irvana Coutinho (irvana@ufpa.br) on 2013-01-28T13:46:14Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_AlgoritmosCulturaisAbordagem.pdf: 1360669 bytes, checksum: 17fb217e7255ede1a2f4ac1767703825 (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2013-01-28T17:07:35Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_AlgoritmosCulturaisAbordagem.pdf: 1360669 bytes, checksum: 17fb217e7255ede1a2f4ac1767703825 (MD5) / Made available in DSpace on 2013-01-28T17:07:35Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_AlgoritmosCulturaisAbordagem.pdf: 1360669 bytes, checksum: 17fb217e7255ede1a2f4ac1767703825 (MD5) Previous issue date: 2012 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / FAPESPA - Fundação Amazônia de Amparo a Estudos e Pesquisas / Em muitos problemas de otimização há dificuldades em alcançar um resultado ótimo ou mesmo um resultado próximo ao valor ótimo em um tempo viável, principalmente quando se trabalha em grande escala. Por isso muitos desses problemas são abordados por heurísticas ou metaheurísticas que executam buscas por melhores soluções dentro do espaço de busca definido. Dentro da computação natural estão os Algoritmos Culturais e os Algoritmos Genéticos, que são considerados metaheurísticas evolutivas que se complementam devido ao mecanismo dual de herança cultura/genética. A proposta do presente trabalho é estudar e utilizar tais mecanismos acrescentando tanto heurísticas de busca local como multipopulações aplicados em problemas de otimização combinatória (caixeiro viajante e mochila), funções multimodais e em problemas restritos. Serão executados alguns experimentos para efetuar uma avaliação em relação ao desempenho desses mecanismos híbridos e multipopulacionais com outros mecanismos dispostos na literatura de acordo com cada problema de otimização aqui abordado. / In many optimization problems is hard to reach a good result or a result close to the optimum value in a feasible time, especially when working on large scale. So, many of these problems are addressed by heuristics or metaheuristics running search for better solutions within the defined search space. Within the natural computing algorithms there are the cultural and genetic algorithms. These are evolutionary metaheuristics complement each other due to the dual mechanism of cultural heritage/genetic. The purpose of this paper is to study and use such mechanisms adding local search heuristics and multipopulation applied to combinatorial optimization problems (knapsack and travel salesman problems), constrained problems and multimodal functions. Some experiments have been conducted to assess the performance of the proposed combination of meta-heuristisc and heuristics mechanisms against approaches found in literature as applied to problem addressed here.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2014-01-13T19:11:17Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_FrameworkPrevisaoCenarios.pdf: 1346905 bytes, checksum: 9ed405c15deefa86cddbf13daba6c6f5 (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2014-01-15T11:45:10Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_FrameworkPrevisaoCenarios.pdf: 1346905 bytes, checksum: 9ed405c15deefa86cddbf13daba6c6f5 (MD5) / Made available in DSpace on 2014-01-15T11:45:10Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Tese_FrameworkPrevisaoCenarios.pdf: 1346905 bytes, checksum: 9ed405c15deefa86cddbf13daba6c6f5 (MD5) Previous issue date: 2012 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / No contexto da previsão de séries temporais, é grande o interesse em estudos de métodos de previsão de séries temporais que consigam identificar as estruturas e padrões existentes nos dados históricos, possibilitando gerar os próximos padrões da série. A proposta defendida nesta tese é a de desenvolvimento de um framework que utilize ao máximo as potencialidades das técnicas de previsão (redes neurais artificiais) com as técnicas de otimização (algoritmos genéticos) em um sistema híbrido intercomunicativo que aproveite bem as vantagens de cada uma dessas técnicas para a geração de cenários futuros que possam mostrar, além das previsões normais com base nos valores históricos, percursos alternativos das curvas das séries temporais analisadas. / In the context of time series forecasting, is great the interest in studies of forecasting methods of time series that can identify existing structures and patterns in historical data, allowing generate the next patterns of the series. The proposal defended in this thesis is the development of a framework that uses the full potential of forecasting techniques (neural networks) with the optimization techniques (genetic algorithms) in a hybrid system that well enjoy the advantages of each of these techniques to the generation of future scenarios that can show, in aaddition to normal forecasts based on historical values, alternative pathways of the curves of time series analyzed.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2014-01-13T19:54:55Z No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_ImputacaoDadosBaseado.pdf: 1208259 bytes, checksum: 2e7b9d1f0b1637d5e64621ecdbc0f82f (MD5) / Approved for entry into archive by Ana Rosa Silva(arosa@ufpa.br) on 2014-01-17T14:29:14Z (GMT) No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_ImputacaoDadosBaseado.pdf: 1208259 bytes, checksum: 2e7b9d1f0b1637d5e64621ecdbc0f82f (MD5) / Made available in DSpace on 2014-01-17T14:29:14Z (GMT). No. of bitstreams: 2 license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Dissertacao_ImputacaoDadosBaseado.pdf: 1208259 bytes, checksum: 2e7b9d1f0b1637d5e64621ecdbc0f82f (MD5) Previous issue date: 2013 / Durante o processo de extração do conhecimento em bases de dados, alguns problemas podem ser encontrados como por exemplo, a ausência de determinada instância de um atributo. A ocorrência de tal problemática pode causar efeitos danosos nos resultados finais do processo, pois afeta diretamente a qualidade dos dados a ser submetido a um algoritmo de aprendizado de máquina. Na literatura, diversas propostas são apresentadas a fim de contornar tal dano, dentre eles está a de imputação de dados, a qual estima um valor plausível para substituir o ausente. Seguindo essa área de solução para o problema de valores ausentes, diversos trabalhos foram analisados e algumas observações foram realizadas como, a pouca utilização de bases sintéticas que simulem os principais mecanismos de ausência de dados e uma recente tendência a utilização de algoritmos bio-inspirados como tratamento do problema. Com base nesse cenário, esta dissertação apresenta um método de imputação de dados baseado em otimização por enxame de partículas, pouco explorado na área, e o aplica para o tratamento de bases sinteticamente geradas, as quais consideram os principais mecanismos de ausência de dados, MAR, MCAR e NMAR. Os resultados obtidos ao comprar diferentes configurações do método à outros dois conhecidos na área (KNNImpute e SVMImpute) são promissores para sua utilização na área de tratamento de valores ausentes uma vez que alcançou os melhores valores na maioria dos experimentos realizados. / During the knowledge discovery in database process some problems may be found, e.g. some instance of one attribute may be missing. Such issue can even cause harmful effects to the final results of the process, since directly affects the data quality of a database which some machine learning algorithm may be applied to. In the literature are some proposals to solve such harm; among them is the data imputation process that estimates a plausible value to fill in the missing one. Inside the area of missing value treatment, some researches were analyzed and observations were raised such as, a few utilization of synthetic datasets that simulates the main mechanisms of missingness and a tendency to use bioinspired algorithm to treat the missing values. From this scenario, the present dissertation analyses an imputation method based on particle swarm optimization, an underexplored one, and applies it to the treatment of synthetics datasets generated considering the main mechanisms of missingness, MAR, MCAR and NMAR. The results obtained when comparing the algorithm against different configurations of itself and another two treatments known in the area (KNNImpute and SVMImpute) are promising for its use as missing value treatment whereas the bioinspired method reached the bests values for the major of the experiments.

Made available in DSpace on 2011-03-23T21:19:21Z (GMT). No. of bitstreams: 0 / Item created via OAI harvest from source: http://www.bdtd.ufpa.br/tde_oai/oai2.php on 2011-03-23T21:19:21Z (GMT). Item's OAI Record identifier: oai:bdtd.ufpa.br:142 / It aims to apply the characteristics of an augmented reality environment such as easy and intuitive interaction and large visualization space to the implementation, interaction and visualization of multiple coordinated data views. Multiple data views provide the user a better data analysis on different aspects. The coordination among multiple views reduces the cognitive overload for the user. The augmented environment was based on ARToolKit. The interaction is based on a interface with markers. The adopted visualization technique was the 3D scatterplot together with a variety of filter and view configuration options. Finally, some preliminary usability essays for the developed prototype are presented. / Versa sobre a aplicação das características de um ambiente de realidade aumentada, tais como: interação fácil e intuitiva, e grande espaço para visualização de dados, na implementação, interação e visualização de múltiplas visões de dados coordenadas. As múltiplas visões de dados permitem que o usuário realize uma melhor análise dos dados sobre diferentes aspectos, e a coordenação entre as múltiplas visões tem o objetivo de diminuir a sobrecarga oogniriva conferida ao usuário. O ambiente aumentado foi concebido através do ARToolKit, a interação se dá através de uma interface baseada em cartões marcadores. A técnica implementada foi Dispersão de Dados 3D, acompanhada de uma diversidade de filtros e configurações para as visões de dados. Por fim, são apresentados alguns ensaios de usabilidade preliminares do protótipo desenvolvido.

Submitted by Irvana Coutinho (irvana@ufpa.br) on 2011-03-30T17:02:23Z No. of bitstreams: 2 SILVA, Francisco Robson Alves da PPGEngenharia Elétrica.pdf: 2385467 bytes, checksum: 993bec2fe29d246683268370860dc249 (MD5) license_rdf: 22876 bytes, checksum: 0a4e855daae7a181424315bc63e71991 (MD5) / Made available in DSpace on 2011-03-30T17:02:23Z (GMT). No. of bitstreams: 2 SILVA, Francisco Robson Alves da PPGEngenharia Elétrica.pdf: 2385467 bytes, checksum: 993bec2fe29d246683268370860dc249 (MD5) license_rdf: 22876 bytes, checksum: 0a4e855daae7a181424315bc63e71991 (MD5) Previous issue date: 2009 / A aprendizagem é um processo continuo permeado por construções e reconstruções do conhecimento, com a inserção do computador no processo de ensino aprendizagem, juntamente com a análise das abordagens da Psicologia Educacional e Educação Matemática, foi possível, neste trabalho, a elaboração de um prototipo computacional voltado para o auxilio a aprendizagem da matemática. Este prototipo e um ambiente computacional interativo para auxiliar o aprendizado das quatro operações básicas (adição, subtração,multiplicação e divisão). Assunto este de grande repercussão no ambiente escolar, pois se não aprendido adequadamente, apresenta sérios problemas na evolução do aprendizado matemático do estudante. O trabalho envolve quatro etapas: Aspectos teóricos sobre o processo de ensino aprendizagem, dando-se maior ênfase a abordagem construtivista; Processo de ensino aprendizagem de Matemática, suas dificuldades e perspectivas de mudanças mediante ao aprendizado auxiliado por meios computacionais; concepção e modelagem do prototipo seguido dos Resultados obtidos durante aplicações do mesmo, resultados esses favoráveis a proposta inicial do trabalho. / Learning is permeated by a continuous process of knowledge construction and reconstruction, with the introduction of computer education in the process of learning, together with the analysis of approaches of Educational Psychology and Mathematics Education, was possible in this work, the development of a prototype computer turned to the aid the learning of mathematics. This prototype is an interactive computational environment to support the learning of the four basic operations (addition, subtraction, multiplication and division). This issue of great impact in the school environment, it is not learned properly, presents serious problems in the development of the student's mathematical learning. The work involves four steps: Theoretical education on the process of learning, with greater emphasis on constructivist approach, the teaching process learning of mathematics, its problems and prospects of change through learning assisted by computer, design and modeling of the prototype followed by the results obtained during the same applications, these results support the proposal's original work. Keywords: teaching, learning, education, mathematics, computer prototype.

Submitted by Edisangela Bastos (edisangela@ufpa.br) on 2012-04-13T19:51:35Z No. of bitstreams: 2 Dissertacao_ProjetoImplementacaoSistema.pdf: 4260700 bytes, checksum: 554711ed7a649fe6f97d45996a1440c4 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Approved for entry into archive by Edisangela Bastos(edisangela@ufpa.br) on 2012-04-13T19:53:30Z (GMT) No. of bitstreams: 2 Dissertacao_ProjetoImplementacaoSistema.pdf: 4260700 bytes, checksum: 554711ed7a649fe6f97d45996a1440c4 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) / Made available in DSpace on 2012-04-13T19:53:30Z (GMT). No. of bitstreams: 2 Dissertacao_ProjetoImplementacaoSistema.pdf: 4260700 bytes, checksum: 554711ed7a649fe6f97d45996a1440c4 (MD5) license_rdf: 23898 bytes, checksum: e363e809996cf46ada20da1accfcd9c7 (MD5) Previous issue date: 2010 / Esta dissertação apresenta o projeto, desenvolvimento e implementação de um software para criação de animações, simulações e treinamentos de processos e instruções técnicas industriais, destacando também a arquitetura utilizada para sua implementação. O software apresentado permite a geração de animações, textos, sons e interações, fornecendo ferramentas de criação, visualização e supervisão da simulação com o uso de Realidade Virtual em três dimensões. A dissertação trata ainda do uso prático do software através de um estudo de caso com simulações 3D de processos industriais reais de uma usina de geração de energia elétrica. Este estudo também contribui para as áreas de treinamento em realidade virtual e sistemas de autoria 3D ao apresentar conceitos inovadores na área de supervisão automática, mostrando também uma possível estrutura de componentes de software para uso nas áreas citadas. Pode-se destacar ainda a revisão de tecnologias semelhantes à proposta neste trabalho, visando à identificação de influências, melhorias e inovações nas áreas de autoria 3D e treinamento. / This dissertation presents the design, development and implementation of a software for the creation of animation, simulations and training processes and industrial technical instructions, also presents the architecture used for its implementation. The software presented allows the generation of animation, texts, sounds and interactions, providing tools for creating, display and supervision of simulation with use of Virtual Reality 3D. The dissertation also deals with the practical use of the software through a case study with simulations 3D in real industrial processes of a plant for generation of electric energy. This study also contributes to the areas of training and virtual reality and systems of authorship 3D to submit innovative concepts in the area of supervision automatic, also showing a possible structure of software components for use in the areas mentioned. May also be highlighted the review of similar technologies to the purpose of this study, aiming to the identification of influences, improvements and innovations in the areas of authorship 3D and training.