Os avanços nas tecnologias de rede e nos componentes computacionais possibilitaram a criação dos sistemas de Computação Voluntária (CV) que permitem que voluntários doem seus ciclos de CPU ociosos da máquina para um determinado projeto. O BOINC é a infra-estrutura mais popular atualmente, composta de mais 5.900.000 máquinas que processam mais de 4.003 TeraFLOP por dia. Os projetos do BOINC normalmente possuem centenas de milhares de tarefas independentes e estão interessados no throughput. Cada projeto tem seu próprio servidor que é responsável por distribuir unidades de trabalho para os clientes, recuperando os resultados e validando-os. Os algoritmos de escalonamento do BOINC são complexos e têm sido usados por muitos anos. Sua eficiência e justiça foram comprovadas no contexto dos projetos orientados ao throughput. Ainda, recentemente, surgiram projetos em rajadas, com menos tarefas e interessados no tempo de resposta. Diversos trabalhos propuseram novos algoritmos de escalonamento para otimizar seu tempo de resposta individual. Entretanto, seu uso pode ser problemático na presença de outros projetos. Neste texto, são estudadas as consequências do comportamento não cooperativo nos ambientes de Computação Voluntária. Para realizar o estudo, foi necessário modificar o simulador SimGrid para melhorar seu desempenho na simulação dos sistemas de CV. A primeira contribuição do trabalho é um conjunto de melhorias no núcleo de simulação do SimGrid para remover os gargalos de desempenho. O resultado é um simulador consideravelmente mais rápido que as versões anteriores e capaz de rodar experimentos nessa área. Ainda, como segunda grande contribuição, apresentou-se como os algoritmos de escalonamento atuais do BOINC são incapazes de garantir a justiça e isolação entre os projetos. Os projetos em rajadas podem impactar drasticamente o desempenho de todos os outros projetos (rajadas ou não). Para estudar tais interações, realizou-se um detalhado, multi jogador e multi objetivo, estudo baseado em teoria dos jogos. Os experimentos e análise realizados proporcionaram um bom entendimento do impacto dos diferentes parâmetros de escalonamento e mostraram que a otimização não cooperativa pode resultar em ineficiências e num compartilhamento injusto dos recursos. / Advances in inter-networking technology and computing components have enabled Volunteer Computing (VC) systems that allows volunteers to donate their computers’ idle CPU cycles to a given project. BOINC is the most popular VC infrastructure today with over 5.900.000 hosts that deliver over 4.003 TeraFLOP per day. BOINC projects usually have hundreds of thousands of independent tasks and are interested in overall throughput. Each project has its own server which is responsible for distributing work units to clients, recovering results and validating them. The BOINC scheduling algorithms are complex and have been used for many years now. Their efficiency and fairness have been assessed in the context of throughput oriented projects. Yet, recently, burst projects, with fewer tasks and interested in response time, have emerged. Many works have proposed new scheduling algorithms to optimize individual response time but their use may be problematic in presence of other projects. In this text, we study the consequences of non-cooperative behavior in volunteer computing environment. In order to perform our study, we needed to modify the SimGrid simulator to improve its performance simulating VC systems. So, the first contribution is a set of improvements in SimGrid’s core simulation to remove its performance bottlenecks. The result is a simulator considerably faster than the previous versions and able to run VC experiments. Also, in the second contribution, we show that the commonly used BOINC scheduling algorithms are unable to enforce fairness and project isolation. Burst projects may dramatically impact the performance of all other projects (burst or non-burst). To study such interactions, we perform a detailed, multi-player and multi-objective game theoretic study. Our analysis and experiments provide a good understanding on the impact of the different scheduling parameters and show that the non-cooperative optimization may result in inefficient and unfair share of the resources.

No presente trabalho serão apresentadas questões usuais em jogos diferenciais, nos quais os jogadores envolvidos têm objetivos diferentes; ou seja, enquanto um dos jogadores tenta fugir, o outro tenta pegar. Além disso, será definido um modelo de especificação para o jogo diferencial lobos e cordeiro. As Redes de Petri foram escolhidas como forma de especificação para o jogo proposto. Assim, o objetivo será estabelecer estratégias eficientes para o jogo lobos e cordeiro para que se possa realizar um estudo da complexidade das questões apresentadas para este jogo, levando-se em consideração a especificação formal apresentada para tal jogo. / In this work usual questions in differential games will be presented, in which the involved players have different objectives; that is, while one of the players tries "to run away", the other tries "to catch". Moreover, a specification for the differential game "wolves and lamb" will be defined. The Petri Nets had been chosen as specification formalism for the considered game. Thus, the objective is to establish efficient strategies for the game wolves and lamb so that we can carry out a study of the complexity of the presented questions, taking into consideration the presented formal specification for the game.

O presente estudo tem como objetivo analisar o fenômeno do desmatamento no Brasil. Para este efeito, utilizou-se de instrumentais econométricos e matemáticos. O estudo se divide em três ensaios. No primeiro ensaio investigam-se os possíveis efeitos adversos da política governamental devido à existência de fracas instituições na maior parte da região da Amazônia legal. Neste primeiro ensaio também é analisado empiricamente a relação entre corrupção, desmatamento e Produto Interno Bruto (PIB) para os municípios de Mato Grosso. No segundo ensaio utiliza-se de jogos diferenciais para analisar teoricamente o efeito da corrupção no nível de desmatamento ilegal. Finalmente o terceiro ensaio, focalizando numa análise regional, faz-se uma análise empírica, através de modelos não paramétricos, para a relação entre corrupção, desmatamento, e PIB. No terceiro ensaio, também, utilizando-se de modelos não paramétricos, estima-se, numa análise internacional, a existência da curva de Kuznets. / The present study aims to analyze the phenomenon of deforestation in Brazil. For this purpose, we used econometrics and mathematical tools. The study is divided into three essays. In the first essay, through the standard game theory, we investigated the adverse effects of the government policy due the existence of weak institutions in the Amazon region. In this first essay it is also studied empirically, for the municipalities of Mato-grosso, the relationship between corruption, deforestation and Gross Domestic Product (GDP). In the second essay we used differential game theory to analyze the effect of corruption on the level of illegal logging. Finally on the third essay, we focused on a regional and international analysis. For the regional analysis, we used nonparametric models to test the relationship between corruption, deforestation, and GDP. We used the same methods to perform an international analysis related with the Kuznets curve.

A expansão do mercado global de bioenergia é tida como uma alternativa promissora para alguns países, especialmente os potenciais produtores e fornecedores de matéria-prima, como é o caso do Brasil. A inserção do etanol na matriz energética de diferentes países produtores e consumidores será um fenômeno complexo com diferentes tipos de relações de interdependência. Este trabalho visa analisar as relações internacionais de interdependência entre Brasil e outros países produtores e consumidores - reais ou potenciais - do biocombustível etanol e as suas implicações sobre a cadeia produtiva de etanol no Brasil. Para estudar esse processo de interdependência nas relações internacionais, este trabalho explora a Teoria da Interdependência Complexa proposta por Robert Keohane e Joseph Samuel Nye Junior (2001) e a Teoria dos Jogos de John Von Neumann e Oskar Morgenstern (1944). Foi realizada uma pesquisa quali-quantitativa, por meio da análise documental com a utilização do software QDA Miner® e da aplicação de dois questionários. Para a análise documental, foram usados 101 documentos classificados como atos internacionais do setor de biocombustíveis e etanol entre os anos de 2002 e 2011, presentes nas bases de dados do governo brasileiro. O primeiro questionário, respondido por 46 mestres e doutores que trabalham ou realizam pesquisas nas áreas de etanol, agronegócios e/ou relações internacionais, buscou identificar as palavras-chave que se relacionam com as dimensões políticas, econômicas, socioambientais e técnicas no setor de etanol. O segundo questionário, respondido por 21 representantes das partes interessadas da cadeia produtiva do etanol brasileiro, visou analisar, através da lógica da teoria dos jogos, o comportamento estratégico dos atores, em uma condição de interação estratégica. A análise dos resultados demonstra que os principais atores das relações de interdependência com o Brasil no setor de etanol são Estados Unidos com um grau de interdependência alto, a Europa com um grau de interdependência médio e a China com um grau de interdependência muito baixo. As dimensões com maior desempenho nas relações de interdependência, tanto do ponto de vista dos atos internacionais como das partes interessadas, foram a dimensão política, a dimensão econômica, seguida pela dimensão técnica e socioambiental. Assim, considera-se que o comportamento estratégico observado nas relações de interdependência demonstrou que nas relações entre Brasil e Estados Unidos, o Brasil tende a ganhar pouco enquanto que os Estados Unidos tende a ganhar muito. Nas relações entre Brasil e Europa, o Brasil tende a perder muito enquanto que a Europa tende a ganhar muito, e nas relações entre Brasil e China, o Brasil tende a ganhar pouco enquanto que a China não perde nem ganha. Portanto, indiferente da interdependência existente nas relações entre os atores, sejam produtores e consumidores reais ou potenciais, todos devem buscar forças para o fortalecimento do setor, uma vez que todo o sistema global estará se beneficiando, tanto no âmbito político, econômico, socioambiental ou técnico. Esforços tecnológicos para ganhos de eficiência voltados para o crescimento sustentável da produção, criação de políticas setoriais, que ofereçam segurança e infraestrutura para a sua produção, redução de tarifas que incidem sobre o produto em todo o mundo, transformação do etanol em uma commodity global com grande número de países comprando e vendendo esse produto são algumas das ações que poderão fazer com que o etanol assuma uma posição cada vez mais estratégica na diversificação da matriz energética mundial. / The expansion of the global bioenergy market is regarded as a promising alternative for some countries, especially the potential producers and suppliers of raw materials, as in the case of Brazil. The insertion of ethanol in the energy matrix from different countries producers and consumers will be a complex phenomenon with different types of interdependent relations. This paper aims to analyze the international relations of interdependence among Brazil and other countries producers and consumers – real or potential – of the ethanol biofuel and their implications on the productive chain of this fuel in Brazil. To study this process of interdependence in international relations, this work explores the Theory of Complex Interdependence proposed by Robert Keohane and Joseph Nye Samuel Junior (2001) and the Game Theory of John Von Neumann and Oskar Morgenstern (1944). It was performed a quali-quantitative, research through a documentary analysis with the use of QDA Miner ® software and the application of two questionnaires. For the document analysis, 101 classified documents were used, as international acts of biofuels and ethanol among 2002 and 2011, present in the databases of the Brazilian government. The first questionnaire, answered by 46 teachers and doctors who work or conduct research in ethanol, agribusiness and/or international relations areas, intended to identify the keywords related to the political, economic, social and environmental dimensions and techniques in the ethanol sector. The second questionnaire, answered by 21 representatives of stakeholders in the productive chain of Brazilian ethanol, aimed to analyze, through the logic of the Game Theory, the strategic behavior of actors in a condition of strategic interaction. The analysis of the results shows that the main actors of the interdependent relations with Brazil in the ethanol sector are The United States, with a high degree of interdependence, Europe with an average degree of interdependence and China with a low degree of interdependence. The dimensions with higher performance in relations of interdependence, both from the point of view of international acts as stakeholders, were the political and economic dimensions, followed by technical and socio-environmental dimensions. Thus, it is considered that the strategic behavior observed in relations of interdependence demonstrated that in relations between Brazil and United States, Brazil tends to earn a little, while the United States tends to earn a lot. Relations between Brazil and Europe show that Brazil tends to lose a lot, while Europe tends to earn a lot, and in relations between Brazil and China, Brazil tends to earn a little, while China neither lose nor earn. Therefore, regardless of existing interdependence in relations among the actors, whether real or potential producers and consumers, all the countries should work together to strengthen the industry, since the entire global system will be benefiting, both in the political, economic, social or technical sectors. Technological efforts for efficiency gains related to the sustainable growth of production, creation of sectoral policies, which offer security and infrastructure for its production, reduction of tariffs on the product in all over the world, transformation of ethanol into a global commodity with a large number of countries buying and selling this product are some of the actions that could make ethanol takes an increasingly strategic position on the diversification in the energy matrix.

O processo de expansão e consolidação do capitalismo no Brasil trouxe consigo não a dominação do poder burguês, mas também a emergência de outros setores da sociedade que passavam a ser fonte crescente de pressão. O objetivo geral deste trabalho é analisar o surgimento e a permanência do populismo no processo de consolidação do capitalismo no Brasil na década de 1930. A hipótese de trabalho é de que o populismo apresentou-se como uma solução de equilíbrio para o impasse colocado entre a classe trabalhadora e a burguesia industrial nos anos entre 1930 e 1945. Partindo da literatura pode-se compreender que o populismo apresentou-se como uma solução de equilíbrio ao conflito colocado à época entre a classe trabalhadora e a burguesia industrial, dada a industrialização e a urbanização crescentes. A partir desse resultado da literatura foi possível construir um jogo entre capitalistas e trabalhadores onde se verificou que o populismo corresponde a um equilíbrio de Nash de um jogo estático com movimento estratégico. / The process of expansion and consolidation of the capitalism in Brazil brought within it not only the bourgeois power but also the emergence of other groups in the society as a source of continuous pressure. The general objective of this study is to analyze the up coming and the maintenance of populism in this process on the 1930?s decade. The hypothesis is that populism presented itself as an equilibrium solution for the deadlock placed between the labor class and the industrial bourgeois from 1930 to 1945. Departing from the literature it is possible to comprehend populism as an equilibrium solution to this conflict for that period, taking into account the up growing of industrialization and urbanization in Brazil. After establishing this literature result, it is possible to build a strategic game between workers and capitalists, in which it can be verified that populism actually correspond to a Nash equilibrium on a static game with strategic moves.

A criação, concepção e produção de normas jurídicas não possuem uma metodologia de análise da sua dinâmica e dos efeitos que projetam no tecido social ao qual são direcionadas, pois a visão clássica das leis está vinculada à sua dimensão coercitiva ou normativa. Um modelo conceitual da dinâmica das instituições a partir dos efeitos provocados nas interações sociais dos agentes representa uma proposta de tratamento sistemático e integrado destes temas. A tese consiste na suposição de que efeitos estratégicos e comportamentais interferem dinamicamente na eficácia institucional dos regulamentos formais propostos para organizar a ação social, devendo, portanto, ser incluídos entre os elementos essenciais na sua concepção, pois representam fonte de incerteza nas interações entre os agentes, não contempladas nas dimensões clássicas de análise. O trabalho é constituído de três partes principais. Na primeira é caracterizado o problema da concepção e produção de normas jurídicas e sua importância e impacto em termos de eficiência, custo social e coordenação das interações sociais. Na segunda parte são revisados os principais referenciais teóricos relacionados ao tema, com ênfase na conexão dinâmica entre o ambiente institucional e o mecanismo de interação social estratégico dos agentes. Na terceira parte são definidos a metodologia e o modelo conceitual da tese com base na relação estabelecida entre os preceitos da economia institucional e da teoria dos jogos. Adicionalmente, introduz-se o conceito de ponto focal da norma jurídica como elemento fundamental de coordenação das estratégias dos agentes na ação social. Com o objetivo de testar a adequação da proposta foi desenvolvido um modelo computacional com base em sistemas multiagentes, consistindo no mecanismo de validação experimental da tese apresentada. Neste sentido, foram realizados experimentos computacionais na direção de comprovar empiricamente a metodologia proposta e a necessidade de englobar aspectos estratégicos e comportamentais na dinâmica das instituições e, portanto, no processo de análise, concepção, estruturação e produção de normas jurídicas. / There is no specific methodology that deals with the process of conceiving and producing legal rules and analyses its effects and dynamics within the social structure they are directed for. A conceptual methodology and a multiagent model represent a systematic and integrated attempt to address the issue. The thesis proposes that strategic and behavioral effects affects institutional dynamics playing an important role in terms of the efficiency of legal commands towards social action, adding extra uncertainty to agents’ interaction. This work is segmented in three main parts. The first one deals with the problem of legal rules conception and production, analyzing its importance and impact in terms of the efficiency, social cost and coordination of social interaction. The second part is a literature review with a special attention to micro-macro dynamics. In the third part the conceptual model of the thesis is formalized, establishing the connection between the theoretical framework of institutional economics, game theory and the law. This chapter introduces the concept of focal point of law as a key element to enable agents’ coordination. A multiagent model has been designed to test the adequacy of the conceptual model as proposed in the thesis. A computational experiment has been performed as an attempt to empirically validate the thesis arguments.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-07-01T11:50:27Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação-Thiago Montenegro Uchôa.pdf: 2911250 bytes, checksum: 312f4263ccccb634993c9a52552ee408 (MD5) / Made available in DSpace on 2016-07-01T11:50:27Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Dissertação-Thiago Montenegro Uchôa.pdf: 2911250 bytes, checksum: 312f4263ccccb634993c9a52552ee408 (MD5) Previous issue date: 2015-08-28 / As VANETs (Vehicular Ad hoc Networks) têm atraído bastante atenção por sua gama de aplicações e flexibilidade. Alguns exemplos são streaming de áudio e vídeo, tráfego de mensagens de emergência, alertas de colisão, dentre outras aplicações. Com as VANETs, os veículos e infraestruturas ao redor trocam informações de uma forma coordenada, orquestrando as rotas veiculares. Nas VANETs há uma troca de informações que vão além da interveicular, V2V (Vehicle to Vehicle). Estas formas de comunicação se dão entre veículo e infraestrutura e são denominadas V2I (Vehicle to Infraestructure). Com a concentração de veículos aumentando, há uma tendência de incremento na interferência interveicular, reduzindo assim os níveis de SINR e, consequentemente, diminuindo as taxas de transmissão entre os dispositivos. Algoritmos de controle de potência de transmissão foram propostos em diversas áreas. Um exemplo é a aplicação em cenários de comunicação celular, porém poucos trabalhos abordam o controle de potência de transmissão em uma aplicação de VANETs. Poucos trabalhos foram simulados em cenários de alta concentração. Este trabalho mostra resultados de simulações que analisam o efeito do controle de potência de transmissão em um cenário envolvendo de 250 a 2000 veículos. Com o objetivo de reduzir o impacto das altas potências de transmissão nas VANETs, é proposto um algoritmo, GRaPhiC, utilizando teoria dos jogos, visando reduzir a potência de transmissão dos dispositivos conectados à VANET. É então modelado um cenário utilizando teoria dos jogos não cooperativos. Este algoritmo fornece incentivo suficiente para que os nós desta rede não aumentem deliberadamente sua potência de transmissão. Para isto, é proposta uma função utilidade capaz de reduzir a potência de transmissão dos veículos, caso um conjunto de condições seja obedecida. Para validar os resultados deste trabalho, foram conduzidas simulações em diversos cenários. Para isto, foi utilizado o arcabouço do Veins. Os resultados demonstram que apesar de uma redução da potência de transmissão, que pode chegar a 24% da potência de transmissão inicial, a taxa de transmissão média não é afetada. Em um cenário de veículos elétricos, esta redução da potência de transmissão média se torna imprescindível. / VANETs (Vehicular Ad hoc Networks) have attracted much attention for its range of applications and flexibility. Some real examples are streaming video and audio, emergency messaging, traffic collision alerts, among other applications. With VANETs,vehicles and infrastructure around exchange information in a coordinated way, orchestrating vehicular routes. In the field of VANETs, there is an exchange of information that goes beyond intervehicular, V2V (Vehicle to Vehicle). These forms of communication are between vehicle and infrastructure and are called V2I (Vehicle to Infrastructure). With the increasing concentration of vehicles, there is an increasing trend in intervehicular interference, thereby reducing the SINR levels, and consequently decreasing the transmission rate between the devices. Transmit power control algorithms have been proposed in several areas. An example is the application in cellular communication scenarios, but few studies address the transmission power control in an application of VANETs. Few studies have simulated vehicles in high concentrated scenarios. This work shows results of simulations to analyze the effect of transmission power control in a scenario involving 250 of the 2000 carriers. In order to reduce the impact of high power transmission in VANETs, an algorithm, GRaPhiC, and proposed using game theory in order to reduce the transmission power of the devices connected to the VANET. It is then modeled a scenario using the theory of noncooperative games. This algorithm provides enough incentive for this network not deliberately increase their transmission power. For this, it is proposed a utility function capable of reducing the transmission power of vehicles if a set of conditions is complied with. To validate the results of this study, simulations were conducted in various scenarios. For this, we used the framework Veins. The results demonstrate that although a reduction of the transmission power, that can reach 24% of the initial transmission power, the average transmission rate is not affected. In a scenario of electric vehicles, this reduction in the average transmit power is indispensable.

Submitted by Fabio Sobreira Campos da Costa (fabio.sobreira@ufpe.br) on 2016-07-19T14:02:11Z No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Omaki 04 Tese TJ 0v2-20160225 final CD baixa def.pdf: 1423261 bytes, checksum: 5def21398d8b73990a286a659299e41f (MD5) / Made available in DSpace on 2016-07-19T14:02:11Z (GMT). No. of bitstreams: 2 license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5) Omaki 04 Tese TJ 0v2-20160225 final CD baixa def.pdf: 1423261 bytes, checksum: 5def21398d8b73990a286a659299e41f (MD5) Previous issue date: 2016-02-15 / FACEPE / Dentre as situações decisórias mais complexas nas quais um gestor pode incorrer, estão aquelas cujos resultados não dependem apenas de suas decisões, mas também das decisões de outros gestores, e vice-versa. Assim, o presente estudo objetivou analisar as principais situações de interação estratégica entre os produtores e os agentes da agroindústria de fruticultura irrigada de manga e uva da região submédia do Vale do Rio São Francisco na consecução de suas estratégias, expandindo assim as aplicações das duas perspectivas complementares predominantes nos estudos de estratégia em Administração: a escola do posicionamento e a visão da firma baseada em recursos, com contribuições da teoria dos jogos. Para tanto foi realizado um estudo de caso, descritivo, de natureza qualitativa, ex post facto, e transversal. A coleta de dados se deu por meio de 17 entrevistas ocorridas entre julho e setembro de 2015, nos municípios de Petrolina/PE e Juazeiro/BA, que buscaram identificar e analisar as interações estratégicas mais relevantes dos jogadores. Os dados coletados permitiram propor uma nomenclatura para cada classe e identificar a dinâmica das interações entre produtores, concorrentes, fornecedores e clientes. Dentre os achados mais relevantes emergiu a compreensão de que as interações mais relevantes não eram pontuais, mas interdependentes, onde o desenvolvimento das interações impacta em outras interações, que por fim impactam na estratégia de negócio. Ainda, exploratoriamente foram identificados três fatores inter-relacionados que merecem atenção: as janelas de exportação, a meteorologia e a biologia. Por fim, desses achados propôs-se um modelo diagramático relacional das interações entre os agentes da indústria. / Among the more complex decision-making situations in which a manager may incur, are those whose results depend not only on their decisions, but also on the decisions of other managers, and vice versa. So this study aimed to analyze the main situations of strategic interaction among producers and agents of in agribusiness of irrigated fruit cultures of mango and grape at the sub medium São Francisco River Valley in achieving their strategies, thus expanding the applications of two complementary perspectives prevalent in management strategy studies: the school positioning and the resource based view of the firm, with contributions of game theory. It was conducted a case study, descriptive, qualitative, ex post facto, and cross-sectional. The data collecting was carried out on 17 interviews which took place between July and September 2015 in the municipalities of Petrolina / PE and Juazeiro / BA, which sought to identify and analyze the most relevant strategic interactions of the players. The data collected allowed proposing a nomenclature for each class and identifying the dynamics of interactions between producers, competitors, suppliers and customers. Among the most important emerging findings was that the most relevant interactions were not individual, but interdependent, where the development of interactions impact on other interactions, which ultimately impact the business strategy. Still, three interrelated factors that need attention were identified: export windows, meteorology and biology. Finally from these finding was proposed a relational diagrammatic model of interactions between the industry players.

This work has an educational proposal for the content of Logic, Matrices and Probability in high school, but the real goal is the intention of the insertion in the curriculum, of itself relevant, Game Theory. A historical introduction motivating the study followed the presentation ctional situations, distant from reality, as well as some close to everyday problems, treated lightly, sometimes with some irreverence, bring the Logic elements, Matrices and Probability to the fore. It also presents the essences elements of Game Theory and some solutions proposed by it. At work consists also a demonstration of the Minimax Theorem accessible to every high school student and nally has to display a more sophisticated mathematical reasons all content. / O presente trabalho tem subsidiarimente uma proposta de ensino para o conteúdo de Lógica, Matrizes e Probabilidade no Ensino Médio, todavia o real objetivo é a pretensão da inserção, na grade curricular, da por si só relevante, Teoria dos Jogos. Uma introdução histórica motivadora do estudo seguida da apresentação situações ccionais, mais distantes da realidade, bem como algumas próximas de problemas do cotidiano, tratadas com leveza, às vezes com alguma irreverência, trazem os elementos de Lógica, Matrizes e Probabilidade à tona. Tamb ém apresenta-se os elementos essencias da Teoria dos Jogos e algumas soluções propostas por ela. No trabalho consta, também, uma demonstração do Teorema Minimax accessível a todo estudante do Ensino Médio e por m tem-se a exibição de uma matemática mais so sticada fundamentando todo o conteúdo. / São Cristóvão, SE

Esta dissertação de mestrado utiliza metodologia de direito e economia para apresentar modelo teórico construído a partir do ferramental disponibilizado pela teoria dos jogos. O modelo é desenhado com o objetivo de analisar as estratégias para tomada de decisão de devedores e credores sobre o pedido de falência e recuperação da empresa em crise no Brasil. As estratégias sugeridas pelo modelo são comparadas às alternativas existentes na lei brasileira de falências e recuperação de empresas (Lei n. 11.10112005). Os conceitos relacionados aos temas tratados são apresentados no capítulo II, onde há também uma visão resumida das teorias econômicas utilizadas, com o objetivo de auxiliar o leitor a compreender os conceitos. Há, ainda, uma breve exposição da teoria dos jogos e da teoria do desenho de mecanismos. O modelo proposto é estruturado de acordo com a teoria da escolha racional e a teoria dos jogos. Analisam-se os principais interesses envolvidos, limitados às restrições existentes, que reduzem as escolhas dos agentes (capítulo III). Estudam-se também os comportamentos de devedor e credores, resumidos a três possibilidades: estabelecimento de negociações privadas, falência e recuperação da empresa. Compreendem-se as decisões mais prováveis e também os possíveis erros na tomada de decisão, influenciados pelos interesses dos agentes, restrições econômicas e imposições legais. Apontam-se os problemas de revelação de informações, as decisões tomadas em assembléia de credores, os efeitos das decisões e propõem-se soluções para os principais problemas, sempre com base nos conceitos da teoria dos jogos e na teoria do desenho de mecanismos (capítulo IV). A formulação matemática do modelo proposto é apresentada no capítulo V. / This dissertation uses a methodology of law and economics to present a game-theoretic model, designed with the purpose of analyzing the strategies, selected by debtors and creditors, to make decisions between liquidation and reorganization of a distressed firm. The strategies recommended by the model are compared with the existing alternatives in the Brazilian Bankruptcy Law (law n. 11.101/2005). The concepts related to the subject are presented in chapter II, where there is an overview of the economic theories, to simplify the understanding of the concepts. There is also an overview of game theory and mechanism design theory. The proposed model is structured according to the rational choice theory and game theory. It analyzes the main interests involved, and the existing constraints that limit the choices made by the agents (chapter III). It also studies the behavior of debtors and creditors, limited to three possibilities: establishment of private negotiations (workout), liquidation or reorganization of the firm. It analyzes the most probable decisions and also the possible errors in the decision making process, influenced by interests involved, economic and legal constraints. The dissertation analyses the problem of revelation of information, decisions taken in creditors assemblies, effects of those decisions, and proposes solution to the main problems, based on concepts of game theory and mechanism design theory (chapter IV). The models mathematical formulation is presented in chapter V.