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.advisor1Zambon, Eduardo
dc.contributor.authorRamos, Alexandro Souza
dc.contributor.referee1Boeres, Maria Claudia Silva
dc.contributor.referee2Resendo, Leandro Colombi
dc.date.accessioned2018-08-02T00:03:43Z
dc.date.available2018-08-01
dc.date.available2018-08-02T00:03:43Z
dc.date.issued2016-09-16
dc.description.abstractabstracteng
dc.description.resumoO 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.
dc.formatText
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.
dc.identifier.urihttp://repositorio.ufes.br/handle/10/9819
dc.languagepor
dc.publisherUniversidade Federal do Espírito Santo
dc.publisher.countryBR
dc.publisher.courseMestrado em Informática
dc.publisher.departmentCentro Tecnológico
dc.publisher.initialsUFES
dc.publisher.programPrograma de Pós-Graduação em Informática
dc.rightsopen access
dc.subject.br-rjbnTeoria dos grafos
dc.subject.br-rjbnAlgoritmos
dc.subject.br-rjbnFerramentas de busca
dc.subject.cnpqCiência da Computação
dc.subject.udc004
dc.titleUm estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos
dc.typemasterThesis
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
Mestrado em Informática