Uma ferramenta para especificação e geração de modelos markovianos

Please use this identifier to cite or link to this item:


			http://hdl.handle.net/11422/1512

Type:	Relatório
Title:	Uma ferramenta para especificação e geração de modelos markovianos
Author(s)/Inventor(s):	Diniz, Morganna Carmem Silva, Edmundo Albuquerque de Souza e
Abstract:	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.
Abstract:	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.
Keywords:	Processos de Markov Prolog
Subject CNPq:	CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO
Production unit:	Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais
In:	Relatório Técnico NCE
Issue:	1190
Issue Date:	30-Apr-1990
Publisher country:	Brasil
Language:	por
Right access:	Acesso Aberto
Citation:	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)
Appears in Collections:	Relatórios

Files in This Item:

File	Description	Size	Format
11_90_000040378.pdf		1.27 MB	Adobe PDF	View/Open

Pantheon Institutional repository