Made available in DSpace on 2015-04-14T14:49:41Z (GMT). No. of bitstreams: 1
436196.pdf: 3266895 bytes, checksum: af63490ff68d65f3eb3aa355bb1c1e97 (MD5)
Previous issue date: 2011-03-21 / 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. / O objetivo deste trabalho ? fornecer uma ferramenta para simula??o visual de SAN. O formalismo SAN, atrav?s da ferramenta PEPS, utiliza solu??es num?ricas para calcular erros de avalia??es condicionais ou comportamento n?o esperado de sistemas modelados atrav?s deste formalismo. Estas solu??es num?ricas s?o a base para os formalismos estruturados na medida em que fornecem resultados num?ricos por meio de rela??es matem?ticas. Complementar a efici?ncia de solu??es num?ricas com a simula??o visual ? bastante interessante, pois adiciona informa??es mais detalhadas sobre o modelo o que facilita que usu?rios acad?micos iniciantes ou pesquisadores tenham um maior entendimento da aplicabilidade do formalismo estruturado. Esta disserta??o descreve uma ferramenta para modelagem e simula??o visual de SAN que em sua estrutura define um esquema de armazenamento compacto para a matriz de transi??o da cadeia de Markov e usa a ?lgebra tensorial para lidar com as multiplica??es de vetores de base da matriz. Esta ferramenta permitir? aos usu?rios acad?micos ou entusiastas do formalismo SAN manipular modelos sem a preocupa??o de um dom?nio profundo dos conceitos deste formalismo estruturado.
| Identifer | oai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/5154 |
| Date | 21 March 2011 |
| Creators | Silva, Alberto Sales e |
| Contributors | Fernandes, Paulo Henrique Lemelle |
| Publisher | Pontif?cia Universidade Cat?lica do Rio Grande do Sul, Programa de P?s-Gradua??o em Ci?ncia da Computa??o, PUCRS, BR, Faculdade de Inform?ca |
| Source Sets | IBICT Brazilian ETDs |
| Language | Portuguese |
| Detected Language | Portuguese |
| Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
| Format | application/pdf |
| Source | reponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS |
| Rights | info:eu-repo/semantics/openAccess |
| Relation | 1974996533081274470, 500, 600, 1946639708616176246 |
Page generated in 0.0019 seconds