MODELAGEM EM REDE DE PETRI DO SISTEMA AUTOMÁTICO DE TESTE PARA BATERIA DE TELEFONE CELULAR
Item
-
Tipo do ITEM
-
Dissertação de Mestrados
-
Título da Dissertação ou Tese
-
MODELAGEM EM REDE DE PETRI DO SISTEMA AUTOMÁTICO DE TESTE PARA BATERIA DE TELEFONE CELULAR
-
Descrição
-
RESUMO
Considerando os recentes casos de incidentes em bateria de dispositivos móveis amplamente divulgados nos telejornais e internet, cada vez mais as companhias estão buscando desenvolver não somente produtos mais seguros e confiáveis, mas também processos de manufatura inovadores, robustos e automatizados, buscando maior confiabilidade e eficiência. Desta forma, o propósito desta pesquisa é modelar um sistema de automação de teste para bateria de telefone celular utilizando a ferramenta computacional tendo a técnica de grafo e matemática de Redes de Petri (RP), afim de inovar e automatizar os processos de alinhamento do dipolo, testes de voltagem e resistência interna, corte dos terminais ânodo e catodo da bateria, inspeção visual destes e medição da espessura da célula de bateria em uma linha de produção de bateria de telefone celular do tipo polímero de Ion de lítio em uma empresa do Pólo Industrial de Manaus (PIM). Foi utilizado o software Visual Object Net ++ v2.7a para modelagem da RP e a presente pesquisa está estruturada na descrição detalhada dos componentes do sistema automático, fluxograma, modelagem e análise das boas propriedades da RP. Considerando este como um Sistema a Evento Discreto (SDE), a RP mostrou que é plenamente possível modelar o Sistema automático de testes para bateria de telefone celular e já avaliando um cenário secundário com tratamento de falhas em área de rejeito de peças. Foi demonstrado também que a análise da RP pelo método de enumeração de marcações, através da construção da árvore de cobertura e grafo de marcações acessíveis, o sistema possui as boas propriedades de Limitabilidade, Reiniciabilidade e Vivacidade, sendo fundamentais na RP. E ainda foi possível verificar que usando esta ferramenta é possível obter alto nível de entendimento do progresso e evolução do sistema reais, por meio da visualização dinâmica dos grafos a eventos discretos.
-
Abstract
-
RESUMO
Considerando os recentes casos de incidentes em bateria de dispositivos móveis amplamente divulgados nos telejornais e internet, cada vez mais as companhias estão buscando desenvolver não somente produtos mais seguros e confiáveis, mas também processos de manufatura inovadores, robustos e automatizados, buscando maior confiabilidade e eficiência. Desta forma, o propósito desta pesquisa é modelar um sistema de automação de teste para bateria de telefone celular utilizando a ferramenta computacional tendo a técnica de grafo e matemática de Redes de Petri (RP), afim de inovar e automatizar os processos de alinhamento do dipolo, testes de voltagem e resistência interna, corte dos terminais ânodo e catodo da bateria, inspeção visual destes e medição da espessura da célula de bateria em uma linha de produção de bateria de telefone celular do tipo polímero de Ion de lítio em uma empresa do Pólo Industrial de Manaus (PIM). Foi utilizado o software Visual Object Net ++ v2.7a para modelagem da RP e a presente pesquisa está estruturada na descrição detalhada dos componentes do sistema automático, fluxograma, modelagem e análise das boas propriedades da RP. Considerando este como um Sistema a Evento Discreto (SDE), a RP mostrou que é plenamente possível modelar o Sistema automático de testes para bateria de telefone celular e já avaliando um cenário secundário com tratamento de falhas em área de rejeito de peças. Foi demonstrado também que a análise da RP pelo método de enumeração de marcações, através da construção da árvore de cobertura e grafo de marcações acessíveis, o sistema possui as boas propriedades de Limitabilidade, Reiniciabilidade e Vivacidade, sendo fundamentais na RP. E ainda foi possível verificar que usando esta ferramenta é possível obter alto nível de entendimento do progresso e evolução do sistema reais, por meio da visualização dinâmica dos grafos a eventos discretos.
-
Língua do arquivo
-
português
-
Data da Defesa
-
Desconhecido
-
Autor
-
João Paulo Apoliano Oliveira
-
Orientador
-
Dr. Jandecy Cabral Leite
-
Local
-
UFPA - BELÉM, 2018
