Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.

Detalhes bibliográficos
Ano de defesa: 2005
Autor(a) principal: RODRIGUES NETO, Félix. lattes
Orientador(a): LIMA, Antonio Marcus Nogueira. lattes, FRANÇA, Kepler Borges. lattes
Banca de defesa: TURNELL, Maria de Fátima Queiroz Vieira., CORREA, Maurício Beltrão de Rossiter.
Tipo de documento: Dissertação
Tipo de acesso: Acesso aberto
Idioma: por
Instituição de defesa: Universidade Federal de Campina Grande
Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
Departamento: Centro de Engenharia Elétrica e Informática - CEEI
País: Brasil
Palavras-chave em Português:
Automação - Supervisão
Dessalinização
Osmose Inversa
Redes de Petri
Modelagem
Automation - Supervision
Desalination
Reverse Osmosis
Petri Nets
Modeling
Área do conhecimento CNPq:
Engenharia Elétrica
Link de acesso: https://dspace.sti.ufcg.edu.br/handle/riufcg/8609
Resumo: Este trabalho trata da modelagem e controle de um sistema de dessalinização via osmose inversa, alimentado por um sistema híbrido de geração de energia elétrica, baseado em fontes de energias renováveis, utilizando redes de Petri coloridas como ferramenta de análise e projeto. A abordagem proposta utiliza a teoria de redes de Petri. Para elaboração deste trabalho foram utilizados algoritmos para enumeração do espaço de estados do modelo e para obtenção das funções de habilitação das transições da rede que representa a automatização do sistema de dessalinização juntamente com o sistema híbrido de energia. Foi desenvolvida uma rede de Petri colorida que abordasse o funcionamento completo do sistema de dessalinização, incluindo o sistema híbrido de energia. Foram realizadas simulações desta rede através da ferramenta computacional Design/CPN, obtendo-se os resultados esperados. Com base nestes resultados foram realizadas algumas análises com o objetivo de mostrar que a automatização proposta para este processo está correta, pois todas as propriedades inerentes a redes de Petri foram veri cadas, ou seja, o sistema não apresenta nenhum problema, tais como, bloqueio, inalcançabilidade, e irreversibilidade. A metodologia aplicada neste trabalho demonstra a aplicabilidade de redes de Petri no desenvolvimento de automatização de um processo de dessalinização por osmose inversa.
id UFCG_3b6ac51e7784d64e6f1b09c8d172177a
oai_identifier_str oai:dspace.sti.ufcg.edu.br:riufcg/8609
network_acronym_str UFCG
network_name_str Biblioteca Digital de Teses e Dissertações da UFCG
repository_id_str
spelling LIMA, Antonio Marcus Nogueira.FRANÇA, Kepler Borges.LIMA, A. M. N.FRANÇA, K. B.http://lattes.cnpq.br/2237395961717699http://lattes.cnpq.br/3620576114544758TURNELL, Maria de Fátima Queiroz Vieira.CORREA, Maurício Beltrão de Rossiter.RODRIGUES NETO, F.http://lattes.cnpq.br/5700630165059735RODRIGUES NETO, Félix.Este trabalho trata da modelagem e controle de um sistema de dessalinização via osmose inversa, alimentado por um sistema híbrido de geração de energia elétrica, baseado em fontes de energias renováveis, utilizando redes de Petri coloridas como ferramenta de análise e projeto. A abordagem proposta utiliza a teoria de redes de Petri. Para elaboração deste trabalho foram utilizados algoritmos para enumeração do espaço de estados do modelo e para obtenção das funções de habilitação das transições da rede que representa a automatização do sistema de dessalinização juntamente com o sistema híbrido de energia. Foi desenvolvida uma rede de Petri colorida que abordasse o funcionamento completo do sistema de dessalinização, incluindo o sistema híbrido de energia. Foram realizadas simulações desta rede através da ferramenta computacional Design/CPN, obtendo-se os resultados esperados. Com base nestes resultados foram realizadas algumas análises com o objetivo de mostrar que a automatização proposta para este processo está correta, pois todas as propriedades inerentes a redes de Petri foram veri cadas, ou seja, o sistema não apresenta nenhum problema, tais como, bloqueio, inalcançabilidade, e irreversibilidade. A metodologia aplicada neste trabalho demonstra a aplicabilidade de redes de Petri no desenvolvimento de automatização de um processo de dessalinização por osmose inversa.This work shows the modeling and control of a system of desalination through reverse osmosis, fed by a hybrid system of electric power generation, based on sources of renewable energies, using colored Petri nets as a tool for analysis and projecting. The proposed approach uses the theory of Petri nets. For elaboration of this work was used algorithms for enumeration of the states space model and for obtaining the enabling functions of the net transitions that represents the automation of the desalination system along with the hybrid energy system. It was developed a colored Petri net that approached the complete operation of the desalination system, including the energy hybrid system. Simulations of this net were accomplished through the computer tool Design/CPN, and the expected results were obtained. Based on these results, some analysis were performed with the objective of showing that the automation propose for this process is correct, because all the inherent properties to Petri nets were veri ed. In other words, the system does not present any problem, such as, dead lock, unreachability, and non reversibility. The applied methodology in this work demonstrates the usefulness of Petri nets in the development of automation in a reverse osmosis desalination process.Submitted by Deyse Queiroz (deysequeirozz@hotmail.com) on 2019-10-29T14:03:04Z No. of bitstreams: 1 FÉLIX RODRIGUES NETO - DISSERTAÇÃO PPGEE 2005..pdf: 2577889 bytes, checksum: f0e733761dfef3ca488207ae07913511 (MD5)Made available in DSpace on 2019-10-29T14:03:04Z (GMT). No. of bitstreams: 1 FÉLIX RODRIGUES NETO - DISSERTAÇÃO PPGEE 2005..pdf: 2577889 bytes, checksum: f0e733761dfef3ca488207ae07913511 (MD5) Previous issue date: 2005-12-15Universidade Federal de Campina GrandePÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICAUFCGBrasilCentro de Engenharia Elétrica e Informática - CEEIEngenharia ElétricaAutomação - SupervisãoDessalinizaçãoOsmose InversaRedes de PetriModelagemAutomation - SupervisionDesalinationReverse OsmosisPetri NetsModelingModelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.Modeling and control of a reverse osmosis desalination system using petri nets.2005-12-152019-10-29T14:03:04Z2019-10-292019-10-29T14:03:04Zhttps://dspace.sti.ufcg.edu.br/handle/riufcg/8609RODRIGUES NETO, Félix. Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri. 2005. 122 f. Dissertação (Mestrado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande, Paraíba, Brasil, 2005.info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisporinfo:eu-repo/semantics/openAccessreponame:Biblioteca Digital de Teses e Dissertações da UFCGinstname:Universidade Federal de Campina Grande (UFCG)instacron:UFCGTEXTFÉLIX RODRIGUES NETO - DISSERTAÇÃO PPGEE 2005.pdf.txtFÉLIX RODRIGUES NETO - DISSERTAÇÃO PPGEE 2005.pdf.txttext/plain215804https://dspace.sti.ufcg.edu.br/bitstream/riufcg/8609/4/F%C3%89LIX+RODRIGUES+NETO+-+DISSERTA%C3%87%C3%83O+PPGEE+2005.pdf.txt86c49cb66e3273525b50c419717580a9MD54ORIGINALFÉLIX RODRIGUES NETO - DISSERTAÇÃO PPGEE 2005.pdfFÉLIX RODRIGUES NETO - DISSERTAÇÃO PPGEE 2005.pdfapplication/pdf2789493https://dspace.sti.ufcg.edu.br/bitstream/riufcg/8609/3/F%C3%89LIX+RODRIGUES+NETO+-+DISSERTA%C3%87%C3%83O+PPGEE+2005.pdf2e6caaf65967cbe279541cdddda2ff17MD53LICENSElicense.txtlicense.txttext/plain; charset=utf-81748https://dspace.sti.ufcg.edu.br/bitstream/riufcg/8609/2/license.txt8a4605be74aa9ea9d79846c1fba20a33MD52riufcg/86092025-07-24 06:04:29.978oai:dspace.sti.ufcg.edu.br:riufcg/8609Tk9URTogUExBQ0UgWU9VUiBPV04gTElDRU5TRSBIRVJFClRoaXMgc2FtcGxlIGxpY2Vuc2UgaXMgcHJvdmlkZWQgZm9yIGluZm9ybWF0aW9uYWwgcHVycG9zZXMgb25seS4KCk5PTi1FWENMVVNJVkUgRElTVFJJQlVUSU9OIExJQ0VOU0UKCkJ5IHNpZ25pbmcgYW5kIHN1Ym1pdHRpbmcgdGhpcyBsaWNlbnNlLCB5b3UgKHRoZSBhdXRob3Iocykgb3IgY29weXJpZ2h0Cm93bmVyKSBncmFudHMgdG8gRFNwYWNlIFVuaXZlcnNpdHkgKERTVSkgdGhlIG5vbi1leGNsdXNpdmUgcmlnaHQgdG8gcmVwcm9kdWNlLAp0cmFuc2xhdGUgKGFzIGRlZmluZWQgYmVsb3cpLCBhbmQvb3IgZGlzdHJpYnV0ZSB5b3VyIHN1Ym1pc3Npb24gKGluY2x1ZGluZwp0aGUgYWJzdHJhY3QpIHdvcmxkd2lkZSBpbiBwcmludCBhbmQgZWxlY3Ryb25pYyBmb3JtYXQgYW5kIGluIGFueSBtZWRpdW0sCmluY2x1ZGluZyBidXQgbm90IGxpbWl0ZWQgdG8gYXVkaW8gb3IgdmlkZW8uCgpZb3UgYWdyZWUgdGhhdCBEU1UgbWF5LCB3aXRob3V0IGNoYW5naW5nIHRoZSBjb250ZW50LCB0cmFuc2xhdGUgdGhlCnN1Ym1pc3Npb24gdG8gYW55IG1lZGl1bSBvciBmb3JtYXQgZm9yIHRoZSBwdXJwb3NlIG9mIHByZXNlcnZhdGlvbi4KCllvdSBhbHNvIGFncmVlIHRoYXQgRFNVIG1heSBrZWVwIG1vcmUgdGhhbiBvbmUgY29weSBvZiB0aGlzIHN1Ym1pc3Npb24gZm9yCnB1cnBvc2VzIG9mIHNlY3VyaXR5LCBiYWNrLXVwIGFuZCBwcmVzZXJ2YXRpb24uCgpZb3UgcmVwcmVzZW50IHRoYXQgdGhlIHN1Ym1pc3Npb24gaXMgeW91ciBvcmlnaW5hbCB3b3JrLCBhbmQgdGhhdCB5b3UgaGF2ZQp0aGUgcmlnaHQgdG8gZ3JhbnQgdGhlIHJpZ2h0cyBjb250YWluZWQgaW4gdGhpcyBsaWNlbnNlLiBZb3UgYWxzbyByZXByZXNlbnQKdGhhdCB5b3VyIHN1Ym1pc3Npb24gZG9lcyBub3QsIHRvIHRoZSBiZXN0IG9mIHlvdXIga25vd2xlZGdlLCBpbmZyaW5nZSB1cG9uCmFueW9uZSdzIGNvcHlyaWdodC4KCklmIHRoZSBzdWJtaXNzaW9uIGNvbnRhaW5zIG1hdGVyaWFsIGZvciB3aGljaCB5b3UgZG8gbm90IGhvbGQgY29weXJpZ2h0LAp5b3UgcmVwcmVzZW50IHRoYXQgeW91IGhhdmUgb2J0YWluZWQgdGhlIHVucmVzdHJpY3RlZCBwZXJtaXNzaW9uIG9mIHRoZQpjb3B5cmlnaHQgb3duZXIgdG8gZ3JhbnQgRFNVIHRoZSByaWdodHMgcmVxdWlyZWQgYnkgdGhpcyBsaWNlbnNlLCBhbmQgdGhhdApzdWNoIHRoaXJkLXBhcnR5IG93bmVkIG1hdGVyaWFsIGlzIGNsZWFybHkgaWRlbnRpZmllZCBhbmQgYWNrbm93bGVkZ2VkCndpdGhpbiB0aGUgdGV4dCBvciBjb250ZW50IG9mIHRoZSBzdWJtaXNzaW9uLgoKSUYgVEhFIFNVQk1JU1NJT04gSVMgQkFTRUQgVVBPTiBXT1JLIFRIQVQgSEFTIEJFRU4gU1BPTlNPUkVEIE9SIFNVUFBPUlRFRApCWSBBTiBBR0VOQ1kgT1IgT1JHQU5JWkFUSU9OIE9USEVSIFRIQU4gRFNVLCBZT1UgUkVQUkVTRU5UIFRIQVQgWU9VIEhBVkUKRlVMRklMTEVEIEFOWSBSSUdIVCBPRiBSRVZJRVcgT1IgT1RIRVIgT0JMSUdBVElPTlMgUkVRVUlSRUQgQlkgU1VDSApDT05UUkFDVCBPUiBBR1JFRU1FTlQuCgpEU1Ugd2lsbCBjbGVhcmx5IGlkZW50aWZ5IHlvdXIgbmFtZShzKSBhcyB0aGUgYXV0aG9yKHMpIG9yIG93bmVyKHMpIG9mIHRoZQpzdWJtaXNzaW9uLCBhbmQgd2lsbCBub3QgbWFrZSBhbnkgYWx0ZXJhdGlvbiwgb3RoZXIgdGhhbiBhcyBhbGxvd2VkIGJ5IHRoaXMKbGljZW5zZSwgdG8geW91ciBzdWJtaXNzaW9uLgo=Biblioteca Digital de Teses e Dissertaçõeshttp://bdtd.ufcg.edu.br/PUBhttp://dspace.sti.ufcg.edu.br:8080/oai/requestbdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.bropendoar:48512025-07-24T09:04:29Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)false
dc.title.pt_BR.fl_str_mv Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
dc.title.alternative.pt_BR.fl_str_mv Modeling and control of a reverse osmosis desalination system using petri nets.
title Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
spellingShingle Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
RODRIGUES NETO, Félix.
Engenharia Elétrica
Automação - Supervisão
Dessalinização
Osmose Inversa
Redes de Petri
Modelagem
Automation - Supervision
Desalination
Reverse Osmosis
Petri Nets
Modeling
title_short Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
title_full Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
title_fullStr Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
title_full_unstemmed Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
title_sort Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri.
author RODRIGUES NETO, Félix.
author_facet RODRIGUES NETO, Félix.
author_role author
dc.contributor.advisor1.fl_str_mv LIMA, Antonio Marcus Nogueira.
FRANÇA, Kepler Borges.
dc.contributor.advisor1ID.fl_str_mv LIMA, A. M. N.
FRANÇA, K. B.
dc.contributor.advisor1Lattes.fl_str_mv http://lattes.cnpq.br/2237395961717699
http://lattes.cnpq.br/3620576114544758
dc.contributor.referee2.fl_str_mv TURNELL, Maria de Fátima Queiroz Vieira.
dc.contributor.referee3.fl_str_mv CORREA, Maurício Beltrão de Rossiter.
dc.contributor.authorID.fl_str_mv RODRIGUES NETO, F.
dc.contributor.authorLattes.fl_str_mv http://lattes.cnpq.br/5700630165059735
dc.contributor.author.fl_str_mv RODRIGUES NETO, Félix.
contributor_str_mv LIMA, Antonio Marcus Nogueira.
FRANÇA, Kepler Borges.
TURNELL, Maria de Fátima Queiroz Vieira.
CORREA, Maurício Beltrão de Rossiter.
dc.subject.cnpq.fl_str_mv Engenharia Elétrica
topic Engenharia Elétrica
Automação - Supervisão
Dessalinização
Osmose Inversa
Redes de Petri
Modelagem
Automation - Supervision
Desalination
Reverse Osmosis
Petri Nets
Modeling
dc.subject.por.fl_str_mv Automação - Supervisão
Dessalinização
Osmose Inversa
Redes de Petri
Modelagem
Automation - Supervision
Desalination
Reverse Osmosis
Petri Nets
Modeling
description Este trabalho trata da modelagem e controle de um sistema de dessalinização via osmose inversa, alimentado por um sistema híbrido de geração de energia elétrica, baseado em fontes de energias renováveis, utilizando redes de Petri coloridas como ferramenta de análise e projeto. A abordagem proposta utiliza a teoria de redes de Petri. Para elaboração deste trabalho foram utilizados algoritmos para enumeração do espaço de estados do modelo e para obtenção das funções de habilitação das transições da rede que representa a automatização do sistema de dessalinização juntamente com o sistema híbrido de energia. Foi desenvolvida uma rede de Petri colorida que abordasse o funcionamento completo do sistema de dessalinização, incluindo o sistema híbrido de energia. Foram realizadas simulações desta rede através da ferramenta computacional Design/CPN, obtendo-se os resultados esperados. Com base nestes resultados foram realizadas algumas análises com o objetivo de mostrar que a automatização proposta para este processo está correta, pois todas as propriedades inerentes a redes de Petri foram veri cadas, ou seja, o sistema não apresenta nenhum problema, tais como, bloqueio, inalcançabilidade, e irreversibilidade. A metodologia aplicada neste trabalho demonstra a aplicabilidade de redes de Petri no desenvolvimento de automatização de um processo de dessalinização por osmose inversa.
publishDate 2005
dc.date.issued.fl_str_mv 2005-12-15
dc.date.accessioned.fl_str_mv 2019-10-29T14:03:04Z
dc.date.available.fl_str_mv 2019-10-29
2019-10-29T14:03:04Z
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 https://dspace.sti.ufcg.edu.br/handle/riufcg/8609
dc.identifier.citation.fl_str_mv RODRIGUES NETO, Félix. Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri. 2005. 122 f. Dissertação (Mestrado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande, Paraíba, Brasil, 2005.
url https://dspace.sti.ufcg.edu.br/handle/riufcg/8609
identifier_str_mv RODRIGUES NETO, Félix. Modelagem e controle de um sistema de dessalinização por osmose inversa utilizando redes de petri. 2005. 122 f. Dissertação (Mestrado em Engenharia Elétrica) - Programa de Pós-Graduação em Engenharia Elétrica, Centro de Engenharia Elétrica e Informática , Universidade Federal de Campina Grande, Paraíba, Brasil, 2005.
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.publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.publisher.program.fl_str_mv PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
dc.publisher.initials.fl_str_mv UFCG
dc.publisher.country.fl_str_mv Brasil
dc.publisher.department.fl_str_mv Centro de Engenharia Elétrica e Informática - CEEI
publisher.none.fl_str_mv Universidade Federal de Campina Grande
dc.source.none.fl_str_mv reponame:Biblioteca Digital de Teses e Dissertações da UFCG
instname:Universidade Federal de Campina Grande (UFCG)
instacron:UFCG
instname_str Universidade Federal de Campina Grande (UFCG)
instacron_str UFCG
institution UFCG
reponame_str Biblioteca Digital de Teses e Dissertações da UFCG
collection Biblioteca Digital de Teses e Dissertações da UFCG
bitstream.url.fl_str_mv https://dspace.sti.ufcg.edu.br/bitstream/riufcg/8609/4/F%C3%89LIX+RODRIGUES+NETO+-+DISSERTA%C3%87%C3%83O+PPGEE+2005.pdf.txt
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/8609/3/F%C3%89LIX+RODRIGUES+NETO+-+DISSERTA%C3%87%C3%83O+PPGEE+2005.pdf
https://dspace.sti.ufcg.edu.br/bitstream/riufcg/8609/2/license.txt
bitstream.checksum.fl_str_mv 86c49cb66e3273525b50c419717580a9
2e6caaf65967cbe279541cdddda2ff17
8a4605be74aa9ea9d79846c1fba20a33
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
MD5
repository.name.fl_str_mv Biblioteca Digital de Teses e Dissertações da UFCG - Universidade Federal de Campina Grande (UFCG)
repository.mail.fl_str_mv bdtd@setor.ufcg.edu.br || bdtd@setor.ufcg.edu.br
_version_ 1863363445455323136

Registros relacionados