Rede De Petri Colorida
Mostrando 1-11 de 11 artigos, teses e dissertações.
-
1. 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
-
2. 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
-
3. 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
-
4. Á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
-
5. 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
-
6. 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
-
7. Transformação de redes de Petri coloridas em processos de decisão markovianos com probabilidades imprecisas. / Conversion from colored Petri nets into Markov decision processes with imprecise probabilities.
The present work was motivated by the need to consider stochastic behavior when planning the production mix in a manufacturing system. These systems are exposed to stochastic behavior that is usually not considered during production planning. The main goal of this work was to obtain a method to model manufacturing systems and to represent their stochastic be
Publicado em: 2010
-
8. Raciocínio científico por meio dos jogos educacionais colaborativos. / Scientific reasoning through educational collaborative games.
Jogos em rede estão em destaque graças ao alto nível de interação entre pares, situação promotora do alto índice de jovens que passam horas em frente ao computador. O que norteia este trabalho é usar esta motivação para aprendizagem de forma científica, contemplando também a visão sócio-construcionista (VYGOTSKY, 1996) de educação. Esta estu
Publicado em: 2009
-
9. Integração de rede de Petri e simulação gráfica para verificação de células robóticas colaborativas.
Este trabalho aborda o problema da concepção de sistemas supervisórios para células robóticas colaborativas flexíveis na indústria aeronáutica. Para esta finalidade, é proposta uma abordagem mista para modelagem e verificação de células robóticas baseada em simulação gráfica de robôs e rede de Petri colorida. Rede de Petri é utilizada para
Publicado em: 2009
-
10. Contribuições ao projeto de sistemas de informação de chão de fábrica utilizando redes de Petri coloricas
Atualmente, com o mercado extremamente competitivo, as empresas buscam um aperfeiçoamento em seu processo produtivo, para manter-se no mercado. Este trabalho analisa a eficiência global de equipamentos (OEE) envolvidos dentro do processo de produção, visando mensurar a qualidade e eficiência do processo e dos recursos utilizados (máquinas). Para realiz
Publicado em: 2007
-
11. Risk analysis of the airborne time-based spacing operation through a stochastically and dinamiclly coloured Petri net model. / Análise de risco da operação de espaçamento temporal aerotransportado por meio de um modelo em rede de Petri estocástica e dinamicamente colorida.
The safety in the airspace can considerably increase with the use of airborne spacing and separation operations. Under this paradigm, the task of maintaining a safe distance between aircraft is delegated to the pilots, which will be supported by the Airborne Separation Assistance System (ASAS). With this system, which is still in experimental phase, pilots b
Publicado em: 2007