Redes De Petri Temporizadas
Mostrando 1-9 de 9 artigos, teses e dissertações.
-
1. Modelos analíticos para interconexão de processadores : avaliação de desempenho de alocação simultânea de recursos / Analytic models for processors interconnections: performance evaluation of simultaneous resource allocation / Modèles analytiques pour les interconnexions de processeurs: evaluation des performances d'allocation simultanée de ressources
Descreve-se a aplicação de dois métodos analíticos para um mesmo problema com alocação simultânea de recursos: a avaliação de desempenho de interconexões de processadores do tipo multi-estágios. Aplica-se o método analítico tradicional com redes de filas de espera e cadeias de Markov. utiliza - se apos um método com modelagem através de redes
Publicado em: 2010
-
2. Energy consumption and execution time estimation of embedded system applications
Nos Ãltimos anos, a reduÃÃo do consumo de energia das aplicaÃÃes dos sistemas embarcados tem recebido uma grande atenÃÃo da comunidade cientÃfica, visto que, como o tempo de resposta e o baixo consumo de energia sÃo requisitos conflitantes, esses estudos tornam-se altamente necessÃrios. Nesse contexto, Ã proposta uma metodologia aplicada nas fases
Publicado em: 2009
-
3. 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
-
4. Modeling and performance analysis of flexible manufacturing systems using timed Petri nets: case study in automobilistic industry. / Modelagem e análise de performance de sistemas flexíveis de manufatura baseado em redes de Petri temporizadas: estudo de caso na indústria automobilística.
A necessidade de aumento de produção, da redução de custos e do aumento da qualidade de bens de consumo, tem motivado a constante evolução dos sistemas de produção, migrando os tradicionais sistemas de produção para os modernos e complexos sistemas de manufatura, onde a performance depende da eficiência dos equipamentos e do controle do processo.
Publicado em: 2008
-
5. LEMMA 2000 - Uma linguagem para análise e representação de protocolos para diagnósticos em Medicina / Lemma 2000 – A language for analysing and representing protocols for diagnoses in medicine
A qualidade dos serviços de saúde tornou-se um tema relevante e cada vez mais esforços são dedicados para definir metodologias e ferramentas para medir e assegurar a qualidade. São exigidos novos métodos para aperfeiçoar os processos de saúde, garantindo assim uma alto padrão de qualidade utilizando os recursos disponíveis. A otimização da utiliz
Publicado em: 2008
-
6. Estimativa de consumo de energia de cÃdigo ANSI-C para sis- temas embarcados: uma abordagem baseada em simulaÃÃo estocÃstica
Embedded Systems are present in most daily activities with many different purposes. Generally, embedded systems have several design constraints, such as memory size, power source, CPU speed, and so on. Over the last years, power consumption has been receiving particular attention from scientific community since several embedded devices rely on battery as pow
Publicado em: 2007
-
7. Uma metodologia para escalonamento de tarefas de tempo real em arquiteturas dinamicamente reconfigurÃveis
Atualmente, os dispositivos eletrÃnicos digitais programÃveis vÃm trazendo grandes avanÃos quando na prototipaÃÃo e na implementaÃÃo de sistemas embarcados, especialmente aqueles que apresentam algum tipo de computaÃÃo embarcada. Estes dispositivos sÃo largamente utilizados em Ãreas como telecomunicaÃÃes, redes de computadores, tratamento de si
Publicado em: 2006
-
8. A timed Petri net methodology based on area estimator for hardware/software co-design systems environments / Uma metodologia para estimativa de Ãrea baseada em redes de Petri temporizadas para ambientes de sistemas de hardware/software co-design
Most modern electronic systems consist of dedicated hardware and programmable components (called software components). Over the last few years, the number of methodologies that concurrently apply design techniques from different areas to develop mixed hardware/software system has been growing considerably. The concurrent design of mixed hardware/software sys
Publicado em: 2004
-
9. UMA APLICAÇÃO DE SISTEMAS ESPECIALISTAS/ REDES DE PETRI EM OFICINAS VERSATEIS / AN APPLICATION OF EXPERT SYSTEMS/ PETRI NETS TO A FLEXIBLE WORKSHOP
Este trabalho apresenta o desenvolvimento de um software baseado nas Redes de Petri e nos Sistemas Especialistas para modelagem, escalonameto e simulação das atividades numa oficina versátil. Três sistemas diferentes foram desenvolvidos, o primeiro trabalha com base de regras não temporizadas, o segundo com base de regras temporizadas e o terceiro com b
Publicado em: 1987