Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores

• Ano de defesa: 2011
• Autor(a) principal: Silva, Alberto Sales e
• Orientador(a): Fernandes, Paulo Henrique Lemelle
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Pontifícia Universidade Católica do Rio Grande do Sul
• Programa de Pós-Graduação: Programa de Pós-Graduação em Ciência da Computação
• Departamento: Faculdade de Informáca
• País: BR
• Palavras-chave em Português: INFORMÁTICA; SIMULAÇÃO E MODELAGEM EM COMPUTADORES; REDES DE AUTÔMATOS ESTOCÁSTICOS
• Área do conhecimento CNPq: CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
• Link de acesso: http://tede2.pucrs.br/tede2/handle/tede/5154

This study aims to develop a tool to visually simulate Stochastic Automata Networks (SAN). The SAN formalism uses the PEPS tool for numerical solution, evaluating unexpected behaviors. These numerical solutions are the core for structured formalisms since they provide numerical results based on mathematical relationships. It is very interesting to complement the numerical solution with visual simulations because it adds more detailed information about models, making them more understandable for broader audiences of researchers and general users. The present dissertation describes a tool for modeling and visual simulation of SAN models, since its internal structure defines a compact storage schema (a Descriptor) for the transition matrix representing the underlying Markov Chain and uses tensor algebra to deal with the vector-descriptor multiplication. The proposed tool will allow both academic users and enthusiasts of the SAN formalism to manipulate models abstracting a deeper knowledge of this structured formalism.