Submitted by PGCOMP UFBA (pgcomp@ufba.br) on 2016-05-04T20:42:00Z No. of bitstreams: 1 PGCOMP-MSC-02-2016-JandsonSantosRibeiroSantos.pdf: 1080072 bytes, checksum: 2fa8e736bbbb26f711d8102627b9e0e6 (MD5) / Approved for entry into archive by Alda Lima da Silva (sivalda@ufba.br) on 2016-05-05T16:12:43Z (GMT) No. of bitstreams: 1 PGCOMP-MSC-02-2016-JandsonSantosRibeiroSantos.pdf: 1080072 bytes, checksum: 2fa8e736bbbb26f711d8102627b9e0e6 (MD5) / Made available in DSpace on 2016-05-05T16:12:43Z (GMT). No. of bitstreams: 1 PGCOMP-MSC-02-2016-JandsonSantosRibeiroSantos.pdf: 1080072 bytes, checksum: 2fa8e736bbbb26f711d8102627b9e0e6 (MD5) / FAPESB / A revisão de modelos é uma técnica baseada na teoria de revisão de crenças, que tem como princípio modificar minimamente os modelos de forma a satisfazer uma dada propriedade. A revisão de modelos pode ser combinada com verificação de modelos para determinar as mudanças estruturais minimais sobre modelos de Kripke com base no resultado da verificação. As estruturas modais de Kripke (KMTS) são extensões das estruturas de Kripke com modalidades que permitem expressar informações incompletas explicitamente. Um KMTS pode ser interpretado como um conjunto de estruturas de Kripke, e a técnica de verificação de modelos pode ser utilizada para verificar se um KMTS atende à uma determinada especificação, devendo retornar os seguintes valores: verdadeiro quando todas as estruturas de Kripke representadas pelo KMTS satisfazem a especificação, falso quando nenhuma das estruturas de Kripke satisfaz a especificação, ou indefinido quando algumas das estruturas satisfazem e outras não. Uma das contribuições deste trabalho é a proposta de um verificador de modelos para KMTS considerando esta semântica utilizando CTL como linguagem de especificação de propriedades. A revisão de um KMTS ocorre quando a verificação de modelos resulta em falso ou indefinido. No caso de indefinido, o KMTS deve ser modificado para representar apenas os modelos de Kripke que satisfazem a propriedade requerida. Esta etapa da revisão é chamada de refinamento. Neste caso, de acordo com a revisão de modelos, devem-se aplicar mudanças estruturais minimais sobre o KMTS para obter os modelos resultantes do refinamento. Outra contribuição deste trabalho está em apresentar uma solução para este problema, através de algoritmos propostos com base em um grafo de testemunhas, definido nesta dissertação, que abstrai informações do grafo de um verificador de modelos baseado em jogos de forma a obter apenas os modelos gerados por mudanças minimais sobre o KMTS.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pos-Graduação em Engenharia de Produção. / Made available in DSpace on 2013-07-15T23:54:09Z (GMT). No. of bitstreams: 1 221267.pdf: 2302548 bytes, checksum: 276a35b9c368426f833b403f2ae5cc65 (MD5) / Na imensa e intensa rede mundial do dinheiro, formada por instituições que atuam diretamente nos mercados financeiros, conectadas on-line vinte e quatro horas por dia, o crime organizado opera, cotidianamente, a prática da lavagem de dinheiro. O caráter de expressa ilegalidade, bem como a geopolítica que envolve o assunto, não permitem que se tenha informações precisas sobre o tamanho do negócio e seu impacto na economia mundial. Há, no entanto, fartas estimativas. Uma questão, porém, é pacífica: a globalização econômica ofereceu instrumentos, até então, impensados pelos senhores do crime.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação / Made available in DSpace on 2013-07-16T01:11:07Z (GMT). No. of bitstreams: 1 233632.pdf: 2742467 bytes, checksum: eeda8c93af2e591a4a34cd32fe19bd81 (MD5) / Neste trabalho, foi pesquisado e desenvolvido um modelo estratégico baseado em Autômatos Celulares e Teoria dos Jogos, para demonstrar a mobilidade social de uma população de indivíduos virtuais. Foram empregados conceitos de jogos evolucionários, utilizando-se como base o jogo Hawk-Dove na formulação do modelo e na criação de um programa na linguagem Java para simulação computacional e para estudos da mobilidade evolutiva da população virtual. Alguns padrões evolucionários foram apresentados, comparados e foram identificados grupamentos estáveis e instáveis. A partir da análise dos resultados obtidos das simulações, utilizando-se o modelo proposto, foi possível identificar a ocorrência de comportamentos caóticos. A aplicação de diferentes estratégias de jogos, como Tit-For-Tat ou Win-Stay|Lose-Shift, para analisar o modelo neste trabalho indica a flexibilidade apresentada pela modelagem baseada em Autômatos Celulares e Teoria dos Jogos.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Engenharia Elétrica, Florianópolis, 2013 / Made available in DSpace on 2013-12-05T23:09:17Z (GMT). No. of bitstreams: 1 319236.pdf: 1551961 bytes, checksum: a550e20dd8cb324ed2a7571ffb6fc050 (MD5) / Devido aos diversos fatores envolvidos no planejamento da operação de sistemas hidrelétricos, tais como a interligação espacial e temporal entre as usinas e a natureza estocástica das vazões afluentes, no Brasil a geração de energia é coordenada na forma de operação centralizada, de modo a definir um despacho que otimize a utilização do parque gerador instalado. Contudo, esse modelo apresenta alguns desafios quando aplicado a um ambiente de competição na geração. Com o intuito de aumentar a eficiência econômica do setor elétrico sem excluir o papel do operador central, este trabalho visa analisar uma forma alternativa de despacho de geração de um sistema com predomínio de geração hidrelétrica que permita mais autonomia às empresas geradoras. Propõe-se um modelo matemático que representa um despacho descentralizado, no qual ficaria ao operador do sistema a função de coordenar as ofertas feitas pelos agentes geradores, garantindo o suprimento de energia em todo o período tendo em vista os limites físicos e operacionais do sistema. O despacho descentralizado é modelado como um problema de equilíbrio com restrições de equilíbrio (equilibrium problem with equilibrium constraints - EPEC). As soluções de equilíbrio obtidas são comparadas com as soluções ótimas do modelo de despacho clássico (centralizado). A estocasticidade do problema é tratada por uma formulação em dois estágios e, para garantir a qualidade da solução obtida, mantendo-se o problema com uma dimensão de cenários aceitável, utiliza-se a técnica da Janela Deslizante. É demonstrada a viabilidade prática do modelo proposto aplicando-se o mesmo a equivalentes do sistema elétrico brasileiro <br>

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T19:10:46Z (GMT). No. of bitstreams: 1 203130.pdf: 852475 bytes, checksum: 05344559bdc966f65f7bab3a7535ae4b (MD5) / Diante de um ambiente de negócios cada vez mais competitivo, os varejistas vêm buscando reestruturar suas atuações no mercado por meio de estratégias que levem em conta uma maior interação empresa-consumidor, para otimizar o atendimento das necessidades e anseios de seus clientes. É mediante este processo de competição que estas empresas buscam estabelecer estratégias de crescimento e de conquista de mercado.Uma das formas de aumentar os lucros é conhecer o comportamento de seus clientes através de seus atos de compra. A utilização de técnicas da teoria dos jogos, simulação computacional de sistemas e métodos estatísticos podem ser úteis na extração de conhecimento em sistemas dinâmicos complexos. Com um novo conjunto de informações, os administradores poderão propor novas estratégias de marketing para o varejo objetivando a satisfação dos clientes e o aumento dos lucros. Nesta dissertação utilizou-se como paradigma o jogo Hawk-Dove com aplicação de um modelo computacional exclusivamente desenvolvido para estudar o funcionamento de mercado.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-20T13:13:08Z (GMT). No. of bitstreams: 1 202546.pdf: 1004422 bytes, checksum: cb4166d99f920804cdd2277285427d21 (MD5) / A restruturação das empresas de energia elétrica que vem ocorrendo em diversos países, tem modificado as estratégias de gerenciamento e operação dos sistemas de potência. Uma das principais mudanças observadas é a transformação de um ambiente verticalizado e regulado num ambiente de contratos entre os diversos agentes integrantes. A implantação do novo modelo exige tanto a decomposição como a alocação dos custos relacionados ao suprimento de energia elétrica. Técnicas alocação de custos e estabelecimento de preços baseadas em custos marginais podem gerar excedentes de remuneração e apresentam volatilidade, pois refletem condições instantâneas. Por outro lado, a divisão do custo via critérios do tipo pro rata recupera exatamente o custo do serviço porém resulta em penalizações indiscriminadas. Neste trabalho, propõe-se o uso da metodologia de Aumann-Shapley para a alocação de custos, pois a mesma satisfaz as propriedades fundamentais requeridas para uma alocação justa. Mostra-se que esta metodologia pode ser aplicada de forma generalizada na alocação de custo de potências ativa e reativa, das perdas de potência ativa na rede de transmissão e do congestionamento. Sua aplicação permite recuperar o valor do serviço com precisão, fornecendo os fatores efetivos de participação de cada agente no custo total, independentemente das perdas e do congestionamento na rede.

Dissertação (Mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. / Made available in DSpace on 2012-10-18T15:09:10Z (GMT). No. of bitstreams: 0Bitstream added on 2016-01-09T04:08:47Z : No. of bitstreams: 1 150537.pdf: 14313759 bytes, checksum: 31d3ff5e4b7e83886ba108da9c660c7b (MD5)

Made available in DSpace on 2014-06-11T19:24:52Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-06-09Bitstream added on 2014-06-13T18:52:55Z : No. of bitstreams: 1 chaves_vhc_me_rcla.pdf: 3013195 bytes, checksum: 7c93de3e76836360f55249d31e58f3fb (MD5) / A história da Pesquisa Operacional se insere na história dos grandes acontecimentos tecnológicos e científicos do século XX e fazer uma reconstituição histórica do seu surgimento e evolução é uma maneira de entender, além do desenvolvimento da matemática aplicada, a mobilização da ciência durante a Segunda Guerra Mundial e os contextos social e político que a originaram. Outra vertente dessa história é sua influência no surgimento de outras ciências e aplicações, cujos desdobramentos no período pós-guerra contribuíram para o aumento da racionalização da sociedade moderna. O aperfeiçoamento das técnicas da Pesquisa Operacional foi um fator determinante para o seu sucesso, sendo a Programação Linear uma das mais importantes. São apresentados os seus conceitos básicos e desenvolvidas as principais ideias do algoritmo Simplex para um caso extremamente simplificado. Outra técnica considerada e apresentada de forma bastante elementar é a Teoria dos Jogos. Não é o objetivo da pesquisa detalhar suas técnicas, mas sim entender suas origens que conduzem admiravelmente as histórias de seus grandes idealizadores Dantzig, Kantorovich, John von Neumann e Morgenstern. Os aspectos metodológicos e filosóficos da Pesquisa Operacional reverenciaram pensadores como John Dewey, Churchman e Capra, que são referências para entender o pensamento do homem moderno / The history of Operational Research (OR) is part of the history of great technological and scientific developments of the twentieth century and to rebuild its emergence and evolution is one way of understanding, further the development of applied mathematics, the mobilization of science during the Second World War and the social and political contexts from which it was originated. Another aspect of this story is its influence on the development of other sciences and applications, whose developments in the postwar period contributed to the increased rationalization of modern society. The improvement of Operational Research techniques was a determining factor for success, with Linear Programming one of the most important. Its basic concepts are given and developed the main ideas of the Simplex algorithm to extremely simplified cases. Game Theory is another technique considered and presented in a very elementary way. It is not the goal of research detailing its technique, but to understand its origins that lead the stories admirably of its great creators Dantzig, Kantorovich, John von Neumann and Morgenstern. Philosophical and methodological aspects of Operational Research revered thinkers like John Dewey, Churchman and Capra, who are references to understand the thinking of modern man

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Direito, Programa de Pós-Graduação em Direito, 2016. / Submitted by Fernanda Percia França (fernandafranca@bce.unb.br) on 2016-12-01T16:13:25Z No. of bitstreams: 1 2016_VictorSantosRufino.pdf: 645563 bytes, checksum: 762020e2c907fffe8c097d30fccf4109 (MD5) / Approved for entry into archive by Raquel Viana(raquelviana@bce.unb.br) on 2017-01-28T17:18:01Z (GMT) No. of bitstreams: 1 2016_VictorSantosRufino.pdf: 645563 bytes, checksum: 762020e2c907fffe8c097d30fccf4109 (MD5) / Made available in DSpace on 2017-01-28T17:18:01Z (GMT). No. of bitstreams: 1 2016_VictorSantosRufino.pdf: 645563 bytes, checksum: 762020e2c907fffe8c097d30fccf4109 (MD5) / O objetivo da presente dissertação é analisar o programa de leniência antitruste brasileiro, além de outros assemelhados, extrair algumas características essenciais e avaliá-las de acordo com a teoria dos jogos. Para tanto, é feita uma descrição sumária da teoria dos jogos e explicada suas adaptações ao direito antitruste, através da demonstração do dilema do prisioneiro aplicado a uma situação em que os infratores praticaram cartel. Nesse primeiro momento, conclui-se que os incentivos básicos para a confissão resultantes do dilema do prisioneiro são pequenos, quando a autoridade não tem conhecimento prévio da existência de um ilícito, e fortes, quando já há pelo menos uma confissão anterior. Posteriormente são descritos os programas de leniência dos Estados Unidos da América, da União Europeia e do Brasil. Com base nessa descrição, são separados quatro elementos presentes em todos os programas de leniência examinados: (a) previsibilidade quanto aos requisitos, procedimentos e benefícios esperados; (b) existência de determinados graus de sigilo das negociações e das informações trocadas; (c) estabelecimento de incentivos para uma corrida para a confissão; (d) técnicas de comprovação documental da narrativa do delator. Cada elemento é, então, avaliado de acordo com o conjunto de incentivos básicos derivado da teoria dos jogos. A partir destas premissas, argumenta-se que a previsibilidade do programa é essencial para facilitar a tomada de decisão pela confissão, em um ambiente de incentivos baixos. É demonstrado que o sigilo garante as condições para as negociações conducentes à delação, protege o avanço da investigação e impede que o delator sofra consequências mais gravosas que os denunciados. A existência de normas que fomentem uma corrida pela delação é avaliada como elemento deflagrador do receio de ser delatado e, portanto, funciona como o maior incentivo pela confissão. Também é defendido que deve haver normas voltadas a estabelecer outras corridas após a primeira delação. A necessidade de documentação da narrativa é apresentada como remédio para que incentivos perversos não contaminem o processo de formação de uma confissão útil. Conclui-se, ao final, que a conjunção desses quatro elementos, quando devidamente estruturada, propicia a formação de um programa de leniência consistente com os incentivos para a confissão derivados da teoria dos jogos. / The purpose of this work is to analyze the Brazilian antitrust leniency program and other similar programs, draw some of their essential characteristics and evaluate them according to the game theory. Therefore, it makes a brief description of such theory and explains how it is adapted to antitrust law, by demonstrating the prisoner's dilemma applied to a situation in which offenders are involved in a cartel. Firstly, it concludes that the basic incentives for confession that emanate from the prisoner's dilemma are small when the authority has no prior knowledge of the infringement and strong when there is already at least one previous confession. Next, the works describes the leniency programs of the United States, of the European Union and of Brazil. Based on this description, it identifies four elements that are present in all leniency programs under analysis: (A) predictability regarding the requirements, procedures and expected benefits; (B) the existence of certain degrees of confidentiality of the negotiations and of the information exchanged; (C) incentives that lead to a race to confess; (D) techniques that evidence through documents the informant’s narrative. The work then evaluates each element in light of the basic set of incentives derived from the game theory. Considering these premises, it argues that, in a low incentive environment, the program’s predictability is essential to facilitate agents to make a decision towards confessing. It shows that confidentiality not only assures the necessary conditions for the negotiations that tend to lead to confession, but it also protects the progress of the investigation and prevents the informant from being placed in a worse position than those who do not cooperate. The existence of rules that stimulate a race to confess is considered the element that triggers the fear of being denounced and therefore functions as the greatest incentive for confession. The work also argues that there should be rules aimed to establish other races after the first confession. The need for documenting the narrative is presented as a remedy that prevents perverse incentives from contaminating the development of a useful confession. Finally, the work concludes that the combination of these four elements, when properly structured, underpin the development of a leniency program that is consistent with the incentives for confession emanating from the game theory.

Dissertação (mestrado)—Universidade de Brasília, Faculdade de Economia, Administração e Contabilidade, Departamento de Economia, Programa de Pós-Graduação em Ciências Econômicas, 2018. / Submitted by Fabiana Santos (fabianacamargo@bce.unb.br) on 2018-09-10T20:57:19Z No. of bitstreams: 1 2018_RodrigoOtavioCurvelloWutke.pdf: 1461408 bytes, checksum: d21a5efea6d2228385961222fc8eece8 (MD5) / Approved for entry into archive by Fabiana Santos (fabianacamargo@bce.unb.br) on 2018-09-11T20:12:48Z (GMT) No. of bitstreams: 1 2018_RodrigoOtavioCurvelloWutke.pdf: 1461408 bytes, checksum: d21a5efea6d2228385961222fc8eece8 (MD5) / Made available in DSpace on 2018-09-11T20:12:48Z (GMT). No. of bitstreams: 1 2018_RodrigoOtavioCurvelloWutke.pdf: 1461408 bytes, checksum: d21a5efea6d2228385961222fc8eece8 (MD5) Previous issue date: 2018-09-10 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES). / Nesta dissertação, contextualizamos a Guerra de Desgaste como um jogo evolucionário e apresentamos os desenvolvimentos da teoria da Complexidade nas Ciência Econômicas e o uso de Modelos Baseados em Agentes, apoiado pelo desenvolvimento de um modelo desse tipo. Nosso objetivo é ilustra que é possível revisitar problemas econômicos e encontrar resultados diferentes dos previstos pela teoria econômica tradicional. Inicialmente, fazemos uma revisão de literatura sobre a Guerra de Desgaste e sobre a Complexidade na teoria econômica. Em seguida, descrevemos os principais aspectos da teoria dos jogos evolucionários e da Economia Computacional Baseada em Agentes. Por fim, desenvolvemos um Modelo Baseado em Agentes que interpreta a Guerra de Desgaste e comparamos os resultados obtidos com aqueles previstos na literatura tradicional. Diferentemente do que se previa, para determinadas configurações de parâmetros é possível identificar a emergência de comportamentos complexos. / In this thesis, we contextualize the War of Attrition as an evolutionary game and present the developments of Complexity theory in Economics and the use of Agent-based Models, supported by the development of a model of this type. Our goal is to illustrate that it is possible to revisit economic issues in order to find different outcomes from those predicted by traditional economic theory. Initially, we present a literature review on the War of Attrition and on Complexity in Economics. Next, we describe the main aspects of evolutionary game theory and of Agent-based Computational Economics. Finally, we developed an Agent-Based Model interpreting the War of Attrition and compared the results obtained with those predicted in traditional literature. Differently from what was predicted, for certain parameter configurations it is possible to identify the emergence of complex behaviors.