Made available in DSpace on 2016-04-25T16:44:37Z (GMT). No. of bitstreams: 1 Juliana de Moura Jorge Graminho.pdf: 1170913 bytes, checksum: 91d83f81518d7f11fdbf377bebc29853 (MD5) Previous issue date: 2013-10-24 / Ties and cooperation between employer and employee has been hurt by the current environment that emphasizes short term predominantly. Thus, to influence coopera-tion and, therefore, to get engagement and high performance from employees has been a major challenge for employers and leaders in companies. In this sense, this dissertation aims to investigate cooperatives and/or deserters (non-cooperative) de-cisions regarding to the binomial reward-performance between employee and em-ployer, within the organizational context, through Game Theory applied to a study of multiple cases, in an adapted version of the Prisoner's Dilemma. The survey, con-ducted with ten employees of an industry, showed that over the last seven years there was no complete congruence and reciprocity between performance delivered by the employee to the employer and the reward given by the employer to the em-ployee. These results reinforce the premise that not all decisions regarding the re-ward and performance take into account past decisions and no seek to maximize results. Consequently, high performance is not reinforced and perpetuated, and in the same way the poor performance finds conditions for spreading. Finally, these re-search findings allowed reflect on what policies and practices can be adopted to achieve cooperation, engagement, high performance and a best collective result / Vínculo e cooperação entre empregador e empregado têm sido afetados pelo ambi-ente organizacional que enfatiza resultados de curto prazo. Estimular cooperação para obter engajamento e alto desempenho dos empregados é um grande desafio para empregadores e líderes nas empresas. Considerando as tensões entre compe-tição e cooperação, esta dissertação objetiva investigar as decisões cooperativas e/ou desertoras (não cooperativas) relativamente ao binômio recompensa-desempenho entre empregado e empregador no âmbito organizacional, à luz da Teoria dos jogos. Trata-se de um estudo de múltiplos casos em uma versão adapta-da do Dilema do Prisioneiro. A pesquisa, realizada com dez empregados de uma indústria, demonstrou que, no decorrer dos últimos sete anos, não houve plena con-gruência e reciprocidade entre desempenho entregue pelo empregado ao emprega-dor e a recompensa oferecida pelo empregador ao empregado. Os resultados mos-tram, não é sempre que todas as decisões quanto à recompensa e desempenho consideraram decisões passadas e que também não é sempre que todas buscam maximizar resultados. Consequentemente, o alto desempenho não é reforçado e perpetuado, da mesma forma que o baixo desempenho encontra condições para se propagar. A pesquisa permitiu ainda a reflexão sobre quais políticas e práticas po-dem ser adotadas para alcançar a cooperação, o engajamento, alto desempenho e um melhor resultado coletivo

Submitted by Irvana Coutinho (irvana@ufpa.br) on 2013-09-25T13:08:57Z No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_JogoEmpresasAdministracao.pdf: 609403 bytes, checksum: 768b853469c8d4eb697991d1adaf7c27 (MD5) / Rejected by Irvana Coutinho(irvana@ufpa.br), reason: Depositado na coleção de história on 2013-09-25T13:10:55Z (GMT) / Submitted by Irvana Coutinho (irvana@ufpa.br) on 2013-09-25T13:14:46Z No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_JogoEmpresasAdministracao.pdf: 609403 bytes, checksum: 768b853469c8d4eb697991d1adaf7c27 (MD5) / Approved for entry into archive by Irvana Coutinho(irvana@ufpa.br) on 2013-09-25T13:15:23Z (GMT) No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_JogoEmpresasAdministracao.pdf: 609403 bytes, checksum: 768b853469c8d4eb697991d1adaf7c27 (MD5) / Made available in DSpace on 2013-09-25T13:15:23Z (GMT). No. of bitstreams: 2 license_rdf: 22974 bytes, checksum: 99c771d9f0b9c46790009b9874d49253 (MD5) Dissertacao_JogoEmpresasAdministracao.pdf: 609403 bytes, checksum: 768b853469c8d4eb697991d1adaf7c27 (MD5) Previous issue date: 2006 / Este trabalho apresenta um modelo de jogo de empresas visando atender a gestores de empresas fornecedoras de componentes para a construção civil, caracterizadas pela onisciência dos mesmos, com dificuldades em compreender e utilizar as informações econômico-financeiras presentes nos relatórios, bem como promover o estreitamento teórico e prático dessas informações à comunidade acadêmica de Engenharia. Para o desenvolvimento do jogo de empresas fez-se necessário, além do reconhecimento de algumas empresas fornecedoras de componentes para a construção civil, um estudo de conceitos e técnicas contábeis, no que tange à Contabilidade de Custos e Gerencial. O jogo foi aplicado no ambiente acadêmico da Universidade Federal do Pará, junto a alunos de Engenharia Civil, que para tanto, tiveram que passar por um processo de nivelamento conceitual e de conhecimento da dinâmica do jogo, e em uma microempresa, Proativa, na cidade de Belém. Os resultados confirmaram as vantagens do uso da simulação empresarial abordada neste trabalho no processo ensino-aprendizagem. / This work presents a model of business game aiming at to take care of the managers of supplying companies of components for the civil construction, characterized by exercise of all the functions, with difficulties to understand and use economic and financial information presents on the reports, as well as promoting the theoretical and practical nip of these information to the academic community of Engineering. For the development of the business game was necessary , beyond of the recognition of some supplying companies of components for the civil construction, a countable study of concepts and techniques, in that it refers to the Accounting of Costs and Managemental. The business game was applied in the academic environment of the Federal University of Pará, together with the students of Civil Engineering, to this, the students had to pass for a process of conceptual leveling and knowledge of the dynamics of the business game, and in a micro company, Proativa, in Belém. The results had confirmed the advantages of the use of the enterprise simulation presents in this work in the process teach-learning.

O Dilema do Prisioneiro com n jogadores é um problema que ilustra a dificuldade na formação da cooperação em sociedades de indivíduos racionais. Diversos trabalhos foram feitos no sentido de compreender melhor os fatores que influenciam o surgimento e a evolução da cooperação nessas sociedades, sendo que muitos desses mostraram que a simulação deste tipo de problema carece de escalabilidade, o que impede a realização de experimentos que envolvam uma grande quantidade de agentes ou de parâmetros de teste. Este trabalho tem o intuito de aplicar conceitos de computação paralela para tratar este problema. Para tal, foi desenvolvido um sistema denominado PS2 E2 , evolução de um trabalho anterior, cuja utilização em alguns cenários possibilitou a verificação da influência de alguns parâmetros tais como o tamanho da população e a expressividade do modelo de representação de estratégias na utilidade global de um conjunto de agentes que jogam o Dilema do Prisioneiro com n jogadores. / The n-Player Prisoners Dilemma is a problem that illustrates the difficulty of cooperation formation in societies composed of rational individuals. Several studies were made to better understand the factors that influence the emergence and evolution of cooperation in these societies. Many of these showed that the simulation of this type of problem lacks scalability, which hinders the achievement of experiments involving a large number of agents or test parameters. This work intends to apply parallel computing concepts to treat this problem. To this end, it was developed a system called PS2 E2 , an evolution of a previous work, whose utilization in some scenarios allowed the verification of the influence of some parameters such as the population size and the expressiveness of the strategy representation model in the global utility of a society of agents that play the n-Player Prisoner Dilemma.

Controles de segurança, também chamados de mecanismos de proteção, voltados para previsão e detecção de eventos indesejados são cada vez mais empregados em ambientes de Tecnologia da Informação (TI). O pouco entendimento sobre as características dos eventos indesejados que agem nos sistemas e a baixa compatibilidade existente entre os diversos mecanismos de proteção são problemas que se destacam neste tipo de cenário. Diferentes configurações dificultam a combinação dos resultados destes mecanismos e raramente dois ou mais controles de segurança se complementam. Por esse motivo, o agrupamento entre mecanismos de detecção e de previsão não é trivialmente resolvido. Neste trabalho é proposta uma arquitetura, denominada de Arquitetura Estratégica de Agrupamento - Strategic Grouping Architecture (SGA) - para agrupamento de controles de segurança voltados para detecção e/ou previsão, que tem como base a busca de um equilíbrio entre as configurações e os resultados individuais de cada mecanismo de proteção envolvido. Para alcançar este equilíbrio a arquitetura proposta divide a análise dos eventos (legítimos e maliciosos) que passam pelos controles de segurança em dois níveis de abstração: o técnico, onde são coletadas as configurações e os resultados dos controles de segurança; e o estratégico, onde os dados obtidos no nível técnico são analisados por meio de barganhas cooperativas irrestritas - Unrestricted Cooperative Bargains (UCB), conceito proveniente da Teoria dos Jogos, que busca a otimização e equilíbrio entre resultados. Justamente por ser realizada em um nível de abstração diferente, a análise gerada pelo SGA identifica a influência que cada configuração exerce nos resultados agrupados. Para explorar a capacidade da arquitetura proposta, dois experimentos, bastante diferentes, que envolvem a ação de eventos indesejados em ambientes de TI são conduzidos. Os resultados obtidos mostram a viabilidade do agrupamento de controles de segurança de detecção e previsão e a possibilidade do uso do SGA em outros ambientes, que não estejam necessariamente ligados à segurança de TI. Baseada na literatura científica a validação do SGA consiste de uma transformação prévia na categoria dos jogos estratégicos usados - cooperativos para não-cooperativos - e na busca de situações como o Equilíbrio de Nash (EN) e o ótimo de Pareto, que indicam os melhores resultados de um jogo. / Security controls, also called protection mechanisms, focused on forecasting and detection of unwanted events are increasingly employed in Information Technology (IT) environments. The little understanding about the characteristics of unwanted events which act on the systems and the low rate of compatibility among several protection mechanisms are both problems that arise in that scenario. Different settings make difficult combining the results of these mechanisms and two or more controls rarely complement each other. Due to that, grouping mechanisms of detection and forecasting is not a trivial matter. In this work a framework called Strategic Grouping Architecture (SGA) is proposed to grouping security controls focused on detection and/or forecasting. SGA is based on the search for equilibrium between the settings and the individual results of each protection mechanism involved. In order to reach this equilibrium the proposed framework divide the analysis of events (legitimates and malicious) which go through the security controls in two abstract levels: the technical level, where the settings and the results of security controls are collected; and the strategic level, where the data obtained in the technical level are analyzed through Unrestricted Cooperative Bargains (UCB), concept from Game Theory that seeks to optimize and balance the results. Precisely because it is performed on a different level of abstraction, the analysis generated by the SGA identifies the influence that each setting has on the clustered results. In order to exploit the capability of the proposed architecture, two experiments, quite different, involving the action of unwanted events in IT environments, are conducted. The obtained findings show the feasibility of grouping detection and forecasting security controls and the possibility of using the SGA in other environments that are not necessarily related to IT security. Based on scientific literature SGA validation consists of a previous transformation in the category of strategy games used - cooperative to non-cooperative - and the search for situations such as the Nash Equilibrium (NE) and the Pareto optimal, indicating the best results a game.

Submitted by Maria Aparecida (cidazen@gmail.com) on 2017-04-03T15:12:14Z No. of bitstreams: 1 Nilson Sa.pdf: 782333 bytes, checksum: d519ab26cc38c2ed5e980a8bfd2aa254 (MD5) / Made available in DSpace on 2017-04-03T15:12:14Z (GMT). No. of bitstreams: 1 Nilson Sa.pdf: 782333 bytes, checksum: d519ab26cc38c2ed5e980a8bfd2aa254 (MD5) Previous issue date: 2017-02-23 / CAPES / The various changes that have happened in the electricity markets around the world have introduced competition among the participants in this sector. Thus, the generation agents that participate on electrical energy auctions may prefer to build optimal strategies to maximize their profits. Mathematical models based on game theory have been used in the analysis of electric energy markets and especially in electricity auctions. In this sense, this theory optimizes the decision-making process for setting prices offered by the generators to the system operator in a power auction. This research discusses a comparative analysis of individual strategies of each generating unit, using a non-cooperative game theory approach and incomplete information on various types of auctions. A modified IEEE 57- bus test system is used to illustrate the main features of the auction models used. / As diversas mudanças que ocorreram nos mercados de eletricidade em todo o mundo têm introduzido a competição entre os participantes neste setor. Assim, os agentes de geração que participam de leilões de energia elétrica podem construir estratégias ótimas para maximizar seus lucros. Modelos matemáticos baseados na teoria dos jogos têm sido utilizados na análise de mercados de energia elétrica e, especialmente, em leilões de eletricidade. Nesse sentido, esta teoria otimiza o processo de tomada de decisão para fixar os preços oferecidos pelos geradores ao operador do sistema em um leilão de energia. Este trabalho discute uma análise comparativa das estratégias individuais de cada unidade geradora, usando uma abordagem de teoria dos jogos não-cooperativa e informações incompletas sobre vários tipos de leilões. Um sistema de teste IEEE 57-bus modificado é usado para ilustrar as principais características dos modelos de leilão utilizados.

Resumo: Com a necessidade de atender com qualidade a crescente demanda por energia eletrica, com poucas interrupcoes e com níıveis de tensao satisfatorios, e tendo em vista as restricoes ambientais existentes, que dificultam a implantacao de novos recursos aos sistemas de transmissao, como linhas, usinas, subestacoes, etc., as empresas de transmissao tem buscado otimizar os recursos existentes, operando os sistemas com menos folga o que, em alguns casos, pode ocasionar pequenas sobrecargas nas linhas. Nas estruturas atuais de operacao, acoes corretivas usualmente aplicadas ao alıvio dos sistemas de transmissao, como alteracoes nos nıveis de geracao e corte de cargas, fazem parte das atribuicoes do operador do sistema e estao fora do escopo de acao das empresas transmissoras que podem, contudo, alterar as condicoes de operacao de seus dispositivos, como transformadores, compensadores, etc. Neste trabalho e apresentada uma proposta para o alıvio de pequenas sobrecargas em redes de transmissao com base no controle do fluxo reativo das linhas. As acoes corretivas sao determinadas com base na linearizacao dos parametros do sistema em torno de seu ponto de operacao inicial, solucionando-se um problema de programacao linear (PL) cuja funcao objetivo a ser minimizada e o produto entre o custo dos servicos de suporte de reativos prestados pelos dispositivos e o desvio do sistema de seu ponto de operacao inicial. Haja vista a grande quantidade de dispositivos instalados no sistema que podem fornecer servicos de suporte de reativos e que problemas relativos a potencia reativa sao solucionados localmente, e possıvel reduzir a quantidade de dispositivos "candidatos" a realizacao das acoes corretivas e, consequentemente, o numero de variaveis e restricoes no PL a ser solucionado... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The growing demand for electric power associated with the environmental limitations imposed to the expansion of power systems hamper the installation of new facilities, such as transmission lines, substations and power plants, and leads the transmission companies to optimize the existing resources. In consequence, transmission systems operate closer to their boundaries and small overloads may surge. In the deregulated operating environment, the standard overload relief procedures, based on generation redispatch and load shedding, are in charge of the system operator and cannot be performed by the transmission companies, which can, otherwise, modify the control parameters of the transmission system devices, such as transformers, shunt compensators, etc. An overload relief procedure based on reactive power control applicable to small disturbances is presented in this paper. The corrective actions are determined by linearizing the system parameters around the initial operating point and solving a linear problem (LP), that minimizes the product between the total cost of the reactive power support provided by the devices and the deviation of the system from its initial operating point. Considering that reactive sources are spread over the whole system and the solution for reactive power problems can be found locally, the set of devices to be applied for the corrective actions can be reduced and, consequently, the number of variables and constraints to be added to the LP problem. To accomplish that, linear sensitivity factors which relate the reactive flow variation in the overloaded line to the devices' control parameters are applied and the "n" most effective devices to mitigate the overloads can be determined. In many market structures reactive power support is a mandatory service and, in some cases, it is not remunerated. However, despite the low cost of production of reactive power... (Complete abstract click electronic access below) / Orientador: Antonio Padilha Feltrin / Coorientador: Javier Contreras Sanz / Banca: Percival Bueno Araújo / Banca: Dilson Amancio Alves / Banca: Eduardo Nobuhiro Asada / Banca: Madson Cortes de Almeida / Doutor

Made available in DSpace on 2014-06-11T19:30:50Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-25Bitstream added on 2014-06-13T19:19:30Z : No. of bitstreams: 1 hoji_es_dr_ilha.pdf: 852924 bytes, checksum: 9b1bcf1d76e563dd1037dc628a5c3e2e (MD5) / Fundação de Ensino Pesquisa e Extensão de Ilha Solteira (FEPISA) / PROPG - Programa de Pós-Graduação / Com a necessidade de atender com qualidade a crescente demanda por energia eletrica, com poucas interrupcoes e com níıveis de tensao satisfatorios, e tendo em vista as restricoes ambientais existentes, que dificultam a implantacao de novos recursos aos sistemas de transmissao, como linhas, usinas, subestacoes, etc., as empresas de transmissao tem buscado otimizar os recursos existentes, operando os sistemas com menos folga o que, em alguns casos, pode ocasionar pequenas sobrecargas nas linhas. Nas estruturas atuais de operacao, acoes corretivas usualmente aplicadas ao alıvio dos sistemas de transmissao, como alteracoes nos nıveis de geracao e corte de cargas, fazem parte das atribuicoes do operador do sistema e estao fora do escopo de acao das empresas transmissoras que podem, contudo, alterar as condicoes de operacao de seus dispositivos, como transformadores, compensadores, etc. Neste trabalho e apresentada uma proposta para o alıvio de pequenas sobrecargas em redes de transmissao com base no controle do fluxo reativo das linhas. As acoes corretivas sao determinadas com base na linearizacao dos parametros do sistema em torno de seu ponto de operacao inicial, solucionando-se um problema de programacao linear (PL) cuja funcao objetivo a ser minimizada e o produto entre o custo dos servicos de suporte de reativos prestados pelos dispositivos e o desvio do sistema de seu ponto de operacao inicial. Haja vista a grande quantidade de dispositivos instalados no sistema que podem fornecer servicos de suporte de reativos e que problemas relativos a potencia reativa sao solucionados localmente, e possıvel reduzir a quantidade de dispositivos “candidatos” a realizacao das acoes corretivas e, consequentemente, o numero de variaveis e restricoes no PL a ser solucionado... / The growing demand for electric power associated with the environmental limitations imposed to the expansion of power systems hamper the installation of new facilities, such as transmission lines, substations and power plants, and leads the transmission companies to optimize the existing resources. In consequence, transmission systems operate closer to their boundaries and small overloads may surge. In the deregulated operating environment, the standard overload relief procedures, based on generation redispatch and load shedding, are in charge of the system operator and cannot be performed by the transmission companies, which can, otherwise, modify the control parameters of the transmission system devices, such as transformers, shunt compensators, etc. An overload relief procedure based on reactive power control applicable to small disturbances is presented in this paper. The corrective actions are determined by linearizing the system parameters around the initial operating point and solving a linear problem (LP), that minimizes the product between the total cost of the reactive power support provided by the devices and the deviation of the system from its initial operating point. Considering that reactive sources are spread over the whole system and the solution for reactive power problems can be found locally, the set of devices to be applied for the corrective actions can be reduced and, consequently, the number of variables and constraints to be added to the LP problem. To accomplish that, linear sensitivity factors which relate the reactive flow variation in the overloaded line to the devices’ control parameters are applied and the “n” most effective devices to mitigate the overloads can be determined. In many market structures reactive power support is a mandatory service and, in some cases, it is not remunerated. However, despite the low cost of production of reactive power... (Complete abstract click electronic access below)

[pt] No ramo imobiliário, a tomada de decisão deve ser rápida e precisa. São muitas as incertezas que podem afetar um projeto. Por isso, o Estudo de Viabilidade é fator determinante de sucesso ou fracasso de uma incorporação. Hoje o método de análise largamente utilizado é o do Fluxo de Caixa Descontado (FDC), onde o valor do projeto e seus parâmetros de resultado baseiam-se no Valor Presente Líquido (VPL) do fluxo. Porém, este método não considera as diferentes decisões gerenciais que podem ser tomadas durante a vida útil do empreendimento em função de novas informações adquiridas ao longo do tempo. A decisão gerencial pode atuar mudando o rumo do empreendimento de maneira a maximizar os resultados a serem obtidos e mensurar seu real valor. Este trabalho se propõe a, de forma simples, introduzir a ferramenta de análise pela Teoria de Opções Reais (TOR), abordada na literatura, mas ainda negligenciada pelo mercado imobiliário. Esta teoria utilizada isoladamente não é capaz de retratar o dia-a-dia do incorporador. No mercado, a TOR torna-se falha utilizada sem a abordagem da Teoria dos Jogos, por não considerar os efeitos nocivos da concorrência nos objetivos da empresa. Sendo assim, o objetivo foi não só auxiliar na melhor avaliação de projetos pela TOR, considerando incertezas das mudanças econômicas mundiais e flexibilidade de tomada de decisão na maximização do resultado, como também analisar pela Teoria dos Jogos, a influência dos concorrentes nos objetivos inerentes ao projeto. / [en] In Real Estate, the decision must be fast and accurate. There are many uncertainties that may affect projects. Therefore, the economic feasibility study is a critical factor of success or failure of an estate project. Currently the widely used analytical method is the discounted cash flow, in which the project s outcome and value are based on Net Present Value of the cash flow. However, this method does not consider the various management decisions that may be taken during the project life. The management decision may influence changing the course of estate development to maximize the financial results and measure their real value. This work aims to, in a simple way, introduce the analytical tool for Real Options Theory (ROT), discussed in the literature, but still neglected by the real estate market. This theory used in isolation isn t able to portray the developers daily. In the real estate market, the ROT becomes incorrect used without the Game Theory concepts, disregarding the competition effect s on the company s goals. Therefore, this work goes beyond a better project assessment through ROT, considering economic uncertainties and flexibility on decision making, but also considering the perspective of game theory, adding the influence of competitors actions on projects goals.

O presente trabalho propõe-se analisar a industrialização do Brasil no contexto de mudanças econômicas e políticas no primeiro governo de Getúlio Vargas, de 1930 até 1945. Na literatura de economia brasileira com relação ao surgimento da indústria no Brasil, duas visões se contrapõem: de um lado, a industrialização como subproduto da intervenção do governo no setor cafeeiro; de outro, a industrialização intencionalmente promovida pelo governo. Com base em uma análise de equilíbrio em um jogo dinâmico de informação imperfeita, é evidenciada a racionalidade da criação de instituições para o desenvolvimento industrial na década de 1930. Este resultado de equilíbrio mostra as mudanças pela qual o Brasil passou a partir da década de 1930, com mudanças da estrutura tributária, educacional, financeira e relações de trabalho, ou seja, essa mudança institucional gerou campo fértil para o surgimento do processo de industrialização que caracterizou o primeiro governo Vargas e também mostra a intencionalidade desse governo, quando se observa a transformação do sistema tributário, de tal modo a ficar imune das oscilações econômicas externas e também as mudanças educacionais, que passou a incentivar o ensino primário, secundário e técnico profissionalizante, medidas essas feitas para atender o novo panorama econômico brasileiro. Outro ponto que corrobora o resultado do equilíbrio de Nash perfeito em subjogos é a perda da importância do setor cafeeiro no período que engloba o século XIX até o final do primeiro governo Vargas, onde as evidências mostram que os cafeicultores tinham, antes e durante a década de 1930, tendências a diversificarem investimentos por conta da perda da renda com o setor cafeicultor. / This study proposes to examine the industrialization of Brazil in the context of economic and political changes in the first government of Getulio Vargas, from 1930 until 1945. In the literature of the Brazilian economy with the coming of industry in Brazil, two visions are in opposition: on one hand, industrialization as a byproduct of government intervention in the coffee sector, on the other, deliberately promoted industrialization by the government. Based on an analysis of equilibrium in a dynamic game of imperfect information, rationality is evident from the creation of institutions for industrial development in the 1930s. The result shows the changes of equilibrium in which Brazil went from the 1930s, with changes in the tax structure, educational, financial and labor relations, that institutional change created fertile ground for the rise of industrialization that characterized the first Vargas government and also shows the intention of this government, when one observes the transformation of the tax system, so be immune to external economic fluctuations and also educational changes, which came to encourage the primary, secondary and technical vocational, measures designed to meet the new economic landscape of Brazil. Another point that confirms the outcome of the Nash equilibrium is perfect in subgame the loss of the importance of the coffee sector in the period that includes the nineteenth century until the end of the first Vargas government, where the evidence shows that farmers had, since the decade of 1930, to diversify investment trends due to the loss of income to the grower industry.

[pt] O termo jogo tem sido utilizado como uma metáfora, em várias áreas do conhecimento, para modelar e analisar situações onde agentes(jogadores) interagem em ambientes compartilhados para a realização de seus objetivos sejam eles individuais ou coletivos. Existem diversos modelos propostos para jogos por diferentes áreas do conhecimento, tais como matemática, ciência da computação, ciência política e social, entre outras. Dentre as diversas formas de modelar jogos examinamos a Teoria dos Jogos e as lógicas para jogos. Neste trabalho apresentamos uma lógica modal de primeira-ordem baseada na lógica CTL, chamada de Game Analysis nalysis Logic, para raciocinar sobre jogos. Relacionamos os principais modelos da Teoria dos Jogos (jogo estratégico, extensivo, e de coalizão) e seus principais conceitos de soluções(equilíbrio de Nash, equilíbrio de subjogo perfeito,e core) aos modelos de GAL e às fórmulas de GAL, respectivamente. Além disso, estudamos as alternativas de quantificação De Re e De Dicto no contexto dos jogos extensivos, caracterizando o conceito de equilíbrio de Nash e equilíbrio de subjogo perfeito de acordo com as alternativas de quantificação. Relacionamos as lógicas Alternating-time lternating-Tempomporal Logic (A ATL) TL) e Coalitional Game Logic (CGL) com a lógica GAL, demonstrando que ambas as lógicas são fragmentos da lógica GAL. Outro resultado deste trabalho é caracterizar uma classe de sistemas multi- agentes,que é baseada na arquitetura de agentes Belief-Desir Desire- Intention(BDI), para a qual existem jogos extensivos e vice-v versa. Como conseqüência, os critérios de racionalidade da Teoria dos Jogos podem ser aplicados diretamente para agentes BDI e vice-versa. Assim, a abordagem deste trabalho pode ser utilizada para analisar sistemas multi-agentes. Do ponto de vista prático, apresentamos um verificador de modelos para a lógica GAL. Diversos estudos de casos são realizados utilizando o verificador de modelos. / [en] Games are abstract models of decision-making in which decision-makers(players)interact in a shared environment to accomplish their goals. Several models have been proposed to analyze a wide variety of applications in many disciplines such as mathematics, computer science and even political and social sciences among others. In this work, we focus on Game Theory and Game Logics. We present a first-order modal logic based on CTL, namely Game Analysis Logic (GAL), to model and reason about out games. The standard models of Game Theory (strategic games, extensiv games and coalition games) as well as their solution concepts (Nash equilibrium, subgame perfect equilibrium and co re),respectively, are express as models dels of GAL and formulas of GAL. Moreover, we study the alternatives of De Re and De Dicto quantification in the context of extensive games. We also show that two of the most representative game logics, namely Alternating-time lternating-Temp empor oral Logic (A ATL) TL) and Coalitional Game Logic (CGL), are fragments of GAL. We also characterize haracterize a class of multi-agent systems, which is based on the architecture Belief-Desire- Intention (BDI), for which there is a somehow equivalent class of games and vice-versa. As a consequence, criteria of rationality for agents can be directly applied to players and vice-versa. Game analysis formal tools can be applied to MAS as well. From a practical poin of view, we provide and develop a model-checker for GAL. In addition, we perform case studies using our prototype.