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

Detalhes bibliográficos
Ano de defesa: 2007
Autor(a) principal: Belan, Henri Carlo
Orientador(a): Cury, Jose Eduardo R
Banca de defesa: Não Informado pela instituição
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Florianópolis, SC
Programa de Pós-Graduação: Não Informado pela instituição
Departamento: Não Informado pela instituição
País: Não Informado pela instituição
Link de acesso: http://repositorio.ufsc.br/xmlui/handle/123456789/89820
Resumo: Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica
id UFSC_033e7d12c63c4a8bc5f4b879b37f4c14
oai_identifier_str oai:repositorio.ufsc.br:123456789/89820
network_acronym_str UFSC
network_name_str Repositório Institucional da UFSC
repository_id_str
spelling Universidade Federal de Santa CatarinaBelan, Henri CarloCury, Jose Eduardo RDe Negri, Victor Juliano2012-10-23T03:05:05Z2012-10-23T03:05:05Z20072007241204http://repositorio.ufsc.br/xmlui/handle/123456789/89820Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia MecânicaEsta 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.1 v.| il., grafs., tabs.porFlorianópolis, SCEngenharia mecânicaIndustriaEquipamento e acessoriosRedes de petriFormalização da rede de Petri canal/agência para projeto de equipamentos industriaisinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisreponame:Repositório Institucional da UFSCinstname:Universidade Federal de Santa Catarina (UFSC)instacron:UFSCinfo:eu-repo/semantics/openAccessORIGINAL241204.pdfapplication/pdf7988999https://repositorio.ufsc.br/bitstream/123456789/89820/1/241204.pdf08abfedc69c3b44a244d2f14da7f0dbeMD51TEXT241204.pdf.txt241204.pdf.txtExtracted Texttext/plain315106https://repositorio.ufsc.br/bitstream/123456789/89820/2/241204.pdf.txt39962203938eb7ca5c42d0b7cceb9f72MD52THUMBNAIL241204.pdf.jpg241204.pdf.jpgGenerated Thumbnailimage/jpeg707https://repositorio.ufsc.br/bitstream/123456789/89820/3/241204.pdf.jpg673eb773a1c9a281ec2c260b6a341261MD53123456789/898202013-05-04 00:00:20.892oai:repositorio.ufsc.br:123456789/89820Repositório InstitucionalPUBhttp://150.162.242.35/oai/requestsandra.sobrera@ufsc.bropendoar:23732013-05-04T03:00:20Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)false
dc.title.pt_BR.fl_str_mv Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
title Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
spellingShingle Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
Belan, Henri Carlo
Engenharia mecânica
Industria
Equipamento e acessorios
Redes de petri
title_short Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
title_full Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
title_fullStr Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
title_full_unstemmed Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
title_sort Formalização da rede de Petri canal/agência para projeto de equipamentos industriais
author Belan, Henri Carlo
author_facet Belan, Henri Carlo
author_role author
dc.contributor.pt_BR.fl_str_mv Universidade Federal de Santa Catarina
dc.contributor.author.fl_str_mv Belan, Henri Carlo
dc.contributor.advisor1.fl_str_mv Cury, Jose Eduardo R
dc.contributor.advisor-co1.fl_str_mv De Negri, Victor Juliano
contributor_str_mv Cury, Jose Eduardo R
De Negri, Victor Juliano
dc.subject.classification.pt_BR.fl_str_mv Engenharia mecânica
Industria
Equipamento e acessorios
Redes de petri
topic Engenharia mecânica
Industria
Equipamento e acessorios
Redes de petri
description Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Engenharia Mecânica
publishDate 2007
dc.date.submitted.pt_BR.fl_str_mv 2007
dc.date.issued.fl_str_mv 2007
dc.date.accessioned.fl_str_mv 2012-10-23T03:05:05Z
dc.date.available.fl_str_mv 2012-10-23T03:05:05Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/masterThesis
format masterThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://repositorio.ufsc.br/xmlui/handle/123456789/89820
dc.identifier.other.pt_BR.fl_str_mv 241204
identifier_str_mv 241204
url http://repositorio.ufsc.br/xmlui/handle/123456789/89820
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv 1 v.| il., grafs., tabs.
dc.publisher.none.fl_str_mv Florianópolis, SC
publisher.none.fl_str_mv Florianópolis, SC
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFSC
instname:Universidade Federal de Santa Catarina (UFSC)
instacron:UFSC
instname_str Universidade Federal de Santa Catarina (UFSC)
instacron_str UFSC
institution UFSC
reponame_str Repositório Institucional da UFSC
collection Repositório Institucional da UFSC
bitstream.url.fl_str_mv https://repositorio.ufsc.br/bitstream/123456789/89820/1/241204.pdf
https://repositorio.ufsc.br/bitstream/123456789/89820/2/241204.pdf.txt
https://repositorio.ufsc.br/bitstream/123456789/89820/3/241204.pdf.jpg
bitstream.checksum.fl_str_mv 08abfedc69c3b44a244d2f14da7f0dbe
39962203938eb7ca5c42d0b7cceb9f72
673eb773a1c9a281ec2c260b6a341261
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFSC - Universidade Federal de Santa Catarina (UFSC)
repository.mail.fl_str_mv sandra.sobrera@ufsc.br
_version_ 1851758848440795136

Registros relacionados