Spelling suggestions: "subject:"redes dde petri"" "subject:"redes dde jetri""
121 |
Uma abordagem para mapeamento de redes virtuais confiáveisCavalcanti, Victor Antônio Ribeiro de Lira 29 April 2014 (has links)
Submitted by Luiz Felipe Barbosa (luiz.fbabreu2@ufpe.br) on 2015-03-10T19:35:09Z
No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Approved for entry into archive by Daniella Sodre (daniella.sodre@ufpe.br) on 2015-03-10T19:42:47Z (GMT) No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5) / Made available in DSpace on 2015-03-10T19:42:47Z (GMT). No. of bitstreams: 2
license_rdf: 1232 bytes, checksum: 66e71c371cc565284e70f40736c94386 (MD5)
DISSERTAÇÃO Victor Antônio Ribeiro de Lira Cavalcanti.pdf: 3376876 bytes, checksum: f248afb33bde4460b94c42271f85e3c8 (MD5)
Previous issue date: 2014-04-29 / A Internet possui um papel vital na sociedade atual, possibilitando a existência de aplicações
e serviços em diferentes áreas, como saúde, entretenimento, educação e segurança.
Entretanto, apesar da Internet ter evoluído consideravelmente em aspectos como velocidade
e capacidade, inovações arquiteturais necessárias, por exemplo, para melhor suporte
à mobilidade, sofrem resistência em virtude de sua estrutura atual. Nesse contexto,
a virtualização de redes de computadores é uma abordagem promissora para resolver o
problema atual de ossificação da Internet. Um grande desafio associado a esse conceito
é o mapeamento das redes virtuais, devido à natureza NP-difícil do problema. Com isso,
diversas heurísticas têm sido propostas com o objetivo de alcançar alocações eficientes.
Contudo, apesar de as abordagens existentes aperfeiçoarem métricas de desempenho,
como o custo e a taxa de aceitação das requisições, questões de dependabilidade não são
consideradas no mapeamento. Dependabilidade envolve métricas como confiabilidade e
disponibilidade, as quais impactam diretamente a qualidade do serviço. Logo, tais métricas
são de grande importância e devem ser consideradas na formulação de problemas
de otimização para alocação de redes virtuais. Este trabalho propõe um algoritmo baseado
na metaheurística GRASP (Greedy Randomized Adaptive Search Procedure) para o
mapeamento de redes virtuais confiáveis. Políticas de redundância são consideradas na
alocação para satisfazer requisições de redes virtuais com restrições de alta disponibilidade.
Além disso, é proposta uma abordagem hierárquica e heterogênea, com modelos
formais em redes de Petri estocásticas (SPN) e diagramas de bloco de confiabilidade
(RBD) para representar e avaliar disponibilidade das redes virtuais. Esses modelos são
gerados e avaliados automaticamente pela ferramenta Mercury, ao longo do processo de
mapeamento. Estudos de caso são propostos para demonstrar a aplicabilidade dos modelos
e algoritmo adotados. Os resultados experimentais demonstram o impacto da adoção
de questões de dependabilidade na alocação, bem como a relação entre a disponibilidade
e o custo das redes virtuais.
|
122 |
ASTRO- uma ferramenta para avaliação de dependabilidade e sustentabilidade em sistemas data centerSilva, Bruno 31 January 2011 (has links)
Made available in DSpace on 2014-06-12T15:55:22Z (GMT). No. of bitstreams: 2
arquivo2234_1.pdf: 7802626 bytes, checksum: 1cb84477d378fe2e57a785c1609ceac9 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2011 / Conselho Nacional de Desenvolvimento Científico e Tecnológico / Aspectos de sustentabilidade têm recebido grande atenção pela comunidade científica,
devido às preocupações com a satisfação das necessidades atuais de energia sem comprometer,
por exemplo, recursos não-renováveis para as gerações futuras. Na verdade,
uma crescente demanda de energia é uma questão que tem impactado a forma de como
os sistemas são concebidos (data centers, por exemplo), no sentido de que os projetistas
necessitam verificar vários trade-offs e selecionar uma solução viável considerando a
utilização da energia e outras métricas, tais como confiabilidade e dispobilidadade. As
ferramentas são importantes neste contexto para automatizar várias atividades de projeto
e obter resultados o mais rápido possível. Este trabalho apresenta um ambiente
integrado, denominado, ASTRO, que contempla: (i) Diagramas de Blocos de Confiabilidade
(RBD) e Redes de Petri Estocásticas (SPN) para avaliação de dependabilidade , (ii)
um método baseado na avaliação do ciclo de vida (LCA) para a quantificação do impacto
da sustentabilidade. ASTRO foi concebido para avaliar infra-estruturas de centros de dados,
mas o ambiente é genérico o suficiente para avaliar sistemas em geral. Além disso,
um estudo de caso é fornecido para demonstrar a viabilidade do ambiente proposto
|
123 |
Uma metodologia para esclarecimento de tarefas de tempo real em arquiteturas dinamicamente reconfiguráveisEskinazi Sant'Anna, Remy January 2006 (has links)
Made available in DSpace on 2014-06-12T15:59:44Z (GMT). No. of bitstreams: 2
arquivo5532_1.pdf: 2107348 bytes, checksum: f54c0cde06194bb510ceea86f3c8cf6a (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2006 / 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 sinais, controle, etc. Particularmente,
dispositivos lógicos programáveis como os FPGAs (Field Programmable Gate Arrays) têm apresentado
vantagens especiais por apresentarem características e recursos computacionais implementadas em
hardware, em sua reconfiguração. Esta característica permite que este tipo de dispositivo possa ser
reprogramado total ou parcialmente de acordo com a demanda do projeto, através de núcleos de
hardware previamente sintetizado e armazenado em bibliotecas de componentes.
O principal problema a ser abordado neste trabalho diz respeito à necessidade de ferramentas
adequadas para análise e síntese de aplicações com características de tempo real em hardware
reconfigurável. Estas aplicações, que no contexto deste trabalho, são implementadas em hardware,
necessitam ter suas tarefas adequadamente escalonadas ao longo do tempo, de acordo com os requisitos
temporais impostos pela aplicação. A forma como esta distribuição de tarefas é feita pode degradar o
desempenho do sistema ou fazer com que não seja possível garantir que todos os requisitos da aplicação
sejam atendidos.
O objetivo desta Tese é portanto, propor um novo método de escalonamento de tarefas para
aplicações em tempo real em arquiteturas parcial e dinamicamente reconfiguráveis baseadas em FPGAs.
A metodologia proposta, usa como linguagem interna para representação e modelagem de sistemas, redes
de Petri temporizadas. Para tal, considera-se inicialmente as especificações temporais da aplicação como
um todo e particularmente de cada tarefa que compõe a aplicação, a interdependência de dados entre estas
tarefas e a arquitetura onde será implementada a aplicação.
Nesta tese é apresentado o estado da arte em projetos com FPGAs, bem como uma revisão dos
métodos de escalonamento de tarefas que podem ser implementados em sistemas baseados nestes
dispositivos. As principais contribuições desta tese referem-se a geração de um conjunto de
escalonamentos que atendam as especificções de precedencia e de tempo da aplicação e a seleção de um
escalonamento em particular que apresente o melhor desempenho temporal do conjunto gerado para
implementação em FPGA. De acordo com estes levantamentos e juntamente com os resultados obtidos,
conclui-se que a metodologia desenvolvida representa uma efetiva contribuição ao projeto de sistemas
dinamicamente reconfiguráveis. Exemplos são discutidos como forma de demonstrar a metodologia
sugerida bem como, suas vantagens e limitações
|
124 |
Avaliação de Desempenho de Cadeias de Suprimentos Utilizando Componentes GSPNALBUQUERQUE JUNIOR, Gabriel Alves de January 2007 (has links)
Made available in DSpace on 2014-06-12T16:00:27Z (GMT). No. of bitstreams: 2
arquivo6667_1.pdf: 4486220 bytes, checksum: 12f9d7ae524dfef9c8c996536bd139ef (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 2007 / O gerenciamento da cadeia de suprimentos é uma atividade de suma importância para o
sucesso de empresas de manufatura. Dentre outras atividades, destacam-se o controle de
estoques e da distribuição dos produtos acabados. Apenas esta última pode ser respon-
sável por mais de 50% dos custos logísticos totais. A avaliação de desempenho da cadeia
de suprimentos é determinante para que se possa otimizá-la, reduzindo os custos e me-
lhorando a qualidade de serviço (QoS). Este trabalho propõe a utilização de componentes
pré-definidos com Generalized Stochastic Petri Nets (GSPN), permitindo a modelagem
de diferentes cenários que permitam avaliar a utilização de frota, controle de estoques
e índices de QoS. O processo de modelagem do cenário global adota uma abordagem
bottom-up através da composição destes modelos pré-definidos. Uma metodologia para a
avaliação de desempenho das cadeias de suprimento é proposta em conjunto com a ferra-
menta Stochastic Logistics Optimizer Tool (SLOT), com o intuito de auxiliar os processos
de modelagem e avaliação. Assim, a partir de um processo de modelagem, baseado em
modelos de alto nível, obtém-se de maneira automatizada uma GSPN que pode ser uti-
lizada para avaliar a cadeia de suprimentos modelada. Por fim, são apresentados alguns
estudos de caso. O primeiro foi realizado com o intuito de validar os modelos propostos
através da modelagem e avaliação do Jogo da Cerveja. Em seguida, apresenta-se alguns
estudos de caso realizados na São Mateus Frigorífico, uma indústria de embutidos que
atua no norte-nordeste brasileiro
|
125 |
Avaliação estocástica de consumo de energia no projeto de sistemas embarcadosFerreira de Carvalho, Fernando January 1900 (has links)
Made available in DSpace on 2014-06-12T16:01:10Z (GMT). No. of bitstreams: 2
arquivo7172_1.pdf: 1565371 bytes, checksum: a4c9f8056570573663538f45f3b2ce86 (MD5)
license.txt: 1748 bytes, checksum: 8a4605be74aa9ea9d79846c1fba20a33 (MD5)
Previous issue date: 1 / Universidade de Pernambuco / Em metodologias de projeto de sistemas embarcados, ambientes de suporte à tomada de
decisões são de grande importância, principalmente quando o projeto de tais sistemas
deve considerar restrições de desempenho, consumo de energia etc. Este trabalho trata
sobre estimativa de potência no desenvolvimento de sistemas digitais embarcado. A
metodologia proposta baseia-se em uma extensão de modelo das redes de Petri
estocástica generalizadas (Generalized Stochastic Petri Net - GSPN), denominada
Power-GSPN. Este trabalho apresenta um conjunto de métricas que permitem avaliar o
consumo de energia, potência, autonomia e o desempenho dos sistemas. A utilização
das redes de Petri é de grande importância dada sua fundamentação matemática, a
possibilidade de representar sistemas paralelos, síncronos e concorrentes, além de
suportar, em um único modelo, especificação, validação, análise de desempenho,
estimativa e documentação
|
126 |
Construção de um simulador de redes ATM baseado em redes de petriBonfim, Tatiane Regina 28 July 2018 (has links)
Orientador : Akebo Yamakami / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-07-28T01:54:31Z (GMT). No. of bitstreams: 1
Bonfim_TatianeRegina_M.pdf: 498343 bytes, checksum: bf76e2756fb03e72c462d50221aa4007 (MD5)
Previous issue date: 2001 / Mestrado
|
127 |
Metamodelo para a modelagem e simulação de sistemas a eventos discretos, baseado em redes de Petri e realidade virtual: uma aplicação em sistema de manufatura / Metamodel for modeling and discrete-event system simulation based in Petri net and virtual reality: a manufacture system applicationJandira Guenka Palma 14 December 2001 (has links)
Uma vez que uma aplicação ou projeto tenha sido identificado como sujeito ao uso da simulação, decisões devem ser tomadas acerca de como conduzir os estudos. Embora não haja regras definitivas, alguns passos são geralmente recomendados, tais como: planejamento do estudo, definição do sistema, construção do modelo, execução dos experimentos, análise dos resultados e relatório final. E, a construção do modelo é uma das etapas mais demoradas e complexas. Na execução dos experimentos, e na análise dos resultados a Realidade Virtual (RV) é uma interface que pode fornecer um suporte importante para a tomada de decisões, pois a RV auxilia na criação de mundos virtuais semelhantes ao mundo real, que ajudam na compreensão do funcionamento dos sistemas. Este trabalho propõe um metamodelo para o desenvolvimento de sistemas de simulação de eventos discretos com interface de RV aplicados a ambientes ou estações de trabalho de manufatura. A proposta do metamodelo é composto por quatro módulos: i) de edição e validação de modelos, ii) de criação, edição e execução de ambientes virtuais, iii) de conexão para efetuar o elo entre os dois primeiros módulos e, iv) de controle para gerenciar a comunicação e controlar a simulação. Como resultado tem-se a simulação centralizada baseada no modelo descrito em Rede de Petris (RP) com interface de RV distribuída. O sistema computacional gerado pelo metamodelo auxiliará no aprendizado e compreensão do problema simulado, e ainda permitirá ao usuário o envolvimento através da iteração. / The VR aids in the creation of virtual worlds similar to the real world, helping in understanding how a system works. This research work is concerned with the development of a discrete-event system simulation based on Petri Nets, with Virtual Reality interface for manufacturing environment or workstations. The system is composed of four modules, the first is model editing and validation, the second module is a modeling tool for virtual objects and/or a library of virtual elements, the third module makes the link between the two previous modules, and finally, the fourth is a simulation and control module. The centralized simulation is based on models described by Petri Nets with distributed RV interface resulting in a flexible and consistent system. The system will help users in learning and understanding the simulation problem, and it will also allow the user\'s integration with the environment through the interaction, and through distributed interface.
|
128 |
Projeto de sistemas modulares de controle para sistemas produtivos. / Project of modular control systems for production systems.Francisco Yastami Nakamoto 10 September 2008 (has links)
A competição no mercado globalizado, do ponto de vista do consumidor, aumentou consideravelmente a oferta de produtos e serviços, permitindo a escolha pela qualidade, preço, prazos e/ou disponibilidade. Entretanto, do ponto de vista das empresas, o desafio de atuar em um mercado saturado, dinâmico, competitivo e com aumento da demanda de produção orientado ao consumidor altera consideravelmente toda a estrutura da empresa. Desta forma, a flexibilidade torna-se um pré-requisito fundamental para que as empresas possam atuar neste mercado. Considerando-se o contexto apresentado, o objeto de estudo do presente trabalho são os Sistemas Produtivos Flexíveis (SPFs). Os SPFs são sistemas concebidos para atender às necessidades de um mercado dinâmico e competitivo. Isto causa complexidade no comportamento global desses sistemas exigindo diferentes propostas para o projeto de Sistemas de Controle de SPFs. A complexidade advém do fato de se perder a informação quanto ao pré-determinismo da seqüência de eventos que ocorrem no sistema global, além do fato de não existir previamente a definição de todos os processos de transporte com a designação prévia de todas as ordens de transporte que os transportadores presentes na planta devem executar. Neste contexto, o objetivo deste trabalho é apresentar como resultado uma proposta de sistema de controle modular para SPFs que atenda os requisitos de fluxo de informações envolvendo hierarquia e colaboração simultânea entre os módulos, respeitando a diversidade semântica presente na arquitetura. Apresenta-se então uma sistematização de projeto dos diversos módulos de controle e uma proposta de implementação de um algoritmo de designação dos transportadores para ser utilizado em tempo real permitindo a realização eficiente das atividades de transporte. / The competition in the globalized market increased considerably the demand for products and services to the customer point of view. However, the consumer\'s driven demand change the whole structure of the company. Thus, flexibility becomes an essential pre-requisite for companies to compete in the market. Considering the context presented, the object of study of this work is the Flexible Production System (FPS). The FPS must fulfill the needs on a dynamic and competitive market. This situation causes complexity in the overall performance of these systems, requiring different proposals for the design of the control systems. The complexity arises due to the fact that loses the information about the sequence of events that occur in the global system. Besides there is no previous exist definition for all processes of transport and prior designation for it. In this context, the objective of this work is to present a proposal for modular control systems to FPS that fits the requirements of information flow involving hierarchy and simultaneous collaboration between the modules. It will be presented systematization for the modular design of control as well as an implementation of an algorithm for designation of transport in real time leading to an efficient management of these activities.
|
129 |
Filtros de partículas aplicados a sistemas max plus / Particle filters for max plus systemsCândido, Renato Markele Ferreira, 1988- 24 August 2018 (has links)
Orientador: Rafael Santos Mendes / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Elétrica e de Computação / Made available in DSpace on 2018-08-24T01:12:10Z (GMT). No. of bitstreams: 1
Candido_RenatoMarkeleFerreira_M.pdf: 1921815 bytes, checksum: a5e82ec1bfadd836b1ba66fda5ce00ec (MD5)
Previous issue date: 2013 / Resumo: A principal contribuição desta dissertação é a proposta de algoritmos de filtragem por partículas em sistemas a eventos discretos nos quais predominam os problemas de sincronização. Esta classe de sistemas pode ser descrita por meio de equações lineares em uma álgebra não convencional usualmente conhecida como álgebra Max Plus. Os Filtros de Partículas são algoritmos Bayesianos sub-ótimos que realizam uma amostragem sequencial de Monte Carlo para construir uma aproximação discreta da densidade de probabilidade dos estados baseada em um conjunto de partículas com pesos associados. É apresentada uma revisão de sistemas a eventos discretos, de filtragem não linear e de filtros de partículas de um modo geral. Após apresentar esta base teórica, são propostos dois algoritmos de filtros de partículas aplicados a sistemas Max Plus. Em seguida algumas simulações foram apresentadas e os resultados apresentados mostraram a eficiência dos filtros desenvolvidos / Abstract: This thesis proposes, as its main contribution, particle filtering algorithms for discrete event systems in which synchronization phenomena are prevalent. This class of systems can be described by linear equation systems in a nonconventional algebra commonly known as Max Plus algebra. Particles Filters are suboptimal Bayesian algorithms that perform a sequential Monte Carlo sampling to construct a discrete approximation of the probability density of states based on a set of particles with associated weights. It is presented a review of discrete event systems, nonlinear filtering and particle filters. After presenting this theoretical background, two particle filtering algorithms applied to Max Plus systems are proposed. Finally some simulation results are presented, confirming the accuracy of the designed filters / Mestrado / Automação / Mestre em Engenharia Elétrica
|
130 |
Integração de dispositivos inteligentes utilizando conceitos de domotica direcionados a automação hospitalar / Integrated of intelligent devices using concepts of domotics applied the hospitalar automationSaramago, Marcos Antonio Porta, 1956- 08 May 2002 (has links)
Orientador : João Mauricio Rosario / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Mecanica / Made available in DSpace on 2018-08-02T10:21:39Z (GMT). No. of bitstreams: 1
Saramago_MarcosAntonioPorta_D.pdf: 19370428 bytes, checksum: 5233fc7fcbd670cc92857e0de55bcce9 (MD5)
Previous issue date: 2002 / Resumo: A domótica é a área tecnológica que se aplica à busca da eficiência, produtividade, conforto e segurança necessárias e imprescindíveis nas instalações industriais e residenciais. Sua área de abrangência é ampla e seu crescimento como ciência é diretamente proporcional ao desenvolvimento de outras disciplinas tecnológicas, podendo ser entendida como um conjunto de subsistemas de automação que formam um único sistema integrado de serviços, tais como a Distribuição de energia elétrica e controle de demanda, controle de iluminação, de acessos e simulação de presença; funcionamento e interrupção de funcionamento de instrumentos; Controle bio-climático através de calefação, ventilação e condicionamento de ar; Distribuição, filtragem e aquecimento de água; segurança e comunicação e acesso remoto. Para conseguir estes objetivos tem-se que, necessariamente, considerar novos conceitos e diferentes técnicas de abordagens no projeto de sistemas de controle de EIS, entre outras atividades, a especificação de uma arquitetura de comando. Principalmente em sistemas com estrutura de controle-comando bastante distribuída, esta especificação é determinante para todo o restante do ciclo de vida do sistema em questão. Nesses casos, o projetista vê-se face à difícil tarefa de, numa fase inicial de projeto, escolher uma arquitetura de comando capaz de atender a pré-requisitos funcionais como tempos de resposta do sistema. Este trabalho apresenta metodologias e ferramentas direcionadas a Automação Hospitalar. A abordagem matemática baseia-se na teoria dos sistemas a eventos discretos para validar um modelo de arquitetura de comando distribuída através da construção de modelos de Análise Estruturada e de sua posterior simulação sob a forma de GRAFCET e Redes de Petri. Como estudo de caso, esta metodologia será aplicada ao controle de Hospitais Inteligentes / Abstract: The domotics is the technological area that if applies to search efficiency, necessary and essential productivity, comfort and security in the industrial and residential installations. This domain comprehends the integration of others disciplines technological, being able to be understood as a set of automation subsystems that form an only integrated system of jobs, such as the distribution of electric energy and control of demand, control of illumination, accesses and simulation of presence; functioning and interruption of functioning of instruments; Bio-climatic control through, air ventilation and conditioning; water distribution, filtering and heating; security and communication and remote access control. To obtain these objectives it is had that, necessarily, to consider new concepts and different techniques of boarding in the design of systems of supervision and control, among others activities, the specification of control architecture. Mainly in systems with structure of control-command sufficiently distributed, this specification is determinative for ali the remainder of the cycle of life of the system in question. In these cases, the designer sees face to the difficult task of, in an initial phase of design, to choose architecture of command capable to take care of the prerequisite functionaries as times of reply of the system. This work presents directed methodologies and tools to apply to the Hospital Automation. The mathematical boarding is based on the theory of the systems the discrete events to validate a model of architecture of command distributed through the construction of models of Structuralized Analysis Design Technique (SADT) and its posterior simulation under the Sequential Flow Chart GRAFCET form and Petri nets. As case study, this methodology will be applied to the control of Intelligent Hospitals / Doutorado / Mecanica dos Sólidos e Projeto Mecanico / Doutor em Engenharia Mecânica
|
Page generated in 0.0685 seconds