• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 288
  • 22
  • 6
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 319
  • 319
  • 312
  • 186
  • 171
  • 43
  • 40
  • 31
  • 29
  • 27
  • 27
  • 25
  • 23
  • 22
  • 22
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
211

Análise teórica do jogo da Batalha dos Sexos e uma proposta experimental via Ressonância Magnética Nuclear / Theoretical analysis of the Battle of the Sexes game and an experimental proposal by Nuclear Magnetic Resonance

Leal, Adriane Consuelo da Silva 19 February 2018 (has links)
Submitted by Eunice Novais (enovais@uepg.br) on 2018-03-13T19:32:04Z No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Adriane C silva Leal.pdf: 12455813 bytes, checksum: 4943d9492ef5280324df4aba4d508c4e (MD5) / Made available in DSpace on 2018-03-13T19:32:04Z (GMT). No. of bitstreams: 2 license_rdf: 811 bytes, checksum: e39d27027a6cc9cb039ad269a5db8e34 (MD5) Adriane C silva Leal.pdf: 12455813 bytes, checksum: 4943d9492ef5280324df4aba4d508c4e (MD5) Previous issue date: 2018-02-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / O principal objetivo deste trabalho é estudar o jogo da Batalha dos Sexos na versão quântica, para dois jogadores Alice e Bob. Uma análise teórica é fundamentada aplicando o protocolo elaborado por Eisert et al., no qual se aplicam propriedades advindas de emaranhamento de estratégias. Nesse sentido, é possível demonstrar que o emaranhamento otimizou os equilíbrios do jogo para Alice e Bob. Para o caso em que os jogadores escolhem o perfil de operadores de estratégias quânticas UA ^ UB 8 ou UA ; 38 ; ^ UB 0; 3 8 , o dilema pode ser resolvido. Por meio dos resultados teóricos uma proposta de implementação experimental do jogo na condição de máximo emaranhamento foi sugerida via a técnica de Ressonância Magnética Nuclear. / The main objective of this work is to study the game of the Battle of the Sexes in the quantum version, for two players Alice and Bob. A theoretical analysis is substantiated applying the protocol elaborated by Eisert et al., in which apply properties oficial entangled strategies. In this sense, it is possible to demonstrate that the entanglement optimized the equilibria of the game. For the case where the players choose the profile of quantum strategies operators ( ^ UA 0; 8 ; ^ UB 0; 8 ) or ( ^ UA 0; 3 8 ; ^ UB 0; 3 8 ) the dilemma can be solved. By means of the theoretical results a proposal of experimental implementation of the game in the condition of maximum entanglement is purposed by Nuclear Magnetic Resonance technique.
212

A contribuição para a formação do profissional contábil proporcionada pelo ensino mediante jogos de empresa

Mello, Róbison Fabiano 30 September 2010 (has links)
Submitted by Silvana Teresinha Dornelles Studzinski (sstudzinski) on 2015-05-20T14:40:37Z No. of bitstreams: 1 RobisonMelloContabeis.pdf: 1458996 bytes, checksum: d12fe8002692135815beb14a56e72429 (MD5) / Made available in DSpace on 2015-05-20T14:40:37Z (GMT). No. of bitstreams: 1 RobisonMelloContabeis.pdf: 1458996 bytes, checksum: d12fe8002692135815beb14a56e72429 (MD5) Previous issue date: 2010 / Nenhuma / O papel da contabilidade é transformar a informação em uma ferramenta útil no processo de gestão das organizações. Cabe ao profissional contábil contribuir para que isso ocorra, procurando se adaptar as novas exigências do mercado. Assim, o presente estudo teve por objetivo identificar quais as contribuições proporcionadas para a formação do profissional contábil mediante a aplicação dos Jogos de Empresas, a partir da Disciplina Laboratório de Gestão II nos semestres 02/2009 e 01/2010. Os sujeitos da pesquisa foram os alunos de Ciências Contábeis que cursaram Jogos nesse período. Procurou-se analisar as percepções dos discentes sobre os ensinamentos que eles obtiveram. A análise classifica-se como qualitativa. Os instrumentos utilizados na coleta de dados consistiram em entrevista semi-estruturada e nas observações das aulas. Após a análise de conteúdo com base nos dados coletados, os resultados confirmaram que os Jogos de Empresas contribuíram na formação dos alunos, proporcionando uma Visão Sistêmica, uma Capacidade de Avaliar o Impacto das Decisões Tomadas, uma Visão Crítica de Análise de Mercado, uma Visão da Importância do Comportamento Inter Pessoal e uma Compreensão da Necessidade de Obter Informações para Melhorar o Processo de Tomada de Decisões. A pesquisa é inovadora, pois no Brasil ainda não ocorreram pesquisas que indicassem as contribuições dos jogos na formação dos alunos de contabilidade. Por fim, conclui-se que os contadores podem desenvolver suas capacidades gerenciais e obter uma visão sistêmica, vivenciando na prática, os Jogos de Empresas. / The role of accounting is to transform information into a useful tool in the management process in organizations. The accountant to contribute so that this occur, looking for to adapt the new requirements of the market. Thus, the present study was to for objective to identifying to which the proportionate contributions for the formation of the accountable professional by means of the application of the business games, from Discipline Laboratory of Management II in semesters 02/2009 and 01/2010. The research subjects had been the pupils of Accountable Sciences that had attended a course Games in this period. It was looked to analyze the perceptions of the learning on the teachers that they ́ve got. The analysis is classified as qualitative. The instruments used in the collection data had consisted of semi-structured interviews and the comments of the lessons. After the content analysis on the basis of the collected data, the results had confirmed that business games had contributed to development of the pupils, providing a Systemic Vision, a Capacity To evaluate the Impact of the Taken Decisions, a Critical Vision of Analysis of Market, a Vision of the Importance of Personal the Inter Behavior and an Understanding of the Necessity To get Information To improve the Process of Taking of Decisions. The research is innovative, therefore in Brazil research had not yet occurred that indicated the contributions of the games in the formation of the accounting pupils. Finally, it is concluded that the accountants can develop its managerial capacities and get a systemic vision, living deeplyin the practical one, the business games.
213

Jogos Digitais - Teoria e Conceitos para uma Mídia Indisciplinada

Branco, Marsal Avila Alves 09 August 2011 (has links)
Submitted by Fabricia Fialho Reginato (fabriciar) on 2015-07-22T23:24:55Z No. of bitstreams: 1 MarsalBranco.pdf: 9186656 bytes, checksum: 9ee88cf3360a0fd3008bec9a4d111492 (MD5) / Made available in DSpace on 2015-07-22T23:24:55Z (GMT). No. of bitstreams: 1 MarsalBranco.pdf: 9186656 bytes, checksum: 9ee88cf3360a0fd3008bec9a4d111492 (MD5) Previous issue date: 2011-08-09 / Nenhuma / Propõe uma teoria dos jogos digitais. Para tanto, apresenta uma estrutura de análise que divide os jogos em três instâncias - produção, interpretação e discurso -, e três dimensões que as atravessam - lógica, estética e tecnológica. As instâncias permitem pensar os games como produtos de comunicação e portanto afetados por lógicas sociais, políticas, econômicas, estéticas e tecnológicas, servindo como ponto de entrada dos fatos do mundo ‘externo’ dentro da produção, do discurso e do jogar games. As dimensões dão conta das formas pelas quais esta produção, discurso e fruição acontecem e dizem respeito às especificidades internas da linguagem dos games. Para estas, são propostos conceitos como ludemas/sistema de regras, vivacidade/interatividade, manifestações discursivas e estruturas discursivas. A estrutura em dois níveis (instâncias e dimensões) permite lidar com os fenômenos desta mídia tanto a partir de suas afetações internas - lógica, estética e tecnologia tensionando-se e modificando-se -, bem como em um nível mais geral ao evidenciar como cada dimensão é também uma resposta às forças externas que partem de um contexto sócio-cultural. A construção dessa estrutura conceitual permite o desenho de uma teoria dos jogos digitais: mostra seus conceitos fundamentais, seus modos de relacionamento internos, suas conexões com o mundo externo e modos de funcionamento. / Proposes a theory of digital games. To do so, presents an analysis framework that divides games into three instances - production, interpretation and discourse - and the three dimensions - logical, aesthetic and technological. Instances allow us to think the games as communication products and therefore affected by social, political, economic, aesthetic and technological aspects, serving as the entry point of the facts of the world 'outside' into production, speech and play games. The dimensions concern on the diferent manners how this production, speech and enjoyment happen and relate to specific internal language of games. For these are proposed the concepts of Ludema / system rules, vividness / interactive, discursive structures and discursive manifestations. The two level structure (instances and dimensions) allows you to tackle the phenomenon of media either from its internal affectations - logic, aesthetics and technology tensing up and modifying - as well as a more general level by showing how each dimension is also a response to external forces departing from a socio-cultural context. The construction of this conceptual framework allows the design of a digital game theory, shows its fundamental concepts, their modes of internal relations, its connections with the outside world and modes of operation.
214

[en] MOBILE CROWD SENSING: NEW INCENTIVE AND MOBILITY MODELS FOR REAL DEPLOYMENTS / [pt] SENSORIAMENTO COLETIVO MÓVEL (MOBILE CROWD SENSING): NOVOS MODELOS DE INCENTIVO E DE MOBILIDADE PARA IMPLEMENTAÇÕES REAIS

JOSE MAURICIO NAVA AUZA 29 March 2019 (has links)
[pt] A área das telecomunicações tem presenciado consideráveis avanços tecnológicos dos dispositivos móveis (e. g. telefones inteligentes, relógios inteligentes, tablets, reprodutores de música, entre outros) e da sua crescente popularidade. Dado que esses equipamentos possuem uma série de sensores embutidos como o sistema de posicionamento global, câmera, microfone, bússola, acelerômetro entre outros, e ao mesmo tempo mantêm acesso contínuo às redes de comunicações, eles apresentam uma oportunidade para realizar sensoriamento em grande escala de possíveis eventos do mundo físico e compartilhar os dados obtidos através da internet. Este novo tipo de sensoriamento é conhecido como sensoriamento coletivo móvel ou MCS (Mobile crowd sensing) por sua sigla em inglês, e recentemente tem sido o foco de diversas pesquisas. O maior potencial do MCS é a opção de desenvolver um inúmero de funcionalidades a partir dos próprios recursos internos dos dispositivos móveis e aproveitar seu modelo de mobilidade, baseado no comportamento humano. Em contrapartida existem questões que devem ser consideradas na hora de desenvolver uma rede baseada em MCS. Neste trabalho, apresenta-se a análise realizada sobre os pontos críticos para a criação de uma rede MCS e a partir dos mesmos são apresentadas soluções que permitam criar uma implementação o mais próximo possível da realidade. Foi desenvolvido um modelo de mobilidade para a cidade de Rio de Janeiro baseado na teoria dos grafos, considerando que as atividades diárias das pessoas serão as que definam seu padrão de movimento. A cooptação de usuários é outro dos principais problemas que tem que ser abordado quando se pensa no sensoriamento coletivo móvel. Propõe-se dois modelos de incentivo que consideram e modelam como variáveis as motivações intrínsecas e extrínsecas dos usuários na decisão de participação em uma rede MCS. Consideram também distintos graus de motivação para cada usuário com a finalidade de demonstrar que a resposta dos participantes aos incentivos não é homogênea. O primeiro modelo baseia-se nas respostas consecutivas dos usuários e o segundo baseia-se na teoria de jogos. Em ambos, as decisões tomadas pelos usuários só consideram informações locais ou próprias. Os resultados obtidos permitiram comprovar que os modelos de incentivo propostos conseguem estimar satisfatoriamente o tipo de usuário com o qual está se interagindo e a quantidade de incentivo que deve ser oferecido a cada um deles, além de demonstrar as vantagens de um sistema de incentivo que considera pagamentos variáveis. Também foram analisadas as vantagens de considerar a mobilidade humana neste tipo de abordagem e como a mesma reflete nos modelos de incentivo. / [en] The world of telecommunications has witnessed the growing popularity of mobile devices and its huge technological advancements and innovations (e.g. smartphones, smartwatches, tablets, music players among others). These devices have a series of built-in sensors that measure motion, orientation, and various environmental conditions (e.g. Global Positioning System, camera, microphone, compass, accelerometer, among others). In addition, these devices have continuous network connectivity. So these devices can be seen as a huge opportunity to carry out large-scale sensing of events in the physical world and have the ability of sharing the data obtained through the internet. This new kind of sensor application is known as Mobile crowd sensing (MCS) and it has been a research focus lately. The greatest potential of MCS is found on the versatility that the embedded resources of the mobile devices offer in the development of innumerable functionalities and its mobility model that is based on human behavior. On the other hand, there are issues that must be considered when a MCS-based network is developed. This work presents the analysis performed in order to define issues that are considered critical for the creation and development of an MCS network. From these definitions solutions are proposed that allow to create an implementation as close as possible to reality. A mobility model was developed for the Rio de Janeiro city based on graph theory, and assuming that daily activities of the people will define their movement pattern. Attracting and convincing users is another problem that has to be addressed. Two user incentive models are proposed. Both consider and model the decision of a user to participate in an MCS network based on the intrinsic and extrinsic motivations of the user. The idea is to comprise different levels of motivation for each user in order to demonstrate that the response of the participants to the incentives is not homogeneous. Thus, the first model is based on the consecutive answers of the users and the second model is based on game theory. The results obtained allowed us to prove that the proposed incentive models can satisfactorily estimate the type of user with which we are interacting and the amount of incentive that should be offered to each one of them, besides demonstrating the advantages of an incentive system that considers variable payments. The advantages of considering human mobility in this type of approach and how it affects the incentive models was also analyzed.
215

Maximização da soma das receitas de competidores por meio de análise conjunta baseada em escolhas : um estudo aplicado ao mercado de educação superior privado

Sibemberg, Fernando Igor January 2017 (has links)
O mercado de Educação Superior privado no Brasil apresenta altos índices de concentração, caracterizando-se como um oligopólio, podendo, portanto, ser estudado sob a ótica da Teoria dos Jogos. Uma das técnicas existentes para abordar este tipo de mercado é conhecida por Análise Conjunta Baseada em Escolhas (Choice Based Conjoint Analysis), que permite estimar as utilidades atribuídas para cada característica dos produtos, prevendo o desejo de cada produto gerado pela combinação dos seus atributos, possibilitando, assim, simular como as decisões de uma amostra de respondentes seriam distribuídas em um mercado simulado entre dois ou mais produtos competidores. Esses modelos, porém, limitam-se a maximizar a receita individual de cada produto, de forma isolada, não levando em conta a possibilidade das firmas terem interesses em maximizar a soma de dois ou mais produtos de forma conjunta. Isso se torna necessário, por exemplo, quando uma empresa comercializa dois produtos que competem no mesmo mercado. Com o objetivo de maximizar a receita conjunta de dois ou mais produtos, foi desenvolvido um método alternativo, baseado em Programação Não-Linar, que foi aplicado em uma cidade brasileira e em um país centro-americano. A comparação dos resultados do modelo desenvolvido com os do modelo tradicional evidencia que o modelo desenvolvido apresenta melhores resultados – soma das receitas das firmas de interesse – gerando uma taxa de crescimento na receita 3% maior, no caso brasileiro e 75% maior no estudo centro-americano. O modelo desenvolvido pode ser adaptado e utilizado em outros mercados oligopolistas ou para otimizar diferentes funções-objetivo. / The Brazilian Higher Education private market shows high levels of concentration and can be considered an oligopoly. Therefore, one can study it as a Game Theory problem. Choice Based Conjoint Analysis – a technic that can be used to approach this kind of market – can estimates the utilities of each products’ features and predict the desire of each product generated by the combination of its attributes. Such technic can simulate how the decisions of a sample of respondents would be distributed among the products of a market made of two or more competitor. These models, however, only maximize the revenues of individual products, not considering the possibility of firms wanting to maximize the sum of the revenue of two or more products. This is useful, for instance, when a company trends two or more products that compete in the same market. An alternative method, based on nonlinear programming, was developed, in order to maximize the conjoint revenue of two or more products and it was applied in a Brazilian city and in a Central American country. Comparing both models – the traditional versus the developed one –, we can see that the developed model shows better outcomes – ie, sum of both companies’ revenues – resulting in a revenue increase rate 3% higher in the Brazilian case and 75% higher in the Central American study. This model can be fitted to other oligopolistic markets or to optimize others objective functions.
216

Jogos evolucionários de reciprocidade indireta via interações opcionais / Evolutionary games of indirect reciprocity by optional interactions

Araujo, Guilherme David 26 February 2016 (has links)
Em uma perspectiva evolutiva, a emergência e a manutenção de comportamentos altruísticos e de cooperação não é de fácil entendimento. O impulso por ajudar um indivíduo desconhecido não pode significar um prejuízo na capacidade reprodutiva, o que muitas vezes parece ser o mais óbvio. Muito se tem feito no sentido de compreender os ganhos indiretos da cooperação, ou o que se espera em retorno por este comportamento. A espera por reciprocidade é um dos modos de se tornar a cooperação atraente. Os seres humanos possuem uma capacidade singular de expandir a reciprocidade para interações organizadas em que não necessariamente se recebe a retribuição de um favor, mas sim o favor de um terceiro indivíduo. Para estes sistemas, de reciprocidade indireta, são necessários elaborados processos cognitivos que sustentam uma capacidade para linguagem, julgamentos morais e organização social. Entende-se que esta forma de cooperação é um fator essencial para a evolução do intelecto e da estrutura social atuais dos seres humanos. A teoria dos jogos evolucionária é uma ferramenta matemática muito utilizada na sistematização analítica dos problemas envolvendo cooperação e processos evolutivos no geral. A capacidade reprodutiva é traduzida em termos de funções matemáticas, sendo possível realizar dinâmicas populacionais que modelam a pressão seletiva. Neste trabalho, utilizamos métodos de teoria dos jogos evolucionária para explorar modelos de reciprocidade indireta, expandindo o tratamento de um modelo para interações opcionais envolvendo estratégias de cooperadores condicionais. Mostramos que a presença de cooperadores incondicionais ameaça a estabilidade da cooperação e que erros de execução podem ser uma solução. / At an evolutionary perspective, the emergence and maintenance of altruistic and cooperative behaviours is of no easy understanding. The impulse of helping an unrelated individual cannot mean a loss of reproductive fitness, as many times may seem the obvious. Much has been done in the way of knowing the indirect benefits of cooperation, or what to expect in retribution for this behaviour. To expect reciprocity is one way of looking at cooperation as more attractive. Human beings have a singular capacity of expanding reciprocity to organized interactions where retribution of a favour is not necessary, but one can expect the favour of a third-party. For these systems, of indirect reciprocity, elaborate cognitive processes are necessary, ones that maintain the capacity for language, moral judgements and social organization. One can understand this form of cooperation as an essential factor for the evolution of humans nowadays´ intellect and social structure. Evolutionary game theory is a mathematical tool that is largely used in the analytical systematization of problems involving cooperation and evolutionary processes in general. Reproductive fitness is understood in terms of mathematical functions, making possible the work on population dynamics that model selective pressure. In this work, we use methods in evolutionary game theory to explore models of indirect reciprocity, expanding the treatment of a model for optional interactions involving conditional cooperators strategies. We show that the presence of unconditional cooperators threatens the stability of cooperation and that execution errors might be a solution.
217

Um estudo sobre o dimensionamento de redes em ambientes competitivos

Bortoletto, Rodrigo Campos January 2010 (has links)
Orientador: Hélio Waldman. / Dissertação (mestrado) - Universidade Federal do ABC. Programa de Pós-Graduação em Engenharia da Informação.
218

Teoria dos jogos com aplicações no ensino médio

Pereira, Emanoel Fabiano Menezes January 2014 (has links)
Orientador: Prof. Dr. Sinuê Dayan Barbero Lodovici / Dissertação (mestrado) - Universidade Federal do ABC, Programa de Pós-Graduação em Mestrado Profissional em Matemática em Rede Nacional - PROFMAT, 2014. / Os jogos encantam a humanidade desde os tempos mais remotos. Especialmente, os jogos abstratos (ou matemáticos) atraíram a atenção de matemáticos ilustres como Bernoulli, dentre tantos. E esta atração deu origem a novas áreas da matemática, em destaque, surgiu também a Teoria dos Jogos. Esta teoria trás a beleza de transformar interações humanas em jogos, modelando fenômenos que podem ser observados quando dois ou mais "agentes de decisão" interagem entre si com conflitos e/ou cooperação. O estudo da Teoria dos Jogos utiliza recursos da modelagem matemática equacionando diferentes situações de diferentes campos de estudo e é esta característica interdisciplinar que inspirou este trabalho. A Teoria dos Jogos vem sendo utilizada em várias áreas, como economia, biologia, sociologia, etc. Neste trabalho pretende-se passar as noções básicas da Teoria dos Jogos para professores do ensino básico como uma possível ferramenta para fomentar entre os educandos o interesse pela matemática aplicada além deles serem beneficiados pelo desenvolvimento do pensamento estratégico, da atenção, raciocínio lógico, planejamento de ação e sequenciamento, habilidades muito úteis na competência de resolver problemas. Almeja-se que aconteça a construção do conhecimento dos alunos de uma forma mais atraente / The games enchanted mankind since ancient times. Especially, abstract games (or mathematical) attracted the attention of illustrious mathematicians like Bernoulli, among many. And this attraction gave rise to new areas of mathematics, highlighted, also appeared to Game Theory. The theory behind the beauty of transforming human interactions in games, modeling phenomena that can be observed when two or more "decision-makers" interact with conflict and / or cooperation. The study of Game¿s Theory uses mathematical modeling resources equating different situations of different fields of study and this interdisciplinary characteristic that inspired this work. The Game¿s Theory has been used in various areas, such as economics, biology, sociology, etc. This paper intends spending the basics of Game¿s Theory to elementary school teachers as a possible tool to foster among the students, the interest in applied mathematics and these be benefited by the development of strategic thinking, attention, logical reasoning, planning action and sequencing, very useful skills in problemsolving competence. It¿s desire to happen the construction of students¿ knowledge in a more attractive way.
219

[en] ANALYSIS OF STRATEGIES USING MODEL CHECKING / [pt] ANÁLISE DE ESTRATÉGIAS UTILIZANDO VERIFICAÇÃO FORMAL DE MODELOS

DAVI ROMERO DE VASCONCELOS 29 December 2003 (has links)
[pt] Em métodos formais, uma das abordagens que vem obtendo sucesso nos últimos anos é a de verificação formal. Dentro desta, vem se destacando uma técnica chamada de verificação de modelos (model checking), na qual se verifica automaticamente a validade de propriedades em sistemas acerca do funcionamento de um sistema. Atualmente, a verificação de modelos é muito empregada em informática na verficação formal de software e hardware, mas tem sido utilizada em outra áreas, como em matemática e em economia. Esta dissertação visa aplicar verificação de modelos a problemas de economia. O tema da pesquisa seria delimitado à Teoria dos Jogos. Algumas inadequações foram observadas, fazendo-se necessário algumas novas definições: uma definição de qualitativa que se utiliza de uma linguagem lógica denominada de Game Analysis Logic (GAL); uma linguagem para descrever jogo denominada de RollGame (Romero - All Game); uma tradução de RollGame na linguagem de especificação de modelos; uma tradução da definição de jogo em estrutura de Kripke. Observou-se ainda que com a utilização de model checking em jogos consegue- se analisar estratégias de jogadores. Uma ferramenta para automatizar a tradução de RollGame em model checking foi desenvolvida, chamada de StratAn-RollGame (Strategy Analyzed using RollGame). Assim, a presente dissertação demonstrou que de fato é possível utilizar verificação de modelos em outras areas. / [en] In formal methods, one of the approaches that have been successful lately is Model Checking, which consists in a technique to achieve automatic verification about a system behavior. Nowadays, the model checking is very frequently employed in computer science to formal verification of software and hardware, but it is not used in other knowledge fields, such as mathematics and economics. The purpose of this research is to apply model checking in economics problems, using Game Theory. Some inadequacies have been observed. Therefore, it is necessary to create new definitions: a generic and qualitative definition of game that uses one logic language called Game Analysis Logic (GAL); a new language to describe game called RollGame (Romero + All Game); a translation from RollGame to a language of model specification; a translation from game definition to Kripke structure. It is also been observed that the use of model checking makes it possible to analyze players strategies. One tool, called StratAn-RollGame (Strategy Analyzed using RollGame), makes the translation from RollGame to model Checking automatic. Thus, the present research has demonstrated that is possible indeed to use model checking in other knowledge fields.
220

Procedimento para análise de decisão quanto à prevenção de doenças em animais: uma aplicacão da Teoria dos Jogos / Procedure for decision analysis on prevention against animal diseases: an application of Game Theory

Silveira, Luciana Torrezan 11 April 2008 (has links)
A hipótese básica do presente trabalho é que embora a ocorrência de uma determinada doença possa apresentar impactos econômicos expressivos para a pecuária de um país - onerando não apenas a atividade produtiva - alguns produtores não reconhecem, individualmente, a importância devida em adotar medidas preventivas, uma vez que a ocorrência da doença não é frequente. Ademais, a existência de externalidades faz com que a ação de um produtor em relação às medidas sanitárias de seu rebanho afete os demais produtores da mesma região, o que também pode não ser percebido por eles. Diante disso, o presente trabalho desenvolve um procedimento teórico para a análise de decisões estratégicas dos produtores quanto à prevenção contra doenças em animais, face ao risco de contaminação de seu rebanho. O desenvolvimento do modelo é baseado nos preceitos da Teoria dos Jogos, e na análise econômica de benefício/custo como suporte da tomada de decisão do produtor. Depois de modelado o problema e determinados os possíveis equilíbrios do jogo, infere-se sobre as possíveis atuações do governo, no uso de incentivos econômicos (como indenizações e multas) para que o equilíbrio seja o da prevenção. Em seguida, o modelo teórico é aplicado a um caso específico de surto de febre aftosa no Brasil. Os resultados mostram que quando não se tem um mercado diferenciado para animal não vacinado, o equilíbrio do jogo tende para a situação onde os produtores decidem vacinar seu rebanho, sugerindo que não existe a necessidade de intervenção do governo para estimular a prevenção. Na prática, no entanto, o governo brasileiro estabelece políticas de incentivo, visto que alguns produtores não vacinam seu rebanho mesmo conhecendo os riscos, o que se traduz na falta de racionalidade dos mesmos. Considerando essa irracionalidade por parte de alguns produtores, o presente estudo é importante para que estes possam delinear panoramas de decisão, de forma a identificar as melhores ações a serem tomadas de forma coletiva. / The basic hypothesis of this study is that producers do not perceive, individually, the importance of adopting prevention measures, even when aware of the economic risks for them and for the local economy, because the outbreaks of some diseases are not frequent. Moreover, the presence of externalities is such that the action of one producer regarding sanitary measures of the herd affects other producers in the same region, which also cannot be perceived by them. This study aims to develop a theoretical procedure to infer about strategic decisions taken by producers to prevent animal disease in their herds, in face of the risk of contamination. The development of the model is based on the Game Theory, and the benefit cost analysis as support for producer\'s decision. After modeling the problem and determining the equilibriums, these are used to elaborate inferences about possible actions of the government through economic incentives (such as indemnities and fines) to encourage the prevention. Then, the theoretical model is applied to a specific case of a foot-and-mouth disease (FMD) outbreak in Brazil. The results indicate that in the absence of a differential market for non-vaccinated animals, the game equilibrium tends to the situation where producer\'s decisions are to vaccinate their herd, suggesting that government intervention is not necessary. Even though, the Brazilian government uses incentive policies for the cattle vaccination since some producers do not vaccinate their animals, despite of their awareness of the risks, which suggests lack of rationality. Considering the irrationality of some producers, this study is important for them to delineate decisions scenes, identifying the best actions to be taken in the collective context.

Page generated in 0.0744 seconds