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.

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

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

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

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

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

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.

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.

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

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