Redes De Petri
Mostrando 37-48 de 151 artigos, teses e dissertações.
-
37. 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
-
38. 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
-
39. Verificação formal de sistemas discretos distribuídos. / Formal verification of distribuited discrete systems.
This work deals with the process of design and verification of complex systems, mainly real time, concurrent and distributed systems. An enumerative technique is proposed for model-checking which is capable of determining both quantitative and qualitative properties. The proposed technique detach the algorithm for labeling the formula being checked from the
Publicado em: 2009
-
40. Modelagem e anÃlise de especificaÃÃes de sistemas de tempo-real crÃticos com restriÃÃes de energia
Requirements analysis is a critical task in any Embedded Real-Time System (ERTS) project. Normally, these systems have stringent timing constraints that must be satisÂed for the correct functioning, since violation might be catastrophic, such as loss of human lives or large amount of Ânancial resources. In addition, there are systems where energy is anothe
Publicado em: 2009
-
41. Análise da aplicação de técnicas de modelagem e simulação discreta ao ciclo de desenvolvimento de aeronaves.
Esta tese aplica técnicas de modelagem e simulação de sistemas a eventos discretos no ciclo de desenvolvimento do produto aeronáutico. As técnicas de simulação discreta consistem um recurso flexível para análise de soluções em apoio aos processos de negócio do ciclo de desenvolvimento do produto aeronáutico, por meio da comparação de cenários
Publicado em: 2009
-
42. 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
-
43. ISPN: Modelagem e avaliaÃÃo estocÃstica intervalar
O estudo de sistemas atravÃs de modelos à baseado em abstraÃÃes do mundo real. Portanto, os cÃlculos resultantes devem ser interpretados com cautela. Quando incertezas ou variabilidades estÃo associadas com os parÃmetros do sistema, a caracterizaÃÃo pontual dos parÃmetros pode ser inadequada. As incertezas podem estar associadas a parÃmetros que n
Publicado em: 2009
-
44. AlocaÃÃo de recursos com justiÃa: uma aplicaÃÃo de jogos cooperativos em redes de computadores
This work presents a methology for applying cooperative game theory concepts for solving the bandwidth allocation problem within differentiated traffic profiles for Internet applications. The multi-service networks scenario is explored as an operational network example for fair bandwidth sharing mechanisms. This operational network uses mechanisms based on s
Publicado em: 2009
-
45. AvaliaÃÃo do impacto de uma polÃtica de manutenÃÃo na performabilidade de sistemas de transferÃncia eletrÃnica de fundos
The transfer electronic funds systems (EFT) promote financial benefits to institutions that utilize this kind of service and conveniences for its clients. EFT systems realize credit and debit operations in bank accounts through points of sales terminals (POSs) in different companies. This way, analyzing the performance of the EFT systems has a fundamental im
Publicado em: 2009
-
46. Transactional graph transformation systems / Sistemas de transformação de grafos transacionais
Em contraste aos sistemas transformacionais, sistemas reativos são caracterisados por reagir continuamente a estímulos provinientes seu ambiente. Além da reatividade, se considerarmos que muitas aplicações requerem métodos de especificação que possibilitam descrever a distribuição espacial dos estados, sistemas de transformação de grafos parecem
Publicado em: 2009
-
47. 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
-
48. Barramento de serviÃos federados para integraÃÃo federativa de sistemas distribuÃdos / Barramento de serviÃos federados para integraÃÃo federativa de sistemas distribuÃdos Federated service bus to federative integration of distributed systems
Esta dissertaÃÃo apresenta uma proposta de middleware de comunicaÃÃo baseado em Enterprise Service Bus (ESB) para sistemas federados, isto Ã, formados por sistemas de diferentes organizaÃÃes. Este trabalho nÃo aborda o problema clÃssico de sistemas federados, cujo enfoque principal à autenticaÃÃo e a seguranÃa, mas sim uma necessidade crescente
IBICT - Instituto Brasileiro de Informação em Ciência e Tecnologia. Publicado em: 20/02/2008