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

Página do item simplificado
dc.contributor.advisorZambon, Eduardo
dc.contributor.refereeBoeres, Maria Claudia Silva
dc.contributor.refereeResendo, Leandro Colombi
dc.date.accessioned2018-08-02T00:03:43Z
dc.date.available2018-08-01
dc.date.available2018-08-02T00:03:43Z
dc.identifier.citationRAMOS, 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.por
dc.identifier.urihttp://repositorio.ufes.br/handle/10/9819
dc.publisherUniversidade Federal do Espírito Santopor
dc.publisher.countryBRpor
dc.publisher.courseMestrado em Informáticapor
dc.publisher.initialsUFESpor
dc.publisher.programPrograma de Pós-Graduação em Informáticapor
dc.subject.br-rjbnTeoria dos grafospor
dc.subject.br-rjbnAlgoritmospor
dc.subject.br-rjbnFerramentas de buscapor
dc.subject.cnpqCiência da Computaçãopor
dc.subject.udc004
dc.titleUm estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafospor
dc.typemasterThesisen
dcterms.abstractO 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.por
dcterms.creatorRamos, Alexandro Souza
dcterms.formatTexten
dcterms.issued2016-09-16
dcterms.languageporen
Arquivos
Pacote Original
Agora exibindo 1 - 1 de 1
Imagem de Miniatura
Nome:
Ata de Defesa.pdf
Tamanho:
565.06 KB
Formato:
Adobe Portable Document Format
Descrição:
Baixar
Coleções
PPGI - Dissertações de mestrado