Use este identificador para citar ou linkar para este item:
http://hdl.handle.net/11422/1512
Tipo: | Relatório |
Título: | Uma ferramenta para especificação e geração de modelos markovianos |
Autor(es)/Inventor(es): | Diniz, Morganna Carmem Silva, Edmundo Albuquerque de Souza e |
Resumo: | Modelos Markovianos têm sido muito usados na análise de sistemas de computação/comunicação. Neste trabalho descrevemos uma ferramenta implementada em Prolog para a especificação de modelos de computação/comunicação a nível de sistemas e a geração da cadeia de Markov associada. Exemplos na área de protocolos de comunicação a nível de comunicação são apresentados para ilustrar a flexibilidade da ferramenta. |
Resumo: | Markov models have been widelly used in the analysis of computer/communication systems. I this work we describe a tool based on Prolog to specify computer/communication models at the system level and to generate corresponding Markov chain. Exemples in th area of communication protocols are presented to illustrate the flexibility of the toll. |
Palavras-chave: | Processos de Markov Prolog |
Assunto CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
Unidade produtora: | Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais |
In: | Relatório Técnico NCE |
Número: | 1190 |
Data de publicação: | 30-Abr-1990 |
País de publicação: | Brasil |
Idioma da publicação: | por |
Tipo de acesso: | Acesso Aberto |
Citação: | DINIZ, M. C.; SILVA, E. A. S. Uma ferramenta para especificação e geração de modelos markovianos. Rio de Janeiro: NCE, UFRJ, 1990. 22 p. (Relatório Técnico, 11/90) |
Aparece nas coleções: | Relatórios |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
11_90_000040378.pdf | 1.27 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.