Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciências da Computação, 2014. / Submitted by Ana Cristina Barbosa da Silva (annabds@hotmail.com) on 2015-03-26T16:59:05Z No. of bitstreams: 1 2014_DanieldaSilvaSouza.pdf: 2076331 bytes, checksum: a87184e0f162b276c6b8666762b41e35 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-05-20T18:02:57Z (GMT) No. of bitstreams: 1 2014_DanieldaSilvaSouza.pdf: 2076331 bytes, checksum: a87184e0f162b276c6b8666762b41e35 (MD5) / Made available in DSpace on 2015-05-20T18:02:57Z (GMT). No. of bitstreams: 1 2014_DanieldaSilvaSouza.pdf: 2076331 bytes, checksum: a87184e0f162b276c6b8666762b41e35 (MD5) / Identificar funções biológicas das sequências é uma atividade chave em projetos genomas. Esta tarefa é realizada na etapa de anotação, que possui duas fases. Na fase manual, biólogos utilizam seu conhecimento e experiência determinar a função de cada sequência, baseada nos resultados produzidos pela fase automática, onde ferramentas e bancos de dados são utilizados para predizer uma anotação funcional. Esta dissertação propõe BioAgents-Prot, uma ferramenta multiagente baseada em conhecimento, que simula o conhecimento e experiência dos biólogos para anotação de proteínas. BioAgents-Prot foi definido com uma abordagem de agentes cooperativos, onde diferentes agentes especializados trabalham em conjunto na tentativa de sugerir uma anotação manual adequada. A arquitetura proposta em três camadas foi desenvolvida com Java Agent DEvelopment Framework - JADE e Drools, um motor de inferência baseado em regras. Para avaliar o desempenho do BioAgents-Prot, as anotações dos transcritos do fungo Saccharomyces cerevisiae foram comparadas com as anotações sugeridas pelo sistema. Usando regras básicas que representam o raciocínio de anotação, obtemos 95.84% de sensibilidade, 93.22% de especificidade, 98.40% de F1-score e 0.80 de MCC, que demonstram a utilidade do BioAgents-Prot na etapa de anotação em projetos transcritoma. ______________________________________________________________________________________________ ABSTRACT / Identifying biological function of sequences is a key activity in genome projects. This task is done in the annotation step, which has two phases. In the manual phase, biologists use their knowledge and experience to determine the function for each sequence, based on the results produced by the automatic phase, where tools and data bases are used to predict functional annotation. This dissertation presents BioAgents-Prot, a knowledge based multiagent tool, which simulates biologists expertise to annotate proteins. BioAgents-Prot is defined with an approach of cooperative agents, where specialized intelligent agents work together to suggest proper manual annotation. The proposed three-layer architecture was implemented with Java Agent DEvelopment Framework-JADE and Drools (a rule-based inference engine). To assess performance, transcript annotations of the Saccharomyces cerevisiae fungus were compared to the annotations suggested by BioAgents-Prot. Using basic rules that represents the annotation reasoning, we obtained 95.84% of sensitivity, 93.22% of specificity, 98.40% of F1-score and 0.80 of MCC, which shows the usefulness of BioAgents-Prot in annotation step of transcriptome projects.

Dissertação (mestrado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2011. / Submitted by Gabriela Ribeiro (gaby_ribeiro87@hotmail.com) on 2011-06-22T20:32:22Z No. of bitstreams: 1 2011_CarlosViníciusSarmentoSilva.pdf: 3795960 bytes, checksum: 63d12d2765cdb654dc26657b9ec5bfd3 (MD5) / Approved for entry into archive by Guilherme Lourenço Machado(gui.admin@gmail.com) on 2011-06-28T13:01:49Z (GMT) No. of bitstreams: 1 2011_CarlosViníciusSarmentoSilva.pdf: 3795960 bytes, checksum: 63d12d2765cdb654dc26657b9ec5bfd3 (MD5) / Made available in DSpace on 2011-06-28T13:01:49Z (GMT). No. of bitstreams: 1 2011_CarlosViníciusSarmentoSilva.pdf: 3795960 bytes, checksum: 63d12d2765cdb654dc26657b9ec5bfd3 (MD5) / O trabalho de auditoria governamental tem sido realizado no âmbito do Poder Executivo Federal pela Controladoria-Geral da União. Várias estratégias são utilizadas visando a prevenção e o combate à corrupção. No entanto, algumas atividades tais como detecção de cartéis em licitações são limitadas devido à complexidade de se correlacionar informa ções para geração de conhecimento útil para os auditores através da análise de bases de dados. A área de Mineração de Dados tem sido alvo de várias pesquisas tendo bons resultados no processo de descoberta de conhecimento em grandes bases de dados onde várias técnicas já foram de_nidas nesta área tais como classi_cação, clusterização e regras de associação. Sistema Multiagentes por sua vez, apresenta consideráveis vantagens no sentido de possibilitar a distribuição do processamento e fazer uso de autonomia de agentes de softwares para realização de tarefas complexas. Essas duas áreas de estudo, até recentemente separadas, são integradas neste trabalho através de AGent Mining Integration (AGMI), uma arquitetura que integra diferentes técnicas de mineração de dados utilizando uma abordagem multiagentes para automatização do processo de descoberta de conhecimento. AGMI é composta por agentes que operam em três diferentes camadas: estratégica, tática e operacional. Através da autonomia de agentes, AGMI é capaz de integrar técnicas de mineração de dados de forma distribuída e utilizar heurísticas para melhoramento do conhecimento encontrado. Neste trabalho é apresentado um protótipo do AGMI que foi testado com dados reais de licitações extraídas do Sistema ComprasNet. Vários experimentos foram realizados explorando os aspectos de distribuição do processamento e autonomia dos agentes. AGMI apresentou bons resultados quanto ao desempenho, capacidade autônoma de melhorar o conhecimento descoberto e quanto à qualidade do conhecimento apresentado. Comparando com a abordagem testada, utilizando apenas o algoritmo de Regras de Associação, os experimentos com AGMI mostraram um aumento de 170% na qualidade média das 10 melhores regras encontradas e de 350% na qualidade média das 100 melhores regras encontradas. Além disso, AGMI aumentou a qualidade de 193 regras, através de heurística aplicada autonomamente pelo agente Avaliador. As regras descobertas nos experimentos foram analisadas por especialistas da Controladoria- Geral da União e apresentaram fortes indícios de irregularidades em licitações tais como cartéis, simulação de concorrência e direcionamento de editais. _________________________________________________________________________________ ABSTRACT / In Brazil, government auditing is performed by the O_ce of the Comptroller General (CGU), where several approaches are being used to prevent and _ght corruption. However, some activities such as government purchasing fraud detection are limited by the di_culty in _nding e_ective ways to implement. The main problem focused by this research project is how to extract and generate useful knowledge from huge databases of Brazilian Federal procurement processes, in order to help the governmental auditing work. However, activities like detection of cartels are a complex problem in many senses. In terms of _nding useful auditing knowledge, because of the volume of data to correlate information, and also because of the dynamism and diversi_ed strategies used by companies to hide their fraudulent operations. In this research, we combine two originally separated areas and increasingly interrelated: distributed multi-agent systems and data mining. In our approach, we prove the interaction features in a bilateral and complementary way, by introducing AGMI - an AGent-MIning tool for automate knowledge discovery process in a distributed way. Considering the data mining perspective, we have used di_erent model functions, such as clusterization and link analysis with association rules. Autonomous agents are also used in the process in order to improve the discovered knowledge quality. To validate the usage of AGMI, we have performed several experiments using real data from ComprasNet, a government purchasing system of Brazil. Our approach resulted in expressive discovered knowledge. Considering a tested approach using only Association Rule algorithm, the AGMI's experiments have shown a rule quality improvement of 170% in the top 10 rules and 350% in the top 100 rules. Besides, AGMI also enhanced the quality of 193 rules through the autonomous heuristics of Evaluator Agent. According to the auditing experts, the discovered knowledge shall help the work of the CGU auditors in the detection, prevention and monitoring of cartels acting in public procurement processes.

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Elétrica, 2013. / Submitted by Alaíde Gonçalves dos Santos (alaide@unb.br) on 2014-01-21T12:46:46Z No. of bitstreams: 1 2013_BrunoWerneckPintoHoelz.pdf: 3440475 bytes, checksum: 3084aa1ec80c1c223b65cf14f4cac8b2 (MD5) / Approved for entry into archive by Guimaraes Jacqueline(jacqueline.guimaraes@bce.unb.br) on 2014-02-25T12:50:23Z (GMT) No. of bitstreams: 1 2013_BrunoWerneckPintoHoelz.pdf: 3440475 bytes, checksum: 3084aa1ec80c1c223b65cf14f4cac8b2 (MD5) / Made available in DSpace on 2014-02-25T12:50:23Z (GMT). No. of bitstreams: 1 2013_BrunoWerneckPintoHoelz.pdf: 3440475 bytes, checksum: 3084aa1ec80c1c223b65cf14f4cac8b2 (MD5) / Modelos computacionais de confiança e reputação são elementos-chave no projeto de sistemas multiagente abertos. Eles oferecem um meio de avaliar e reduzir o risco de cooperação na presença de incerteza. No entanto, os modelos propostos na literatura não consideram os custos envolvidos na sua aplicação e como os modelos são afetados pela dinamicidade do ambiente. Neste trabalho, um metamodelo para adaptação de confiança a e reputação em sistemas multiagente dinâmicos é proposto. O metamodelo tem como finalidade complementar os modelos de confiança e reputação já existentes, permitindo que agentes deliberativos possam raciocinar sobre os componentes do modelo em uso e reagir a mudança as no ambiente. O processo de adaptação é realizado ajustando a configuração do modelo adotado para melhor se adequar às condições atuais. É demonstrado como o metamodelo pode ser aplicado a modelos propostos na literatura e como planos de adaptação podem ser utilizados para ajustar seus componentes dinamicamente para melhorar seu desempenho. Um mecanismo de aprendizagem, incluindo uma prova de conceito baseada em algoritmos genéticos, é proposto para identificar novos planos de adaptação para cenários similares. Por fim, a avaliação experimental da aplicação do metamodelo e do mecanismo de aprendizagem mostra melhorias significativas em comparação com o uso de modelos não adaptáveis, o que contribui para a melhoria do projeto de agentes autônomos para sistemas multiagente dinâmicos. _______________________________________________________________________________________ ABSTRACT / Computational trust and reputation models are key elements in the design of open multi-agent systems. They offer a way of evaluating and reducing risks of cooperation in the presence of uncertainty. However, the models proposed in the literature do not consider the costs they introduce and how they are affected by dynamic environments. In this work, a meta-model for trust and reputation adaptation in dynamic multi-agent systems is proposed. The meta-model acts as a complement to trust and reputation models, by allowing deliberative agents to reason about the components of the model being used, and to react to changes in the environment. The adaptation process is made by adjusting the model's configuration to better ft the current conditions. It is demonstrated how the meta-model can be applied to existing models proposed in the literature, and how adaptation plans can be used to adjust its components dynamically to improve its performance. A learning mechanism, along with a proof of concept implementation based on genetic algorithms, is proposed to identify new adaptation plans for similar scenarios. Finally, the experimental evaluation of the meta-model application and its learning mechanism shows significant improvements in comparison to the use of non-adaptable models. This contributes to improving the design of autonomous agents for dynamic multi-agent systems.

Tese (doutorado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Civil e Ambiental, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-09-12T18:02:03Z No. of bitstreams: 1 2016_RonnyMarceloAliagaMedrano.pdf: 4438580 bytes, checksum: 48dfff8fc0a527132354374e672d2602 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-11-01T11:25:14Z (GMT) No. of bitstreams: 1 2016_RonnyMarceloAliagaMedrano.pdf: 4438580 bytes, checksum: 48dfff8fc0a527132354374e672d2602 (MD5) / Made available in DSpace on 2016-11-01T11:25:14Z (GMT). No. of bitstreams: 1 2016_RonnyMarceloAliagaMedrano.pdf: 4438580 bytes, checksum: 48dfff8fc0a527132354374e672d2602 (MD5) / O interesse na abordagem de Comportamento em Transporte tem aumentado nos últimos anos. As mudanças tecnológicas, culturais e econômicas vigentes levam a explorar novos campos da ciência do transporte relacionados ao comportamento das pessoas. A abordagem Baseada em Viagens não consegue acompanhar essas mudanças, e isso gera gargalos quando os seus conceitos tentam ser aplicados. Outra questão importante é a fixação dos profissionais de transporte na etapa previsão de viagens, que remete a prática do planejamento de transporte basicamente em estimação de fluxos futuros, sem aprofundar no fenômeno transportes, nas interações entre o seu sistema e o ambiente, e no mecanismo que leva a esses resultados observados. Contudo, Comportamento em Transporte ainda carece de uma formalização na teoria e sofre de uma divisão cada vez mais atômica na prática cientifica, que limita a sua viabilidade de ser aplicada pelo profissional do transporte. Diante disso, nessa tese de doutorado buscou-se formalizar e unificar as diferentes teorias de Comportamento em transporte com o intuito de fortalecer e estruturar a abordagem de uma forma robusta, de forma a contribuir com novas soluções aos problemas emergentes e novas formas de consolidar a prática cientifica. Para isso, foi aplicada a Ontologia de Sistemas de Mario Bunge, tal como foi desenvolvida em Magalhães (2010). Primeiramente, apresenta-se uma revisão dos últimos avanços na literatura de Comportamento de Transporte identificando as principais teorias e abordagens utilizadas na prática cientifica. Posteriormente, aplica-se a Ontologia de Sistemas de Bunge para sistematizar essas teorias e abordagens. Uma vez sistematizados e identificados os componentes - o ambiente, a estrutura e o mecanismo - foi encontrado que o Comportamento em Transporte atua em um Sistema de Transporte reduzido. Em função desse Sistema Reduzido, foi construído o modelo teórico intencional de transporte, que constitui-se em um conjunto de processos que descrevem o funcionamento do Sistema de Transporte e o indivíduo. Neste modelo teórico as teorias e as abordagens revisadas foram sistematizadas, resultando na modelização do fenômeno de transporte diferente do que existe atualmente. E também é apresentada uma nova concepção do sujeito de transporte racional limitado, que é diferente do agente racional econômico comum ao fundamento da Abordagem Baseada em Viagens e ao Modelo de Quatro Etapas. Posteriormente, é realizada uma análise de comparação entre o Modelo de Quatro Etapas, o modelo de MATSIM, e modelo intencional. Finalmente, aplica-se uma simulação entre o Modelo de Quatro Etapas e MATSIM com um cenário de Brasília 2016. O resultado permitiu observar os alcances e possiblidades de duas abordagens diferentes na simulação de funcionamento de um sistema de transporte. Além disso, são apresentadas perspectivas para uma futura operacionalização do modelo teórico intencional de transporte desenvolvido. ________________________________________________________________________________________________ ABSTRACT / The interest in the travel behaviour approach has increased in recent years. Technological, cultural and economic changes lead to explore new transport science fields related to the behavior of people. The trip-based approach cannot keep up with these changes, and this creates bottlenecks when their concepts are intended to be applied. Another important issue is the fixing of transport professionals in the travel prediction step, which refers to the practice of transportation planning basically in the estimation of future flows without delving in transport phenomena, the interactions between your system and the environment, and the mechanism which leads to these observed results. However, travel behaviour still lacks a formalized theory and suffers from an increasingly atomic division in scientific practice, which limits its feasibility to be applied by a transport professional. Therefore, this doctoral thesis sought to formalize and unify the different behaviour theories in transport in order to strengthen and structure the approach in a robust manner, in order to contribute new solutions to emerging problems and new ways to consolidate scientific practice. To do this Mario Bunge systems ontology was applied as developed by Magalhães (2010). First, we present a review of recent advances in travel behavior literature identifying the main theories and approaches used in scientific practice. Subsequently, the Bunge systems ontology is applied to systematize these theories and approaches. Once systematized and identified the components, the environment, the structure and the mechanism, it was found that the travel behavior approach operates at a reduced transport system. Due to that, a theoretical model of transport intentional behavior was built, which is in a set of processes that describe the operation of the transport system and the individual. In this theoretical model the theories and revised approaches were systematized, resulting in the modeling of different transport phenomenon than currently exists. And it also presented a new concept of bounded rationality of transport subject, which is different from common rational economic agent of the trip-based approach and the Four Step Model. Subsequently, a comparison analysis between the Four Step Model, MATSIM, and the intentional model is performed. Finally, a simulation of Brasilia 2016 is applied in the Four Step Model and MATSIM. The results allowed us to observe the scope and possibilities of two different approaches to simulate the operation of a transportation system. In addition, they present perspectives for future operationalization of the theoretical model developed of transport intentional behavior.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2015-12-17T16:33:56Z No. of bitstreams: 1 2015_WosleydaCostaArruda.pdf: 9296287 bytes, checksum: 948dd92adae694c04c1b0c23076481e6 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2015-12-17T17:05:51Z (GMT) No. of bitstreams: 1 2015_WosleydaCostaArruda.pdf: 9296287 bytes, checksum: 948dd92adae694c04c1b0c23076481e6 (MD5) / Made available in DSpace on 2015-12-17T17:05:51Z (GMT). No. of bitstreams: 1 2015_WosleydaCostaArruda.pdf: 9296287 bytes, checksum: 948dd92adae694c04c1b0c23076481e6 (MD5) / Os RNAs não-codificadores (ncRNAs) constituem um importante subconjunto dos transcritos produzidos nas células dos organismos, pois afetam diversos processos celulares. Embora existam métodos computacionais bastante eficazes para identificar proteínas, a anotação de ncRNAs é hoje objeto de pesquisa intensa, pois suas características e sinais não são ainda completamente conhecidos. Neste contexto, nesta tese, apresentamos uma arquitetura para anotação de ncRNAs baseada no paradigma de Sistema Multiagente. A implementação do sistema, denominado de ncRNA-Agents, usa agentes colaborativos, em que cada agente tem conhecimento e raciocínio (simulando os de biólogos) sobre um aspecto específico de RNA, o que contribui para uma anotação curada de ncRNA, com qualidade associada e explicações baseadas nos resultados das ferramentas usadas pelo sistema para recomendar a anotação. Além disso, foram realizados três estudos de casos com os fungos Saccharomyces cerevisiae, Paracoccidioides brasilienses e Schizosaccharomyces pombe, para avaliar o desempenho do sistema quanto a sua capacidade de anotar ncRNAs conhecidos e de predizer novos ncRNAs. Acesso público a esta ferramenta está em http://www.biomol.unb.br/ncrna-agents. ______________________________________________________________________________________________ ABSTRACT / Non-coding RNAs (ncRNAs) are an important subset of the transcripts produced in the cells of organisms, since they affect many cellular processes. Although there are efficient and fast computational methods to identify proteins, annotation of ncRNAs is now focus of intensive research once their characteristics and signals are not yet entirely known. In this context, in this thesis, we present an architecture for ncRNAs annotation based on the multi-agent system paradigm. The implementation of a system, called ncRNA-Agents, uses collaborative agents, where each agent has knowledge and reasonig (simulating biologists) about a specific aspect of RNA, which contributes to a curated ncRNA annotation, with associated quality and explanations based on the results of the tools used by the system to recommend the annotation. In addition, we performed three case studies with three fungi, Saccharomyces cerevisiae, Schizosaccharomyces pombe and Paracoccidioides brasiliensis, to evaluate the performance of the system and its ability to annotate known ncRNAs and predict new ncRNAs. This tool is publicly available at http://www.biomol.unb.br/ncrna-agents.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Ciência da Computação, 2015. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-02-23T11:49:20Z No. of bitstreams: 1 2015_LeonardoLuizBarbosaVieiraCruciol.pdf: 50854244 bytes, checksum: 0070371c612d974e47daebc4365ab3dc (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2016-02-25T12:37:02Z (GMT) No. of bitstreams: 1 2015_LeonardoLuizBarbosaVieiraCruciol.pdf: 50854244 bytes, checksum: 0070371c612d974e47daebc4365ab3dc (MD5) / Made available in DSpace on 2016-02-25T12:37:02Z (GMT). No. of bitstreams: 1 2015_LeonardoLuizBarbosaVieiraCruciol.pdf: 50854244 bytes, checksum: 0070371c612d974e47daebc4365ab3dc (MD5) / A otimização de recursos no gerenciamento de tráfego aéreo é, por si só, um problema computacionalmente complexo. Durante o último ano, foi colocada em operação nos EUA uma evolução de alguns dos atuais programas de gerenciamento de tráfego aéreo, o Collaborative Trajectory Options Program (CTOP), pela Federal Aviation Administration. Esse programa faz parte da iniciativa Next Generation Air Transportation System e possibilita a melhoria dos resultados de negócio pelas companhias aéreas. Existe uma grande dificuldade pelas companhias aéreas, dada pela incerteza inerente ao complexo processo, na definição de quantas rotas devem ser enviadas para cada voo. O desenvolvimento de uma solução que trate de maneira dinâmica, quando o CTOP é iniciado, se mostrou computacionalmente complexa do ponto de vista da modelagem das informações a serem utilizadas. A utilização de uma estratégia errada pode gerar atrasos diversas vezes maiores. Existe uma solução para este problema, na qual foram utilizados algoritmos de busca greedy para apresentar as rotas com menor atraso para uma determinada companhia aérea envolvida no CTOP, porém esta solução não trata a incerteza envolvida ao serem assumidas premissas não reais. Assim, esta tese apresenta um modelo inovador que utiliza sistemas inteligentes para o tratamento de incertezas ao sugerir ao especialista quantas rotas deverão ser enviadas. O processo de disputa apresentado foi dividido em dois níveis. Primeiro, resolvido pelo modelo computacional Single Games for CTOP (SG-CTOP), como realizar a otimização dinâmica e automática do processo de disputa de slots disponíveis para múltiplas áreas restritas de fluxo durante a primeira rodada de negociações, no qual não existe qualquer conhecimento prévio dos seus concorrentes. Segundo, resolvido pelo modelo computacional Repeated Games for CTOP (RG-CTOP), como a estratégia de cada companhia irá afetar a estratégia da outra e possibilitar o aprendizado de reputações adaptando, assim, as estratégias utilizadas nas negociações anteriores. Os resultados alcançados pelos dois modelos se mostraram promissores para as companhias aéreas. Em dois estudos de caso foram gerados 20.000 negociações em CTOP, assim, retratando os mais diversos casos e estratégias utilizadas dentro do CTOP. O modelo SG-CTOP alcançou um desempenho superior, ou igual, em 97% dos casos, quando comparado com as melhores estratégias atuais, reduzindo em 537 horas de atrasos para uma determinada companhia. Quanto ao modelo RG-CTOP, foi alcançada uma taxa de melhoria aproximada de 21%, para uma determinada companhia aérea, ao se considerar o aprendizado e adaptação de estratégias frente aos seus concorrentes na disputa dos melhores slots. / The optimization of resources in air traffic management is a computationally complex problem. During the last year, the Collaborative Trajectory Options Program (CTOP) had started as an operational evolution of current air traffic management programs by Federal Aviation Administration in USA. This program is part of Next Generation Air Transportation System initiative and makes possible to improve airlines' business results. Airlines have a great issue to decide how many routes might be sent for each flight, because of the uncertainty in this complex process. The development of a solution that handle dynamically, as soon as CTOP has started, it was very complex considering the information modeling to be used. A wrong strategy could achieve delays several times greater. There is a solution for this problem, which used greedy algorithms to find out the routes with minimum delay for a specific airline in CTOP. However, this solution does not handle the uncertainty involved once some unreal assumptions are made. So, this thesis presents an innovation model to suggest how many routes should be sent by intelligent systems to handle uncertainties. The negotiation process was divided into two levels. First, using the computational model Single Games for CTOP (SG-CTOP), how to realize a dynamical and automatic optimization in the dispute process of available slots for multiple flow constrained areas during the first negotiation, which there is no previous knowledge about competitors. Second, using the computational model Repeated Games for CTOP (RG-CTOP), how the competitors' strategy could change the strategy of an airline and makes possible to learn by competitors' reputation, adjusting the past strategies. The achieved results by both computational models are promising for airlines. In the case studies, 20.000 CTOP negotiations were generated. Thus, it was studied several cases and strategies used in CTOP. The SG-CTOP achieved a performance better, or equal, in 97% of CTOP negotiations, when it was compared to others strategies, representing a delay reduction of 537 hours for the airline. The RG-CTOP achieved a rate improvement about 21% for an airline, when it was used a learning process by adapting its strategies against competitors to be allocated in better available slots.

Dissertação (mestrado)-Universidade de Brasília, Departamento de Ciência da Computação, 2009. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-11-07T12:36:39Z No. of bitstreams: 1 2009_BrunoWerneckPintoHoelz.pdf: 4633536 bytes, checksum: 8867267a2ff22f5a79c1af6a9656c13f (MD5) / Approved for entry into archive by Elzi Bittencourt(elzi@bce.unb.br) on 2011-11-29T14:12:39Z (GMT) No. of bitstreams: 1 2009_BrunoWerneckPintoHoelz.pdf: 4633536 bytes, checksum: 8867267a2ff22f5a79c1af6a9656c13f (MD5) / Made available in DSpace on 2011-11-29T14:12:39Z (GMT). No. of bitstreams: 1 2009_BrunoWerneckPintoHoelz.pdf: 4633536 bytes, checksum: 8867267a2ff22f5a79c1af6a9656c13f (MD5) / O exame pericial de sistemas computacionais e evidências digitais é uma tarefa complexa que exige habilidades altamente especializadas para identi car, coletar e analisar vestígios importantes para a investigação de um crime. Muitos são os desa os para a realização de um exame satisfatório, uma vez que os recursos humanos e materiais, bem como o tempo disponível, são na maioria das vezes muito limitados. Com isso, nem sempre é possível realizar um exame tão abrangente e completo quanto o desejado. Este trabalho propõe o desenvolvimento e a utilização de um Sistema Multiagente na realização de exames periciais de sistemas computacionais. O sistema proposto, denominado Multi-Agent Digital Investigation toolKit (MADIK), apresenta uma arquitetura baseada na estrutura hierárquica das organizações, dividida em quatro níveis: estratégico, tático, operacional e especializado. Os agentes localizados em cada um desses níveis trabalham de forma distribuída e cooperativa para examinar as evidências digitais relacionadas a uma investigação. Suas descobertas e recomendações são registradas em uma estrutura compartilhada de blackboard, permitindo ao especialista humano avaliar e revisar os resultados obtidos. A estrutura do blackboard permite também que os agentes realizem a correlação de suas descobertas. Este trabalho apresenta a proposta do Sistema Multiagente (SMA), a implementa ção de um protótipo e os resultados obtidos ao longo de vários experimentos. Os resultados obtidos foram muito positivos, com bons níveis de abrangência da análise do conteúdo das evidências e de correlação de vestígios, e com a redução do tempo total necessário para realização dos exames periciais quando comparados a um examinador humano utilizando as ferramentas forenses atuais em um cenário de recursos materiais e tempo limitados. ______________________________________________________________________________ ABSTRACT / The forensic examination of computational systems is a complex task that demands highly specialized skills to identify, collect, and analyze evidence of interest to the investigation of a crime. Many are the challenges on the way to a satisfactory examination, since the resources, both human and material, as well as the time available, are often limited. So it's not always possible to perform an examination as complete as desired. This work proposes the use of a Multi-Agent System in the performing of forensic examination of computational systems. The proposed Multi-Agent System (MAS), named Multi-Agent Digital Investigation toolKit (MADIK) presents an architecture based on the hierarchical structure of organizations, divided into four layers: strategic, tactical, operational and specialized. The agents in each one of these layers work in a distributed and cooperative manner to examine the digital evidence related to the investigation. Their ndings and recommendations are placed in a blackboard shared structure, that allows the human specialist to evaluate and review the obtained results. The blackboard structure also allows other agents to correlate their ndings with others. This work presents the proposed system, a working prototype and the results obtained after a series of experiments. The obtained results where very positive, with good coverage levels in the digital evidence content analysis and correlation of ndings, as well as reduction in the time required to perform the forensic examination when compared to those obtained by a human examiner using the currently available forensic tools in a scenario of limited time and material resources.

Made available in DSpace on 2014-06-12T15:55:45Z (GMT). No. of bitstreams: 2 arquivo2286_1.pdf: 1818614 bytes, checksum: bde38ef39500718996aa2511dab57905 (MD5) license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5) Previous issue date: 2008 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Apesar de sistemas multiagentes estarem se tornando cada vez mais comuns no desenvolvimento de software, há ainda que se chegar a um consenso sobre como modelar e comparar diferentes soluções de sistemas multiagentes para um mesmo problema. Em outras palavras, os pesquisadores de tal área ainda estão à procura de benchmarks que sirvam de referência para a comparação de abordagens distintas. Dada a importância do estabelecimento de benchmarks para sistemas multiagentes, uma questão que surge entre os pesquisadores da área de patrulhamento é a possibilidade e o potencial do problema do patrulhamento como um destes benchmarks. Apesar da quantidade de trabalho produzido até este ponto, tem-se encontrado dificuldades para comparar precisamente as soluções propostas para o patrulhamento. Estas dificuldades remetem principalmente à ausência de ferramentas (em especial um simulador unificado) que permitam aos estudiosos se concentrarem na solução do problema em si, e não na sua representação. Partindo deste cenário, este trabalho tem como objetivo discutir o estabelecimento do patrulhamento enquanto um benchmark para sistemas multiagentes. Adicionalmente, como um primeiro passo no sentido de preencher as lacunas que dificultam tal estabelecimento, introduz-se o SimPatrol, um novo simulador voltado para a tarefa de patrulhamento, fortemente inspirado pelos simuladores da RoboCup e TAC. Novos resultados são produzidos a partir de uma avaliação de parte das técnicas propostas pelas pesquisas anteriores frente às novas funcionalidades implementadas pelo simulador, em especial a inédita medida de ociosidade dos vértices, que leva em consideração o tempo de raciocínio gasto pelos patrulheiros

Made available in DSpace on 2016-08-17T14:52:45Z (GMT). No. of bitstreams: 1 Yonara Magalhaes.pdf: 3488130 bytes, checksum: e183eccb37268ce608c84048d98d467a (MD5) Previous issue date: 2003-01-31 / Cooperative process of teach-learning at a distance of the society of intelligent agents of environment MATHNET. It is presented architecture of the society of agents of the MATHNET that to provide the process with teach-learning. It is in exchange for distinguished the Tutor Agent and the model of communication, based messages and that it uses the FIPA-ACL Agent Communication Language, between the Tutor Agent and excessively the participant agents of this society. The main characteristics and the paper (responsibilities) of the Tutor Agent describe. Its conceptual model is constructed. Its main Cases Use, interactions with several agents of this architecture and the protocols of communication of the Tutor Agent with the other agents are shaped. The Tutor Agent creates itself using a tool of construction of agents. One implements the Tutor Agent and its Cases Use to inside demonstrate to its relevance and importance of the system and the model of communication. / Processo de ensino-aprendizagem cooperativo à distância da sociedade de agentes inteligentes do ambiente MATHNET. Apresenta-se a arquitetura da sociedade de agentes do MATHNET que provê o processo de ensino-aprendizagem. Destaca-se o Agente Tutor e o modelo de comunicação, baseado em troca de mensagens e que utiliza a Linguagem de Comunicação FIPA-ACL, entre o Agente Tutor e os demais agentes participantes dessa sociedade. Descrevem-se as principais características e o papel (responsabilidades) do Agente Tutor. Constrói-se o seu modelo conceitual. Modelam-se os seus principais Casos de Uso, as interações com os demais agentes dessa arquitetura e os protocolos de comunicação do Agente Tutor com os outros agentes. Cria-se o Agente Tutor utilizando para isto uma ferramenta de construção de agentes. Implementa-se o Agente Tutor e seus Casos de Uso para demonstrar sua relevância e importância dentro do sistema e o modelo de comunicação aqui proposto.