Redes De Petri
Mostrando 25-36 de 151 artigos, teses e dissertações.
-
25. Modelos analíticos para interconexão de processadores : avaliação de desempenho de alocação simultânea de recursos / Analytic models for processors interconnections: performance evaluation of simultaneous resource allocation / Modèles analytiques pour les interconnexions de processeurs: evaluation des performances d'allocation simultanée de ressources
Descreve-se a aplicação de dois métodos analíticos para um mesmo problema com alocação simultânea de recursos: a avaliação de desempenho de interconexões de processadores do tipo multi-estágios. Aplica-se o método analítico tradicional com redes de filas de espera e cadeias de Markov. utiliza - se apos um método com modelagem através de redes
Publicado em: 2010
-
26. Modelagem temporal de sistemas : uma abordagem fundamentada em redes de petri / Temporal modeling of information systems: a Petri net based approach
Neste trabalho e proposta a abordagem TempER-Tr, uma técnica de modelagem conceitual, fundamentada em rede de Petri, que integra a especificação das propriedades dinâmicas de um sistema a um modelo de dados temporal do tipo entidade relacionamento. Um modelo ou esquema conceitual descreve as propriedades identificadas de um sistema a ser desenvolvido. Es
Publicado em: 2010
-
27. Uma técnica para a modelagem de estruturas de decisão / A technique for the decision structure modelling
Considerando as complexidades envolvidas no processo de tomada de decisão nas organizações de hoje, é fácil ver que este processo representa um ponto importante para a obtenção de vantagens na competição pelo mercado. Portanto, observa-se que a função de gerenciamento é fundamental para a empresa, seja qual for o seu setor de atividade, tamanho,
Publicado em: 2010
-
28. P-MIA : padrão múltiplas instâncias autoadaptáveis : um padrão de dados para wokflows científicos
A busca de soluções informatizadas, com o objetivo de se obter agilidade e confiabilidade nas informações, faz com que profissionais de diferentes áreas utilizem tecnologias com propósitos semelhantes. A utilização de sistemas de gerenciamento de workflow é um exemplo desse tipo de solução, a qual empresas e cientistas utilizam para documentar as
Publicado em: 2010
-
29. Maquina de clausulas : arquitetura e modelo de execucao de clausulas prolog / Clause machines : architecture and prolog clauses execution model
Este trabalho define um modelo de execução para clausulas Prolog, a partir do modelo abstrato de Maquinas de Cláusulas, e o Projeto de uma arquitetura paralela que suporte o modelo proposto. São também introduzidos alguns aspectos sobre as linguagens Lógicas e as maquinas Prolog visto que estes elementos estão relacionados intimamente tanto com o mode
Publicado em: 2010
-
30. 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
-
31. Controle supervisÃrio da cadeia produtiva do biodiesel da mamona baseado em redes de Petri / Supervisory control of castor bean biodiesel suppy chain based on Petri nets
Nowadays many countries present critical problems related to energy demand-supply equilibrium. The reserves of petroleum-based products are unable to face future demand for the next decades. So, the search for alternative sources of energy has been strongly directed to biodiesel. Several fruit oils can be used as a source for biodiesel production and the cas
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 10/09/2009
-
32. Geração automática da solução de controle para alocação de recursos utilizando redes de Petri
O sistema flexível de manufatura (FMS flexible manufacturing system) executa múltiplos processos simultaneamente que utilizam um conjunto limitado de recursos. Estes processos podem ficar permanentemente bloqueados em função da seqüência de atividades, isto é, o compartilhamento de um conjunto finito de recursos pode levar o sistema a um estado de aut
Production. Publicado em: 2009-04
-
33. Arquitetura multiprocessada e reconfigurável para a síntese de redes de Petri em hardware
Uma arquitetura reconfigurável e multiprocessada para a implementação física de Redes de Petri foi desenvolvida em VHDL e mapeada sobre um FPGA. Convencionalmente, as Redes de Petri são transformadas em uma linguagem de descrição de hardware no nível de transferências entre registradores e um processo de síntese de alto nível é utilizado para ger
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2009-03
-
34. Especificação de testes funcionais usando Redes de Petri a objetos para softwares orientados a objetos
O objetivo deste trabalho é o de propor a formalização de testes funcionais, através da especificação destes usando redes de Petri a Objetos e Workflow-Nets no contexto de softwares orientados a objetos. Inicialmente, Workflw-Nets são usadas para representar os requisitos do software. Em seguida, Workflow-Nets a objetos derivadas dos Workflow- Nets e
Publicado em: 2009
-
35. Heavy Traffic Approximations for Signaling Networks / Aproximações para Redes Estocásticas Sinalizantes sob Tráfego Pesado
Este trabalho apresenta a caracterização de limites no sentido fraco dos sistemas de filas em redes que podem enviar e receber sinais. Estes sinais podem ser usados, entre outras coisas, para que as filas se auto controlem. Mostra-se que, sob certas condições, o sistema pode ser aproximado por uma equação diferencial estocástica refletida. Os benefíc
Publicado em: 2009
-
36. Energy consumption and execution time estimation of embedded system applications
Nos Ãltimos anos, a reduÃÃo do consumo de energia das aplicaÃÃes dos sistemas embarcados tem recebido uma grande atenÃÃo da comunidade cientÃfica, visto que, como o tempo de resposta e o baixo consumo de energia sÃo requisitos conflitantes, esses estudos tornam-se altamente necessÃrios. Nesse contexto, Ã proposta uma metodologia aplicada nas fases
Publicado em: 2009