Acompanha: Uma proposta de abordagem prática baseada em Ausubel para o ensino de programação de computadores / A aprendizagem de programação de computadores é essencial para todas as carreiras ligadas a computação e informática, entretanto percebe-se que parcela significativa dos alunos apresenta dificuldades em assimilar e aplicar certos conceitos. Esta pesquisa buscou elaborar uma proposta de abordagem prática, baseada na teoria da aprendizagem significativa, enfatizando/valorizando a interação com a máquina e expondo os estudantes mais cedo ao uso prático do computador para o ensino de programação. Com base na revisão de literatura referente as dificuldades no processo de ensino/aprendizagem de programação de computadores, e também nas propostas existentes, elaborou-se uma proposta de abordagem para as disciplinas introdutórias de programação. Esta proposta foi submetida a um teste piloto, seguido de uma pesquisa experimental, onde foram conduzidas aplicações da proposta pelo professor pesquisador. A partir da coleta de dados de documentos oficiais como diários de classes e avaliações, foi realizada uma comparação qualitativa entre a proposta de abordagem e a abordagem tradicional da disciplina. A análise dos dados, indicou resultados positivos a exposição dos estudantes mais cedo ao uso prático do computador, e a assuntos que normalmente são vistos primeiramente de maneira conceitual. Além disso, a proposta de abordagem desenvolvida possibilitou aos alunos verem os conteúdos mais vezes, o que pode contribuir para a aquisição de experiência em programação. / Learning computer programming is essential for all careers in computing and information technology. However, a significant part of student presents difficulties in learning and applying certain concepts. This research aimed to develop a practical approach, based on the theory of meaningful learning, emphasizing / valuing the interaction with machine and exposing students earlier to a practical use of computers for teaching programming. Based on the literature review concerning the difficulties in teaching / learning computer programming, and also on existing proposals, it was drawn up a approach to introductory courses in programming. This proposal was submitted to a pilot test, followed by an experimental research conducted by research professor. From the collection of official documents such as daily classes and evaluations, a qualitative comparison was made between the proposal and the traditional approach to discipline. Data analysis indicated that an earlier exposure to a practical use of the computer and to matters usually first seen conceptually are positive for students. Moreover, this proposal enabled the students to see content more often. It may contribute to the acquisition of programming experience.

Acompanha: Uma proposta de abordagem prática baseada em Ausubel para o ensino de programação de computadores / A aprendizagem de programação de computadores é essencial para todas as carreiras ligadas a computação e informática, entretanto percebe-se que parcela significativa dos alunos apresenta dificuldades em assimilar e aplicar certos conceitos. Esta pesquisa buscou elaborar uma proposta de abordagem prática, baseada na teoria da aprendizagem significativa, enfatizando/valorizando a interação com a máquina e expondo os estudantes mais cedo ao uso prático do computador para o ensino de programação. Com base na revisão de literatura referente as dificuldades no processo de ensino/aprendizagem de programação de computadores, e também nas propostas existentes, elaborou-se uma proposta de abordagem para as disciplinas introdutórias de programação. Esta proposta foi submetida a um teste piloto, seguido de uma pesquisa experimental, onde foram conduzidas aplicações da proposta pelo professor pesquisador. A partir da coleta de dados de documentos oficiais como diários de classes e avaliações, foi realizada uma comparação qualitativa entre a proposta de abordagem e a abordagem tradicional da disciplina. A análise dos dados, indicou resultados positivos a exposição dos estudantes mais cedo ao uso prático do computador, e a assuntos que normalmente são vistos primeiramente de maneira conceitual. Além disso, a proposta de abordagem desenvolvida possibilitou aos alunos verem os conteúdos mais vezes, o que pode contribuir para a aquisição de experiência em programação. / Learning computer programming is essential for all careers in computing and information technology. However, a significant part of student presents difficulties in learning and applying certain concepts. This research aimed to develop a practical approach, based on the theory of meaningful learning, emphasizing / valuing the interaction with machine and exposing students earlier to a practical use of computers for teaching programming. Based on the literature review concerning the difficulties in teaching / learning computer programming, and also on existing proposals, it was drawn up a approach to introductory courses in programming. This proposal was submitted to a pilot test, followed by an experimental research conducted by research professor. From the collection of official documents such as daily classes and evaluations, a qualitative comparison was made between the proposal and the traditional approach to discipline. Data analysis indicated that an earlier exposure to a practical use of the computer and to matters usually first seen conceptually are positive for students. Moreover, this proposal enabled the students to see content more often. It may contribute to the acquisition of programming experience.

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Cloud computing offers resources to reduce the computational costs in the institutions that uses hardware and software resources through virtualization, in addition the delivery of software as a service. There are mechanisms for automated software deployment in cloud providers, however it requires encoding or extensive knowledge for developer on the cloud provider specific technology, particularly the various requirements reconstruction, because cloud environments have their own software architectures. In this research was presented a model-based approach to automatic software deployment in the cloud environment. We presented a brief review of literature, with existing proposals for automated software deployment in cloud. In analyzed solutions, we found five that presents deployment mechanisms are script or programming language based, two proposals used manual mechanisms and two proposals applied the model-based approach to software deployment in the cloud, however still strongly linked to manual aspects and complex modeling, because it requires the developer to understand the cloud provider architecture. This research presents a new solution with detailed architecture, use cases, data flow and conceptual view of a model-based approach to automatic software deployment in the cloud. In this research was also conducted an experiment, where the solution presented positive impacts in maintainability, learn-ability and reduction of developer´s workload to deploy software services in the cloud, using UML deployment diagrams as input. / A computação em nuvem oferece recursos para reduzir os custos computacionais nas instituições que utilizam recursos de hardware e software através da virtualização, além da entrega de software como serviço. Existem mecanismos automáticos para implantação de software em provedores de nuvem, no entanto, demandam codificação ou requerem conhecimento aprofundado do desenvolvedor acerca da tecnologia específica do provedor de nuvem, sobretudo da reconstrução de vários requisitos, já que ambientes em nuvem possuem arquiteturas de software próprias. Nesta pesquisa foi apresentada uma abordagem baseada em modelos para implantação automática de software no ambiente em nuvem. Foi apresentada uma breve revisão da literatura sobre as propostas existentes para implantação automática de software na nuvem. Foram analisadas as propostas, onde cinco mecanismos de implantação baseiam-se em script ou linguagem de programação, duas propostas utilizaram em mecanismos manuais e duas propostas aplicaram uma abordagem baseada em modelos para implantação de software na nuvem, no entanto ainda fortemente ligadas a aspectos manuais e de modelagem complexa, uma vez que requer do desenvolvedor a compreensão da arquitetura do provedor de nuvem. Esta investigação apresenta uma nova solução com arquitetura detalhada, casos de uso, fluxo de dados e visão conceitual de uma abordagem dirigida a modelos para implantação de software automática na nuvem. Nesta pesquisa também foi realizado um experimento onde a solução apresentou impactos positivos em manutenibilidade, apreensibilidade e na redução na carga de trabalho do desenvolvedor para implantar serviços de software na nuvem por meio de diagramas de implantação UML como entrada.

The problem of fault diagnosis has been widely discussed by the academic community using the theory of Discrete Event Systems. However, the application of this theory to real systems is a field where there is a lot to be explored. The problem proposed in this work is to diagnose permanent or intermittent failures in devices (sensors and actuators) belonging to stations of a didactic flexible manufacturing system, called Modular Production System - MPS, produced by Festo company. The objective will be achieved through a modeling and simulation that allow for future implementation in the system. Three methods will be presented on fault diagnosis written in UPPAAL software language which is based on the timed safety automata formalism, as proposed by ALUR and DILL (1994) and HENZINGER et al (1994). The first method is an implementation of TRIPAKIS (2002) diagnoser. The other two methods developed in this research are inspired by TRIPAKIS (2002) and are diagnosable by definitions presented in TRIPAKIS (2002) and I-diagnosability presented in Sampath et al. (1995). The strategies for fault detection include the use of a network of timed safety automata, composed of the automaton that describes the process behavior and the diagnosers automata for each type of failure. The diagnosers detect failures from the observation of delays of certain transitions in the automaton G (process) and isolate them through observations of the sensors states. Fault indicators events serve to announce failures and synchronize the automaton G with the diagnosers. / O problema do diagnóstico de falhas, utilizando a teoria de Sistemas a Eventos Discretos, tem sido largamente abordado pela comunidade acadêmica. Entretanto, a aplicação desta teoria a sistemas reais é um campo onde há muito a ser explorado. O problema proposto, neste trabalho, é o de diagnosticar falhas permanentes ou intermitentes de dispositivos (sensores e atuadores) pertencentes a estações de um sistema flexível de manufatura didático, denominado Sistema Modular de Produção - MPS, fabricado pela empresa Festo. Este objetivo será alcançado por meio de uma modelagem e simulação que permitam uma futura implementação no sistema. Serão apresentados três métodos para diagnóstico de falhas escritos na linguagem do software UPPAAL que se baseia no formalismo autômatos seguros temporizados, conforme proposto por ALUR e DILL (1994) e HENZINGER et al (1994). O primeiro método é uma implementação do diagnosticador proposto em TRIPAKIS (2002). Os outros dois métodos, elaborados nesta pesquisa, são inspirados no diagnosticador TRIPAKIS (2002) e são diagnosticáveis pelos critérios apresentados em TRIPAKIS (2002) e Idiagnosticabilidade conforme SAMPATH et al. (1995). As estratégias para detecção de falhas incluem a utilização de uma rede de autômatos seguros temporizados, composta pelo autômato que descreve o comportamento do processo e por autômatos diagnosticadores para cada tipo de falha. Os diagnosticadores detectam as falhas a partir da observação de atrasos de determinadas transições do autômato G (processo) e as isolam por meio de observações dos estados dos sensores. Eventos indicadores de falhas servem para anunciar falhas e sincronizar o autômato G com os diagnosticadores.

Orientador: Hans Kurt Edmund Liesenberg / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-05T04:28:35Z (GMT). No. of bitstreams: 1 NevesJunior_Carlos_M.pdf: 1230174 bytes, checksum: d583db28ad2a79922429fb1cc37e40ca (MD5) Previous issue date: 2005 / Resumo: O objetivo do presente trabalho é o desenvolvimento do Gerente de Distribuição do ambiente de execução Xchart. O ambiente Xchart, tal como definido na tecnologia de mesmo nome, a Tecnologia Xchart, é composto por um conjunto de ferramentas que apóiam o desenvolvimento de gerenciadores de diálogo de interfaces de usuário. A especificação destes gerenciadores de diálogo é modular e com semântica prevendo a execução concorrente de seus componentes, o que permitiria a distribuição de tais componentes por uma rede de computadores. Xchart também dá nome à linguagem visual empregada na especificação e captura do controle de diálogo destas interfaces, e o fato de Xchart ser uma variante de Statecharts permite que a linguagem seja utilizada em um domínio maior, o domínio de sistemas reativos distribuídos. O Gerente de Distribuição é o componente do sistema de execução de Xchart que fornece os recursos para a execução concorrente e distribuída destes sistemas reativos. O atual trabalho implementa este componente e o sistema de execução de Xchart com tecnologias disponíveis na plataforma Java 2 Platform, Enterprise Edition (J2EE). J2EE é uma especificação de plataforma para desenvolvimento de aplicações corporativas distribuídas que oferece uma série de recursos tais como serviço de nomes e diretório, sistema de entrega de mensagens e mecanismos para controle de concorrência como gerenciamento de transações atômicas. O emprego de J2EE no desenvolvimento do ambiente Xchart visa reduzir o esforço de implementação destas funcionalidades típicas de sistemas distribuídos, além de aproveitar outros benefícios da linguagem JavaTM como a independência de plataforma / Abstract: The aim of the current project is the development of the Distribution Manager of the Xchart runtime environment. The Xchart environment as defined by the Xchart technology is composed by a set of tools that supports the development of dialogue managers of user interfaces. The specification of these dialogue managers is modular and describes the concurrent execution of these components, which allows a potential distribution of these components over a computer network. Xchart is also the name of the visual language used to specify and capture the dialogue control of user interfaces, and since Xchart is a variant of Statecharts, it can be applied in a major domain: the domain of the distributed reactive systems. The Distribution Manager is the component of this Xchart runtime system that provides the resources for concurrent and distributed execution of these reactive systems. The current project implements this component and the Xchart runtime system using available technologies of the Java 2 Platform, Enterprise Edition (J2EE). J2EE is a specification of platform for development of distributed enterprise applications that offers a set of resources like naming and directory services, message service and a concurrency control mechanism based on atomic transaction management. Some of the benefits on using J2EE technology for the development of the Xchart environment are the reduction of the efforts typically required by the implementation of regular distributed systems algorithms and also the platform independence model provided by Java / Mestrado / Sistemas de Computação / Mestre em Ciência da Computação

Orientador: Guido Costa Souza de Araújo / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-22T08:27:32Z (GMT). No. of bitstreams: 1 Nicacio_DanielHenricusdeKnegtDutra_D.pdf: 2579331 bytes, checksum: b8e15a6f91203b98455f39d63d63a634 (MD5) Previous issue date: 2012 / Resumo: Sistemas de Memória Transacional em Software (MTS) têm sido usados como uma abordagem para melhorar o desempenho ao permitir a execução concorrente de blocos atômicos. Porém, em cenários com alta contenção, sistemas baseados em MTS podem diminuir o desempenho consideravelmente, já que a taxa de conflitos aumenta. Políticas de gerenciamento de contenção têm sido usadas como uma forma de selecionar qual transação abortar quando um conflito ocorre. No geral, gerenciadores de contenção não são capazes de evitar conflitos, tendo em vista que eles apenas selecionam qual transação abortar e o momento em que ela deve reiniciar. Como gerenciadores de contenção agem somente após a detecção de um conflito, é difícil aumentar a taxa de transações finalizadas com sucesso. Abordagens mais pró-ativas foram propostas, focando na previsão de quando uma transação deve abortar e atrasando o início de sua execução. Contudo, as técnicas pró-ativas continuam sendo limitadas, já que elas não substituem a transação fadada a abortar por outra transação com melhores probabilidades de sucesso, ou quando o fazem, dependem do sistema operacional para essa tarefa, tendo pouco ou nenhum controle de qual transação será a substituta. Esta tese apresenta o LUTS, Lightweight User-Level Transaction Scheduler, um escalonador de transação de baixo custo em nível de usuário. Diferente de outras técnicas, LUTS provê maneiras de selecionar outra transação a ser executada em paralelo, melhorando o desempenho do sistema. Nós discutimos o projeto do LUTS e propomos uma heurística dinâmica, com o objetivo de evitar conflitos, que foi construída utilizando os métodos disponibilizados pelo LUTS. Resultados experimentais, conduzidos com os conjuntos de aplicações STAMP e STMBench7, e executando nas bibliotecas TinySTM e SwissTM, mostram como nossa heurística para evitar conflitos pode melhorar efetivamente o desempenho de sistema de MTS em aplicações com alta contenção / Abstract: Software Transaction Memory (STM) systems have been used as an approach to improve performance, by allowing the concurrent execution of atomic blocks. However, under high-contention workloads, STM-based systems can considerably degrade performance, as transaction conflict rate increases. Contention management policies have been used as a way to select which transaction to abort when a conflict occurs. In general, contention managers are not capable of avoiding conflicts, as they can only select which transaction to abort and the moment it should restart. Since contention manager's act only after a conflict is detected, it becomes harder to effectively increase transaction throughput. More proactive approaches have emerged, aiming at predicting when a transaction is likely to abort, postponing its execution. Nevertheless, most of the proposed proactive techniques are limited, as they do not replace the doomed transaction by another or, when they do, they rely on the operating system for that, having little or no control on which transaction to run. This article proposes LUTS, a Lightweight User-Level Transaction Scheduler. Unlike other techniques, LUTS provides the means for selecting another transaction to run in parallel, thus improving system throughput. We discuss LUTS design and propose a dynamic conflict-avoidance heuristic built around its scheduling capabilities. Experimental results, conducted with the STAMP and STMBench7 benchmark suites, running on TinySTM and SwissTM, show how our conflict-avoidance heuristic can effectively improve STM performance on high contention applications / Doutorado / Ciência da Computação / Doutor em Ciência da Computação

Orientadores: Guido Costa Souza de Araújo, José Nelson Amaral / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Computação / Made available in DSpace on 2018-08-27T10:12:59Z (GMT). No. of bitstreams: 1 Pereira_MarcioMachado_D.pdf: 2922376 bytes, checksum: 9775914667eadf354d7e256fb2835859 (MD5) Previous issue date: 2015 / Resumo: Nos últimos anos, Memórias Transacionais (Transactional Memories ¿ TMs) têm-se mostrado um modelo de programação paralela que combina, de forma eficaz, a melhoria de desempenho com a facilidade de programação. Além disso, a recente introdução de extensões para suporte a TM por grandes fabricantes de microprocessadores, também parece endossá-la como um modelo de programação para aplicações paralelas. Uma das questões centrais na concepção de sistemas de TM em Software (STM) é identificar mecanismos ou heurísticas que possam minimizar a contenção decorrente dos conflitos entre transações. Apesar de já terem sido propostos vários mecanismos para reduzir a contenção, essas técnicas têm um alcance limitado, uma vez que o conflito é evitado por interrupção ou serialização da execução da transação, impactando consideravelmente o desempenho do programa. Este trabalho explora uma abordagem complementar para melhorar o desempenho de STM através da utilização de escalonadores. Um escalonador de TM é um componente de software que decide quando uma determinada transação deve ser executada ou não. Sua eficácia é muito sensível às métricas usadas para prever o comportamento das transações, especialmente em cenários de alta contenção. Este trabalho propõe um novo escalonador, Dynamic Transaction Scheduler ¿ DTS, para selecionar a próxima transação a ser executada. DTS é baseada em uma política de "recompensa pelo sucesso" e utiliza uma métrica que mede com melhor precisão o trabalho realizado por uma transação. Memórias Transacionais em Hardware (HTMs) são mecanismos interessante para implementar TM porque integram o suporte a transações no nível da arquitetura. Por outro lado, aplicações que usam HTM podem ter o seu desempenho dificultado pela falta de escalabilidade e transbordamento da cache de dados. Este trabalho apresenta um extenso estudo de desempenho de aplicações que usam HTM na arquitetura Haswell da Intel. Ele avalia os pontos fortes e fracos desta nova arquitetura, realizando uma exploração das várias características das aplicações de TM. Este estudo detalhado revela as restrições impostas pela nova arquitetura e introduz uma política de serialização simples, porém eficaz, para garantir o progresso das transações, além de proporcionar melhor desempenho / Abstract: In the last few years, Transactional Memories (TMs) have been shown to be a parallel programming model that can effectively combine performance improvement with ease of programming. Moreover, the recent introduction of (H)TM-based ISA extensions, by major microprocessor manufacturers, also seems to endorse TM as a programming model for today¿s parallel applications. One of the central issues in designing Software TM (STM) systems is to identify mechanisms or heuristics that can minimize contention arising from conflicting transactions. Although a number of mechanisms have been proposed to tackle contention, such techniques have a limited scope, because conflict is avoided by either interrupting or serializing transaction execution, thus considerably impacting performance. This work explores a complementary approach to boost the performance of STM through the use of schedulers. A TM scheduler is a software component that decides when a particular transaction should be executed. Their effectiveness is very sensitive to the accuracy of the metrics used to predict transaction behaviour, particularly in high-contention scenarios. This work proposes a new Dynamic Transaction Scheduler ¿ DTS to select a transaction to execute next, based on a new policy that rewards success and an improved metric that measures the amount of effective work performed by a transaction. Hardware TMs (HTM) are an interesting mechanism to implement TM as they integrate the support for transactions at the lowest, most efficient, architectural level. On the other hand, for some applications, HTMs can have their performance hindered by the lack of scalability and by limitations in cache store capacity. This work presents an extensive performance study of the implementation of HTM in the Haswell generation of Intel x86 core processors. It evaluates the strengths and weaknesses of this new architecture by exploring several dimensions in the space of TM application characteristics. This detailed performance study provides insights on the constraints imposed by the Intel¿s Transaction Synchronization Extension (Intel¿s TSX) and introduces a simple, but efficient, serialization policy for guaranteeing forward progress on top of the best-effort Intel¿s HTM which was critical to achieving performance / Doutorado / Ciência da Computação / Doutor em Ciência da Computação

Orientador: Plácida Leopoldina Ventura Amorim da Costa Santos / Banca: Silvana Ap. B. Gregório Vidotti / Banca: Edberto Ferneda / Resumo: Atualmente a nossa sociedade, denominada sociedade da informação, vem sendo caracterizada pela valorização da informação, pelo uso cada vez maior de tecnologias de informação e comunicação e pelo crescimento exponencial dos recursos informacionais disponibilizados em diversos ambientes, principalmente na Web. Essa realidade trouxe algumas mudanças no acesso automatizado às informações. Se por um lado temos uma grande quantidade de recursos informacionais disponibilizados, por outro temos como conseqüência problemas relacionados à busca, localização, acesso e recuperação dessas informações em ambientes digitais. Nesse contexto, o problema que originou essa pesquisa está relacionado com a dificuldade na busca e na recuperação de recursos informacionais digitais na Web e a ausência de tratamento adequado para a representação informacional desses recursos. O maior desafio para a comunidade científica no momento está na identificação de padrões e métodos de representação da informação, ou seja, na construção de formas de representação do recurso informacional de maneira a proporcionar sua busca e recuperação de modo mais eficiente. Assim, a proposição apontada nesse trabalho como solução do problema refere-se ao estabelecimento da Web Semântica e a aplicação de padrões de metadados para a representação da informação, pois são consideradas como iniciativas importantes para proporcionar uma melhor estruturação e representação dos recursos informacionais em ambientes digitais. Com uma metodologia baseada na análise exploratória e descritiva do tema a partir da literatura disponível, apresenta-se uma análise da Web Semântica como uma nova proposta para organização dos recursos informacionais na Web e as ferramentas tecnológicas que permeiam sua construção, com enfoque no uso de metadados como elemento fundamental para proporcionar... (Resumo completo, clicar acesso eletrônico abaixo). / Abstract: Nowadays our society, named society of information, has been characterized by the valorization of information through the increasing use of the information and communication technologies and the exponential growth of the informational resources, available in various environments, mainly on the Web. This reality has brought some changes for the automated access to information. If we have a big amount of informational resources available at one side, on the other we have problems related to search, localization, access and recuperation of this information in digital environments as a consequence. In this context, the problem that originated this research is related to the difficulty on searching and recuperating digital informational resources on the Web, and the lack of adequate treatment for the informational representation of these resources. At the moment, the biggest challenge for the scientific community is to identify patterns and methods of representation of information, that is, the construction of forms of representation of the informational resource in order to provide its search and recuperation in a more efficient manner. So, the pointed proposition for the solution of the problem, in this paper, refers to the Semantic Web establishment and the application of metadata patterns to the representation of information, because they are considered an important initiative for providing a better structuring and representation of the informational resources in digital environments. With a methodology based on the exploratory and descriptive analysis of the theme, beginning from the available literature, it is possible to present a Semantic Web analysis as a new proposal for the organization of the informational resources on the Web, and the technological tools that permeate its construction, focusing the use of metadata as the fundamental element to provide a better representation of the informational resources available on the Web, and their. / Mestre

Submitted by Cleide Dantas (cleidedantas@ufpa.br) on 2014-09-22T13:19:07Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_InterfacesGraficasEntrada.pdf: 2071188 bytes, checksum: 57a00616df244bb00fec10e728b8a9a1 (MD5) / Approved for entry into archive by Ana Rosa Silva (arosa@ufpa.br) on 2014-09-29T15:15:23Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_InterfacesGraficasEntrada.pdf: 2071188 bytes, checksum: 57a00616df244bb00fec10e728b8a9a1 (MD5) / Made available in DSpace on 2014-09-29T15:15:23Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertacao_InterfacesGraficasEntrada.pdf: 2071188 bytes, checksum: 57a00616df244bb00fec10e728b8a9a1 (MD5) Previous issue date: 2005 / CNPq - Conselho Nacional de Desenvolvimento Científico e Tecnológico / Apresentamos uma interface gráfica para o programa eGs (electrical GEOPHYSICS suíte) usado na modelagem e interpretação de dados elétricos e eletromagnéticos na exploração geofísica. Esta dissertação corresponde a parcela do programa que trata das interfaces de entrada de dados de modelos geoelétricos bi e tridimensionais e das interfaces de apresentação dos resultados da modelagem como também dos dados observados. O programa contém interfaces para criação, modificação e visualização de modelos geoelétricos bi e tridimensionais, e para apresentação da resposta do modelo através de gráficos e imagens. Este trabalho resultou num programa com diversas opções para alterar a geometria e as propriedades físicas do modelo geoelétricos e recursos de visualização para facilitar a interpretação de dados geofísicos. A interface gráfica pode ser usada para criar modelos geoelétricos dos métodos elétrico ou eletromagnético mais usados e analisar as respostas dos modelos e de dados observados em campanha de campo. O programa é suficientemente flexível de modo que novas interfaces gráficas de outros métodos elétricos e eletromagnéticos podem ser facilmente implementadas. / We present a graphic interface for the program eGs (electrical GEOPHYSICS suite) used for modeling and interpretation of electric and electromagnetic data in geophysical exploration. This master degree dissertation corresponds the portion of the program that treats the interfaces for bi and three-dimensional input data of geoelectrical models together with interfaces for the presentation of the modeling results and for the presentation of observed data as well. The program contains interfaces for creation, modification and visualization of bi and threedimensional geoelectrical models and for illustrations of the calculated results through graphs and images. This work gives a program with several options to alter the geometry and the physical properties of the geoelectrical models, including facilities for three dimensions visualization in order to help geophysical data interpretation. The graphic interfaces can be used to create geoelectrical models associated with the most used electric and electromagnetic geophysical methods and to analyze the answers obtained by numerical modeling associated with different types of observed data in field campaign. The program is sufficiently flexible so that new graphic interfaces of other electric and electromagnetic methods can be implemented easily.

The Teaching and learning computer-programming process as been the target of scientific research since the early days of computing. Although several strategies have been and are still being tested, its application in computer-based courses has been difficult, since it requires some commitment from educators to search, study and evaluate them. Although not looking for a miraculous cure for all problems in this area (reported in the literature), and believing in the pedagogical potential of the socio-cognitive conflict theory, it has been decided to develop a teaching method of programming based on Bloom's taxonomy of educational objectives to be applied using the pair-programming technique. This method is being used to produce a book of Algorithms and Programming Techniques intending to be acknowledged by the Academy. Experiments with such method has been carried out at a private University and there has been a significant increase of motivation by the students that underwent the experiments. / O ensino-aprendizagem de programação de computadores tem sido alvo de investigações cientificas desde os primórdios da computação. Embora diversas estratégias foram e ainda têm sido experimentadas, sua aplicação em cursos de computação e afins se mostra difícil, uma vez que exige algum empenho de educadores em buscá-las, estudá-las e avaliá-las. Não procurando a cura milagrosa para todos os problemas nessa área (relatados na literatura), e acreditando no potencial pedagógico da teoria do conflito sócio-cognitivo, decidiu-se construir um método de ensino de programação baseado na taxionomia de objetivos educacionais de Bloom a ser aplicado através da técnica de Programação em Duplas. O método está sendo utilizado na produção de um livro de Algoritmos e Técnicas de Programação no intuito de difundi-lo na Academia. Foram realizados experimentos com o método em uma Universidade da iniciativa privada e constatou-se um expressivo aumento de motivação dos aprendizes que a ele foram submetidos. / Doutor em Ciências