| Compartilhe o registro |
|
Exportar este item:
Use este identificador para citar ou linkar para este item:
https://tede2.pucrs.br/tede2/handle/tede/5014| Tipo do documento: | Dissertação |
| Título: | 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 |
| Autor: | Scolari, Ana Paula Salengue  |
| Primeiro orientador: | Fernandes, Paulo Henrique Lemelle |
| Resumo: | 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. |
| Palavras-chave: | INFORMÁTICA MODELAGEM DE SISTEMAS AVALIAÇÃO DE DESEMPENHO (INFORMÁTICA) REDES DE AUTÔMATOS ESTOCÁSTICOS REDES DE PETRI ALGORITMOS |
| Área(s) do CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
| Idioma: | por |
| País: | BR |
| Instituição: | Pontifícia Universidade Católica do Rio Grande do Sul |
| Sigla da instituição: | PUCRS |
| Departamento: | Faculdade de Informáca |
| Programa: | Programa de Pós-Graduação em Ciência da Computação |
| Tipo de acesso: | Acesso Aberto |
| URI: | http://tede2.pucrs.br/tede2/handle/tede/5014 |
| Data de defesa: | 31-Mar-2006 |
| Aparece nas coleções: | Programa de Pós-Graduação em Ciência da Computação |
Arquivos associados a este item:
| Arquivo | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| 400013.pdf | Texto Completo | 1,76 MB | Adobe PDF |  Baixar/Abrir Pré-Visualizar |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.