Use este identificador para citar ou linkar para este item:
http://repositorio.ufes.br/handle/10/9819| Título: | Um estudo experimental de busca guiada na exploração do espaço de estados de gramáticas de grafos |
| Autor(es): | Ramos, Alexandro Souza |
| Orientador: | Zambon, Eduardo |
| Data do documento: | 16-Set-2016 |
| Editor: | Universidade Federal do Espírito Santo |
| Resumo: | O 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. |
| URI: | http://repositorio.ufes.br/handle/10/9819 |
| Aparece nas coleções: | PPGI - Dissertações de mestrado |
Arquivos associados a este item:
| Arquivo | Tamanho | Formato | |
|---|---|---|---|
| tese_10153_Ata de Defesa.pdf | 565.06 kB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.