Use este identificador para citar ou linkar para este item: http://repositorio.ufes.br/handle/10/9819
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisorZambon, Eduardo-
dc.date.accessioned2018-08-02T00:03:43Z-
dc.date.available2018-08-01-
dc.date.available2018-08-02T00:03:43Z-
dc.identifier.urihttp://repositorio.ufes.br/handle/10/9819-
dc.publisherUniversidade Federal do Espírito Santopor
dc.titleUm estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafospor
dc.typemasterThesiseng
dc.subject.udc004-
dc.subject.br-rjbnTeoria dos grafospor
dc.subject.br-rjbnAlgoritmospor
dc.subject.br-rjbnFerramentas de buscapor
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.formatTexteng
dcterms.issued2016-09-16-
dcterms.languageporpor
dc.publisher.countryBRpor
dc.publisher.programPrograma de Pós-Graduação em Informáticapor
dc.publisher.initialsUFESpor
dc.subject.cnpqCiência da Computação-
dc.publisher.courseMestrado em Informáticapor
dc.contributor.refereeBoeres, Maria Claudia Silva-
dc.contributor.refereeResendo, Leandro Colombi-
Aparece nas coleções:PPGI - Dissertações de mestrado

Arquivos associados a este item:
Arquivo TamanhoFormato 
tese_10153_Ata de Defesa.pdf565.06 kBAdobe PDFVisualizar/Abrir


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.