Por favor, use este identificador para citar o enlazar este ítem:
http://hdl.handle.net/11422/1512
Especie: | 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 |
Resumen: | 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. |
Resumen: | 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. |
Materia: | Processos de Markov Prolog |
Materia CNPq: | CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
Unidade de producción: | Instituto Tércio Pacitti de Aplicações e Pesquisas Computacionais |
Es parte de: | Relatório Técnico NCE |
Número: | 1190 |
Fecha de publicación: | 30-abr-1990 |
País de edición : | Brasil |
Idioma de publicación: | por |
Tipo de acceso : | Acesso Aberto |
Citación : | 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 en las colecciones: | Relatórios |
Ficheros en este ítem:
Fichero | Descripción | Tamaño | Formato | |
---|---|---|---|---|
11_90_000040378.pdf | 1.27 MB | Adobe PDF | Visualizar/Abrir |
Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.