• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 544
  • 38
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 592
  • 554
  • 293
  • 260
  • 257
  • 104
  • 101
  • 100
  • 94
  • 91
  • 83
  • 82
  • 82
  • 81
  • 74
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
281

Raciocínio baseado em casos aplicado ao gerenciamento de falhas em redes de computadores / Case-based reasoning applied to fault management in computer networks

Melchiors, Cristina January 1999 (has links)
Com o crescimento do número e da heterogeneidade dos equipamentos presentes nas atuais redes de computadores, o gerenciamento eficaz destes recursos toma-se crítico. Esta atividade exige dos gerentes de redes a disponibilidade de uma grande quantidade de informações sobre os seus equipamentos, as tecnologias envolvidas e os problemas associados a elas. Sistemas de registro de problemas (trouble ticket systems) tem lido utilizados para armazenar os incidentes ocorridos, servindo como uma memória histórica da rede e acumulando o conhecimento derivado do processo de diagnose e resolução de problemas. Todavia, o crescente número de registros armazenados torna a busca manual nestes sistemas por situações similares ocorridas anteriormente muito morosa e imprecisa. Assim, uma solução apropriada para consolidar a memória histórica das redes é o desenvolvimento de um sistema especialista que utilize o conhecimento armazenado nos sistemas de registro de problemas para propor soluções para um problema corrente. Uma abordagem da Inteligência Artificial que tem atraído enorme atenção nos últimos anos e que pode ser utilizada para tal fim é o raciocínio baseado em casos (casebased reasoning). Este paradigma de raciocínio visa propor soluções para novos problemas através da recuperação de um caso similar ocorrido no passado, cuja solução pode ser reutilizada na nova situação. Além disso, os benefícios deste paradigma incluem a capacidade de aprendizado com a experiência, permitindo que novos problemas sejam incorporados e se tomem disponíveis para use em situações futuras, aumentando com isso o conhecimento presente no sistema. Este trabalho apresenta um sistema que utiliza o paradigma de raciocínio baseado em casos aplicado a um sistema de registro de problemas para propor soluções para um novo problema. Esse sistema foi desenvolvido com o propósito de auxiliar no diagnostico e resolução dos problemas em redes. Os problemas típicos deste domínio, a abordagem adotada e os resultados obtidos com o protótipo construído são descritos. / With the increasing number of computer equipments and their increasing heterogeneity, the efficient management of those resources has become a hard job. This activity demands from the network manager a big amount of expertise on network equipments, technologies involved, and eventual problems that may arise. So far, trouble ticket systems (TTS) have been used to store network problems, working like a network historical memory and accumulating the knowledge derived from the diagnosis and troubleshooting of such problems. However, the increasing number of stored tickets makes the manual search of similar situations very slow and inaccurate in these kind of systems. So, an adequate approach to consolidate the network historic memory is the development of an expert system that uses the knowledge stored in the trouble ticket systems to propose a solution for a current problem. Case-based reasoning (CBR), an approach borrowed from Artificial Intelligence that recently had attracted many researchers attention, may be applied to help diagnosing and troubleshooting networking management problems. This reasoning paradigm proposes solution to new problems by retrieving a similar case occurred in the past, whose solution can be reused in the new situation. Furthermore, the benefits of this paradigm include the experience learning capability, allowing new problems being added and becoming available to use in future situations, expanding the knowledge of the system. This work presents a system that uses case-based reasoning applied to a trouble ticket system to propose solutions for a new problem in the network. This system was developed with the aim of helping the diagnostic and troubleshooting of network problems. It describes the typical problems of this domain, the adopted approach and the results obtained with the prototype built.
282

Modelo de Ising aplicado ao estudo da criminalidade / Ising model applied to the study of criminality

Lucena Júnior, José Emílio de 28 May 2014 (has links)
Nosso estudo foi elaborado a partir de uma analogia do modelo de Ising em duas dimensões para analisar a influência que a rede de contatos e as forças externas podem exercer no indivíduo para que ele tenha ou não a intenção de agir licitamente. Esse estudo teve como inspiração o modelo proposto no artigo Analysing Tax Evasion Dynamics Via The Ising Model (ZAKLAN; WESTERHOFF; STAUFFER, 2009), porém, com ênfase à intenção dos agentes, que precede a conduta delituosa, e não ao cometimento do crime em si, quando já ocorreu o dano à sociedade. A analogia e inclusão de algumas variáveis ao referido modelo nos possibilitou estudar, de acordo com cada cenário, formas de manter ou reduzir os índices criminais, prever possíveis situações de histerese, suas consequências e possíveis custos para a sociedade e para o governo. / Our study was drawn from an analogy of the Ising model in two dimensions to analyze the influence that the network and the external forces can exert on the individual so that whether or not he intends to act lawfully. This study was inspired by that proposed in the article \"Analysing Tax Evasion Dynamics Via The Ising Model\" (ZAKLAN; WESTERHOFF; STAUFFER, 2009) model, but with emphasis on the intention of the agents, which precedes the criminal conduct, not to the commission of the crime itself, when the damage has already occurred to society. The analogy is the inclusion of some variables that model allowed us to study, according to each scenario, ways to maintain or reduce crime rates, predict possible situations hysteresis, their consequences and potential costs to society and the government.
283

Item-based-adp: análise e melhoramento do algoritmo de filtragem colaborativa item-based / Item-based-adp: analysis and improvent of collaborative filtering algorithm item-based

Aleixo, Everton Lima 02 September 2014 (has links)
Submitted by Erika Demachki (erikademachki@gmail.com) on 2015-02-06T20:35:15Z No. of bitstreams: 2 Dissertação - Everton Lima Aleixo - 2014.pdf: 2375638 bytes, checksum: accbd56745e040e23362d951a1336538 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Erika Demachki (erikademachki@gmail.com) on 2015-02-06T20:35:41Z (GMT) No. of bitstreams: 2 Dissertação - Everton Lima Aleixo - 2014.pdf: 2375638 bytes, checksum: accbd56745e040e23362d951a1336538 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2015-02-06T20:35:41Z (GMT). No. of bitstreams: 2 Dissertação - Everton Lima Aleixo - 2014.pdf: 2375638 bytes, checksum: accbd56745e040e23362d951a1336538 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2014-09-02 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Memory-based algorithms are the most popular among the collaborative filtering algorithms. They use as input a table containing ratings given by users to items, known as the rating matrix. They predict the rating given by user a to an item i by computing similarities of the ratings among users or similarities of the ratings among items. In the first case Memory-Based algorithms are classified as User-based algorithms and in the second one they are labeled as Item-based algorithms. The prediction is computed using the ratings of k most similar users (or items), also know as neighbors. Memory-based algorithms are simple to understand and to program, usually provide accurate recommendation and are less sensible to data change. However, to obtain the most similar neighbors for a prediction they have to process all the data which is a serious scalability problem. Also they are sensitive to the sparsity of the input. In this work we propose an efficient and effective Item-Based that aims at diminishing the sensibility of the Memory-Based approach to both problems stated above. The algorithm is faster (almost 50%) than the traditional Item-Based algorithm while maintaining the same level of accuracy. However, in environments that have much data to predict and few to train the algorithm, the accuracy of the proposed algorithm surpass significantly that of the traditional Item-based algorithms. Our approach can also be easily adapted to be used as User-based algorithms. / Algoritmos baseados em memória são os mais populares entre os algoritmos de filtragem colaborativa. Eles usam como entrada uma tabela contendo as avaliações feitas pelos usuários aos itens, conhecida como matriz de avaliações. Eles predizem a avaliação dada por um usuário a a um item i, computando a similaridade de avaliações entre a e outros usuários ou entre i e outros itens. No primeiro caso, os algoritmos baseados em memória são classificados como algoritmos baseados em usuários (User-based) e no segundo caso são rotulados como algoritmos baseados em itens (Item-Based). A predição é computada usando as avaliações dos k usuários (ou itens) mais similares, também conhecidos como vizinhos. Algoritmos baseados em memória são simples de entender e implementar. Normalmente produzem boas recomendações e são menos sensíveis a mudança nos dados. Entretanto, para obter os vizinhos mais similares para a predição, eles necessitam processar todos os dados da matriz, o que é um sério problema de escalabilidade. Eles também são sensíveis a densidade dos dados. Neste trabalho, nós propomos um algoritmo eficiente e eficaz baseado em itens que visa diminuir a sensibilidade dos algoritmos baseados em memória para ambos os problemas acima referidos. Esse algoritmo é mais rápido (quase 50%) do que o algoritmo baseado em itens tradicional, mantendo o mesmo nível de acurácia. Entretanto, em ambientes onde existem muitos dados para predizer e poucos para treinar o algoritmo, a acurácia do algoritmo proposto supera significativamente a do algoritmo tradicional baseado em itens. Nossa abordagem pode ainda ser facilmente adaptada para ser utilizada como o algoritmo baseado em usuários.
284

Evolução da ferramenta web guitar para geração automática de casos de teste de interface para aplicações web

Meireles, Silvia Regina Assis 23 March 2015 (has links)
Submitted by Kamila Costa (kamilavasconceloscosta@gmail.com) on 2015-06-10T18:45:18Z No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-11T18:06:19Z (GMT) No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) / Approved for entry into archive by Divisão de Documentação/BC Biblioteca Central (ddbc@ufam.edu.br) on 2015-06-11T18:08:37Z (GMT) No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) / Made available in DSpace on 2015-06-11T18:08:37Z (GMT). No. of bitstreams: 1 Dissertação-Silvia R A Meireles.pdf: 4257604 bytes, checksum: db416f49934884a410b4277f02c3ff9a (MD5) Previous issue date: 2015-03-23 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Web applications are in our daily routine and are fundamental in several areas, such as education, health, and entertainment. A failure in these applications can cause financial loss, so it is essential to ensure their quality. One way to achieve this goal is through software testing. Although the testing activities bring many benefits, they add cost to a software development project, which should be reduced. A strategy used for this is testing automation. Repetitive and error prone activities are strong candidates to be automated, among them we can mention the test cases generation. The Web Guitar tool enables the generation and execution of test cases from the structural model of Web application under test. This model presents problems related to its accuracy. Thus, this work proposes its evolution aiming to increase the number of generated test cases and improve their quality. As contribution, a new version of Web Guitar tool was implemented to sweep a web application identifying new GUI elements and visiting different instances of a same page in order to provide a more complete model. The results obtained in a case study performed with two Web applications, System to Support PPGI/UFAM and DiskTransito, provided evidence of the feasibility of this work, since the proposed tool (WG-Modified) contributed to the generation of a greater number of test cases for System to Support PPGI/UFAM, despite its execution time exceed the time calculated for the original tool. When analyzing the time required to generate each test case, WG-Modified was more efficient than its original version. However, the results of this study for the second application (DiskTransito) showed some problems and limitations that will be addressed in future works. / Aplicações Web estão presente em nossa rotina diária e são fundamentais em diversas áreas, tais como educação, saúde e entretenimento. Uma falha nessas aplicações pode ocasionar grandes perdas, portanto é essencial garantir a qualidade das mesmas. Uma forma de se alcançar esse objetivo é por meio do teste de software. Embora o teste de software traga inúmeros benefícios, ele acrescenta elevados custos ao projeto de desenvolvimento, que devem ser reduzidos. Uma estratégia utilizada para isso é a automação de teste. Atividades repetitivas e propensas a enganos são fortes candidatas a serem automatizadas, dentre elas podemos citar a geração de casos de teste. A ferramenta Web Guitar possibilita a geração e execução dos casos de teste, a partir do modelo estrutural da aplicação Web testada. Esse modelo apresenta problemas quanto a sua precisão. Assim, neste trabalho propõe-se sua evolução com o objetivo de aumentar o número de casos de teste gerados e melhorar a sua qualidade. Como resultado, foi implementada uma nova versão desta ferramenta que varre uma aplicação web identificando novos elementos de interface e visitando diferentes instâncias de uma mesma página com o intuito de prover um modelo mais completo. Os resultados do estudo de caso realizado com duas aplicações Web, Sistema de Apoio ao PPGI/UFAM e Disk Transito, forneceram indícios da viabilidade deste trabalho, visto que a ferramenta proposta (WG-Modificada) contribuiu para a geração de um número maior de casos de teste para o Sistema de Apoio ao PPGI/UFAM, apesar do seu tempo de execução ser superior ao tempo obtido pela versão original da ferramenta. Ao se analisar o tempo necessário para gerar cada caso de teste, verifica-se que a WG-Modificada foi mais eficiente que a versão original. Porém, os resultados do estudo para o Disk Transito evidenciaram problemas e limitações que serão tratados em trabalhos futuros
285

Modelo de Ising aplicado ao estudo da criminalidade / Ising model applied to the study of criminality

José Emílio de Lucena Júnior 28 May 2014 (has links)
Nosso estudo foi elaborado a partir de uma analogia do modelo de Ising em duas dimensões para analisar a influência que a rede de contatos e as forças externas podem exercer no indivíduo para que ele tenha ou não a intenção de agir licitamente. Esse estudo teve como inspiração o modelo proposto no artigo Analysing Tax Evasion Dynamics Via The Ising Model (ZAKLAN; WESTERHOFF; STAUFFER, 2009), porém, com ênfase à intenção dos agentes, que precede a conduta delituosa, e não ao cometimento do crime em si, quando já ocorreu o dano à sociedade. A analogia e inclusão de algumas variáveis ao referido modelo nos possibilitou estudar, de acordo com cada cenário, formas de manter ou reduzir os índices criminais, prever possíveis situações de histerese, suas consequências e possíveis custos para a sociedade e para o governo. / Our study was drawn from an analogy of the Ising model in two dimensions to analyze the influence that the network and the external forces can exert on the individual so that whether or not he intends to act lawfully. This study was inspired by that proposed in the article \"Analysing Tax Evasion Dynamics Via The Ising Model\" (ZAKLAN; WESTERHOFF; STAUFFER, 2009) model, but with emphasis on the intention of the agents, which precedes the criminal conduct, not to the commission of the crime itself, when the damage has already occurred to society. The analogy is the inclusion of some variables that model allowed us to study, according to each scenario, ways to maintain or reduce crime rates, predict possible situations hysteresis, their consequences and potential costs to society and the government.
286

O efeito da diversidade de perfis de investidores na dinâmica de preços de um modelo virtual do mercado de ações da BM&FBOVESPA / The effect of investors profiles diversity in pricing dynamic of a virtual model of BM&FBOVESPA stock market

Wagner Vieira Ramos 18 May 2016 (has links)
O objetivo deste trabalho é estudar como a distribuição de investidores entre aleatórios, grafistas, fundamentalistas e híbridos afeta a dinâmica de um mercado de ações representada por fatos estilizados. Para realização desse trabalho, foi desenvolvido um simulador de mercado de ações baseado em agentes, no qual são incorporadas regras e características do mercado de ações da BM&FBOVESPA. Os agentes grafistas, fundamentalistas e híbridos aprendem com a experiência. O simulador foi executado um número de vezes para diversas distribuições de perfis e os resultados foram analisados com o objetivo de identificar relações entre tais distribuições e os fatos estilizados estudados / The objective of this work is to study how the distribution of investors among random, chartists, fundamentalists and hybrids affects the dynamics of a stock market represented by stylized facts. To carry out this work, we developed a stock market simulator based on agents, which incorporates rules and characteristics of the BM&FBOVESPA stock market. Chartists, fundamentalists and hybrids agents can learn from experience. The simulation was performed a number of times for various profiles distributions and the results were analyzed in order to identify relationships between these distributions and the stylized facts studied
287

Emergência de distribuições de posicionamentos ideológicos: uma abordagem computacional / Emergence of distributions of ideological positioning: a computational approach

Marcelo Veloso Maciel 08 October 2018 (has links)
As democracias estão fundamentadas na conexão entre atitudes dos cidadãos e políticas. Numa arena política onde agentes têm racionalidade limitada, a competição dos políticos e partidos pelo apoio e voto da população depende de como está distribuída a opinião pública. Contudo, modelos explícitos que gerem essas distribuições, ao invés de pressupô-las, ainda são escassos. O presente trabalho gera estas distribuições por meio de um modelo computacional baseado em agentes de influência social. Nele os agentes interagem em díades e tornam-se mais próximos dos outros agentes em alguma questão a depender da distância de seus posicionamentos ideológicos, da incerteza dos agentes e do quanto confiam na opinião do outro. Por meio da combinação de análise de sensibilidade, histogramas e séries temporais de medidas do sistema e gráficos de dispersão, encontramos que o quão incertos são os agentes, o número de questões subjacentes ao seu posicionamento e o quanto estão sujeitos a mudanças aleatórias de atitude (ruído) são determinantes importantes do formato da distribuição de atitudes populacional. Nossos resultados nos levam a questionamentos empíricos quanto a interação dos parâmetros do modelo e a plausibilidade das distribuições geradas por ele a serem respondidos por trabalhos futuros / Democracies are based on the connection between citizens\' attitudes and policies. In a political arena where agents are boundedly rational, the competition of politicians and parties for the support and vote of the population depends on how the public opinion is distributed. However, explicit models that generate, instead of presupposing, them are still rare. This work generates those distributions through a computational agent-based model of social influence. In it the agents interact in pairs and become more similar to the others in some issue conditional on their ideological positioning, their uncertainty and on how much they trust another agents opinion. Through a combination of sensitivity analysis, histograms and time series of the systems measures and scatterplots, we find that how uncertain the agents are, the number of issues underneath their positioning and how much theyre subject to random attitude change (noise) are important determinants of the shape of the population attitudinal distribution. Our results lead us to empirical questions regarding the model parameters interaction and the plausibility of the distributions generated by it which should be answered by future works
288

Orchestration of energy efficiency capabilities for a sustainable network management / Orquestração de funcionalidades de eficiência energética para um gerenciamento de redes sustentável

Ana Carolina Riekstin 07 July 2015 (has links)
The energy demand for operating Information and Communication Technology (ICT) systems has been growing, implying in high operational costs and consequent increase of carbon emissions. Both in datacenters and telecom infrastructures, the networks represent a significant amount of energy spending. Given that, there is an increased demand for energy eficiency solutions, and several capabilities to save energy have been proposed. However, it is very dificult to orchestrate such energy eficiency capabilities, i.e., coordinate or combine them in the same network, ensuring a conflict-free operation and choosing the best one for a given scenario, ensuring that a capability not suited to the current bandwidth utilization will not be applied and lead to congestion or packet loss. Also, there is no way in the literature to do this taking business directives into account. In this regard, a method able to orchestrate diferent energy eficiency capabilities is proposed considering the possible combinations and conflicts among them, as well as the best option for a given bandwidth utilization and network characteristics. In the proposed method, the business policies specified in a high-level interface are refined down to the network level in order to bring highlevel directives into the operation, and a Utility Function is used to combine energy eficiency and performance requirements. A Decision Tree able to determine what to do in each scenario is deployed in a Software Defined Network environment. The proposed method was validated with diferent experiments, testing the Utility Function, checking the extra savings when combining several capabilities, the decision tree interpolation and dynamicity aspects. The orchestration proved to be valid to solve the problem of finding the best combination for a given scenario, achieving additional savings due to the combination, besides ensuring a conflict-free operation. / A demanda de energia para operar os Sistemas de Tecnologia da Informação e Comunicação (TIC) tem crescido, implicando em altos custos operacionais e consequente aumento de emissão de carbono. Tanto em datacenters, quanto nas infraestruturas de telecomunicações, as redes têm uma contribuição significativa nos gastos de energia. Isto leva, como consequência, a uma crescente demanda por soluções de eficiência energética, e diversas funcionalidades para economizar energia têm sido propostas. No entanto, é muito difícil orquestrar tais funcionalidades, ou seja, coordená-las ou combiná-las na mesma rede, garantindo uma operação sem conflitos e escolhendo a melhor funcionalidade para um determinado cenário, assegurando que uma funcionalidade não adequada para a atual taxa de utilização da rede não será aplicada, levando-se a situações de congestionamento ou perda de pacotes. Também não há uma forma na literatura de fazer esta escolha a partir de diretivas de negócio. Neste âmbito, um método capaz de orquestrar diferentes funcionalidades de eficiência energética é proposto, considerando as possíveis combinações e conflitos entre elas, bem como a melhor opção para uma dada carga de trabalho e características da rede. No método proposto, as políticas de negócios são refinadas até o nível de rede de modo a trazer as diretivas de negócios para dentro da operação da rede, e uma Função de Utilidade é usada para combinar requisitos de eficiência energética e desempenho. Uma Árvore de Decisão capaz de determinar o que fazer em cada cenário é implementada em um ambiente de Redes Definidas por Software. O método proposto foi validado com diferentes experimentos, testando-se a Função de Utilidade, checando a economia adicional de energia ao combinar funcionalidades, a interpolação da Árvore dá Decisão e aspectos de dinamicidade. A orquestração mostrou-se válida para resolver o problema de encontrar a melhor combinação de funcionalidades para um determinado cenário, obtendo economias adicionais de energia devido à combinação de funcionalidades, além de garantir uma operação sem conflitos.
289

RCA : resource consumptions accounting

Freitas, Valeska Rodriguez Lucas de January 2013 (has links)
Devido à grande concorrência do mercado o controle de custos passa a ser peça fundamental no auxílio à tomada de decisão quanto à redução dos custos, visando uma lucratividade maior por parte das empresas. Essa dissertação trata sobre um novo modelo de custos, o RCA – Resource Consumption Accounting, que ainda não foi adotado por nenhuma empresa. Esse novo método de custeio foi aplicado como modelo piloto em uma empresa Americana onde os resultados foram favoráveis a ele em relação aos modelos existentes. Muitos autores defendem o RCA como sendo um grande aliado aos gestores e ao setor financeiro por ser de fácil entendimento, apurar a capacidade ociosa e principalmente por apurar os custos com maior precisão em relação aos métodos mais utilizados atualmente. O RCA deve superar ao método ABC – Activity Based Costing, pois ele possui algumas vantagens em relação a este, por exemplo, como tratar separadamente os custos fixos dos variáveis, evitando assim rateios arbitrários e gerando uma apuração dos custos dos produtos e das atividades com maior precisão, além de apurar a capacidade ociosa, auxiliando assim os gestores na tomada de decisão. O RCA, assim como o ABC, é caro de ser implantado, pois precisa ser utilizado junto com sistemas integrados, sendo a sua principal desvantagem. / Due to market competition, the cost control becomes a critical tool to assist managers in taking decisions pursuing the cost reduction improving the companies profitability. This dissertation is about a new cost management system, the RCA - Resource Consumption Accounting, which has not been adopted yet by any company. This new cost management system was applied as a pilot model for an American company and the results were favorable to him. Many authors support RCA as a great ally to managers and financial managers because it is easy to understand, work with embedded systems, and determine the idle capacity mainly determine costs with greater accuracy compared with the methods currently used. The RCA must overcome to ABC - Activity Based Costing, because presents some advantages over this, for example, treat separately the fixed costs of the variable ones, avoiding arbitrary apportionments and generating a calculation of the costs of products and activities more accurately, also determine the idle capacity, thereby assisting managers in taking decision. The RCA, as ABC, is expensive to deploy because it must be used with integrated systems, being its main disadvantage.
290

Depuração automática de programas baseada em modelos: uma abordagem hierárquica para auxílio ao aprendizado de programação / Automated model based software debugging: a hierarchical approach to help programming learning

Pinheiro, Wellington Ricardo 07 May 2010 (has links)
Diagnóstico baseado em modelos (Model Based Diagnosis - MBD) é uma técnica de Inteligência Artificial usada para encontrar componentes falhos em dispositivos físicos. MBD também tem sido utilizado para auxiliar programadores experientes a encontrarem falhas em seus programas, sendo essa técnica chamada de Depuração de Programas baseada em Modelos (Model Based Software Debugging - MBSD). Embora o MBSD possa auxiliar programadores experientes a entenderem e corrigirem suas falhas, essa abordagem precisa ser aprimorada para ser usada por aprendizes de programação. Esse trabalho propõe o uso da técnica de depuração hierárquica de programas, uma extensão da técnica MBSD, para que aprendizes de programação sejam capazes de depurar seus programas raciocinando sobre componentes abstratos, tais como: padrões elementares, funções e procedimentos. O depurador hierárquico de programas proposto foi integrado ao Dr. Java e avaliado com um grupo de alunos de uma disciplina de Introdução à Programação. Os resultados mostram que a maioria dos alunos foi capaz de compreender as hipóteses de falha geradas pelo depurador automático e usar essas informações para corrigirem seus programas. / Model Based Diagnosis (MBD) in Artificial Intelligence is a technique that has been used to detect faulty components in physical devices. MBD has also been used to help senior programmers to locate faults in software with a technique known as Model Based Software Debugging (MBSD). Although this approach can help experienced programmers to detect and correct faults in their programs, this approach must be improved to be used with novice programmers. This work proposes a hierarchical program diagnosis, a MBSD extension, to help novice programmers to debug programs by exploring the idea of abstract components, such as: elementary patterns, functions and procedures. The hierarchical program debugger proposed was integrated to the Dr. Java tool and evaluated with students of an introductory programming course. The results showed that most of the students were able to understand the hypotheses of failure presented by the automated debugger and use this information to provide a correction for their programs

Page generated in 0.0466 seconds