Definição e especificação formal do jogo diferencial Lobos e Cordeiro
Ano de defesa: | 2005 |
---|---|
Autor(a) principal: | |
Orientador(a): | |
Banca de defesa: | |
Tipo de documento: | Dissertação |
Tipo de acesso: | Acesso aberto |
Idioma: | por |
Instituição de defesa: |
Não Informado pela instituição
|
Programa de Pós-Graduação: |
Não Informado pela instituição
|
Departamento: |
Não Informado pela instituição
|
País: |
Não Informado pela instituição
|
Palavras-chave em Português: | |
Palavras-chave em Inglês: | |
Link de acesso: | http://hdl.handle.net/10183/10546 |
Resumo: | 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. |
id |
URGS_1191dc9da5b52a232a1e1fb970825c02 |
---|---|
oai_identifier_str |
oai:www.lume.ufrgs.br:10183/10546 |
network_acronym_str |
URGS |
network_name_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
repository_id_str |
|
spelling |
Sulzbach, Sirlei InesToscani, Laira VieiraRibeiro, Leila2007-08-29T05:10:03Z2005http://hdl.handle.net/10183/10546000543246No 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.application/pdfporTeoria da computaçãoTeoria : JogosRedes : PetriEspecificacao formalGame theoryDifferential gamesPetri netsFormal specificationDefinição e especificação formal do jogo diferencial Lobos e CordeiroDefinition and formal specification of the differential game wolfs and lamb info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPrograma de Pós-Graduação em ComputaçãoPorto Alegre, BR-RS2005mestradoinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSORIGINAL000543246.pdf000543246.pdfTexto completoapplication/pdf1207438http://www.lume.ufrgs.br/bitstream/10183/10546/1/000543246.pdf85ba6555525c56dfac6cd55861dad3c3MD51TEXT000543246.pdf.txt000543246.pdf.txtExtracted Texttext/plain172071http://www.lume.ufrgs.br/bitstream/10183/10546/2/000543246.pdf.txtfb18ba59c916a81cc971936482cb728bMD52THUMBNAIL000543246.pdf.jpg000543246.pdf.jpgGenerated Thumbnailimage/jpeg1148http://www.lume.ufrgs.br/bitstream/10183/10546/3/000543246.pdf.jpg6227fa656847c911d1a0b73e1b63a204MD5310183/105462018-10-17 08:32:14.049oai:www.lume.ufrgs.br:10183/10546Biblioteca Digital de Teses e Dissertaçõeshttps://lume.ufrgs.br/handle/10183/2PUBhttps://lume.ufrgs.br/oai/requestlume@ufrgs.br||lume@ufrgs.bropendoar:18532018-10-17T11:32:14Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false |
dc.title.pt_BR.fl_str_mv |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
dc.title.alternative.en.fl_str_mv |
Definition and formal specification of the differential game wolfs and lamb |
title |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
spellingShingle |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro Sulzbach, Sirlei Ines Teoria da computação Teoria : Jogos Redes : Petri Especificacao formal Game theory Differential games Petri nets Formal specification |
title_short |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
title_full |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
title_fullStr |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
title_full_unstemmed |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
title_sort |
Definição e especificação formal do jogo diferencial Lobos e Cordeiro |
author |
Sulzbach, Sirlei Ines |
author_facet |
Sulzbach, Sirlei Ines |
author_role |
author |
dc.contributor.author.fl_str_mv |
Sulzbach, Sirlei Ines |
dc.contributor.advisor1.fl_str_mv |
Toscani, Laira Vieira |
dc.contributor.advisor-co1.fl_str_mv |
Ribeiro, Leila |
contributor_str_mv |
Toscani, Laira Vieira Ribeiro, Leila |
dc.subject.por.fl_str_mv |
Teoria da computação Teoria : Jogos Redes : Petri Especificacao formal |
topic |
Teoria da computação Teoria : Jogos Redes : Petri Especificacao formal Game theory Differential games Petri nets Formal specification |
dc.subject.eng.fl_str_mv |
Game theory Differential games Petri nets Formal specification |
description |
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. |
publishDate |
2005 |
dc.date.issued.fl_str_mv |
2005 |
dc.date.accessioned.fl_str_mv |
2007-08-29T05:10:03Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://hdl.handle.net/10183/10546 |
dc.identifier.nrb.pt_BR.fl_str_mv |
000543246 |
url |
http://hdl.handle.net/10183/10546 |
identifier_str_mv |
000543246 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
info:eu-repo/semantics/openAccess |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.source.none.fl_str_mv |
reponame:Biblioteca Digital de Teses e Dissertações da UFRGS instname:Universidade Federal do Rio Grande do Sul (UFRGS) instacron:UFRGS |
instname_str |
Universidade Federal do Rio Grande do Sul (UFRGS) |
instacron_str |
UFRGS |
institution |
UFRGS |
reponame_str |
Biblioteca Digital de Teses e Dissertações da UFRGS |
collection |
Biblioteca Digital de Teses e Dissertações da UFRGS |
bitstream.url.fl_str_mv |
http://www.lume.ufrgs.br/bitstream/10183/10546/1/000543246.pdf http://www.lume.ufrgs.br/bitstream/10183/10546/2/000543246.pdf.txt http://www.lume.ufrgs.br/bitstream/10183/10546/3/000543246.pdf.jpg |
bitstream.checksum.fl_str_mv |
85ba6555525c56dfac6cd55861dad3c3 fb18ba59c916a81cc971936482cb728b 6227fa656847c911d1a0b73e1b63a204 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 |
repository.name.fl_str_mv |
Biblioteca Digital de Teses e Dissertações da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS) |
repository.mail.fl_str_mv |
lume@ufrgs.br||lume@ufrgs.br |
_version_ |
1810088713195094016 |