Made available in DSpace on 2014-07-29T15:08:16Z (GMT). No. of bitstreams: 1 Dissertacao_Wildener_Monteiro.pdf: 504804 bytes, checksum: 182065e82ecb49614ac91a869030a772 (MD5) Previous issue date: 2011-02-10 / The goal of this dissertation is to make a methodological repetition of Duffy and Ochs's and Rouchier's works. Nonetheless, it tries to have a different focus. Among many theoreticaleconomical models which explain the emergence of money, there is one that distinguishes itself due to its simplicity, efficiency, and robustness: Kiyotaki-Wright's model. Therefore, some economists devoted themselves to apply this model in experiments with human beings and in computer simulations. Among those economists, Duffy and Ochs applied it later, correcting some flaws of the application process used by their predecessors. Duffy and Ochs's studies showed that Kiyotaki-Wright's model is actually valid for its purpose. However, besides all the efforts made, their agents were not able to achieve the foreseen equilibrium. In the same way, the French researcher Rouchier repeated methodologically the works of Duffy and Ochs while criticizing their implementation details. From this research, Rouchier creates other four sub-models in order to take her agents to the proposed equilibrium, obtaining partial success. In this dissertation, the computer system development platform is Swarm, especially created to multi-agent simulations and used, most of the time, in social and biological scope models. The agents' rationalization process is undertaken in trial and error way in accordance with the reinforcement learning technique, analyzing the answer given by the environment in each period. Finally, a new entity called Mediator is created to intermediate the relations between agents and mainly to pair them randomly. The obtained results are, in general, closer to the equilibrium when compared to the results of previous research. From them, some studies are made about the relation between the number of agents and the number of periods of simulation as values approximates the equilibrium. / O objetivo deste trabalho é realizar uma repetição metodológica dos trabalhos de Duffy, Ochs e Rouchier. Entretanto, ele possui um enfoque diferente. Dos vários modelos teóricoeconômicos que explicam o surgimento do dinheiro, um se destaca por sua simplicidade, eficiência e robustez: o modelo de Kiyotaki-Wright. Por este motivo, alguns economistas se propuseram a aplicar este modelo em experimentos com seres humanos e em simulações computacionais. Destes, Duffy e Ochs vieram pouco depois, corrigindo algumas falhas do processo de aplicação usado pelos que lhes antecederam. Os estudos de Duffy e Ochs mostraram que o modelo de Kiyotaki-Wright é realmente válido para aquilo a que se propõe. No entanto, apesar dos esforços empreendidos, seus agentes não conseguiram alcançar o equilíbrio previsto. Nesta mesma linha, a francesa Rouchier repetiu metodologicamente os trabalhos de Duffy e Ochs ao mesmo tempo em que criticava os detalhes de suas implementações. Ao aproveitar a pesquisa, Rouchier criou quatro outros sub-modelos na tentativa de levar seus agentes ao equilíbrio proposto, alcançando um sucesso parcial. No presente trabalho, a plataforma de desenvolvimento do sistema computacional é a Swarm, criada especificamente para simulações multi-agentes e usada, na maioria das vezes, em modelos dos campos social e biológico. O processo de racionalização dos agentes é dado na forma de tentativa e erro como rege a técnica de aprendizado por reforço. Ele analisa, em cada período, a resposta dada pelo ambiente. Finalmente, uma nova entidade chamada de Mediador é criada para intermediar as relações entre os agentes e, principalmente, para colocá-los em pares de forma aleatória. Os resultados alcançados são, em geral, mais próximos do equilíbrio quando comparados aos resultados das pesquisas anteriores. A partir deles, são feitos alguns estudos sobre a relação entre o número de agentes e o número de períodos da simulação com a aproximação dos valores para o equilíbrio.

Made available in DSpace on 2014-07-29T15:08:19Z (GMT). No. of bitstreams: 1 dissertacao RamonCampos UFG 2012.pdf: 5667385 bytes, checksum: 1ff8645bd9d1b27aa406264298e405ef (MD5) Previous issue date: 2012-07-09 / This study aimed to development of a computational tool for electromyographic signal (EMG) analysis by signal processing techniques to determine muscular fatigue. With Ethics Committee of Federal University of Goiás approve were recorded from the dominant biceps brachii of 10 volunteers, that did not ever had muscular disease. The protocol consisted on get the maximal voluntary isometric contraction (MVIC) from the volunteer seated, floor contact with the feet, and forearm in 90 degree, doing three maximal voluntary contraction against a rigid and fixed surface, by five seconds, with a five resting minutes between each acquisition. The MVIC values were obtained by arithmetical mean from the three greater values of each contraction. In statistical analysis the volunteer sustained a load of 60% MVIC for 30 seconds, or while they supported. For dynamical analysis was used a electrogoniometer tied in forearm to measure the angle and a 60% MVIC load for 30 seconds measured, achieved angle of 70° until 130°, and return to 70°. Each flexion was did in 1,5 seconds, or while volunteer support. To analyze the signal in time domain were used Root main square (RMS) values and Continuous wavelet transform (CWT). To analyze in frequency domain were adopted the values of mean and median from Fast Fourier Transform (FFT), Welch spectral estimator, auto regressive moving average (ARMA) filter, and analytic wavelet transform (AWT). Linear regressions were obtained using a window of 250 ms for all techniques. Slopes with positive values, in time domain, and slopes with negative values, in frequency domain, indicate muscular fatigue. Using high scales of wavelet transform shows great results while compared with default techniques, like RMS and FFT. ANOVA one way were adopted as statistical method of analysis, with P < 0,05. Only in dynamic contraction, on frequency domain, had P value < 0,05. Tukey test were applied to identify which techniques had variance great than 5%. Is suggested as future works development of a wireless system to acquire EMG signals, improvement in the software to motor unit action potentials (MUAP) detection, prosthesis control, and synchronization with others systems of data collection. / Este trabalho propõe o desenvolvimento de uma ferramenta computacional para realizar a análise do sinal eletromiográfico (EMG) por meio de técnicas de processamento de sinais a fim de detectar fadiga muscular. Com aprovação do Comitê de Ética da Universidade Federal de Goiás, foram captados os sinais eletromiográfico do bíceps braquial do braço dominante de 10 voluntários, que não apresentavam histórico de problemas musculares. O protocolo consistiu na obtenção do valor de contração isométrica voluntária máxima (CIVM) com o voluntário sentado, pés em contato com o chão e o antebraço em ângulo de 90° em relação ao tronco, realizando três repetições de contração máxima, contra uma superfície fixa e rígida, durante 5 segundos, intercaladas por um período de 5 minutos em repouso. O valor da CIVM, representando 100% da força máxima exercida, foi determinado por meio da média aritmética dos maiores valores de cada amostra. Para análise de contração estática, o voluntário realizou uma nova contração com carga de 60% da CIVM durante 30 segundos, ou até onde suportasse. Na análise de contração dinâmica, foi utilizado um eletrogoniômetro para medição do ângulo do antebraço que, ao carregar uma carga com 60% da CIVM, realizou manobra de flexão, alcançando ângulo de 70°, e manobra de extensão, atingindo ângulo de 130° do antebraço em relação ao tronco. Cada manobra (flexão e extensão) foi realizada em 1,5 segundos, durante um período de 30 segundos ou enquanto suportasse, totalizando no máximo de 10 flexões e 10 extensões. Foram adotadas para análise do sinal EMG no domínio do tempo as técnicas de cálculo do valor quadrático médio (RMS) e transformada wavelet contínua (TWC). Para análise no domínio da frequência foram adotados os valores médios e medianos obtidos pelas técnicas de transformada rápida de Fourier (FFT), o estimador espectral de Welch, o filtro autorregressivo de média móvel (ARMA) e as transformadas wavelets analíticas (TWA). Utilizando uma janela de 250 ms foram obtidos os gráficos contendo a regressão linear de todas as técnicas. A inclinação positiva da reta de regressão, para o domínio do tempo, e inclinação negativa, para o domínio da frequência, indica o processo de fadiga muscular. A utilização da transformada wavelet, em grandes escalas, apresenta valor mais significativo de indícios de fadiga muscular quando comparada às técnicas padrões RMS e FFT. O método estatístico utilizado foi a ANOVA de um fator, com o P < 0,05. Apenas na contração dinâmica no domínio da frequência obteve um P < 0,05. Aplicada a análise post hoc do teste de Tukey foram identificadas, das técnicas comparadas duas a duas, quais apresentaram um grau de variância maior que 5%. Ainda no trabalho é sugerido o desenvolvimento de equipamento de coleta de sinais EMG sem fio, o aperfeiçoamento da ferramenta desenvolvida para detecção de potenciais de ativação de unidade motora (MUAP), o controle de próteses de reabilitação, e a sincronização com outros sistemas de coleta de dados.

Made available in DSpace on 2014-07-29T15:08:19Z (GMT). No. of bitstreams: 1 dissertacao_pedro_quindere.pdf: 1753745 bytes, checksum: 1a9e14157501ea719da0e4e18d0479eb (MD5) Previous issue date: 2008-02-23 / In the context of efficient information transmission among people and, particularly in the helping of learning and training processes, this investigation presents results on the use of the technology of Hybrid Intelligent Tutoring Systems, based on artificial neural networks and expert rules, developed by Martins [MEA 2004], Melo [MEL 2003] and Meireles [MEI 2003]. Due to the fact that, in its initial empirical validation, neural training data has been originated from courseware in Introduction to Data Processing , some doubts have remained on the applicability of the trained neural network to other scenarios. The present production has approached these issues by the formalization of the content format and by presenting promising empirical results in two other scenarios: Scientific Methodology and Biological Rhythms . Results were analyzed by non-parametric methods with 5% significance. They reinforce the hypotheses that the studied tutoring system is efficient, able to reduce differences of distinct groups and shows thematic adaptability actually / No contexto da transmissão eficiente de informação entre pessoas, particularmente no auxílio a processos de ensino-aprendizagem e treinamento empresarial, este trabalho apresenta resultados da investigação do uso da tecnologia de Sistemas Tutores Inteligentes Híbridos, baseada em redes neurais artificiais e regras de especialistas, desenvolvida por Martins [MEA 2004], Melo [MEL 2003] e Meireles [MEI 2003]. Por utilizar, em sua validação empírica inicial, dados de treinamento neural provenientes de conteúdo na área de Introdução ao Processamento de Dados , restaram dúvidas sobre a aplicabilidade da rede neural treinada a outros cenários. Esta pesquisa aborda tais questões, formalizando requisitos de formatação dos conteúdos e apresentando resultados promissores em dois outros cenários distintos: Metodologia Científica e Ritmos Biológicos . Os dados obtidos são analisados através de métodos não-paramétricos e nível de significância de 5%, sugerindo que o sistema tutor ensina eficientemente, uniformiza grupos distintos de indivíduos e realmente apresenta adaptabilidade temática

Made available in DSpace on 2014-07-29T15:08:20Z (GMT). No. of bitstreams: 1 dissertacao geraldo valeriano eec.pdf: 1215973 bytes, checksum: 4ceb98a1d5250ad33d16a8997882d277 (MD5) Previous issue date: 2009-06-29 / This work presents two methods to solve the problem of Electric Distribution Networks (EDN) with geographical and power restrictions. The high cost of the project involving EDN together with lack of efficient methods when working with real applications justifies the development of this research. Taking into account concepts of heuristic and metaheuristic two methods are proposed: The first is based on the Hill-Climbing (HC) heuristic and the second is based on the Simulated Annealing (SA) metaheuristic. The possible paths are provided by the Delaunay triangulation and it is considered the natural and socio-political obstacles of the site where you want to locate a new energy network. The dimension of the EDN feeders is calculated using the power flow results from the Forward-Backward method. The initial solution is found using an intelligent method. Then the SA metaheuristic and/or HC heuristic are used providing a good solution for a new EDN in comparison with the heuristic used to find the initial solution. A comparison is also made between the two proposed methods / RESUMO Neste trabalho são apresentados dois métodos para resolver o problema de planejamento de rede de distribuição de energia elétrica (RDEE) com restrições geográficas e elétricas. O custo elevado que envolve o projeto de RDEE unido à escassez de métodos eficientes quando se trata de aplicações reais justificam o desenvolvimento desta pesquisa. Considerando os conceitos de heurística e metaheurística são propostos dois métodos: o primeiro é baseado na heurística Hill-Climbing (HC) e o segundo é baseado na metaheurística Simulated Annealing (SA). Os possíveis caminhos são fornecidos pela triangulação de Delaunay e são considerados os obstáculos naturais e políticosociais (restrições geográficas) do local onde se deseja implantar a nova rede de energia elétrica. O dimensionamento dos alimentadores da RDEE é feito utilizando-se do fluxo de potência calculado pelo método Backward-Forward. A solução inicial é encontrada utilizando-se um método inteligente. A metaheurística SA e/ou a heurística HC são então utilizadas, fornecendo uma boa solução para uma nova RDEE, em relação à heurística utilizada para encontrar a solução inicial. Também é realizada uma comparação entre os dois métodos propostos.

Submitted by Cássia Santos (cassia.bcufg@gmail.com) on 2016-06-13T15:22:17Z No. of bitstreams: 2 Dissertação - Alexandre Martins Ferreira Bueno - 2011.pdf: 2170812 bytes, checksum: ca9620fc2142f942080575c91a55e932 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-06-13T15:27:38Z (GMT) No. of bitstreams: 2 Dissertação - Alexandre Martins Ferreira Bueno - 2011.pdf: 2170812 bytes, checksum: ca9620fc2142f942080575c91a55e932 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) / Made available in DSpace on 2016-06-13T15:27:38Z (GMT). No. of bitstreams: 2 Dissertação - Alexandre Martins Ferreira Bueno - 2011.pdf: 2170812 bytes, checksum: ca9620fc2142f942080575c91a55e932 (MD5) license_rdf: 23148 bytes, checksum: 9da0b6dfac957114c6a7714714b86306 (MD5) Previous issue date: 2011-12-13 / Nowadays, e-learning has become an important source of knowledge, providing content without the limitation of time or space. In this context, Web-based education became an important sector. A large number of e-learning applications have utilized the Web to teach, mainly to provide distance learning. As a result of the substantial growth in elearning there has been an increase in the diversity of students that uses this environment to achieve their academic or professional backgrounds. In general, these students have di erent personal, social-cultural and cognitive characteristics. Adaptive Hypermedia Systems provide resources to assist this diverse public, they are able to consider the individual characteristics of students during the learning process. It is known that the representation of these features are often associated with uncertain and imprecise information. Given this context, this work proposes a Web-based Adaptive Educational Hypermedia System (with instructional content) that aims to personalize the process of distance learning. It has a student model that is able to represent the uncertainties related to the student's knowledge (characteristic of the students considered by the system) through the use of a Bayesian Network. This model is adjusted according to the answers provided by students in ability tests, which in turn are evaluated by a mathematical model of Item Response Theory. The experiment realized compared the results obtained by the proposed system, that is provided with adaptation (personalization) mechanisms, and other system that has no such mechanisms, in which the same content was presented to all the students. Statistical analysis of the collected data has shown a signi cant improvement in knowledge retention by the students who used the system provided with adaptation. However, it was expected, as a result of this improvement, that the levels of satisfaction reported by the students who used the proposed system were better than the levels reported by the students who used the system without adaptation, which was not evidenced by the gathered data. / Hoje em dia, o e-learning se tornou uma importante vertente na obtenção de conhecimento, fornecendo conteúdo sem a limitação de tempo ou espaço . Neste contexto, a educação baseada na Web tem recebido destaque. Inúmeras aplicações de e-learning tem se utilizado da Web para ensinar, principalmente para prover ensino a distancia. Como consequência do crescimento substancial do e-learning houve um aumento na diversidade dos alunos que fazem uso deste meio para a obtenção de suas formações acadêmicas ou prossionais. Em geral, estes alunos possuem diferentes características pessoais, sócio culturais e cognitivas. Os Sistemas Hiperm dia Adaptativos oferecem recursos para atender a este p ublico diverso, eles são capazes de considerar as características individuais dos alunos durante o processo de aprendizagem. Sabe-se que na representação destas características frequentemente estão associadas informações que são incertas e imprecisas. Diante do apresentado, este trabalho propõe um Sistema Hipermídia Adaptativo Educacional (com conteúdo instrucional) que tem como objetivo a personalização do processo de ensino a distância através da Web. Ele possui um modelo do aluno que e capaz de lidar com as incertezas relacionadas ao conhecimento dos alunos (caracteristica dos alunos considerada pelo sistema) através do uso de uma Rede Bayesiana. Este modelo e ajustado por respostas dadas pelos alunos em testes de habilidade, que são avaliadas por um modelo matemático da Teoria da Resposta ao Item. O experimento realizado comparou os resultados obtidos pelo sistema proposto, provido de mecanismos de adaptação (personalização), e outro sistema desprovido de adaptação, em que o mesmo conteúdo era apresentado a todos os alunos. A analise estatística dos dados coletados mostrou uma melhoria signicativa na retenção de conhecimento por parte dos alunos que zeram uso do sistema provido de adaptação. Entretanto, esperava-se, como consequência desta melhoria, que os níveis de satisfação informados pelos alunos que zeram uso do sistema proposto fossem superiores aos níveis informados pelos alunos que zeram uso do sistema desprovido de adaptação, fato não evidenciado pelos dados obtidos.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2016-10-04T12:46:23Z No. of bitstreams: 2 Dissertação - Bruno Nunes Machado - 2016.pdf: 954291 bytes, checksum: 2b4b0a80a709d8803e7d0857e9aad0dd (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2016-10-04T12:46:59Z (GMT) No. of bitstreams: 2 Dissertação - Bruno Nunes Machado - 2016.pdf: 954291 bytes, checksum: 2b4b0a80a709d8803e7d0857e9aad0dd (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-10-04T12:46:59Z (GMT). No. of bitstreams: 2 Dissertação - Bruno Nunes Machado - 2016.pdf: 954291 bytes, checksum: 2b4b0a80a709d8803e7d0857e9aad0dd (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-09-01 / Fundação de Amparo à Pesquisa do Estado de Goiás - FAPEG / The software testing is an important component of software development life cycle, that directly affects quality of software products. Some problems in software testing phase can not be optimized only with traditional Software Engineering techniques. It is possible to do the mathematical modelling of those problems in an attempt to optimize them through the search techniques. However, the use of optimization approaches tend to incorporate more and more activities decisions to the tester, making more complex test activity. So, in order that optimization techniques are in fact employed at the Software Test solutions, the ability to abstract the details of optimization are required. Thus, the objective of this research is to propose a framework for search-based software testing (SBST). The proposed framework works as a top-level layer over generic optimization frameworks and testing software tools, it's target is supporting software testers that are not able to use optimization frameworks during a testing activity due to short deadlines and limited resources or skills, also supporting expert or beginners users from optimization area that need or want to compare their metaheuristics with ones from literature and offered by the proposed framework. The framework was evaluated in a case study of software testing scenario. This scenario was modeled as test case selection problem in which experiments were executed with different metaheuristics and benchmarks offered by framework. The results indicate it's capability to support the SBST area with emphasis on the test cases selection. The framework was evaluated and compared with other SBST frameworks in terms of quality metrics, that indicated its extensibility and flexibility as framework. / O Teste de Software é uma parte essencial do processo de desenvolvimento de software, com impacto direto na qualidade do produto de software. Alguns problemas detectados durante a fase de teste de software não são possíveis de serem resolvidos apenas com as técnicas tradicionais da Engenharia de Software. Nestes casos é possível realizar a modelagem matemática desses problemas e tentar otimizá-los por meio das técnicas de busca. Entretanto, a utilização de abordagens de otimização tende a incorporar mais decisões e mais atividades para o testador, tornando a atividade de teste mais complexa. Assim, para que as técnicas de otimização sejam de fato empregadas no Teste de Software, soluções com a capacidade de abstrair detalhes da otimização são necessárias. Diante disso, o objetivo desta pesquisa consiste em propor um framework para apoiar o Teste de Software Baseado em Busca. O framework proposto funciona como uma camada de alto nível sobre os frameworks genéricos de otimização e as ferramentas de teste de software, apoiando testadores de software que não são capazes de utilizar os frameworks de otimização durante uma atividade de teste devido a prazos curtos e recursos ou habilidades limitadas, além de apoiar usuários iniciantes ou especialistas da área de otimização que precisam ou desejam comparar suas metaheurísticas ou heurísticas com as da literatura e as oferecidas pelo framework proposto. O framework foi avaliado em um estudo de caso no cenário de teste de software. Tal cenário foi modelo como um problema de seleção de casos de teste, em que experimentos foram executados com diferentes metaheurísticas e benchmarks oferecidos pelo framework. Os resultados indicaram a capacidade do framework em apoiar a aréa de SBST, com destaque para o problema de seleção de casos de teste. Além disso, o framework também foi avaliado e comparado com outro framework SBST em termos de métricas de qualidade, que indicaram a extensibilidade e flexibilidade do framework proposto.

Submitted by JÚLIO HEBER SILVA (julioheber@yahoo.com.br) on 2016-12-05T15:46:39Z No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Approved for entry into archive by Jaqueline Silva (jtas29@gmail.com) on 2016-12-13T15:32:34Z (GMT) No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) / Made available in DSpace on 2016-12-13T15:32:34Z (GMT). No. of bitstreams: 2 Dissertação - Daniel Gomes de Oliveira - 2016.pdf: 1447085 bytes, checksum: f382ec268ae42480adeee8f03e5ccda2 (MD5) license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Previous issue date: 2016-09-29 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / Considering the high cost and large amount of time demanded by the activity generation tests in the software development process, the need a proposal to reduce both the time spent as the related costs testing activities is necessary. In this context, the use of tools or processes that make the activities of generation of more agile testing, less costly and meet demands for precision are key to companies operating in software development market can achieve their goals. Based on these information comes to questions regarding how to go about adopting a process that makes possible the achievement of objectives in order to meet the results mentioned previously, even with the difficulties of generating test data as a result of of programs input areas are infinite. There are different tools that use various strategies for generating test data, however, lacks evidence as the quality of these tools. In this context, the aim of this work is conducting an experimental evaluation of some automatic test data generators to identify which one offers the best cost / benefit in terms of effective in detecting defects number of generated test data, code coverage demanded by test data, and generation time of testing. At second step a third tool was included along manually generated tests. New test sets using three automatic generators and included the manually -generated sets project were generated. Finally, results were presented in terms of effectiveness and efficiency through the comparison between the four test sets . / Considerando o alto custo e a grande quantidade de tempo demandada pela atividade de criação de casos de testes dentro do processo de desenvolvimento de software. A utilização de ferramentas ou procedimentos que tornem o processo de geração de dados de testes mais ágil, menos oneroso e que atendam demandas por precisão se tornam fundamentais para que as empresas atuantes no mercado de desenvolvimento de software possam atingir seus objetivos. Com base nessas informações, surge a dúvida relacionada a como proceder para adotar um processo de desenvolvimento e teste de software que tornem possíveis o alcance dos objetivos de forma a atender os resultados mencionados anteriormente, mesmo com as dificuldades de gerar dados de teste em decorrência dos domínios de entrada dos programas serem em geral infinitos. O objetivo do presente trabalho é conduzir uma avaliação experimental de geradores automáticos de dados de teste visando identificar qual deles apresenta a melhor relação custo/benefício em termos de eficácia em detectar defeitos, número de dados de teste gerados e cobertura de código determinada pelos conjuntos de teste. A pesquisa foi dirigida em duas etapas: na primeira, dois geradores foram avaliados em relação a um conjunto de 32 programas Java e os resultados obtidos indicam que, de maneira geral, o gerador CodePro foi o que apresentou a melhor relação custo benefício frente ao Randoop; na segunda, foi inclusa uma terceira ferramenta, juntamente a testes gerados de forma manual. Foram gerados novos conjuntos de teste utilizando os três geradores automáticos e incluso ao projeto conjuntos gerados de forma manual. Ao final, foram apresentados os resultados em termos de eficácia e eficiência por meio dos comparativos entre os quatro conjuntos de teste.

Submitted by Luciana Ferreira (lucgeral@gmail.com) on 2017-06-14T11:09:20Z No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Luiz Henrique Reis de Jesus - 2017.pdf: 3311759 bytes, checksum: 20e4044376c2666f102131892f7b3fc2 (MD5) / Approved for entry into archive by Luciana Ferreira (lucgeral@gmail.com) on 2017-06-14T11:09:35Z (GMT) No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Luiz Henrique Reis de Jesus - 2017.pdf: 3311759 bytes, checksum: 20e4044376c2666f102131892f7b3fc2 (MD5) / Made available in DSpace on 2017-06-14T11:09:35Z (GMT). No. of bitstreams: 2 license_rdf: 0 bytes, checksum: d41d8cd98f00b204e9800998ecf8427e (MD5) Dissertação - Luiz Henrique Reis de Jesus - 2017.pdf: 3311759 bytes, checksum: 20e4044376c2666f102131892f7b3fc2 (MD5) Previous issue date: 2017-05-15 / Conselho Nacional de Pesquisa e Desenvolvimento Científico e Tecnológico - CNPq / This dissertation of master degree describes an approach of the interactive optimization process associate to the Evolution Strategies method for the evaluation of the loudspeaker optimization project, with the objective to present the advantages achieved after the user interventions throughout the optimization process. Its development is based on the methodology of the Evolution Strategies characterized by the concept of natural selection, which uses combination and mutation methods to generate new individuals. However, for greater efficiency in the responses of the objective function, as well as the reduction in its convergence time, the optimization process requires interventions in stabilization of local minima and maxima. In the interventions made available to the user, will be considered manipulations in the operators of mutation and combination, mutation of the parameters of self-adaptation, as well as the change of objective and the variation of their respective restriction. As a differential, an interface was developed to make feasible the user interventions applied to the optimization process, as well as the monitoring of the entire process. In this work, also evaluated optimization test functions with the objective of validating the proposed methodology. / Esta dissertação de mestrado descreve uma abordagem do processo de otimização interativa associado ao método das Estratégias de Evolução para a avaliação do projeto de otimização do alto-falante, com o objetivo de apresentar as vantagens alcançadas após as intervenções do usuário ao longo do processo de otimização. Seu desenvolvimento é baseado na metodologia das Estratégias de Evolução caracterizada pelo conceito de seleção natural, o qual utiliza de métodos de combinação e mutação para a geração de novos indivíduos. No entanto, para maior eficiência nas respostas a função objetivo, bem como a redução em seu tempo de convergência, o processo de otimização necessita de intervenções em estabilizações de mínimos e máximos locais. Nas intervenções disponibilizadas ao usuário, serão consideradas manipulações nos operadores de mutação e combinação, mutação dos parâmetros de auto-adaptação, bem como a mudança de objetivo e a variação de sua respectiva restrição. Como diferencial, foi desenvolvida uma interface para viabilizar as intervenções do usuário aplicadas ao processo de otimização, bem como o acompanhamento de todo o processo. Neste trabalho, também foram avaliadas funções de teste de otimização com o objetivo de validar a metodologia proposta.

Made available in DSpace on 2016-08-17T14:52:37Z (GMT). No. of bitstreams: 1 Ricardo Luis da Rocha Ataide.pdf: 1712992 bytes, checksum: 27d451c245e151370c1c17a8e89cf8bb (MD5) Previous issue date: 2007-12-27 / Most of the existing software of wireless intrusion detection identify behaviors obtrusive only taking as a basis the exploitation of known vulnerabilities commonly called of attack signatures. They analyze the activity of the system, watching sets of events that are similar to a pre-determined pattern that describes an intrusion known. Thus, only known vulnerabilities are detected, leading to the need for new techniques for detecting intrusions be constantly added to the system. It is necessary to implement a wireless IDS that can identify intrusive behaviors also based on the observation of the deflection normal behaviour of the users, hosts or network connections. This normal behaviour should be based on historical data, collected over a long period of normal operation. This present work proposes an architecture for a system to intrusion detection in wireless networks by anomalies, which is based on the application of technology to artificial neural networks, both in the processes of intrusion detection, as making countermeasures. The system can be adapted to the profile of a new community of users, and can recognize attacks with characteristics somewhat different from the already known by the system, relying only on deviations in behaviour of this new community. A prototype has been implemented and various simulations and tests were performed on it, with three denial of service attacks. The tests were to verify the effectiveness of the application of neural networks in the solution of the problem of wireless network intrusion detection, and concentrated its focus on the power of generalization of neural networks. This ensures the system detects attacks though these features slightly different from those already known. / A maioria dos sistemas de detecção de intrusos para redes wireless existentes identificam comportamentos intrusivos apenas tomando como base a exploração de vulnerabilidades conhecidas, comumente chamadas de assinaturas de ataques. Eles analisam a atividade do sistema, observando conjuntos de eventos que sejam semelhantes a um padrão pré-determinado que descreva uma intrusão conhecida. Com isso, apenas vulnerabilidades conhecidas são detectadas, trazendo a necessidade de que novas técnicas de intrusão sejam constantemente adicionadas ao sistema. Torna-se necessária a implementação de um WIDS (Wireless Intrusion Detection System) que possa identificar comportamentos intrusivos baseandose também na observação de desvios do comportamento normal dos usuários, computadores pessoais ou conexões da rede. Esse comportamento normal deve se basear em dados históricos, coletados durante um longo período normal de operação. Este trabalho propõe uma arquitetura para um sistema de detecção de intrusos em redes wireless por anomalias, que tem como base a aplicação da tecnologia de redes neurais artificiais, tanto nos processos de detecção de intrusões quanto de tomada de contramedidas. O sistema pode se adaptar ao perfil de uma nova comunidade de usuários, bem como pode reconhecer ataques com características um pouco diferentes das já conhecidas pelo sistema, baseando-se apenas nos desvios de comportamento dessa nova comunidade. Um protótipo foi implementado e várias simulações e testes desse protótipo foram realizadas, para três ataques de negação de serviço. Os testes tiveram o objetivo de verificar a eficácia da aplicacação de redes neurais na solução do problema da detecção de intrusos em redes wireless, concentrando seu foco no poder de generalização das redes neurais. Isto garante que o sistema detecte ataques ainda que estes apresentem características ligeiramente diferentes das já conhecidas. Redes Neurais Artificiais.

Made available in DSpace on 2016-08-17T14:52:38Z (GMT). No. of bitstreams: 1 Andre Luis Silva dos Santos.pdf: 7753143 bytes, checksum: 538ea307ce9dad0b071cd12c49ac05f0 (MD5) Previous issue date: 2008-02-15 / Nowadays, the World Wide Web (WWW) is an excellent source of information. However, open issues carry on. It´s difficult obtain relevant information in short time. Moreover, there is no accuracy for retrieving this information. Servers such as Google, Altavista and Cadê, can retrieve a huge amount of information. Nonetheless, the retrieved information could be not relevant. The information filtering systems arise to aim users in the searching for relevant information. This work proposes a hybrid model of filtering information based on content-based filtering and collaborative filtering. This model has been used into a collaborative learning system named NetClass and it was developed using the PASSI methodology. A case study done with CEFET´s students is presented as well. / A Web é uma excelente fonte de informação, mas um dos problemas que surgem com a grande disseminação de informações é a dificuldade de se obter informação relevante em tempo hábil e de forma precisa. Mecanismos que auxiliem o usuário na recuperação de informações tais como o Google.com, Altavista e Cadê, muitas das vezes retornam uma grande quantidade de conteúdo, sem garantir uma boa efetividade de recuperação, com excesso de informações recuperadas ou com informações irrelevantes. Os Sistemas de Filtragem de Informação surgem como alternativa de auxílio aos usuários na busca de informações relevantes. Este trabalho propõe a criação de um modelo de sistema de filtragem híbrido de informação baseados nos métodos: Filtragem Baseada em Conteúdo e Filtragem Colaborativa. O modelo proposto é aplicado a um ambiente colaborativo de ensinoaprendizagem, o NetClass, e foi desenvolvido com a metodologia PASSI. Um estudo de caso feito com alunos do CEFET-MA também é descrito.