• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 211
  • 7
  • 5
  • 4
  • 1
  • Tagged with
  • 228
  • 228
  • 90
  • 79
  • 47
  • 40
  • 37
  • 29
  • 28
  • 28
  • 27
  • 25
  • 23
  • 23
  • 23
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
11

Grafo de relações : uma metodologia para coordenar dependencias entre atividades em ambientes computacionais

Cruz, Adailton Jose Alves da 10 August 2004 (has links)
Orientadores: Leo Pini Magalhães, Alberto Barbosa Raposo / Tese (doutorado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica e de Computação / Made available in DSpace on 2018-08-04T04:02:08Z (GMT). No. of bitstreams: 1 Cruz_AdailtonJoseAlvesda_D.pdf: 2075694 bytes, checksum: 3f08ec5e5787a8b5f92fc0b7990a402c (MD5) Previous issue date: 2004 / Resumo: Um dos desafios relacionados à coordenação em ambientes computacionais é a geração de estruturas para equacionar possíveis conflitos decorrentes de relacionamentos de dependências entre as atividades deste ambiente. Este trabalho apresenta uma metodologia para automatizar a geração de mecanismos de coordenação em ambientes computacionais. Estes mecanismos são gerados a partir dos comportamentos temporais especificados para as atividades executadas no ambiente. Permite-se especificar comportamentos temporais alternativos e atividades alternativas, os quais podem ser selecionados em tempo de processamento mudando assim as relações temporais entre as atividades e/ou as atividades que participam destes comportamentos. O algoritmo proposto para este fim implementa uma política de coordenação global permitindo-se que a execução de uma atividade aconteça somente quando não violar qualquer restrição temporal do ambiente. A identificação e modelagem das restrições temporais que cada atividade deve atender resultam no mecanismo de coordenação, obtido em tempo linear no número de atividades. Exploram-se as capacidades de encapsulamento e compactação das redes de Petri coloridas na modelagem dos mecanismos de coordenação sem vincular o uso da metodologia a um conhecimento prévio deste sistema formal (redes de Petri coloridas) / Abstract: One of the challenges related to the coordination of computational environments is the generation of structures to address possible conflicts related to dependences among the activities of these environments. This work presents a methodology to automate the generation of coordination mechanisms for computational environments. These mechanisms are generated from the temporal behaviors specified for the activities executed in the environment. It is possible to specify alternative temporal behaviors and alternative activities, which can be selected in processing time changing temporal relationships among the activities and/or the activities that participate in these behaviors. The algorithm proposed for this implements a global coordination policy, allowing that the execution of an activity only occurs when this doesn't violate any temporal restriction of the environment. The identification and modeling of the temporal restrictions that each activity should satisfy result in the coordination mechanism, obtained in linear time in the number of activities. The modular and compacting capacities of colored Petri nets are explored in the modeling of the coordination mechanisms without connecting the use of the methodology to a previous knowledge of this formal system (colored Petri nets) / Doutorado / Engenharia de Computação / Doutor em Engenharia Elétrica
12

Provisionamento de recursos computacionais baseado em redes de petri para bancos de dados orientados a leitura

Dominico, Simone January 2016 (has links)
Orientador : Prof. Eduardo Cunha de Almeida / Orientador : Dr. Jorge Augusto Meira / Dissertação (mestrado) - Universidade Federal do Paraná, Setor de Ciências Exatas, Programa de Pós-Graduação em Informática. Defesa: Curitiba, 19/04/2016 / Inclui referências : f. 53-57 / Resumo: O provisionamento de recursos é uma técnica utilizada para alocar recursos computa- cionais em ambientes de alto desempenho. Tais ambientes estão sujeitos a processar diferentes padrões de carga de trabalho (e.g., e-commerce), incluindo picos de carga durante datas especí- ficas, como por exemplo, black friday, natal e páscoa. Através do provisionamento é possível adicionar e remover recursos conforme a necessidade apresentada pelo sistema. Neste trabalho nos concentramos no provisionamento de núcleos de CPU para processamento de consultas em bancos de dados. Nós propomos um modelo de alto nível para sincronização dinâmica de múltiplos núcleos para processamento de consultas. Nosso modelo chamado de PrT-PRO é ba- seado em um provisionamento dinâmico reativo utilizando Redes de Petri Predicado/Transição, que atua por meio de regra-condição-ação no topo do monitoramento de desempenho. Através da PrT-PRO, busca-se obter um valor ótimo de múltiplos núcleos que atenda a demanda das consultas com objetivo de melhorar seu desempenho. Nosso modelo foi validado através de experimentos no popular sistema gerenciador de banco de dados (SGBD) PostgreSQL. Os re- sultados demonstram que ao encontrar o valor ótimo de múltiplos núcleos utilizando a PrT-PRO diminuímos substancialmente os misses de cache de CPU quando comparado com a execução utilizando todos os recursos disponíveis no hardware. A melhora de desempenho no processa- mento de consultas fica evidente, pois ao diminuir os misses de CPU diminui também o tempo de execução de uma determinada carga de trabalho. Assim, podemos afirmar que a PrT-PRO apresenta um melhor aproveitamento de CPU comparado com o atual modelo interno do SGBD PostgreSQL. Utilizando a PrT-PRO o SGBD PostgreSQL foi capaz de sincronizar o acesso aos múltiplos núcleos para acomodar leituras simultâneas com tipos mistos de acesso a CPU. Palavras-chave: Provisionamento de Recursos Computacionais, SGBD, Redes de Petri. / Abstract: Resource provisioning is a technique to efficiently allocate computational resources on-demand in high-performance environments. The goal is to provision resources upon every running con- dition, even if the environment is challenged by different workload patterns (e.g., e-commerce), including peak loads during specific dates, for example, black friday, and christmas. In this dissertation, we focus on resource provisioning of multi-core CPUs for query processing. Our goal is to present a multi-core harnessing model to reduce response time for query processing in relational database systems. We present a high-level model for dynamic synchronization of multi-core in query processing. Our model called PrT-PRO is based on reactive dynamic provi- sioning using Petri Nets Predicate/Transition, which operates through rule-condition-action on top of the performance monitoring. The PrT-PRO seeks an optimal number of CPU cores to quickly respond to on-line needs of query processing. We validate the PrT-PRO on top of the popular open-source DBMS PostgreSQL. The results show that the optimal number of cores given by PrT-PRO substantially reduces the cache misses of CPU when compared with results using all available resources. Moreover, we show that decreasing the cache misses of CPU, it also decreases the response time to execute a particular workload. Thus, we can affirm that the PrT-PRO features a better harnessing of CPU compared with the current internal model of PostgreSQL. Keywords: Computing Resouce provisioning, DBMS, Petri nets.
13

Planejamento por satisfatibilidade clausal e não-clausal baseado na rede de planos

Schreiner, Marcos Antonio 05 October 2012 (has links)
Resumo
14

SimRP - Simulador de Redes de Petri Flexível com geração de código VHDL

Melo, Marcos Martins January 2006 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2006. / Submitted by Alexandre Marinho Pimenta (alexmpsin@hotmail.com) on 2009-11-17T10:01:12Z No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) / Approved for entry into archive by Carolina Campos(carolinacamposmaia@gmail.com) on 2009-11-18T18:28:57Z (GMT) No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) / Made available in DSpace on 2009-11-18T18:28:57Z (GMT). No. of bitstreams: 1 2006_MarcosMartinsMelo.pdf: 8565470 bytes, checksum: 9c31e01c3283d48d2c5adadf43caa40e (MD5) Previous issue date: 2006-07 / O objetivo desta dissertação é implementar uma ferramenta de CAD para a descrição e simulação de Redes de Petri (RdPs) baseadas em software livre, chamada de SimRP. Esta ferramenta de CAD possibilitará a descrição e simulação de diversas RdPs, ou seja, Ordinárias, Temporais, Temporizadas e Interpretadas, além disso, O SimRP disponibilizará a opção de geração de código VHDL (uma linguagem de descrição de hardware), a partir de um modelamento de uma RdP interpretada. Adicionalmente o SimRP permite a verificação de diversas propriedades tais como rede marcada reiniciável, rede marcada viva, rede não pura e detecção de conflitos/deadlocks. Uma característica importante do SimRP é sua flexibilidade, Os usuários poderão descrever uma RdP Ordinária e mais tarde converte-la para outro tipo de rede estudada neste trabalho. Deste modo, os usuários poderão acrescentar atributos a uma RdP ordinária para representar e simular uma RdP Temporal (por exemplo). Estes atributos são facilmente adicionados e deletados pela interface gráfica. O SimRP foi desenvolvido na arquitetura cliente-servidor para garantir a melhor usabilidade/portabilidade. Tanto a instalação quanto a configuração são feitas no servidor. Neste caso, o SimRP necessita apenas de um browser na sua estação de trabalho.O simulador foi desenvolvido baseado na licença GPL, isto permite acesso ilimitado a todas funções do sistema e código fonte, permitindo que os usuários modifiquem e adaptem o sistema de acordo com sua necessidade, sem necessitasse de licença. _______________________________________________________________________________ ABSTRACT / The objective of this dissertation is to implement a description and simulation CAD tool for Petri Nets (PNs) based on open source, called SimRP. This CAD tool will be able to describe and simulate several PNs namely Ordinary, Temporal, Temporized and Interpreted types. Besides this, SimRP provides an option to generate VHDL code (a hardware description language), taking a model of an Interpreted PN. Additionally, SimRP allows several properties verification such as Restartable PN, Marked-alive PN, Not-pure PN and conflicts/deadlocks detection. An important feature of SimRP is its flexibility, since users can describe an ordinary PN and afterwards converts it to another type of network studied here. Thus, users can add certain attributes to an ordinary PN in order to represent and simulate a Temporal PN (for example). These attributes are easily added/deleted through a graphical interface. The SimRP was developed in client-server architecture in order to guarantee the best usability/portability. Both system installation and configuration are made on a server. In this case, a SimRP user needs only a browser in his/her workstation. Given that the simulator was developed under GPL license, this provides an unlimited use to all of its resources, including source code, allowing any user to use, modify, and adapt it to their needs without license requires.
15

Desenvolvimento da unidade de gerenciamento de uma célula flexível de manufatura integrada a um sistema CAD/CAPP/CAM

Teixeira, Evandro Leonardo Silva January 2006 (has links)
Dissertação (mestrado)—Universidade de Brasília, Faculdade de Tecnologia, Departamento de Engenharia Mecânica, 2006. / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-19T20:51:58Z No. of bitstreams: 1 EVANDRO LEONARDO SILVA TEIXEIRA.doc: 428032 bytes, checksum: 4dc4293c8fbd282001516cd00586b4e1 (MD5) / Rejected by Joanita Pereira(joanita), reason: Leandro, Por favor, corrija o campo "título", pois apenas a letra inicial e os nomes próprios deve começar com maiúscula. O arquivo a ser depositado é o da dissertação em PDF e não o arquivo em doc das informações dos metadados. Obrigada, Joanita on 2009-11-20T15:19:35Z (GMT) / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-20T18:29:00Z No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Rejected by Joanita Pereira(joanita), reason: A dissertação apresenta "resumo", "abstract" e "resumen". Favor adicionar o "Resumen". Att Joanita on 2009-11-20T19:19:03Z (GMT) / Submitted by leandro spinola (l.spinolafla@gmail.com) on 2009-11-20T20:59:09Z No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Approved for entry into archive by Joanita Pereira(joanita) on 2009-11-23T16:09:56Z (GMT) No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) / Made available in DSpace on 2009-11-23T16:09:56Z (GMT). No. of bitstreams: 1 dissert_evandro.pdf: 7498335 bytes, checksum: 6fb6802197fb4ca5cb17a06c878a17ab (MD5) Previous issue date: 2006 / Este trabalho apresenta uma metodologia para o projeto e implementação de Células Flexíveis de Manufatura (FMC’s) capaz de promover a fabricação remota de peças utilizando os recursos da World Wide Web. Esta metodologia, denominada WebFMC, descreve um método de integração das estações de trabalho de uma FMC baseado na arquitetura de controle hierárquica modificada e uma arquitetura detalhada para a implementação do sistema de controle da célula (denominado Unidade de Gerenciamento). A abordagem concebida poderá ser utilizada tanto na academia quanto na indústria. Na academia, esta metodologia servirá como modelo para a construção de laboratórios remotos auxiliando os cursos de engenharia no ensino a distância. Na indústria, promoverá a oportunidade de negócios às empresas que não possuem os recursos necessários para a fabricação de seus produtos. O projeto da FMC, a qual este trabalho faz referência, foi concebido a partir de um trabalho inicial de modelagem. As técnicas utilizadas (modelagem por simulação via workspace e modelagem a eventos discretos via Redes de Petri) resultaram na definição do layout da célula e nas mensagens que devem ser trocadas entre as estações de trabalho respectivamente. Os métodos IDEF0 e IDEF1x, da metodologia IDEF, foram utilizados para projetar e documentar respectivamente o modelo funcional e de dados da Unidade de Gerenciamento. A Unidade de Gerenciamento (MgU), como sistema computacional, foi projetada com base no Processo Unificado da Rational (RUP). Isto resultou na incorporação de elementos da célula e nas mensagens que devem ser trocadas entre as estações de trabalho respectivamente. Os métodos IDEF0 e IDEF1x, da metodologia IDEF, foram utilizados para projetar e documentar respectivamente o modelo funcional e de dados da Unidade de Gerenciamento. A Unidade de Gerenciamento (MgU), como sistema computacional, foi projetada com base no Processo Unificado da Rational (RUP). Isto resultou na incorporação de elementos da tecnologia de orientação a objetos na construção de um sistema computacional reutilizável e de fácil manutenção. Utilizou-se a Linguagem de Modelagem Unificada (UML) para documentar os fluxos de trabalho do ciclo de vida da MgU. Java é a tecnologia utilizada na implementação da MgU. As API’s e tecnologias associadas fornecem o suporte necessário para que a MgU possa ser executada via internet (via JNLP - URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), para que tenha acesso a base de dados (via JDBC) e se comunique com as estações de trabalho (utilizando a API Java Communication e a interface JNI). _______________________________________________________________________________ ABSTRACT / The aim of this work is to present a methodology to design and to implement Flexible Manufacturing Cell (FMC’s) that should be used to manufacture parts remotely using the World Wide Web resources. This methodology (WebFMC) describes a method to integrate the FMC workstations based on the hierarchical modified control architecture and an architecture to implement the cell control system (Management Unit). This methodology approach can be applied in academic centre such as in the industry. In academic centre will serve as a model to built remote laboratories to the engineering courses in the distance learning. On the industry, will promote the business opportunity to the every company that does not possess the necessary resources to manufacture their products. The design of this FMC is based on the modeling work. The simulation modeling by workspace and the discrete event modeling by Petri Nets was used to define the cell layout and to describe the messages that should be changed among the workstations respectively. The methods IDEF0 and IDEF1x, from the IDEF methodology, were used to design and to document the functional and data modeling from the Management Unit. The Management Unit (MgU), as a computational system, was designed based on the Rational Unified Process (RUP). Based on this approach, was possible to aggregate important elements of object oriented design to build a computational system reusable and easiest maintenance. The Unified Modeling Language (UML) was used to design and to document the Management Unit’s cycle life. Java is the technology used to implement the MgU. The API’s and associated technology supply the necessary support to run the MgU by internet (via JNLP - URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), to access the database (via JDBC) and to establish the communication with the workstations (using the API Java Communication and the Interface JNI). ________________________________________________________________________________ RESUMEN / Este trabajo presenta una metodología para el proyecto y la implementación de Células Flexibles de Manufactura (FMC’s), utilizadas el la fabricación remota de piezas, empleando los recurso de la World Wide Web. Esta metodología, denominada WebFMC, describe un método de integración de la estaciones de trabajo de una FMC, basado en la arquitectura de control jerárquica modificada y una arquitectura para la implementación de los sistema de control de la célula (Unidad de Control). Esta metodología podrá ser utilizada tanto en lo académico como en lo industrial. En lo académico servirá como un modelo para la implementación de laboratorios remotos; en lo industrial, promoverá la oportunidad de negócios para empresas que aún no poseen las herramientas para la manufactura del producto. El proyecto de la FMC de este trabajo, fue concebido a partir de un trabajo inicial de modelamiento. Las técnicas utilizadas (modelamiento por simulación empleando el workspace y modelamiento a eventos discretos empleando Redes de Petri) resultaron en la definición del layout de la célula y los mensajes intercambiados entre las estaciones de trabajo. Los métodos IDEF0 e IDEF1x de la metodología IDEF, fueron utilizados para proyectar y documentar respectivamente el modelo funcional y de de datos de la Unidad de Control. La Unidad de Control (MgU) fue proyectada con base en el Proceso Unificado de la Rational (RUP). Esto resultó en la incorporación de elementos de tecnología orientada a objetos en la construcción de un sistema computacional reutilizable y de fácil mantenimiento. El Lenguaje Unificado de Modelaminento (UML) fue utilizado para documentar los fluxos de trabajo del ciclo de vida de la MgU. Java es la tecnología empleada en la implementación de la MgU. Las API’s y las tecnologías asociadas suministran el soporte necesario para ejecutar la MgU por la Internet (via JNLP URL: http://webfmc.graco.unb.br/mgu/mgu.jnlp), para accesar la base de datos (via JDBC) y para comunicarse con las estaciones de trabajo (API Java Communication y la interface JNI).
16

Modelagem formal, simulação e análise em redes de Petri coloridas da realização de atividades laboratoriais a distância presentes no framework ubiquitous lab for practical activities (u-LabPA) / Formal modeling, simulation and analysis in petri networks color of the conduct of distance laboratory activities presents in framework ubiquitous lab for practical activities (ulabpa)

Pequeno Filho, Paulo de Tarso Cavalcante 16 December 2016 (has links)
PEQUENO FILHO, Paulo de Tarso Cavalcante. Modelagem formal, simulação e análise em redes de Petri coloridas da realização de atividades laboratoriais a distância presentes no framework ubiquitous lab for practical activities (u-LabPA). 2016. 79 f. Dissertação (Mestrado em Engenharia de Teleinformática)–Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2016. / Submitted by Hohana Sanders (hohanasanders@hotmail.com) on 2017-03-22T12:01:27Z No. of bitstreams: 1 2016_dis_ptcpequenofilho.pdf: 3165891 bytes, checksum: 045c65071d0047486f99198e7a53b314 (MD5) / Approved for entry into archive by Marlene Sousa (mmarlene@ufc.br) on 2017-06-01T19:33:07Z (GMT) No. of bitstreams: 1 2016_dis_ptcpequenofilho.pdf: 3165891 bytes, checksum: 045c65071d0047486f99198e7a53b314 (MD5) / Made available in DSpace on 2017-06-01T19:33:07Z (GMT). No. of bitstreams: 1 2016_dis_ptcpequenofilho.pdf: 3165891 bytes, checksum: 045c65071d0047486f99198e7a53b314 (MD5) Previous issue date: 2016-12-16 / Ubiquitous Computing is an area that relates technologies and concepts such as Pervasiveness, Mobility, Adaptability and Location-Oriented Applications. Among the technologies that stand out today in this area there are Wireless Sensor Networks and Radio Frequency Identification Networks, which are being used together to monitor and identify objects and people. Within the scope of Ubiquitous Computing, there are Ubiquitous Laboratories (u-Lab) which are laboratories that have sensing, provision of software services to support the user, support to the performance of activities, among other characteristics. In order to offer support to practices performed in Ubiquitous Laboratories a framework called Ubiquitous Laboratory for Practical Activities (u-LabPA) was created, which allows students to collect data from laboratory activities and to access them later in the form of simulations or virtual environments. In this work we perform the formal modeling and simulation using Colored Petri Nets (RdPC), as well as the analysis of the results of the requisits "Authentication", "Register Activity", "Register User Activity", “Provide User Activities”, "Perform Activity", present in the u-LabPA framework. The results of this analysis reveal that the activity flow of the u-LabPA framework met its basic requirements as well as the stress tests for which it was submitted, maintaining its consistency and its behavior within the expected spectrum. / A Computação Ubíqua é uma área que relaciona tecnologias e conceitos como Pervasividade, Mobilidade, Adaptabilidade e Aplicações Orientadas à Localização. Dentre as tecnologias que se destacam hoje nesta área, têm-se as Redes de Sensores Sem Fio e de Identificação por Radiofrequência, que estão sendo usadas em conjunto para monitorar e identificar objetos e pessoas. Dentro do escopo da Computação Ubíqua, existem os Laboratórios Ubíquos (u-Lab) que são laboratórios que possuem sensoriamento, provimento de serviços de software de apoio ao usuário, apoio a realização de atividades, dentre outras características. A fim de dar suporte às práticas realizadas em Laboratórios Ubíquos foi criado o framework chamado Ubiquitous Laboratory for Practical Activities (u-LabPA), que permite a alunos colherem dados de atividades laboratoriais e acessá-los a posteriori na forma de simulações ou ambientes virtuais. Neste trabalho é feita a modelagem formal e simulação em Redes de Petri Coloridas (RdPC), bem como a análise de resultados dos requisitos “Autenticação”, “Cadastra Atividade”, “Registra Atividade de Usuário”, “Disponibiliza Atividades de Usuário” e “Realiza Atividade”, presentes no framework u-LabPA. Os resultados desta análise mostram que o fluxo de realização de atividades do framework u-LabPA atendeu a seus requisitos básicos bem como aos testes de estresse para o qual foi submetido, mantendo sua coerência e o seu comportamento dentro do esperado.
17

Avalição do desempenho logístico de cadeias produtivas agroindustriais: um modelo com base no tempo de ciclo / Performance assessment of agribusiness supply chain: a cicle time-based logistical model

Costa, Eugênio José Saraiva Câmara 11 1900 (has links)
COSTA, E. J. S. C. Avaliação do desempenho logístico de cadeias produtivas agroindustriais: um modelo com base no tempo de ciclo. 2002. 182 f. Dissertação (Mestrado em Engenharia de Transportes) - Centro de Tecnologia, Universidade Federal do Ceará, Fortaleza, 2002. / Submitted by Zacarias Barbosa Matias Junior (zaca@det.ufc.br) on 2013-05-17T17:33:52Z No. of bitstreams: 1 2002_dis_ejsccosta.pdf: 1871378 bytes, checksum: 4ae67bb2aa42cabbc61862a93a4c40c5 (MD5) / Approved for entry into archive by Marlene Sousa(mmarlene@ufc.br) on 2013-05-27T12:46:19Z (GMT) No. of bitstreams: 1 2002_dis_ejsccosta.pdf: 1871378 bytes, checksum: 4ae67bb2aa42cabbc61862a93a4c40c5 (MD5) / Made available in DSpace on 2013-05-27T12:46:19Z (GMT). No. of bitstreams: 1 2002_dis_ejsccosta.pdf: 1871378 bytes, checksum: 4ae67bb2aa42cabbc61862a93a4c40c5 (MD5) Previous issue date: 2002-11 / In the past two decades enterprises have been forced to adopt a more effective control of theirs logistics performance both in activities which depends on their own as in those linked to the supply chain they take part of. In performance assessment tasks, indicators are crucial to make feasible the evaluation process, which must show in what degree the enterprise’s stated objectives are being reached. The broad scope and the high complexity of the logistics performance evaluation process make necessary to use a due simplification on its modeling. This work presents a performance assessment model focused on the agribusiness supply chains, making use of Petri nets technique. A case study is presented and discussed concerning the melon in naturain the Agropólo Baixo Jaguaribe, a fruit production region supported by irrigation and situated in Ceará State, northeastern Brazil. The melon fruit is presently the main export fruit in Brazil and Ceará is the second larger exporter state. The proposed model is mainly based on the lead time variable and makes easily possible to visualize and to understand the performance involved with the dynamic structure analyzed in the melon supply chain. It was found that Petri nets technique may be useful in decision -taking process through the construction of scenarios and analyses of simulated courses of action. The model application results duly replicates real outputs in the case study. / Em menos de duas décadas, um novo mundo competitivo emergiu despertando nas organizações a necessidade de um controle mais efetivo de seu desempenho logístico, tanto individual quanto coletivamente (ao longo da supply chain). Embora não sejam um fim em si mesmos, os parâmetros de desempenho são fundamentais na medida em quepossibilitam às empresas avaliarem se os objetivos estabelecidos dentro da estrutura logística adotada estão sendo alcançados. Todavia, a complexidade e abrangência do assunto implicam na simplificação deste processo (de avaliação) e na utilização de ferramentas que o auxiliem. Nesse sentido, o presente trabalho apresenta um modelo de avaliação do desempenho logístico de cadeias produtivas agroindustriais, elaborado a partir de redes de Petri e que teve como ambiente de aplicação o segmento da fruticultura irrigada, especificamente, a cadeia logística do melão in naturaproduzido no Agropólo Baixo Jaguaribe (Ceará). A escolha da fruticultura irrigada se deve ao fato desta vir se constituindo numa das principais atividades da cena econômica nordestina. Nesse contexto, o melão se coloca como a principal fruta exportada pelo Brasil e o Ceará, por sua vez, como o segundo maior produtor de melão do país. O Modelo de Avaliação do Desempenho Logístico de Cadeias Produtivas – ADELCAPpermite, além da avaliação de desempenho (com base no tempo de ciclo) a visualização e análise, a qualquer instante, da dinâmica da estrutura modelada. Mostra-se, no trabalho, que esta característica, subjacente aos modelos desenvolvidos com redes de Petri, pode auxiliar o tomador de decisões através da construção de cenários e simulações operacionais na cadeia estudada. Seu emprego apresentou bons resultados quando comparados à situação atual das unidades de médio porte que produzem melão no Agropólo Baixo Jaguaribe.
18

Redes de regulação gênica

Simão, Eugênio January 2006 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Química / Made available in DSpace on 2013-07-16T03:04:33Z (GMT). No. of bitstreams: 1 241649.pdf: 3341855 bytes, checksum: 05e7e08ad9fe7613d4d2cc85daf872db (MD5) / Vias metabólicas são descritas por um conjunto de reações bioquímicas acopladas por um metabólito intermediário em comum. Cada uma das reações deste conjunto é facilitada pela presença de uma enzima. O estudo destes sistemas geralmente assume que a concentração de enzimas é constante e seu efeito é abstraído pela velocidade de reação identificada por seu parâmetro cinético correspondente. Enzimas por sua vez, são o resultado de uma complexa rede de interações biomoleculares governadas por um conjunto de sinais que podem levar a ativação ou a repressão da produção destas enzimas. Com o avanço da biologia molecular e conseqüentemente das inovações tecnológicas relacionadas, a quantidade de informações disponível possibilita considerar também as redes de regulação genômica que dão origem às enzimas e incluí-la na análise de vias metabólicas. Redes de regulação genômicas demonstram um forte caráter combinatório, enquanto que reações bioquímicas demonstram um caráter fluido e contínuo. Desta forma, a modelagem e análise de vias metabólicas reguladas naturalmente enquadram-se sob o domínio de sistemas híbridos. No entanto, como uma primeira abordagem de validação ou refutação de hipóteses sobre observações biológicas, vias metabólicas reguladas podem ser modeladas e analisadas por métodos formais da matemática discreta. Neste trabalho, redes de regulação genômicas serão modeladas e analisadas pelo formalismo de grafos regulatórios e reações bioquímicas por redes de Petri. Em seguida, o grafo de regulação será transcrito para um modelo equivalente em termos de redes de Petri. Finalmente, o modelo integrado da via metabólica com a rede de regulação, ambas sob o formalismo de rede de Petri, será analisado. Os mecanismos de regulação da produção do aminoácido aromático triptofano pela Escherichia coli serão utilizados para compor o modelo biológico. Metabolic pathways can be described by a set of biochemical reactions coupled by a common intermediate metabolite. Each one of these reactions is facilitated by the presence of an enzyme. Biochemical reactions modeling always assume a constant enzyme concentration, and its effect on the system is abstracted by its corresponding kinetic parameter. Enzymes are the result of a complex biomolecular interactive network, ruled by a set of signals, which can activate or deactivate the process of enzyme production. Molecular biology recent discoveries and its accompanying technological innovations produce an enormous set of molecular level information, which permits to consider the inclusion of genetic regulatory networks to the analyses of biochemical networks. Genetic regulatory networks have a strongly combinatorial behavior, while biochemical networks exhibits a fluid and continuous character. Therefore, regulated biochemical networks are naturally under hybrid system domain of modeling and analysis. However, discrete mathematical methods can be used to model regulated metabolic pathways as a first method to validate or refuse biological hypothesis. In this work, genetic regulatory networks will be modeled and analyzed under the regulatory graph formalism, and biochemical networks as Petri nets. In the sequel, the logic regulatory graph will be translated to an equivalent Petri net model. Finally, the model resulted from the integration of biochemical networks with the genetic regulatory network, both in terms of Petri nets, will be analyzed. The regulatory mechanisms of tryptophan production by Escherichia coli will be used as a biological model.
19

Contribuições ao controle supervisório utilizando técnicas de verificação formal e sistemas modelados por redes de Petri

Braga, Rodrigo Pimenta Ferreira January 2006 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Elétrica. / Made available in DSpace on 2012-10-22T06:54:46Z (GMT). No. of bitstreams: 1 229642.pdf: 913013 bytes, checksum: b91e4f245fcd6bd232b3b75341b7ea38 (MD5) / A resolução de diferentes problemas relacionados aos Sistemas a Eventos Discretos deu origem a duas classes de técnicas bem definidas. De um lado estão as técnicas de síntese automática de supervisores, cuja maior contribuição é a menor interação com o projetista durante o processo de cálculo. De outro lado, as técnicas de verificação formal, que permitem ao projetista verificar se uma dada especificação é válida para um sistema (controlado ou não). Dentro deste contexto, o presente trabalho contribui para a unificação destas técnicas, ao incorporar sistemas de equações escritas em µ-calculus ao processo de síntese de supervisores em sistemas modelados por redes de Petri. Após a etapa de determinação do comportamento minimamente restritivo, utiliza-se a Teoria das Regiões para implementar o supervisor por meio da adição de lugares de controle à rede de Petri que modela o comportamento do sistema em malha aberta. Para isto, utilizam-se alguns princípios das abordagens Ziller e Schneider e Ghaffari et al., em conjunto com alguns aspectos peculiares. O principal resultado é a proposta de uma nova metodologia tão flexível e computacionalmente eficiente quanto a abordagem Ramadge e Wonham, permitindo a resolução de alguns exemplos tratados na literatura. Ao herdar as boas características das abordagens anteriores, a metodologia proposta também pode ser generalizada, de forma que problemas não abordados diretamente pela abordagem Ramadge e Wonham possam ser tratados. Como principais ferramentas de apoio, foram utilizados os softwares Tina e MEC. Por último, são apresentadas perspectivas visando incorporar explicitamente aspectos temporais ao processo de síntese.
20

Formalização da rede de Petri canal/agência para projeto de equipamentos industriais

Belan, Henri Carlo January 2007 (has links)
Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica / Made available in DSpace on 2012-10-23T03:05:05Z (GMT). No. of bitstreams: 1 241204.pdf: 7988999 bytes, checksum: 08abfedc69c3b44a244d2f14da7f0dbe (MD5) / Esta dissertação apresenta uma proposta de formalização para a estrutura da rede de Petri Canal/Agência (rede C/A ou RdP C/A). A rede C/A é um modelo funcional e estrutural usado principalmente na fase de projeto conceitual de sistemas técnicos, particularmente em sistemas automáticos. Trata-se de uma ferramenta útil para situações onde existe a necessidade de um modelo capaz de integrar e otimizar os diferentes aspectos inerentes ao projeto, adaptando-se às várias tecnologias e possibilitando uma efetiva interação entre as equipes envolvidas. Graficamente a RdP C/A é um grafo direcionado bipartido, composto por dois elementos básicos: unidades ativas, representadas por retângulos e unidades passivas representadas por círculos, conectados por arcos direcionados que representam o fluxo de recursos. O formalismo proposto consiste em gerar um modelo matemático equivalente à estrutura do modelo gráfico, baseado na teoria de conjuntos, funções e matrizes, similarmente ao tratamento dado as redes de Petri marcadas. Com o formalismo inserido à RdP C/A se torna possível a elaboração de métodos matemáticos de análise e síntese da rede. Neste trabalho de mestrado serão expostos os procedimentos de análise de coerência estrutural, de fluxo de recursos e dependência, como também os procedimentos de condensação e análise de compatibilidade entre redes C/A. Procedimentos estes que, apesar de ainda não comporem um software, podem ser utilizados como guia para a criação de uma ferramenta computacional capaz de executar todas as rotinas matemáticas automaticamente. A fim de validar a teoria inserida nesta dissertação, todos os conceitos teóricos são aplicados ao projeto de um regulador de velocidade para a central hidrelétrica Passo do Inferno, que utiliza uma turbina do tipo Francis e tem potência nominal igual a 1.665 kVA. Os métodos de análise e a rede C/A, agora formal, são aplicados sobre a central hidrelétrica a fim de obter um modelo geral coerente, baseado em uma hierarquia de redes C/A, capaz de representar o sistema como um todo. O detalhamento, utilizando diagramas específicos, fica restrito à unidade de potência hidráulica e aos sistemas hidráulicos que atuam na regulagem da velocidade.

Page generated in 0.1704 seconds