Coloured Nets
Mostrando 1-10 de 10 artigos, teses e dissertações.
-
1. 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
-
2. Modelagem de sistemas de manufatura usando Redes de Petri Coloridas Fuzzy focando a solução de conflitos
Um Sistema Flexível de Manufatura é um sistema de produção onde mais de um evento pode ocorrer ao mesmo tempo de forma paralela, assíncrona ou de forma concorrente. Estes foram projetados para atender às necessidades do mercado, que demanda por melhor qualidade dos produtos, redução de custos e prazos de entrega menores. Devido à complexidade e à f
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 29/06/2010
-
3. Modelo de autenticaÃÃo e autorizaÃÃo baseado em certificados de atributos para controle de acesso de aplicaÃÃes em ambiente distribuÃdo utilizando redes de petri coloridas / Model of authentical and authorization based on certifyd of attributes for control of acess of applicationa in distributd environment using coloured petri nets
Devido Ãs crescentes ameaÃas inerentes aos sistemas de informaÃÃo, o uso de mecanismos de autenticaÃÃo e autorizaÃÃo baseados em identificador de usuÃrio e senha nÃo à mais suficiente para garantir a seguranÃa das informaÃÃes. Este trabalho propÃe um novo modelo de autenticaÃÃo e autorizaÃÃo para controle de acesso de aplicaÃÃes distribu
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 06/08/2007
-
4. 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
-
5. Analysis of performance of protocol CAN for agricultural field application using coloured Petri net / Análise de desempenho do protocolo CAN para aplicação na área agrícola utilizando redes de Petri coloridas
Intemational and national research institutions and companies have focused efforts to develop and promote the implementation of the international standard ISO 11783, based upon the digital communication protocol CAN (Controller Area Network), in order to integrate devices in machines and agricultural implements. Therefore, it is presented the development and
Publicado em: 2007
-
6. Seed germination and light quality action on vegetative development and phytochemistry aspects of Catharanthus roseus (L.) G. Don. / GerminaÃÃo de sementes e aÃÃo da qualidade da luz sobre o desenvolvimento vegetativo e aspectos fitoquÃmicos de Catharanthus rosesus (L.) G. Don
Periwinkle (Catharanthus roseus (L.) G. Don), Apocynaceae, is recognized by its medicinal importance as producer alkaloids with anticancer action (vinblastine and vincristine). This work aimed to evaluate the temperature and light effects on imbibition and seed germination aspects, plant vegetative development features of this species shaded by different col
Publicado em: 2006
-
7. Use of coloured nets for growth of flowers with high, medium and low requirement of solar radiation / Utilização de malhas coloridas na produção de flores de alta, media e baixa exigencia em radiação solar
As malhas de sombra coloridas atuando como seletores de ondas do espectro solar constituem-se em uma tecnologia com potencial para uso na Floricultura. O presente trabalho visou identificar se seu uso é promissor na floricultura do estado de São Paulo. Para isto foram estudadas espécies com baixo, médio e alto nível de exigência em radiação solar, as
Publicado em: 2006
-
8. Estimativa do consumo de energia devido ao software: uma abordagem baseada em redes de Petri coloridas
Esta tese tem seu foco na anÃlise do consumo de energia de microprocessadores no contexto dos sistemas embutidos. Para tanto, sÃo propostos dois modelos para simulaÃÃo e anÃlise. Tais modelos operam com base na descriÃÃo do conjunto de instruÃÃes da arquitetura alvo em redes de Petri coloridas. O primeiro modelo aplica as redes de Petri coloridas pa
Publicado em: 2006
-
9. Verificação formal automatizada para sistemas de raciocínio procedural (PRS) utilizando redes de petri coloridas (RPC)
This work presents a technique of formal verication of Procedural Reasoning System - PRS, a programming language that uses the procedural reasoning approach. This technique is based on the use of conversion rules between PRS programs and Coloured Petri Nets (CPNs). To this end, conversion rules of a subgroup of the majority of the syntax used in language PRS
Publicado em: 2005
-
10. The application of mutation testing in the context of testing and validation of coloured Petri nets / Aplicação da análise de mutantes no contexto do teste e validação de redes de Petri coloridas"
The usage of formal methods and techniques contributes to the development of highly reliable system, but, in spite of the achieved rigour, these techniques must be complemented with testing and validation activities. It should be highlighted that the cost to eliminate errors found in the early phases of development is smaller than when those errors are found
Publicado em: 2004