Redes De Automatos Estocasticos
Mostrando 1-12 de 13 artigos, teses e dissertações.
-
1. Stochastic modeling of global software development teams
Avaliação de desempenho de projetos é um aspecto importante em desenvolvimento de software Distribuído. Empresas e instituições podem obter benefícios através da utilização de análise de performance em times trabalhando em diferentes locais. Este trabalho tem como objetivo apresentar uma definição de modelagem estocástica para projetos Follow-T
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 31/08/2012
-
2. Software como serviço : um framework para fornecer ferramentas de simulação analítica
Atualmente, existe uma crescente demanda por se disponibilizar, através da Internet, software na forma de serviços. Este novo modelo de negócio é denominado de Software como Serviço, aonde aplicações não são mais vendidas como um produto, mas sim cedidas na forma de um serviço e utilizados por clientes, que pagam apenas de acordo com a utilização
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2012
-
3. Ferramenta para simulação visual de redes de autômatos estocásticos através do cálculo de estados sucessores e predecessores
O objetivo deste trabalho é fornecer uma ferramenta para simulação visual de SAN. O formalismo SAN, através da ferramenta PEPS, utiliza soluções numéricas para calcular erros de avaliações condicionais ou comportamento não esperado de sistemas modelados através deste formalismo. Estas soluções numéricas são a base para os formalismos estrutura
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/03/2011
-
4. Proposta de uma representação tensorial para modelos markovianos ocultos
O propósito desta dissertação é propor uma representação tensorial para Modelos Markovianos Ocultos (Hidden Markov Models HMM). A forma escolhida para alcançar esse objetivo passa pelo estudo de como converter um modelo HMM em um modelo SAN (Stochastic Automata Networks): estruturado e cujo formato tensorial é conhecido. A estratégia de conversão c
Publicado em: 2011
-
5. Solução numérica de descritores markovianos a partir de re-estruturações de termos tensoriais
Os formalismos estruturados foram definidos ao longo dos anos com o objetivo de aumentar o nível de abstração e oferecer uma alternativa de modelagem mais sofisticada do que a proporcionada pelas tradicionais Cadeias de Markov. Exemplos de formalismos estruturados que utilizam álgebra tensorial para o armazenamento de seus descritores são as Redes de Au
Publicado em: 2010
-
6. Método de conversão de diagrama de atividades UML para SAN e geração de casos de teste de software
O processo de desenvolvimento de software é uma tarefa que envolve um conjunto de atividades a serem realizadas, e em muitos casos, por equipes grandes que podem se encontrar geograficamente dispersas. Isso exige do desenvolvedor a utilizacão de métodos que proporcionem uma visão de todas as etapas desse processo de desenvolvimento. A UML (Unified Modeli
Publicado em: 2010
-
7. Reducing the impact of state space explosion in Stochastic Automata Networks
A solução de modelos markovianos com grande espaço de estados é um dos maiores desafios da área de avaliação de desempenho de sistemas. Os formalismos estruturados, como as Redes de Autômatos Estocásticos (SAN), foram propostos para descrever múltiplos componentes através de autômatos, cujas transições são regidas por eventos locais ou sincron
Publicado em: 2009
-
8. Análise de padrões de mobilidade utilizando redes de autômatos estocásticos
Muitos trabalhos sobre a análise de desempenho de Redes Ad Hoc podem ser encontrados na literatura. Estas análises podem ser através de ferramentas de simulação ou por métodos analíticos, como formalismos markovianos ou sistemas de equações. A movimentação é um fator determinante no desempenho de Redes Ad Hoc e, para possibilitar esta análise, f
Publicado em: 2007
-
9. 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
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
Publicado em: 2006
-
10. Predição de desempenho de aplicações paralelas para máquinas agregadas utilizando modelos estocásticos
Um dos maiores proble mas na área de computação de alto desempenho é a dificuldade de definir qual a melhor estratégia de paralelização de uma aplicação. Neste contexto, a utilização de métodos analíticos para a avaliação de desempenho de aplicações paralelas aparece como uma alternativa interessante para auxiliar no processo de escolha das
Publicado em: 2006
-
11. Diminuição da intrusão do teste de software em programas paralelos
Nesse trabalho é apresentada uma estratégia para diminuir a intrusão do teste de software em programas paralelos baseados em troca de mensagens. Para isso, um ambiente de teste foi desenvolvido utilizando técnicas de teste de software funcional e abordagens de depuração. O ambiente, que utiliza Java como linguagem de programação e MPI como biblioteca
Publicado em: 2006
-
12. Técnica para obtenção de redes de autômatos estocásticos baseada em especificações de software em UML
A avaliação de desempenho de um software orientado a objetos, hoje, pode ser feita basicamente de três maneiras: com testes de desempenho, simulações ou utilizando métodos analíticos como redes de Autômatos estocásticos e redes de filas de espera. Os testes de desempenho são eficientes e, porem podem ser aplicados apenas nas fases finais do desenvo
Publicado em: 2005