Computação paralela utilizando GPU na análise de redes de Petri IOPT

Detalhes bibliográficos
Autor(a) principal: Martins, Sara Tavares
Data de Publicação: 2019
Tipo de documento: Dissertação
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10362/96277
Resumo: O principal objetivo desta dissertação é melhorar o tempo de execução na construção do espaço de estados associado a um modelo de rede de Petri Input-Output Place-Transition (IOPT), utilizando computação paralela numa Graphics Processing Unit (GPU) instalada no computador com um servidor de IOPT-Tools em execução, permitindo o processamento descrito. Os modelos de sistema de controlo desenvolvidos em Rede de Petri (RdP) podem ser muito complexos, o que pode tornar de difícil compreensão o seu comportamento. Devido à variedade e à dimensão das redes, os sistemas desenvolvidos em RdP podem apresentar um grafo associado de espaço de estados com muitos nós e arcos, tornando-se um problema sobre o ponto de vista computacional quando se pretende realizar a verificação das propriedades do modelo. Isto porque, na construção do grafo do espaço de estados pode ocorrer uma explosão do número de estados, ou seja, o grafo pode ser tão grande que dificulta a procura e análise de todos os estados que o modelo pode alcançar. Com a utilização da GPU pode-se contribuir para mitigar este problema, aumentando o desempenho no processamento da construção do espaço de estados. O algoritmo implementado para o processamento da construção do espaço de estados utilizando GPU é adaptação do código gerado automaticamente pela plataforma IOTP-Tools. Para executar o algoritmo é usada a Compute Unified Device Architecture (CUDA) da NVidia. A CUDA permite executar o algoritmo em Central Processing Unit (CPU) e Graphics Processing Unit (GPU). A parte sequencial do algoritmo é executada na CPU e a parte do processamento intensivo, ou seja, o tratamento dos estados não processados é executada na GPU.
id RCAP_4137000daaa0388e7bcda39f0cef34eb
oai_identifier_str oai:run.unl.pt:10362/96277
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Computação paralela utilizando GPU na análise de redes de Petri IOPTGPUGPGPUCUDARedes de PetriRede IOPTOPT-ToolsDomínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e InformáticaO principal objetivo desta dissertação é melhorar o tempo de execução na construção do espaço de estados associado a um modelo de rede de Petri Input-Output Place-Transition (IOPT), utilizando computação paralela numa Graphics Processing Unit (GPU) instalada no computador com um servidor de IOPT-Tools em execução, permitindo o processamento descrito. Os modelos de sistema de controlo desenvolvidos em Rede de Petri (RdP) podem ser muito complexos, o que pode tornar de difícil compreensão o seu comportamento. Devido à variedade e à dimensão das redes, os sistemas desenvolvidos em RdP podem apresentar um grafo associado de espaço de estados com muitos nós e arcos, tornando-se um problema sobre o ponto de vista computacional quando se pretende realizar a verificação das propriedades do modelo. Isto porque, na construção do grafo do espaço de estados pode ocorrer uma explosão do número de estados, ou seja, o grafo pode ser tão grande que dificulta a procura e análise de todos os estados que o modelo pode alcançar. Com a utilização da GPU pode-se contribuir para mitigar este problema, aumentando o desempenho no processamento da construção do espaço de estados. O algoritmo implementado para o processamento da construção do espaço de estados utilizando GPU é adaptação do código gerado automaticamente pela plataforma IOTP-Tools. Para executar o algoritmo é usada a Compute Unified Device Architecture (CUDA) da NVidia. A CUDA permite executar o algoritmo em Central Processing Unit (CPU) e Graphics Processing Unit (GPU). A parte sequencial do algoritmo é executada na CPU e a parte do processamento intensivo, ou seja, o tratamento dos estados não processados é executada na GPU.Gomes, LuísRUNMartins, Sara Tavares2020-04-16T11:03:25Z2019-1120192019-11-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://hdl.handle.net/10362/96277porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2024-03-11T04:44:01Zoai:run.unl.pt:10362/96277Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-20T03:38:32.743133Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Computação paralela utilizando GPU na análise de redes de Petri IOPT
title Computação paralela utilizando GPU na análise de redes de Petri IOPT
spellingShingle Computação paralela utilizando GPU na análise de redes de Petri IOPT
Martins, Sara Tavares
GPU
GPGPU
CUDA
Redes de Petri
Rede IOPT
OPT-Tools
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
title_short Computação paralela utilizando GPU na análise de redes de Petri IOPT
title_full Computação paralela utilizando GPU na análise de redes de Petri IOPT
title_fullStr Computação paralela utilizando GPU na análise de redes de Petri IOPT
title_full_unstemmed Computação paralela utilizando GPU na análise de redes de Petri IOPT
title_sort Computação paralela utilizando GPU na análise de redes de Petri IOPT
author Martins, Sara Tavares
author_facet Martins, Sara Tavares
author_role author
dc.contributor.none.fl_str_mv Gomes, Luís
RUN
dc.contributor.author.fl_str_mv Martins, Sara Tavares
dc.subject.por.fl_str_mv GPU
GPGPU
CUDA
Redes de Petri
Rede IOPT
OPT-Tools
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
topic GPU
GPGPU
CUDA
Redes de Petri
Rede IOPT
OPT-Tools
Domínio/Área Científica::Engenharia e Tecnologia::Engenharia Eletrotécnica, Eletrónica e Informática
description O principal objetivo desta dissertação é melhorar o tempo de execução na construção do espaço de estados associado a um modelo de rede de Petri Input-Output Place-Transition (IOPT), utilizando computação paralela numa Graphics Processing Unit (GPU) instalada no computador com um servidor de IOPT-Tools em execução, permitindo o processamento descrito. Os modelos de sistema de controlo desenvolvidos em Rede de Petri (RdP) podem ser muito complexos, o que pode tornar de difícil compreensão o seu comportamento. Devido à variedade e à dimensão das redes, os sistemas desenvolvidos em RdP podem apresentar um grafo associado de espaço de estados com muitos nós e arcos, tornando-se um problema sobre o ponto de vista computacional quando se pretende realizar a verificação das propriedades do modelo. Isto porque, na construção do grafo do espaço de estados pode ocorrer uma explosão do número de estados, ou seja, o grafo pode ser tão grande que dificulta a procura e análise de todos os estados que o modelo pode alcançar. Com a utilização da GPU pode-se contribuir para mitigar este problema, aumentando o desempenho no processamento da construção do espaço de estados. O algoritmo implementado para o processamento da construção do espaço de estados utilizando GPU é adaptação do código gerado automaticamente pela plataforma IOTP-Tools. Para executar o algoritmo é usada a Compute Unified Device Architecture (CUDA) da NVidia. A CUDA permite executar o algoritmo em Central Processing Unit (CPU) e Graphics Processing Unit (GPU). A parte sequencial do algoritmo é executada na CPU e a parte do processamento intensivo, ou seja, o tratamento dos estados não processados é executada na GPU.
publishDate 2019
dc.date.none.fl_str_mv 2019-11
2019
2019-11-01T00:00:00Z
2020-04-16T11:03:25Z
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://hdl.handle.net/10362/96277
url http://hdl.handle.net/10362/96277
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 application/pdf
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799138002125979648