Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos

Detalhes bibliográficos
Autor(a) principal: Ramos, Alexandro Souza
Data de Publicação: 2016
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
Texto Completo: http://repositorio.ufes.br/handle/10/9819
Resumo: abstract
id UFES_e5983898a4fcb1d5871135162cc9d38c
oai_identifier_str oai:repositorio.ufes.br:10/9819
network_acronym_str UFES
network_name_str Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
repository_id_str 2108
spelling Zambon, EduardoRamos, Alexandro SouzaBoeres, Maria Claudia SilvaResendo, Leandro Colombi2018-08-02T00:03:43Z2018-08-012018-08-02T00:03:43Z2016-09-16abstractO GROOVE é uma ferramenta de transformação de grafos utilizada para criar e verificar modelos baseados em grafos. Para tal verificação, é realizada a exploração exaustiva do espaço de estados onde todos os possíveis estados relativos a um modelo são gerados. Contudo, existem importantes classes de sistemas que geram um espaço de estados muito grande ou até mesmo infinito, inviabilizando o uso da exploração exaustiva. Neste trabalho, é proposto um algoritmo de busca guiada que utiliza uma métrica dedistância entre grafos para tomar decisões ao caminhar na busca pelo estado objetivo. Os experimentos mostram que a busca guiada é bem eficiente quando comparado com a exploração exaustiva, permitindo a redução de quase 95% no número de estados explorados.TextRAMOS, Alexandro Souza. Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2016.http://repositorio.ufes.br/handle/10/9819porUniversidade Federal do Espírito SantoMestrado em InformáticaPrograma de Pós-Graduação em InformáticaUFESBRCentro TecnológicoTeoria dos grafosAlgoritmosFerramentas de buscaCiência da Computação004Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafosinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)instname:Universidade Federal do Espírito Santo (UFES)instacron:UFESORIGINALAta de Defesa.pdfapplication/pdf578624http://repositorio.ufes.br/bitstreams/67ee2fd9-0287-416a-883a-d10e8968c2f7/download39238ca4fbe94b75bd6a39b7b15f70eaMD5110/98192024-06-28 16:11:33.177oai:repositorio.ufes.br:10/9819http://repositorio.ufes.brRepositório InstitucionalPUBhttp://repositorio.ufes.br/oai/requestopendoar:21082024-06-28T16:11:33Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) - Universidade Federal do Espírito Santo (UFES)false
dc.title.none.fl_str_mv Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
title Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
spellingShingle Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
Ramos, Alexandro Souza
Ciência da Computação
Teoria dos grafos
Algoritmos
Ferramentas de busca
004
title_short Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
title_full Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
title_fullStr Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
title_full_unstemmed Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
title_sort Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
author Ramos, Alexandro Souza
author_facet Ramos, Alexandro Souza
author_role author
dc.contributor.advisor1.fl_str_mv Zambon, Eduardo
dc.contributor.author.fl_str_mv Ramos, Alexandro Souza
dc.contributor.referee1.fl_str_mv Boeres, Maria Claudia Silva
dc.contributor.referee2.fl_str_mv Resendo, Leandro Colombi
contributor_str_mv Zambon, Eduardo
Boeres, Maria Claudia Silva
Resendo, Leandro Colombi
dc.subject.cnpq.fl_str_mv Ciência da Computação
topic Ciência da Computação
Teoria dos grafos
Algoritmos
Ferramentas de busca
004
dc.subject.br-rjbn.none.fl_str_mv Teoria dos grafos
Algoritmos
Ferramentas de busca
dc.subject.udc.none.fl_str_mv 004
description abstract
publishDate 2016
dc.date.issued.fl_str_mv 2016-09-16
dc.date.accessioned.fl_str_mv 2018-08-02T00:03:43Z
dc.date.available.fl_str_mv 2018-08-01
2018-08-02T00:03:43Z
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.citation.fl_str_mv RAMOS, Alexandro Souza. Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2016.
dc.identifier.uri.fl_str_mv http://repositorio.ufes.br/handle/10/9819
identifier_str_mv RAMOS, Alexandro Souza. Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos. 2016. Dissertação (Mestrado em Informática) - Universidade Federal do Espírito Santo, Centro Tecnológico, Vitória, 2016.
url http://repositorio.ufes.br/handle/10/9819
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 Text
dc.publisher.none.fl_str_mv Universidade Federal do Espírito Santo
Mestrado em Informática
dc.publisher.program.fl_str_mv Programa de Pós-Graduação em Informática
dc.publisher.initials.fl_str_mv UFES
dc.publisher.country.fl_str_mv BR
dc.publisher.department.fl_str_mv Centro Tecnológico
publisher.none.fl_str_mv Universidade Federal do Espírito Santo
Mestrado em Informática
dc.source.none.fl_str_mv reponame:Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
instname:Universidade Federal do Espírito Santo (UFES)
instacron:UFES
instname_str Universidade Federal do Espírito Santo (UFES)
instacron_str UFES
institution UFES
reponame_str Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
collection Repositório Institucional da Universidade Federal do Espírito Santo (riUfes)
bitstream.url.fl_str_mv http://repositorio.ufes.br/bitstreams/67ee2fd9-0287-416a-883a-d10e8968c2f7/download
bitstream.checksum.fl_str_mv 39238ca4fbe94b75bd6a39b7b15f70ea
bitstream.checksumAlgorithm.fl_str_mv MD5
repository.name.fl_str_mv Repositório Institucional da Universidade Federal do Espírito Santo (riUfes) - Universidade Federal do Espírito Santo (UFES)
repository.mail.fl_str_mv
_version_ 1804309155746414592

Registros relacionados