Return to search

Utiliza??o de diagramas de decis?o multi-valorada para representa??o do espa?o de estados ating?vel em redes de aut?matos estoc?sticos

Made available in DSpace on 2015-04-14T14:48:58Z (GMT). No. of bitstreams: 1
400013.pdf: 1799901 bytes, checksum: 8f9035ff6f9f2bcba55f62be7f4e0d52 (MD5)
Previous issue date: 2006-03-31 / Formalismos de modelagem s?o linguagens capazes de descrever sistemas de forma n?o amb?g?a, permitindo a sua avalia??o quantitativa. Os formalismos conhecidos como estruturados permitem a representa??o sistem?tica de modelos grandes e complexos. Entretanto, na pr?tica, a modelagem de sistemas de tal porte pode apresentar o problema de explos?o do espa?o de estados. Em geral, a modelagem de sistemas atrav?s de formalismos estruturados, com espa?o de estados discreto, resulta em um grande n?mero de estados inating?veis. A gera??o e armazenamento dos estados n?o ating?veis ? um ?nus n?o desejado ao processo de modelagem. Este trabalho apresenta um algoritmo capaz de gerar e armazenar somente o espa?o de estados ating?vel (RSS) para o formalismo de Redes de Aut?matos Estoc?sticos (SAN) utilizando Diagramas de Decis?o Multi-Valorada (MDD). A id?ia principal ? apresentar uma primeira vers?o desse algoritmo, a m de comprovar a sua viabilidade para o formalismo SAN.

Identiferoai:union.ndltd.org:IBICT/oai:tede2.pucrs.br:tede/5014
Date31 March 2006
CreatorsScolari, Ana Paula Salengue
ContributorsFernandes, Paulo Henrique Lemelle
PublisherPontif?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 SetsIBICT Brazilian ETDs
LanguagePortuguese
Detected LanguagePortuguese
Typeinfo:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis
Formatapplication/pdf
Sourcereponame:Biblioteca Digital de Teses e Dissertações da PUC_RS, instname:Pontifícia Universidade Católica do Rio Grande do Sul, instacron:PUC_RS
Rightsinfo:eu-repo/semantics/openAccess
Relation1974996533081274470, 500, 600, 1946639708616176246

Page generated in 0.0022 seconds