O ambiente aquático tem notória importância para a pesquisa, pela biodiversidade e vastidão, e também do ponto de vista comercial, para a indústria militar e de óleo&gás por exemplo. Entretanto, a sua exploração é prejudicada por diversos fatores, entre eles devido à dificuldade de navegação. Infelizmente, carece-se de sinal GPS (Global Positioning System) embaixo d\'água, o que exige outras técnicas de localização. Assim, este trabalho analisa um sistema de navegação para um veículo submarino autônomo. Graças a sensores de velocidade, girômetros, bússola, entre outros, aplica-se o princípio de dead reckoning para calcular a posição atual do veículo a partir da última posição conhecida. Para tal, é feito inicialmente um estudo dos sensores a serem utilizados e um algoritmo de navegação é proposto, cujos resultados são expressos em coordenadas geodésicas (latitude e longitude), permitindo a visualização da trajetória do veículo em mapas geo-referenciados. Além disso, problemas práticos de medição são tratados. Em seguida, é feito um estudo sobre o ruído dos sensores, utilizando a curva de variância de Allan para caracterização dos sinais dos girômetros e do DVL (Doppler Velocity Logger). Por meio de equações de propagação de erro, os ruídos são recuperados em simulação, permitindo a estimação do erro de posição e de atitude (posição angular) acumulados para uma dada manobra. Finalmente, discute-se um critério de emersão a partir das estimativas de erro de posição. / The main part of our planet is filled with water, so the aquatic environment has notorious research and commercial importance. However, its exploration faces many difficulties. In navigation, the lack of GPS signal (Global Positioning System) during underwater missions requires different techniques, so this document focus on analyzing a navigation system for autonomous underwater vehicles. Thanks to different embedded sensors, like DVL (Doppler Velocity Logger), compass, gyrometers and others, the processes of dead reckoning is applied, witch calculates vehicle\'s current position by using the previously determined position. To do so, a navigation algorithm is implemented, providing geodesic coordinates to plot vehicle\'s trajectories on geo-referenced maps. Also, practical difficulties are discussed and treated. To improve the quality of the results, girometer\'s and DVL\'s errors are analyzed using Allan\'s variance and the navigation errors are estimated using first order time derivative equations in an augmented state space. Lastly, it is discussed a criterion to emerge and correct the vehicle\'s position using GPS signal.

Historicamente, os sistemas de tráfego aéreo incorporaram níveis de automação nas atividades de controle do espaço aéreo com o intuito de atender à crescente demanda por serviços aéreos e de melhorar os níveis de segurança nos procedimentos de voo. Com o crescimento expressivo previsto para os próximos anos, devido ao aumento nos números de voos e de usuários, as opções tradicionais de expansão da malha aérea e / ou construção de novos aeroportos se tornaram onerosas economicamente, tornando necessária a adoção de alternativas, tais como as técnicas / procedimentos para pousos em pistas paralelas, como forma de aproveitar parte da atual infraestrutura aeroportuária existente, sem a necessidade de enormes aportes financeiros. Para avaliar a viabilidade de projetos de pousos simultâneos em pistas paralelas, um dos fatores importantes a serem analisados é o da avaliação do risco de colisão entre aeronaves associado durante esses procedimentos. Nesse cenário, este trabalho de pesquisa propõe uma extensão no modelo de avaliação de segurança de Ogata para procedimentos de pouso em pistas paralelas, considerando que o modelo original tem o objetivo de medir o nível de risco associado somente para operações de pouso convencionais em pistas paralelas. A extensão deste modelo ocorre no sentido de também permitir a simulação em outros cenários distintos de pouso, o que torna possível tanto a realização de comparativos entre técnicas / procedimentos utilizadas em operações de pouso em pistas paralelas, quanto a avaliação do nível de risco associado. Este modelo estendido de segurança utiliza o método de Monte Carlo, da mesma forma que o original, em que um número elevado de simulações de cenários possíveis de pousos em pistas paralelas é avaliado. Com os resultados obtidos, é analisado o impacto da variação da distância entre as pistas na segurança de pousos em pistas paralelas. / Historically, air traffic control systems have incorporated some levels of automation to manage procedures of airspace control in order to meet the growing demand for air transportation services and to improve levels of safety in flight procedures. With significant growth expected in the coming years due to an increase in numbers of flights and passengers, the traditional options of expanding the air traffic network and / or construction of new airports have become economically burdensome, requiring the adoption of alternatives such as techniques / procedures for landings on parallel runways as a way of taking advantage of part of the current airport infrastructure, without requiring enormous financial contributions. To assess the feasibility of projects of landing in parallel runways, one of the important factors to be analyzed is the evaluation of the risk of collision between aircraft, associated to these procedures. In this scenario, this research proposes to extend the Ogata safety assessment model in procedures for landing on parallel runways, whereas the original model aims to measure the level of risk associated only with conventional landing operations in parallel runways. The extension of this model occurs in order to allow the simulation of different landing scenarios, which makes possible both the conduct of comparative techniques / procedures used in landing operations on parallel runways, such as the risk level assessment. This model uses the Monte Carlo simulation, the same as the original model, in which a large number of simulations of possible scenarios for landings on parallel runways are evaluated. With these results, it studies the impact of the change of distance between lanes on the safety of aircraft landing on parallel runways.

Com o avanço dos computadores pessoais, problemas técnicos complexos, antes restritos aos grandes centros de pesquisas internacionais, passam a ser acessíveis pelas mais diversas áreas do conhecimento, como as engenharias e em particular a Engenharia Química. Fenômenos físicos são representados matematicamente por equações diferenciais, que na maioria das vezes não possuem solução analítica possível. O CFD ( Computer Fluid Dynamics) é uma técnica numérica iterativa, que busca a solução destas equações diferenciais através da discretização do domínio estudado e das equações que governam o fenômeno envolvido. Neste trabalho, através de um software especialista de CFD, o ANSYS CFX 11.0, foi simulado o transporte de massa e momento de um soluto traçador, o Cloreto, presente no sal Cloreto de Sódio, em um meio poroso. Em seguida, os resultados desta simulação foram comparados e validados por um experimento de transporte de massa numa caixa de areia. / With the advance of the personal computers, complex technical problems, before restricted to the huge centers of international researches, have become more accessible by many areas of the knowledge, like the engineering and in particular the Chemical Engineering. Physical phenomena are represented mathematically by differentials equations, which most of the time do not have possible analytical solution. CFD (Computer Fluid Dynamics) is an iterative numeric technique, which search the solution of these differentials equations through both discretization of the studied domain and the equations that govern the involved phenomenon. In this work, through a CFD\'s specialist software, ANSYS CFX 11.0, it was simulated the mass and momentum transport of a solute tracer, Chloride, present in Sodium Chloride, in a porous media. After this, the simulations results were compared and validated in a mass transport experiment in a sand box.

Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais como redução de custos e aumento da produtividade. No Sistema de Gerenciamento de Tráfego Aéreo, esta transformação é preconizada pelo paradigma CNS/ATM (Communication, Navigation, Surveillance / Air Traffic Management), baseado no uso de novas tecnologias digitais, sobretudo satélites, aplicadas à comunicação, à vigilância, à navegação e ao gerenciamento do tráfego aéreo. O CNS/ATM visa reduzir as restrições do atual paradigma de tráfego aéreo como forma de atender sua crescente demanda, mantendo (ou melhorando) os atuais níveis de segurança. Porém, esta mudança de paradigma traz consigo novos desafios e necessidades, sobretudo, quanto à forma de se avaliar os sistemas resultantes. Em face destes novos desafios e problemas enfrentados, este trabalho propôs um método de avaliação de risco, constituído pela união dos métodos \"absoluto\" e \"relativo\" preconizados pela Organização da Aviação Civil Internacional (OACI), pelo emprego do formalismo das redes de Petri Fluidas e Estocásticas (RPFE) na modelagem dos sistemas, e pela comparação entre os valores de métricas de segurança estimados para o sistema avaliado e para um sistema legado. Este método foi aplicado para avaliar a segurança na mudança do atual paradigma de vigilância aérea, baseado em equipamentos Radar, para o paradigma de Vigilância Dependente Automática por Radiodifusão (ADS-B). Como conclusões, o método proposto mostrou-se promissor para avaliar a segurança de sistemas baseados nos atuais paradigmas de sistema críticos em segurança, especialmente o CNS/ATM, onde o formalismo das RPFE proporcionou modelar suas principais características, e a simulação por eventos discretos permitiu estimar as métricas desejadas. Além disso, a ADS-B mostrou-se uma aplicação viável para a vigilância no Sistema de Controle de Tráfego Aéreo, sendo capaz de reduzir o nível de exposição das aeronaves a eventos de perda de separação e, assim, melhorar os níveis de segurança do tráfego aéreo. / In last decades, the safety critical systems paradigm has changing to adapt itself to new necessities, such as costs reduction and productivity demand growth. In the Air Traffic System, those changes are ruled by CNS/ATM paradigm (Communication, Navigation, Surveillance / Air Traffic Management), based on new digital Technologies, mainly Satellites, applied to Communication, Surveillance, Navigation and Air Traffic Management. CNS/ATM intends to reduce the restrictions of current air traffic paradigm, enabling the growth of air traffic capacity without affecting current safety levels. However, this new paradigm brings together new challenges and needs, mainly related to safety assessment. In face of these new challenges, this work proposed a method of risk assessment constituted by the union of the \"absolute\" and \"relative\" assessment methods adopted by the International Civil Aviation Organization (ICAO), by modeling systems using Fluid Stochastic Petri Nets (FSPN) formalism, and by comparison between safety metrics obtained from proposed and legacy system simulations. This method was applied to assess a new concept of air traffic surveillance, named \"Automatic Dependent Surveillance - Broadcasting\" (ADS-B). As main conclusions, the proposed method was promising to assess system safety properties based on current safety critical system paradigm, especially the CNS/ATM, where FSPN formalism provided important modeling capabilities and discrete event simulation allowed estimating the desired safety metric. Besides, ADS-B has meaningfully reduced the separation losses risks and, therefore, it could be used to air traffic control surveillance system to improve capacity and/or safety levels of air traffic system.

Este trabalho apresenta pesquisa relativa à modelagem de lâmpadas de descarga. A metodologia desenvolvida fornece meios de se construir modelos baseados em ferramentas inteligentes, especificamente através de redes neurais artificiais, de forma a representar o dispositivo com características que descrevam seus aspectos operacionais, bem como o comportamento de tais dispositivos diante de eventos relacionados à qualidade da energia elétrica. Um modelo matemático do conjunto lâmpada-reator, caracterizado como carga não-linear foi implementado inicialmente através da ferramenta SIMULINK®, integrante do pacote de software MATLAB®, e os resultados de simulações obtidas com este modelo são apresentados e comparados com os dados de operação obtidos experimentalmente, servindo como base de modelo para a lâmpada de descarga estudada e ponto de partida para a modelagem baseada em ferramentas computacionais inteligentes. Como contribuição, foi proposta a arquitetura de um modelo baseado em um conjunto de redes neurais artificiais destinado a representar a operação do conjunto lâmpada de descarga e reator. Empregando a massa de dados obtida através de ensaios realizados em diversas condições operacionais, e com o auxílio do pacote de software MATLAB®, realizou-se o treinamento de duas redes neurais artificiais que em conjunto foram capazes de representar com elevado grau de fidelidade o comportamento de uma lâmpada de descarga, incluindo as respostas transitórias a eventos relacionados à qualidade da energia elétrica. Comparado com o modelo matemático, o modelo neural proposto demonstrou maior facilidade de aplicação e boa representação do dispositivo e exigiu esforço computacional consideravelmente menor para simulações envolvendo grandes períodos de tempo e elevado número de dispositivos. Além destas vantagens, a metodologia adotada possibilita a obtenção de modelos de outras famílias de lâmpadas de descarga a partir de dados experimentais apenas, sem necessidade de conhecimento dos dados físicos e construtivos do dispositivo. O elevado desempenho do modelo obtido permitiu a simulação de conjuntos de lâmpadas de descargas inseridos em um sistema de distribuição em tempos de simulação muito menores que os exigidos pelo modelo matemático, justificando sua aplicação nas representações desta família de cargas inseridas nos sistemas elétricos de potência. A representação do comportamento do dispositivo frente a distúrbios de qualidade da energia também se mostrou como uma ferramenta útil para estudos mais complexos no sistema de distribuição. / This work presents research related to the modeling of discharge lamps. This methodology made possible to build models based on intelligent tools, specifically artificial neural networks, to represent the device characteristics concerning operational aspects as well as the behavior of such devices facing power quality events. The mathematical model of a lamp-reactor, characterized as an non-linear load, was implemented using SIMULINK® toolbox, part of the software MATLAB®. The simulation results obtained from this model are compared with data obtained experimentally, serving as a base model for discharge lamps as well as a starting point for the modeling tools based on computational intelligence. As a contribution, an architecture of a model based on artificial neural networks designed to represent the operation of the discharge lamp and reactor was proposed. Employing the data obtained from tests performed under various operating conditions, and with the aid of the software MATLAB®, the training of two neural networks was performed. These networks were able to represent with high fidelity the behavior a discharge lamp, including the response to transient events related to power quality. Comparing to the mathematical model, the neural model demonstrated greater adaptation and good representation of the device and required a considerably lower computational effort for simulations involving large periods of time and a great number of devices. Besides these advantages, the methodology allows to obtain models from other families of discharge lamps from experimental data only, without the knowledge of the physical data of the device. The high performance of the neural model allowed the simulation of a group of discharge lamps in a distribution system with simulation time much smaller than those required by the mathematical model, justifying its application in electric power systems. The representation of such a device facing power quality disturbances also proved to be a useful tool for more complex studies in a distribution system.

Este trabalho apresenta pesquisa relativa à modelagem de lâmpadas de descarga. A metodologia desenvolvida fornece meios de se construir modelos baseados em ferramentas inteligentes, especificamente através de redes neurais artificiais, de forma a representar o dispositivo com características que descrevam seus aspectos operacionais, bem como o comportamento de tais dispositivos diante de eventos relacionados à qualidade da energia elétrica. Um modelo matemático do conjunto lâmpada-reator, caracterizado como carga não-linear foi implementado inicialmente através da ferramenta SIMULINK®, integrante do pacote de software MATLAB®, e os resultados de simulações obtidas com este modelo são apresentados e comparados com os dados de operação obtidos experimentalmente, servindo como base de modelo para a lâmpada de descarga estudada e ponto de partida para a modelagem baseada em ferramentas computacionais inteligentes. Como contribuição, foi proposta a arquitetura de um modelo baseado em um conjunto de redes neurais artificiais destinado a representar a operação do conjunto lâmpada de descarga e reator. Empregando a massa de dados obtida através de ensaios realizados em diversas condições operacionais, e com o auxílio do pacote de software MATLAB®, realizou-se o treinamento de duas redes neurais artificiais que em conjunto foram capazes de representar com elevado grau de fidelidade o comportamento de uma lâmpada de descarga, incluindo as respostas transitórias a eventos relacionados à qualidade da energia elétrica. Comparado com o modelo matemático, o modelo neural proposto demonstrou maior facilidade de aplicação e boa representação do dispositivo e exigiu esforço computacional consideravelmente menor para simulações envolvendo grandes períodos de tempo e elevado número de dispositivos. Além destas vantagens, a metodologia adotada possibilita a obtenção de modelos de outras famílias de lâmpadas de descarga a partir de dados experimentais apenas, sem necessidade de conhecimento dos dados físicos e construtivos do dispositivo. O elevado desempenho do modelo obtido permitiu a simulação de conjuntos de lâmpadas de descargas inseridos em um sistema de distribuição em tempos de simulação muito menores que os exigidos pelo modelo matemático, justificando sua aplicação nas representações desta família de cargas inseridas nos sistemas elétricos de potência. A representação do comportamento do dispositivo frente a distúrbios de qualidade da energia também se mostrou como uma ferramenta útil para estudos mais complexos no sistema de distribuição. / This work presents research related to the modeling of discharge lamps. This methodology made possible to build models based on intelligent tools, specifically artificial neural networks, to represent the device characteristics concerning operational aspects as well as the behavior of such devices facing power quality events. The mathematical model of a lamp-reactor, characterized as an non-linear load, was implemented using SIMULINK® toolbox, part of the software MATLAB®. The simulation results obtained from this model are compared with data obtained experimentally, serving as a base model for discharge lamps as well as a starting point for the modeling tools based on computational intelligence. As a contribution, an architecture of a model based on artificial neural networks designed to represent the operation of the discharge lamp and reactor was proposed. Employing the data obtained from tests performed under various operating conditions, and with the aid of the software MATLAB®, the training of two neural networks was performed. These networks were able to represent with high fidelity the behavior a discharge lamp, including the response to transient events related to power quality. Comparing to the mathematical model, the neural model demonstrated greater adaptation and good representation of the device and required a considerably lower computational effort for simulations involving large periods of time and a great number of devices. Besides these advantages, the methodology allows to obtain models from other families of discharge lamps from experimental data only, without the knowledge of the physical data of the device. The high performance of the neural model allowed the simulation of a group of discharge lamps in a distribution system with simulation time much smaller than those required by the mathematical model, justifying its application in electric power systems. The representation of such a device facing power quality disturbances also proved to be a useful tool for more complex studies in a distribution system.

Ao longo das últimas décadas, o paradigma de sistemas críticos em segurança vem sofrendo transformações como forma de se adequar às novas necessidades demandadas, tais como redução de custos e aumento da produtividade. No Sistema de Gerenciamento de Tráfego Aéreo, esta transformação é preconizada pelo paradigma CNS/ATM (Communication, Navigation, Surveillance / Air Traffic Management), baseado no uso de novas tecnologias digitais, sobretudo satélites, aplicadas à comunicação, à vigilância, à navegação e ao gerenciamento do tráfego aéreo. O CNS/ATM visa reduzir as restrições do atual paradigma de tráfego aéreo como forma de atender sua crescente demanda, mantendo (ou melhorando) os atuais níveis de segurança. Porém, esta mudança de paradigma traz consigo novos desafios e necessidades, sobretudo, quanto à forma de se avaliar os sistemas resultantes. Em face destes novos desafios e problemas enfrentados, este trabalho propôs um método de avaliação de risco, constituído pela união dos métodos \"absoluto\" e \"relativo\" preconizados pela Organização da Aviação Civil Internacional (OACI), pelo emprego do formalismo das redes de Petri Fluidas e Estocásticas (RPFE) na modelagem dos sistemas, e pela comparação entre os valores de métricas de segurança estimados para o sistema avaliado e para um sistema legado. Este método foi aplicado para avaliar a segurança na mudança do atual paradigma de vigilância aérea, baseado em equipamentos Radar, para o paradigma de Vigilância Dependente Automática por Radiodifusão (ADS-B). Como conclusões, o método proposto mostrou-se promissor para avaliar a segurança de sistemas baseados nos atuais paradigmas de sistema críticos em segurança, especialmente o CNS/ATM, onde o formalismo das RPFE proporcionou modelar suas principais características, e a simulação por eventos discretos permitiu estimar as métricas desejadas. Além disso, a ADS-B mostrou-se uma aplicação viável para a vigilância no Sistema de Controle de Tráfego Aéreo, sendo capaz de reduzir o nível de exposição das aeronaves a eventos de perda de separação e, assim, melhorar os níveis de segurança do tráfego aéreo. / In last decades, the safety critical systems paradigm has changing to adapt itself to new necessities, such as costs reduction and productivity demand growth. In the Air Traffic System, those changes are ruled by CNS/ATM paradigm (Communication, Navigation, Surveillance / Air Traffic Management), based on new digital Technologies, mainly Satellites, applied to Communication, Surveillance, Navigation and Air Traffic Management. CNS/ATM intends to reduce the restrictions of current air traffic paradigm, enabling the growth of air traffic capacity without affecting current safety levels. However, this new paradigm brings together new challenges and needs, mainly related to safety assessment. In face of these new challenges, this work proposed a method of risk assessment constituted by the union of the \"absolute\" and \"relative\" assessment methods adopted by the International Civil Aviation Organization (ICAO), by modeling systems using Fluid Stochastic Petri Nets (FSPN) formalism, and by comparison between safety metrics obtained from proposed and legacy system simulations. This method was applied to assess a new concept of air traffic surveillance, named \"Automatic Dependent Surveillance - Broadcasting\" (ADS-B). As main conclusions, the proposed method was promising to assess system safety properties based on current safety critical system paradigm, especially the CNS/ATM, where FSPN formalism provided important modeling capabilities and discrete event simulation allowed estimating the desired safety metric. Besides, ADS-B has meaningfully reduced the separation losses risks and, therefore, it could be used to air traffic control surveillance system to improve capacity and/or safety levels of air traffic system.

Historicamente, os sistemas de tráfego aéreo incorporaram níveis de automação nas atividades de controle do espaço aéreo com o intuito de atender à crescente demanda por serviços aéreos e de melhorar os níveis de segurança nos procedimentos de voo. Com o crescimento expressivo previsto para os próximos anos, devido ao aumento nos números de voos e de usuários, as opções tradicionais de expansão da malha aérea e / ou construção de novos aeroportos se tornaram onerosas economicamente, tornando necessária a adoção de alternativas, tais como as técnicas / procedimentos para pousos em pistas paralelas, como forma de aproveitar parte da atual infraestrutura aeroportuária existente, sem a necessidade de enormes aportes financeiros. Para avaliar a viabilidade de projetos de pousos simultâneos em pistas paralelas, um dos fatores importantes a serem analisados é o da avaliação do risco de colisão entre aeronaves associado durante esses procedimentos. Nesse cenário, este trabalho de pesquisa propõe uma extensão no modelo de avaliação de segurança de Ogata para procedimentos de pouso em pistas paralelas, considerando que o modelo original tem o objetivo de medir o nível de risco associado somente para operações de pouso convencionais em pistas paralelas. A extensão deste modelo ocorre no sentido de também permitir a simulação em outros cenários distintos de pouso, o que torna possível tanto a realização de comparativos entre técnicas / procedimentos utilizadas em operações de pouso em pistas paralelas, quanto a avaliação do nível de risco associado. Este modelo estendido de segurança utiliza o método de Monte Carlo, da mesma forma que o original, em que um número elevado de simulações de cenários possíveis de pousos em pistas paralelas é avaliado. Com os resultados obtidos, é analisado o impacto da variação da distância entre as pistas na segurança de pousos em pistas paralelas. / Historically, air traffic control systems have incorporated some levels of automation to manage procedures of airspace control in order to meet the growing demand for air transportation services and to improve levels of safety in flight procedures. With significant growth expected in the coming years due to an increase in numbers of flights and passengers, the traditional options of expanding the air traffic network and / or construction of new airports have become economically burdensome, requiring the adoption of alternatives such as techniques / procedures for landings on parallel runways as a way of taking advantage of part of the current airport infrastructure, without requiring enormous financial contributions. To assess the feasibility of projects of landing in parallel runways, one of the important factors to be analyzed is the evaluation of the risk of collision between aircraft, associated to these procedures. In this scenario, this research proposes to extend the Ogata safety assessment model in procedures for landing on parallel runways, whereas the original model aims to measure the level of risk associated only with conventional landing operations in parallel runways. The extension of this model occurs in order to allow the simulation of different landing scenarios, which makes possible both the conduct of comparative techniques / procedures used in landing operations on parallel runways, such as the risk level assessment. This model uses the Monte Carlo simulation, the same as the original model, in which a large number of simulations of possible scenarios for landings on parallel runways are evaluated. With these results, it studies the impact of the change of distance between lanes on the safety of aircraft landing on parallel runways.

Em Teoria dos Jogos, o Dilema do Prisioneiro para N Participantes (DPNP) é o problema que representa, em sua forma elementar, o paradoxo que gera as dificuldades existentes na formação da cooperação entre mais de dois agentes. Diversos trabalhos foram e continuam sendo feitos sobre esse tema, no sentido de compreender melhor os fatores que influenciam o surgimento e a evolução da cooperação numa sociedade. Neste trabalho, o objetivo principal é o de analisar o impacto do poder expressivo de um modelo de representação de estratégias neste surgimento e evolução. Para tal, foi desenvolvido um modelo computacional de jogos evolutivos, onde agentes participam repetidamente do DPNP. Nele, as estratégias que definem qual será a jogada de um determinado agente são desenvolvidas e selecionadas através de mecanismos de mutação e reprodução daquelas que obtiveram melhores resultados nas iterações anteriores, e implementadas através de duas representações com diferentes poderes computacionais: autômatos finitos e autômatos adaptativos. Este modelo foi implementado num sistema denominado S2E2 onde foram executados diversos experimentos de simulação. Através da comparação dos resultados obtidos para ambas as representações, verificou-se que em ambos os casos a sociedade consegue atingir, após um período inicial, um nível de cooperação relativamente alto e estável. A análise das estratégias utilizadas pelos agentes, entretanto, mostrou que o uso de autômatos adaptativos resulta em uma pequena vantagem, embora estatisticamente não significativa, pois permite surgir estratégias que visam retornar a uma situação de cooperação. / In Game Theory, the n-Players Prisoner\'s Dilemma (NPPD) is a problem that represents, in its elementary form, the paradox that leads to the existing difficulties in the development of cooperation between two or more agents. Many works were and are still being done about this subject, trying to better understand the factors that influence the development and evolution of cooperation in a society. In this work, the main objective is to analyze the impact of the expressive power of the strategies representation model in this development and evolution. In order to do so, a computational model of evolutionary games was developed, where agents are spatially distributed and participate on the NPPD with five participants, interacting only with their neighbors. In this model, the strategies that define the agent\'s decisions are developed and selected through mutation and reproduction of those strategies that obtained better results in the last iterations, and they are implemented by two representations with different computational power: finite automata and adaptative automata. This model was implemented in a system called S2E2 and several simulation experiments were carried on. Comparing the results obtained in those experiments, it was verified that after an initial period of time in both cases the society achieved a relatively high and stable level of cooperation. On the other hand, the analysis of the strategies used by the agents showed that the use of adaptative automata resulted in a slight advantage, although not statistically significative, because they allow the emergence of strategies that return to a situation of cooperation.

Thesis (Ph.D.) -- Mississippi State University. Department of Industrial and Systems Engineering. / Title from title screen. Includes bibliographical references.