BCC tem primeiro Mestre em Computação egresso do curso
Em 11/09/14 18:39.
Atualizada em 12/09/14 10:52.
André Bevilaqua foi aluno da primeira turma do curso
O egresso do curso de Ciências da Computação, André Bevilaqua, é o primeiro egresso do curso a concluir o curso de Mestrado e obter o título de Mestre em Ciências da Computação. O egresso, que agora também é docente na Universidade Luterana do Brasil em Itumbiara-GO, defendeu em banca pública seu mestrado no final do primeiro semestre de 2014. André é egresso da primeira turma (2011). Outros egressos do curso também ingressaram em programas de mestrado. Atualmente, são mais de 15 em programas de mestrado.
Abaixo, os dados do trabalho desenvolvido pelo egresso André Bevilaqua:
Título: REDUÇÃO AUTOMATIZADA DE REDES DE PETRI BASEADA EM ALGORITMOS GENÉTICOS
Orientador: Edilson Reis Rodrigues Kato
IES: Universidade Federal de São Carlos - São Carlos-SP
Resumo:
Rede de Petri (RP) é uma ferramenta de modelagem com rigor matemático usada para especificar e formalizar sistemas e suas características. Modelos de RP podem ser avaliados quanto à seu comportamento dinâmico e suas propriedades estruturais. Diversos tipos de modelos podem ser especificados usando RP’s, por exemplo, modelos de Sistemas de Manufatura. De maneira geral, modelos de sistemas complexos sofrem do problema da grande profusão de elementos. Esse problema é um limitante para diversas metodologias de verificação de propriedades e simulação de comportamento dinâmico dos modelos. Frequentemente metodologias baseadas em regras de redução são propostas para superar o problema da grande profusão de elementos. O presente trabalho apresenta uma ferramenta para automatizar a aplicação de regras de redução em modelos de RP. Um conjunto de regras foi selecionado para montar uma base de regras de redução e uma heurística baseada em algoritmos genéticos foi criada para aplicar reduções em modelos de RP Lugar-Transição. Os resultados obtidos mostraram que a ferramenta proposta, apresentada como uma toolbox do Matlab, pode ser utilizada para auxiliar no processo de análise, simulação e verificação de propriedades de sistemas modelados por meio de RP’s.
Fonte: Coordenação do curso