Redes De Petri Engenharia
Mostrando 1-12 de 49 artigos, teses e dissertações.
-
1. Modelagem de conceitos e processos matemáticos por redes de petri coloridas: o caso da integrabilidade de funções reais
As redes de Petri (RPs) constituem-se em uma ferramenta matemática e gráfica de uso geral. Sugere-se, neste trabalho, o uso de RPs como uma ferramenta de modelagem voltada para o ensino de noções matemáticas. A modelagem apoia-se no fato de as RPs terem como característica a representação de sistemas que utilizam forte base matemática. Como estudo d
Bolema. Publicado em: 2013-04
-
2. 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
-
3. 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
-
4. RepositÃrio Web para compartilhamento, reuso, versionamento e evoluÃÃo de conteÃdos binÃrios: modelagem e anÃlise por Redes de Petri coloridas / Web Repository for sharing, reuse, versioning and evolution of binary content: modeling and analysis by colored Petri nets
A livre disponibilizaÃÃo de conteÃdos digitais vem crescendo de maneira expressiva na Web. Muitos desses conteÃdos podem ser modificados, reutilizados e adaptados para propÃsitos especÃficos. Embora muitos recursos para armazenamento e disponibilizaÃÃo de conteÃdos sejam bastante difundidos, nÃo se percebem na Internet repositÃrios que possuam ins
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 14/12/2011
-
5. 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
-
6. Um meta-algoritmo para o desenvolvimento de indicadores de qualidade de software amparados por modelos e por um método formal
Este trabalho de pesquisa propõe um Meta-algoritmo para o desenvolvimento de indicadores de qualidade amparados em modelos de referência e um método formal. O Meta-algoritmo proposto integra o modelo de referência de qualidade de software CMMI-DEV; o modelo GQ(I)M; e o método formal das Redes de Petri (RP) com o modelo de processo de desenvolvimento de
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 26/10/2011
-
7. Processo de pré-autoria de atividades de aprendizagem com uso de jogos e cooperação
O uso de jogos e cooperação em um processo de aprendizagem pode introduzir aspectos tais como ludicidade e interatividade, favorecendo o desenvolvimento de atividades de aprendizagem mais enriquecidas e motivadoras. Atualmente, contudo, esses dois aspectos são utilizados de forma isolada nas atividades de aprendizagem desenvolvidas. Entretanto, acredita-s
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 12/08/2011
-
8. WEBLAB : um ambiente de laboratórios de acesso remoto educacional
Este trabalho apresenta um ambiente de laboratório de acesso remoto, denominado WebLab, cujo objetivo principal é possibilitar a realização e controle em tempo real de experimentos, usando como meio a internet. Esse ambiente, que foi testado e validado em aplicações ligadas ao ensino de física, pode ser utilizado com as devidas adaptações, em qualqu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 15/07/2011
-
9. Propagação de Comportamento Anormal em Sistemas Híbridos Dinâmicos
A maioria dos sistemas industriais pode ser classificada como pertencente _a classe de sistemas híbridos dinâmicos, ou seja, sistemas compostos por variáveis no domínio contínuo e discreto. Assim, devido à necessidade de se obter produtos de alta qualidade com mínimo de perdas possíveis, operar com segurança respeitando o meio ambiente, gerenciar ou
Publicado em: 2010
-
10. Análise sob restrições baseada em um raciocínio energético para o problema de escalonamento tempo real de sistemas de gerenciamento de workflow
This work propose a method of analysis under constraints applied to the problem of real time scheduling in workflow management systems. The goal is to filter the start of activities in order to eliminate inconsistent dates with scheduling solutions and to identify inadmissible schedules due to the inability of energy resources involved. The adopted model is
Publicado em: 2009
-
11. Software synthesis for energy-constrained hard real-time embedded systems
A grande expansão do mercado de dispositivos digitais tem forçado empresas desenvolvedoras de sistemas embarcados em lidar com diversos desafios para prover sistemas complexos nesse nicho de mercado. Um dos desafios prominentes está relacionado ao consumo de energia, principalmente, devido aos seguintes fatores: (i) mobilidade; (ii) problemas ambientais;
Publicado em: 2009
-
12. Melhorias nos processos de gestão e fabricação de uma indústria metalmecânica utilizando redes de petri auxiliada por simulação discreta
The management of projects assumes a role nowadays each more important time in the enterprise activities. In manufacture companies who work in an environment under order, the projects have important paper in the survival of the company. Thus, these companies must possess an efficient systematics for the management of its projects, in order to take care of to
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/11/2008