Share record |
|
Please use this identifier to cite or link to this item:
https://tede2.pucrs.br/tede2/handle/tede/5014
Document type: | Dissertação |
Title: | 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 |
Author: | Scolari, Ana Paula Salengue |
Advisor: | Fernandes, Paulo Henrique Lemelle |
Abstract (native): | 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. |
Keywords: | INFORMÁTICA MODELAGEM DE SISTEMAS AVALIAÇÃO DE DESEMPENHO (INFORMÁTICA) REDES DE AUTÔMATOS ESTOCÁSTICOS REDES DE PETRI ALGORITMOS |
CNPQ Knowledge Areas: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
Language: | por |
Country: | BR |
Publisher: | Pontifícia Universidade Católica do Rio Grande do Sul |
Institution Acronym: | PUCRS |
Department: | Faculdade de Informáca |
Program: | Programa de Pós-Graduação em Ciência da Computação |
Access type: | Acesso Aberto |
URI: | http://tede2.pucrs.br/tede2/handle/tede/5014 |
Issue Date: | 31-Mar-2006 |
Appears in Collections: | Programa de Pós-Graduação em Ciência da Computação |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
400013.pdf | Texto Completo | 1.76 MB | Adobe PDF | Download/Open Preview |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.