Rede De Petri
Mostrando 1-12 de 68 artigos, teses e dissertações.
-
1. Rede de correlações entre qualidade de vida, resiliência e desequilíbrio esforço-recompensa em policiais militares
Resumo Objetivo: Analisar a rede de correlações entre as dimensões do Modelo Desequilíbrio Esforço-Recompensa (DER), resiliência e qualidade de vida em policiais militares. Método: Estudo transversal realizado com 258 policiais do Batalhão de Operações Especiais (BOE) da Polícia Militar de uma cidade do Rio Grande do Sul. As escalas do Modelo DE
Ciênc. saúde coletiva. Publicado em: 2021-05
-
2. Análise do erro associado com a subamostragem de Chironomidae em um rio intermitente do semiárido do Brasil
Chironomidae é uma família comum em águas doces, frequentemente ocorrendo em altas densidades, o que dificulta o processamento de amostras para estudos ecológicos, dado que o tempo e recursos são geralmente limitados. O presente estudo tem como objetivo avaliar a dimensão do erro relacionado com a subamostragem de Chironomidae em relação ao tamanho d
Biota Neotrop.. Publicado em: 17/03/2015
-
3. Um modelo de controle formal para o gerenciamento de riscos de projeto de software
Este trabalho de pesquisa propõe o projeto e desenvolvimento de um Modelo de Controle Formal (MCF) que propicie gerenciar riscos de projeto de software. Visa prover ao Gestor de Projetos, um mecanismo para identificar e controlar riscos que possam impactar negativamente nos objetivos do projeto, facilitando a tomada de decisão. O MCF desenvolvido contempla
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 21/05/2012
-
4. Modelo de sistema de apoio à decisão por ontologia e rede de Petri colorida
Este trabalho propõe um modelo de sistema de apoio à decisão empregando ferramentas de controle de fluxo decisório e a assessoria ao decisor quanto à qualidade e à confiabilidade das informações que utiliza para exercer suas atribuições. Por fim, a linha de ação adotada é avaliada com base nas informações disponíveis. O modelo contempla a imp
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 24/02/2012
-
5. Restrições de controle sobre cores decompostas: uma proposta no controle supervisório de sistemas a eventos discretos utilizando redes de Petri coloridas
Este trabalho apresenta a prova matemática do método para a síntese de supervisores denominado Restrição de Controle sobre Cores Decompostas, o qual é baseado nos conceitos da Teoria de Controle Supervisório, utilizando como principal ferramenta as redes de Petri coloridas para modelar sistemas de eventos discretos, a fim de encontrar supervisores que
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2012-06
-
6. Sistema para SeleÃÃo AutomÃtica de Grupos de Ajustes em RelÃs de ProteÃÃo / Selection System for Automatic Setting Groups of Protective Relays
Os modernos sistemas de mediÃÃo, proteÃÃo, comando, controle e supervisÃo (MPCCS) tÃm contribuÃdo de forma significativa para o aumento da seguranÃa, confiabilidade e continuidade de serviÃo dos sistemas elÃtricos de potÃncia. O sistema de proteÃÃo à parte relevante desse sistema multifuncional, o qual tem como objetivo principal manter a integ
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/11/2011
-
7. Árvore de Características e Redes de Petri Colorida com Expressões de Lógica Proposicional: Propostas de Modelagem de Requisitos e Fluxo de Navegação
Geralmente, a análise de requisitos é feita por proposições ad hoc de especialistas. O personagem que detém o conhecimento a respeito do domínio a ser desenvolvido, normalmente, não compreende a linguagem dos especialistas. Assim, as pessoas que deveriam especificar o software são relegadas a um segundo plano, como é o caso de alunos e professores d
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/08/2011
-
8. Proposta de um procedimento para a modelagem de sistemas de controle de edifícios inteligentes utilizando a rede de Petri colorida. / A procedure for modelling the control system in intelligent buildings based on colored Petri nets.
Technological advances in recent decades have motivated the development of intelligent buildings, aimed at creating environments more productive for the occupants, economically advantageous for the owners and environmentally correct. New ways of interaction between users and the buildings systems are emerging from these kinds of systems, which are not adequa
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 22/08/2011
-
9. Controle supervisÃrio de sistemas a eventos discretos, usando redes de Petri coloridas / Supervisory control of discrete event systems using coloured Petri nets
Esse trabalho propÃe um novo mÃtodo para sÃntese de supervisores em sistemas a eventos discretos, utilizando redes de Petri coloridas, baseado no contexto da teoria de controle supervisÃrio. Como aspecto principal, tem-se a formalizaÃÃo teÃrica e a prova matemÃtica do mÃtodo para sÃntese desses supervisores, denominado RestriÃÃes de Controle sobr
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 09/08/2011
-
10. Arquitetura com orientação a serviços para sistemas produtivos teleoperados e dispersos. / Architecture with orientation services for teleoperated and dispersed production systems.
Este documento é resultado de uma pesquisa que envolve a proposta de uma arquitetura com orientação a serviços de um sistema que integra e coordena um conjunto de sistemas produtivos teleoperados e geograficamente dispersos, no qual se adota uma abordagem de modelagem baseada em uma ferramenta formal, como é a rede de Petri, a fim de estruturar um proce
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 25/04/2011
-
11. Aplicação da análise global de redes de Petri temporais no contexto de software embarcado
Redes de Petri e suas propriedades algébricas são usadas para modelar e analisar sistemas envolvendo paralelismo, concorrência e sincronização. Este artigo apresenta uma aplicação da técnica de Tempo Global (GTT - global time technique) que é uma abordagem para construir grafos de classes de redes de Petri temporais baseada nos tempos relativo e glo
Sba: Controle & Automação Sociedade Brasileira de Automatica. Publicado em: 2011-12
-
12. Aplicação dos conceitos de modelagem e de redes de Petri na análise do processo produtivo da indústria sucroalcooleira.
A modelagem, como meio de análise de processos do agronegócio, bem como de cadeias produtivas, atende à demanda por métodos apropriados. O presente trabalho objetivou avaliar a aderência dos conceitos de modelagem e de rede de Petri aplicados ao complexo agroindustrial da cana-de-açúcar. Utilizou-se uma empresa real para a aquisição das informaçõe
Pesquisa Agropecuária Brasileira. Publicado em: 2011