• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 222
  • 7
  • 5
  • 4
  • 1
  • Tagged with
  • 239
  • 239
  • 100
  • 86
  • 47
  • 44
  • 43
  • 29
  • 29
  • 29
  • 29
  • 25
  • 24
  • 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

Analisador automatico de rede de petri temporizada para validação de protocolos de comunicação

Marton, Mauro 13 July 2018 (has links)
Orientador: Walter da Cunha Borelli / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-13T21:49:30Z (GMT). No. of bitstreams: 1 Marton_Mauro_M.pdf: 4622503 bytes, checksum: aa4e42e8be05f77d3135f63306a2d75d (MD5) Previous issue date: 1989 / Resumo: Não informado / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica
12

WebGraf : Aplicação Web para execução de GRAFCETs e redes de Petri em controladores lógicos programáveis

Gomes, António Filipe Nunes January 2003 (has links)
Dissertação apresentada para obtenção do grau de Mestre em Automação, Instrumentação e Controlo, na Faculdade de Engenharia da Universidade do Porto, sob a orientação do Professor Doutor António José Pessoa de Magalhães
13

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.
14

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.
15

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.
16

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.
17

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.
18

Um modelo para o planejamento e a programação da produção em ambientes job shop baseado em redes de Petri

Chile Palomino, Reynaldo January 2001 (has links)
Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia de Produção / Made available in DSpace on 2012-10-18T11:14:59Z (GMT). No. of bitstreams: 0Bitstream added on 2014-09-25T22:40:28Z : No. of bitstreams: 1 182895.pdf: 3987168 bytes, checksum: dc262a6c5ad06c06dab04cdc32b4ed29 (MD5) / Um dos maiores desafios enfrentados pela administração da produção e do qual depende muito a eficiência de todo sistema produtivo, sobretudo em ambientes flexíveis de manufatura, é a forma como são tratados os problemas relacionados com o planejamento e a programação da produção. O problema do planejamento esta geralmente relacionado com a quantidade de cada tipo de produto a ser fabricado em cada período de planejamento, dentro de um determinado horizonte, tendo como objetivo satisfazer uma demanda prevista a um custo mínimo. A programação da produção, por sua vez, tem por função a alocação ótima de recursos às operações produtivas com a finalidade de cumprir com a fabricação das quantidades planejadas previamente. Este problema (programação) resulta sendo muito difícil de ser resolvido, sobretudo quando se trabalha em ambientes flexíveis, onde diferentes máquinas são capazes de realizar variadas operações. Neste sentido, o presente trabalho tem como objetivo apresentar as Redes de Petri como uma ferramenta de modelagem tanto gráfica como matemática, para resolver os problemas relacionados com o planejamento e a programação da produção, em ambientes flexíveis de manufatura do tipo job shop.
19

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.
20

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

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

Page generated in 0.1093 seconds