Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos
Autor(a) principal: | |
---|---|
Data de Publicação: | 2019 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
Texto Completo: | http://repositorio.utfpr.edu.br/jspui/handle/1/4435 |
Resumo: | A Teoria de Controle Supervisório (TCS) define uma operação automática para a síntese de controladores para Sistemas a Eventos Discretos (SEDs). Apesar de suas inúmeras extensões e vantagens, a TCS ainda esbarra em alguns aspectos de complexidade que limitam a sua aplicação sobre problemas industriais reais. Em particular, essas limitações se permeiam entre as etapas de modelagem, síntese e implementação de controladores. Recentemente, foi proposta na literatura uma abordagem baseada no refinamento de eventos como forma de simplificar tarefas de modelagem, ampliando assim a aplicabilidade da TCS para uma gama maior de problemas. No entanto, essa abordagem não leva diretamente a ganhos computacionais no procedimento de síntese. Na verdade, pode ser mostrado que o custo computacional para calcular o controlador é o mesmo em relação à abordagem sem refinamentos. Também, pode ser mostrado que o custo em termos de hardware/memória para implementar a solução de controle com ou sem refinamentos é o mesmo. No sentido de estender vantagens do refinamento de eventos para a etapa de síntese, a literatura explora o uso de aproximações. Uma aproximação pode ser associada à ideia de abstração de modelos. Na prática, sua construção se materializa pela remoção de parte, ou de todo, o mecanismo que distingue eventos refinados no modelo do sistema, o deixando assim mais simples, no entanto menos preciso. Esse grau de imprecisão pode implicar na obtenção de controladores subótimos, casos em que a aproximação precisa ser reconstruída até que leve ao controlador ótimo. Essa reconstrução é um processo manual, que depende sobretudo da percepção do engenheiro e que, não raramente, é executado conforme uma política de tentativa e erro. Nesta dissertação, a construção de uma aproximação é automatizada e seus benefícios são estendidos para as etapas de síntese e implementação de controladores. Inicialmente, propõe-se um método para a construção de uma classe especial de aproximações que sempre leva ao controlador ótimo, sem a necessidade de qualquer verificação pós síntese. Em seguida, apresentase uma arquitetura que estende para a etapa de implementação os benefícios do uso de refinamentos e de aproximações. Essa abordagem permite que o sistema de controle possa ser implementado de maneira descentralizada, por um sistema comunicante, que cumpre o mesmo papel de uma implementação centralizada, mas com ganhos no consumo de memória para representar a ação de controle em hardware. Por fim, a última contribuição proposta nesta dissertação estende o método de construção de aproximações e síntese, para o contexto do controle modular de SEDs. Essa abordagem potencializa a aplicação da TCS sobre problemas de grande porte, uma vez que, por definição, o controle modular independe do tamanho do sistema e pode ser conduzido incrementalmente. |
id |
UTFPR-12_4cc798d2238a0720a508f78fc0e977e9 |
---|---|
oai_identifier_str |
oai:repositorio.utfpr.edu.br:1/4435 |
network_acronym_str |
UTFPR-12 |
network_name_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
repository_id_str |
|
spelling |
2019-09-20T13:56:38Z2019-09-20T13:56:38Z2019-02-14ROSA, Marcelo. Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos. 2019. 79 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2019.http://repositorio.utfpr.edu.br/jspui/handle/1/4435A Teoria de Controle Supervisório (TCS) define uma operação automática para a síntese de controladores para Sistemas a Eventos Discretos (SEDs). Apesar de suas inúmeras extensões e vantagens, a TCS ainda esbarra em alguns aspectos de complexidade que limitam a sua aplicação sobre problemas industriais reais. Em particular, essas limitações se permeiam entre as etapas de modelagem, síntese e implementação de controladores. Recentemente, foi proposta na literatura uma abordagem baseada no refinamento de eventos como forma de simplificar tarefas de modelagem, ampliando assim a aplicabilidade da TCS para uma gama maior de problemas. No entanto, essa abordagem não leva diretamente a ganhos computacionais no procedimento de síntese. Na verdade, pode ser mostrado que o custo computacional para calcular o controlador é o mesmo em relação à abordagem sem refinamentos. Também, pode ser mostrado que o custo em termos de hardware/memória para implementar a solução de controle com ou sem refinamentos é o mesmo. No sentido de estender vantagens do refinamento de eventos para a etapa de síntese, a literatura explora o uso de aproximações. Uma aproximação pode ser associada à ideia de abstração de modelos. Na prática, sua construção se materializa pela remoção de parte, ou de todo, o mecanismo que distingue eventos refinados no modelo do sistema, o deixando assim mais simples, no entanto menos preciso. Esse grau de imprecisão pode implicar na obtenção de controladores subótimos, casos em que a aproximação precisa ser reconstruída até que leve ao controlador ótimo. Essa reconstrução é um processo manual, que depende sobretudo da percepção do engenheiro e que, não raramente, é executado conforme uma política de tentativa e erro. Nesta dissertação, a construção de uma aproximação é automatizada e seus benefícios são estendidos para as etapas de síntese e implementação de controladores. Inicialmente, propõe-se um método para a construção de uma classe especial de aproximações que sempre leva ao controlador ótimo, sem a necessidade de qualquer verificação pós síntese. Em seguida, apresentase uma arquitetura que estende para a etapa de implementação os benefícios do uso de refinamentos e de aproximações. Essa abordagem permite que o sistema de controle possa ser implementado de maneira descentralizada, por um sistema comunicante, que cumpre o mesmo papel de uma implementação centralizada, mas com ganhos no consumo de memória para representar a ação de controle em hardware. Por fim, a última contribuição proposta nesta dissertação estende o método de construção de aproximações e síntese, para o contexto do controle modular de SEDs. Essa abordagem potencializa a aplicação da TCS sobre problemas de grande porte, uma vez que, por definição, o controle modular independe do tamanho do sistema e pode ser conduzido incrementalmente.The Supervisory Control Theory (SCT) defines an automatic operation for the synthesis of controllers for Discrete-Event Systems (DESs). Despite its several extensions and improvements, the SCT still faces significant complexity issues that limit its practical application. In particular, these limitations permeate the stages of modeling, synthesis and implementation of controllers. Recently, an approach based on event-refinements has been proposed in the literature as a way of simplifying modeling tasks, thus extending the applicability of the SCT to a greater range of problems. However, this approach does not lead directly to computational gains in the synthesis procedure. Actually, it can be shown that the computational cost to calculate the controller is the same, with respect to the approach without refinements. Also, it can be shown that the cost in terms of hardware/memory to implement the control solution with or without refinements is the same. In order to extend the advantages of event refinements to the synthesis, the literature exploits the use of approximations. An approximation can be associated to the idea of model abstraction. In practice, its construction is materialized by the removal of part or all the mechanism that distinguishes refined events in the system model, thus making it simpler, but less precise. This level of imprecision may imply obtaining sub-optimal controllers, case in which the approach must be reconstructed until it leads to the optimal controller. This reconstruction is a manual process, which depends on the perception of the enginner and that, not rarely, is executed according to a trial-and-error strategy. In this dissertation, the construction of an approximation is automated and its benefits are extended to the stage of synthesis and implementation of controllers. Initially, a method for the construction of a special class of approximations that always leads to the optimal controller, without the need for any post-synthesis verification is proposed. Next, an architecture is proposed as a way to extend the benefits of refinements and approximations to the implementation phase. This approach allows the control system to be implemented in a decentralized manner, through a communicating system, which accomplishes the same role as a centralized implementation, but with gains in memory consumption to represent the control action in hardware. Finally, the last contribution of this dissertation extends the use of approximations to a modular case. This approach increases the applicability of the SCT to cover larger problems, since, by definition, the modular control is independent of the size of the system and can be derived incrementally.Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)porUniversidade Tecnológica Federal do ParanáPato BrancoPrograma de Pós-Graduação em Engenharia ElétricaUTFPRBrasilCNPQ::ENGENHARIAS::ENGENHARIA ELETRICAEngenharia ElétricaSistema de tempo discretoSistemas de controle supervisórioControladores programáveisDiscrete-time systemsSupervisory control systemsProgrammable controllersExplorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretosExploiting the use of approximations in the synthesis and implementation of controllers for discrete event systemsinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisPato BrancoTeixeira, Marcelohttp://lattes.cnpq.br/8925349327322997Malik, Robihttps://orcid.org/0000-0001-7883-9314Teixeira, MarceloPena, Patrícia NascimentoBarbosa, Marco Antonio de CastroTorrico, Cesar Rafael Claurehttp://lattes.cnpq.br/4719481074638631Rosa, Marceloinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT))instname:Universidade Tecnológica Federal do Paraná (UTFPR)instacron:UTFPRORIGINALPB_PPGEE_M_Rosa, Marcelo_2019.pdfPB_PPGEE_M_Rosa, Marcelo_2019.pdfapplication/pdf777547http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/1/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf7c2a4c0ac15f52ff91d535a3a9f32af7MD51LICENSElicense.txtlicense.txttext/plain; charset=utf-81290http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/2/license.txtb9d82215ab23456fa2d8b49c5df1b95bMD52TEXTPB_PPGEE_M_Rosa, Marcelo_2019.pdf.txtPB_PPGEE_M_Rosa, Marcelo_2019.pdf.txtExtracted texttext/plain156136http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/3/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.txtd6539e3c30ec87dcad803b4f054e9514MD53THUMBNAILPB_PPGEE_M_Rosa, Marcelo_2019.pdf.jpgPB_PPGEE_M_Rosa, Marcelo_2019.pdf.jpgGenerated Thumbnailimage/jpeg1214http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/4/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.jpg02a1ebdbdc66fc8991489568e1443942MD541/44352019-09-21 03:00:40.585oai:repositorio.utfpr.edu.br:1/4435TmEgcXVhbGlkYWRlIGRlIHRpdHVsYXIgZG9zIGRpcmVpdG9zIGRlIGF1dG9yIGRhIHB1YmxpY2HDp8OjbywgYXV0b3Jpem8gYSBVVEZQUiBhIHZlaWN1bGFyLCAKYXRyYXbDqXMgZG8gUG9ydGFsIGRlIEluZm9ybWHDp8OjbyBlbSBBY2Vzc28gQWJlcnRvIChQSUFBKSBlIGRvcyBDYXTDoWxvZ29zIGRhcyBCaWJsaW90ZWNhcyAKZGVzdGEgSW5zdGl0dWnDp8Ojbywgc2VtIHJlc3NhcmNpbWVudG8gZG9zIGRpcmVpdG9zIGF1dG9yYWlzLCBkZSBhY29yZG8gY29tIGEgTGVpIG5vIDkuNjEwLzk4LCAKbyB0ZXh0byBkZXN0YSBvYnJhLCBvYnNlcnZhbmRvIGFzIGNvbmRpw6fDtWVzIGRlIGRpc3BvbmliaWxpemHDp8OjbyByZWdpc3RyYWRhcyBubyBpdGVtIDQgZG8gCuKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgVHJhYmFsaG9zIGRlIENvbmNsdXPDo28gZGUgQ3Vyc28gZGUgR3JhZHVhw6fDo28gZSAKRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgZGUgSW5mb3JtYcOnw6NvIGUgbm9zIENhdMOhbG9nb3MgRWxldHLDtG5pY29zIGRvIApTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdLCBwYXJhIGZpbnMgZGUgbGVpdHVyYSwgaW1wcmVzc8OjbyBlL291IGRvd25sb2FkLCB2aXNhbmRvIGEgCmRpdnVsZ2HDp8OjbyBkYSBwcm9kdcOnw6NvIGNpZW50w61maWNhIGJyYXNpbGVpcmEuCgogIEFzIHZpYXMgb3JpZ2luYWlzIGUgYXNzaW5hZGFzIHBlbG8ocykgYXV0b3IoZXMpIGRvIOKAnFRlcm1vIGRlIEF1dG9yaXphw6fDo28gcGFyYSBQdWJsaWNhw6fDo28gZGUgClRyYWJhbGhvcyBkZSBDb25jbHVzw6NvIGRlIEN1cnNvIGRlIEdyYWR1YcOnw6NvIGUgRXNwZWNpYWxpemHDp8OjbywgRGlzc2VydGHDp8O1ZXMgZSBUZXNlcyBubyBQb3J0YWwgCmRlIEluZm9ybWHDp8OjbyBlIG5vcyBDYXTDoWxvZ29zIEVsZXRyw7RuaWNvcyBkbyBTaXN0ZW1hIGRlIEJpYmxpb3RlY2FzIGRhIFVURlBS4oCdIGUgZGEg4oCcRGVjbGFyYcOnw6NvIApkZSBBdXRvcmlh4oCdIGVuY29udHJhbS1zZSBhcnF1aXZhZGFzIG5hIEJpYmxpb3RlY2EgZG8gQ8OibXB1cyBubyBxdWFsIG8gdHJhYmFsaG8gZm9pIGRlZmVuZGlkby4gCk5vIGNhc28gZGUgcHVibGljYcOnw7VlcyBkZSBhdXRvcmlhIGNvbGV0aXZhIGUgbXVsdGljw6JtcHVzLCBvcyBkb2N1bWVudG9zIGZpY2Fyw6NvIHNvYiBndWFyZGEgZGEgCkJpYmxpb3RlY2EgY29tIGEgcXVhbCBvIOKAnHByaW1laXJvIGF1dG9y4oCdIHBvc3N1YSB2w61uY3Vsby4KRepositório de PublicaçõesPUBhttp://repositorio.utfpr.edu.br:8080/oai/requestopendoar:2019-09-21T06:00:40Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR)false |
dc.title.pt_BR.fl_str_mv |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
dc.title.alternative.pt_BR.fl_str_mv |
Exploiting the use of approximations in the synthesis and implementation of controllers for discrete event systems |
title |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
spellingShingle |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos Rosa, Marcelo CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA Sistema de tempo discreto Sistemas de controle supervisório Controladores programáveis Discrete-time systems Supervisory control systems Programmable controllers Engenharia Elétrica |
title_short |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
title_full |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
title_fullStr |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
title_full_unstemmed |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
title_sort |
Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos |
author |
Rosa, Marcelo |
author_facet |
Rosa, Marcelo |
author_role |
author |
dc.contributor.advisor1.fl_str_mv |
Teixeira, Marcelo |
dc.contributor.advisor1Lattes.fl_str_mv |
http://lattes.cnpq.br/8925349327322997 |
dc.contributor.advisor-co1.fl_str_mv |
Malik, Robi |
dc.contributor.advisor-co1Lattes.fl_str_mv |
https://orcid.org/0000-0001-7883-9314 |
dc.contributor.referee1.fl_str_mv |
Teixeira, Marcelo |
dc.contributor.referee2.fl_str_mv |
Pena, Patrícia Nascimento |
dc.contributor.referee3.fl_str_mv |
Barbosa, Marco Antonio de Castro |
dc.contributor.referee4.fl_str_mv |
Torrico, Cesar Rafael Claure |
dc.contributor.authorLattes.fl_str_mv |
http://lattes.cnpq.br/4719481074638631 |
dc.contributor.author.fl_str_mv |
Rosa, Marcelo |
contributor_str_mv |
Teixeira, Marcelo Malik, Robi Teixeira, Marcelo Pena, Patrícia Nascimento Barbosa, Marco Antonio de Castro Torrico, Cesar Rafael Claure |
dc.subject.cnpq.fl_str_mv |
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA |
topic |
CNPQ::ENGENHARIAS::ENGENHARIA ELETRICA Sistema de tempo discreto Sistemas de controle supervisório Controladores programáveis Discrete-time systems Supervisory control systems Programmable controllers Engenharia Elétrica |
dc.subject.por.fl_str_mv |
Sistema de tempo discreto Sistemas de controle supervisório Controladores programáveis Discrete-time systems Supervisory control systems Programmable controllers |
dc.subject.capes.pt_BR.fl_str_mv |
Engenharia Elétrica |
description |
A Teoria de Controle Supervisório (TCS) define uma operação automática para a síntese de controladores para Sistemas a Eventos Discretos (SEDs). Apesar de suas inúmeras extensões e vantagens, a TCS ainda esbarra em alguns aspectos de complexidade que limitam a sua aplicação sobre problemas industriais reais. Em particular, essas limitações se permeiam entre as etapas de modelagem, síntese e implementação de controladores. Recentemente, foi proposta na literatura uma abordagem baseada no refinamento de eventos como forma de simplificar tarefas de modelagem, ampliando assim a aplicabilidade da TCS para uma gama maior de problemas. No entanto, essa abordagem não leva diretamente a ganhos computacionais no procedimento de síntese. Na verdade, pode ser mostrado que o custo computacional para calcular o controlador é o mesmo em relação à abordagem sem refinamentos. Também, pode ser mostrado que o custo em termos de hardware/memória para implementar a solução de controle com ou sem refinamentos é o mesmo. No sentido de estender vantagens do refinamento de eventos para a etapa de síntese, a literatura explora o uso de aproximações. Uma aproximação pode ser associada à ideia de abstração de modelos. Na prática, sua construção se materializa pela remoção de parte, ou de todo, o mecanismo que distingue eventos refinados no modelo do sistema, o deixando assim mais simples, no entanto menos preciso. Esse grau de imprecisão pode implicar na obtenção de controladores subótimos, casos em que a aproximação precisa ser reconstruída até que leve ao controlador ótimo. Essa reconstrução é um processo manual, que depende sobretudo da percepção do engenheiro e que, não raramente, é executado conforme uma política de tentativa e erro. Nesta dissertação, a construção de uma aproximação é automatizada e seus benefícios são estendidos para as etapas de síntese e implementação de controladores. Inicialmente, propõe-se um método para a construção de uma classe especial de aproximações que sempre leva ao controlador ótimo, sem a necessidade de qualquer verificação pós síntese. Em seguida, apresentase uma arquitetura que estende para a etapa de implementação os benefícios do uso de refinamentos e de aproximações. Essa abordagem permite que o sistema de controle possa ser implementado de maneira descentralizada, por um sistema comunicante, que cumpre o mesmo papel de uma implementação centralizada, mas com ganhos no consumo de memória para representar a ação de controle em hardware. Por fim, a última contribuição proposta nesta dissertação estende o método de construção de aproximações e síntese, para o contexto do controle modular de SEDs. Essa abordagem potencializa a aplicação da TCS sobre problemas de grande porte, uma vez que, por definição, o controle modular independe do tamanho do sistema e pode ser conduzido incrementalmente. |
publishDate |
2019 |
dc.date.accessioned.fl_str_mv |
2019-09-20T13:56:38Z |
dc.date.available.fl_str_mv |
2019-09-20T13:56:38Z |
dc.date.issued.fl_str_mv |
2019-02-14 |
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.citation.fl_str_mv |
ROSA, Marcelo. Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos. 2019. 79 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2019. |
dc.identifier.uri.fl_str_mv |
http://repositorio.utfpr.edu.br/jspui/handle/1/4435 |
identifier_str_mv |
ROSA, Marcelo. Explorando o uso de aproximações na síntese e na implementação de controladores para sistemas a eventos discretos. 2019. 79 f. Dissertação (Mestrado em Engenharia Elétrica) - Universidade Tecnológica Federal do Paraná, Pato Branco, 2019. |
url |
http://repositorio.utfpr.edu.br/jspui/handle/1/4435 |
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 Tecnológica Federal do Paraná Pato Branco |
dc.publisher.program.fl_str_mv |
Programa de Pós-Graduação em Engenharia Elétrica |
dc.publisher.initials.fl_str_mv |
UTFPR |
dc.publisher.country.fl_str_mv |
Brasil |
publisher.none.fl_str_mv |
Universidade Tecnológica Federal do Paraná Pato Branco |
dc.source.none.fl_str_mv |
reponame:Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) instname:Universidade Tecnológica Federal do Paraná (UTFPR) instacron:UTFPR |
instname_str |
Universidade Tecnológica Federal do Paraná (UTFPR) |
instacron_str |
UTFPR |
institution |
UTFPR |
reponame_str |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
collection |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) |
bitstream.url.fl_str_mv |
http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/1/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/2/license.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/3/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.txt http://repositorio.utfpr.edu.br:8080/jspui/bitstream/1/4435/4/PB_PPGEE_M_Rosa%2c%20Marcelo_2019.pdf.jpg |
bitstream.checksum.fl_str_mv |
7c2a4c0ac15f52ff91d535a3a9f32af7 b9d82215ab23456fa2d8b49c5df1b95b d6539e3c30ec87dcad803b4f054e9514 02a1ebdbdc66fc8991489568e1443942 |
bitstream.checksumAlgorithm.fl_str_mv |
MD5 MD5 MD5 MD5 |
repository.name.fl_str_mv |
Repositório Institucional da UTFPR (da Universidade Tecnológica Federal do Paraná (RIUT)) - Universidade Tecnológica Federal do Paraná (UTFPR) |
repository.mail.fl_str_mv |
|
_version_ |
1805923191351148544 |